[论文解读] Holomorphic factorization of mappings into SL_n(C)

Björn Ivarsson, Frank Kutzschebauch|ArXiv.org|Dec 1, 2008

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

一句话总结

本文通过证明从有限维约化 Stein 空间到 SLₙ(ℂ) 的任意同伦平凡全纯映射可分解为具有全纯系数的幂幺矩阵的有限乘积，从而解决了 Gromov 的 Vaserstein 问题。证明运用了适用于分层纤维丛的 Oka-Grauert-Gromov h-原理，建立了仅依赖于定义域维数和矩阵大小的因子数的统一上界。

ABSTRACT

We solve Gromov's Vaserstein problem. Namely, we show that a null-homotopic holomorphic mapping from a finite dimensional reduced Stein space into SL_n(C) can be factored into a finite product of unipotent matrices with holomorphic entries.

研究动机与目标

• 解决关于映射进入 SLₙ(ℂ) 的全纯分解的 Gromov Vaserstein 问题。
• 证明从有限维约化 Stein 空间到 SLₙ(ℂ) 的同伦平凡全纯映射可分解为全纯幂幺矩阵。
• 证明存在一个统一的上界，使得所需幂幺因子的数量仅依赖于定义域的维数和矩阵的大小。

提出的方法

• 将 Oka-Grauert-Gromov h-原理应用于与矩阵分解问题相关的分层纤维丛。
• 在 Stein 空间上构造一个纤维同构于某些多项式映射的水平集的纤维丛，从而可使用全纯喷射。
• 在光滑层上使用全局可积向量场和喷射，从拓扑截面构造全纯截面。
• 借助 Vaserstein 关于连续分解的结果，推导出存在一个拓扑截面，该截面通过 h-原理被提升为全纯截面。
• 通过矩阵大小和基空间的分层结构进行归纳论证，以处理奇异纤维并确保全局全纯分解。
• 使用反证法建立所有此类映射中幂幺因子数量的统一上界。

实验结果

研究问题

• RQ1 每个从有限维约化 Stein 空间到 SLₙ(ℂ) 的同伦平凡全纯映射是否都能分解为具有全纯系数的幂幺矩阵的有限乘积？
• RQ2 是否存在一个统一的上界，使得此类分解所需的幂幺因子数量仅依赖于定义域的维数和矩阵大小？
• RQ3 在连续情形（K_C(m,n)）和全holomorphic 情形（K_O(m,n)）中，所需因子数之间的关系如何，特别是当 n=2 时？

主要发现

• 每个同伦平凡的全纯映射 f: X → SLₙ(ℂ)，其中 X 是有限维约化 Stein 空间，均可分解为具有全纯系数的幂幺矩阵的有限乘积。
• 存在一个统一的上界 K，使得任意此类映射最多可分解为 K 个幂幺矩阵，且 K 仅依赖于 X 的维数 m 和矩阵大小 n。
• 当 n=2 时，全纯分解数 K_O(m,2) 满足 K_O(m,2) ≤ K_C(m,2) + 4，其中 K_C(m,2) 是连续情形的上界。
• 证明表明 h-原理论证中使用的纤维丛具有全纯截面，该截面可从 Vaserstein 结果保证的拓扑截面提升而来。
• 所有维数为 m 的 Stein 空间及所有映射到 SLₙ(ℂ) 的同伦平凡映射中，因子数量在全纯范畴内均被统一有界。
• Cohn 关于多项式映射在 SL₂(ℂ[z₁,z₂]) 中的反例需要 5 个全纯幂幺因子，尽管其在连续情形下仅需 4 个，表明连续与全纯情形之间存在严格差距。