查看“︁有理同伦论”︁的源代码

{{No footnotes|time=2016-05-30T08:00:48+00:00}}
{{NoteTA
|G1 = Math
}}
在数学中，'''有理同伦论'''是对[[拓扑空间]]的有理同伦型的研究；粗略地说，有理同伦型忽略[[同倫群]]的[[撓子群|挠]]。有理同伦论由{{harvs|txt=yes|first=Dennis|last=Sullivan|authorlink=丹尼斯·蘇利文|year=1977}} 与{{harvs|txt=yes|first=Daniel|last=Quillen|authorlink=丹尼尔·奎伦|year=1969}} 首创。

对于单连通空间，有理同伦型等同于一种被称作极小苏利文代数的代数对象（的同构类）；这种代数对象是满足特定条件的[[有理数]]域上的[[交換律|可交换]][[微分代数|微分分次代数]]。

有理同伦论的标准教材是{{harv|Félix|Halperin|Thomas|2001}}。

== 有理空间 ==
'''有理空间'''是所有同伦群皆为有理数域上的[[向量空间]]的[[單連通]]空间。若 <math>X</math> 是单连通[[CW复形]]，则存在一个（在[[同倫|同伦等价]]的意义下唯一）有理空间 <math>Y</math> 以及映射 <math>f:X\to Y</math>，使得 <math>f</math> 诱导的所有同伦群的同态与 <math>\mathbb{Q}</math> 取张量积后都是[[同构]]。此空间 <math>Y</math> 称作 <math>X</math> 的'''有理化'''，同时也是 <math>X</math> 对于有理数的局部化，并称作 <math>X</math> 的'''有理同伦型'''。通俗的说， <math>X</math> 的有理化是由消除 <math>X</math> 的所有同伦群中的[[撓子群]]而得到的。

== 苏利文代数 ==
'''苏利文代数'''是有理数域 <math>\mathbb{Q}</math> 上的可交换微分分次代数；其底代数是由某一分次向量空间
: <math>V=\oplus_{n>0}V^n</math>
生成的自由可交换分次代数 <math>\Lambda(V)</math>，并且要求导子 <math>d</math> 满足以下“幂零”条件：<math>V</math> 是分次子空间 <math>V(0)\subseteq V(1)\subseteq\cdots</math> 的并，其中 <math>d</math> 在 <math>V(0)</math> 上为零、且 <math>d(V(k))</math> 包含于<math>\Lambda(V(k-1))</math> 。这里“可交换”指在分次意义上可交换，有时也称为“超可交换”；换言之，可交换性指 <math>ab=(-1)^{\deg(a)\deg(b)}ba</math>'' 。''

苏利文代数是'''极小的'''当 <math>d</math> 的像含于<math>\Lambda^+(V)^2</math>，其中 <math>\Lambda^+(V)</math> 是 <math>\Lambda(V)</math> 的所有正次子空间的直和。

可交换微分分次代数 <math>A</math> 的'''苏利文模型'''是从一苏利文代数 <math>\Lambda(V)</math> 到 <math>A</math> 的[[代數同態]]，且在[[上同调]]上为同构。若 <math>A^0=\mathbb{Q}</math>，则 <math>A</math> 存在一个在同构意义上唯一的极小苏利文模型。（注意：一个拥有跟 <math>A</math> 相同上同调的极小苏利文代数不一定是 <math>A</math> 的极小苏利文模型，还须要求上同调的同构由代数同态给出。已知有带相同上同调代数但非同构的极小苏利文模型的例子存在。）

== 拓扑空间的苏利文极小模型 ==
对任意拓扑空间 <math>X</math> 苏利文定义了一个可交换微分分次代数 <math>A_{PL}(X)</math>，称为 <math>X</math> 上有理系数的多项式微分形式的代数。大致地说，该代数上的元素对 <math>X</math> 的每一个奇异单纯形赋予一个多项式微分形式、与[[单纯集合|面映射与退化映射]]兼容。通常情况下这个代数非常巨大（维数不可数），但常常可以替换成一个小得多的代数。更精确地说，与 <math>A_{PL}(X)</math> 共享同一个苏利文极小模型的微分分次代数称为 <math>X</math> 的一个'''模型'''，且对于单连通的空间 <math>X</math> 确定了 <math>X</math> 的有理同伦型。

若 <math>X</math> 是单连通CW复形、且所有有理同调群都是有限维，则 <math>A_{PL}(X)</math> 拥有一个极小苏利文模型 <math>\Lambda V</math>，满足 <math>V^1=0</math> 且所有 <math>V^k</math> 的维数都有限。这个苏利文代数称作 <math>X</math> 的苏利文极小模型，且在同构意义上唯一。这个构造给出了这一类空间的有理同伦型与极小苏利文代数之间的等价，并且拥有以下性质：
* 空间的有理上同调即是其苏利文极小模型的上同调；
* <math>V</math> 的不可分元素的空间即是 <math>X</math> 的有理同伦群的对偶；
* 有理同调的怀特海德积即是导子 <math>d</math> 的“二次部分”的对偶；
* 两空间的有理同伦型相同当且仅当其苏利文极小模型同构；
* 对任意 <math>V^1=0</math> 且所有 <math>V^k</math> 维数有限的苏利文代数都存在一个单连通的拓扑空间 <math>X</math> 与之对应。
当 <math>X</math> 是[[光滑流形]]时， <math>X</math> 上的光滑[[微分形式]]组成的分次代数（即[[德拉姆复形]]）几乎可以视作 <math>X</math> 的模型；更精确地说，这个代数是 <math>X</math> 的复形与[[实数域]]的张量积，因而确定了 <math>X</math> 的'''实同伦型'''。同理还可更进一步定义'''p进同伦型'''以及'''adelic'''同伦型，并与有理同伦型相比较。

以上对于单连通空间的结论可以轻易延伸到[[幂零空间]]（即[[基本群]]为[[冪零群|幂零群]]、且对高阶同伦群的作用也是幂零的空间）。对于拥有更一般基本群的空间，事情变得比较棘手，因为即使对于CW复形，并要求每一维度上的胞腔数目都有限，其高阶同伦群仍可以是无限生成的。

== 形式空间 ==
一个可交换微分分次代数 <math>A</math>（<math>A^0=\mathbb{Q}</math>）是'''形式的'''当 <math>A</math> 拥有一个导子为零的模型。这个条件等价于 <math>A</math> 的上同调代数（视作带平凡导子的微分代数）本身即是 <math>A</math> 的一个模型（虽然不必是''极小''的模型）。这意味着形式空间的有理同伦型相当容易计算。

形式空间的例子有[[N维球面|球面]]、[[H-空间]]、对称空间、[[紧空间|紧]][[凯勒流形]]等{{harv|Deligne|Griffiths|Morgan|Sullivan|1989}}。[[楔積|楔积]]和[[直积]]都保有形式性；对于流行而言，[[連通和]]也保有形式性。

另一方面，幂零流形几乎全非形式的：任意形式的紧幂零流形都是 <math>n</math> 维环面{{harv|Hasegawa|1975}}。非形式的紧幂零流形最简单的例子是'''海森伯流形''' <math>H_3(\mathbb{R})/H_3(\mathbb{Z})</math>，即[[海森伯群]]在其整系数矩阵子群上的商。[[辛流形]]也不一定是形式的：最简单的例子是小平-瑟斯顿流形（即海森伯流形与圆的乘积）。{{harvtxt|Babenko|Taimanov|2000}} 进一步给出了非形式的单连通辛流形。

非形式性常常Massey积检测。事实上，如果微分分次代数 <math>A</math> 是形式的，那么其所有（高阶的）Massey积都必须为零。而逆命题并不成立：形式性大致等价于其Massey积“一致”为零。{{link-en|博罗梅奥连环|Borromean rings}}的补是一个非形式空间：它支持一个非平凡的三次Massey积。

{{harvtxt|Halperin|Stasheff|1979}} 给出了一个判定可交换微分分次代数的形式性的算法。

== 例子 ==
* 若 <math>X</math> 是奇维球面、维数为 <math>2n+1> 1</math>，那么它的极小苏利文模型由单个度数为 <math>2n+1</math> 生成元 <math>a</math> 生成，满足 <math>da=0</math>，并且带有一组由元素 <math>1</math> 和 <math>a</math> 组成的基底。
* 若 <math>X</math> 是偶维球面、维数为 <math>2n> 0</math>，那么它的极小苏利文模型由两个度数分别为 <math>2n</math> 和 <math>4n-1</math> 的生成元 <math>a</math> 和 <math>b</math> 生成，满足 <math>da=0</math> 和 <math>db=a^2</math>，并且带有一组基底<math>1,a,a^2\to b,ab\to a^3,a^2b\to a^4,\ldots</math>，其中箭头代表导子的作用。
* 若 <math>X</math> 是（复）维数为 <math>n> 0</math> 的复射影空间，那么它的极小苏利文模型由两个度数分别为 <math>2</math> 和 <math>2n+1</math> 的生成元 <math>u</math> 和 <math>x</math> 生成，满足 <math>du=0</math> 和 <math>dx=u^{n+1}</math>，并且带有一组基底<math>1,u,u^2,\ldots,u^n,x\to u^{n+1},xu\to u^{n+1},\ldots</math>，其中箭头代表导子的作用。
* 设 <math>V</math> 有四个元素 <math>a,b,x,y</math>，度数分别是2，3，3，4，且满足 <math>da=0</math>， <math>db=0</math>， <math>dx=a^2</math>， <math>dy=ab</math> 。这个代数是一个非形式的极小苏利文代数，其上同调代数仅在2、3、6维非平凡，分别由 <math>a,b,xb-ay</math> 生成。任意从 <math>V</math> 到其上同调代数的同态都将 <math>y</math> 映到 0，并将 <math>x</math> 映到 <math>b</math> 的倍数，因此必定将 <math>xb-ay</math> 映到 0。因此，<math>V</math> 不是其上同调代数的模型。它们各自对应的拓扑空间因而拥有相同的有理[[上同调环]]而相异的有理同伦型。注意到 <math>xb-ay</math> 是Massey积 <math> \langle [a], [a], [b] \rangle </math> 中的元素。

== 外部链接 ==
* [http://www.math.uic.edu/~bshipley/hess_ratlhtpy.pdf Rational Homotopy Theory: A Brief Introduction] {{Wayback|url=http://www.math.uic.edu/~bshipley/hess_ratlhtpy.pdf |date=20110927094315 }} by Kathryn Hess

== 参考文献 ==
* {{citation|last=Babenko|first=Ivan K.|title=On nonformal simply connected symplectic manifolds|url=http://www.springerlink.com/content/h3674t8t5635l802/|year=2000|last2=Taimanov|first2=Iskander A.|journal=Siberian Mathematical Journal|volume=41|issue=2|pages=204–217|doi=10.1007/BF02674589|mr=1762178}}{{Dead link|date=2020年2月 |bot=InternetArchiveBot |fix-attempted=yes }}
* {{citation|last=Deligne|first=Pierre|title=Real homotopy theory of Kähler manifolds|url=http://www.springerlink.com/content/m48544t785221635/|year=1975|last2=Griffiths|last3=Morgan|last4=Sullivan|first2=Phillip A.|first3=John W.|first4=Dennis|journal=[[Inventiones Mathematicae]]|volume=29|issue=3|pages=245–274|doi=10.1007/BF01389853|mr=0382702}}{{Dead link|date=2020年2月 |bot=InternetArchiveBot |fix-attempted=yes }}
* {{citation|last=Félix|first=Yves|title=Rational homotopy theory|year=2001|last2=Halperin|last3=Thomas|first2=Stephen|first3=Jean-Claude|series=Graduate Texts in Mathematics|volume=205|pages=xxxiv+535|publication-place=New York|publisher=Springer-Verlag|isbn=0-387-95068-0|mr=1802847}}
* {{citation|last=Griffiths|first=Phillip A.|title=Rational homotopy theory and differential forms|year=1981|last2=Morgan|first2=John W.|series=Progress in Mathematics|volume=16|pages=xi+242 pp.|publication-place=Boston, Mass.|publisher=Birkhäuser|isbn=3-7643-3041-4|mr=0641551}}
* {{citation|last=Halperin|first=Stephen|title=Obstructions to homotopy equivalences|year=1979|last2=Stasheff|first2=James|author2-link=Jim Stasheff|journal=[[Advances in Mathematics]]|volume=32|issue=3|pages=233–279|doi=10.1016/0001-8708(79)90043-4|mr=0539532}}
* {{citation|last=Hasegawa|first=Keizo|title=Minimal models of nilmanifolds|year=1989|journal=[[Proceedings of the American Mathematical Society]]|volume=106|issue=1|pages=65–71|publisher=Proceedings of the American Mathematical Society, Vol. 106, No. 1|doi=10.2307/2047375|jstor=2047375|mr=946638}}
* {{citation|last=Hess|first=Kathryn|title=History of topology|year=1999|pages=757–796|chapter=A history of rational homotopy theory|publication-place=Amsterdam|publisher=North-Holland|editor-last=James|editor-first=I. M.|isbn=0-444-82375-1|mr=1721122}}
* {{citation|last=Quillen|first=D.|title=Rational homotopy theory|year=1969|journal=[[Annals of Mathematics]]|volume=90|issue=2|pages=205–295|publisher=The Annals of Mathematics, Vol. 90, No. 2|doi=10.2307/1970725|jstor=1970725|mr=0258031}}
* {{citation|last=Sullivan|first=Dennis|title=Infinitesimal computations in topology|url=http://www.numdam.org/item?id=PMIHES_1977__47__269_0|year=1977|journal=[[Publications Mathématiques de l'IHÉS]]|volume=47|pages=269–331|doi=10.1007/bf02684341|mr=0646078|accessdate=2016-05-29|archive-date=2007-05-03|archive-url=https://web.archive.org/web/20070503003045/http://www.numdam.org/item?id=PMIHES_1977__47__269_0|dead-url=no}}
* {{springer|title=Rational homotopy theory|id=R/r077600|last=Sullivan|first=Dennis}}

[[Category:同伦论]]