Journal of Topology Advance Access published online on October 31, 2007
Journal of Topology, doi:10.1112/jtopol/jtm006
© 2007 London Mathematical Society
Axiomatic characterization of ordinary differential cohomology
Renaissance Technologies LLC, 800 Third Avenue, New York, NY 10022, USA jim{at}rentec.com
Mathematics Department, SUNY – Stonybrook, Stonybrook, NY 11794, USA dennis{at}math.sunysb.edu
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.
Received February 5, 2007.
2000 Mathematics Subject Classification 57R19
References
- Brylinski J.-L. Loop spaces, characteristic classes, and geometric quantization (1993) Boston, MA: Birkhäuser.
- Cheeger J. Multiplication of differential characters. (1973) Proceedings of the Instituto Nazionale di Alta Mathematica, Symposia Mathematica XI: London, UK. Academic Press. 441–445.
- Cheeger J., Simons J. Differential characters and geometric invariants Notes of Stanford Conference 1973, Lecture Notes in Mathematics 1167. (1985) New York: Springer. 50–90.
- Chern S. S., Simons J. Characteristic forms and geometric invariants. Ann. Math. (1974) 99:48–69.[CrossRef]
- Gillet H., Soule C. Arithmetic Chow groups and differential characters. In: Algebraic K-theory: Connections with geometry and topology—Jardine J. F., Snaith V., eds. (1989) Norwell, MA: Kluwer Academic. 30–68.
- Harris B. Differential characters and the Abel–Jacobi map. In: Algebraic K-theory: Connections with geometry and topology—Jardine J. F., Snaith V., eds. (1989) Norwell, MA: Kluwer Academic. 69–86.
- Harvey R., Lawson B. From Sparks to Grundles–differential characters. Commun. Anal. Geom. (2006) 14:25–58.
- Harvey R., Lawson B., Zweck J. The de Rham–Federer theory of differential characters and character duality. Amer. J. Math. (2003) 125:791–847.[CrossRef]
- Hopkins M., Singer I. Quadratic functions in geometry, topology, and M-theory, Preprint. (2002) arXiv.org/pdf/math/0211216.
- Hurewicz W., Wallman H. Dimension theory (1941) Princeton, NJ: Princeton University Press.
- Munkres J. R. Elementary differential topology. In: Annals of Mathematics Studies (1969) 54. Princeton, NJ: Princeton University Press. 79.
- Poincaré H. Complement a lAnalysis Situs'. In:
uvres completes (1954) tome VI. Paris, France: Gauthier-Villars. 291. - Simons J. Characteristic forms and transgression: characters associated to a connection, Preprint. (1972) Stony Brook University.
- Sullivan D. Singularities in spaces. (1971) Proceedings of the Liverpool Conference on Singularities Symposium II, Liverpool, England, Lecture Notes in Mathematics 209: Berlin, Germany. Springer. 196–206.
| ||||||||||||||||||||||||||||||||||||||||||||||||||