More Like this

1. Invariant random subgroups of semidirect products

   https://doi.org/10.1017/etds.2018.46  

   BIRINGER, IAN; BOWEN, LEWIS; TAMUZ, OMER (January 2018, Ergodic Theory and Dynamical Systems)

   We study invariant random subgroups (IRSs) of semidirect products $$G=A\rtimes \unicode[STIX]{x1D6E4}$$ . In particular, we characterize all IRSs of parabolic subgroups of $$\text{SL}_{d}(\mathbb{R})$$ , and show that all ergodic IRSs of $$\mathbb{R}^{d}\rtimes \text{SL}_{d}(\mathbb{R})$$ are either of the form $$\mathbb{R}^{d}\rtimes K$$ for some IRS of $$\text{SL}_{d}(\mathbb{R})$$ , or are induced from IRSs of $$\unicode[STIX]{x1D6EC}\rtimes \text{SL}(\unicode[STIX]{x1D6EC})$$ , where $$\unicode[STIX]{x1D6EC}<\mathbb{R}^{d}$$ is a lattice. 

   more » « less
2. On realizations of the subalgebra 𝒜^{ℝ}(1) of the ℝ-motivic Steenrod algebra

   https://doi.org/10.1090/btran/114  

   Bhattacharya, P.; Guillou, B.; Li, A. (July 2022, Transactions of the American Mathematical Society, Series B)

   In this paper, we show that the finite subalgebra A R ( 1 ) \mathcal {A}^\mathbb {R}(1) , generated by S q 1 \mathrm {Sq}^1 and S q 2 \mathrm {Sq}^2 , of the R \mathbb {R} -motivic Steenrod algebra A R \mathcal {A}^\mathbb {R} can be given 128 different A R \mathcal {A}^\mathbb {R} -module structures. We also show that all of these A \mathcal {A} -modules can be realized as the cohomology of a 2 2 -local finite R \mathbb {R} -motivic spectrum. The realization results are obtained using an R \mathbb {R} -motivic analogue of the Toda realization theorem. We notice that each realization of A R ( 1 ) \mathcal {A}^\mathbb {R}(1) can be expressed as a cofiber of an R \mathbb {R} -motivic v 1 v_1 -self-map. The C 2 {\mathrm {C}_2} -equivariant analogue of the above results then follows because of the Betti realization functor. We identify a relationship between the R O ( C 2 ) \mathrm {RO}({\mathrm {C}_2}) -graded Steenrod operations on a C 2 {\mathrm {C}_2} -equivariant space and the classical Steenrod operations on both its underlying space and its fixed-points. This technique is then used to identify the geometric fixed-point spectra of the C 2 {\mathrm {C}_2} -equivariant realizations of A C 2 ( 1 ) \mathcal {A}^{\mathrm {C}_2}(1) . We find another application of the R \mathbb {R} -motivic Toda realization theorem: we produce an R \mathbb {R} -motivic, and consequently a C 2 {\mathrm {C}_2} -equivariant, analogue of the Bhattacharya-Egger spectrum Z \mathcal {Z} , which could be of independent interest. 

   more » « less
3. Relative anomalies in (2+1)D symmetry enriched topological states

   https://doi.org/10.21468/SciPostPhys.8.2.028  

   Barkeshli, Maissam; Cheng, Meng (January 2020, SciPost Physics)

   Certain patterns of symmetry fractionalization in topologicallyordered phases of matter are anomalous, in the sense that they can onlyoccur at the surface of a higher dimensional symmetry-protectedtopological (SPT) state. An important question is to determine how tocompute this anomaly, which means determining which SPT hosts a givensymmetry-enriched topological order at its surface. While special casesare known, a general method to compute the anomaly has so far beenlacking. In this paper we propose a general method to compute relativeanomalies between different symmetry fractionalization classes of agiven (2+1)D topological order. This method applies to all types ofsymmetry actions, including anyon-permuting symmetries and generalspace-time reflection symmetries. We demonstrate compatibility of therelative anomaly formula with previous results for diagnosing anomaliesfor \mathbb{Z}_2^{T} ℤ 2 T space-time reflection symmetry (e.g. where time-reversal squares to theidentity) and mixed anomalies for U(1) \times \mathbb{Z}_2^{T} U ( 1 ) × ℤ 2 T and U(1) \rtimes \mathbb{Z}_2^{T} U ( 1 ) ⋊ ℤ 2 T symmetries. We also study a number of additional examples, includingcases where space-time reflection symmetries are intertwined innon-trivial ways with unitary symmetries, such as \mathbb{Z}_4^{T} ℤ 4 T and mixed anomalies for \mathbb{Z}_2 \times \mathbb{Z}_2^{T} ℤ 2 × ℤ 2 T symmetry, and unitary \mathbb{Z}_2 \times \mathbb{Z}_2 ℤ 2 × ℤ 2 symmetry with non-trivial anyon permutations. 

   more » « less
4. DHR bimodules of quasi-local algebras and symmetric quantum cellular automata

   https://doi.org/10.4171/QT/216  

   Jones, Corey (October 2024, Quantum Topology)

   For a net of C*-algebras on a discrete metric space, we introduce a bimodule version of the DHR tensor category and show that it is an invariant of quasi-local algebras under isomorphisms with bounded spread. For abstract spin systems on a latticeL\subseteq \mathbb{R}^{n}satisfying a weak version of Haag duality, we construct a braiding on these categories. Applying the general theory to quasi-local algebrasAof operators on a lattice invariant under a (categorical) symmetry, we obtain a homomorphism from the group of symmetric QCA to\mathbf{Aut}_{\mathrm{br}}(\mathbf{DHR}(A)), containing symmetric finite-depth circuits in the kernel. For a spin chain with fusion categorical symmetry\mathcal{D}, we show that the DHR category of the quasi-local algebra of symmetric operators is equivalent to the Drinfeld center\mathcal{Z}(\mathcal{D}). We use this to show that, for the double spin-flip action\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\curvearrowright \mathbb{C}^{2}\otimes \mathbb{C}^{2}, the group of symmetric QCA modulo symmetric finite-depth circuits in 1D contains a copy ofS_{3}; hence, it is non-abelian, in contrast to the case with no symmetry. 

   more » « less
5. Local topological order and boundary algebras

   https://doi.org/10.1017/fms.2025.16  

   Jones, Corey; Naaijkens, Pieter; Penneys, David; Wallick, Daniel; Izumi, Masaki (January 2025, Forum of Mathematics, Sigma)

   Abstract We introduce a set of axioms for locally topologically ordered quantum spin systems in terms of nets of local ground state projections, and we show they are satisfied by Kitaev’s Toric Code and Levin-Wen type models. For a locally topologically ordered spin system on$$\mathbb {Z}^{k}$$, we define a local net of boundary algebras on$$\mathbb {Z}^{k-1}$$, which provides a mathematically precise algebraic description of the holographic dual of the bulk topological order. We construct a canonical quantum channel so that states on the boundary quasi-local algebra parameterize bulk-boundary states without reference to a boundary Hamiltonian. As a corollary, we obtain a new proof of a recent result of Ogata [Oga24] that the bulk cone von Neumann algebra in the Toric Code is of type$$\mathrm {II}$$, and we show that Levin-Wen models can have cone algebras of type$$\mathrm {III}$$. Finally, we argue that the braided tensor category of DHR bimodules for the net of boundary algebras characterizes the bulk topological order in (2+1)D, and can also be used to characterize the topological order of boundary states. 

   more » « less