Guided by the many-particle quantum theory of interacting systems, we develop a uniform classification scheme for topological phases of disordered gapped free fermions, encompassing all symmetry classes of the Tenfold Way. We apply this scheme to give a mathematically rigorous proof of bulk-boundary correspondence. To that end, we construct real C$$^*$$ ∗ -algebras harbouring the bulk and boundary data of disordered free-fermion ground states. These we connect by a natural bulk-to-boundary short exact sequence, realising the bulk system as a quotient of the half-space theory modulo boundary contributions. To every ground state, we attach two classes in different pictures of real operator $$K$$ K -theory (or $$KR$$ KR -theory): a bulk class, using Van Daele’s picture, along with a boundary class, using Kasparov’s Fredholm picture. We then show that the connecting map for the bulk-to-boundary sequence maps these $$KR$$ KR -theory classes to each other. This implies bulk-boundary correspondence, in the presence of disorder, for both the “strong” and the “weak” invariants.

Abstract. We investigate the Berezin integral of non-compactly supported quantities. In the framework of supermanifolds with corners, we give a general, explicit and coordinate-free repesentation of the boundary terms introduced by an arbitrary change of variables. As a corollary, a general Stokes's theorem is derived-here, the boundary integral contains transversal derivatives of arbitrarily high order.

In his recent investigation of a super Teichm\"uller space, Sachse (2007), based on work of Molotkov (1984), has proposed a theory of Banach supermanifolds using the `functor of points' approach of Bernstein and Schwarz. We prove that the the category of Berezin-Kostant-Leites supermanifolds is equivalent to the category of finite-dimensional Molotkov-Sachse supermanifolds. Simultaneously, using the differential calculus of Bertram-Gl\"ockner-Neeb (2004), we extend Molotkov-Sachse's approach to supermanifolds modeled on Hausdorff topological super-vector spaces over an arbitrary non-discrete Hausdorff topological base field of characteristic zero. We also extend to locally k-omega base fields the `DeWitt' supermanifolds considered by Tuynman in his monograph (2004), and prove that this leads to a category which is isomorphic to the full subcategory of Molokov-Sachse supermanifolds modeled on locally k-omega spaces.Comment: 36 pages; minor corrections, expanded introductio

We introduce a wide category of superspaces, called locally finitely generated, which properly includes supermanifolds but enjoys much stronger permanence properties, as are prompted by applications. Namely, it is closed under taking finite fibre products (i.e. is finitely complete) and thickenings by spectra of Weil superalgebras. Nevertheless, in this category, morphisms with values in a supermanifold are still given in terms of coordinates. This framework gives a natural notion of relative supermanifolds over a locally finitely generated base. Moreover, the existence of inner homs, whose source is the spectrum of a Weil superalgebra, is established; they are generalisations of the Weil functors defined for smooth manifolds.Comment: v3: final version prior to publication, examples added, corrections, numbering adapted, 47 pages, Math. Z. (2014

No abstract