[论文解读] Degrees of maps between Grassmann manifolds

Parameswaran Sankaran, Swagata Sarkar|ArXiv.org|May 5, 2008

Advanced Topics in Algebra参考文献 7被引用 4

一句话总结

本文研究了相同实维数的复 Grassmann 流形与四元数 Grassmann 流形之间连续映射的次数。利用上同调技术，包括 Lefschetz 对偶性和二次型上的丢番图分析，证明了当目标 Grassmann 流形的维数至少为 2 且源流形足够大时，此类映射的次数为零；且仅当流形完全相同时，次数为 ±1 才意味着同伦等价。

ABSTRACT

Let $f:G_{n,k}\longrightarrow G_{m,l}$ be any continuous map between any two distinct complex Grassmann manifolds of the same dimension where the target is not the complex projective space. We show that, for any given $k,l$, the degree of $f$ is zero provided that $m,n$ are sufficiently large. If the degree of $f$ is $\pm 1$, we show that $(m,l)=(n,k)$ and $f$ is a homotopy equivalence. Also, we prove that the image under $f^*$ of elements of a set of algebra generators of $H^*(G_{m,l};\mathbb{Q})$ is determined upto a sign, $\pm$, if the degree of $f$ is non-zero. Our proofs cover the case of quaternionic Grassmann manifolds as well.

研究动机与目标

• 确定复 Grassmann 流形与四元数 Grassmann 流形之间连续映射的可能次数，这些流形具有相同的实维数。
• 建立此类映射必须具有零次数的条件，特别是当目标 Grassmann 流形的维数 ≥2 时。
• 刻画次数为 ±1 的映射，表明仅当源与目标 Grassmann 流形完全相同时，此类映射才必为同伦等价。
• 分析上同调代数生成元在诱导上同调映射下的像，证明当次数非零时，这些像仅在符号上确定。
• 将问题约化为一个丢番图方程，并应用 Siegel 关于四次曲线整点的定理。

提出的方法

• 使用强 Lefschetz 定理与 Poincaré 对偶性分析 Grassmann 流形上同调环的结构。
• 将次数条件约化为形如 $ y^2 = F(x) $ 的丢番图方程，其中 $ F(x) $ 是具有互异根的四次多项式。
• 应用 Siegel 关于亏格 ≥1 曲线整点的定理，证明该方程仅有有限多个解，从而推出当 $ n $ 足够大时次数为零。
• 利用 Lefschetz 分解与上同调类的 Hodge 理论性质，约束拉回映射下代数生成元的像。
• 通过 Schubert 流形及其次数分析上同调代数的环结构。
• 使用 Dirichlet 单位定理及实二次域整环的性质，界定相关范数方程的解。

实验结果

研究问题

• RQ1 在何种条件下，相同实维数的 Grassmann 流形之间连续映射的次数必为零？
• RQ2 在何种条件下，Grassmann 流形之间次数为 ±1 的映射必为同伦等价？
• RQ3 当次数非零时，上同调代数生成元在拉回映射下的像受到何种约束？
• RQ4 在等维 Grassmann 流形之间存在非零次数映射时，必须满足何种丢番图条件？
• RQ5 当目标流形维数 ≥2 时，是否可排除源流形维数足够大时此类映射的存在性？

主要发现

• 对于 $ f: ext{Gr}(n,k) o ext{Gr}(m,l) $，若 $ l eq 1 $ 且 $ n, m $ 足够大，则 $ f $ 的次数为零。
• 若 $ f $ 的次数 $ \neq 0 $，则每个代数生成元 $ u_i \to H^{2i}\big(\text{Gr}(m,l);\bQ\big) $ 在 $ f^* $ 下的像仅在符号上确定。
• 当 $ 2 \neq l < k $ 且 $ m,n \to \big( \text{满足 } k(n-k) = l(m-l) \big) $ 时，次数为零，除非 $ (l^2-1)(k^2-1)((m-l)^2-1)((n-k)^2-1) $ 为完全平方数。
• 若 $ f $ 的次数 $ \neq 0 $，则 $ f^* $ 将 $ \text{Gr}(m,l) $ 的上同调代数映射到 $ \text{Gr}(n,k) $ 的上同调代数，其像受 Lefschetz 分解约束。
• 当次数 $ \neq 0 $ 时，映射 $ f $ 必须满足一个涉及维度平方差乘积为完全平方数的丢番图条件。
• 该猜想——当 $ 2 \neq l < k $ 时所有此类映射的次数为零——得到强有力支持：当 $ k=7 $ 时，可能解存在的最小 $ n $ 超过 $ 6.5 \times 10^9 $，当 $ k=3 $ 时，超过 $ 6.18 \times 10^{13} $。