[論文レビュー] Vector-Valued Rademacher Sums and Automorphic Integrals

Daniel Whalen|arXiv (Cornell University)|Jun 3, 2014

Algebraic structures and combinatorial models参考文献 22被引用数 13

ひとこと要約

本稿は、重み $ w \leq 0 $ のベクトル値レーデマッハ和が、与えられた乗数系をもつベクトル値自己同型積分の空間の基底をなすことを確立し、スカラー値レーデマッハ和理論を一般化する。収束性、行列値クロースター＝ゼルバーザット・ゼータ関数の漸近的評価、および明示的なフーリエ係数の公式を示し、頂点演算子代数およびムーンシャイン現象における次元の漸近的解析を可能にする。

ABSTRACT

We present bases for certain spaces of meromorphic vector-valued rational-weight mock modular forms constructed using Rademacher sums.

研究の動機と目的

• スカラー値レーデマッハ和理論を、重み $ w \leq 0 $ の有理数重みのベクトル値モジュラー形式へ拡張すること。
• ベクトル値レーデマッハ和が定数関数を除いて自己同型積分の空間を生成することを確立し、構成的基底を提供すること。
• 行列値クロースター＝ゼルバーザット・ゼータ関数の漸近的挙動を解析し、自己同型積分のフーリエ係数と関連付けること。
• ベクトル値イーゼンスタイン級数のフーリエ係数に対する明示的公式を提供し、頂点演算子代数における表現次元の漸近的解析を可能にすること。
• 厳密な構成と収束結果を通じて、ベクトル値モジュラー形式がムーンシャインおよび共形場理論において果たす推測的な役割を裏付けること。

提案手法

• Fuchsian群と正規乗数系をもつPoincaré型級数を用いて、ベクトル値レーデマッハ和を定義する。
• ベクトル値形式における一般化されたクロースター和および関連する行列値クロースター＝ゼルバーザット・ゼータ関数を導入する。
• アンフォールディング技術と変数変換を用いて、非正則イーゼンスタイン級数のフーリエ係数をゼータ関数および変形されたベッセル関数の形に表現する。
• スカラーイーゼンスタイン級数の標準的評価と解析接続を用いて、ベクトル値イーゼンスタイン級数係数の成分ごとの評価を導出する。
• 付録Bに詳細を記載したように、ゼータ関数とベッセル関数の減衰に関する推定を用いて、$ w \leq 0 $ に対してベクトル値レーデマッハ和の収束を証明する。
• ゼータ関数およびベッセル関数の漸近的挙動を活用し、付録AおよびCに示すように、フーリエ係数に対する一様な評価を導出する。

実験結果

リサーチクエスチョン

• RQ1 重み $ w \leq 0 $ のベクトル値レーデマッハ和は、与えられた乗数系をもつ自己同型積分の空間において収束し、基底をなすか？
• RQ2 ベクトル値モジュラー形式における行列値クロースター＝ゼルバーザット・ゼータ関数の漸近的挙動はいかなるものか？
• RQ3 ベクトル値イーゼンスタイン級数のフーリエ係数は、ゼータ関数およびベッセル関数の形で表現可能か？また、どのような評価が適用可能か？
• RQ4 ゼータ関数およびベッセル関数の漸近的挙動は、ベクトル値設定におけるフーリエ係数の成長をどのように制約するか？
• RQ5 これらの構成は、頂点演算子代数およびムーンシャインにおける既知の次数付きトレースに関する結果を、どの程度回復または一般化するか？

主な発見

• ベクトル値レーデマッハ和は、付録Bで示されたゼータ関数およびベッセル関数の評価を用いて、すべての重み $ w \leq 0 $ で収束することが証明された。
• 行列値クロースター＝ゼルバーザット・ゼータ関数は、十分に大きな $ \operatorname{Im} s $ に対して $ |Kl_{0,m_j}(s,\rho)_{ji}| = O(\sqrt{|s|}) $ を満たし、定数は $ \Gamma $, $ \rho $, および $ m_j $ に依存する。これはゼータ関数解析の主要定理で示された。
• スカラーイーゼンスタイン級数係数の有界性および乗数系の構造のおかげで、ベクトル値イーゼンスタイン級数のフーリエ係数は成分ごとに有界である。
• 定理8および主な収束議論により、レーデマッハ和は、定数関数を加えることを除いて、重み $ w \leq 0 $ のベクトル値自己同型積分の空間の基底をなす。
• 自己同型積分のフーリエ係数の漸近的挙動は、変形ベッセル関数 $ K_{s-1/2}(2\pi|m|y) $ によって支配され、その減衰はゼータ関数および $ y $-依存性によって制御される。
• 本構成により、レーデマッハ和のフーリエ係数を介して、頂点演算子代数における既約表現の次元の漸近的計算および解析が新たな方法で可能になった。