[論文レビュー] Thomae's formulae for non-hyperelliptic curves and spinorial square roots of theta-constants on the moduli space of curves

N. I. Shepherd‐Barron|ArXiv.org|Feb 21, 2008

History and Theory of Mathematics参考文献 1被引用数 7

ひとこと要約

この論文は、曲線のモジュライ空間上のtheta定数のスピン性の平方根を構成することにより、非双曲的曲線へのトマエの公式の拡張を試みる。幾何学的不変量理論とヒルベルト汎関手を用い、捩れ体とtheta特性を関連付ける写像π₁、π₂、π₃を定義し、すべてのN ≥ 2に対して有効な枠組みを確立する。これは、古典的なtheta関係式を非双曲的設定へ一般化するものである。

ABSTRACT

Determinantal formulae for Jacobian theta functions that go back to Klein are elaborated, via an idea due to Matone and Volpato. Also, the natural square roots of theta constants on the moduli space of curves whose existence was shown by Tsuyumine are proved to have a spinorial structure.

研究の動機と目的

• 双曲的曲線に限定されていたトマエの古典的公式を、非双曲的曲線へ一般化すること。
• 曲線のモジュライ空間上でのtheta定数のスピン性の平方根を構成すること。
• ヒルベルト汎関手と射影を用いて、捩れ体とtheta特性を関連付ける幾何的写像π₁、π₂、π₃を定義すること。
• すべてのN ≥ 2に対して有効な枠組みを確立し、既知の結果を双曲的ケースを超えて拡張すること。
• 射影空間内の捩れ体と線型包の関係を用いたtheta特性の幾何的構成を提供すること。

提案手法

• π₁をϕとP(W₀)への射影の合成として定義し、捩れ体Xをϕによる像の線型包へ写像する。
• 幾何的性質が良好になるように、ヒルベルト汎関手Hilb_{P(V), 2²g}の開部分スキームHilb⁰を用いる。
• 射影pr₁: P(V₀) × P(W₀) → P(V₀)を用いて、写像q₁: Hilb⁰ → Hilb_{P(V₀), 2²g}を構成する。
• Ag,N,ϑの幾何的点構造を用いて、torsor XsのP(V)内での像を分析し、P(V₀)のコピーと関連付ける。
• 幾何学的不変量理論の技術を適用し、写像π₂とπ₃が開部分スキームHilb⁰上で正しく定義されることを保証する。
• π₁の合成構造と誘導写像を活用し、モジュライ空間をまたいでtheta特性と捩れ体を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 トマエの公式は、古典的な双曲的設定を超えて、非双曲的曲線へどのように拡張可能か？
• RQ2 曲線のモジュライ空間上でのtheta定数のスピン性の平方根を定義するための幾何的構成は何か？
• RQ3 ヒルベルト汎関手の文脈において、写像π₁、π₂、π₃はどのように捩れ体とtheta特性を関連付けるか？
• RQ4 開部分スキームHilb⁰は、すべてのN ≥ 2において写像の正当性を保証するために果たす役割は何か？
• RQ5 ϕによる写像下での捩れ体の像は、P(V)内でどのように線型包とtheta特性に関連するか？

主な発見

• ϕとP(W₀)への射影の合成として定義されるπ₁は、捩れ体とその線型包との間に幾何的リンクを提供する。
• 開部分スキームHilb⁰の存在により、写像q₁: Hilb⁰ → Hilb_{P(V₀), 2²g}が正しく定義され、幾何的に意味を持つようになる。
• 写像π₁はすべてのN ≥ 2に対して有効であり、枠組みの適用範囲を双曲的ケースを超えて拡張する。
• 各捩れ体Xsのϕによる像は、P(V₀)のコピーのいずれかに含まれるため、theta特性の体系的分類が可能になる。
• 古典的なtheta関係式が、モジュライ理論的および幾何学的不変量理論の文脈に埋め込まれることで、成功裏に一般化された。
• ヒルベルト汎関手と射影の使用により、非双曲的曲線全体にわたってtheta定数とスピン性の平方根を一様に取り扱えるようになった。