[論文レビュー] Trace functionals on non-commutative deformations of moduli spaces of flat connections

Philippe Roché, András Szenes|ArXiv.org|Aug 18, 2000

Algebraic structures and combinatorial models参考文献 22被引用数 4

ひとこと要約

本稿は、リボングラフと量子群不変量に基づく幾何的量子化のアプローチを用いて、穴あきリーマン面への平坦接続の空間の関数代数の非可換変形を構成する。$ G = SU(2) $ に対して、形式的トレースと $ q $-変形代数上の正則トレースの間の漸近的対応を証明し、フェドソフ＝ネスト＝ツィガンのインデックス定理を $ q $-設定へと一般化する予想的な持ち上げを提示する。

ABSTRACT

We describe an efficient construction of a canonical non-commutative deformation of the algebraic functions on the moduli spaces of flat connections on a Riemann surface. We show that this algebra, which is a variant of the quantum moduli algebra introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche, has a trace functional which is related to the canonical trace in the formal index theory of Fedosov and Nest-Tsygan via the Verlinde formula.

研究の動機と目的

• 穴あきリーマン面への平坦 $ G $-接続の空間の関数代数の非可換変形代数 $ A_q $ を構成すること。
• 形式的変形 $ A_\hbar $（$ \mathbb{C}[[\hbar]] $ 上）からの標準的トレースを、単位円板上で正則な関数値をとる $ A_q $ 上の正則トレースへ持ち上げること。
• $ q $-トレースと $ q = 1 $ における形式的トレースの間の漸近的展開を確立し、インデックス理論を用いてヴェルリンデの公式を一般化すること。
• リボングラフとレシティヒン＝トゥレイの不変量を用いた、幾何的かつ計算的に効率的な量子化手順を提供すること。
• 高ランク群へのインデックス理論的アプローチの拡張の基盤を築くこと。

提案手法

• 色付きリボングラフを用いて、リボングラフの不変量としてモジュライ空間の不変量を表現する、レシティヒン＝トゥレイ量子化の幾何的変種を用いて代数 $ A_q $ を構成する。
• フォックとロスリの図式的計算と量子群理論を用いて、古典的モジュライ空間上のポアソン構造とポアソントレースを定義する。
• 量子群理論からの普遍的 $ R $-行列と $ J $-行列を用いて、量子構造を符号化する融合行列 $ J(\lambda) $ を定義する。
• $ J(\lambda) = \sum_i a_i \otimes b_i $ とおくとき、普遍的要素 $ Q(\lambda) $ を $ \sum_i S(a_i)b_i $ として導出し、それが表現上のトレース作用素として作用することを示す。
• 動的量子ウェイル群作用素 $ A_w(\lambda) $ を用いて、異なる重み空間を関連づけ、モジュール間のインターリンクを構成する。
• $ \mathfrak{sl}_2 $ 場合の明示的計算を、基本超幾何関数と $ q $-特殊関数を用いて行い、トレースの漸近的性質を検証する。

実験結果

リサーチクエスチョン

• RQ1 形式的変形 $ A_\hbar $ 上の標準的トレースを、単位円板上で正則な関数値をとる $ q $-変形代数 $ A_q $ 上の正則トレースへ持ち上げることは可能か？
• RQ2 $ q $-トレースと $ q = 1 $ における形式的トレースの間の漸近的関係は何か？ そしてヴェルリンデの公式とどのように関係するか？
• RQ3 レシティヒン＝トゥレイ構成をどのように変更すれば、モジュライ空間代数の透明性・幾何的明確性・計算的効率性を備えた量子化を得られるか？
• RQ4 動的量子ウェイル群は、$ q $-変形設定においてトレースとインターリンクを実現するために果たす役割は何か？
• RQ5 フェドソフとネスト＝ツィガンのインデックス理論的枠組みを、非形式的で正則な $ q $-変形へとどの程度まで拡張できるか？

主な発見

• $ G = SU(2) $ の場合、本稿では $ q \to 1 $ のとき、$ A_q $ 上の $ q $-トレース（単位円板上で正則な関数値）が、$ A_\hbar $ 上の標準的トレースに漸近的に展開されることを証明し、予想された持ち上げが正当化された。
• $ \mathfrak{sl}_2 $ 場合におけるトレース作用素 $ Q(\lambda) $ の明示的公式が、基本超幾何関数を用いて導出された：$ Q(\lambda)v^m_k = {}_2\varphi_1(q^{-2(m-k+1)}, q^{2k}; q^{2(\lambda-m+2k)}; q^{-2}) v^m_k $。
• 関係 $ Q(-\lambda-2)Q(\lambda+h) = q^{h^2/2 + h} v $ が確認され、量子群の双対性とトレース恒等式と整合していることが示された。
• 動的量子ウェイル群作用素 $ A_{V_m}(\lambda) $ の作用が、$ q $-サルシュッツの公式を用いて明示的に計算され、$ A_{V_m}(\lambda)(v^m_k) = (-1)^k q^{-k(m-k+1)} \frac{(q^{2(\lambda+k+1)}; q^{-2})_k}{(q^{2(\lambda-m+2k)}; q^{-2})_k} v^m_{m-k} $ となることが示された。
• $ A_q $ 上のトレースが漸近的展開を通じてヴェルリンデの公式と整合することから、量子不変量とインデックス理論との間により深い関係がある可能性が示唆された。
• 本構成は、従来の代数的量子化とは異なり、幾何的かつ計算的に効率的な代替手法を提供し、リボングラフ技法を用いてポアソン構造とトレースの明示的公式が得られた。