Search for: All records

Abstract Dirac rings are commutative algebras in the symmetric monoidal category of$$\mathbb {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$$\infty $$-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$$\operatorname {MU}$$and$$\mathbb {F}_p$$in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves. 

Abstract The purpose of this paper and its sequel is to develop the geometry built from the commutative algebras that naturally appear as the homology of differential graded algebras and, more generally, as the homotopy of algebras in spectra. The commutative algebras in question are those in the symmetric monoidal category of graded abelian groups, and, being commutative, they form the affine building blocks of a geometry, as commutative rings form the affine building blocks of algebraic geometry. We name this geometry Dirac geometry, because the grading exhibits the hallmarks of spin in that it is a remnant of the internal structure encoded byanima, it distinguishes symmetric and anti-symmetric behavior, and the coherent cohomology of Dirac schemes and Dirac stacks, which we develop in the sequel, admits half-integer Serre twists. Thus, informally, Dirac geometry constitutes a “square root” of$$\mathbb {G}_m$$ $G_m$-equivariant algebraic geometry. 

Let K be a complete discrete valuation field with finite residue field of characteristic p, and let D be a central division algebra over K of finite index d. Thirty years ago, Suslin and Yufryakov showed that for all prime numbers ℓ different from p and integers j≥1 , there exists a "reduced norm" isomorphism of ℓ-adic K-groups Nrd_{D/K}:K_j(D,Z_ℓ)→K_j(K,Z_ℓ) such that d⋅Nrd_{D/K} is equal to the norm homomorphism N_{D/K}. The purpose of this paper is to prove the analogous result for the p-adic K-groups. To do so, we employ the cyclotomic trace map to topological cyclic homology and show that there exists a "reduced trace" equivalence Trd_{A/S}:THH(A|D,Z_p)→THH(S|K,Z_p) between two p-complete cyclotomic spectra associated with D and K, respectively. Interestingly, we show that if p divides d, then it is not possible to choose said equivalence such that, as maps of cyclotomic spectra, d⋅Trd_{A/S} agrees with the trace Tr_{A/S}, although this is possible as maps of spectra with T-action