Showing 1–6 of 6 results for author: Kawahigashi, Y

$α$-induction for bi-unitary connections

Authors: Yasuyuki Kawahigashi

Abstract: The tensor functor called $α$-induction arises from a Frobenius algebra object, or a Q-system, in a braided unitary fusion category. In the operator algebraic language, it gives extensions of endomorphism of $N$ to $M$ arising from a subfactor $N\subset M$ of finite index and finite depth giving a braided fusion category of endomorpshisms of $N$. It is also understood in terms of Ocneanu's graphic… ▽ More The tensor functor called $α$-induction arises from a Frobenius algebra object, or a Q-system, in a braided unitary fusion category. In the operator algebraic language, it gives extensions of endomorphism of $N$ to $M$ arising from a subfactor $N\subset M$ of finite index and finite depth giving a braided fusion category of endomorpshisms of $N$. It is also understood in terms of Ocneanu's graphical calculus. We study this $α$-induction for bi-unitary connections, which give a characterization of finite-dimensional nondegenerate commuting squares and gives certain 4-tensors appearing in recent studies of 2-dimensional topological order. We show that the resulting $α$-induced bi-unitary connections are flat if we have a commutative Frobenius algebra, or a local Q-system. Examples related to chiral conformal field theory and the Dynkin diagrams are presented. △ Less

Submitted 30 November, 2023; v1 submitted 10 February, 2023; originally announced February 2023.

Comments: 32 pages, more explanations have been added

MSC Class: 46L37 18M15 18M20 81T40

A characterization of a finite-dimensional commuting square producing a subfactor of finite depth

Authors: Yasuyuki Kawahigashi

Abstract: We give a characterization of a finite-dimensional commuting square of C*-algebras with a normalized trace that produces a hyperfinite type II_1 subfactor of finite index and finite depth in terms of Morita equivalent unitary fusion categories. This type of commuting squares were studied by N. Sato, and we show that a slight generalization of his construction covers the fully general case of such… ▽ More We give a characterization of a finite-dimensional commuting square of C*-algebras with a normalized trace that produces a hyperfinite type II_1 subfactor of finite index and finite depth in terms of Morita equivalent unitary fusion categories. This type of commuting squares were studied by N. Sato, and we show that a slight generalization of his construction covers the fully general case of such commuting squares. We also give a characterization of such a commuting square that produces a given hyperfinite type II_1 subfactor of finite index and finite depth. These results also give a characterization of certain 4-tensors that appear in recent studies of matrix product operators in 2-dimensional topological order. △ Less

Submitted 6 April, 2022; v1 submitted 29 November, 2021; originally announced November 2021.

Comments: 14 pages, more explantions added

MSC Class: 46L37

Journal ref: Internat. Math. Res. Notices 2023 (2023), 8419-8433

Two-dimensional topological order and operator algebras

Authors: Yasuyuki Kawahigashi

Abstract: We review recent interactions between mathematical theory of two-dimensional topological order and operator algebras, particularly the Jones theory of subfactors. The role of representation theory in terms of tensor categories is emphasized. Connections to 2-dimensional conformal field theory are also presented. In particular, we discuss anyon condensation, gapped domain walls and matrix product o… ▽ More We review recent interactions between mathematical theory of two-dimensional topological order and operator algebras, particularly the Jones theory of subfactors. The role of representation theory in terms of tensor categories is emphasized. Connections to 2-dimensional conformal field theory are also presented. In particular, we discuss anyon condensation, gapped domain walls and matrix product operators in terms of operator algebras. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: review paper, 18 pages

Journal ref: Internat. J. Modern Phys. B 35 (2021), 2130003 (16 pages)

Projector Matrix Product Operators, Anyons and Higher Relative Commutants of Subfactors

Authors: Yasuyuki Kawahigashi

Abstract: A bi-unitary connection in subfactor theory of Jones producing a subfactor of finite depth gives a 4-tensor appearing in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete on 2-dimensional topological order and anyons. In their work, they have a special projection called a projector matrix product operator. We prove that the range of this projection of length k is naturall… ▽ More A bi-unitary connection in subfactor theory of Jones producing a subfactor of finite depth gives a 4-tensor appearing in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete on 2-dimensional topological order and anyons. In their work, they have a special projection called a projector matrix product operator. We prove that the range of this projection of length k is naturally identified with the k-th higher relative commutant of the subfactor arising from the bi-unitary connection. This gives a further connection between 2-dimensional topological order and subfactor theory. △ Less

Submitted 19 August, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: 17 pages, improved exposition

MSC Class: 46L37; 81P40; 81R10; 81R15

A remark on matrix product operator algebras, anyons and subfactors

Authors: Yasuyuki Kawahigashi

Abstract: We show that the mathematical structures in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete are the same as those of flat symmetric bi-unitary connections and the tube algebra in subfactor theory. More specifically, a system of flat symmetric bi-unitary connections arising from a subfactor with finite index and finite depth satisfies all their requirements for tensors a… ▽ More We show that the mathematical structures in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete are the same as those of flat symmetric bi-unitary connections and the tube algebra in subfactor theory. More specifically, a system of flat symmetric bi-unitary connections arising from a subfactor with finite index and finite depth satisfies all their requirements for tensors and the tube algebra for such a subfactor and the anyon algebra for such tensors are isomorphic up to the normalization constants. Furthermore, the matrix product operator algebras arising from tensors corresponding to possibly non-flat symmetric bi-unitary connections are isomorphic to those arising from flat symmetric bi-unitary connections for subfactors. △ Less

Submitted 22 January, 2020; v1 submitted 28 July, 2019; originally announced July 2019.

Comments: three explanatory paragraphs added

Journal ref: Lett. Math. Phys. 110,1113-1122 (2020)

A remark on gapped domain walls between topological phases

Authors: Yasuyuki Kawahigashi

Abstract: We give a mathematical definition of a gapped domain wall between topological phases and a gapped boundary of a topological phase. We then provide answers to some recent questions studied by Lan, Wang and Wen in condensed matter physics based on works of Davydov, Müger, Nikshych and Ostrik. In particular, we identify their tunneling matrix and a coupling matrix of Rehren, and show that their conje… ▽ More We give a mathematical definition of a gapped domain wall between topological phases and a gapped boundary of a topological phase. We then provide answers to some recent questions studied by Lan, Wang and Wen in condensed matter physics based on works of Davydov, Müger, Nikshych and Ostrik. In particular, we identify their tunneling matrix and a coupling matrix of Rehren, and show that their conjecture does not hold. △ Less

Submitted 7 May, 2015; v1 submitted 5 April, 2015; originally announced April 2015.

Comments: 7 pages, minor fixes, references added

Journal ref: Lett. Math. Phys. 105 (2015), 893-899