27 research outputs found
Principal 2-bundles and their gauge 2-groups
In this paper we introduce principal 2-bundles and show how they are
classified by non-abelian Cech cohomology. Moreover, we show that their gauge
2-groups can be described by 2-group-valued functors, much like in classical
bundle theory. Using this, we show that, under some mild requirements, these
gauge 2-groups possess a natural smooth structure. In the last section we
provide some explicit examples.Comment: 40 pages; v3: completely revised and extended, classification
corrected, name changed, to appear in Forum Mat
Properties of field functionals and characterization of local functionals
Functionals (i.e. functions of functions) are widely used in quantum field
theory and solid-state physics. In this paper, functionals are given a rigorous
mathematical framework and their main properties are described. The choice of
the proper space of test functions (smooth functions) and of the relevant
concept of differential (Bastiani differential) are discussed.
The relation between the multiple derivatives of a functional and the
corresponding distributions is described in detail. It is proved that, in a
neighborhood of every test function, the support of a smooth functional is
uniformly compactly supported and the order of the corresponding distribution
is uniformly bounded. Relying on a recent work by Yoann Dabrowski, several
spaces of functionals are furnished with a complete and nuclear topology. In
view of physical applications, it is shown that most formal manipulations can
be given a rigorous meaning.
A new concept of local functionals is proposed and two characterizations of
them are given: the first one uses the additivity (or Hammerstein) property,
the second one is a variant of Peetre's theorem. Finally, the first step of a
cohomological approach to quantum field theory is carried out by proving a
global Poincar\'e lemma and defining multi-vector fields and graded functionals
within our framework.Comment: 32 pages, no figur
Z_2 Invariants of topological insulators as geometric obstructions
We consider a gapped periodic quantum system with time-reversal symmetry of fermionic (or odd) type, i.e. the time-reversal operator squares to â1. We investigate the existence of periodic and time-reversal invariant Bloch frames in dimensions 2 and 3. In 2d, the obstruction to the existence of such a frame is shown to be encoded in a Z2-valued topological invariant, which can be computed by a simple algorithm. We prove that the latter agrees with the Fu-Kane index. In 3d, instead, four Z2 invariants emerge from the construction, again related to the Fu-Kane-Mele indices. When no topological obstruction is present, we provide a constructive algorithm yielding explicitly a periodic and time-reversal invariant Bloch frame. The result is formulated in an abstract setting, so that it applies both to discrete models and to continuous ones