代数幾何学と代数的トポロジーで平行した議論が行なわれてきたことは, 多くの人が気がついていた。 例えば, Poincaré
のホモロジーのアイデアを実現する方法として, 一方では algebraic cycle の理論が, 他方では singular homology
が開発されてきた。 そして, そのハイブリッドのような理論として, Lawson homology のようなものも作られた。
当然, より直接の関係として, 代数多様体や scheme のホモトピー 論を構築することも模索されてきた。 それを実現する一つの方法として,
Voevodsky の仕事がある。主要な論文や解説としては, 以下のものがある:
- Morel と Voevodsky の [MV99] が基礎となる文献である。 その続編が [Mor12] である, と Morel
は書いている。 ただ, これらをいきなり読み始めるのは無理がある。
- まず, Voevodsky による ICM 1998 での address [Voe98] がある。それによると, Suslin との
singular homology の類似の構成 [SV96] ができたので, そのアイデアがうまくいくと確信したようである。
- Voevodsky のアイデアをまとめたものとしては Princeton から出ている本 [VSF00] があるが, それよりも
Clay から出ている Voevodskyの lecture note (を Mazza と Weibelがまとめたもの)
[MVW06] の方が読みやすい。
- Weibel の [Wei04] の冒頭にある図は, smooth scheme の category から, Voevodsky の
triangulated category of motives に至るまでのルートが示されていて, 全体像を把握するのに役に立つ。
- Levine による解説 [Lev08a] では, two parallel world として,
代数的トポロジーと代数幾何学の比較が行なわれている。
- Morel による ICM 2006 での address [Mor06] でも,
Brouwer degree, 基本群による被覆の分類, Hurewicz theorem, vector bundle の分類などの,
代数的トポロジーの類似について, 述べられている。
- Panin と Pimenov と Röndigs の [PPR09b] の半分以上は Appendixとなっていて, motivic
homotopy theory が解説してある。
- Asok による website もある。
- Dundas らによる UniversiText [Dun+07] があることを, 東京都市大の中井さんに教えてもらった。
- Beilinson と Vologodsky [BV08] は, dg category を使って解説している。
- Borghesi の解説 [Bor] は, 名古屋工業大学での講義をまとめたものである。
Motivic homotopy theory とは motif (英語では motive) のホモトピー論という意味であり,
motif とは, Grothendieck が, 彼が中心となって構成した様々な代数幾何学での cohomology theory
の共通の元となるようなもののことである。 Grothendieck は, Abelian category として構成することを考えていたようであるが,
代数的トポロジーを勉強したことがある人なら, generalized cohomology theory の元となっているのが stable
homotopy category という triangulated category であることから, triangulated category
として構成しようと考えるのが自然と思うだろう。 更に, stable homotopy category は Abelian category の
derived category にはなっていない triangulated category なので, Abelian category を経由ぜずに直接
triangulated category を定義すべきである, ということに気がつくはずである。
その方法としては, 当然代数的トポロジーでの stable homotopy category の構成を真似すべきだろう。
そしてそれに成功したのが Voevodsky だった。
もちろん, Grothendieck のアイデアを実現する方法には, これ以外にもあるかもしれない。Voevodsky (と Morel)
が構築した category では, 位相空間のホモトピーの定義の \([0,1]\) の役割を affine line \(\mathbb{A}^1\) が果しているので, \(\mathbb{A}^1\)-homotopy theory
と呼ぶのが正確だろう。その圏の構成としては, Dugger による smooth scheme の category から生成される universal
model category としての構成 [Dug01] もある。
-
\(\mathbb{A}^1\)-homotopy
その motivation から, まず重要なのは 各種 cohomology theory がその圏の上で表現できることである。Algebraic
\(K\)-theory も表現できる。
Motivic cohomology については, Voevodsky の lecture note が Weibel のホームページから download
できる。それを表現する Eilenberg-Mac Lane spectrum の類似は [Voe98] で定義されている。Röndigs と
Østvær [RØ08]は, その上の module category について調べている。それにより mixed Tate motif の成す
category のホモトピー圏としての記述も得ている。
- motivic Eilenberg-Mac Lane spectrum
Voevodsky の理論では, 一般コホモロジー, 特に complex cobordism の類似 \(\mathrm{MGL}\) が考えられることから, Adams の本
[Ada74] に解説されている手順で Poincaré duality などを証明しようというのは, 自然なアイデアである。それを実現したのが,
Panin と Yagunov の [PY] である。Panin は, 共同研究者と共に, 他の complex cobordism
の持つ性質の類似を考えている。Complex oriented cohomology theory の中で, universal であるという性質については
[PPR08] で, Conner-Floyd の同型については [PPR09a] で, その類似を証明している。Naumann
と Østvær と Spitzweck の [NØS; NSØ] では, Landweber exact functor theorem
の類似が考えられている。
- motivic Landweber exact functor theorem
\(\mathrm{MGL}\) を用いて定義される一般ホモロジー論を, 幾何学的に “scheme の cobordism” を用いて構成しょうというのは,
自然なアイデアである。それが Levine と Morel の algebraic cobordism [LM01a; LM01b]である。解説としては,
Levin の ICM 2002 での講演録 [Lev02] がある。Levine と Pandharipande の [LP09] では,
別の構成方法が述べられている。
Zainoulline [Zai]によると, Rost の degree formula の一般形は, Levine と Morel により algebraic
cobordism の導入により得られた。 Zainoulline 自身は, その一般的な degree formula からconnective
\(K\)-theory に関する degree formula を得て, imcompressibilityに関する応用を得ている。 Connective \(K\)-theory
のように, 従来代数的トポロジーでしか使えなかった道具が使えるようになるというのは, 画期的である。
Algebraic cobordism での pullback を考えるときに smooth scheme だけでは間に合わないので, derived
scheme を考えることを提案しているのは, Lowrey と Schürg [LS] である。
Algebraic cobordism の étale topological version を考えているのが Quick の [Qui]
である。例えば, étale cohomology から出発する Atiyah-Hirzebruch spectral sequence
が構成されている。
Algebraic cobordism の equivariant 版は, Heller と Malagón-López [HM]
により導入された。
- equivariant algebraic cobordism
Scheme の \(K\)-theory については, Voevodsky の仕事以前に Quillen により定義されていた。代数多様体の
一般コホモロジーについては, Gillet と Soulé の [GS99] によるものがあり, その意味で algebraic \(K\)-theory
は一般コホモロジー論になっている。Feliu の [Fel] は, Chern character などを, Gillet と Soulé
の意味の一般コホモロジーの間の natural transformation として解釈しようという試みである。
Chern character と言えば, Atiyah-Hirzebruch spectral sequence であるが, Chow group
と結びつける Atiyah-Hirzebruch spectral sequence も知られている。
Algebraic vector bundle の 無限次元 Grassmann多様体による分類については, Morel の [Mor12]
で扱われている。
Atiyah-Hirzebruch spectral sequence を代数的トポロジーで定義するときは, CW複体の skeletal
filtration に cohomology theory を apply してできる exact couple からできる spectral sequence
として構成するのが普通であるが, その代数幾何での類似として, Levine が [Lev08b] で homotopy coniveau tower
という概念を導入している。
Dugger と Isaksen は [DI05b] で cell structure を考えている。
Tubular neighborhood の存在については, Levine の [Lev07] を見るとよい。
代数的トポロジーでの complex oriented cohomology theory の類似については oriented cohomology
theory という名前で導入されている。 Panin と Smirnov による, K-theory Preprint Archives の一連の
preprint [PS; Pan] がある。 Panin の論文 [Pan03; Pan09] もある。 Equivariant 版については, Calmès
と Zainoullineと Zhong の [CZZ] を見るとよい。
- oriented cohomology theory
- equivariant oriented cohomology theory
安定ホモトピー論は, 現在では chromatic な視点から見るのが常識であるが, stable motivic homotopy
theory についても periodicity が考えられている。Gheorghe [Ghe] は, Andrews の preprint
を参照している。
このような stable homotopy theory の類似だけでなく, unstable homotopy theory
の類似も考えるべきである。実際, Asok と Wickelgren と Williams [AWW] が James construction
の類似を導入し, それを用いて EHP sequence を考えている。 それ以前に球面の場合を考えた [WW] もあるが。
- unstable \(\mathbb{A}^1\)-homotopy theory
Motivic homotopy theory の応用としては, Dugger と Isaksen の sums of squares の問題への応用
[DI07; DI05a; DI08] がある。
Holmstrom と Scholbach [HS] は, motivic cohomology の Arakerov 版を考えている。
群作用を持つ場合も何人によって考えられている。Hoyois [Hoy17] によると, 最初に考えたのはやはり Voevodsky
らしい。ただし, Voevodsky の書いたものではなく, Deligne の [Del09] が参照されている。
- equivariant motivic homotopy theory
その後, 様々な人により研究されている。 Deshpande [Des] が equivariant algebraic cobordism を定義し,
Heller, Voineagu, Østvær [HVØ] が Bredon型の cohomology theory を導入している。
よりホモトピー論的なアプローチとしては, Herrmann [Her] が model structure を 導入して \(G\)-equivariant
motivic (stable と unstable) homotopy category を定義し調べている。 Hu と Kriz と Ormsby の
[HKO11], Carlsson と Joshua の [CJ], そして Heller と Krishna と Østvær の [HKØ15]
もある。
Hoyois [Hoy17] は, stable equivariant motivic homotopy theory で Grothendieck の
six operations の類似を考えている。
可換環の代りに commutative ring spectrum を用いた “spectral 版” が Khan [Kha]
により構築されている。Cisinski と Khan による続編 [CK]では, Morel-Voevodsky の理論と同値であることが示されている。
Friedlander-Walker [FW01] の意味での semi-topological version も Krishna と Park の
[KP15] で考えられている。
非可換版については, Robalo の [Roba; Robb; Rob15] などがある。 Robalo は, \((\infty ,1)\)-category
の枠組みを使っている。その中で Morel-Voevodsky の motivic stable homotopy category の
\((\infty ,1)\)-category version も与えている。 そして, その symmetric monoidal \((\infty ,1)\)-category としての特徴付けも
与えている。
References
-
[Ada74]
-
J. F. Adams. Stable homotopy and generalised homology. Chicago,
Ill.: University of Chicago Press, 1974, p. x 373.
-
[AWW]
-
Aravind Asok, Kirsten Wickelgren, and Ben Williams. The
simplicial suspension sequence in \(\mathbb{A}^1\)-homotopy. arXiv: 1507.05152.
-
[Bor]
-
Simone Borghesi. Cohomology operations and algebraic geometry.
arXiv: 0903.4360.
-
[BV08]
-
Alexander Beilinson and Vadim
Vologodsky. “A DG guide to Voevodsky’s motives”. In: Geom.
Funct. Anal. 17.6 (2008), pp. 1709–1787. arXiv: math/0604004. url:
http://dx.doi.org/10.1007/s00039-007-0644-5.
-
[CJ]
-
Gunnar Carlsson and Roy Joshua. Equivariant motivic homotopy
theory. arXiv: 1404.1597.
-
[CK]
-
Denis-Charles Cisinski and Adeel A. Khan. \(\mathbb{A}^1\)-homotopy invariance
in spectral algebraic geometry. arXiv: 1705.03340.
-
[CZZ]
-
Baptiste Calmés, Kirill Zainoulline, and Changlong Zhong.
Equivariant oriented cohomology of flag varieties. arXiv: 1409.7111.
-
[Del09]
-
Pierre Deligne. “Voevodsky’s
lectures on motivic cohomology 2000/2001”. In: Algebraic topology.
Vol. 4. Abel Symp. Springer, Berlin, 2009, pp. 355–409. url:
https://doi.org/10.1007/978-3-642-01200-6_12.
-
[Des]
-
Dinesh Deshpande. Algebraic Cobordism of Classifying Spaces.
arXiv: 0907.4437.
-
[DI05a]
-
Daniel Dugger and Daniel C. Isaksen. “Algebraic \(K\)-theory and
sums-of-squares formulas”. In: Doc. Math. 10 (2005), pp. 357–366.
arXiv: math/0407226.
-
[DI05b]
-
Daniel Dugger and Daniel C. Isaksen. “Motivic cell structures”. In:
Algebr. Geom. Topol. 5 (2005), pp. 615–652. arXiv: math/0310190.
url: http://dx.doi.org/10.2140/agt.2005.5.615.
-
[DI07]
-
Daniel Dugger and Daniel C. Isaksen. “The Hopf condition
for bilinear forms over arbitrary fields”. In: Ann. of Math.
(2) 165.3 (2007), pp. 943–964. arXiv: math/0309197. url:
http://dx.doi.org/10.4007/annals.2007.165.943.
-
[DI08]
-
Daniel Dugger and Daniel C. Isaksen. “Etale homotopy and
sums-of-squares formulas”. In: Math. Proc. Cambridge Philos.
Soc. 145.1 (2008), pp. 1–25. arXiv: math/0609301. url:
http://dx.doi.org/10.1017/S0305004108001205.
-
[Dug01]
-
Daniel Dugger. “Universal homotopy theories”. In:
Adv. Math. 164.1 (2001), pp. 144–176. arXiv: math/0007070. url:
http://dx.doi.org/10.1006/aima.2001.2014.
-
[Dun+07]
-
B. I.
Dundas, M. Levine, P. A. Østvær, O. Röndigs, and V. Voevodsky.
Motivic homotopy theory. Universitext. Lectures from the Summer
School held in Nordfjordeid, August 2002. Springer-Verlag, Berlin,
2007, pp. x+221. isbn: 978-3-540-45895-1; 3-540-45895-6. url:
http://dx.doi.org/10.1007/978-3-540-45897-5.
-
[Fel]
-
Elisenda Feliu. On uniqueness of characteristic classes. arXiv:
math/0606244.
-
[FW01]
-
Eric M. Friedlander and Mark E. Walker. “Comparing \(K\)-theories for
complex varieties”. In: Amer. J. Math. 123.5 (2001), pp. 779–810.
url: https://doi.org/10.1353/ajm.2001.0032.
-
[Ghe]
-
Bogdan Gheorghe. Exotic Motivic Periodicities. arXiv: 1709.00915.
-
[GS99]
-
H. Gillet and C. Soulé. “Filtrations on higher algebraic \(K\)-theory”. In:
Algebraic \(K\)-theory (Seattle, WA, 1997). Vol. 67. Proc. Sympos. Pure
Math. Providence, RI: Amer. Math. Soc., 1999, pp. 89–148.
-
[Her]
-
Philip Herrmann. Equivariant Motivic Homotopy Theory. arXiv:
1312.0241.
-
[HKO11]
-
P. Hu, I. Kriz, and K. Ormsby. “The homotopy limit problem
for Hermitian K-theory, equivariant motivic homotopy theory and
motivic Real cobordism”. In: Adv. Math. 228.1 (2011), pp. 434–480.
url: http://dx.doi.org/10.1016/j.aim.2011.05.019.
-
[HKØ15]
-
Jeremiah Heller, Amalendu Krishna, and Paul Arne Østvær.
“Motivic homotopy theory of group scheme actions”. In: J.
Topol. 8.4 (2015), pp. 1202–1236. arXiv: 1408.2348. url:
https://doi.org/10.1112/jtopol/jtv030.
-
[HM]
-
Jeremiah Heller and Jose Malagon-Lopez. Equivariant Algebraic
Cobordism. arXiv: 1006.5509.
-
[Hoy17]
-
Marc Hoyois. “The six operations in equivariant motivic homotopy
theory”. In: Adv. Math. 305 (2017), pp. 197–279. arXiv: 1509.02145.
url: https://doi.org/10.1016/j.aim.2016.09.031.
-
[HS]
-
Andreas Holmstrom and Jakob Scholbach. Arakelov motivic
cohomology I. arXiv: 1012.2523.
-
[HVØ]
-
Jeremiah Heller, Mircea Voineagu, and Paul Arne Østvær.
Equivariant cycles and cancellation for motivic cohomology. arXiv:
1304.5867.
-
[Kha]
-
Adeel A. Khan. The Morel-Voevodsky localization theorem in
spectral algebraic geometry. arXiv: 1610.06871.
-
[KP15]
-
Amalendu Krishna and Jinhyun Park. “Semitopologization in
motivic homotopy theory and applications”. In: Algebr. Geom.
Topol. 15.2 (2015), pp. 823–861. arXiv: 1302.2218. url:
https://doi.org/10.2140/agt.2015.15.823.
-
[Lev02]
-
M. Levine. “Algebraic cobordism”. In: Proceedings of the
International Congress of Mathematicians, Vol. II (Beijing, 2002).
Beijing: Higher Ed. Press, 2002, pp. 57–66. arXiv: math/0304206.
-
[Lev07]
-
Marc Levine. “Motivic tubular neighborhoods”. In: Doc. Math. 12
(2007), pp. 71–146. arXiv: math/0509463.
-
[Lev08a]
-
Marc Levine. “Motivic
homotopy theory”. In: Milan J. Math. 76 (2008), pp. 165–199. url:
http://dx.doi.org/10.1007/s00032-008-0088-x.
-
[Lev08b]
-
Marc Levine. “The homotopy coniveau
tower”. In: J. Topol. 1.1 (2008), pp. 217–267. arXiv: math/0510334.
url: http://dx.doi.org/10.1112/jtopol/jtm004.
-
[LM01a]
-
Marc Levine and Fabien Morel. “Cobordisme algébrique. I”. In: C.
R. Acad. Sci. Paris Sér. I Math. 332.8 (2001), pp. 723–728. url:
http://dx.doi.org/10.1016/S0764-4442(01)01832-8.
-
[LM01b]
-
Marc Levine and Fabien Morel. “Cobordisme algébrique. II”. In: C.
R. Acad. Sci. Paris Sér. I Math. 332.9 (2001), pp. 815–820. url:
http://dx.doi.org/10.1016/S0764-4442(01)01833-X.
-
[LP09]
-
M. Levine and R. Pandharipande. “Algebraic cobordism revisited”.
In: Invent. Math. 176.1 (2009), pp. 63–130. arXiv: math/0605196.
url: http://dx.doi.org/10.1007/s00222-008-0160-8.
-
[LS]
-
Parker Lowrey and Timo Schürg. Derived algebraic cobordism.
arXiv: 1211.7023.
-
[Mor06]
-
Fabien Morel. “\(\mathbb{A}^1\)-algebraic topology”. In: International Congress
of Mathematicians. Vol. II. Eur. Math. Soc., Zürich, 2006,
pp. 1035–1059.
-
[Mor12]
-
Fabien Morel. \(\mathbb{A}^1\)-algebraic topology over a field. Vol. 2052. Lecture
Notes in Mathematics. Heidelberg: Springer, 2012, pp. x+259. isbn:
978-3-642-29513-3. url:
http://dx.doi.org/10.1007/978-3-642-29514-0.
-
[MV99]
-
Fabien
Morel and Vladimir Voevodsky. “\(\mathbf{A}^1\)-homotopy theory of schemes”. In:
Inst. Hautes Études Sci. Publ. Math. 90 (1999), 45–143 (2001). url:
http://www.numdam.org/item?id=PMIHES_1999__90__45_0.
-
[MVW06]
-
Carlo Mazza, Vladimir Voevodsky, and
Charles Weibel. Lecture notes on motivic cohomology. Vol. 2. Clay
Mathematics Monographs. Providence, RI: American Mathematical
Society, 2006, pp. xiv+216. isbn: 978-0-8218-3847-1; 0-8218-3847-4.
-
[NØS]
-
Niko Naumann, Paul Arne Østvær, and Markus Spitzweck. Motivic
Landweber Exactness. arXiv: 0806.0274.
-
[NSØ]
-
Niko Naumann, Markus Spitzweck, and Paul Arne Østvær. Chern
classes, \(K\)-theory and Landweber exactness over nonregular base
schemes. arXiv: 0809.0267.
-
[Pan]
-
Ivan Panin. Push-forwards in oriented cohomology theories of
algebraic varieties II. K-theory Preprint Archive 619. url:
http://www.math.uiuc.edu/K-theory/0619/.
-
[Pan03]
-
I. Panin. “Oriented cohomology theories of algebraic varieties”.
In: \(K\)-Theory 30.3 (2003). Special issue in honor of Hyman
Bass on his seventieth birthday. Part III, pp. 265–314. url:
http://dx.doi.org/10.1023/B:KTHE.0000019788.33790.cb.
-
[Pan09]
-
Ivan Panin. “Oriented cohomology theories of algebraic varieties. II
(After I. Panin and A.
Smirnov)”. In: Homology Homotopy Appl. 11.1 (2009), pp. 349–405.
url: http://projecteuclid.org/euclid.hha/1251832570.
-
[PPR08]
-
Ivan Panin, Konstantin Pimenov, and
Oliver Röndigs. “A universality theorem for Voevodsky’s algebraic
cobordism spectrum”. In: Homology, Homotopy Appl. 10.2 (2008),
pp. 211–226. arXiv: 0709.4116.
-
[PPR09a]
-
Ivan Panin, Konstantin Pimenov, and Oliver Röndigs. “On the
relation of Voevodsky’s algebraic cobordism to Quillen’s \(K\)-theory”.
In: Invent. Math. 175.2 (2009), pp. 435–451. arXiv: 0709.4124. url:
http://dx.doi.org/10.1007/s00222-008-0155-5.
-
[PPR09b]
-
Ivan
Panin, Konstantin Pimenov, and Oliver Röndigs. “On Voevodsky’s
algebraic \(K\)-theory spectrum”. In: Algebraic topology. Vol. 4. Abel
Symp. Berlin: Springer, 2009, pp. 279–330. arXiv: 0709.3905. url:
http://dx.doi.org/10.1007/978-3-642-01200-6_10.
-
[PS]
-
Ivan Panin and Alexander Smirnov. Push-forwards in oriented
cohomology theories of algebraic varieties. K-theory Preprint
Archive 459. url: http://www.math.uiuc.edu/K-theory/0459/.
-
[PY]
-
Ivan Panin and Serge Yagunov. T-spectra and Poincaré Duality.
arXiv: math/0506017.
-
[Qui]
-
Gereon Quick. Profinite Étale Cobordism. arXiv: math/0506332.
-
[RØ08]
-
Oliver Röndigs and Paul Arne Østvær. “Modules over motivic
cohomology”. In: Adv. Math. 219.2 (2008), pp. 689–727. url:
https://doi.org/10.1016/j.aim.2008.05.013.
-
[Roba]
-
Marco Robalo. Noncommutative Motives I: A
Universal Characterization of the Motivic Stable Homotopy Theory
of Schemes. arXiv: 1206.3645.
-
[Robb]
-
Marco Robalo. Noncommutative Motives II: \(K\)-Theory and
Noncommutative Motives. arXiv: 1306.3795.
-
[Rob15]
-
Marco Robalo. “\(K\)-theory and the bridge from motives to
noncommutative motives”. In: Adv. Math. 269 (2015), pp. 399–550.
url: http://dx.doi.org/10.1016/j.aim.2014.10.011.
-
[SV96]
-
Andrei Suslin and Vladimir Voevodsky. “Singular homology of
abstract algebraic varieties”. In: Invent. Math. 123.1 (1996),
pp. 61–94. url: http://dx.doi.org/10.1007/BF01232367.
-
[Voe98]
-
Vladimir Voevodsky. “\(\mathbf{A}^1\)-homotopy theory”. In: Proceedings of the
International Congress of Mathematicians, Vol. I (Berlin, 1998).
Extra Vol. I. 1998, 579–604 (electronic).
-
[VSF00]
-
Vladimir Voevodsky, Andrei Suslin, and Eric M. Friedlander.
Cycles, transfers, and motivic homology theories. Vol. 143. Annals
of Mathematics Studies. Princeton, NJ: Princeton University Press,
2000, pp. vi+254. isbn: 0-691-04814-2; 0-691-04815-0.
-
[Wei04]
-
Charles Weibel. “A road map of motivic homotopy and
homology theory”. In: Axiomatic, enriched and motivic homotopy
theory. Vol. 131. NATO Sci. Ser. II Math. Phys. Chem.
Kluwer Acad. Publ., Dordrecht, 2004, pp. 385–392. url:
https://doi.org/10.1007/978-94-007-0948-5_10.
-
[WW]
-
Kirsten Wickelgren and Ben Williams. The Simplicial EHP
Sequence in \(\mathbb{A}^1\)-Algebraic Topology. arXiv: 1411.5306.
-
[Zai]
-
K. Zainoulline. Degree formula for connective K-theory. arXiv:
0808.2592.
|