Unit of ring spectrum

環 \(R\) に対しては, その unit の成す群 \(R^{\times }=\GL _1(R)\) が定義されるが, 現代的な spectrum の category では, ring spectrum に対するその類似も定義できる。Rezk の [Rez06] や Ando, Blumberg, Gepner, Hopkins, Resk の [And+] をみるとよい。

それによると, 元々は May 達が [May77] で可換, すなわち \(E_{\infty }\)-ring spectrum の場合を考えたのが最初のようである。

  • ring spectrum \(R\) の space of units \(\GL _1(R)\)

\(\GL _1(R)\)は, 無限ループ空間として定義されるが, その元になっている spectrum を定義することもできる。

  • \(E_{\infty }\)-ring spectrum \(R\) の unit spectrum \(\mathit{gl}_1(R)\)

Ando らの motivation は, cohomology の twisting, そして, Thom spectrum や orentation を詳しく調べること, 特に \(\mathrm{tmf}\) (topological modular form) と \(\mathrm{MString}\) の関係を調べることのようである。その中で Lurie の \(\infty \)-category (quasicategory) が有効に使われているのは興味深い。

Equivariant版については, Santhanam の [San] で考えられている。

Complex \(K\)-theory の unit の operator algebra 的な model を Dadarlat と Penning が [DP] で構成している。

Spitzweck の [Spi] によると, nonconnective な ring spectrum の unit を考えるときには, “graded unit” を考えないといけないようである。

References

[And+]

Matthew Ando, Andrew J. Blumberg, David J. Gepner, Michael J. Hopkins, and Charles Rezk. Units of ring spectra and Thom spectra. arXiv: 0810.4535.

[DP]

Marius Dadarlat and Ulrich Pennig. Unit spectra of \(K\)-theory from strongly self-absorbing \(C^*\)-algebras. arXiv: 1306.2583.

[May77]

J. Peter May. \(E_{\infty }\) ring spaces and \(E_{\infty }\) ring spectra. Lecture Notes in Mathematics, Vol. 577. With contributions by Frank Quinn, Nigel Ray, and Jørgen Tornehave. Berlin: Springer-Verlag, 1977, p. 268.

[Rez06]

Charles Rezk. “The units of a ring spectrum and a logarithmic cohomology operation”. In: J. Amer. Math. Soc. 19.4 (2006), pp. 969–1014. arXiv: math/0407022. url: http://dx.doi.org/10.1090/S0894-0347-06-00521-2.

[San]

Rekha Santhanam. Units of equivariant ring spectra. arXiv: 0912.4346.

[Spi]

Markus Spitzweck. Another viewpoint on J-spaces. arXiv: 1012.1264.