skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Galois Correspondence and Fourier Analysis on Local Discrete Subfactors
Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity condition motivated by the study of inclusion of Quantum Field Theories in the algebraic Haag–Kastler setting. In Bischoff et al. (J Funct Anal 281(1):109004, 2021), we proved that every irreducible local discrete subfactor arises as the fixed point subfactor under the action of a canonical compact hypergroup. In this work, we prove a Galois correspondence between intermediate von Neumann algebras and closed subhypergroups, and we study the subfactor theoretical Fourier transform in this context. Along the way, we extend the main results concerning đ›Œ-induction and 𝜎-restriction for braided subfactors previously known in the finite index case.  more » « less
Award ID(s):
1821162
PAR ID:
10325943
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Annales Henri Poincaré
ISSN:
1424-0637
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. For a finite-index [Formula: see text] subfactor [Formula: see text], we prove the existence of a universal Hopf ∗-algebra (or, a discrete quantum group in the analytic language) acting on [Formula: see text] in a trace-preserving fashion and fixing [Formula: see text] pointwise. We call this Hopf ∗-algebra the quantum Galois group for the subfactor and compute it in some examples of interest, notably for arbitrary irreducible finite-index depth-two subfactors. Along the way, we prove the existence of universal acting Hopf algebras for more general structures (tensors in enriched categories), in the spirit of recent work by Agore, Gordienko and Vercruysse. 
    more » « less
  2. We revisit the connection between von Neumann algebra index and relative entropy. We observe that the Pimsner-Popa index connects to maximal sandwiched p-R\'enyi relative entropy for all p between 1/2 and infinity, including the Umegaki's relative entropy at p=1. Based on that, we introduce a new notation of maximal relative entropy for a inclusion of finite von Neumann algebras. These maximal relative entropy generalizes subfactors index and has application in estimating decoherence time of quantum Markov semigroup 
    more » « less
  3. null (Ed.)
    We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided multi-fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively two-, three- and four-dimensional framed local topological field theories. In particular, we produce a framed three-dimensional local topological field theory attached to the category of representations of a quantum group at any value of $$q$$ . 
    more » « less
  4. Abstract For a finite group , a ‐crossed braided fusion category is a ‐graded fusion category with additional structures, namely, a ‐action and a ‐braiding. We develop the notion of ‐crossed braided zesting: an explicit method for constructing new ‐crossed braided fusion categories from a given one by means of cohomological data associated with the invertible objects in the category and grading group . This is achieved by adapting a similar construction for (braided) fusion categories recently described by the authors. All ‐crossed braided zestings of a given category are ‐extensions of their trivial component and can be interpreted in terms of the homotopy‐based description of Etingof, Nikshych, and Ostrik. In particular, we explicitly describe which ‐extensions correspond to ‐crossed braided zestings. 
    more » « less
  5. Abstract Let be a commutative ring, and assume that every non‐trivial ideal of has finite index. We show that if has bounded elementary generation then every conjugation‐invariant norm on it is either discrete or precompact. If is any group satisfying this dichotomy, we say that has the dichotomy property . We relate the dichotomy property, as well as some natural variants of it, to other rigidity results in the theory of arithmetic and profinite groups such as the celebrated normal subgroup theorem of Margulis and the seminal work of Nikolov and Segal. As a consequence we derive constraints to the possible approximations of certain non‐residually finite central extensions of arithmetic groups, which we hope might have further applications in the study of sofic groups. In the last section we provide several open problems for further research. 
    more » « less