[論文レビュー] Universal Algebras of Hurwitz Numbers

А. Миронов, А. Морозов+1 more|ArXiv.org|Sep 7, 2009

Nonlinear Waves and Solitons参考文献 14被引用数 7

ひとこと要約

本稿は、対称群 $\mathbb{S}_\infty$ の表現を通じて、すべての閉および開のハーツィッツ数を統一する無限次元のユニバーサル・カーディ＝フロベニウス代数を構成する。$gl(\infty)$ の表現に基づき、形式的微分作用素の代数に於いて、代数 $A$ と $B$ をバランスド作用素から定義し、$A$ が可換で $B$ が非可換であることを示す。構造定数は $N\to\infty$ の極限で $B_m$ のそれらに収束する。

ABSTRACT

Infinite-dimensional universal Cardy-Frobenius algebra is constructed, which unifies all particular algebras of closed and open Hurwitz numbers and is closely related to the algebra of differential operators, familiar from the theory of Generalized Kontsevich Model.

研究の動機と目的

• すべての genus およびトポロジーにおける閉型および開型のハーツィッツ数を統一するユニバーサル代数を構築すること。
• ハーツィッツ理論と無限次元リー代数および微分作用素の間の枠組みを確立すること。
• $gl(\infty)$ の生成子を用いた無限次元設定へのカットアンドジョイント作用素形式の一般化。
• 二重グラフから定義される非可換代数 $B$ を、対称群の特徴関数からなる可換代数 $A$ の拡張として定義すること。
• ユニバーサル代数 $B$ の構造定数が、$N\to\infty$ の極限で有限次元の $B_m$ 代数のそれらに漸近的に回復することを示すこと。

提案手法

• $gl(\infty)$ の生成子 $D_{ab}$ を、$X_{ab}$ に関する形式的冪級数上に作用する微分作用素 $\sum_e X_{ae}\partial/\partial X_{be}$ として表現する。
• 正規順序による定義により、バランスド作用素 $\mathcal{V}_{a_1\ldots a_m|b_1\ldots b_m}$ を定義し、これはユニバーサル包あらわし代数 $U(gl(\infty))$ の基底をなす。
• 代数 $A$ を、$\mathbb{S}_m$ の共役類に対応する $W[\Delta_\sigma] = \sum_{(a_1\ldots a_m)} \mathcal{V}_{a_1\ldots a_m|a_{\sigma(1)}\ldots a_{\sigma(m)}}$ の張る空間として構成する。
• 代数 $B$ を、$m$ 条の辺を持つ二重グラフ $\Gamma$ の同型類の範囲で変動する作用素 $\mathcal{V}(\Gamma)$ の張る空間として定義し、正規化 $c(\Gamma|N)$ を導入する。
• グラフの接合操作を用いて $B$ の積を定義する：$V_b^1$ と $V_a^2$ からの同一の次数の頂点を同一視し、辺を結合して新たなグラフを形成する。
• 構造定数 $C^{\mathcal{V}(\Gamma)}_{\mathcal{V}(\Gamma^1)\mathcal{V}(\Gamma^2)}$ が $N\to\infty$ の極限で $C^{\Gamma}_{\Gamma^1\Gamma^2}$ に収束することを確立する。

実験結果

リサーチクエスチョン

• RQ1 すべてのハーツィッツ数、閉型および開型を統一するユニバーサル代数をどのように構築できるか？
• RQ2 $gl(\infty)$ 及びそのユニバーサル包あらわし代数は、ハーツィッツ不変量をどのように符号化するか？
• RQ3 無限次元代数 $B$ の構造定数は、有限次元のフロベニウス代数 $B_m$ のそれらとどのように関係するか？
• RQ4 カットアンドジョイント作用素形式を、代数的および位相的整合性を保ちつつ、無限次元設定に拡張できるか？
• RQ5 二重グラフは、非可換代数 $B$ 及びその積構造を整理するためにどのような役割を果たすか？

主な発見

• 代数 $A \subset \mathcal{M}$ は、無限次元の可換フロベニウス代数であり、$\mathbb{S}_\infty$ の群代数の中心に同型である。これはカットアンドジョイント作用素によって生成される。
• 代数 $B \subset \mathcal{M}$ は、二重グラフに付随する作用素 $\mathcal{V}(\Gamma)$ からなる無限次元の非可換フロベニウス代数である。
• $B$ の構造定数は、$\lim_{N\to\infty} C^{\mathcal{V}(\Gamma)}_{\mathcal{V}(\Gamma^1)\mathcal{V}(\Gamma^2)} = C^{\Gamma}_{\Gamma^1\Gamma^2}$ を満たし、有限次元の $B_m$ 代数に収束することが示された。
• $B$ の積はグラフ接合により定義される：$V_b^1$ と $V_a^2$ からの同一次数の頂点を同一視し、辺を結合する。自動同型因子は補正される。
• 表現 $\phi: \mathbb{S}_\infty \to \mathcal{M}$ は群元をカットアンドジョイント作用素に写像し、その像は代数 $A$ を生成する。これはコンツェビッチモデルにおける既知の結果と整合的である。
• この構成により、$B_m$ 代数の全階層が、一様な正規化および極限挙動を有する単一のユニバーサル代数 $B$ に埋め込まれる。