Coalgebraic formal curve spectra and spectral jet spaces
Coalgebraic formal curve spectra and spectral jet spaces
We import into homotopy theory the algebro-geometric construction of the cotangent space of a geometric point on a scheme. Specializing to the category of spectra local to a Morava $K$-theory of height $d$, we show that this can be used to produce a choice-free model of the determinantal sphere as …