[論文レビュー] On the cohomology of real Grassmann manifolds

Luis Casian, Yuji Kodama|arXiv (Cornell University)|Sep 21, 2013

Geometric Analysis and Curvature Flows参考文献 4被引用数 14

ひとこと要約

本稿では、チェッカー模様に q を埋めたヤング図形を用いて、実グラスマン多様体 Gr(k,n) の整数係数コホモロジーの新規構成を提示する。この構成により、ベッチ数を符号化するポincare多項式が得られる。自明係数とねじれた係数のコホモロジーの双対性が確立され、Gr(k,n) 上の 𝔽_q-点の数と関連づけられ、ポントリャーギン類を含む環構造についての予想が提示される。

ABSTRACT

We give an explicit and simple construction of the incidence graph for the integral cohomology of real Grassmann manifold Gr(k,n) in terms of the Young diagrams filled with the letter q in checkered pattern. It turns out that there are two types of graphs, one for the trivial coefficients and other for the twisted coefficients, and they compute the homology groups of the orientable and non-orientable cases of Gr(k,n) via the Poincaré-Verdier duality. We also give an explicit formula of the Poincaré polynomial for Gr(k,n) and show that the Poincaré polynomial is also related to the number of points on Gr(k,n) over a finite field {F}_q with q being a power of prime which is also used in the Young diagrams.

研究の動機と目的

• 実グラスマン多様体 Gr(k,n) の整数係数コホモロジーの明示的で組合せ論的な記述を提供すること。
• 多項式的構成を用いて、Gr(k,n) 上の 𝔽_q-点の数とコホモロジーを関連づけること。
• 自明係数とねじれた係数のコホモロジーの間の双対性を確立し、それらが可縮と非可縮の場合に対応することを示すこと。
• ポントリャーギン類とシューベルト類を用いたコホモロジーリングの構造を予想すること。

提案手法

• シューベルト胞体に対応するヤング図形を用いて、Gr(k,n) の余コホモロジー複体を構成し、その要素に q をチェッカー模様で埋め込む。
• これらの q-重み付き図形に対する交項和を用いて多項式を定義し、Gr(k,n) のポincare多項式を計算する。
• ポincare-ヴェルディエ双対性を用いて、自明係数（可縮の場合）のコホモロジーとねじれた係数（非可縮の場合）のコホモロジーを関連づける。
• ポincare多項式と Gr(k,n) 上の 𝔽_q-点の数との間の対応関係を確立し、両者の構成が一致することを示す。
• シューベルト胞体のインシデントグラフを用いて、双対性を通じてベッチ数とホモロジー群を計算する。
• 特定のケースにおいて、ポントリャーギン類に加えて追加の生成子を含む、コホモロジーリングの提示を予想する。

実験結果

リサーチクエスチョン

• RQ1 実グラスマン多様体 Gr(k,n) の整数係数コホモロジーを、組合せ論的データを用いてどのように明示的に構成できるか？
• RQ2 q-重み付きヤング図形から得られるポincare多項式と、Gr(k,n) 上の 𝔽_q-点の数の間にはどのような関係があるか？
• RQ3 コホモロジーにおける自明係数とねじれた係数の関係は、Gr(k,n) の可縮性とどのように関係するか？
• RQ4 H*(Gr(k,n), ℝ) の環構造は何か？ そしてポントリャーギン類とどのように関連するか？
• RQ5 どの場合に、ポントリャーギン類に加えて、追加の生成子が必要となるか？

主な発見

• Gr(k,n) のポincare多項式は、q-重み付きヤング図形に対する交項和として明示的に計算され、𝔽_q-点の数の母関数と一致する。
• 二種類の異なるインシデントグラフが構成された：自明係数（可縮の場合）とねじれた係数（非可縮の場合）に対応するもので、q ↔ 1 の交換によって関連づけられる。
• Poincaré-ヴェルディエ双対性を用いて、Gr(k,n) のホモロジー群が計算された：Gr(2,5) に対して H_j(Gr(k,n), ℤ) ≅ H^{6−j}(Gr(k,n), ℒ) が成り立ち、次数 1, 3, 4, 5 に torsion が存在する。
• Gr(2,5) に対して、ねじれた係数のコホモロジーは H^0 = 0, H^1 = ℤ₂, H^2 = ℤ, H^3 = ℤ₂, H^4 = ℤ₂, H^5 = ℤ₂, H^6 = ℤ を得る。
• コホモロジーリングは、ポントリャーギン類の多項式環の商環であると予想されるが、(k,n) = (2j+1, 2m+2) の場合に、フック型のヤング図形に対応する追加の生成子 r が必要となる。
• この構成により、トポロジー的不変量（ベッチ数、 torsion）と算術幾何学（𝔽_q-点）が統合され、トポロジーと数論の間の深い関係が示された。