“Stable homotopy theory”的意思、由来-开放百科全书

词条

Stable homotopy theory

释义

See also
References

In mathematics, stable homotopy theory is that part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the Freudenthal suspension theorem, which states that for a given CW-complex X the (n+i)^th homotopy group of its i^th iterated suspension, π_n+i (ΣⁱX), becomes stable (i.e., isomorphic after further iteration) for large but finite values of i. For instance,

ℤS¹> = π₁(S¹) ≅ π₂(S²) ≅ π₃(S³) ≅ π₄(S⁴) ≅ ... and

ℤ<η> = π₃(S²) → π₄(S³) ≅ π₅(S⁴) ≅ ...

In the two examples above all the maps between homotopy groups are applications of the suspension functor. Thus the first example is a restatement of the Hurewicz theorem, that π_n(Sⁿ) ≅ ℤSⁿ >. In the second example the Hopf map, η, is mapped to Ση which generates π₄(S³) ≅ ℤ/2.

One of the most important problems in stable homotopy theory is the computation of stable homotopy groups of spheres. According to Freudenthal's theorem, in the stable range the homotopy groups of spheres depend not on the specific dimensions of the spheres in the domain and target, but on the difference in those dimensions. With this in mind the k^th stable stem is := lim π_n+k (Sⁿ). This is an abelian group for all k. It is a theorem of Serre^[1] that these groups are finite if k > 0. In fact, composition makes into a graded ring. Nishida's theorem states that all elements of positive grading in this ring are nilpotent. Thus the only prime ideals are the primes in ≅ ℤ. So the structure of is quite complicated.

In the modern treatment of stable homotopy, spaces are typically replaced by spectra. Following this line of thought, an entire stable homotopy category can be created. This category has many nice properties not found in the (unstable) homotopy category of spaces, following from the fact that the suspension functor becomes invertible. For example, the notion of cofibration sequence and fibration sequence are equivalent.

References

1. ^{{cite journal|author=Serre, Jean-Pierre|title=Groupes d'homotopie et classes de groupes abelien|journal=Annals of Mathematics|date=1953|volume=58|issue=2|pages=258–295|doi=10.2307/1969789|jstor=1969789}}

{{Citation | last1=Adams | first1=J. Frank | title=Stable homotopy theory | publisher=Springer-Verlag | location=Berlin, New York | series=Second revised edition. Lectures delivered at the University of California at Berkeley |mr=0196742 | year=1966 | volume=1961}}
{{Citation | last1=May | first1=J. Peter | author1-link=J. Peter May | title=Stable algebraic topology, 1945--1966 | chapter-url=http://www.math.uchicago.edu/~may/PAPERS/history.pdf | publisher=North-Holland | location=Amsterdam |mr=1721119 | year=1999 | pages=665–723 | doi=10.1016/B978-044482375-5/50025-0| chapter=Stable Algebraic Topology, 1945–1966 | isbn=9780444823755 | citeseerx=10.1.1.30.6299 }}
{{Citation | last1=Ravenel | first1=Douglas C. | title=Nilpotence and periodicity in stable homotopy theory | publisher=Princeton University Press | series=Annals of Mathematics Studies | isbn=978-0-691-02572-8 |mr=1192553 | year=1992 | volume=128}}

1 : Homotopy theory

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

See also

References