[論文レビュー] Real bundle automorphisms, Cauchy Riemann operators and orientability of moduli spaces

Rémi Crétois|arXiv (Cornell University)|Sep 12, 2013

Geometric and Algebraic Topology参考文献 7被引用数 3

ひとこと要約

本稿は、複素ベクトルバンドルに実構造を備えた実曲線上の実コーシー＝リーマン作用素の空間における、行列式ラインバンドルの方向付けに対する自己同型作用の符号を計算する。実擬正則曲線のモジュライ空間の可定向性は、置換作用の符号と $σ^{\pm}$ 構造、および実 $σπ$ 構造の bordism 群類によって支配され、その結果、これらのモジュライ空間の第一スティーフェル＝ホイットニー類が、標準ラインバンドルと実コホモロジー類の言語で明示的な式で与えられる。

ABSTRACT

This paper consists in a very brief English summary of the results appearing in French in two previous articles. We omit the proofs and focus on explaining our approach and theorems. This paper is not intended to be published. Questions are welcome. In our work, we considered a complex vector bundle $N$ equipped with a real structure $c_N$ over a real curve of arbitrary genus. We computed the sign of the action of an automorphism of $(N,c_N)$ on the orientations of the determinant line bundle over the space of Cauchy-Riemann operators on $(N,c_N)$. We first considered the automorphisms lifting the identity on the curve (in the first article). In this case, we obtained the sign as a product of two terms. The first one computes the signature of the permutations induced by the automorphisms acting in the $Pin^\pm$ structures on the real part of $(N,c_N)$. The second one comes from the action of the automorphisms of $(N,c_N)$ on the bordism classes of real $Spin$ structures on the curve. We then studied the general case in the second article. As an application of these results, we computed the first Stiefel-Whitney class of the moduli space of real pseudoholomorphic curves in many cases.

研究の動機と目的

• 実コーシー＝リーマン作用素の空間上の行列式ラインバンドルの方向付けに対する、実バンドル自己同型の作用の符号を特定すること。
• 実シンプレクティック多様体内の実擬正則曲線のモジュライ空間の可定向性を理解すること。
• 置換作用の符号と $σ^{\pm}$ 構造、$σπ$ bordism 群類といった位相的不変量を用いて、これらのモジュライ空間の第一スティーフェル＝ホイットニー類を計算すること。
• 極化と極化セクションを用いた、標準的向きの存在条件を確立すること。

提案手法

• 実曲線 $(\Sigma_g, c_\Sigma)$ 上の実ベクトルバンドル $(N, c_N)$ の自己同型を分析し、$\Sigma_g$ 上で恒等写像を引き起こすものに注目する。
• 方向付けの符号を二つの成分に分解する：実部 $\mathbb{R}N$ 上の $σ^{\pm}$ 構造における置換作用の符号、および $\Sigma_g$ 上の実 $σπ$ 構造の bordism 群類への作用。
• 微分同相写像 $\varphi$ と $N$ 上へのその上への引き上げ $\Phi$ を含めた一般化により、一般の自己同型へ結果を拡張する。
• モジュライ空間への応用として、モジュライ空間上の行列式バンドルを、標準ラインバンドルと、横断的交差を示す極化 divisor に関連するタウトロジカルバンドル $T_D$ に結びつける。
• 極化セクションを用いて、特定のバンドル（$\mathfrak{p}^+_X$, $O_X^{\mathrm{Spin}}$, $H^1_w(\mathbb{R}\Sigma_g, \mathbb{R})$）を自明化し、行列式ラインバンドルを $\mathfrak{p}^+_X \otimes \det(H^1(\Sigma_g, \mathbb{R})_{-1})^{\otimes n-1} \otimes T_D$ に単純化する。

実験結果

リサーチクエスチョン

• RQ1 実バンドル自己同型の作用が、実コーシー＝リーマン作用素の空間上の行列式ラインバンドルの方向付けにどのように影響するか？
• RQ2 実擬正則曲線のモジュライ空間の可定向性を支配する位相的不変量は何か？
• RQ3 どのような条件下で、実シンプレクティック多様体が、そのモジュライ空間に標準的向きを誘導する極化を備えるか？
• RQ4 モジュライ空間の第一スティーフェル＝ホイットニー類は、幾何的・位相的データの言語でどのように計算できるか？

主な発見

• 自己同型作用の行列式ラインバンドルの方向付けに対する符号は、$σ^{\pm}$ 構造における置換作用の符号と、実 $σπ$ 構造の bordism 群類の積で与えられる。
• 滑らかな超曲面 $X_\delta \subset \mathbb{C}P^N$ 内の実擬正則曲線について、$\delta \equiv N+1 \mod 4$ のとき、モジュライ空間の第一スティーフェル＝ホイットニー類は $w_1(\mathbb{R}_\tau \mathcal{M}^d_{g,r}(X_\delta,J)) = w_1(L_r) + (\delta-1)w_1(\det(H^1(\Sigma_g, \mathbb{R})_{-1}))$ に等しい。
• 極化 divisor $D$ と横断的に交差する曲線のモジュライ空間上の行列式バンドルは、$\mathfrak{p}^+_X \otimes \det(H^1(\Sigma_g, \mathbb{R})_{-1})^{\otimes n-1} \otimes T_D$ に自然に同型である。
• 任意の実シンプレクティック多様体は、極化セクションを介して極化を備え、横断的曲線のモジュライ空間に標準的向きが存在することを保証する。
• 行列式バンドルの標準的同型により、$\mathfrak{D}_{(\underline{\mathbf{d}})}(N)$ への依存性が排除され、向き理論が単純化される。