[论文解读] Configuration spaces of C and CP^1: some analytic properties

Vladimir Lin|ArXiv.org|Mar 7, 2004

Geometry and complex manifolds参考文献 41被引用 15

一句话总结

该论文通过引入一种新的单纯不变量，对 ℂ 和 ℂℙ¹ 的配置空间的全纯自同态进行了完整分类，证明了非循环自同态恰好是那些由基空间自同构诱导的驯服自同态。研究证明，当 n > 4 时，非循环映射由其全纯同伦类唯一确定，并满足维数下界；而循环映射则通过阿贝尔覆盖和泰希缪勒理论揭示了其像点的关联性。

ABSTRACT

We study holomorphic self-maps of non-ordered n-point configuration spaces C^n(X), where X is either affine or projective complex line. The complex Lie group Aut(X) acts diagonally on C^n(X). We prove that for n>4 every endomorphism F of C^n(X) either is tame meaning that it is of the form F(Q)=T(Q)Q for a certain morphism T of C^n(X) to Aut(X) or carries the whole C^n(X) into one Aut(X) orbit Aut(X)Q_0 in C^n(X). The first option happens if and only if the image of the induced endomorphism F_* of the fundamental group of C^n(X) (which is the braid group of X) is a non-cyclic group; otherwise F is of the second type. We also prove that for n>(dim(Aut(X))+1 a morphism F of C^n(X) to any C^k(X) always admits an n point subset Q of X whose intersection with its image F(Q) is non-empty. Finally, we give a complete description of unbranched k-coverings of C^n(x) for k<2n+1.

研究动机与目标

• 通过分析与代数不变量对 X = ℂ 和 X = ℂℙ¹ 的无序配置空间 𝒞ⁿ(X) 的全纯自同态进行分类。
• 将非循环自同态表征为由 Aut(X) 作用诱导的驯服映射，将循环映射表征为轨道型态射。
• 在非循环自同态与 Aut(X) 的极大紧致子群到 𝒞ⁿ(X) 的连续映射之间建立对应关系，连接拓扑与全纯结构。
• 证明非循环自同态 𝒞ⁿ(X) 的像维数至少为 n − t(X) + 1，其中 t(X) = dimℂ Aut(X)。
• 通过证明通用代数函数无法以匹配分支点的方式分解，解决希尔伯特第十三问题的一个版本。

提出的方法

• 引入一个有限单纯复形 LΔ(Z)，其顶点为非常值全纯映射 Z → ℂ ≠ {0,1}，用于研究等变自同态。
• 构造一个全纯普遍覆盖映射 Π: ˜Aut(X) × T(0,m) → 𝒞ⁿ(X)，其中 m = n + 3 − t(X)，利用 T(0,m) 上的普遍泰希缪勒族。
• 应用 Hubbard-Earl-Kra 定理，证明当 dimℂ T(0,m) > 1 时不存在全纯截面，这对证明关联映射定理至关重要。
• 利用纯 braid 群 PBₙ(X) 的标准正规列与换位子群结构，将非循环映射提升为有序配置空间上的等变映射。
• 定义 Bₙ(X) 的典范表示，并利用它证明非循环自同态保持纯 braid 群，从而可将其提升至 𝒞ₒⁿ(X)。
• 建立反变函子对应 Z ↦ LΔ(Z)，表明 𝒞ₒⁿ(X) 上的 Aut(X)-等变自同态诱导出 LΔ(𝒞ₒⁿ(X)) 上的单纯自同态。

实验结果

研究问题

• RQ1 何时一个 𝒞ⁿ(X) 的全纯自同态是驯服的？驯服性与基本群上诱导映射的循环性之间有何关系？
• RQ2 非循环自同态 𝒞ⁿ(X) 与 Aut(X) 的极大紧致子群到 𝒞ⁿ(X) 的全纯同伦类之间存在何种精确关系？
• RQ3 辫群 Bₙ(X) 的代数性质如何约束非循环自同态的结构？
• RQ4 非循环自同态 F: 𝒞ⁿ(X) → 𝒞ᵏ(X) 的像的最小可能复维数是多少？
• RQ5 在 ℂℙⁿ 上的通用代数函数 Un(z) 是否可以分解为 m 个变量代数函数的复合，同时保持相同的分支点？

主要发现

• 当 n > 4 且 k ≥ t(X) 时，𝒞ⁿ(X) 的自同态 F 是驯服的当且仅当它是非循环的，从而实现了完整分类。
• 任何非循环自同态 F 的 𝒞ⁿ(X) 满足 dimℂ F(𝒞ⁿ(X)) ≥ n − t(X) + 1，且仅在特定条件下可取等号。
• 非循环自同态 𝒞ⁿ(X) 的全纯同伦类与连续映射 𝒞ⁿ(X) → 𝒦(X) 的同伦类之间存在自然的一一对应，其中 𝒦(X) 是 Aut(X) 的极大紧致子群。
• 当 n > t(X) + 1 时，每个非循环态射 F: 𝒞ⁿ(X) → 𝒞ᵏ(X) 满足存在某个 Q ∈ 𝒞ⁿ(X) 使得 Q ∩ F(Q) ≠ ∅，从而证明了关联映射定理。
• 全纯普遍覆盖映射 Π: ˜Aut(X) × T(0,m) → 𝒞ⁿ(X)（其中 m = n + 3 − t(X)）的构造是显式的，依赖于 T(0,m) 上的普遍泰希缪勒族。
• 在 ℂℙ¹ 上的三次型空间中，艾森斯坦自同构被证明是驯服映射，由全纯映射 T: 𝒞³(ℂℙ¹) → PSL(2,ℂ) 诱导，确认其在非退化型上为双正则且对合的性质。