Dirac geometry II: coherent cohomology

Research output: Contribution to journalJournal articleResearchpeer-review

Documents

  • Fulltext

    Final published version, 761 KB, PDF document

Dirac rings are commutative algebras in the symmetric monoidal category of Z-graded abelian groups with the Koszul sign in the symmetry isomorphism. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we embed this category in the larger ∞-category of Dirac stacks, which also contains formal Dirac schemes, and develop the coherent cohomology of Dirac stacks. We apply the general theory to stable homotopy theory and use Quillen’s theorem on complex cobordism and Milnor’s theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to MU and Fp in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves.

Original languageEnglish
Article numbere27
JournalForum of Mathematics, Sigma
Volume12
Number of pages93
DOIs
Publication statusPublished - 2024

Bibliographical note

Publisher Copyright:
© The Author(s), 2024.

ID: 390287980