[論文レビュー] Product formulas for modular forms on O(2,n) (after R.Borcherds)

Maxim Kontsevich|ArXiv.org|Sep 5, 1997

Advanced Algebra and Geometry参考文献 3被引用数 12

ひとこと要約

この論文は、2次形式の符号が(2,n)である直交群O(2,n)上のモジュラー形式のリチャード・ボーアーディングスの積公式について、初等的な解説を提供する。無限積による構成と自動形式理論との関係に焦点を当て、O(2,n)上の特定のモジュラー形式がローレンツ形式の格子の根を用いた無限積として表現可能であることを確立する。これによりボーアーディングスのリフトの構成が可能となり、これらの形式の算術的・幾何的性質が明らかになる。

ABSTRACT

This is my talk on the Bourbaki seminar, November 1996. It contains an elementary introduction to Borcherds' product formulas.

研究の動機と目的

• O(2,n)上のボーアーディングスの積公式について、理解しやすい入門を提供すること。
• ローレンツ形式の格子の根を用いた無限積によるモジュラー形式の構成法を明確にすること。
• これらの積公式が自動形式理論における役割とその算術的意義を強調すること。
• ボーアーディングスのオリジナルな研究と、代数幾何学者や数論研究者を含む広範な読者層との間の溝を埋めること。

提案手法

• 符号(2,n)のローレンツ形式の格子の根を用いた無限積としてモジュラー形式を構成するボーアーディングスの手法を用いる。
• ボーアーディングスのリフト理論を適用し、O(2,n)上の自動形式と所定の特異性を持つモジュラー形式を関連付ける。
• ヒーゲナー除数とボーアーディングスの特異的シータ積分の理論を用いて、積公式を導出する。
• モジュラー形式の特異性が格子の根に対応しており、これにより積構造が可能であることを示す。
• 直交群上のモジュラー形式の理論を用いて、積公式を自動形式表現の生成関数として解釈する。
• ヘイゼンベルク群の構造と、直交群が自動形式のボール＝ボット＝ヴァイル実現に作用することに依拠する。

実験結果

リサーチクエスチョン

• RQ1 O(2,n)上のモジュラー形式は、どのようにして無限積展開を用いて明示的に構成できるか？
• RQ2 これらのモジュラー形式における特異性の幾何的・算術的意味は何か？
• RQ3 ローレンツ形式の格子の根は、積公式の台にどのように関係するか？
• RQ4 ボーアーディングスの特異的シータ積分は、このようなモジュラー形式の構成において果たす役割は何か？
• RQ5 これらの積公式は、古典的なシーゲルモジュラー形式やヤコビ形式をどのように一般化するか？

主な発見

• O(2,n)上のモジュラー形式は、符号(2,n)のローレンツ形式の格子の根を用いた無限積として明示的に構成可能である。
• モジュラー形式の特異性は、格子の根に正確に対応しており、その重複度は根のノルムによって決定される。
• 積公式の構成により、格子の根系から導かれる既知のフーリエ係数を持つモジュラー形式が得られる。
• この手法は、所定の特異性を持つ自動形式を一様に構成するフレームワークを提供し、古典的例を一般化する。
• この構成法は、ボーアーディングスのリフトを通じて、自動形式、算術幾何学、およびリー代数の間の深い関係を明らかにする。
• 得られたモジュラー形式は、その除数が格子の根に関連するヒーゲナー除数の和集合であるため、反映的（reflective）であることが示された。