[论文解读] Formality, Alexander invariants, and a question of Serre

Alexandru Dimca, Ştefan Papadima+1 more|ArXiv.org|Dec 21, 2005

Algebraic Geometry and Number Theory参考文献 55被引用 26

一句话总结

本文通過證明在單位元處第一特徵曲線的切錐等於第一共振曲線，建立了1-形式化群的上同調跳躍點集——特別是其特徵曲線與共振曲線——之間的深刻聯繫。利用形式性與亞歷山大不變量的結構，作者推導出新的1-形式化障礙，以及有限表示群作為光滑複射影代數曲面基本群的實現障礙。

ABSTRACT

We elucidate the key role played by formality in the theory of characteristic and resonance varieties. We show that the I-adic completion of the Alexander invariant of a 1-formal group G is determined solely by the cup-product map in low degrees. It follows that the germs at the origin of the characteristic and resonance varieties of G are analytically isomorphic; in particular, the tangent cone to V_k(G) at 1 equals R_k(G). This provides new obstructions to 1-formality. A detailed analysis of the irreducible components of the tangent cone at 1 to the first characteristic variety yields powerful obstructions to realizing a finitely presented group as the fundamental group of a smooth, complex quasi-projective algebraic variety. This sheds new light on a classical problem of J.-P. Serre. Applications to arrangements, configuration spaces, coproducts of groups, and Artin groups are given.

研究动机与目标

• 釐清形式性在有限表示群的特徵曲線與共振曲線結構中的角色。
• 建立1-形式化群在原點處特徵曲線與共振曲線的解析芽之間的同構關係。
• 透過第一特徵曲線的切錐推導出新的1-形式化障礙。
• 解決塞爾關於哪些有限表示群可作為光滑複射影代數曲面基本群的經典問題。
• 將理論應用於排列、配置空間、直積與阿廷群，進而獲得新的實現障礙。

提出的方法

• 利用馬爾切夫完備化與霍洛尼亞李代數，透過李代數結構中的二次關係定義1-形式化。
• 透過霍洛尼亞李代數，將亞歷山大不變量的$I$-進完備化與低度的上積映射聯繫起來。
• 應用指數映射，建立原點與單位元處共振曲線與特徵曲線的解析芽之間的同構。
• 將1-形式化群在1處的$\mathcal{V}_k(G)$的切錐特徵化為等於$\mathcal{R}_k(G)$。
• 分析切錐的不可約分支，以檢測對擬射影實現性的障礙。
• 使用標記圖的奇數收縮構造，將阿廷群與自由群直積聯繫起來，並在上積映射上測試各向同性條件。

实验结果

研究问题

• RQ1 形式性如何約束度一特徵曲線與共振曲線的結構？
• RQ2 在何種條件下，1處第一特徵曲線的切錐在原點處與第一共振曲線解析同構？
• RQ3 第一特徵曲線$\mathcal{V}_1(G)$的切錐結構對有限表示群$G$作為光滑複射影代數曲面基本群的實現性施加了何種障礙？
• RQ4 哪些阿廷群可作為光滑複射影代數曲面的基本群出現？這能否透過其馬爾切夫李代數檢測？
• RQ5 在何種情況下，1-形式化群上同調的上積映射具有各向同性，使其無法實現為凱勒或擬凱勒群？

主要发现

• 對於任意1-形式化群$G$，第一特徵曲線$\mathcal{V}_1(G)$在1處的切錐等於第一共振曲線$\mathcal{R}_1(G)$，即$TC_1(\mathcal{V}_1(G)) = \mathcal{R}_1(G)$。
• 指數映射在原點與單位元處分別 induces 解析芽之間的同構，使$\mathcal{R}_k(G)$與$\mathcal{V}_k(G)$同構。
• 1-形式化群的亞歷山大不變量的$I$-進完備化僅由度2的上積映射決定。
• 若有限表示群$G$的第一共振曲線$\mathcal{R}_1(G)$包含一個正維數、0-各向同性、不可約分支，則$G$無法實現為光滑複射影代數曲面的基本群。
• 對於右角阿廷群$G_\Gamma$，$G_\Gamma$為凱勒群當且僅當$\Gamma$為偶數個頂點的完全圖，即$G_\Gamma \cong \mathbb{Z}^{2n}$。
• 阿廷群$G_\Gamma$的馬爾切夫李代數與擬凱勒群的濾過同構，當且僅當其奇數收縮$\tilde{\Gamma}$為完全多部圖。