[論文レビュー] Counting functions for branched covers of elliptic curves and quasi-modular forms

Hiroyuki Ochiai|ArXiv.org|Sep 19, 1999

Algebraic Geometry and Number Theory参考文献 7被引用数 4

ひとこと要約

この論文は、楕円曲線のm-単純な分岐被覆の数え上げ関数が、Eisenstein級数E₂、E₄、E₆の多項式であることを確立している。代数幾何学およびモジュラー形式の技術を用いて、著者はこれらの数え上げ関数が準モジュラー形式であることを証明し、m=2の場合のDijkgraafの結果を一般化し、より高いmの場合の体系的な代数的構造を提供する。

ABSTRACT

We prove that each counting function of the m-simple branched covers with a fixed genus of an elliptic curve is expressed as a polynomial of the Eisenstein series E_2, E_4 and E_6 . The special case m=2 is considered by Dijkgraaf.

研究の動機と目的

• 楕円曲線のm-単純な分岐被覆の数え上げ関数の代数的構造を特定すること。
• これらの数え上げ関数がモジュラーまたは準モジュラー性を示すかどうかを調査すること。
• Dijkgraafのm=2の場合の結果を任意のm ≥ 2に一般化すること。
• 数え上げ関数を古典的Eisenstein級数の多項式として表現すること。
• 被覆の組合せ的幾何学とモジュラー形式との間の明確な関係を確立すること。

提案手法

• 固定された genus と m-単純な分岐を持つ楕円曲線の被覆を分析するための代数幾何学的手法を用いる。
• 整数格子多面体のEhrhart理論を用いて、許容可能な分岐被覆構成を数える。
• 母関数とオビフォールドオイラー係数を用いて数え上げ関数を導出する。
• E₂、E₄、E₆によって生成されるモジュラー形式の環の構造と、準モジュラー形式の理論に依拠する。
• 数え上げ関数がモジュラー群の作用の下で準モジュラー形式として変換されることを示す。
• このような被覆の生成関数が、重み2g−2+2mの準モジュラー形式であるという事実を用いる。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線のm-単純な分岐被覆の数え上げ関数は、Eisenstein級数の多項式として表現可能か？
• RQ2 これらの数え上げ関数は、モジュラー群の作用の下で準モジュラー性を示すか？
• RQ3 mが増加するにつれて、数え上げ関数の構造はどのように変化するか？
• RQ4 すべてのm ≥ 2に対して一様な代数的表現が存在するか、m=2の場合の一般化となるか？
• RQ5 このような被覆の生成関数の正確なモジュラー形式構造は何か？

主な発見

• 楕円曲線のm-単純な分岐被覆の各数え上げ関数は、Eisenstein級数E₂、E₄、E₆の多項式である。
• 数え上げ関数は、被覆面の genus g に対して、重み2g−2+2mの準モジュラー形式である。
• この結果は、Dijkgraafのm=2の場合の先行結果を一般化し、生成関数が準モジュラー形式であることを確認する。
• 数え上げ関数の構造は、特定の楕円曲線に依存せず、mとgにのみ依存する。
• E₂、E₄、E₆によって生成される準モジュラー形式の環は、このような組合せ的不変量の普遍的な枠組みを提供する。
• 証明は、オビフォールドオイラー係数と関連する多面体のEhrhart理論に依拠し、多項式構造を導出する。