基本介紹
- 中文名：有理同倫論
- 分類：同倫論
- 領域：數理科學
有理空間,蘇利文代數,拓撲空間的蘇利文極小模型,形式空間,例子,
有理空間
有理空間是所有同倫群皆為有理數域上的向量空間的單連通空間。若
是單連通CW復形，則存在一個（在同倫等價的意義下唯一）有理空間
以及映射
，使得
誘導的所有同倫群的同態與
取張量積後都是同構。此空間
稱作 的有理化，同時 也是對於有理數的局部化，並稱作 的有理同倫型。通俗的說， 的有理化是由消除 的所有同倫群中的撓子群而得到的。
蘇利文代數
蘇利文代數是有理數域
上的可交換微分分次代數；其底代數是由某一分次向量空間
可交換微分分次代數
的蘇利文模型是從一蘇利文代數
到 的代數同態，且在上同調上為同構。若
，則 存在一個在同構意義上唯一的極小蘇利文模型。（注意：一個擁有跟 相同上同調的極小蘇利文代數不一定是 的極小蘇利文模型，還須要求上同調的同構由代數同態給出。已知有帶相同上同調代數但非同構的極小蘇利文模型的例子存在。）
拓撲空間的蘇利文極小模型
對任意拓撲空間
蘇利文定義了一個可交換微分分次代數
，稱為 上有理係數的多項式微分形式的代數。大致地說，該代數上的元素對 的每一個奇異單純形賦予一個多項式微分形式、與面映射與退化映射兼容。通常情況下這個代數非常巨大（維數不可數），但常常可以替換成一個小得多的代數。更精確地說，與
共享同一個蘇利文極小模型的微分分次代數稱為 的一個模型，且對於單連通的空間 確定了 的有理同倫型。
若 是單連通CW復形、且所有有理同調群都是有限維，則 擁有一個極小蘇利文模型
，滿足
且所有
的維數都有限。這個蘇利文代數稱作 的蘇利文極小模型，且在同構意義上唯一。這個構造給出了這一類空間的有理同倫型與極小蘇利文代數之間的等價，並且擁有以下性質：
1、空間的有理上同調即是其蘇利文極小模型的上同調；
3、有理同調的懷特海德積即是導子d 的“二次部分”的對偶；
4、兩空間的有理同倫型相同若且唯若其蘇利文極小模型同構；
當 X 是光滑流形時，X 上的光滑微分形式組成的分次代數（即德拉姆復形）幾乎可以視作X 的模型；更精確地說，這個代數是X 的復形與實數域的張量積，因而確定了X 的實同倫型。同理還可更進一步定義p進同倫型以及adelic同倫型，並與有理同倫型相比較。
以上對於單連通空間的結論可以輕易延伸到冪零空間（即基本群為冪零群、且對高階同倫群的作用也是冪零的空間）。對於擁有更一般基本群的空間，事情變得比較棘手，因為即使對於CW復形，並要求每一維度上的胞腔數目都有限，其高階同倫群仍可以是無限生成的。
形式空間
一個可交換微分分次代數
（
）是形式的當擁有一個導子為零的模型。這個條件等價於 的上同調代數（視作帶平凡導子的微分代數）本身即是的一個模型（雖然不必是極小的模型）。這意味著形式空間的有理同倫型相當容易計算。
另一方面，冪零流形幾乎全非形式的：任意形式的緊冪零流形都是n維環面（Hasegawa 1975）。非形式的緊冪零流形最簡單的例子是海森伯流形 
，即海森伯群在其整係數矩陣子群上的商。辛流形也不一定是形式的：最簡單的例子是小平-瑟斯頓流形（即海森伯流形與圓的乘積）。Babenko & Taimanov (2000) 進一步給出了非形式的單連通辛流形。
非形式性常常Massey積檢測。事實上，如果微分分次代數是形式的，那么其所有（高階的）Massey積都必須為零。而逆命題並不成立：形式性大致等價於其Massey積“一致”為零。博羅梅奧連環的補是一個非形式空間：它支持一個非平凡的三次Massey積。
例子
2、若X是偶維球面、維數為
，那么它的極小蘇利文模型由兩個度數分別為
和
的生成元 a 和 b 生成，滿足
和
，並且帶有一組基底
，其中箭頭代表導子的作用。
3、設V 有四個元素a,b,x,y，度數分別是2，3，3，4，且滿足
，
， 
。這個代數是一個非形式的極小蘇利文代數，其上同調代數僅在2、3、6維非平凡，分別由
生成。任意從 V 到其上同調代數的同態都將y 映到 0，並將x 映到b 的倍數，因此必定將
映到 0。因此，V 不是其上同調代數的模型。它們各自對應的拓撲空間因而擁有相同的有理上同調環而相異的有理同倫型。注意到 
是Massey積
中的元素。
