內容簡介
R,ational homotopy theory has the disadvantage of discarding a considerable amount of information. For example, the homotopy groups of the sphere S'2 are non-zero in infinitelv many degrees whereas its rational homotopy groups vanish in all degrees above 3. By contrast, rational homotopy theory has the advantage of being remarkably computational. For example, there is not even a conjectural description of all the homotopy groups of any simply connect.ed finite CW complex, whereas for many of these the rational groups can be explicitly determined. And while rational homotopy theory is indeed simpler than ordinary homotopy theory, it is exactly this simplicity that makes it possible to address (if not alway-s to solve) a number of fundamental questions.
內頁插圖
目錄
;
前言/序言
《有理同倫論》 是一部深刻探索代數拓撲學核心分支的著作,它以一種獨特而強大的視角,揭示瞭拓撲空間結構中的某些深層性質。本書並非對同倫論的宏觀介紹,而是聚焦於一個特定且具有高度分析性的領域——有理同倫論。這門理論的核心在於,將同倫論的某些概念和計算手段,從整數域推廣到有理數域。這種“有理化”的過程,並非簡單的數值替換,而是帶來瞭一係列深刻的理論簡化和計算上的突破,使得原本棘手的拓撲問題變得更加清晰和易於處理。 本書的敘述從最基礎的概念齣發,但很快便深入到該領域的核心技術和前沿問題。它將首先詳細闡述“有理同倫”這一概念的精確定義。這涉及到對縴維叢、上鏈復形以及某些代數結構的引入。讀者將理解,為什麼我們需要從整數同倫轉嚮有理同倫,以及這種轉變在理論上的邏輯必然性。書中的一個重要主題是“有理縴維化”(rational fibration)的概念,以及它與原始縴維化的關係。我們將會看到,當我們將同倫的整數係數轉化為有理係數時,某些復雜的縴維叢結構會發生顯著的簡化,從而暴露齣其更本質的幾何和代數特性。 隨後,本書將詳細介紹“模型範疇”(model category)及其在有理同倫論中的應用。模型範疇提供瞭一個統一的框架,用於處理同倫等價關係,尤其是在各種代數結構上。我們將深入研究“微分分次代數”(differential graded algebra, DGA)和“微分分次餘代數”(differential graded coalgebra)的性質,以及如何利用它們來錶示拓撲空間。著名的“Kadish-Sullivan代數”(Kadish-Sullivan algebra)和“自由分次代數”(free graded algebra)將成為描述空間有理同倫型的關鍵工具。本書將詳細分析這些代數的構造過程,以及它們如何編碼瞭空間的某些基本同倫不變量。 本書的另一核心內容是“最小模型”(minimal model)的概念。最小模型是Kadish-Sullivan代數的一種特殊形式,它在代數上最為簡潔,但卻能完美地“有理地”捕捉一個拓撲空間的同倫信息。本書將闡述如何從一個給定的空間構造其最小模型,以及最小模型如何提供關於空間同倫群、Hopf代數結構等深層信息。這將包括對“外微分”(exterior differential)和“代數拓撲”(algebraic topology)之間深刻聯係的探索。 此外,本書還將深入探討“有理同倫群”和“陳-萊因哈特類”(Chern-Simons class)等概念。我們將學習如何利用有理同倫論的工具來計算和理解拓撲空間的同倫群。特彆是,對於某些特定的拓撲空間,如“凱勒流形”(Kähler manifold)或“辛流形”(symplectic manifold),有理同倫論能夠提供強有力的計算手段。本書還將涉及“連通性”(connectivity)和“維數”(dimension)等概念在有理同倫論中的錶現,以及這些概念如何影響理論的計算和應用。 本書的另一個重要組成部分是“泛代數”(operad)和“高次同倫”(higher homotopy)的概念。泛代數在研究函數的組閤性和代數結構上扮演著關鍵角色,而有理同倫論則為理解泛代數在拓撲空間中的作用提供瞭新的視角。我們將看到,某些泛代數如何編碼瞭空間的“高次”同倫結構,而有理化過程可以簡化這些復雜的結構,從而更容易地進行分析。 本書的最後部分將轉嚮一些更具體的應用和高級主題。這可能包括“霍普夫代數”(Hopf algebra)在有理同倫論中的作用,以及如何利用其對偶結構來理解空間的某些代數性質。此外,我們還將探討“分層代數”(graded algebra)在描述同倫型方麵的作用,以及與“代數幾何”(algebraic geometry)的某些交叉。本書將通過一係列精心挑選的例子和習題,幫助讀者鞏固理論知識,並初步掌握應用有理同倫論解決實際問題的能力。 總而言之,《有理同倫論》是一部為那些對代數拓撲學有深入研究興趣的讀者量身打造的著作。它不僅僅是一本關於計算技巧的指南,更是一部探索抽象數學之美的哲學性作品。它將帶領讀者穿越同倫論的層層迷霧,抵達一個更加清晰、更具洞察力的領域,在那裏,拓撲空間的內在結構以一種全新的、優美的代數形式展現在眼前。本書適閤數學專業的研究生、博士後以及緻力於深入理解代數拓撲學核心理論的數學傢。它將成為該領域研究者不可或缺的參考工具。
這本書的裝幀設計非常吸引人,簡約而不失專業感。我一直認為,一本好的學術著作,其內容固然重要,但恰當的排版和清晰的圖示也能極大地提升閱讀體驗。我猜想,《有理同倫論》在這一點上應該不會讓我失望。我設想書中會包含大量精心繪製的拓撲圖示,這些圖示不僅是理論的載體,更是引導讀者理解抽象概念的“視覺語言”。我希望書中能夠詳細解釋如何通過這些圖示來理解同倫群的生成元、關係以及它們的“有理”化過程。此外,我還在思考,這本書是否會涉及一些重要的定理和猜想,比如懷特海德定理、希策布魯赫引理等,並對其進行深入的證明和闡釋。我非常期待書中能夠展現齣數學傢們是如何一步步構建起有理同倫論這座宏偉的知識大廈的,那其中一定充滿瞭智慧的火花和嚴謹的邏輯推理。同時,我也希望書中不會過於強調某些過於艱深的證明細節,而是能夠抓住核心思想,讓像我這樣的“門外漢”也能窺探到其中的奧秘。