Hermitian K-Theory or Higher Grothendieck-Witt Theory

Hermitian \(K\)-theory は, involution を持つ環に対し定義される algebraic \(K\)-theory の一種であり, Schlichting [Sch17] は, トポロジーでの \(KO\)-theory や Atiyah の Atiyah の \(KR\)-theory に対応するもの, と言っている。

最初に考えたのは, Karoubi だろうか。Berrick と Karoubi と Østvær [BKØ11] は, Karoubi の [Kar05] を参照している。 Calmès ら [Cal+b] は, Karoubi の更に古い論文 [Kar71a; Kar71c; Kar71b; Kar71d; Kar80] を参照している。

Schlichting の [Sch10b] のように higher Grothendieck-Witt group と呼ばれることも多い。

Panin と Walter [PW18] によると, Hermitian \(K\)-theory の scheme への拡張は, Schlichting [Sch04] による。 Schlichting [Sch10a] は, “duality structure” を持つ exact category の Hermitian \(K\)-theory も定義している。

また, stable \(\infty \)-category の Hermitian \(K\)-theory については, Calmès らによる一連の論文 [Cal+23; Cal+a; Cal+b] がある。

彼等は, [Cal+b] では, surgery theory で使われる \(L\)-theory と algebraic \(K\)-theory の homotopy \(C_{2}\)-orbit から成る homotopy fiber sequence の存在を示している。

References

[BKØ11]

A. J. Berrick, M. Karoubi, and P. A. Østvær. “Periodicity of Hermitian \(K\)-groups”. In: J. K-Theory 7.3 (2011), pp. 429–493. arXiv: 1101.2056. url: http://dx.doi.org/10.1017/is011004009jkt151.

[Cal+a]

Baptiste Calmès et al. Hermitian K-theory for stable \(\infty \)-categories II: Cobordism categories and additivity. arXiv: 2009.07224.

[Cal+b]

Baptiste Calmès et al. Hermitian K-theory for stable \(\infty \)-categories III: Grothendieck-Witt groups of rings. arXiv: 2009.07225.

[Cal+23]

Baptiste Calmès et al. “Hermitian K-theory for stable \(\infty \)-categories I: Foundations”. In: Selecta Math. (N.S.) 29.1 (2023), Paper No. 10, 269. arXiv: 2009.07223. url: https://doi.org/10.1007/s00029-022-00758-2.

[Kar05]

Max Karoubi. “Bott periodicity in topological, algebraic and Hermitian \(K\)-theory”. In: Handbook of \(K\)-theory. Vol. 1, 2. Berlin: Springer, 2005, pp. 111–137. url: http://dx.doi.org/10.1007/3-540-27855-9_4.

[Kar71a]

Max Karoubi. “Périodicité de la \(K\)-théorie hermitienne: le cas topologique”. In: C. R. Acad. Sci. Paris Sér. A-B 273 (1971), A599–A602.

[Kar71b]

Max Karoubi. “Périodicité de la \(K\)-théorie hermitienne. Les théorèmes fondamentaux”. In: C. R. Acad. Sci. Paris Sér. A-B 273 (1971), A840–A843.

[Kar71c]

Max Karoubi. “Périodicité de la \(K\)-théorie hermitienne. Les théories \({}_{\varepsilon }V^{n}\) et \({}_{\varepsilon }U^{n}\)”. In: C. R. Acad. Sci. Paris Sér. A-B 273 (1971), A802–A805.

[Kar71d]

Max Karoubi. “Périodicité de la \(K\)-théorie hermitienne. Théorie de Quillen et homologie du groupe orthogonal”. In: C. R. Acad. Sci. Paris Sér. A-B 273 (1971), A1030–A1033.

[Kar80]

Max Karoubi. “Le théorème fondamental de la \(K\)-théorie hermitienne”. In: Ann. of Math. (2) 112.2 (1980), pp. 259–282. url: http://dx.doi.org/10.2307/1971147.

[PW18]

I. Panin and C. Walter. “On the motivic commutative ring spectrum \(\mathbf {BO}\)”. In: Algebra i Analiz 30.6 (2018), pp. 43–96. arXiv: 1011.0650. url: https://doi.org/10.1090/spmj/1578.

[Sch04]

Marco Schlichting. “Hermitian \(K\)-theory on a theorem of Giffen”. In: \(K\)-Theory 32.3 (2004), pp. 253–267. url: http://dx.doi.org/10.1007/s10977-004-0929-5.

[Sch10a]

Marco Schlichting. “Hermitian \(K\)-theory of exact categories”. In: J. K-Theory 5.1 (2010), pp. 105–165. url: http://dx.doi.org/10.1017/is009010017jkt075.

[Sch10b]

Marco Schlichting. “The Mayer-Vietoris principle for Grothendieck-Witt groups of schemes”. In: Invent. Math. 179.2 (2010), pp. 349–433. arXiv: 0811.4632. url: http://dx.doi.org/10.1007/s00222-009-0219-1.

[Sch17]

Marco Schlichting. “Hermitian \(K\)-theory, derived equivalences and Karoubi’s fundamental theorem”. In: J. Pure Appl. Algebra 221.7 (2017), pp. 1729–1844. arXiv: 1209.0848. url: https://doi.org/10.1016/j.jpaa.2016.12.026.