模擬モジュラー形式

数学 において、モックモジュラー形式は調和弱マース形式の正則部分であり、モックシータ関数は本質的に重みのモックモジュラー形式である。1/2⁠ . 模擬シータ関数の最初の例は、シュリニヴァーサ・ラマヌジャンが1920年にGHハーディに宛てた最後の手紙と、失われたノートの中で記述されました。サンダー・ツヴェーガースは、特定の非正則関数を模擬シータ関数に加えると、調和弱マース形式になることを発見しました。^{[ 1 ] [ 2 ]}

歴史

オイラー形式の関数があり、すべての点、あるいは無限個の点が指数特異点であると仮定し、またこれらの点において漸近形が(A)および(B)の場合と同様にきれいに閉じると仮定する。問題は、この関数が、一方が通常のθ関数で、もう一方がすべての点e ^{2 m π i / n}においてO(1)となる(自明な)関数である2つの関数の和であるかどうかである。…そうでない場合、この関数を模擬θ関数と呼ぶ。

ラマヌジャンによる模擬シータ関数の元々の定義^{[ 3 ]}

ラマヌジャンが1920年1月12日にハーディに宛てた手紙^{[ 3 ]}には、彼が模擬シータ関数と呼んだ関数の例が17個挙げられており、彼の失われたノート^{[ 4 ]}にはさらにいくつかの例が含まれていた。（ラマヌジャンは、今日でモジュラー形式と呼ばれるものを「シータ関数」と呼んでいた。）ラマヌジャンは、これらの関数は、重みのモジュラー形式と同様に、カスプで漸近展開すると指摘した。1/2⁠ は、おそらく尖点に極を持つが、「通常の」シータ関数では表現できない。彼は同様の性質を持つ関数を「模擬シータ関数」と呼んだ。ツヴェーガースは後に、模擬シータ関数と弱マース形式との関連性を発見した。

ラマヌジャンは、明確に定義されていなかった擬似シータ関数に順序を関連付けました。ツヴェーガースの研究以前には、既知の擬似シータ関数の順序には以下のようなものがありました。

3、5、6、7、8、10。

ラマヌジャンの秩序の概念は後に、重さのネベンティプス性質の導体に対応することが判明した。1/2⁠ラマヌジャンの模擬シータ関数をその正則射影として許容する調和マース形式。

その後数十年にわたり、ラマヌジャンの模擬シータ関数はワトソン、アンドリュース、セルバーグ、ヒッカーソン、チェイ、マッキントッシュらによって研究され、ラマヌジャンの主張を証明し、さらにいくつかの例や恒等式を発見した。（「新しい」恒等式や例のほとんどはラマヌジャンが既に知っていたもので、彼の失われたノートに再び現れた。）1936年、ワトソンはモジュラー群の元の作用下で、位数3の模擬シータ関数がほぼ重みのモジュラー形式のように変換することを発見した。1/2⁠ （適切なqのべき乗で乗じられる）ただし、関数方程式には「誤差項」があり、通常は明示的な積分として与えられる。^{[ 5 ]} しかし、長年にわたり、模擬シータ関数の適切な定義はなかった。2001年にツヴェーガースが非正則モジュラー形式、レルヒ和、不定値シータ級数との関係を発見したことで、この状況は一変した。ツヴェーガースは、ワトソンとアンドリュースの先行研究を用いて、3、5、7次の模擬シータ関数は、重みの弱いマース形式の和として表せることを示した。1/2⁠そして測地線に沿って有界で、尖点で終わる関数である。^{[ 2 ]}弱マース形式の固有値は⁠3/16⁠双曲型ラプラシアン（重みの正則モジュラー形式と同じ値）の下では⁠1/2⁠）ですが、カスプ付近では指数関数的に急速に増加するため、マース波形の通常の成長条件を満たしません。ツヴェーガースは、この結果を3つの異なる方法で証明しました。つまり、模擬シータ関数を2次元の不定格子のヘッケのシータ関数、アペル・レルヒ和、および有理型ヤコビ形式に関連付けたのです。

ツヴェーガースの基本結果は、模擬シータ関数が重みの実解析モジュラー形式の「正則部分」であることを示している⁠1/2⁠。これにより、モジュラー形式に関する多くの結果をモックシータ関数に拡張することができます。特に、モジュラー形式と同様に、モックシータ関数はすべて特定の明示的な有限次元空間に存在するため、それらの間の多くの恒等式の長く困難な証明が通常の線型代数に簡素化されます。初めて、モックシータ関数の無限の数の例を生成することが可能になりました。この研究以前は、約50の例しか知られていませんでした（そのほとんどはラマヌジャンによって最初に発見されました）。ツヴェーガースのアイデアのさらなる応用として、カトリン・ブリングマンとケン・オノは、ロジャース-ファイン基本超幾何級数から生じる特定のq級数が、重みの正則部分と関連していることを示しました⁠3/2⁠調和弱マース形式^{[ 6 ]}を研究し、ジョージ・アンドリュース^{[ 7 ]}とレイラ・ドラゴネット^{[ 8 ]}が研究した3 次モック・シータ関数f ( q ) の係数の漸近級数が係数に収束することを示した。^{[ 9 ]}特に、モック・シータ関数は、上半平面に作用するモジュラー群の尖点で漸近展開を持ち、これは重み⁠のモジュラー形式の漸近展開に似ている。1/2⁠先端に極がある。

意味

模擬モジュラー形式は、調和弱マース形式の「正則部分」として定義されます。

重みkを固定する。通常は 2 k の整数とする。SL 2 ( Z )の部分群 Γ （またはkが半整数の場合はメタプレクティック群の部分群）と Γ の指標ρ_を固定する。この指標とこの群 Γ に対するモジュラー形式fは 、Γ の元に関して次のように変換される 。

${\displaystyle f\left({\frac {a\tau +b}{c\tau +d}}\right)=\rho {\begin{pmatrix}a&b\\c&d\end{pmatrix}}(c\tau +d)^{k}f(\tau )}$

重みkの弱マース形式は、重みkのモジュラー形式のように変換される上半平面上の連続関数であり、重みk のラプラシアン演算子の固有関数であり、その固有値が( ⁠1 − k/2⁠ ) ⁠け/2⁠ . ^{[ 10 ]}これは正則重みkモジュラー形式の固有値なので、これらはすべて調和弱マース形式の例である。（マース形式とは、カスプで急激に減少する弱マース形式である。）したがって、調和弱マース形式は微分作用素

${\displaystyle {\frac {\partial }{\partial \tau }}y^{k}{\frac {\partial }{\partial {\overline {\tau }}}}}$

Fが任意の調和弱マース形式である場合、関数gは次のように与えられる 。

${\displaystyle g=y^{k}{\frac {\partial {\overline {F}}}{\partial \tau }}=\sum _{n}b_{n}q^{n}}$

は正則関数であり、重みkのモジュラー形式のように変換されるが、尖点においては正則ではない可能性がある。同じ像gを持つ他の関数g ^*が見つかれば、F  −  g ^*は正則となる。そのような関数は、微分作用素を積分によって反転させることで与えられる。例えば、次のように定義できる。

${\displaystyle g^{*}(\tau )=\left({\frac {i}{2}}\right)^{k-1}\int _{-{\overline {\tau }}}^{i\infty }(z+\tau )^{-k}{\overline {g(-{\overline {z}})}}\,dz=\sum _{n}n^{k-1}{\overline {b_{n}}}\beta _{k}(4ny)q^{-n+1}}$

どこ

${\displaystyle \displaystyle \beta _{k}(t)=\int _{t}^{\infty }u^{-k}e^{-\pi u}\,du}$

は本質的に不完全ガンマ関数である。積分はg がi ∞の尖点で零点を持つときはいつでも収束し、不完全ガンマ関数は解析接続によって拡張できるため、この式はg がi ∞で有理型であってもFの正則部分g ^*を定義するのに使用できる。ただし、 kが 1 または整数でない場合、あるいはn = 0 の場合には注意が必要である。 微分演算子の逆は一意ではなく、任意の準同型関数をその像に影響を与えずにg ^*に加えることができるため、結果として関数g ^*は群 Γ について不変である必要はない。関数h = F  −  g ^*はFの正則部分と呼ばれる。

擬似モジュラー形式は、ある調和弱マース形式Fの正則部分h として定義される。したがって、擬似モジュラー形式hの空間から調和弱マース形式の部分空間への同型性が存在する。

模擬モジュラー形式hは正則だが完全にモジュラーではなく、h  +  g ^*はモジュラーだが完全に正則ではない。重みkの模擬モジュラー形式の空間には、重みkの近似モジュラー形式（「カスプで有理型である可能性のあるモジュラー形式」）の空間が部分空間として含まれる。商は、重み 2 − kの正則モジュラー形式の空間に（反線型的に）同型である 。模擬モジュラー形式hに対応する重み - (2 −  k ) モジュラー形式gは、そのシャドウと呼ばれる。異なる模擬シータ関数が同じシャドウを持つことはごく普通である。例えば、ラマヌジャンが発見した位数 5 の 10 個の模擬シータ関数は、5 ずつの 2 つのグループに分類され、各グループ内のすべての関数は同じシャドウを持つ（定数倍を除く）。

ドン・ザギエ^{[ 11 ]}は、模擬シータ関数をq  = e ^{2 π i 𝜏}の有理数乗に重みの模擬モジュラー形式を掛けたものと定義している。1/2⁠その影は、次のような形のシータ級数である。

${\displaystyle \sum _{n\in \mathbb {Z} }\varepsilon (n)nq^{\kappa n^{2}}}$

正の有理数κと奇周期関数εに対して。（このようなシータ級数は重みのモジュラー形式である⁠3/2⁠ ）。q の有理数は歴史的な偶然です。

ほとんどの模擬モジュラー形式と弱マース形式は、カスプにおいて急激な増加を示す。カスプにおける増加速度が最大でも指数関数的であるという条件を課すのが一般的である（これは、模擬モジュラー形式の場合、カスプにおいて「有理型」であることを意味する）。カスプにおける増加が一定の指数関数によって制限される模擬モジュラー形式（与えられた重みと群を持つ）の空間は有限次元である。

アペル・レルヒ和

ランバート級数の一般化であるアペル・レルヒ和は、ポール・エミール・アペル^{[ 12 ]}とマティアス・レルヒ^{[ 13 ]}によって初めて研究されました。ワトソンは3次の模擬シータ関数をアペル・レルヒ和で表すことで研究し、ツヴェーガースはそれを使って模擬シータ関数が本質的に模擬モジュラー形式であることを示しました。

アペル・レルヒ級数は

${\displaystyle \mu (u,v;\tau )={\frac {a^{\frac {1}{2}}}{\theta (v;\tau )}}\sum _{n\in \mathbb {Z} }{\frac {(-b)^{n}q^{{\frac {1}{2}}n(n+1)}}{1-aq^{n}}}}$

どこ

${\displaystyle \displaystyle q=e^{2\pi i\tau },\quad a=e^{2\pi iu},\quad b=e^{2\pi iv}}$

そして

${\displaystyle \theta (v,\tau )=\sum _{n\in \mathbb {Z} }(-1)^{n}b^{n+{\frac {1}{2}}}q^{{\frac {1}{2}}\left(n+{\frac {1}{2}}\right)^{2}}.}$

修正されたシリーズ

${\displaystyle {\hat {\mu }}(u,v;\tau )=\mu (u,v;\tau )-{\frac {1}{2}}R(uv;\tau )}$

どこ

${\displaystyle R(z;\tau )=\sum _{\nu \in \mathbb {Z} +{\frac {1}{2}}}(-1)^{\nu -{\frac {1}{2}}}\left({\rm {sign}}(\nu )-E\left[\left(\nu +{\frac {\Im (z)}{y}}\right){\sqrt {2y}}\right]\right)e^{-2\pi i\nu z}q^{-{\frac {1}{2}}\nu ^{2}}}$

そしてy = Im(𝜏) であり

${\displaystyle E(z)=2\int _{0}^{z}e^{-\pi u^{2}}\,du}$

以下の変換特性を満たす

${\displaystyle {\begin{aligned}{\hat {\mu }}(u+1,v;\tau )&=a^{-1}bq^{-{\frac {1}{2}}}{\hat {\mu }}(u+\tau ,v;\tau )\\&{}=-{\hat {\mu }}(u,v;\tau )\\e^{{\frac {2}{8}}\pi i}{\hat {\mu }}(u,v;\tau +1)&={\hat {\mu }}(u,v;\tau )\\&{}=-\left({\frac {\tau }{i}}\right)^{-{\frac {1}{2}}}e^{{\frac {\pi i}{\tau }}(uv)^{2}}{\hat {\mu }}\left({\frac {u}{\tau }},{\frac {v}{\tau }};-{\frac {1}{\tau }}\right).\end{aligned}}}$

言い換えれば、修正アペル・レルヒ級数は𝜏に関してモジュラー形式のように変換されます。模擬シータ関数はアペル・レルヒ級数で表すことができるため、これは、模擬シータ関数に特定の非解析級数を加えた場合、モジュラー形式のように変換されることを意味します。

不定シータ級数

ジョージ・アンドリュース^{[ 14 ]}は、ラマヌジャンの5次の模擬シータ関数のいくつかが商に等しいことを示した。Θ(𝜏)/θ（𝜏）ここでθ (𝜏)は重みのモジュラー形式である⁠1/2⁠そしてΘ(𝜏)は不定二項二次形式のシータ関数であり、ディーン・ヒッカーソン^{[ 15 ]}は7次の模擬シータ関数に対して同様の結果を証明した。ツヴェーガースは不定シータ関数を完備化して実解析モジュラー形式を生成する方法を示し、これを用いて模擬シータ関数と弱マース波形の関係の別の証明を与えた。

有理型ヤコビ形式

ジョージ・アンドリュース^{[ 16 ]}は、ラマヌジャンの5階擬シータ関数のいくつかがヤコビのシータ関数の商で表現できることを指摘した。ツヴェーガースはこの考えを用いて、擬シータ関数を有理型ヤコビ形式のフーリエ係数として表現した。

アプリケーション

• ルース・ローレンスとドン・ザギエは、模擬シータ関数を3次元多様体の量子不変量に関連付けた。 ^{[ 17 ]}
• AM Semikhatov、A. Taormina、I. Yu Tipuninは、模擬シータ関数を無限次元リー超代数と2次元共形場理論に関連付けた。^{[ 18 ]}
• J. Troostは、模擬モジュラー形式のモジュラー完備化が連続スペクトルを持つ共形体理論の楕円種として生じることを示した。^{[ 19 ]}
• 模擬シータ関数は、暗黒ムーンシャイン理論に登場します。
• アティッシュ・ダボルカー、サミール・ムルティ、ドン・ザギエは、モックモジュラー形式がN = 4弦理論における量子ブラックホールの縮退と関連していることを示した。^{[ 20 ]}

例

• 重みkの任意のモジュラー形式(おそらくカスプでのみ有理型) は、シャドウ 0 を持つ重みkのモック モジュラー形式です。
• 準モジュラー・アイゼンシュタイン級数

${\displaystyle \displaystyle E_{2}(\tau )=1-24\sum _{n>0}\sigma _{1}(n)q^{n}}$

重み2とレベル1のモジュラー形式は重み2の擬似モジュラー形式で、シャドウは定数です。つまり、

${\displaystyle \displaystyle E_{2}(\tau )-{\frac {3}{\pi y}}}$

重み2のモジュラー形式のように変換されます（ただし𝜏 = x  +  iy）。

• ^{ドン・ザギエ[ 21 ] [ 22 ]}が研究した、虚数二次体のフルヴィッツ類数H ( N )であるフーリエ係数を持つ関数は、重みのモジュラー形式である。3/2⁠、レベル4、シャドウΣ  q ^{n 2}。対応する弱いマース波形は 

${\displaystyle F(\tau )=\sum _{N}H(N)q^{n}+y^{-1/2}\sum _{n\in Z}\beta (4\pi n^{2}y)q^{-n^{2}}}$

どこ

${\displaystyle \beta (x)={\frac {1}{16\pi }}\int _{1}^{\infty }u^{-3/2}e^{-xu}du}$

そしてy  = Im(𝜏)、q  = e ^{2 π i 𝜏}。

模擬シータ関数は重みの模擬モジュラー形式である⁠1/2⁠の影は単項シータ関数であり、 qの有理数乗で表されます（歴史的な理由により）。ツヴェーガースの研究によって一般的な構築法が確立される以前は、ほとんどの例は基本的な超幾何関数として与えられていましたが、これは主に歴史的な偶然であり、ほとんどの模擬シータ関数はそのような関数で簡単に表現できるものが知られていません。

「自明な」模擬シータ関数は、重みの（正則な）モジュラー形式である⁠1/2これらはセールとスターク^{[ 23 ]}によって分類され、それらはすべて1次元格子のシータ関数で表すことができることが示されました。

次の例では、次のように定義される q-Pochhammer 記号( a ; q ) _{nを使用します。}

${\displaystyle (a;q)_{n}=\prod _{0\leq j<n}(1-aq^{j})=(1-a)(1-aq)\cdots (1-aq^{n-1})。}$

注文2

いくつかの2次の模擬シータ関数はマッキントッシュによって研究された。^{[ 24 ]}

${\displaystyle A(q)=\sum _{n\geq 0}{\frac {q^{(n+1)^{2}}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}^{2}}}=\sum _{n\geq 0}{\frac {q^{n+1}(-q^{2};q^{2})_{n}}{(q;q^{2})_{n+1}}}}$ （OEISの配列A006304）

${\displaystyle B(q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}(-q^{2};q^{2})_{n}}{(q;q^{2})_{n+1}^{2}}}=\sum _{n\geq 0}{\frac {q^{n}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}}}}$ （ OEISの 配列A153140）

${\displaystyle \mu (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n^{2}}(q;q^{2})_{n}}{(-q^{2};q^{2})_{n}^{2}}}}$ （ OEISの 配列A006306）

関数μはラマヌジャンが失くしたノートの中で発見しました。

これらは、8次関数のセクションで列挙されている関数と関連している。

${\displaystyle U_{0}(q)-2U_{1}(q)=\mu (q)}$

${\displaystyle V_{0}(q)-V_{0}(-q)=4qB(q^{2})}$

${\displaystyle V_{1}(q)+V_{1}(-q)=2A(q^{2})}$

注文3

ラマヌジャンはハーディへの手紙の中で4つの3次模擬シータ関数について言及し、さらに3つの模擬シータ関数を紛失したノートに列挙していた。これらはGNワトソンによって再発見された。 ^{[ 5 ]}ワトソンはラマヌジャンが述べたそれらの関係を証明し、またそれらをアペル・レルヒ和として表すことで、モジュラー群の元による変換を見出した。ドラゴネット^{[ 8 ]}はそれらの係数の漸近展開を記述した。ツヴェーガース^{[ 1 ]}はそれらを調和弱マース形式と関連付けた。ネイサン・ファインによるモノグラフも参照のこと。^{[ 25 ]}

ラマヌジャンによって与えられた7つの3次模擬シータ関数は

${\displaystyle f(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(-q;q)_{n}^{2}}}={\frac {2}{\prod _{n>0}(1-q^{n})}}\sum _{n\in \mathbf {Z} }{\frac {(-1)^{n}q^{n(3n+1)/2}}{1+q^{n}}}}$ 、（OEISのシーケンスA000025）。

${\displaystyle \phi (q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(-q^{2};q^{2})_{n}}}={\frac {1}{\prod _{n>0}(1-q^{n})}}\sum _{n\in \mathbf {Z} }{\frac {(-1)^{n}(1+q^{n})q^{n(3n+1)/2}}{1+q^{2n}}}}$ （ OEISの配列A053250）。

${\displaystyle \psi (q)=\sum _{n>0}{\frac {q^{n^{2}}}{(q;q^{2})_{n}}}={\frac {q}{\prod _{n>0}(1-q^{4n})}}\sum _{n\in \mathbf {Z} }{\frac {(-1)^{n}q^{6n(n+1)}}{1-q^{4n+1}}}}$ （ OEISの 配列A053251）。

${\displaystyle \chi (q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{\prod _{1\leq i\leq n}(1-q^{i}+q^{2i})}}={\frac {1}{2\prod _{n>0}(1-q^{n})}}\sum _{n\in \mathbf {Z} }{\frac {(-1)^{n}(1+q^{n})q^{n(3n+1)/2}}{1-q^{n}+q^{2n}}}}$ （ OEISの 配列A053252）。

${\displaystyle \omega (q)=\sum _{n\geq 0}{\frac {q^{2n(n+1)}}{(q;q^{2})_{n+1}^{2}}}={\frac {1}{\prod _{n>0}(1-q^{2n})}}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)}{\frac {1+q^{2n+1}}{1-q^{2n+1}}}}}$ （ OEISの 配列A053253）。

${\displaystyle \nu (q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}}{(-q;q^{2})_{n+1}}}={\frac {1}{\prod _{n>0}(1-q^{n})}}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)/2}{\frac {1-q^{2n+1}}{1+q^{2n+1}}}}}$ （ OEISの 配列A053254）。

${\displaystyle \rho (q)=\sum _{n\geq 0}{\frac {q^{2n(n+1)}}{\prod _{0\leq i\leq n}(1+q^{2i+1}+q^{4i+2})}}={\frac {1}{\prod _{n>0}(1-q^{2n})}}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)}{\frac {1-q^{4n+2}}{1+q^{2n+1}+q^{4n+2}}}}}$ （ OEISの 配列A053255）。

最初の4つは（定数分を除いて）同じ影を持つ群を形成し、最後の3つも同様です。より正確には、これらの関数は以下の関係式を満たします（ラマヌジャンによって発見され、ワトソンによって証明されました）。

${\displaystyle {\begin{aligned}2\phi (-q)-f(q)&=f(q)+4\psi (-q)=\theta _{4}(0,q)\prod _{r>0}\left(1+q^{r}\right)^{-1}\\4\chi (q)-f(q)&=3\theta _{4}^{2}(0,q^{3})\prod _{r>0}\left(1-q^{r}\right)^{-1}\\2\rho (q)+\omega (q)&=3\left({\frac {1}{2}}q^{-{\frac {3}{8}}}\theta _{2}(0,q^{\frac {3}{2}})\right)^{2}\prod _{r>0}\left(1-q^{2r}\right)^{-1}\\\nu (\pm q)\pm q\omega \left(q^{2}\right)&={\frac {1}{2}}q^{-{\frac {1}{4}}}\theta _{2}(0,q)\prod _{r>0}\left(1+q^{2r}\right)\\f\left(q^{8}\right)\pm 2q\omega (\pm q)\pm 2q^{3}\omega \left(-q^{4}\right)&=\theta _{3}(0,\pm q)\theta _{3}^{2}\left(0,q^{2}\right)\prod _{r>0}\left(1-q^{4r}\right)^{-2}\\f(q^{8})+q\omega (q)-q\omega (-q)&=\theta _{3}(0,q^{4})\theta _{3}^{2}(0,q^{2})\prod _{r>0}\left(1-q^{4r}\right)^{-2}\end{aligned}}}$

注文5

ラマヌジャンは1920年にハーディに宛てた手紙の中で、5次の模擬シータ関数を10個書き留め、ワトソンによって証明されたそれらの関係をいくつか述べた。^{[ 26 ]}失われたノートには、これらの関数を関連付けるいくつかの恒等式が記載されており、これは模擬シータ予想に相当するもので、^{[ 27 ]}ヒッカーソンによって証明された。^{[ 28 ]}アンドリュース^{[ 14 ]}は、これらの関数の多くを、不定シータ級数を重みのモジュラー形式で商として表現することを見出した。1/2⁠。

${\displaystyle f_{0}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(-q;q)_{n}}}}$ （ OEISの配列A053256）

${\displaystyle f_{1}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}+n}}{(-q;q)_{n}}}}$ （ OEISの配列A053257）

${\displaystyle \phi _{0}(q)=\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n}}}$ （ OEISの配列A053258）

${\displaystyle \phi _{1}(q)=\sum _{n\geq 0}{q^{(n+1)^{2}}(-q;q^{2})_{n}}}$ （ OEISの配列A053259）

${\displaystyle \psi _{0}(q)=\sum _{n\geq 0}{q^{(n+1)(n+2)/2}(-q;q)_{n}}}$ （ OEISの配列A053260）

${\displaystyle \psi _{1}(q)=\sum _{n\geq 0}{q^{n(n+1)/2}(-q;q)_{n}}}$ （ OEISの配列A053261）

${\displaystyle \chi _{0}(q)=\sum _{n\geq 0}{\frac {q^{n}}{(q^{n+1};q)_{n}}}=2F_{0}(q)-\phi _{0}(-q)}$ （ OEISの配列A053262）

${\displaystyle \chi _{1}(q)=\sum _{n\geq 0}{\frac {q^{n}}{(q^{n+1};q)_{n+1}}}=2F_{1}(q)+q^{-1}\phi _{1}(-q)}$ （ OEISの配列A053263）

${\displaystyle F_{0}(q)=\sum _{n\geq 0}{\frac {q^{2n^{2}}}{(q;q^{2})_{n}}}}$ （ OEISの配列A053264）

${\displaystyle F_{1}(q)=\sum _{n\geq 0}{\frac {q^{2n^{2}+2n}}{(q;q^{2})_{n+1}}}}$ （ OEISの配列A053265）

${\displaystyle \Psi _{0}(q)=-1+\sum _{n\geq 0}{\frac {q^{5n^{2}}}{(1-q)(1-q^{4})(1-q^{6})(1-q^{9})...(1-q^{5n-1})(1-q^{5n+1})}}}$ （ OEISの配列A053266）

${\displaystyle \Psi _{1}(q)=-1+\sum _{n\geq 0}{\frac {q^{5n^{2}}}{(1-q^{2})(1-q^{3})(1-q^{7})(1-q^{8})...(1-q^{5n-2})(1-q^{5n+2})}}}$ （ OEISの配列A053267）

注文6

ラマヌジャン^{[ 4 ]}は、失われたノートに7つの6次模擬シータ関数を書き記し、それらの間に11の恒等式があると述べており、これらはアンドリュースとヒッカーソンによって証明された^{[ 29 ]} 。ラマヌジャンの恒等式のうち2つは、様々な引数におけるφとψを関連させ、4つはφとψ をアペル・レルヒ級数で表現し、最後の5つの恒等式は、残りの5つの6次模擬シータ関数をφとψで表現する。ベルントとチャン^{[ 30 ]}はさらに2つの6次関数を発見した。

6次の模擬シータ関数は次のとおりです。

${\displaystyle \phi (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n^{2}}(q;q^{2})_{n}}{(-q;q)_{2n}}}}$ （ OEISの配列A053268）

${\displaystyle \psi (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{(n+1)^{2}}(q;q^{2})_{n}}{(-q;q)_{2n+1}}}}$ （ OEISの配列A053269）

${\displaystyle \rho (q)=\sum _{n\geq 0}{\frac {q^{n(n+1)/2}(-q;q)_{n}}{(q;q^{2})_{n+1}}}}$ （ OEISの配列A053270）

${\displaystyle \sigma (q)=\sum _{n\geq 0}{\frac {q^{(n+1)(n+2)/2}(-q;q)_{n}}{(q;q^{2})_{n+1}}}}$ （ OEISの配列A053271）

${\displaystyle \lambda (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n}(q;q^{2})_{n}}{(-q;q)_{n}}}}$ （ OEISの配列A053272）

${\displaystyle 2\mu (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n+1}(1+q^{n})(q;q^{2})_{n}}{(-q;q)_{n+1}}}}$ （ OEISの配列A053273）

${\displaystyle \gamma (q)=\sum _{n\geq 0}{\frac {q^{n^{2}}(q;q)_{n}}{(q^{3};q^{3})_{n}}}}$ （ OEISの配列A053274）

${\displaystyle \phi _{-}(q)=\sum _{n\geq 1}{\frac {q^{n}(-q;q)_{2n-1}}{(q;q^{2})_{n}}}}$ （ OEISの配列A153251）

${\displaystyle \psi _{-}(q)=\sum _{n\geq 1}{\frac {q^{n}(-q;q)_{2n-2}}{(q;q^{2})_{n}}}}$ （ OEISの配列A153252）

注文番号7

ラマヌジャンは1920年にハーディに宛てた手紙の中で、7次の模擬シータ関数を3つ示した。これらはセルバーグ^{[ 31 ]によって研究され、セルバーグはその係数の漸近展開を発見し、アンドリュース[ 14 ]}も研究した。ヒッカーソン^{[ 15 ]}は、これらの関数の多くを、不定値シータ級数を重みのモジュラー形式で商として表現することを発見した。1/2⁠ . Zwegers ^{[ 1 ] [ 2 ]}はそれらのモジュラー変換特性を説明した。

• ${\displaystyle \displaystyle F_{0}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(q^{n+1};q)_{n}}}}$ （ OEISの配列A053275）
• ${\displaystyle \displaystyle F_{1}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}}{(q^{n};q)_{n}}}}$ （ OEISの配列A053276）
• ${\displaystyle \displaystyle F_{2}(q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}}{(q^{n+1};q)_{n+1}}}}$ （ OEISの配列A053277）

これら3つの擬似シータ関数はそれぞれ異なる影を持つため、ラマヌジャンの3次関数や5次関数の場合とは異なり、通常のモジュラー形式との間には線型関係は存在しない。対応する弱マース形式は以下の通りである。

${\displaystyle {\begin{aligned}M_{1}(\tau )&=q^{-1/168}F_{1}(q)+R_{7,1}(\tau )\\[4pt]M_{2}(\tau )&=-q^{-25/168}F_{2}(q)+R_{7,2}(\tau )\\[4pt]M_{3}(\tau )&=q^{47/168}F_{3}(q)+R_{7,3}(\tau )\end{aligned}}}$

どこ

${\displaystyle R_{p,j}(\tau )=\!\!\!\!\sum _{n\equiv j{\bmod {p}}}{\binom {12}{n}}\operatorname {sgn}(n)\beta \left({\frac {n^{2}y}{6p}}\right)q^{-n^{2}/24p}}$

そして

${\displaystyle \beta (x)=\int _{x}^{\infty }u^{-1/2}e^{-\pi u}\,du}$

は多かれ少なかれ相補誤差関数である。メタプレクティック群の下では、これら3つの関数はメタプレクティック群の特定の3次元表現に従って次のように変換される。

${\displaystyle {\begin{aligned}M_{j}\left(-{\frac {1}{\tau }}\right)&={\sqrt {\frac {\tau }{7i}}}\,\sum _{k=1}^{3}2\sin \left({\frac {6\pi jk}{7}}\right)M_{k}(\tau )\\[6pt]M_{1}(\tau +1)&=e^{-2\pi i/168}M_{1}(\tau ),\\[6pt]M_{2}(\tau +1)&=e^{-2\times 25\pi i/168}M_{2}(\tau ),\\[6pt]M_{3}(\tau +1)&=e^{-2\times 121\pi i/168}M_{3}(\tau ).\end{aligned}}}$

言い換えれば、それらは重みのレベル1ベクトル値調和弱マース形式の成分である ⁠1/2⁠。

注文番号8

ゴードンとマッキントッシュ^{[ 32 ]}は、8次の擬シータ関数を8つ発見した。彼らはそれらを含む5つの線型関係を発見し、そのうち4つの関数をアペル・レルヒ和として表現し、モジュラー群の下での変換を記述した。2つの関数V ₁とU _{0は、ラマヌジャン}^{[ 33 ]}が以前に紛失したノートの中で発見していたものである。

${\displaystyle S_{0}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}(-q;q^{2})_{n}}{(-q^{2};q^{2})_{n}}}}$ （ OEISの 配列A153148）

${\displaystyle S_{1}(q)=\sum _{n\geq 0}{\frac {q^{n(n+2)}(-q;q^{2})_{n}}{(-q^{2};q^{2})_{n}}}}$ （ OEISの 配列A153149）

${\displaystyle T_{0}(q)=\sum _{n\geq 0}{\frac {q^{(n+1)(n+2)}(-q^{2};q^{2})_{n}}{(-q;q^{2})_{n+1}}}}$ （ OEISの 配列A153155）

${\displaystyle T_{1}(q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}(-q^{2};q^{2})_{n}}{(-q;q^{2})_{n+1}}}}$ （ OEISの配列A153156）

${\displaystyle U_{0}(q)=\sum _{n\geq 0}{\frac {q^{n^{2}}(-q;q^{2})_{n}}{(-q^{4};q^{4})_{n}}}}$ （ OEISの 配列A153172）

${\displaystyle U_{1}(q)=\sum _{n\geq 0}{\frac {q^{(n+1)^{2}}(-q;q^{2})_{n}}{(-q^{2};q^{4})_{n+1}}}}$ （OEISの配列A153174）

${\displaystyle V_{0}(q)=-1+2\sum _{n\geq 0}{\frac {q^{n^{2}}(-q;q^{2})_{n}}{(q;q^{2})_{n}}}=-1+2\sum _{n\geq 0}{\frac {q^{2n^{2}}(-q^{2};q^{4})_{n}}{(q;q^{2})_{2n+1}}}}$ （ OEISの 配列A153176）

${\displaystyle V_{1}(q)=\sum _{n\geq 0}{\frac {q^{(n+1)^{2}}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}}}=\sum _{n\geq 0}{\frac {q^{2n^{2}+2n+1}(-q^{4};q^{4})_{n}}{(q;q^{2})_{2n+2}}}}$ （OEISの配列A153178）

注文番号 10

ラマヌジャン^{[ 34 ]}は、失われたノートに4つの10次の模擬シータ関数を列挙し、それらの間のいくつかの関係を述べており、それはチェイによって証明された。^{[ 35 ] [ 36 ] [ 37 ] [ 38 ]}

• ${\displaystyle \phi (q)=\sum _{n\geq 0}{\frac {q^{n(n+1)/2}}{(q;q^{2})_{n+1}}}}$ （ OEISの配列A053281）
• ${\displaystyle \psi (q)=\sum _{n\geq 0}{\frac {q^{(n+1)(n+2)/2}}{(q;q^{2})_{n+1}}}}$ （ OEISの配列A053282）
• ${\displaystyle \mathrm {X} (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n^{2}}}{(-q;q)_{2n}}}}$ （ OEISの配列A053283）
• ${\displaystyle \chi (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{(n+1)^{2}}}{(-q;q)_{2n+1}}}}$ （ OEISの配列A053284）

注記

1. ツヴェーガース 2001 .
2. ツヴェーガース 2002 .
3. Ramanujan 2000、付録II。
4. ラマヌジャン 1988 .
5. ワトソン 1936 .
6. ブリングマン、フォルサム、オノ 2009 .
7. アンドリュース 1966 .
8. ドラゴネット 1952年。
9. ブリングマン＆オノ 2006 .
10. ブルーニエ＆フンケ 2004 .
11. ザギエ 2007 .
12. アペル 1884 .
13. レルヒ 1892 .
14. アンドリュース 1986 .
15. ヒッカーソン 1988b .
16. アンドリュース 1988 .
17. ローレンス＆ザギエ 1999 .
18. セミハトフ、タオルミーナ、ティプーニン 2005。
19. トロースト 2010 .
20. ダボルカー、ムルシー、ザギエル 2012 .
21. ザギエ 1975 .
22. ヒルゼブルッフ & ザギール 1976、2.2。
23. セール＆スターク 1977 .
24. マッキントッシュ 2007 .
25. ファイン 1988 .
26. ワトソン 1937年。
27. アンドリュース＆ガーバン 1989 .
28. ヒッカーソン 1988a .
29. アンドリュース＆ヒッカーソン 1991 .
30. ベルント＆チャン 2007 .
31. セルバーグ 1938 .
32. ゴードン＆マッキントッシュ 2000 .
33. ラマヌジャン 1988、p. 8、式1; p. 29 式 6.
34. ラマヌジャン 1988、9ページ。
35. チェイ 1999 .
36. チェイ 2000 .
37. チェイ 2002 .
38. チェイ 2007 .

参考文献

• アンドリュース、ジョージ・E.（1966）「ラマヌジャンの模擬シータ関数に対するワトソンとドラゴネットの定理について」アメリカ数学誌、88（2）：454–490、doi：10.2307/2373202、ISSN  0002-9327、JSTOR  2373202、MR  0200258
• アンドリュース、ジョージ・E.（1986）、「5次および7次の模擬シータ関数」、アメリカ数学会誌、293（1）：113–134、doi：10.2307/2000275、ISSN  0002-9947、JSTOR  2000275、MR  0814916
• アンドリュース、ジョージ・E.（1988）「ラマヌジャンの5次模擬シータ関数の定数項として」ラマヌジャン再考（イリノイ州アーバナ・シャンペーン、1987年）、ボストン、マサチューセッツ州：アカデミック・プレス、pp.  47– 56、MR  0938959
• アンドリュース, ジョージ E. (1989)、「模擬シータ関数」、シータ関数—Bowdoin 1987、第2部（ブランズウィック、メイン州、1987年）、純粋数学シンポジウム講演集、第49巻、プロビデンス、ロードアイランド州：アメリカ数学会、pp.  283– 298、MR  1013178
• アンドリュース、ジョージ・E.; ガーバン、FG (1989)、「ラマヌジャンの失われたノート。VI. 模擬シータ予想」、数学の進歩、73 (2): 242– 255、doi : 10.1016/0001-8708(89)90070-4、ISSN  0001-8708、MR  0987276
• アンドリュース、ジョージ・E.；ヒッカーソン、ディーン（1991）「ラマヌジャンの失われたノート VII. 6次模擬シータ関数」『数学の進歩』 、89（1）：60-105、doi：10.1016/0001-8708（91）90083-J、ISSN  0001-8708、MR  1123099
• Appell、P. (1884)、「Sur les fonctions doublement periodiques de troisième espèce」、Annales Scientifiques de l'École Normale Supérieure、1 : 135–164、doi : 10.24033/asens.236
• Berndt, Bruce C.; Chan, Song Heng (2007)、「6次模擬シータ関数」、Advances in Mathematics、216 (2): 771– 786、doi : 10.1016/j.aim.2007.06.004、ISSN  0001-8708、MR  2351377
• Bringmann, Kathrin ; Folsom, Amanda ; Ono, Ken (2009)、「q-series and weight 3/2 Maass forms」（PDF） , Compositio Mathematica , 145 (3): 541– 552, doi : 10.1112/S0010437X09004072 , S2CID  7688222
• Bringmann, Kathrin; Ono, Ken (2006)、「f(q)模擬シータ関数予想と分割ランク」(PDF) , Inventiones Mathematicae , 165 (2): 243– 266, Bibcode : 2006InMat.165..243B , doi : 10.1007/s00222-005-0493-5 , ISSN  0020-9910 , MR  2231957 , S2CID  120388256
• Bringmann, Kathrin; Ono, Ken (2007)、「カスプ形式からマース形式への持ち上げと分割への応用」、米国科学アカデミー紀要、104 (10): 3725– 3731、Bibcode : 2007PNAS..104.3725B、doi : 10.1073/pnas.0611414104、ISSN  0027-8424、MR  2301875、PMC  1820651、PMID  17360420
• Bringmann, Kathrin; Ono, Ken (2010) 「ダイソンのランクとマース形式」(PDF) , Annals of Mathematics , 171 : 419, doi : 10.4007/annals.2010.171.419
• ブルーニエ、ヤン・ヘンドリック; ファンケ、イェンス (2004)、「2つの幾何学的シータリフトについて」、デューク数学ジャーナル、125 (1): 45– 90、arXiv : math/0212286、doi : 10.1215/S0012-7094-04-12513-8、ISSN  0012-7094、MR  2097357、S2CID  2078210
• チェ・ユンソ（1999）「ラマヌジャンの失われたノートにおける10次模擬シータ関数」、Inventiones Mathematicae、136（3）：497– 569、Bibcode：1999InMat.136..497C、doi：10.1007/s002220050318、ISSN  0020-9910、MR  1695205、S2CID  125193659
• チェ・ユンソ（2000）「ラマヌジャンの失われたノートにおける10次模擬シータ関数 II」『数学の進歩』 156（2）：180-285、doi：10.1006/aima.2000.1948、ISSN  0001-8708、MR  1808245
• チェ・ユンソ（2002）「ラマヌジャンの失われたノートにおける10次模擬シータ関数IV」アメリカ数学会誌、354（2）：705–733、doi：10.1090/S0002-9947-01-02861-6、ISSN  0002-9947、JSTOR  2693766、MR  1862564
• チェ・ユンソ（2007）「ラマヌジャンの失われたノートにおける10次模擬シータ関数III」ロンドン数学会誌、94（1）：26–52、doi：10.1112/plms/pdl006、ISSN  0024-6115、MR  2293464、S2CID  122732998
• Dabholkar, Atish; Murthy, Sameer; Zagier, Don (2012)「量子ブラックホール、壁越え、模擬モジュラー形式」、arXiv : 1208.4074 [ hep-th ]
• ドラゴネット、レイラ・A.（1952）「ラマヌジャンの模擬シータ級数の漸近公式」アメリカ数学会誌、72（3）：474-500、doi：10.2307/1990714、ISSN  0002-9947、JSTOR  1990714、MR  0049927
• Fine, Nathan J. (1988)、「Basic hypergeometric series and applications」、Mathematical Surveys and Monographs、第27巻、プロビデンス、ロードアイランド州：アメリカ数学会、ISBN 978-0-8218-1524-3、MR  0956465
• ガースウェイト、シャロン・アン（2008）「ω(q)模擬シータ関数の係数」、国際数論ジャーナル、4（6）：1027–1042、doi：10.1142/S1793042108001869、ISSN  1793-0421、MR  2483310
• ゴードン、バジル；マッキントッシュ、リチャード J. (2000)、「いくつかの8次模擬シータ関数」、ロンドン数学会誌、62 (2): 321– 335、doi : 10.1112/S0024610700008735、ISSN  0024-6107、MR  1783627、S2CID  123182909
• Hickerson, Dean (1988a)、「モック シータ予想の証明」、Inventiones Mathematicae、94 (3): 639–660、Bibcode : 1988InMat..94..639H、doi : 10.1007/BF01394279、ISSN  0020-9910、MR  0969247、S2CID  122492320
• ヒッカーソン、ディーン（1988b）、「7次模擬シータ関数について」、Inventiones Mathematicae、94（3）：661– 677、Bibcode：1988InMat..94..661H、doi：10.1007/BF01394280、ISSN  0020-9910、MR  0969247、S2CID  121384412
• Hirzebruch, Friedrich ; Zagier, Don (1976)「ヒルベルトモジュラー面上の曲線の交差数とネベンティプスのモジュラー形式」Inventiones Mathematicae , 36 : 57– 113, Bibcode : 1976InMat..36...57H , doi : 10.1007/BF01390005 , hdl : 21.11116/0000-0004-399B-E , ISSN  0020-9910 , MR  0453649 , S2CID  56568473
• ローレンス、ルース; ザギエ、ドン (1999)、「3次元多様体のモジュラー形式と量子不変量」、アジア数学ジャーナル、3 (1): 93– 107、doi : 10.4310/AJM.1999.v3.n1.a5、ISSN  1093-6106、MR  1701924
• Lerch, M. (1892)、「Bemerkungen zur Theorie der elliptischen Funktionen」、Jahrbuch über die Fortschritte der Mathematik、24 : 442– 445
• マッキントッシュ、リチャード J. (2007)、「二次模擬シータ関数」、カナダ数学速報、50 (2): 284– 290、doi : 10.4153/CMB-2007-028-9、ISSN  0008-4395、MR  2317449、S2CID  119499438
• ラマヌジャン、シュリニヴァサ（1988）『失われたノートとその他の未発表論文』ベルリン、ニューヨーク：シュプリンガー・フェアラーク、ISBN 978-3-540-18726-4、MR  0947735
• ラマヌジャン、シュリニヴァサ（2000）「シュリニヴァサ・ラマヌジャン論文集」、ネイチャー、123（3104）、プロビデンス、RI：631、Bibcode：1929Natur.123..631L、doi：10.1038/123631a0、ISBN 978-0-8218-2076-6、MR  2280843、S2CID  44812911
• Selberg, A. (1938)、「Über die Mock-Thetafunktionen siebenter Ordnung. (7 次の疑似シータ関数について)」、Archiv for Mathematik og Naturvidenskab、41 : 3–15、全集第1巻に再録
• Semikhatov, AM; Taormina, A.; Tipunin, I. Yu (2005)、「高水準アペル関数、モジュラー変換、および特性」、Communications in Mathematical Physics、255 (2): 469– 512、arXiv : math/0311314、Bibcode : 2005CMaPh.255..469S、doi : 10.1007/s00220-004-1280-7、ISSN  0010-3616、MR  2129953、S2CID  14466569
• セール、ジャン＝ピエール; スターク、HM (1977)、「重み1/2のモジュラー形式」、一変数のモジュラー関数、VI（第2回国際会議、ボン大学、ボン、1976年）、数学講義ノート、第627巻、ベルリン、ニューヨーク：シュプリンガー・フェアラーグ、pp.  27– 67、doi：10.1007/BFb0065296、ISBN 978-3-540-08530-0、MR  0472707
• Troost, J. (2010)、「非コンパクト楕円種数：モックかモジュラーか」、Journal of High Energy Physics、2010 (6) 104、arXiv : 1004.3649、Bibcode : 2010JHEP...06..104T、doi : 10.1007/JHEP06(2010)104、S2CID  84838021
• ワトソン, GN (1936)、「最終問題：模擬シータ関数の説明」、ロンドン数学会誌、11 : 55–80、doi : 10.1112/jlms/s1-11.1.55
• ワトソン, GN (1937)、「模擬シータ関数（2）」、ロンドン数学会誌、s2-42: 274– 304、doi : 10.1112/plms/s2-42.1.274
• Zagier, Don (1975)、「Nombres de class et formes modulaires de poids 3/2」、Comptes Rendus de l'Académie des Sciences、Série A et B、281 (21): Ai、A883– A886、ISSN  0151-0509、MR  0429750
• ザギエ, ドン (2009) [初版2007年]、「ラマヌジャンの模擬シータ関数とその応用（ツヴェーガースとオノ＝ブリングマンに倣って）」（PDF）、Séminaire Bourbaki. Exp. 986, Astérisque , 326 : 143– 164, ISSN  0303-1179 , MR  2605321
• Zwegers, SP (2001)、「模擬θ関数と実解析モジュラー形式」、q-級数とその組合せ論、数論、物理学への応用（イリノイ州アーバナ、2000年）、アメリカ数学会誌第291巻、プロビデンス、ロードアイランド州、pp.  269– 277、ISBN 978-0-8218-2746-8、MR  1874536
• Zwegers, SP (2002), Mock Theta Functions , ユトレヒト博士論文, ISBN 90-393-3155-3

さらに読む

• 小野 健(2008)、「モック シータ関数、ランク、およびマース形式」、アラディ、クリシュナスワミ(編)、整数論の調査、数学の発展、第 1 巻。 17、Springer-Verlag、pp.  119–141、ISBN 978-0-387-78509-7、Zbl  1183.11064

外部リンク

• 国際会議: 模擬シータ関数とその応用 2009
• ジョージ・アンドリュースによる模擬シータ関数に関する論文
• カトリン・ブリングマンによる模擬シータ関数に関する論文
• 小野健による模擬シータ関数に関する論文
• Sander Zwegersによる模擬シータ関数に関する論文
• ワイススタイン、エリック W.、「模擬シータ関数」、MathWorld