On ratios of theta functions

技術的概要：テータ関数の比

問題の定義
$c$ 個の自由ボソンに対する平均分配関数（Afhkami-Jeddi ら [3]）および Narain 変形空間上の種数 1 の分配関数の平均（Maloney-Witten [42]）に動機づけられ、本論文はテータ関数、エピシュタインゼータ関数、およびデデキントのイータ関数を含む比の最適化を調査する。具体的には、著者らは上半平面 $\mathbb{H}$ における（モジュラー群の作用を除く）以下の比の最小化および最大化を行うものを分類する「問題 B」に取り組む：

1. $\min/\max \frac{\theta(\beta, z)}{\theta(\alpha, z)}$
2. $\min/\max \frac{\zeta(s, z)}{\theta(\alpha, z)}$

さらに、「問題 C」は、異なる半径の円上にコンパクト化された自由ボソン理論の分配関数 $Z(R, \tau)$ の比、およびシゲル・ワイル公式の式を含む比を考慮する。中心的な物理的な問い（問題 A）は、トーラスの幾何学が、ヘルムホルツ自由エネルギーなどの熱力学的量に対応するこれらの分配関数にどのように影響するかという点である。

手法
本論文は、モジュラー不変性、変形手法、および精密な単調性解析の組み合わせを採用している。

• 基本領域への還元：著者らは、モジュラー群（特に $\tau \mapsto -1/\tau$、$\tau \mapsto \tau+1$、および $\tau \mapsto -\tau$ によって生成される部分群）に対する関数の不変性を利用して、極値の探索を基本領域 $D_G$ に制限する。
• 横断的単調性：核心的な手法は、比関数の実部 ($x$) および虚部 ($y$) に関する単調性を証明することである。
  • テータ関数の比については、著者らは特定の領域において $\frac{\partial}{\partial x} \frac{\theta(\beta, z)}{\theta(\alpha, z)} \geq 0$ であることを確立し、境界線（垂直線 $\text{Re}(z)=1/2$ と弧 $|z|=1$）上での挙動を解析する。
  • これは、比の微分をより単純な比の微分の和に分解し、$\sqrt{s}\theta(s, z)$ の単調性に関する先行研究（Luo-Wei [36]）を活用することに基づいている。
• 最小原理：エピシュタインゼータ関数の比を扱うために、著者らは「最小原理」（命題 3.1 および 3.2）を適用する。この原理は、モジュラー不変な関数が長方形部分領域内の $x$ および $y$ に関して特定の単調性条件を満たし、かつ境界で比較不等式を満たす場合、最小値は六角格子点 $e^{i\pi/3}$ で達成されることを述べる。
• 総和公式と評価：エピシュタインゼータ関数 $\zeta(s, z)$ について、著者らはランクンの総和公式（補題 3.4–3.7）を用いて近似値と誤差評価を導出する。また、修正ベッセル関数 $K_s(y)$ を含むチャウラ・セルバーグ公式（補題 4.14）を用いて、小 $s$ に対する精密な評価を得る。
• 変形論法：著者らは代数的な変形（例えば、$\theta(\beta, z)/\theta(\alpha, z)$ を $\theta(\beta, z)/\theta(1/\alpha, z)$ と関連付けるなど）を用いて、パラメータ $(\alpha, \beta)$ の様々な場合を、$\beta > \alpha \geq 1$ となる核心的な場合に還元する。

主要な貢献と結果
本論文は、問題 B および C で定義された比の極値の完全な分類を提供する。

1. 定理 1.1（テータ関数の比）：

   • $\alpha, \beta > 0$ に対して、最大値または最小値の存在は $(\alpha, \beta)$ 平面の領域に依存する。
   • $(\alpha, \beta)$ が領域 $I \cup III$（$\beta > \alpha, \beta\alpha > 1$ または $\beta < \alpha, \beta\alpha < 1$）に属する場合、最大値は六角格子点 $z = e^{i\pi/3}$ で達成される。
   • $(\alpha, \beta)$ が領域 $II \cup IV$ に属する場合、最小値は $z = e^{i\pi/3}$ で達成される。
   • 補完的な領域では、極値は存在しない（関数は有界ではない）。
   • この結果はテータ関数の和に一般化される（定理 1.2）。

2. 定理 1.3（エピシュタインゼータ関数とテータ関数の比）：

   • $s > 1$ および $\alpha \geq 3s$ に対して、比 $\frac{\zeta(s, z)}{\theta^k(\alpha, z)}$ は、$k \in (0, 2s]$ の場合、$z = e^{i\pi/3}$ で最小値を達成する。
   • $k > 2s$ の場合、最小値は存在しない。

3. 系 1.2（関数の差）：

   • 定理 1.3 の帰結として、本論文は $s \in (1, 12]$ および $\alpha \geq 3s$ に対して、差 $\zeta(s, z) - \theta^k(\alpha, z)$ が $k \in (0, 2s]$ において $z = e^{i\pi/3}$ で最小化されることを確立する。

4. 物理的含意（定理 D）：

   • 結果は、六角格子が自由ボソンの分配関数（式 1.6）および Narain 変形空間上の平均分配関数（式 1.8–1.10）を最小化することを確認する。

重要性
著者らは、これらの結果が共形場理論および弦理論、特に自由ボソンの分配関数とシゲル・ワイル公式に関連して直接的な応用を持つと述べている。数学的には、これらの発見はテータ関数とエピシュタインゼータ関数の差の最小値をもたらし、結晶化の数学および相互作用粒子論（B´etermin [7, 10] および関連する研究を参照）への含意を持つ。本論文は、モジュラー不変関数の最適化における六角格子の決定的な役割を強化し、ランクン、キャッセルズ、モンゴメリー、およびオスグッド・フィリップス・サナークによる古典的結果を比の形式に拡張する。著者らは、ムンフォードが指摘したように、テータ関数の理論は依然として活発かつ未完の分野であることを強調している。