nLab
spectral super-scheme

Contents

Context

Super-Algebra and Super-Geometry

Higher geometry

Contents

Idea

The concept of spectral super-scheme is supposed to be the refinement of the concept of super-scheme as one passes to spectral geometry in the sense of derived algebraic geometry over E-infinity rings (E-infinity geometry).

Definition

The following is an argument for a good definition of spectral supergeometry. This was originally motivated from the observation in Kapranov 13 and uses results due to Rezk 09 and Sagave-Schlichtkrull 11.

Observe that

  1. E-∞ geometry is already in itself a higher geometric version of \mathbb{Z}-graded supergeometry (in the sense discussed at geometry of physics – superalgebra).

    At the level of homotopy groups this is the following basic fact:

    For EE a homotopy commutative ring spectrum, its stable homotopy groups π (E)\pi_\bullet(E) inherit the structure of a \mathbb{Z}-graded super-commutative ring (according to this). See at Introduction to Stable homotopy theory in the section 1-2 Homotopy commutative ring spectra this proposition.

    But more is true: the E E_\infty-analog of the integers \mathbb{Z} is the sphere spectrum 𝕊\mathbb{S}, and every E-infinity ring EE is canonically 𝕊\mathbb{S}-graded (Sagave-Schlichtkrull 11, theorem 1.7-18).

    So E-∞ geometry in itself is already a categorified/homotopified version of supergeometry, but of \mathbb{Z}-graded supergeometry, not of the proper /2\mathbb{Z}/2-graded supergeometry.

    (That grading over the sphere spectrum is closely related to superalgebra had been highlighted in Kapranov 13, but the issue of the difference between homotopified \mathbb{Z}-grading compared to homotopified /2\mathbb{Z}/2-grading had been left open.)

  2. But ordinary /2\mathbb{Z}/2-graded supercommutative superalgebra is equivalently \mathbb{Z}-graded supercommutative superalgebra over the free even periodic \mathbb{Z}-graded supercommutative superalgebra (this prop.).

  3. In view of the first point, the second point has an evident analog in E-∞ geometry: The higher/derived analog of an even periodic \mathbb{Z}-graded commutative algebra is an E-infinity algebra over an even periodic ring spectrum.

    That E-infinity algebras over even periodic ring spectra are usefully regarded from the point of view of supercommutative superalgebra was highlighted in Rezk 09, section 2.

Hence it makes sense to say:

Definition. Spectral/E E_\infty super-geometry is simply the E-∞ geometry over even periodic ring spectra.

Examples

Spectral superpoint

The ordinary superpoint over some field kk is the spectrum of a commutative ring of the graded symmetric algebra on a single odd generator (“graded ring of dual numbers”)

𝔸 k 0|1Spec(Sym k(k[1])) \mathbb{A}_k^{0 \vert 1} \;\simeq\; Spec( \,Sym_k (k[1])\, )

Accordingly, for RR an even periodic ring spectrum, then the spectral superpoint R 0|1R^{0 \vert 1} should be the spectral scheme given by the spectral symmetric algebra on the suspension spectrum of RR:

R 0|1 Spec(Sym R(ΣR)) Spec(R(nBΣ(n) τ n) +) Spec(RSym 𝕊(Σ𝕊)). \begin{aligned} R^{0 \vert 1} &\coloneqq Spec \left( Sym_R (\Sigma R) \right) \\ & \simeq Spec\left( R \wedge \left( \underset{n \in \mathbb{N}}{\coprod} B \Sigma(n)^{\tau_n} \right)_+ \right) \\ & \simeq Spec\left( R \wedge Sym_{\mathbb{S}}(\Sigma \mathbb{S}) \right) \end{aligned} \,.

where on the right we have the Thom space of the vector bundle τ n\tau_n associated to the Σ(n)\Sigma(n)-universal principal bundle via the canonical action of Σ(n)\Sigma(n) on n\mathbb{R}^n (see also at symmetric group – Classifying space and Thom space).

References

The proposal for spectral super-geometry above invokes observations from

The proposal above was originally motivated from the discussion of the sphere spectrum in relation to super algebra highlighted in

Last revised on January 13, 2019 at 06:22:36. See the history of this page for a list of all contributions to it.