[論文レビュー] Flat vector bundles and open coverings

Huitao Feng, Weiping Zhang|arXiv (Cornell University)|Mar 23, 2016

Geometric and Algebraic Topology参考文献 6被引用数 4

ひとこと要約

本稿は、$2n$次元の閉多様体上のランク $2n$ の平坦なベクトル束のオイラー数に対する一般化された数え上げ公式を、横断的開被覆とマサイ-キュイレン形式的構成を用いて確立する。オイラー数がこのような被覆の頂点によってインデックス付けられた局所的寄与の和に等しいことを示し、計量を保存する仮定を回避する形で、平坦な場合におけるオイラー類の幾何学的・位相的解釈を提供する。これは外代数版のマサイ-キュイレン構成によって実現される。

ABSTRACT

We establish a generic counting formula for the Euler number of a flat vector bundle of rank $2n$ over a $2n$ dimensional closed manifold, in terms of vertices of transversal open coverings of the underlying manifold. We use the Mathai-Quillen formalism to prove our result.

研究の動機と目的

• 閉多様体上の平坦なベクトル束のオイラー数に対する幾何学的公式の開発、特に古典的定理（ガウス＝ボンネ＝ショーン）がオイラー類が消えない場合に失敗する状況における応用。
• オイラー類の計算における計量を保存する接続の制限を克服するため、マサイ-キュイレン形式的構成の外代数版を導入する。
• チェーン予想の幾何的枠組みを一般化し、横断的開被覆に基づく「ミスティック」な数え上げ公式を導出する。
• 曲率や計量適合性に依存しない、組合せ論的および局所的データに焦点を当てた、位相的不変量の計算手法を提供する。

提案手法

• 外代数版のマサイ-キュイレン形式的構成を用いて、$\Lambda^*(E^*)$ の引き戻しにスーパーカラビーダイアグラム $A = \nabla^{ ext{ev/odd}} + c(Z)$ を定義し、計量を保存する接続を要件としないオイラー類の計算を可能にする。
• $\pi^*\Lambda^*(E^*)$ 上にスーパーカラビーダイアグラム $A$ を、クリフォード乗法 $c(Z) = Z^*\wedge - i_Z$ を用いて構成し、$\exp(A^2)$ がファイバーに沿って指数的に減衰することを保証する。
• スーパーカラビーダイアグラムのチャーン＝ヴェイ理論を適用し、$\left(\frac{1}{2\pi}\right)^{\text{rk}(E)}\int_{E/M} \text{tr}_s[\exp(A^2)]$ が $\frac{e(E)}{\widehat{A}(E)^2}$ を表すことを示し、オイラー類に補正を加える。
• 平坦なバンドル $F$ にパラメータ $T$ を持つ一連の計量 $g^{F}_T$ を導入し、スーパーカラビーダイアグラムおよび指数関数 $\exp(-|Y|^2_{g^F_T})$ の振る舞いを制御する。
• 多様体の横断的開被覆に従属する partition of unity を用い、局所的寄与を被覆の頂点付近に局在化することで、グローバルなオイラー数を分解する。
• 極限過程 $T \to \infty$ を適用し、スーパートレースの高次の成分を抽出し、$\mathbf{B}_+$ の有限個の点 $q$ の和に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 ランク $2n$ の平坦なベクトル束が $2n$ 次元多様体上に存在する場合、接続が計量を保存することを仮定せずにオイラー数を計算できるか？
• RQ2 開被覆からの組合せ論的データに基づいて、平坦なバンドルのオイラー数に対する位相的公式は存在するか？
• RQ3 計量を保存しない平坦接続に対して、マサイ-キュイレン形式的構成はどのように適応され、外代数は果たす役割は何か？
• RQ4 横断的開被覆の頂点によってインデックス付けられた局所的寄与の幾何的意味は、平坦なベクトル束の文脈で何を示すか？
• RQ5 チェーン予想の枠組みは、開被覆とスーパーカラビーダイアグラムを含む数え上げ公式によって再解釈可能か？

主な発見

• ランク $2n$ の閉多様体 $M$ 上の平坦なベクトル束 $F$ のオイラー数 $\langle e(F), [M]\rangle$ は、被覆の頂点 $q \in \mathbf{B}_+$ における局所的寄与 $\nu_q$ の和として与えられ、すなわち $\langle e(F), [M]\rangle = \sum_{q \in \mathbf{B}_+} \nu_q$ である。
• この公式は、外代数バンドル $\Lambda^*(E^*)$ にマサイ-キュイレン形式的構成を適用することで導出され、接続が計量を保存することを要件としないオイラー類の計算を可能にする。
• $T \to \infty$ におけるスーパートレース $\text{tr}_s[\exp(A^2)]$ の極限的振る舞いは、有限個の点 $q \in \mathbf{B}_+$ における和に収束し、これは横断的開被覆の頂点に対応する。
• 各頂点 $q$ における局所的寄与 $\nu_q$ は、スーパーカラビーダイアグラムおよび計量 $g^F_T$ の $q$ 近傍での振る舞いによって決定され、$\exp(-|Y|^2_{g^F_T})$ の指数的減衰が収束を保証する。
• この結果は、平坦な場合におけるガウス＝ボンネ＝ショーン定理を一般化し、オイラー数が非ゼロであり得ること、そして離散的・組合せ論的公式によって計算可能であることを示している。
• この公式は開被覆の摂動に対して安定であり、横断性と局所的有限構造にのみ依存するため、位相的および幾何的応用に適している。