Modal Fracture of Higher Groups

Abstract

In this paper, we examine the modal aspects of higher groups in Shulman's Cohesive Homotopy Type Theory. We show that every higher group sits within a modal fracture hexagon which renders it into its discrete, infinitesimal, and contractible components. This gives an unstable and synthetic construction of Schreiber's differential cohomology hexagon. As an example of this modal fracture hexagon, we recover the character diagram characterizing ordinary differential cohomology by its relation to its underlying integral cohomology and differential form data, although there is a subtle obstruction to generalizing the usual hexagon to higher types. Assuming the existence of a long exact sequence of differential form classifiers, we construct the classifiers for circle k-gerbes with connection and describe their modal fracture hexagon.

47 pages

References in corpus (11)

• Homotopy theoretic models of identity types
• Differential cohomology in a cohesive infinity-topos
• The Simplicial Model of Univalent Foundations (after Voevodsky)
• Axiomatic Characterization of Ordinary Differential Cohomology
• Modalities in homotopy type theory
• Semantics of higher inductive types
• A Generalized Blakers-Massey Theorem
• Using the internal language of toposes in algebraic geometry
• Modal Descent
• Semantics of multimodal adjoint type theory
• On the $\infty$-topos semantics of homotopy type theory

Cited by in corpus (2)

• Topological Quantum Gates in Homotopy Type Theory
• Synthetic G-jet-structures in modal homotopy type theory