Searcharxiv⌕ Search

arXiv subjects

Masaki Izumi

Publications and source records attributed to Masaki Izumi.

At least 37 records · Page 2Linked to original sources
arXiv2019

A weak homotopy equivalence type result related to Kirchberg algebras

We obtain a weak homotopy equivalence type result between two topological groups associated with a Kirchberg algebra: the unitary group of the continuous asymptotic centralizer and the loop group of the automorphism group of the stabilization. This result plays a crucial role in our subsequent work on the classification of poly-$\mathbb{Z}$ group actions on Kirchberg algebras. As a special case, we show that the $K$-groups of the continuous asymptotic centralizer are isomorphic to the $KK$-groups of the Kirchberg algebra.

math.OA↗
arXiv2016

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.

math.OA↗
arXiv2015

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.

math.OA↗
arXiv2015

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.

math.OA↗
arXiv2014

Subfactors of index exactly 5

We give the classification of subfactor planar algebras at index exactly 5. All the examples arise as standard invariants of subgroup subfactors. Some of the requisite uniqueness results come from work of Izumi in preparation. The non-existence results build upon the classification of subfactor planar algebras with index less than 5, with some additional analysis of special cases.

math.OA↗
arXiv2013

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.

math.OA↗
arXiv2013

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$.

math.OA↗
arXiv2013

Remarks on free mutual information and orbital free entropy

The present notes provide a proof of $i^*(\mathbb{C}P+\mathbb{C}(I-P)\,;\mathbb{C}Q+\mathbb{C}(I-Q)) = -χ_\mathrm{orb}(P,Q)$ for any pair of projections $P,Q$ with $τ(P)=τ(Q)=1/2$. The proof includes new extra observations, such as a subordination result in terms of Loewner equations. A study of the general case is also given.

math.OA↗
arXiv2012

$E_0$-semigroups: around and beyond Arveson's work

We give an account of the theory of $E_0$-semigroups. We first focus on Arveson's contributions to the field and related results. Then we present the recent development of type II and type III $E_0$-semigroups. We also include a short note in Appendix, based on Arveson's observation, on noncommutative Poisson boundaries.

math.OA↗
arXiv2011

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.

math.OA↗
arXiv2009

Z^2-actions on Kirchberg algebras

We classify a large class of Z^2-actions on the Kirchberg algebras employing the Kasparov group KK^1 as the space of classification invariants.

math.OA↗
arXiv2009

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.

math.OA↗
arXiv2007

Every sum system is divisible

We show that every sum system is divisible. Combined with B. V. R. Bhat and R. Srinivasan's result, this shows that every product system arising from a sum system (and every generalized CCR flow) is either of type I or type III. A necessarily and sufficient condition for such a product system to be of type I is obtained.

math.OA↗
arXiv2007

Generalized CCR Flows

We introduce a new construction of $E_0$-semigroups, called generalized CCR flows, with two kinds of descriptions: those arising from sum systems and those arising from pairs of $C_0$-semigroups. We get a new necessary and sufficient condition for them to be of type III, when the associated sum system is of finite index. Using this criterion, we construct examples of type III $E_0$-semigroups, which can not be distinguished from $E_0$-semigroups of type I by the invariants introduced by Boris Tsirelson. Finally, by considering the local von Neumann algebras, and by associating a type III factor to a given type III $E_0$-semigroup, we show that there exist uncountably many type III $E_0$-semigroups in this family, which are mutually non-cocycle conjugate.

math.OA↗