×

zbMATH — the first resource for mathematics

Axiomatic characterization of ordinary differential cohomology. (English) Zbl 1163.57020
Authors’ abstract: 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.
Reviewer: Su Yang (Beijing)

MSC:
57R19 Algebraic topology on manifolds and differential topology
58J28 Eta-invariants, Chern-Simons invariants
PDF BibTeX XML Cite
Full Text: DOI arXiv
References:
[1] J.-L. Brylinski Loop spaces, characteristic classes, and geometric quantization 1993 Boston, MA Birkhäuser
[2] Cheeger, Multiplication of differential characters, in: Proceedings of the Instituto Nazionale di Alta Mathematica, Symposia Mathematica XI pp 441– (1973) · Zbl 0285.53014
[3] J. Cheeger J. Simons Differential characters and geometric invariants’ Notes of Stanford Conference 1973, Lecture Notes in Mathematics 1167 1985 New York Springer 50 90
[4] Chern, Characteristic forms and geometric invariants, Ann. Math. 99 pp 48– (1974) · Zbl 0283.53036
[5] H. Gillet C. Soule J. F. Jardine V. Snaith Arithmetic Chow groups and differential characters Algebraic K-theory: Connections with geometry and topology 1989 Norwell, MA Kluwer Academic 30 68
[6] B. Harris J. F. Jardine V. Snaith Differential characters and the Abel-Jacobi map Algebraic K-theory: Connections with geometry and topology 1989 Norwell, MA Kluwer Academic 69 86
[7] Harvey, From Sparks to Grundles-differential characters, Commun. Anal. Geom. 14 pp 25– (2006) · Zbl 1116.53048
[8] Harvey, The de Rham-Federer theory of differential characters and character duality, Amer. J. Math. 125 pp 791– (2003) · Zbl 1060.58004
[9] M. Hopkins I. Singer Quadratic functions in geometry, topology, and M-theory’, Preprint 2002 arXiv.org/pdf/math/0211216
[10] W. Hurewicz H. Wallman Dimension theory 1941 Princeton, NJ Princeton University Press
[11] J. R. Munkres Elementary differential topology Annals of Mathematics Studies 1969 54 Princeton, NJ Princeton University Press 79
[12] H. Poincaré Complement a l’Analysis Situs OEuvres completes 1954 tome VI Paris, France Gauthier-Villars 291
[13] J. Simons Characteristic forms and transgression: characters associated to a connection’, Preprint 1972 Stony Brook University
[14] Sullivan, Singularities in spaces, in: Proceedings of the Liverpool Conference on Singularities Symposium II, Liverpool, England, Lecture Notes in Mathematics 209 pp 196– (1971) · Zbl 0233.57006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.