[論文レビュー] Error Estimates in Horocycle Averages Asymptotics: Challenges from String Theory

Matteo A. Cardella|arXiv (Cornell University)|Dec 13, 2010

Mathematical Dynamics and Fractals参考文献 9被引用数 3

ひとこと要約

本稿は、多項式的および指数的成長を示すモジュラー関数のホロサイクル平均漸近挙動における誤差推定値を調査し、ストリング理論の知見を通じてリーマン予想と結びつける。スぺクトル・アイゼンスタイン級数に関連する新規のシータアンフォールディング手法を用いて、非自明なゼータ関数の零点に結びつく誤差項を有する漸近展開を証明し、急激に減衰する関数を超える既知の結果を拡張する。

ABSTRACT

There is an intriguing connection between the dynamics of the horocycle flow in the modular surface $SL_{2}(\pmb{Z}) \backslash SL_{2}(\pmb{R})$ and the Riemann hypothesis. It appears in the error term for the asymptotic of the horocycle average of a modular function of rapid decay. We study whether similar results occur for a broader class of modular functions, including functions of polynomial growth, and of exponential growth at the cusp. Hints on their long horocycle average are derived by translating the horocycle flow dynamical problem in string theory language. Results are then proved by designing an unfolding trick involving a Theta series, related to the spectral Eisenstein series by Mellin integral transform. We discuss how the string theory point of view leads to an interesting open question, regarding the behavior of long horocycle averages of a certain class of automorphic forms of exponential growth at the cusp.

研究の動機と目的

• 急激に減衰するモジュラー関数に限らない、多項式的および有界指数的成長を示す関数へのホロサイクル平均漸近挙動における既知の誤差推定値の拡張。
• 緩やかな減衰条件を満たす自動形式に対して、ホロサイクル平均の挙動とリーマン予想との関係を調査すること。
• 特に閉弦振幅における漸近的超対称性の観点から得られるストリング理論の知見を、力学系および自動形式と結びつけること。
• 非温度的自動形式を扱うために、シータ級数とミンコフスキー変換を用いた新規なアンフォールディング技術の開発。
• ホロサイクル平均の普遍的漸近挙動に関する未解決問題を提示・検討すること。

提案手法

• ストリング理論にインspiredされた視点を採用し、カスプにおける指数的成長を示すモジュラー関数のホロサイクル平均に対して、普遍的漸近挙動が成立することを動機づける。
• ミンコフスキー変換を通じてスぺクトル・アイゼンスタイン級数に関連するシータ級数に基づく、新規のアンフォールディング手法を導入し、モジュラー領域上の積分を解析する。
• アンフォールディング手法を用いてホロサイクル平均の漸近展開を導出し、急激に減衰しない関数に対して、古典的ランキン＝セルバーグ法の代わりに用いる。
• 多項式的成長を示すモジュラー関数に対して、ホロサイクル平均漸近挙動における誤差項がリーマン・ゼータ関数の非自明な零点によって制御されることを証明する。
• ホロサイクル平均の収束性とリーマン予想との関係を確立し、[Za1]で得られた結果をより広い関数クラスに一般化する。
• モジュラー変換の性質を用いてホロサイクル平均に剛性条件を提案し、$ y \to 0 $ の極限における成長挙動に構造的制約があることを示唆する。

実験結果

リサーチクエスチョン

• RQ1 カスプにおける有界指数的成長を示すモジュラー関数のホロサイクル平均は、急激に減衰する関数と同様の漸近挙動を示し、誤差項がリーマン・ゼータ関数の零点と関係するか？
• RQ2 ストリング理論が示唆する、ホロサイクル平均のHeterotic型モジュラー関数に対する普遍的漸近挙動が、厳密に証明可能か？
• RQ3 モジュラー変換の下でホロサイクル平均の成長に隠れた剛性があるのか。これは、Heteroticクラスに属する関数の漸近的構造を制約するか？
• RQ4 Heteroticクラスに属するモジュラー関数は、タイプIIモジュラー形式と尖点形式の和に分解可能か。これは、ストリング理論の予測と自動形式理論を調和させ得るか？
• RQ5 提案されたHeterotic型関数の漸近挙動が失敗した場合、これは閉弦理論における紫外対称性の破綻を示唆する可能性があるか？

主な発見

• 多項式的成長を示すモジュラー関数に対して、ホロサイクル平均漸近挙動における誤差項は、リーマン・ゼータ関数の非自明な零点と直接関係しており、以前の急激に減衰する関数への結果を一般化する。
• Zagierがより複雑な手法を用いて以前に示した、多項式的成長モジュラー関数に対するランキン＝セルバーグ変換の解析的接続について、本稿は著しく短い証明を提供する。
• シータ級数とミンコフスキー変換を用いたアンフォールディング手法は、非温度的成長を示す自動形式に対しても効果的であり、古典的ランキン＝セルバーグ法に比べて利点を示す。
• 重要な命題として、モジュラー変換の下で、Heteroticクラスに属する関数のホロサイクル平均は $ y \to 0 $ の極限で $ e^{2eta c^2 / y} $ のように成長することが示され、普遍的成長パターンを示唆する。
• 本稿は、Heterotic型関数のホロサイクル平均が、完成ゼータ関数 $ \zeta^*(\rho) $ の零点に関連する $ y^{1 - \rho/2} $ 項を含む漸近展開を持つべきであるという未解決問題を提示する。
• 提案された漸近挙動が失敗する可能性は残っており、これはタイプIIおよびHeteroticストリング理論における紫外行動に根本的な非対称性が存在することを示唆する可能性がある。