[論文レビュー] Degrees of maps between Grassmann manifolds

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

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

ひとこと要約

この論文は、同じ実次元をもつ複素およびクaternion的グラスマン多様体間の連続写像の次数を調査する。コhomology的技法、特にLefschetz双対性と二次形式に関するディオファントス解析を用いて、標的グラスマン多様体の次元が2以上であり、被覆が十分に大きい場合には、このような写像の次数は0であることを証明する。また、次数が±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.

研究の動機と目的

• 同じ実次元をもつ複素およびクォaternion的グラスマン多様体間の連続写像の可能な次数を特定すること。
• 標的グラスマン多様体の次元が≥2である場合、このような写像が次数0であるべき条件を確立すること、特にその場合。
• 次数が±1である写像を特徴づけ、それが源と標的が同一のグラスマン多様体である場合にのみホモトピー同値であることを示すこと。
• 誘導写像によるコhomology代数の生成元の像を分析し、次数が非ゼロのとき、それが符号を除き一意に定まることを示すこと。
• 問題をディオファントス方程式に還元し、四次曲線の整数点に関するSiegelの定理を適用すること。

提案手法

• グラスマン多様体のコhomology環の構造を解析するため、ハードLefschetz定理およびPoincaré双対性の使用。
• 次数条件を、根が相異なる四次多項式 $ F(x) $ を持つ形 $ y^2 = F(x) $ のディオファントス方程式に還元すること。
• genus ≥1 の曲線の整数点に関するSiegelの定理を適用し、方程式が有限個の解しか持たないことを示し、$ n $ が十分に大きい場合に次数が0であることを導く。
• Lefschetz分解およびコhomology類のホッジ的性質を用いて、代数的生成元の引き戻し写像による像を制約すること。
• シューベルト多様体とその次数を用いたコhomology代数の環構造の分析。
• ディリクレの単位定理および実二次体の整数環の性質を用いて、関連するノルム方程式の解を有界化すること。

実験結果

リサーチクエスチョン

• RQ1 同じ実次元をもつグラスマン多様体間の連続写像の次数が、常に0である条件は何か？
• RQ2 グラスマン多様体間の写像が次数±1であるとき、それが常にホモトピー同値であるのはどのような場合か？
• RQ3 次数が非ゼロのとき、コhomology代数の生成子の引き戻し写像による像はどのように制約されるか？
• RQ4 同じ次元のグラスマン多様体間で非ゼロ次数の写像が存在するためのディオファントス的条件は何か？
• RQ5 標的の次元が≥2である場合、源の次元が十分に大きい場合には、そのような写像の存在が排除できるか？

主な発見

• $ f: \text{Gr}(n,k) \to \text{Gr}(m,l) $ で $ l \neq 1 $ かつ $ n, m $ が十分に大きいとき、$ f $ の次数は0である。
• $ f $ の次数が非ゼロであれば、各代数的生成子 $ u_i \to H^{2i}(\text{Gr}(m,l);\bQ) $ が $ f^* $ で写される像は符号を除き一意に定まる。
• $ 2 \neq l < k $ かつ $ m,n \to \big( \text{with } k(n-k) = l(m-l) \big) $ のとき、$ (l^2-1)(k^2-1)((m-l)^2-1)((n-k)^2-1) $ が完全平方でない限り、次数は0である。
• $ f $ の次数が非ゼロであれば、$ f^* $ は $ \text{Gr}(m,l) $ のコhomology代数を $ \text{Gr}(n,k) $ のコhomology代数に写し、Lefschetz分解によって制約を受ける。
• 次数が非ゼロのとき、写像 $ f $ は次元の差の二乗の積が完全平方であるというディオファントス的条件を満たさなければならない。
• $ 2 \neq l < k $ の場合、すべての写像の次数が0であるという予想は強く支持される：$ k=7 $ の場合、解が存在する可能性がある最小の $ n $ は $ 6.5 \times 10^9 $ を超え、$ k=3 $ の場合、$ 6.18 \times 10^{13} $ を超える。