[論文レビュー] Trinity of the Eisenstein series

Toshiki Matsusaka|arXiv (Cornell University)|Mar 27, 2020

Advanced Mathematical Identities被引用数 3

ひとこと要約

本稿は、重さ2の放物型、楕円型、双曲型のイーゼンスタイン級数を統一的な枠組みで扱うものであり、これらが共に調和的／極的調和的／局所調和的モース形式を形成することを示している。著者らは、双曲型イーゼンスタイン級数を用いて双曲型ラデマッハ記号を再定義し、実二次無理数の連分数展開の係数を用いて明示的に表現することで、この記号に新たな算術的解釈を与える。

ABSTRACT

We study the weight 2 parabolic/elliptic/hyperbolic Eisenstein series, which gives a harmonic/polar harmonic/locally harmonic Maass form, simultaneously. Furthermore, by means of the hyperbolic Eisenstein series, we can redefine the hyperbolic Rademacher symbol introduced by Duke-Imamoglu-Toth. The symbol is expressed explicitly in terms of continued fraction coefficients of the corresponding two real quadratic irrationals.

研究の動機と目的

• 重さ2の放物型、楕円型、双曲型のイーゼンスタイン級数を、一つの調和的モース形式の枠組みで統一的に扱うこと。
• 双曲型イーゼンスタイン級数を用いて、双曲型ラデマッハ記号に新たな算術的解釈を与えること。
• 双曲型ラデマッハ記号を、実二次無理数の連分数係数を明示的に用いて表現すること。
• 局所調和的モース形式の文脈において、モジュラー形式、連分数、算術の間のより深い関係を確立すること。

提案手法

• 本稿は、スペクトルパラメータに応じて放物型、楕円型、双曲型の性質を同時に示す、重さ2の1つのイーゼンスタイン級数を構成する。
• 双曲型イーゼンスタイン級数を根幹とする部分として、双曲型ラデマッハ記号の定義と再表現を実施する。
• この手法は、自己同型形式のスペクトル理論と、モジュラー群におけるイーゼンスタイン級数の変換性に依拠している。
• 実二次無理数の連分数展開を用いて双曲型ラデマッハ記号をパrameter化し、数論とモジュラー形式を結びつける。
• 構成により、得られる対象は、CM点に特異性を持つ局所調和的モース形式であることが保証される。
• 双曲型イーゼンスタイン級数のフーリエ展開とスペクトル分解を用いて、双曲型ラデマッハ記号の明示的公式が導出される。

実験結果

リサーチクエスチョン

• RQ1 放物型、楕円型、双曲型のイーゼンスタイン級数は、どのように一つの調和的モース形式に統一できるか？
• RQ2 双曲型ラデマッハ記号は、実二次無理数の連分数係数を用いてどのように明示的に表現できるか？
• RQ3 双曲型イーゼンスタイン級数は、どのように双曲型ラデマッハ記号の再定義を可能にするか？
• RQ4 これらの3種類のイーゼンスタイン級数の共同的な振る舞いから、どのようなスペクトル的・算術的性質が生じるか？
• RQ5 局所調和的モース形式の構造は、統合されたイーゼンスタイン級数においてどのように現れるか？

主な発見

• 重さ2のイーゼンスタイン級数は、同時に放物型、楕円型、双曲型の性質を有し、一つの調和的／極的調和的／局所調和的モース形式を形成する。
• 双曲型ラデマッハ記号は、双曲型イーゼンスタイン級数を用いて再定義され、新たなスペクトル的・算術的解釈が与えられる。
• この記号は、双曲型測地線に関連する2つの実二次無理数の連分数係数を用いて明示的に表現される。
• 得られる形式は、CM点に特異性を持つ局所調和的モース形式であり、イーゼンスタイン級数の算術的性質を反映している。
• この構成により、モジュラー形式、連分数、算術の間の直接的な関係が確立される。
• この手法は、自己同型形式の視点から実二次無理数の算術を研究するための新たなツールを提供する。