|
Equivariant \(K\)-theory は, Segal の [Seg68] で定義された。 群の作用を持つ空間に対する \(K\)理論の拡張である。その
Introduction によると, 元々のアイデアは Atiyah に依るものらしいが。よって Atiyah と Segal の [AS69]
も基本的な文献である。
Segal の論文は, 位相空間の \(K\)理論と比較しつつその性質を調べている。
- equivariant vector bundle
- 位相群 \(G\) の作用を持つ空間 \(X\) に対し, \(K_G(X)\) の定義
- \(X\) が一点のとき \(K_G(X) \cong R(G)\)
Equivariant \(K\)-theory の面白さそして重要性は, この表現論との関係である。
Atiyah は [Ati61] で, 有限群 \(G\) に対し, その分類空間の \(K\)-theory \(K(BG)\) が \(G\) の representation ring \(R(G)\) の
augmentation ideal に関する completion と同型であることを証明した。その結果を compact Lie
群に拡張するために, equivariant \(K\)-theory が有効であることを示したのが, Atiyah と Segal の [AS69]
である。
Künneth theorem (Künneth spectral sequence) については, Rosenberg の [Ros13] の
Introduction と, そこに挙げられている文献を見ると現状が分かる。それによると, Hodgkin [Hod75] により Künneth
spectral sequence は構成されてはいるが, その収束性に問題があるため, まだまだ考えることはあるようである。
群 \(G\) が \(X\) に作用するときに, \(X^n\) には wreath product \(\Sigma _n\wr G\) が作用する。\(X^n\) の \(\Sigma _n\wr G\)-equivariant \(K\)-theory を調べているのは,
Weiqiang Wang [Wan00; Wan03] である。 その元になっているのは, Segal による \(K_{\Sigma _n}(X^n)\) に関する結果のようであるが。
Wang は, 系として orbifold Euler characteristic を計算している。
- 有限群 \(G\) と \(G\)-space \(X\) に対し \[ \mathcal {F}_G(X) = \bigoplus _{n} K_{\Sigma _n\wr G}(X^n)\otimes \bbC \] は, 自然な Hopf algebra の構造を持つ。
- \(\mathcal {F}_G(X)\) は \(K_G(X)\otimes \bbC \) で生成された free \(\lambda \)-ring である。
- \(\mathcal {F}_G(X)\) は, 無限次元 Heisenberg algebra の Fock space になっている。
Heisenberg algebra は, Nakajima の Hilbert scheme の研究 [Nak97] にも現れる。
その関係を説明しようという試みが, [Wan] である。McKay correspondence もあり興味深い。 他のコホモロジー論や \(\bbC \) を
tensor する前の構造, そして空間レベルの構造なども調べると面白そうである。
Connective \(K\)-theory の equivariant 版については, Greenlees の [Gre99] がある。
Twisted \(K\)-theory の equivariant version も考えられている。Freed と Hopkins と Teleman の
[FHT08; FHT11; FHT13] など。 Atiyah-Segal completion theorem の類似も [Lah12]
で考えられている。
Kichloo は, Kac-Moody group などのようなコンパクトではない群を扱うために, dominant \(K\)-group を
[Kit09] で定義している。
コンパクトではない群については, いくつか試みがある。Phillips の [Phi89] は, \(C^*\)-algebra を用いたものである。空
間レベルでの構 成としては, Pazzis の [Seg] がある。当然, 作用は proper なものを考えないといけないが。
Groupoid に関し equivariant なものを考えるためには, \(C^*\)-algebraを用いるのが一番良いのだろうか。 Emerson と
Meyer の [EM09] など。彼等の仕事については, Emerson の解説 [Eme11] がある。
- equivariant representable \(K\)-theory
彼等は groupoid-equivariant vector bundle やその同型類の Grothendieck group としてできる
equivariant \(K\)-theory も考えているが, 一般には \(C^*\)-algebra を用いて定義したものとは同型にならないようである。
Differential (smooth) version は, Ortiz が thesis [Ort] で考えている。 更に, それの twisted
version もある。Sati と Schreiber の [SSa; SSb] など。
- differential equivariant \(K\)-theory
\(G=\Z _2\) の場合は, 複素共役を考慮した Real version がある。
References
-
[AS69]
-
M. F. Atiyah and G. B. Segal. “Equivariant \(K\)-theory and
completion”. In: J. Differential Geometry 3 (1969), pp. 1–18. url:
http://projecteuclid.org/euclid.jdg/1214428815.
-
[Ati61]
-
M. F. Atiyah. “Characters and cohomology of finite groups”. In:
Inst. Hautes Études Sci. Publ. Math. 9 (1961), pp. 23–64. url:
http://www.numdam.org/item?id=PMIHES_1961__9__23_0.
-
[EM09]
-
Heath Emerson and Ralf Meyer. “Equivariant representable
K-theory”. In: J. Topol. 2.1 (2009), pp. 123–156. arXiv: 0710.1410.
url: http://dx.doi.org/10.1112/jtopol/jtp003.
-
[Eme11]
-
Heath Emerson. “Duality, correspondences and the Lefschetz map in
equivariant \(KK\)-theory: a survey”. In: Perspectives on noncommutative
geometry. Vol. 61. Fields Inst. Commun. Providence, RI: Amer.
Math. Soc., 2011, pp. 41–78. arXiv: 0904.4744.
-
[FHT08]
-
Daniel S. Freed, Michael J. Hopkins, and Constantin Teleman.
“Twisted equivariant \(K\)-theory with complex coefficients”. In: J.
Topol. 1.1 (2008), pp. 16–44. arXiv: math / 0206257. url:
http://dx.doi.org/10.1112/jtopol/jtm001.
-
[FHT11]
-
Daniel S. Freed, Michael J. Hopkins, and Constantin Teleman.
“Loop groups and twisted \(K\)-theory III”. In: Ann. of Math.
(2) 174.2 (2011), pp. 947–1007. arXiv: math / 0312155v3. url:
http://dx.doi.org/10.4007/annals.2011.174.2.5.
-
[FHT13]
-
Daniel S. Freed, Michael J. Hopkins, and Constantin Teleman.
“Loop groups and twisted \(K\)-theory II”. In: J. Amer. Math.
Soc. 26.3 (2013), pp. 595–644. arXiv: math / 0511232. url:
http://dx.doi.org/10.1090/S0894-0347-2013-00761-4.
-
[Gre99]
-
J. P. C. Greenlees. “Equivariant forms of
connective \(K\)-theory”. In: Topology 38.5 (1999), pp. 1075–1092. url:
https://doi.org/10.1016/S0040-9383(98)00047-0.
-
[Hod75]
-
Luke Hodgkin. “The equivariant Künneth theorem in \(K\)-theory”. In:
Topics in \(K\)-theory. Two independent contributions. Berlin: Springer,
1975, 1–101. Lecture Notes in Math., Vol. 496.
-
[Kit09]
-
Nitu Kitchloo. “Dominant \(K\)-theory
and integrable highest weight representations of Kac-Moody groups”.
In: Adv. Math. 221.4 (2009), pp. 1191–1226. arXiv: 0710.0167. url:
http://dx.doi.org/10.1016/j.aim.2009.02.006.
-
[Lah12]
-
Anssi Lahtinen. “The Atiyah-Segal completion theorem in twisted
\(K\)-theory”. In: Algebr. Geom. Topol. 12.4 (2012), pp. 1925–1940. arXiv:
0809.1273. url: https://doi.org/10.2140/agt.2012.12.1925.
-
[Nak97]
-
Hiraku Nakajima. “Heisenberg algebra and Hilbert schemes
of points on projective surfaces”. In: Ann. of Math. (2)
145.2 (1997), pp. 379–388. arXiv: alg - geom / 9507012. url:
http://dx.doi.org/10.2307/2951818.
-
[Ort]
-
Michael L. Ortiz. Differential Equivariant \(K\)-Theory. arXiv: 0905.
0476.
-
[Phi89]
-
N. Christopher Phillips. Equivariant \(K\)-theory for proper actions.
Vol. 178. Pitman Research Notes in Mathematics Series. Harlow:
Longman Scientific & Technical, 1989, pp. viii+182. isbn:
0-582-01990-7.
-
[Ros13]
-
Jonathan Rosenberg. “The Künneth theorem in equivariant \(K\)-theory
for actions of a cyclic group of order 2”. In: Algebr. Geom.
Topol. 13.2 (2013), pp. 1225–1241. arXiv: 1208 . 6355. url:
https://doi.org/10.2140/agt.2013.13.1225.
-
[Seg]
-
Clément de Seguins Pazzis. Equivariant \(K\)-theory for proper actions of
non-compact Lie groups. arXiv: 1011.0053.
-
[Seg68]
-
Graeme Segal. “Equivariant \(K\)-theory”. In:
Inst. Hautes Études Sci. Publ. Math. 34 (1968), pp. 129–151. url:
http://www.numdam.org/item?id=PMIHES_1968__34__129_0.
-
[SSa]
-
Hisham Sati and Urs Schreiber. Anyonic Defect Branes and
Conformal Blocks in Twisted Equivariant Differential (TED) \(K\)-theory.
arXiv: 2203.11838.
-
[SSb]
-
Hisham Sati and Urs Schreiber. Anyonic Topological Order in Twisted
Equivariant Differential (TED) K-Theory. arXiv: 2206.13563.
-
[Wan]
-
Weiqiang Wang. Hilbert schemes, wreath products, and the McKay
correspondence. arXiv: math/9912104.
-
[Wan00]
-
Weiqiang Wang.
“Equivariant \(K\)-theory, wreath products, and Heisenberg algebra”. In:
Duke Math. J. 103.1 (2000), pp. 1–23. arXiv: math/9907151. url:
http://dx.doi.org/10.1215/S0012-7094-00-10311-0.
-
[Wan03]
-
Weiqiang Wang. “Equivariant \(K\)-theory, generalized symmetric
products, and twisted Heisenberg algebra”. In: Comm. Math.
Phys. 234.1 (2003), pp. 101–127. arXiv: math / 0104168. url:
http://dx.doi.org/10.1007/s00220-002-0753-9.
|
