Axiomatic characterization of ordinary differential cohomology

By J. Simons, Dennis P. Sullivan. 2007

107 citations recorded by the source corpus.

The Cheeger–Simons differential characters, the Deligne cohomology in the smooth category, the Hopkins–Singer construction of ordinary differential cohomology, and the recent Harvey–Lawson constructions are each in two distinct ways abelian group extensions of known functors. In one description, these objects are extensions of integral cohomology by the quotient space of all differential forms by the subspace of closed forms with integral periods. In the other, they are extensions of closed differential forms with integral periods by the cohomology with coefficients in the circle. These two series of short‐exact sequences mesh with two interlocking long‐exact sequences (the Bockstein sequence and the de Rham sequence) to form a commutative DNA‐like array of functors called the Character Diagram. Our first theorem shows that on the category of smooth manifolds and smooth maps, any package consisting of a functor into graded abelian groups together with four natural transformations that fit together so as to form a Character Diagram as mentioned earlier is unique up to a unique natural equivalence. Our second theorem shows that natural product structure on differential characters is uniquely characterized by its compatibility with the product structures on the known functors in the Character Diagram. The proof of our first theorem couples the naturality with results about approximating smooth singular cycles and homologies by embedded pseudomanifolds.

Subfields: Computational Theory and Mathematics, Discrete Mathematics and Combinatorics, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/064347f79de9e0b26d2ce0795070fb5f0c53912a

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. M. Völkl
2. T. Nikolaus
3. U. Bunke
4. Thomas Schick

In Discrete Mathematics and Combinatorics

1. U. Bunke
2. Thomas Schick
3. M. Völkl
4. T. Nikolaus

In Mathematical Physics

1. T. Nikolaus
2. M. Völkl
3. U. Bunke
4. Thomas Schick

Citations in the corpus

• Differential cohomology theories as sheaves of spectra (2013, methodology): “Axiomatizations for differential cohomology presented in this form were given in [SS08], [BS10b].”
• Uniqueness of smooth extensions of generalized cohomology theories (2009, background): “This has been answered by [24], though a set of slightly different axioms is used‡.”