[論文レビュー] Partition statistics and quasiweak Maass forms

Kathrin Bringmann, Frank Garvan+1 more|ArXiv.org|Mar 13, 2008

Advanced Mathematical Identities参考文献 11被引用数 21

ひとこと要約

この論文は、$k$-マークド・ダーフィー記号の母関数が、高重量の弱マース形式の正則部分であることを確立し、ラマヌジャンのモック・トーティエーブ・関数を一般化する。これらの形式の自動形式的性質を用いて、これらの分割統計における無限個の合同式の存在を証明し、モジュラー性の振る舞いはすべて $k=2$ の場合に完全に決定される。

ABSTRACT

Andrews recently introduced k-marked Durfee symbols, which are a generalization of partitions that are connected to moments of Dyson's rank statistic. He used these connections to find identities relating their generating functions as well as to prove Ramanujan-type congruences for these objects and find relations between. In this paper we show that the hypergeometric generating functions for these objects are natural examples of quasimock theta functions, which are defined as the holomorphic parts of weak Maass forms and their derivatives. In particular, these generating functions may be viewed as analogs of Ramanujan's mock theta functions with arbitrarily high weight. We use the automorphic properties to prove the existence of infinitely many congruences for the Durfee symbols. Furthermore, we show that as k varies, the modularity of the k-marked Durfee symbols is precisely dictated by the case k=2. Finally, we use this relation in order to prove the existence of general congruences for rank moments in terms of level one modular forms of bounded weight.

研究の動機と目的

• アンドリュースによって導入された分割ランクモーメントの一般化である$k$-マークド・ダーフィー記号の算術的性質を理解すること。
• それらの母関数が任意の半整数重量の弱マース形式の正則部分として現れることを示すこと。
• 自動形式的技法を用いて、これらの分割統計における無限個の合同式の存在を証明すること。
• $k$-マークド・ダーフィー記号のモジュラー性を特徴づけ、$k=2$ の場合がすべての $k$ における振る舞いを完全に決定することを示すこと。
• ランクモーメントの合同式と、有界重量のレベル1のモジュラー形式との間の関係を確立すること。

提案手法

• 著者たちは、$k$-マークド・ダーフィー記号の母関数 $R_k(q)$ を分析し、それが重量 $k+\frac{1}{2}$ の弱マース形式の正則部分であることを示す。
• 弱マース形式およびその微分の理論を用い、異なる次数の微分の線形結合におけるキャンセル現象に注目する。
• この手法では、母関数をハイパージェオメトリック $q$-級数の形に表現し、ラマヌジャンのモック・トーティエーブ関数と関連付ける。
• ヘッケ作用素および $U$-作用素をこれらの形式に適用することで、素数を法とする合同式を導出する。
• 弱マース形式上のねじれ作用素を用いて、係数を算術的等差数列に制限し、モジュラー性を保つ。
• 証明は、単位根の直交性および三角関数和に関する恒等式に依拠し、非正則部分の消滅を検証する。

実験結果

リサーチクエスチョン

• RQ1 $k$-マークド・ダーフィー記号の母関数は、その算術的構造を説明する自動形式的性質を示すか？
• RQ2 弱マース形式の理論を、高ランクの分割統計における合同式を説明するために拡張できるか？
• RQ3 $k$-マークド・ダーフィー記号のモジュラー性は、$k=2$ の場合に完全に決定されるか？
• RQ4 ランクモーメントの母関数 $R_k(q)$ は、高重量の弱マース形式の正則部分として現れるか？
• RQ5 母関数の自動形式的性質を用いて、$k$-マークド・ダーフィー記号の合同式を証明できるか？

主な発見

• $k$-マークド・ダーフィー記号の母関数は、重量 $k+\frac{1}{2}$ の弱マース形式の正則部分であり、これはラマヌジャンのモック・トーティエーブ関数を高重量に一般化する。
• すべての $k$ における $k$-マークド・ダーフィー記号のモジュラー性は、$k=2$ の場合に完全に決定され、それによってすべての $k$ の振るまいが支配される。
• 著者たちは、母関数の自動形式的構造を用いて、$R_k(q)$ の係数における無限個の合同式の存在を証明する。
• 各素数 $\ell$ に対して、母関数 $R_k(q)$ は、有界重量のモジュラー形式を用いて表せる $\ell^2$ を法とする合同式を満たす。
• 係数を $\left(\frac{1-24d}{t}\right) = -1$ を満たす算術的等差数列に制限すると、$\Gamma_1(576t^6)$ 上の弱正則モジュラー形式が得られる。
• 関連する弱マース形式の非正則部分は、特定の算術的等差数列上で消えるため、その制限によって得られる関数はモジュラー形式である。