An official website of the United States government
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
This content will become publicly available on January 22, 2026
Adic tropicalizations and cofinality of Gubler models
Abstract We introduce adic tropicalizations for subschemes of toric varieties as limits of Gubler models associated to polyhedral covers of the ordinary tropicalization. Our main result shows that Huber's adic analytification of a subscheme of a toric variety is naturally isomorphic to the inverse limit of its adic tropicalizations, in the category of locally topologically ringed spaces. The key new technical idea underlying this theorem is cofinality of Gubler models, which we prove for projective schemes and also for more general compact analytic domains in closed subschemes of toric varieties. In addition, we introduce a ‐topology and structure sheaf on ordinary tropicalizations, and show that Berkovich analytifications are limits of ordinary tropicalizations in the category of topologically ringed topoi.
more »
« less
- Award ID(s):
- 2302475
- PAR ID:
- 10576310
- Publisher / Repository:
- Oxford University Press (OUP)
- Date Published:
- Journal Name:
- Bulletin of the London Mathematical Society
- Volume:
- 57
- Issue:
- 3
- ISSN:
- 0024-6093
- Format(s):
- Medium: X Size: p. 809-830
- Size(s):
- p. 809-830
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Topologically ordered quantum spin systems have become an area of great interest, as they may provide a fault-tolerant means of quantum computation. One of the simplest examples of such a spin system is Kitaev’s toric code. Naaijkens made mathematically rigorous the treatment of toric code on an infinite planar lattice (the thermodynamic limit), using an operator algebraic approach via algebraic quantum field theory. We adapt his methods to study the case of toric code with gapped boundary. In particular, we recover the condensation results described in Kitaev and Kong and show that the boundary theory is a module tensor category over the bulk, as expected.more » « less
-
null (Ed.)Abstract Starting with the work of Serre, Katz, and Swinnerton-Dyer, theta operators have played a key role in the study of $$p$$-adic and $$\textrm{mod}\; p$$ modular forms and Galois representations. This paper achieves two main results for theta operators on automorphic forms on PEL-type Shimura varieties: (1) the analytic continuation at unramified primes $$p$$ to the whole Shimura variety of the $$\textrm{mod}\; p$$ reduction of $$p$$-adic Maass–Shimura operators a priori defined only over the $$\mu $$-ordinary locus, and (2) the construction of new $$\textrm{mod}\; p$$ theta operators that do not arise as the $$\textrm{mod}\; p$$ reduction of Maass–Shimura operators. While the main accomplishments of this paper concern the geometry of Shimura varieties and consequences for differential operators, we conclude with applications to Galois representations. Our approach involves a careful analysis of the behavior of Shimura varieties and enables us to obtain more general results than allowed by prior techniques, including for arbitrary signature, vector weights, and unramified primes in CM fields of arbitrary degree.more » « less
-
null (Ed.)In previous work, we introduce an axiomatic framework within which to prove theorems about many varieties of infinite-dimensional categories simultaneously. In this paper, we establish criteria implying that an ∞-category --- for instance, a quasi-category, a complete Segal space, or a Segal category --- is complete and cocomplete, admitting limits and colimits indexed by any small simplicial set. Our strategy is to build (co)limits of diagrams indexed by a simplicial set inductively from (co)limits of restricted diagrams indexed by the pieces of its skeletal filtration. We show directly that the modules that express the universal properties of (co)limits of diagrams of these shapes are reconstructible as limits of the modules that express the universal properties of (co)limits of the restricted diagrams. We also prove that the Yoneda embedding preserves and reflects limits in a suitable sense, and deduce our main theorems as a consequence.more » « less
-
Now in its second edition, this volume provides a uniquely detailed study of $$P$$-adic differential equations. Assuming only a graduate-level background in number theory, the text builds the theory from first principles all the way to the frontiers of current research, highlighting analogies and links with the classical theory of ordinary differential equations. The author includes many original results which play a key role in the study of $$P$$-adic geometry, crystalline cohomology, $$P$$-adic Hodge theory, perfectoid spaces, and algorithms for L-functions of arithmetic varieties. This updated edition contains five new chapters, which revisit the theory of convergence of solutions of $$P$$-adic differential equations from a more global viewpoint, introducing the Berkovich analytification of the projective line, defining convergence polygons as functions on the projective line, and deriving a global index theorem in terms of the Laplacian of the convergence polygon.more » « less
