可換環論は環論に入るのだろうか, 代数幾何に入るのだろうか。
安定ホモトピー論の発展により, EKMM の spectrum や symmetric spectrum などを用いることにより,
可換環 \(R\) とその Eilenberg-Mac Lane spectrum \(HR\) を同一視し, 可換環の圏を commutative ring
spectrum (\(E_{\infty }\)-ring spectrum) の圏の subcategoryとみなすこともできるようになったので, ホモトピー論の視点からは,
可換環論をどれだけ commutative commutative ring spectrum に一般化できるか, また (安定)
ホモトピー論の手法が可換環論にどれぐらい有効なのか, 考えたくなる。 もっとも, ring spectrum の場合には, 可換性は \(E_{2}\) から \(E_{\infty }\)
まで様々なレベルがあることに注意すべきである。
Commutative ring spectrum までいかなくても, commutative dg algebra に拡張できると, rational
homotopy theory などで使える。 例えば, Greenlees ら [GHS13; BG; BGS13] は complete
intersection の概念を dg algebra などに拡張しようとしている。
他には, 可換環の Galois 理論を commutative ring spectrum に一般化しようという試みもある。
代数的トポロジーでは, localization や completion という操作をよく使うが, それのcommutative ring
spectrum での類似も考えられている。
- 可換環 \(A\) の ideal \(I\) と \(A\)-module \(M\) に対し \(M\) の \(I\)-adic completion
- Greenlees と May [GM95] の spectrum level の completion
このページに入れるのが適当かどうかわからないが, formal group law などで重要なのが Witt vector
という概念である。
全く違う方向での代数的トポロジーとの関連では, combinatorial commutative algebra がある。正確には,
単体的複体の組み合わせ論との関連であるが。
References
-
[AG60]
-
Maurice Auslander and Oscar Goldman. “The Brauer group of
a commutative ring”. In: Trans. Amer. Math. Soc. 97 (1960),
pp. 367–409.
-
[BG]
-
D. J. Benson and J. P. C. Greenlees. Complete intersections and
derived categories. arXiv: 0906.4025.
-
[BGS13]
-
David J. Benson, John P. C. Greenlees, and Shoham Shamir.
“Complete intersections and mod \(p\) cochains”. In: Algebr. Geom. Topol.
13.1 (2013), pp. 61–114. arXiv: 1104.4244.
-
[CHR65]
-
S. U. Chase, D. K. Harrison, and Alex Rosenberg. “Galois theory and
Galois cohomology of commutative rings”. In: Mem. Amer. Math.
Soc. 52 (1965), pp. 15–33.
-
[GHS13]
-
J.P.C. Greenlees, K. Hess, and S. Shamir. “Complete intersections in
rational homotopy theory”. In: J. Pure Appl. Algebra 217.4 (2013),
pp. 636–663. url:
http://dx.doi.org/10.1016/j.jpaa.2012.08.009.
-
[GM95]
-
J. P. C. Greenlees
and J. P. May. “Completions in algebra and topology”. In: Handbook
of algebraic topology. Amsterdam: North-Holland, 1995, pp. 255–276.
url: http://dx.doi.org/10.1016/B978-044481779-2/50008-0.
|