論文「TQFT における符号数：漸近挙動とモジュラリティ」の技術的サマリー

著者: Julien Marché, Gregor Masbaum
日付: 2026 年 2 月 21 日（初版 2025 年 12 月 15 日）
arXiv: 2512.13450v2 [math.GT]

1. 研究の背景と問題設定

本論文は、$SU_2$-トポロジカル量子場理論（TQFT）に関連するベクトル空間の符号数（signature） $\sigma_g(q/p)$ の解析に焦点を当てています。

• 対象: 種数 $g$ の曲面 $S_g$ に対して構成される有限次元ベクトル空間 $V_p(S_g)$ 上のエルミート形式 $h_g$ の符号数。ここで、$p$ は奇数、$\zeta = e^{i\pi q/p}$ は $2p$ 乗根の原始根であり、$q, p$ は互いに素な奇数です。
• 問題: 通常、TQFT の研究ではベクトル空間の次元（Verlinde 公式）やその半古典的極限が扱われますが、本論文では符号数 $\sigma_g(q/p)$ の漸近挙動、特に $q/p \to \theta$（$\theta$ は無理数）となる極限における振る舞いを解析することを目的としています。
• 既知の事実:
  • 種数 $g=0, 1$ の場合、エルミート形式は正定値であり、符号数は次元に一致し、$q$ に依存しません。
  • 種数 $g \ge 2$ の場合、符号数は $q$ に依存し、非自明な挙動を示します。特に $g=2$ が最初の非自明なケースです。

2. 主要な手法とアプローチ

著者らは以下のステップを経て問題を解決しました。

2.1. フローベニウス代数と符号数の定式化

TQFT の符号数は、「符号付き Verlinde 代数」と呼ばれる半単純な可換フローベニウス代数 $V_p^q$ における特定の演算子 $\Omega$ のトレースとして表現されます（Theorem 2.1）。

• 種数 $g=2$ の場合、符号数は整数の和として記述されます（Formula 1）：
  $$\sigma_2\left(\frac{q}{p}\right) = \sum_{(j,k,\ell) \in \Delta_p} (-1)^{\lfloor jq/p \rfloor + \lfloor kq/p \rfloor + \lfloor \ell q/p \rfloor}$$
  ここで $\Delta_p$ は特定の三角形不等式を満たす整数の組 $(j,k,\ell)$ の集合です。

2.2. 三角関数公式への変換（Section 3）

上記の離散的な和を解析的に扱いやすくするため、有限フーリエ変換と Brion の定理（多面体上の和を有理関数の値の和に変換する定理）を適用しました。

• 結果: 種数 2 の符号数 $\sigma_2(q/p)$ に対する明示的な三角関数公式（Theorem 3.1）を導出しました。
• 簡略化: Y. Murakami による指摘に基づき、この公式をより簡潔な余接関数（cotangent）の和の形（Corollary 3.2）に書き換えました：
  $$\sigma_2\left(\frac{q}{p}\right) = \frac{2}{p} \sum_{n=1, \text{odd}}^{p-2} \frac{\cot^3(\pi n / 2p)}{\sin(\pi n q / p)}$$
  この簡略化が、後の漸近解析を可能にする鍵となりました。

2.3. 漸近解析（Section 4）

$q/p$ が無理数 $\theta$ に収束する列（連分数の近似分数 $q_k/p_k$）に対して、$\sigma_2(q_k/p_k)/p_k^2$ の極限を計算しました。

• 三角関数公式の各項の極限を評価し、無限級数への収束性を示しました。
• 無理数の無理数度（irrationality exponent）$\mu(\theta) < 3$ を仮定することで、極限と和の順序交換が正当化されることを証明しました。

2.4. モジュラリティと変換則（Section 6）

得られた極限関数 $\Lambda(\theta)$ の性質を調べ、モジュラー形式との関係を明らかにしました。

• $\Lambda(\theta)$ がレベル 2 の重さ 4 のモジュラー形式のアイヒラー積分（Eichler integral）の境界値であることを示しました。
• これに基づき、$\Lambda(\theta)$ が満たす変換則（Functional equation）を導出しました。
• この変換則を離散的な符号数 $\sigma_2(q/p)$ に持ち上げる形で**予想（Conjecture 6.12）**を提示しました。

3. 主要な結果

3.1. 種数 2 における漸近公式（Theorem 4.1）

$\theta \in [0, 1]$ を無理数とし、$q_k/p_k$ をその連分数展開の近似分数とします。$\mu(\theta) < 3$ を満たすほとんど全ての $\theta$ に対して、以下の極限が成立します：
$$\lim_{k \to \infty} \frac{1}{p_k^2} \sigma_2\left(\frac{q_k}{p_k}\right) = \Lambda(\theta) = \frac{16}{\pi^3} \sum_{n \ge 1, \text{odd}} \frac{1}{n^3} \sin(n\pi\theta)$$
この結果は、符号数の成長率が $p^2$ であり、その係数が $\theta$ に依存する非自明な関数であることを示しています。

3.2. 変換則と予想（Conjecture 6.12）

$\Lambda(\theta)$ は以下の変換則を満たすことが証明されました：
$$\Lambda\left(\frac{\theta}{2\theta+1}\right)(2\theta+1)^2 - \Lambda(\theta) = 2\theta^2 + 2\theta + 1$$
この連続的な変換則に対応する離散的な関係式として、以下の予想を提唱しました（$0 < q < p$ を互いに素な奇数とする）：
$$\sigma_2\left(\frac{q}{2q+p}\right) - \sigma_2\left(\frac{q}{p}\right) = 2q^2 + 2qp + p^2 - 1$$

• 更新: 2026 年 2 月、Y. Murakami によって、著者らの三角関数公式から出発してこの予想が証明されたことが報告されました。

3.3. デデキント和との類似性

種数 0（4 点付き球面）の符号数は、デデキント和の「2-滑らか化」版 $S(q/p)$ と一致することが示されました。$S(q/p)$ は重さ 1/2 のモジュラー形式の境界値であり、デデキント和の相互法則に類似した変換則 $S(\frac{q}{q+p}) - S(\frac{q}{p}) = 1/2$ を満たします。
本論文の結果は、種数 2 においても同様のモジュラーな構造が存在することを示唆しています。

4. 高次種数への拡張（Section 5）

種数 $g \ge 3$ の場合、符号数の公式は種数 2 のように単純な和の形にはならず、解析が困難です。しかし、数値実験からは、符号数が $p^{\max\{g, 2g-2\}}$ のオーダーで成長し、その極限が何らかの関数 $F_{g;\lambda}(\theta)$ に収束する可能性が示唆されています。

• 種数 2 の場合の成長指数 $2g-2 = 2$ は、次元の成長指数 $3g-3 = 3$ と異なります。この違いの幾何学的・物理的な意味は未解決の問題です。

5. 意義と貢献

1. TQFT 符号数の漸近挙動の解明: 長らく研究されていなかった TQFT の符号数の漸近的な振る舞いを、種数 2 の場合に厳密に記述しました。
2. モジュラー形式との深い関係の発見: 符号数の極限関数がモジュラー形式のアイヒラー積分の境界値であること、そしてその変換則が離散的な符号数の変換則（予想）と対応することを示しました。これは量子モジュラー形式（Quantum Modular Forms）の文脈における重要な例です。
3. 相互法則の一般化: デデキント和の相互法則が、TQFT の符号数という文脈で種数 2 に対して一般化される可能性を提示しました。
4. 手法の革新: フローベニウス代数、Brion の定理、三角関数公式の簡略化、そしてモジュラー形式の理論を組み合わせることで、複雑な離散和の解析を可能にしました。

本論文は、トポロジカル量子場理論、数論（モジュラー形式）、および幾何学の交差点において、新たな視点と具体的な結果を提供する重要な業績です。特に、Y. Murakami による予想の証明は、この分野の発展をさらに加速させるものと考えられます。