Quantization of locally compact groups associated with essentially bijective $1$-cocycles

技術要約：「本質的に全単射な1-コサイクルに関連する局所コンパクト群の量子化」

問題提起
本論文は、局所コンパクト群 $G$ の双対の変形を通じて、局所コンパクト量子群を構成することを扱う。具体的には、$V$ がアーベル群である局所コンパクト群の拡大 $0 \to V \to G \to Q \to 1$ が与えられたとき、著者らは $G$ 上のユニタリ双対2-コサイクル $\Omega$ を構成することを目的としている。このようなコサイクルは、恒等式 $(\Omega \otimes 1)(\hat{\Delta} \otimes \iota)(\Omega) = (1 \otimes \Omega)(\iota \otimes \hat{\Delta})(\Omega)$ を満たし、新しい余積 $\hat{\Delta}_\Omega = \Omega \hat{\Delta}(\cdot) \Omega^*$ を定義して、局所コンパクト量子群 $\hat{G}_\Omega$ を導出する。

本研究は、以下の先行研究を一般化するものである：

1. 著者らの以前の研究 [6, 8] で導入された「双対軌道条件（dual orbit condition）」。これは特定のリー群に適用されるものであり、$Q$ と $\hat{V}$ の中のある軌道の間の測度クラス同型を要求する。
2. 全単射な1-コサイクルを利用する、Etingof および Gelaki [9] や Ben David および Ginosar [5] による有限群の構成。

中心となる課題は、全単射な1-コサイクルの有限群における枠組みを、全単射性が「本質的な全単射性（測度クラス同型）」に置き換わる局所コンパクト群という解析的な設定へと拡張すること、および、$\beta \in Z^2(Q; V)$ によって定義される一般的な拡大（単なる半直積ではないもの）を扱うことである。

手法
著者らは、無限群に対する De Commer [7] の手法に従い、特定の既約射影表現とそれに対応する量子化写像の構成に基づく戦略を採用している。

1. セットアップと適合性:

   • $\eta: Q \to \hat{V}$ を連続な1-コサイクルとする。これが「本質的に全単射」であるとは、その写像が測度クラス同型であることを指す。
   • $\beta \in Z^2(Q; V)$ が拡大 $G$ を定義する。
   • 適合条件として、$\psi(q_1, q_2, q_3) = e^{i\langle \eta(q_1^{-1}), \beta(q_2, q_3) \rangle}$ で定義される3-コサイクル $\psi \in Z^3(Q; \mathbb{T})$ がコホモロジーにおいて自明であること（$[\psi] = [1]$）が課される。これにより、$\psi = \partial b$ となる2-コチェイン $b$ の存在が保証される。

2. 射影表現:

   • $\eta, \beta, b$ を用いて、$G$ 上の2-コサイクル $\omega$ が構成される。
   • $L^2(Q)$ への既約かつ平方可積分な射影ユニタリ表現 $\pi: G \to PU(L^2(Q))$ が明示的に定義される。この作用には、文字 $\eta$、コチェイン $b$、および $Q$ のモジュラー関数が含まれる。
   • ペア $(B(L^2(Q)), \text{Ad } \pi)$ が $G$-ガロア対象（$G$-Galois object）であることが示される。これは、作用のエルゴード性と可積分性の証明、および関連するガロア写像のユニタリ性の確立に基づいている。

3. 量子化写像:

   • ユニタリ作用素 $\text{Op}: L^2(G) \to \text{HS}(L^2(Q))$ が構成される。この写像は、$G$ の左正則表現と随伴作用 $\text{Ad } \pi$ をインターワインド（交差）させる。
   • この構成は、アーベル部分群 $V$ 上の部分フーリエ変換と、本質的に全単射なコサイクル $\eta$ によって誘導されるユニタリ同型を利用した、Kohn–Nirenberg 型の構成である。

4. 双対コサイクルと乗法的ユニタリ元:

   • ガロア対象と量子化写像を用いることで、双対ユニタリ2-コサイクル $\Omega$ の明示的な公式が導出される。
   • 変形された量子群の乗法的ユニタリ元 $\hat{W}_\Omega$ は、$(Q \times \hat{V}) \times (Q \times \hat{V})$ 上の五角形変換 $v$ と、五角形2-コサイクル $\Theta$ による乗算作用素の合成として計算される。

主要な結果

1. 量子群の特定: 変形された量子群 $\hat{G}_\Omega$ は、**コサイクル・ビクロスド積（cocycle bicrossed product）**として特定される。具体的には、半直積 $Q \rtimes \hat{V}$ 内の、マッチドペアの劣群 $(Q, Q_\eta)$ から定義される量子群と同型である。ここで $Q_\eta = \{(q, \eta(q)) \mid q \in Q\}$ である。

   • これにより、局所コンパクト量子群の短完全列 $1 \to \hat{Q} \to \hat{G}_\Omega \to Q_\eta \to 1$ が得られる。

2. 明示的な公式: 本論文は、以下の明示的な公式を提供している：

   • フーリエ変換を用いた双対2-コサイクル $\Omega$。
   • 五角形変換 $v$ とコサイクル $\Theta$ を用いた乗法的ユニタリ元 $\hat{W}_\Omega$。
   • $v$ と $\Theta$ は、$\eta, b, \psi$ を用いて定義される。

3. Kac コホモロジーによる分類:

   • この構成は、コホモロジー群 $H^2(Q; \mathbb{T})$ によってパラメータ化される双対コサイクルの族を生み出す。
   • 著者らは、写像 $H^2(Q; \mathbb{T}) \to H^2_{\text{pent}}(v; \mathbb{T})$ （ここでターゲットはマッチドペアの五角形コホモロジー）を分析している。
   • 単射性の結果: $\eta$ がコバウンダリ（すなわち $\eta(q) = q \cdot \xi_0 - \xi_0$）である場合、$H^2(Q; \mathbb{T})$ から五角形コホモロジーへの写像は単射である。これは、著者らの以前の研究 [8] で残された未解決の問いに答えるものである。
   • $\eta$ がコバウンダリでない場合、写像は必ずしも単射ではなく、その核は $Q \rtimes \hat{V}$ 上のコサイクルの $Q$ への制限に関連している。

意義と範囲
本論文は、双対軌道条件や有限群を超えて、このような量子化を許容する群のクラスを大幅に拡大したと主張している。

• 一般化: 本研究は、本質的に全単射な1-コサイクルと適合する拡大の枠組みの下で、有限群のケース（Etingof-Gelaki, Ben David-Ginosar）とリー群のケース（双対軌道条件）を統一する。
• 新しい構造: この構成は、すべての非退化な対合的集合論的ヤン・バクスター方程式の解、およびより一般には、すべてのブレース（brace）構造から（例 1.6 を通じて）、局所コンパクト量子群を生成する。
• 技術的貢献: 本論文は、関数代数の変形に依存せず、特定の射影表現と量子化写像の明示的な構成を利用することで、ガロア特性の簡潔な検証を提供している。
• 幾何学的解釈: リー群の場合、本質的な全単射性は、$Q$ 上の $Q$-不変なアフィン構造の存在に対応する。

本研究は、新しい実験的応用を提案するものではなく、特定のクラスの局所コンパクト量子群を構成するための厳密な解析的枠組みを確立し、これらの変形が群コホモロジーによってどのようにパラメータ化されるかに関する未解決の問いを解決するものである。