[論文レビュー] Torus bundles and 2-forms on the universal family of Riemann surfaces

Robin de Jong|arXiv (Cornell University)|Jan 1, 2014

Algebraic Geometry and Number Theory参考文献 29被引用数 5

ひとこと要約

この論文は、ミラー＝モリタ＝マウンドクラス e と e₁ と関連付けるために、普遍的リーマン面族上のモリタの整数係数コホモロジー類を、それらの代表2形式を分析することで再検討する。特に、カワズミの不変量 a_g の第二変分に関する結果について、新しい証明を提示し、アラケロフ計量の比較を通じて a_g をファルティンズのデルタ不変量およびハイン＝リードのベータ不変量と結びつける。

ABSTRACT

We revisit three results due to Morita expressing certain natural integral cohomology classes on the universal family of Riemann surfaces C_g, coming from the parallel symplectic form on the universal jacobian, in terms of the Miller-Morita-Mumford classes e and e_1. Our discussion will be on the level of the natural 2-forms representing the relevant cohomology classes, and involves a comparison with other natural 2-forms representing e, e_1 induced by the Arakelov metric on the relative tangent bundle of C_g over M_g. A secondary object called a_g occurs, which was discovered and studied by Kawazumi around 2008. We present alternative proofs of Kawazumi's (unpublished) results on the second variation of a_g on M_g. Also we review some results that were previously obtained on the invariant a_g, with a focus on its connection with Faltings's delta-invariant and Hain-Reed's beta-invariant.

研究の動機と目的

• 普遍的リーマン面族上のモリタの整数係数コホモロジー類を、微分形式としての2形式を用いて再解釈すること。
• 普遍ジャコビアン上のシンプレクティック形式から生じる e と e₁ を表す2形式と、C_g が M_g 上にある相対接ベクトル bundle 上のアラケロフ計量から生じる2形式との比較を行うこと。
• カワズミが未発表のままにした、モジュライ空間 M_g 上における不変量 a_g の第二変分に関する結果の代替的証明を提供すること。
• a_g と他の不変量、特にファルティンズのデルタ不変量およびハイン＝リードのベータ不変量との関係を明確にすること。
• 普遍的曲線族の文脈において、a_g を算術的および幾何的不変量と結びつける幾何的・コホモロジー的枠組みを確立すること。

提案手法

• 普遍的リーマン面族 C_g 上のコホモロジー類 e と e₁ を表す自然な2形式を分析する。
• 普遍ジャコビアン上のシンプレクティック2形式と、C_g が M_g 上に投影される相対接ベクトル bundle 上のアラケロフ計量から誘導される2形式を比較する。
• 微分幾何的技法を用いて、モジュライ空間 M_g 上におけるカワズミの不変量 a_g の第二変分を研究する。
• 既知の a_g に関する結果を応用し、そのファルティンズのデルタ不変量およびハイン＝リードのベータ不変量との関係を導出する。
• コホモロジー的および幾何的手法を用いて、e と e₁ を表す2形式を標準的特徴類の言語で表現する。
• シンプレクティック幾何、アラケロフ理論、モジュライ空間不変量の相互作用に依拠して、新しい恒等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 普遍的リーマン面族上でのミラー＝モリタ＝マウンドクラス e と e₁ を表す2形式は、アラケロフ計量とどのように関係するか？
• RQ2 モジュライ空間 M_g 上におけるカワズミの不変量 a_g の第二変分は何か？ そして、幾何的技法を用いて再証明できるか？
• RQ3 不変量 a_g は、ファルティンズのデルタ不変量およびハイン＝リードのベータ不変量と、どのような形で関係するか？
• RQ4 普遍ジャコビアン上のシンプレクティック2形式と、相対接ベクトル bundle 上のアラケロフ2形式は、どのように比較できるか？
• RQ5 e と e₁ を表す2形式の、C_g → M_g 上の幾何的構造に基づく正確なコホモロジー的解釈は何か？

主な発見

• 本論文は、M_g 上におけるカワズミの不変量 a_g の第二変分に関する結果について、新たな代替的証明を提示し、その幾何的意義を確認する。
• 2形式の比較を通じて、不変量 a_g とファルティンズのデルタ不変量との直接的な関係を確立する。
• 普遍ジャコビアン上のシンプレクティック構造から生じる e と e₁ を表す2形式が、アラケロフ計量から生じる2形式と、閉形式を除いて一致することが示される。
• 不変量 a_g がハイン＝リードのベータ不変量と密接に関係していることが判明し、モジュライ理論における算術的・幾何的双対性の深い構造を示唆する。
• コホモロジー類 e と e₁ が、相対接ベクトル bundle 上の自然なヒルベルト計量の曲率形式として自然に解釈できることを明らかにする。
• 解析により、e と e₁ を表す2形式が、コホモロジー的に同値であるだけでなく、アラケロフ計量を通じて幾何的に関係していることが確認され、その解釈が豊かに拡張される。