Researcher profile

Masaki Izumi

Masaki Izumi contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
13works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2024arXiv

$G$-kernels of Kirchberg algebras

A $G$-kernel is a group homomorphism from a group $G$ to the outer automorphism group of a C$^*$-algebra. Inspired by recent work of Evington and Girón Pacheco in the stably finite case, we introduce a new invariant of a $G$-kernel using $K$-theory, and deduce several new constraints of the obstruction classes of $G$-kernels in the purely infinite case. We classify $\mathbb{Z}^n$-kernels for strongly self-absorbing Kirchberg algebras in the bootstrap category in terms of our new invariant and the Dadarlat-Pennig theory of continuous fields of strongly self-absorbing C$^*$-algebras.

preprint2022arXiv

Graded extensions of generalized Haagerup categories

We classify certain $\mathbb{Z}_2 $-graded extensions of generalized Haagerup categories in terms of numerical invariants satisfying polynomial equations. In particular, we construct a number of new examples of fusion categories, including: $\mathbb{Z}_2 $-graded extensions of $\mathbb{Z}_{2n} $ generalized Haagerup categories for all $n \leq 5 $; $\mathbb{Z}_2 \times \mathbb{Z}_2 $-graded extensions of the Asaeda-Haagerup categories; and extensions of the $\mathbb{Z}_2 \times \mathbb{Z}_2 $ generalized Haagerup category by its outer automorphism group $A_4 $. The construction uses endomorphism categories of operator algebras, and in particular, free products of Cuntz algebras with free group C$^*$-algebras.

preprint2016arXiv

The classification of $3^n$ subfactors and related fusion categories

We investigate a (potentially infinite) series of subfactors, called $3^n$ subfactors, including $A_4$, $A_7$, and the Haagerup subfactor as the first three members corresponding to $n=1,2,3$. Generalizing our previous work for odd $n$, we further develop a Cuntz algebra method to construct $3^n$ subfactors and show that the classification of the $3^n$ subfactors and related fusion categories is reduced to explicit polynomial equations under a mild assumption, which automatically holds for odd $n$.In particular, our method with $n=4$ gives a uniform construction of 4 finite depth subfactors, up to dual,without intermediate subfactors of index $3+\sqrt{5}$. It also provides a key step for a new construction of the Asaeda-Haagerup subfactor due to Grossman, Snyder, and the author.

preprint2015arXiv

A Cuntz algebra approach to the classification of near-group categories

We classify C$^*$ near-group categories by using Vaughan Jones theory of subfactors and the Cuntz algebra endomorphisms. Our results show that there is a sharp contrast between two essentially different cases, integral and irrational cases. When the dimension of the unique non-invertible object is an integer, we obtain a complete classification list, and it turns out that such categories are always group theoretical. When it is irrational, we obtain explicit polynomial equations whose solutions completely classify the C$^*$ near-group categories in this class.

preprint2015arXiv

The Asaeda-Haagerup fusion categories

The classification of subfactors of small index revealed several new subfactors. The first subfactor above index 4, the Haagerup subfactor, is increasingly well understood and appears to lie in a (discrete) infinite family of subfactors where the Z/3Z symmetry is replaced by other finite Abelian groups. The goal of this paper is to give a similarly good description of the Asaeda-Haagerup subfactor which emerged from our study of its Brauer-Picard groupoid. More specifically, we construct a new subfactor S which is a Z/4Z x Z/2Z analogue of the Haagerup subfactor and we show that the even parts of the Asaeda-Haagerup subfactor are higher Morita equivalent to an orbifold quotient of S. This gives a new construction of the Asaeda-Haagerup subfactor which is much more symmetric and easier to work with than the original construction. As a consequence, we can settle many open questions about the Asaeda-Haagerup subfactor: calculating its Drinfel'd center, classifying all extensions of the Asaeda-Haagerup fusion categories, finding the full higher Morita equivalence class of the Asaeda-Haagerup fusion categories, and finding intermediate subfactor lattices for subfactors coming from the Asaeda-Haagerup categories. The details of the applications will be given in subsequent papers.

preprint2013arXiv

Extendable endomorphisms on factors

We begin this note with a von Neumann algebraic version of the elementary but extremely useful fact about being able to extend inner-product preserving maps from a total set of the domain Hilbert space to an isometry defined on the entire domain. This leads us to the notion of when `good' endomorphisms of a factorial probability space $(M,ϕ)$ (which we call equi-modular) admit a natural extension to endomorphisms of $L^2(M,ϕ)$. We exhibit examples of such extendable endomorphisms. We then pass to $E_0$-semigroups $α= {α_t: t \geq 0}$ of factors, and observe that extendability of this semigroup (i.e., extendability of each $α_t$) is a cocycle-conjugacy invariant of the semigroup. We identify a necessary condition for extendability of such an $E_0$-semigroup, which we then use to show that the Clifford flow on the hyperfinite $II_1$ factor is not extendable.

preprint2013arXiv

Fusion categories between $C \boxtimes D$ and $C * D$

Given a pair of fusion categories $C$ and $D$, we may form the free product $C * D$ and the tensor product $C \boxtimes D$. It is natural to think of the tensor product as a quotient of the free product. What other quotients are possible? When $C=D=A_2$, there is an infinite family of quotients interpolating between the free product and the tensor product (closely related to the $A_{2n-1}^{(1)}$ and $D_{n+2}^{(1)}$ subfactors at index 4). Bisch and Haagerup discovered one example of such an intermediate quotient when $C=A_2$ and $D=T_2$, and suggested that there might be another family here. We show that such quotients are characterized by parameters $n \geq 1$ and $ω$ with $ω^{2n}=1$. For $n=1,2,3$, we show $ω$ must be 1, and construct the corresponding quotient ($n=1$ is the tensor product, $n=2$ is the example discovered by Bisch and Haagerup, and $n=3$ is new). We further show that there are no such quotients for $4 \leq n \leq 10$. Our methods also apply to the case when $C=D=T_2$, and we prove similar results there. During the preparation of this manuscript we learnt of an independent result of Liu's on subfactors. With the translation between the subfactor and fusion category settings provided here, it follows there are no such quotients for any $n \geq 4$.

preprint2011arXiv

Subfactors of index less than 5, part 3: quadruple points

One major obstacle in extending the classification of small index subfactors beyond 3+\sqrt{3} is the appearance of infinite families of candidate principal graphs with 4-valent vertices (in particular, the "weeds" Q and Q' from Part 1 (arXiv:1007.1730)). Thus instead of using triple point obstructions to eliminate candidate graphs, we need to develop new quadruple point obstructions. In this paper we prove two quadruple point obstructions. The first uses quadratic tangles techniques and eliminates the weed Q' immediately. The second uses connections, and when combined with an additional number theoretic argument it eliminates both weeds Q and Q'. Finally, we prove the uniqueness (up to taking duals) of the 3311 Goodman-de la Harpe-Jones subfactor using a combination of planar algebra techniques and connections.

preprint2009arXiv

Toeplitz CAR flows and type I factorizations

Toeplitz CAR flows are a class of E_0-semigroups including the first type III example constructed by R. T. Powers. We show that the Toeplitz CAR flows contain uncountably many mutually non cocycle conjugate E_0-semigroups of type III. We also generalize the type III criterion for Toeplitz CAR flows employed by Powers (and later refined by W. Arveson), and show that Toeplitz CAR flows are always either of type I or type III.