|
コホモロジー作用素の基本は, 特異コホモロジーでの作用素, 特に Steenrod作用素である。ただし,
Steenrod作用素の構成には対称群のコホモロジーが必要になり結構面倒なので, まずはこれらの作用素の性質を公理として学ぶべきだろう。
- \(i\ge 0\) に対し \[ \Sq ^i : H^{n}(X;\Z /2\Z ) \longrightarrow H^{n+i}(X;\Z /2\Z ) \] の定義。
- 奇素数 \(p\)と\(i\ge 0\) に対し \[ P^i : H^{n}(X;\Z /p\Z ) \longrightarrow H^{n+2i(p-1)}(X;\Z /p\Z ) \] の定義。
- \(\Sq ^1\) は次の短完全列 \[ 0 \longrightarrow \Z /2\Z \longrightarrow \Z /4\Z \longrightarrow \Z /2\Z \longrightarrow 0 \] のBockstein作用素と一致する。
- unstablity
- Cartan formula
-
Adem relation
この中で, Adem relation は他の性質から証明できる。 射影空間のコホモロジーへの作用が分れば, 後は 組合せ論の問題だからである。
組合せ論的証明としては, Bullett と Macdonald の証明 [BM82] がある。Bisson と Tsemo [BT08] では, この
Bullett と Macdonald の論文と共に, 1977年の Bisson の thesis [Bis77] も参照されている。
これらの作用素の成す代数を Steenrod algebra という。
これらの性質を持つ作用素が存在することの証明, つまり構成にはいくつかの方法がある。 古典的には\(p\)次 対称群の (局所係数の)
コホモロジーを調べることにより定義できる。それについては, Steenrod と Epstein の [Ste62] と May の [May70]
を読むとよいだろう。
May は, [May70] の中で, 多重ループ空間の homology operation と統一して扱う試みをしている。
多重ループ空間と共通の枠組みで扱えるということは, operad が関係しているということである。 実際, Steenrod
operation の存在は singular cochain algebra \(\mathrm {Hom}(S_*(X),\F _{p})\) が高次 homotopy 可換性を持つ, つまり \(E_{\infty }\)-algebra
の構造を持つことに起因している。
そのような, \(E_{\infty }\)-operad の構成には様々なものがある。 最も古いのは, Barratt と Eccles の [BE74] だろうか, その後
Hinich と Schechtman の [HS87], や Justin Smith の [Smi94] などの構成が得られている。 最近でも,
Sánchez Guevara [San] によるものがある。
\(E_{\infty }\)-algebra の構造から, その cohomology 上に Steerod operation が構成されることについては,
Kriz と May の [KM95], Chataur と Livernet の [CL05], Mandell の [Man06]
などを見るとよい。
他には, 群のコホモロジーに対し純粋に代数的に定義されるもの [Ben98] もある。 Kan-Thurston の定理 [KT76] より,
任意の位相空間のコホモロジーは, 群のコホモロジーとして実現できるから, これでも Steenrod作用素の構成になっている。
また, R.M.W. Wood による多項式環上の微分作用素を用いた扱い [Woo97] もある。
Wood は, [Woo98] で Steenrod operation に関する問題をまとめている。 現在どこまで解決されているのだろう。
Steenrod作用素の作用を調べると, CW複体の胞体がどのような写像で張りついているか, わかる場合がある。例えば以下のような場合である。
- \(X\)が\(n\)次元と\((n-1)\)次元に胞体を持つ\(2\)-cell complexで, \(\mod 2\) cohomologyで\(\Sq ^1x_{n-1}=x_n\)であるなら \[ X_{(2)} \simeq S^{n-1}\cup _2 CS^{n-1} \]
- \(X\)が\(n\)次元と\((n-2)\)次元に胞体を持つ\(2\)-cell complexで, \(\mod 2\) cohomologyで\(\Sq ^2x_{n-2}=x_n\)であるなら \[ X_{(2)} \simeq S^{n-2}\cup _{\eta _{n-1}} CS^{n-1} \]
- \(X\)が\(n\)次元と\((n-4)\)次元に胞体を持つ\(2\)-cell complexで, \(\mod 2\) cohomologyで\(\Sq ^4x_{n-4}=x_n\)であるなら \[ X_{(2)} \simeq S^{n-4}\cup _{\nu _{n-1}} CS^{n-1} \]
- \(X\)が\(n\)次元と\((n-8)\)次元に胞体を持つ\(2\)-cell complexで, \(\mod 2\) cohomologyで\(\Sq ^8x_{n-8}=x_n\)であるなら \[ X_{(2)} \simeq S^{n-8}\cup _{\sigma _{n-1}} CS^{n-1} \]
- \(p\)を奇素数とする。\(X\)が\(n\)次元と\((n-2p+2)\)次元に胞体を持つ \(2\)-cell complexで, \(\mod p\) cohomologyで\(P^1x_{n-2p+2}=x_n\)であるなら \[ X_{(p)} \simeq S^{n-2p+2}\cup _{\alpha _1} CS^{n-1} \]
-
\(p\)を奇素数とする。\(X\)が\(n\), \(n-1\), \(n-2p+1\), \(n-2p\)次元に一つづ つ胞体を持つCW complexで, \(\mod p\) cohomologyで
\begin {eqnarray*} \beta x_{n-2p} & = & x_{n-2p+1} \\ P^1x_{n-2p+1} & = & x_{n-1} \\ \beta x_{n-1} & = & x_n \end {eqnarray*}
であるなら \[ X_{(p)} \simeq P^{n-2p+1}(p)\cup _{v_1} CP^{n-1}(p) \] ただし, \(P^{n-1}(p)\) は \((n-1)\)次元の \(\mod p\) Moore space である。
もちろん, Steenrod operation だけで全ての胞体の接着写像が detect できるわけではない。一般には, secondary
あるいはより高次の operationを使わないといけない。例えば, 奇素数では \(\beta _1\) がそうである。
Grassmann 多様体のコホモロジー上の Steenrod 作用素の作用は, 組み合せ論的な方法で表わされる。 [Len98]
Steenrodの平方作用素 (\(\Sq ^i\)) は, 最初 cup-\(i\) product の特別な場合として定義された。現在では, cup-\(i\) product
が使われることはあまりないが, Steenrod のアイデアの起源を知る上で一度は勉強しておいても損はないだろう。
-
cup-\(i\) product の定義と基本的な性質
Steenrod の論文 [Ste47] は昔の言葉で書いてあるので, ちょっと読みづらい。Dieudonné の本 [Die09]
を読むとよいだろう。
References
-
[BE74]
-
M. G.
Barratt and Peter J. Eccles. “\(\Gamma ^{+}\)-structures. I. A free group functor for
stable homotopy theory”. In: Topology 13 (1974), pp. 25–45. url:
https://doi.org/10.1016/0040-9383(74)90036-6.
-
[Ben98]
-
D. J. Benson. Representations and cohomology. II. Second. Vol. 31.
Cambridge Studies in Advanced Mathematics. Cohomology of
groups and modules. Cambridge: Cambridge University Press, 1998,
pp. xii+279. isbn: 0-521-63652-3.
-
[Bis77]
-
Terrence Paul Bisson. DIVIDED SEQUENCES AND BIALGEBRAS
OF HOMOLOGY OPERATIONS. Thesis (Ph.D.)–Duke University.
ProQuest LLC, Ann Arbor, MI, 1977, p. 127.
-
[BM82]
-
S. R. Bullett and I. G. Macdonald.
“On the Adem relations”. In: Topology 21.3 (1982), pp. 329–332. url:
http://dx.doi.org/10.1016/0040-9383(82)90015-5.
-
[BT08]
-
Terrence Bisson and Aristide Tsemo. “Extended powers and Steenrod
operations in algebraic geometry”. In: Homology Homotopy Appl. 10.3
(2008), pp. 85–100. arXiv: 0708 . 0571. url:
http://projecteuclid.org/euclid.hha/1251832468.
-
[CL05]
-
David Chataur and Muriel Livernet. “Adem-Cartan operads”. In:
Comm. Algebra 33.11 (2005), pp. 4337–4360. arXiv: math/0209363.
url: https://doi.org/10.1080/00927870500243205.
-
[Die09]
-
Jean Dieudonné. A history of algebraic and differential topology
1900–1960. Modern Birkhäuser Classics. Reprint of the 1989 edition
[MR0995842]. Birkhäuser Boston,
Ltd., Boston, MA, 2009, pp. xxii+648. isbn: 978-0-8176-4906-7. url:
https://doi.org/10.1007/978-0-8176-4907-4.
-
[HS87]
-
V. A. Hinich and V. V. Schechtman. “On homotopy limit of
homotopy algebras”. In: \(K\)-theory, arithmetic and geometry (Moscow,
1984–1986). Vol. 1289. Lecture Notes in Math. Berlin: Springer,
1987, pp. 240–264. url: http://dx.doi.org/10.1007/BFb0078370.
-
[KM95]
-
Igor Křı́ž and J. P. May. “Operads, algebras, modules and motives”.
In: Astérisque 233 (1995), iv+145pp.
-
[KT76]
-
D. M. Kan and W. P. Thurston. “Every connected space has the
homology of a \(K(\pi ,1)\)”. In: Topology 15.3 (1976), pp. 253–258.
-
[Len98]
-
Cristian Lenart. “The combinatorics of Steenrod operations on
the cohomology of Grassmannians”. In: Adv. Math. 136.2 (1998),
pp. 251–283. url: http://dx.doi.org/10.1006/aima.1998.1731.
-
[Man06]
-
Michael A. Mandell. “Cochains and homotopy type”. In: Publ. Math.
Inst. Hautes Études Sci. 103 (2006), pp. 213–246. arXiv: math/
0311016. url: https://doi.org/10.1007/s10240-006-0037-6.
-
[May70]
-
J. Peter May. “A general algebraic approach to Steenrod operations”.
In: The Steenrod Algebra and its Applications (Proc. Conf. to
Celebrate N. E. Steenrod’s Sixtieth Birthday, Battelle Memorial Inst.,
Columbus, Ohio, 1970). Lecture Notes in Mathematics, Vol. 168.
Berlin: Springer, 1970, pp. 153–231.
-
[San]
-
Jesus Sanchez-Guevara. \(E_{\infty }\) coalgebra structure on chain complexes with
coefficients in \(\mathbb {Z}\). arXiv: 2004.06652.
-
[Smi94]
-
Justin R. Smith. “Iterating the cobar construction”. In: Mem. Amer.
Math. Soc. 109.524 (1994), pp. viii+141. url:
https://doi.org/10.1090/memo/0524.
-
[Ste47]
-
N. E. Steenrod. “Products of cocycles and extensions of mappings”.
In: Ann. of Math. (2) 48 (1947), pp. 290–320. url:
https://doi.org/10.2307/1969172.
-
[Ste62]
-
N. E. Steenrod. Cohomology operations. Lectures by N. E. Steenrod
written and revised by D. B. A. Epstein. Annals of Mathematics
Studies, No. 50. Princeton, N.J.: Princeton University Press, 1962,
pp. vii+139.
-
[Woo97]
-
R. M. W. Wood. “Differential operators and the Steenrod algebra”.
In: Proc. London Math. Soc. (3) 75.1 (1997), pp. 194–220. url:
http://dx.doi.org/10.1112/S0024611597000324.
-
[Woo98]
-
R. M. W. Wood. “Problems in the Steenrod
algebra”. In: Bull. London Math. Soc. 30.5 (1998), pp. 449–517. url:
https://doi.org/10.1112/S002460939800486X.
|
