• Differential cohomology and locally covariant quantum field theory(1406.1514)

Dec. 8, 2016 hep-th, math.DG, math-ph, math.MP
We study differential cohomology on categories of globally hyperbolic Lorentzian manifolds. The Lorentzian metric allows us to define a natural transformation whose kernel generalizes Maxwell's equations and fits into a restriction of the fundamental exact sequences of differential cohomology. We consider smooth Pontryagin duals of differential cohomology groups, which are subgroups of the character groups. We prove that these groups fit into smooth duals of the fundamental exact sequences of differential cohomology and equip them with a natural presymplectic structure derived from a generalized Maxwell Lagrangian. The resulting presymplectic Abelian groups are quantized using the CCR-functor, which yields a covariant functor from our categories of globally hyperbolic Lorentzian manifolds to the category of C*-algebras. We prove that this functor satisfies the causality and time-slice axioms of locally covariant quantum field theory, but that it violates the locality axiom. We show that this violation is precisely due to the fact that our functor has topological subfunctors describing the Pontryagin duals of certain singular cohomology groups. As a byproduct, we develop a Fr\'echet-Lie group structure on differential cohomology groups.
• Abelian duality on globally hyperbolic spacetimes(1511.00316)

June 15, 2016 hep-th, math.DG, math-ph, math.MP, math.AT
We study generalized electric/magnetic duality in Abelian gauge theory by combining techniques from locally covariant quantum field theory and Cheeger-Simons differential cohomology on the category of globally hyperbolic Lorentzian manifolds. Our approach generalizes previous treatments using the Hamiltonian formalism in a manifestly covariant way and without the assumption of compact Cauchy surfaces. We construct semi-classical configuration spaces and corresponding presymplectic Abelian groups of observables, which are quantized by the CCR-functor to the category of $C^*$-algebras. We demonstrate explicitly how duality is implemented as a natural isomorphism between quantum field theories. We apply this formalism to develop a fully covariant quantum theory of self-dual fields.
• Cheeger-Simons differential characters with compact support and Pontryagin duality(1511.00324)

Nov. 16, 2015 hep-th, math.DG, math-ph, math.MP, math.AT
By adapting the Cheeger-Simons approach to differential cohomology, we establish a notion of differential cohomology with compact support. We show that it is functorial with respect to open embeddings and that it fits into a natural diagram of exact sequences which compare it to compactly supported singular cohomology and differential forms with compact support, in full analogy to ordinary differential cohomology. By extending some results for relative differential cohomology we prove an excision theorem for differential cohomology. We further establish Pontryagin duality for differential cohomology: On any oriented manifold, ordinary differential cohomology is isomorphic to the smooth Pontryagin dual of compactly supported differential cohomology. For manifolds of finite-type, a similar result is obtained interchanging ordinary with compactly supported differential cohomology.
• Cheeger-Chern-Simons theory and differential String classes(1404.0716)

Oct. 5, 2015 math.DG, math-ph, math.MP, math.AT
We introduce certain relative differential characters which we call Cheeger-Chern-Simons characters. These combine the well-known Cheeger-Simons characters with Chern-Simons forms. In the same way as the Cheeger-Simons characters generalize Chern-Simons invariants of oriented closed manifolds, the Cheeger-Chern-Simons characters generalize Chern-Simons invariants of oriented manifolds with boundary. Using Cheeger-Chern-Simons characters, we introduce the notion of differential trivializations of universal characteristic classes. Specializing to the class 1/2 $p_1 \in H^4(B\mathrm{Spin}_n;\mathbb Z)$ this yields a notion of differential String classes. Differential String classes turn out to be stable isomorphism classes of geometric String structures.
• Relative differential cohomology(1310.2851)

Oct. 10, 2013 math.DG, math.AT
We study two notions of relative differential cohomology, using the model of differential characters. The two notions arise from the two options to construct relative homology, either by cycles of a quotient complex or of a mapping cone complex. We discuss the relation of the two notions of relative differential cohomology to each other. We discuss long exact sequences for both notions, thereby clarifying their relation to absolute differential cohomology. We construct the external and internal product of relative and absolute characters and show that relative differential cohomology is a right module over the absolute differential cohomology ring. Finally we construct fiber integration and transgression for relative differential characters.
• Differential Characters and Geometric Chains(1303.6457)

April 9, 2013 math.DG
We study Cheeger-Simons differential characters and provide geometric descriptions of the ring structure and of the fiber integration map. The uniqueness of differential cohomology (up to unique natural transformation) is proved by deriving an explicit formula for any natural transformation between a differential cohomology theory and the model given by differential characters. Fiber integration for fibers with boundary is treated in the context of relative differential characters. As applications we treat higher-dimensional holonomy, parallel transport, and transgression.
• On the Riemannian geometry of Seiberg-Witten moduli spaces(0709.2084)

March 19, 2008 math.DG, math-ph, math.MP, math.SG
We construct natural Riemannian metrics on Seiberg-Witten moduli spaces and study their geometry.