[論文レビュー] The pentagon relation for the quantum dilogarithm and quantized M_{0,5}

A. B. Goncharov|ArXiv.org|Jun 27, 2007

Algebraic structures and combinatorial models参考文献 9被引用数 31

ひとこと要約

本稿は、量子ダイログラミス関数の五角形関係を、型 $A_2$ のクラスター $Χ$-代数としての量子化モジュライ空間 $χ^{Ρφ}_{0,5}$ の枠組みに埋め込むことにより確立する。量子ダイログラミス作用素 $K$ に関して不変なシュワーツ空間 $S_{\bf L}$ を構成し、$K$ による共轭作用が基礎となる代数 $ΣΣ$ に位数 5 の自己同型を実装することを示す。これにより、$(2\pi\sqrt{\mathfrak{q}}K)^5 = \lambda \cdot \mathrm{Id}$ の五角形恒等式が直接的に導かれる。ここで $|\lambda|=1$ である。これは、ティヒミュラー空間の量子化における基礎的欠落を解消するものである。

ABSTRACT

We introduce and study a Schwarz space S in the space of functions on the real line. It is a module over the algebra L of regular functions on the (modular double of the) non-commutative q-deformation of the moduli space of configurations of 5 cyclically ordered points on the projective line. The algebra L has an order five automorphism corresponding to the cyclic shift of the points. The quantum dilogarithm gives rise to an automorphism of the space Schwarz S intertwining the automorphism of L. This easily implies the pentagon relation for the quantum dilogarithm function. The triple (L, S, the automorphism) is the quantized moduli space of configurations of 5 points on the projective line. It is the simplest example of a quantized cluster X-variety.

研究の動機と目的

• ティヒミュラー空間の量子化における基礎的欠落を解消し、量子ダイログラミス関数の五角形関係を厳密に確立すること。
• 差分作用素の $\ast$-代数 $ΣΣ$ を用いて、$L^2(\mathbb{R})$ 内で well-defined かつ不変な領域 $S_{\bf L}$ を構成すること。
• 作用素 $K$ が代数 $ΣΣ$ 上に位数 5 の自己同型 $\gamma$ を実装することを示し、これにより $K$ が位相を除いて一意に特徴付けられることを示すこと。
• 量子ダイログラミス関数が、クラスター $Χ$-多様体および高次ティヒミュラー理論に結びつく、量子化モジュライ空間 $\mathcal{M}^{\rm cyc}_{0,5}$ の基本的構成要素であることを特定すること。

提案手法

• 原点を避ける経路 $\Omega$ に沿った積分により、量子ダイログラミス関数 $\Phi^{\mathfrak{q}}(z)$ を定義し、収束性とメロモルフィズムを保証する。
• $2\pi\sqrt{\mathfrak{q}}K$ が $\mathbb{R}$ 上でユニタリであるように、作用素 $K: L^2(\mathbb{R}) \to L^2(\mathbb{R})$ をスケーリングされたフーリエ変換に続いて $\Phi^{\mathfrak{q}}(x)$ による乗算を施すことにより構成する。
• 乗算作用素 $e^x$, $e^{x/\mathfrak{q}}$ および $2\pi i$, $2\pi i\mathfrak{q}$ によるシフト作用素から生成される $\ast$-代数 $\bf L$ を $L^2(\mathbb{R})$ 上に導入する。
• 代数 $\bf L$ 内のすべての作用素の共通定義域としてシュワーツ空間 $S_{\bf L}$ を定義し、自然な位相を備えることで、$K$ がこの空間を保存することを保証する。
• $K$ による共轭作用が、代数 $\bf L$ 上に位数 5 の自己同型 $\gamma$ を実装することを確立し、これは $\mathbb{P}^1$ 上の 5 点配置の巡回的シフトに対応する。
• $\mathcal{M}^{\rm cyc}_{0,5}$ を 5 個の座標チャート $\psi_c$ を用いて、型 $A_2$ のクラスター $Χ$-多様体として特定し、正則関数 $X_{a,b;c}$ が正則関数の基底をなすことを示す。

実験結果

リサーチクエスチョン

• RQ1 量子ダイログラミス関数の五角形関係を、幾何的・代数的枠組みを用いて厳密に導出する方法は何か？
• RQ2 $L^2(\mathbb{R})$ 内で、作用素 $K$ の不変性とユニタリティを保証する自然な定義域は何か？
• RQ3 量子ダイログラミス作用素 $K$ は、$\mathbb{P}^1$ 上の 5 点配置へのモジュラー群作用とどのように関係するか？
• RQ4 $\mathcal{M}^{\rm cyc}_{0,5}$ を $\ast$-代数 $\bf L$、シュワーツ空間 $S_{\bf L}$、および位数 5 の自己同型 $\gamma$ として構成できるか？
• RQ5 量子ダイログラミス関数は、量子化された高次ティヒミュラー理論およびクラスター $Χ$-多様体の文脈において、果たす役割は何か？

主な発見

• 作用素 $K$ はシュワーツ空間 $S_{\bf L}$ を保存する。これは、代数 $\bf L$ 内のすべての作用素の共通定義域であり、リッジドヒルベルト空間における作用のwell-defined性を保証する。
• $K$ による共轭作用が、代数 $\bf L$ 上に位数 5 の自己同型 $\gamma$ を実装する。これは、$\mathbb{P}^1$ 上の 5 点配置の巡回的シフトに対応する。
• 五角形関係 $(2\pi\sqrt{\mathfrak{q}}K)^5 = \lambda \cdot \mathrm{Id}$ が $|\lambda| = 1$ を満たして成立する。これが本稿の主たる結果である。
• この関係の準古典的極限は、古典的ダイログラミス関数のアーベルの五重項恒等式を回復する。
• 代数 $\bf L$ は、非可換 $q$-変形された型 $A_2$ のクラスター $Χ$-多様体のモジュラー二重体の正則関数代数と同型である。
• $q$ が単位根であるとき、代数 $L_q$ の中心は $\mathcal{M}^{\rm cyc}_{0,5}$ の座標環と同型であり、$L_q$ は $\mathcal{M}^{\rm cyc}_{0,5}$ 上にアズマヤ代数の層を導く。