[論文レビュー] The area is a good enough metric

Matteo Costantini, Martin Möller+1 more|arXiv (Cornell University)|Oct 30, 2019

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

この論文は、アーベル微分の層の滑らかなコンパクト化を $k$-微分へ拡張し、有限面積を持つ $k$-微分の射影化された層の上での平坦面積計量が、第一チャーン類を表す曲率形式を持つエルミート計量を誘導することを確立した。この結果により、$k$-微分におけるチャーン＝ヴェイユ理論への面積計量の応用が正当化され、シーゲル＝ヴィーチ定数やマスール＝ヴィーチ体積の計算への応用が可能になる。

ABSTRACT

In the first part we extend the construction of the smooth normal-crossing divisors compactification of projectivized strata of abelian differentials given by Bainbridge, Chen, Gendron, Grushevsky and Moeller to the case of k-differentials. Since the generalized construction is closely related to the original one, we mainly survey their results and justify the details that need to be adapted in the more general context. In the second part we show that the flat area provides a canonical hermitian metric on the tautological bundle over the projectivized strata of finite area k-differentials whose curvature form represents the first Chern class. This result is useful in order to apply Chern-Weyl theory tools. It has already been used as an assumption in the work of Sauvaget for abelian differentials and is also used in a paper of Chen, Möller and Sauvaget for quadratic differentials.

研究の動機と目的

• アーベル微分の層の滑らかな正交交差コンパクト化を $k$-微分の状況に拡張すること。
• 有限面積を持つ $k$-微分の射影化された層の上での平坦面積計量が、第一チャーン類を表す曲率を持つエルミート計量を誘導することを正当化すること。
• チャーン＝ヴェイユ理論への応用を支援するため、面積計量が $k$-微分の文脈で十分であることを検証すること。
• 標準被覆と摂動させた周期座標を用いて、アーベル微分から $k$-微分への構成の形式的拡張を定式化すること。
• シーゲル＝ヴィーチ定数やマスール＝ヴィーチ体積のような不変量の計算の基盤を提供すること。

提案手法

• ベインブリッジらによるアーベル微分の構成を、標準被覆とねじれた $k$-微分を用いて $k$-微分へ適応する。
• 鋸歯の一致（prong-matchings）とレベル回転トーラスを導入し、コンパクト化過程における退化を扱う。
• 正交交差境界を持つ、マルチスケール $k$-微分のコンパクト化されたモジュライ空間の位相的空間を構成する。
• 局所座標系として摂動させた周期座標を用い、コンパクト化上の複素構造を定義する。
• 極座標における推定と積分の上限を用い、境界成分上の積分が極限で消えることを示し、計量の曲率が適切に定義されることを保証する。
• パrameter数に関する帰納法を用い、$x_{(-i),j}$ 変数を含む積分がカットオフ $\delta \to 0$ の極限で消えることを示し、計量の正則性を確認する。

実験結果

リサーチクエスチョン

• RQ1 アーベル微分の層の滑らかなコンパクト化は、同じ構造的性質を保ちつつ $k$-微分へ一般化可能か？
• RQ2 有限面積を持つ $k$-微分の射影化された層の上での平坦面積計量が、第一チャーン類を表す曲率を持つエルミート計量を誘導するか？
• RQ3 境界上で滑らかに拡張されないにもかかわらず、面積計量が $k$-微分の文脈におけるチャーン＝ヴェイユ理論の応用に十分であるか？
• RQ4 摂動させた周期座標と構築ブロック積分は退化極限でどのように振る舞い、有限のままであるか？
• RQ5 カットオフ $\delta \to 0$ の境界成分における $x_{(-i),j}$ 変数を含む積分の振る舞いはいかなるか？

主な発見

• $\Xi^{k}\overline{\mathcal{M}}_{g,n}(\mu)$ は、正交交差境界 divisor を持つ複素軌道的多様体である。
• 射影化されたコンパクト化 $\mathbb{P}\Xi^{k}\overline{\mathcal{M}}_{g,n}(\mu)$ は、$k$-微分の射影化された層のコンパクト化である。
• 平坦面積計量は、第一チャーン類を表す曲率形式を持つ、自己同型線束 $\mathcal{O}(-1)$ 上のエルミート計量を誘導する。
• 境界成分上の $x_{(-i),j}$ 変数を含む積分は、極限 $\delta \to 0$ で消える。これにより計量の正則性が確認される。
• 摂動させた周期座標は、適切に振る舞う局所座標系を提供し、コンパクト化上の複素構造の構成を可能にする。
• この結果により、$k$-微分におけるチャーン＝ヴェイユ理論への面積計量の使用が正当化され、体積計算および力学的不変量の計算が支援される。