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

“与本质双射 1-上圈类相关的局部紧群量子化”技术摘要

问题陈述
本文研究了通过对局部紧群 $G$ 的对偶进行形变来构造局部紧量子群的问题。具体而言，给定一个局部紧群扩张 $0 \to V \to G \to Q \to 1$，其中 $V$ 是阿贝尔群，作者试图构造一个在 $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] 引入的“对偶轨道条件”，该条件适用于特定的李群，并要求 $Q$ 与 $\hat{V}$ 中的一个轨道之间存在测度类同构。
2. Etingof 和 Gelaki [9] 以及 Ben David 和 Ginosar [5] 的有限群构造，它们利用了双射 1-上圈类。

核心挑战在于将双射 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]$）。这确保了存在一个 2-上链 $b$ 使得 $\psi = \partial b$。

2. 投影表示：

   • 利用 $\eta, \beta$ 和 $b$ 构造一个在 $G$ 上的 2-上圈类 $\omega$。
   • 定义一个显式的、平方可积的不可约投影酉表示 $\pi: G \to PU(L^2(Q))$。该作用涉及特征 $\eta$、上链 $b$ 以及 $Q$ 的模函数。
   • 证明对 $(B(L^2(Q)), \text{Ad } \pi)$ 是一个 $G$-Galois 对象。这依赖于证明该作用的遍历性和可积性，并建立相关 Galois 映射的酉性。

3. 量子化映射：

   • 构造一个酉算子 $\text{Op}: L^2(G) \to \text{HS}(L^2(Q))$。该映射将 $G$ 的左正则表示与伴随作用 $\text{Ad } \pi$ 相互交织。
   • 该构造属于 Kohn–Nirenberg 类型，利用了在阿贝尔子群 $V$ 上的部分傅里叶变换以及由本质双射上圈类 $\eta$ 诱导的酉同构。

4. 对偶上圈类与乘性酉算子：

   • 利用 Galois 对象和量子化映射，推导出对偶酉 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$ 和 3-上圈类 $\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$ 的限制有关。

意义与范围
本文声称显著扩大了允许此类量子化的群的类别，超越了对偶轨道条件和有限群的限制。

• 泛化： 它将有限群情况（Etingof-Gelaki, Ben David-Ginosar）和李群情况（对偶轨道条件）统一在本质双射上圈类和相容扩张的框架之下。
• 新结构： 该构造可以从每一个内蕴非退化的集合论解杨-巴克斯特方程（Yang–Baxter equation）以及更广泛地从每一个 Brace 结构（见示例 1.6）生成局部紧量子群。
• 技术贡献： 本文提供了一种简化的 Galois 性验证方法，该方法不依赖于函数代数的形变，而是利用了投影表示和量子化映射的显式构造。
• 几何解释： 对于李群，本质双射性对应于 $Q$ 上存在一个 $Q$-不变的仿射结构。

这项工作并非提出新的实验应用，而是建立了一个严谨的解析框架，用于构造特定类别的局部紧量子群，并解决了关于这些形变如何由群上同调参数化的开放问题。