Source author record

Masaki Izumi

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
5topics
4close collaborators

Published work

13 publications

preprint2024arXiv

GG-kernels of Kirchberg algebras

A GG-kernel is a group homomorphism from a group GG 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 GG-kernel using KK-theory, and deduce several new constraints of the obstruction classes of GG-kernels in the purely infinite case. We classify Zn\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 Z2\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: Z2\mathbb{Z}_2 -graded extensions of Z2n\mathbb{Z}_{2n} generalized Haagerup categories for all n≤5n \leq 5 ; Z2×Z2\mathbb{Z}_2 \times \mathbb{Z}_2 -graded extensions of the Asaeda-Haagerup categories; and extensions of the Z2×Z2\mathbb{Z}_2 \times \mathbb{Z}_2 generalized Haagerup category by its outer automorphism group A4A_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 3n3^n subfactors and related fusion categories

We investigate a (potentially infinite) series of subfactors, called 3n3^n subfactors, including A4A_4, A7A_7, and the Haagerup subfactor as the first three members corresponding to n=1,2,3n=1,2,3. Generalizing our previous work for odd nn, we further develop a Cuntz algebra method to construct 3n3^n subfactors and show that the classification of the 3n3^n subfactors and related fusion categories is reduced to explicit polynomial equations under a mild assumption, which automatically holds for odd nn.In particular, our method with n=4n=4 gives a uniform construction of 4 finite depth subfactors, up to dual,without intermediate subfactors of index 3+53+\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,ϕ)(M,ϕ) (which we call equi-modular) admit a natural extension to endomorphisms of L2(M,ϕ)L^2(M,ϕ). We exhibit examples of such extendable endomorphisms. We then pass to E0E_0-semigroups α=αt:t≥0α= {α_t: t \geq 0} of factors, and observe that extendability of this semigroup (i.e., extendability of each αtα_t) is a cocycle-conjugacy invariant of the semigroup. We identify a necessary condition for extendability of such an E0E_0-semigroup, which we then use to show that the Clifford flow on the hyperfinite II1II_1 factor is not extendable.

preprint2013arXiv

Fusion categories between C⊠DC \boxtimes D and C∗DC * D

Given a pair of fusion categories CC and DD, we may form the free product C∗DC * D and the tensor product C⊠DC \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=A2C=D=A_2, there is an infinite family of quotients interpolating between the free product and the tensor product (closely related to the A2n−1(1)A_{2n-1}^{(1)} and Dn+2(1)D_{n+2}^{(1)} subfactors at index 4). Bisch and Haagerup discovered one example of such an intermediate quotient when C=A2C=A_2 and D=T2D=T_2, and suggested that there might be another family here. We show that such quotients are characterized by parameters n≥1n \geq 1 and ωω with ω2n=1ω^{2n}=1. For n=1,2,3n=1,2,3, we show ωω must be 1, and construct the corresponding quotient (n=1n=1 is the tensor product, n=2n=2 is the example discovered by Bisch and Haagerup, and n=3n=3 is new). We further show that there are no such quotients for 4≤n≤104 \leq n \leq 10. Our methods also apply to the case when C=D=T2C=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≥4n \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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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