
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
CCRfunctor, 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 timeslice 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\'echetLie group structure on
differential cohomology groups.

We study generalized electric/magnetic duality in Abelian gauge theory by
combining techniques from locally covariant quantum field theory and
CheegerSimons 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 semiclassical configuration spaces
and corresponding presymplectic Abelian groups of observables, which are
quantized by the CCRfunctor 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 selfdual fields.

By adapting the CheegerSimons 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 finitetype, a similar result is obtained
interchanging ordinary with compactly supported differential cohomology.

We introduce certain relative differential characters which we call
CheegerChernSimons characters. These combine the wellknown CheegerSimons
characters with ChernSimons forms. In the same way as the CheegerSimons
characters generalize ChernSimons invariants of oriented closed manifolds, the
CheegerChernSimons characters generalize ChernSimons invariants of oriented
manifolds with boundary.
Using CheegerChernSimons 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.

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.

We study CheegerSimons 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 higherdimensional
holonomy, parallel transport, and transgression.

We construct natural Riemannian metrics on SeibergWitten moduli spaces and
study their geometry.