[論文レビュー] A Modern Farey Tail

Jan Manschot, Gregory W. Moore|arXiv (Cornell University)|Dec 4, 2007

Black Holes and Theoretical Physics参考文献 51被引用数 27

ひとこと要約

この論文は、問題視されるファレー尾変換を排除することで、楕円的生成関数におけるファレー尾展開を再定義する。非正の重みを持つベクトル値モジュラー形式を、SL(2,Z)の陪集合に関する収束和として表現することで、AdS_3/CFT_2およびOSV予想における長年の謎を解消し、重力経路積分の正則化を提供するとともに、負の重みを持つモジュラー形式の極係数と正の重みを持つ尖点形式のフーリエ係数との間の関係を明らかにする。

ABSTRACT

We revisit the fareytail of elliptic genera which have been used in discussions of the AdS_3/CFT_2 correspondence and the OSV conjecture. We show how to write such expansions without the use of the problematic fareytail transform. In particular, we show how to write a general vector-valued modular form of non-positive weight as a convergent sum over cosets of SL(2,Z). This sum suggests a new regularization of the gravity path integral in AdS_3, resolves the puzzles associated with the fareytail transform, and leads to several new insights. We discuss constraints on the polar coefficients of negative weight modular forms arising from modular invariance, showing how these are related to Fourier coefficients of positive weight cusp forms. In addition, we discuss the appearance of holomorphic anomalies in the context of the fareytail.

研究の動機と目的

• AdS_3/CFT_2およびOSV予想の文脈で用いられるファレー尾変換に起因する矛盾や曖昧さを解消すること。
• SL(2,Z)陪集合に関する和を用いて、非正の重みを持つベクトル値モジュラー形式の新たな収束表現を提供すること。
• モジュラー不変性とモジュラー形式の制約に基づいて、AdS_3における重力経路積分の正則化を確立すること。
• 負の重みを持つモジュラー形式の極係数と正の重みを持つ尖点形式のフーリエ係数との関係を明確にすること。
• ファレー尾とモジュラー不変性の文脈における正則的異常が果たす役割を分析すること。

提案手法

• 発散または定義されていないファレー尾変換の代わりに、SL(2,Z)陪集合に関する収束和を構築する。
• ベクトル値モジュラー形式の構造を用いて、従来のファレー尾分解に依存せずにモジュラー関数を表現する。
• モジュラー不変性の制約を適用し、負の重みを持つモジュラー形式の極係数に課される条件を導出する。
• モジュラー関数方程式を通じて、正の重みを持つ尖点形式のフーリエ係数と負の重みを持つ形式の極係数との関係を確立する。
• モジュラー変換の性質と経路積分の正則化の観点から、正則的異常を分析する。
• モジュラー形式の理論とその変換法則を用いて、新しい展開の収束性と一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 楕円的生成関数とAdS_3重力の文脈において、ファレー尾変換を一貫的に置き換える方法は何か？
• RQ2 モジュラー不変性の条件が、負の重みを持つモジュラー形式の極係数に課す制約は何か？
• RQ3 正の重みを持つ尖点形式のフーリエ係数と負の重みを持つモジュラー形式の極係数との関係は何か？
• RQ4 正則的異常はファレー尾形式主義においてどのように現れ、どのように正則化できるか？
• RQ5 SL(2,Z)陪集合に関する収束的でモジュラー不変な和は、AdS_3重力経路積分の有効な正則化を提供できるか？

主な発見

• 問題視されるファレー尾変換が、SL(2,Z)陪集合に関する収束和に置き換えられ、非正の重みを持つベクトル値モジュラー形式の明確な展開が得られた。
• 新しい形式により、OSV予想およびAdS_3/CFT_2対応における矛盾が解消され、モジュラー不変性と収束性が保証された。
• 負の重みを持つモジュラー形式の極係数に課される制約が、正の重みを持つ尖点形式のフーリエ係数と直接関連していることが示された。
• この新しいモジュラー和を通じて、AdS_3における重力経路積分の正則化が達成され、一貫した量子重力の枠組みが提供された。
• ファレー尾における正則的異常は、モジュラー変換の性質に起因し、新しい形式によって体系的に制御可能となった。
• 本手法により、弦理論および量子重力におけるモジュラー形式を分析する、数学的に厳密な新たな枠組みが提供された。