$\mathrm {U}_{q\tilde q}\mathfrak{sl}(2;\mathbb R)$ Turaev-Viro invariants for cusped $3$-manifolds

技術要約：カスプを持つ3-多様体に対する $U_q\widetilde{sl}(2; \mathbb{R})$ チュライフ・ヴィロ不変量

問題設定
本論文は、量子トポロジカル不変量を、カスプ端を持つ双曲3-多様体へと拡張する問題に取り組んでいる。著者らは以前、モジュラー・ダブル $U_q\widetilde{sl}(2; \mathbb{R})$ を用いて、全測地境界を持つ双曲3-多様体に対するチュライフ・ヴィロ型の理論を確立したが、この枠組みはカスプを持つ多様体には適用できない。主な障害は、通常の $U_q\widetilde{sl}(2; \mathbb{R})$-6j 記号から構成される標準的な状態積分が、カスプの存在によって発散することである。目標は、これらの多様体に対して収束する不変量を定義し、その漸近挙動が双曲体積を符号化していることを検証することであり（例：体積予想に関連する広範なプログラム）、これは幾何学的データ（例：体積予想）と量子不変量を結びつける試みと一致している。

手法
著者らは、カスプにおける発散を処理するために繰り込み戦略を採用している。核心となる手法のステップは以下の通りである：

1. 6j 記号の理想化： 著者らは「理想的」な $U_q\widetilde{sl}(2; \mathbb{R})$-6j 記号を導入する。これらは、通常の6j記号の繰り込まれた極限として定義される。具体的には、パラメータ $b \in (0,1)$ および $Q = b + 1/b$ に対し、理想的な記号はダブルサイン関数 $S_b$ と関数 $T_b$ を用いた積分を通じて構成される。この積分は絶対収束し、五角形恒等式を満たすことが示されており、状態和の構成に適している。
2. 状態積分の構成： 理想三角形分割 $\mathcal{T}$ を持つ双曲3-多様体 $M$ に対して、著者らは状態積分 $TV_b(M, \mathcal{T})$ を定義する。この積分は、境界成分におけるホログラフの変化の作用によるエッジ彩色（edge colorings）の商空間上で取られる。被積分関数は、エッジの重み $|e|_a$ の積と、理想的な6j記号の絶対値で与えられる四面体重みの積からなる。
3. 漸近解析： $b \to 0$ における不変量の挙動を決定するために、著者らは鞍点近似法を利用する。彼らは、6j記号から導かれる関連する位相関数 ($V_{x,b}$) を分析し、三角形分割の幾何学的構造に対応する臨界点を特定する。
4. 収束の証明： 理想三角形分割が角度構造（angle structure）を支持する場合において、状態積分が絶対収束することを厳密に証明する。これには、ダブルサイン関数の性質および装飾された理想双曲四面体の幾何学を用いて、理想的な6j記号の評価界を確立することが含まれる。

主要な貢献および結果

• 不変量の定義： 本論文は、カスプ端を持つ双曲3-多様体のための、一族のチュライフ・ヴィロ型の不変量 $TV_b(M, \mathcal{T})$ を定義する。
• 収束（定理 1.4）： 角度構造を支持する理想三角形分割を持つ任意のカスプ端を有する双曲3-多様体に対して、状態積分 $TV_b(M, \mathcal{T})$ がすべての $b \in (0,1)$ で絶対収束することが証明されている。著者らは、このような三角形分割が、$S^3$ 内の結び目補空間および SnapPy センススのすべての多様体に存在することを述べている。
• 位相的不変性（定理 1.5）： これらの不変量は、三角形分割が角度構造の条件を保持する2-3 または 3-2 パフナー（Pachner）移動によって関連付けられている限り、理想三角形分割の選択に依存しないことが示されている。これにより、$TV_b(M, \mathcal{T})$ が $M$ の位相不変量であることが確立される。
• 漸近挙動（定理 1.6）： 漸近展開に関する中心的な結果は、$b \to 0$ における不変量の挙動である。幾何学的理想三角形分割（四面体が正の向きを持つ双曲理想四面体である場合）において、不変量は指数関数的に減衰する：
  $$\lim_{b \to 0} \pi b^2 \log TV_b(M, \mathcal{T}) = -\text{Vol}(M)$$
  ここで $\text{Vol}(M)$ は多様体の双曲体積である。
• 理想6j記号の漸近挙動（定理 1.2）： 重要な中間結果として、理想的な6j記号自体の漸近展開が提供される。装飾された理想双曲四面体 $\Delta$ に対応するエッジの長さに対して、記号は次のように振る舞う：
  $$\left| \begin{matrix} a_1 & \dots & a_6 \end{matrix} \right|_b \sim \frac{1}{2} \frac{e^{-\text{Cov}(\Delta)/\pi b^2}}{\sqrt[4]{-\det \text{Gram}(\Delta)}}$$
  ここで $\text{Cov}(\Delta)$ は四面体の共体積（co-volume）である。

意義および主張
本論文は、$U_q\widetilde{sl}(2; \mathbb{R})$ チュライフ・ヴィロ理論を、体積予想の本来の幾何学的設定であるカスプの場合へと成功裏に拡張したと主張している。これらの新しい不変量の指数減衰率が正確に双曲体積に一致することを証明することで、本研究は、量子不変量が3-多様体の幾何学を符号化するという原理を強化している。

著者らは、自身の構成を、テイチミュラーTQFTやVirasoro TQFTを含む、非コンパクトな状態積分モデルのより広い景観の中に位置付けており、これらの理論間の深い関連性を示唆している。しかし、彼らは自身の構成が既存のモデルとは明確に異なることを明言しており、精密な統一的図式の確立は長期的な目標であるとしている。

本論文は、体積予想を完全に証明することを主張しているわけではない（すべてのカスプ付き多様体に対して幾何学的三角形分割が存在するということは依然として予想であるが、既知の例では検証されている）。代わりに、本論文は、幾何学的理想三角形分割の存在を仮定した上での漸近挙動に関する厳密な枠組みと証明を提供している。また、著者らは、次項（随伴ツイストされたレイデミスター・トーション）および、アンデルセン・カシャエフ分割関数によって予測されるジョーンズ関数とこれらの不変量との関係を扱う今後の研究についても概説している。