[论文解读] Schematic homotopy types and non-abelian Hodge theory I: The Hodge decomposition

Ludmil Katzarkov, Tony Pantev+1 more|arXiv (Cornell University)|Jul 18, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 7

一句话总结

本文在复射影流形 X 的概型同伦类型 (X ⊗ C) sch 上引入了一种 Hodge 分解，其基于 C×δ 的作用。该方法在上同调与拟代数基本群上恢复了经典 Hodge 结构，将 Deligne 的 Hodge 分解推广至非单连通情形，并构造了新的同伦不变量，用于排除某些同伦类型无法实现为复射影流形的可能性。

ABSTRACT

In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the schematization functor X ↦ → (X ⊗ C) sch, introduced by the third author as a substitute for the rationalization functor in homotopy theory in the case of non-simply connected spaces. Our main result is the construction of a Hodge decomposition on (X ⊗ C) sch. This Hodge decomposition is encoded in an action of the discrete group C ×δ on the object (X ⊗ C) sch and is shown to recover the usual Hodge decomposition on cohomology, the Hodge filtration on the pro-algebraic fundamental group as defined by C.Simpson, and in the simply connected case, the Hodge decomposition on the complexified homotopy groups as defined by P.Deligne, P.Griffiths, J.Morgan and D.Sullivan. Finally, using the construction X ↦ → (X ⊗ C) sch, we define new homotopy invariants of a space X, which are related to the action of its fundamental group π1(X, x) on its complexified higher homotopy groups πi(X, x) ⊗ C. When X is a smooth and projective complex variety, we use the Hodge decomposition on (X ⊗ C) sch to deduce some restrictions on these invariants and construct explicit new examples of homotopy types which are not realizable as complex projective manifolds.

研究动机与目标

• 将 Hodge 理论方法扩展至具有非平凡基本群的复射影流形的同伦类型。
• 通过 C×δ 的作用，在概型同伦类型 (X ⊗ C) sch 上定义 Hodge 分解。
• 恢复由 C. Simpson 定义的上同调与拟代数基本群上的已知 Hodge 结构。
• 将 Deligne 在复化同伦群上的 Hodge 分解推广至非单连通情形。
• 从 π1(X,x) 在 πi(X,x)⊗C 上的作用构造新的同伦不变量，并利用它们识别非射影同伦类型。

提出的方法

• 使用函子 X ↦ (X ⊗ C) sch 作为非单连通同伦理论中理性化替代方案。
• 通过离散群 C×δ 的作用，在 (X ⊗ C) sch 上引入 Hodge 分解。
• 依赖 Hodge 理论技术分析概型同伦类型结构。
• 建立 Hodge 分解与经典不变量（上同调 Hodge 结构与 Simpson 的拟代数基本群）之间的相容性。
• 利用概型同伦类型定义与 π1(X,x) 在 πi(X,x)⊗C 上作用相关的不变量。
• 应用 (X ⊗ C) sch 上的 Hodge 结构，推导出可实现为复射影流形的同伦类型之限制。

实验结果

研究问题

• RQ1 Hodge 理论方法如何被扩展至具有非平凡基本群的复射影流形的同伦类型？
• RQ2 是否可在概型同伦类型 (X ⊗ C) sch 上构造 Hodge 分解，其与经典 Hodge 结构有何关系？
• RQ3 在 (X ⊗ C) sch 上的 Hodge 分解是否恢复了 C. Simpson 定义的拟代数基本群上的 Hodge 滤子？
• RQ4 在非单连通情形下，(X ⊗ C) sch 上的 Hodge 结构是否推广了 Deligne 等人对复化同伦群的 Hodge 分解？
• RQ5 从 π1(X,x) 在 πi(X,x)⊗C 上的作用中会衍生出哪些新的同伦不变量，它们对实现某些同伦类型为复射影流形提供了何种障碍？

主要发现

• 通过 C×δ 的作用，在概型同伦类型 (X ⊗ C) sch 上构造了 Hodge 分解，将经典 Hodge 理论推广至非单连通空间。
• (X ⊗ C) sch 上的 Hodge 分解恢复了上同调群 H^i(X, C) 上的标准 Hodge 分解。
• 它恢复了由 C. Simpson 定义的拟代数基本群上的 Hodge 滤子。
• 在单连通情形下，(X ⊗ C) sch 上的 Hodge 结构恢复了由 Deligne、Griffiths、Morgan 与 Sullivan 定义的复化高阶同伦群上的 Hodge 分解。
• 从 π1(X,x) 在 πi(X,x)⊗C 上的作用中定义了新的同伦不变量，这些不变量为某些同伦类型无法实现为复射影流形提供了障碍。
• 利用 (X ⊗ C) sch 上的 Hodge 结构，构造了明确的同伦类型实例，表明它们无法实现为复射影代数簇。