[论文解读] Holomorphic duality for countable discrete groups

S. S. Akbarov|arXiv (Cornell University)|Sep 7, 2020

Advanced Topics in Algebra被引用 5

一句话总结

本文通过引入Arens–Michael包络的全纯包络构造，将全纯对偶性理论从复李群推广到任意可数离散群。关键结果是建立了可数离散群与全纯自反霍普夫代数之间的函子性对偶，通过将傅里叶变换作为全纯包络，将庞特里亚金对偶性推广至非交换有限群。

ABSTRACT

In 2008, the author proposed a version of duality theory for (not necessarily, Abelian) complex Lie groups, based on the idea of using the Arens-Michael envelope of topological algebra and having an advantage over existing theories in that the enclosing category in it consists of Hopf algebras in the classical sense. Recently these results were refined and corrected by O.Yu.Aristov. In this paper, we propose a generalization of this theory to the class of (not necessarily Abelian) countable discrete groups.

研究动机与目标

• 将原本针对复李群发展的全纯对偶性理论推广至更广泛的可数离散群类别。
• 通过全纯包络构造，建立可数离散群与全纯自反霍普夫代数之间的函子性对偶。
• 证明有限阿贝尔群上的经典傅里叶变换即为群代数的全纯包络，从而将庞特里亚金对偶性与新框架统一。
• 证明在有限阿贝尔群上，对偶函子与霍普夫代数上的全纯对偶函子可交换，确认与已知结果的一致性。

提出的方法

• 本文利用Arens–Michael包络作为基础工具，构造了可数离散群 $G$ 的群代数 $\mathcal{O}^\star(G)$ 的全纯包络。
• 定义霍普夫代数 $H$ 的全纯对偶 $H^\dagger$ 为 $H^{\heartsuit\star}$，其中 $\heartsuit$ 表示全纯包络，$\star$ 表示对偶代数。
• 证明当 $G$ 为有限阿贝尔群时，傅里叶变换 $\mathcal{F}_G: \mathcal{O}^\star(G) \to \mathcal{O}(G^\bullet)$ 即为 $\mathcal{O}^\star(G)$ 的全纯包络。
• 通过包含映射 $G \mapsto \mathcal{O}^\star(G)$、$H \mapsto H^\dagger$ 和 $G \mapsto G^\bullet$ 的函子性图示，形式化了全纯范畴中的自反性。
• 该构造依赖于：当 $G$ 为有限阿贝尔群时，有 $\mathcal{O}^\star(G) \cong \mathbb{C}_G$ 且 $\mathcal{O}(G) \cong \mathbb{C}^G$，从而将新框架与经典群代数与函数代数对偶性联系起来。
• 关键技术步骤是证明 $\mathcal{O}^\star(G)^\dagger \cong \mathcal{O}^\star(G^\bullet)$，从而确认 $\mathcal{O}^\star(G)$ 的全纯自反性。

实验结果

研究问题

• RQ1 复李群的全纯对偶性框架是否可推广至可数离散群？
• RQ2 在霍普夫代数对偶的语境下，有限阿贝尔群上的傅里叶变换能否被解释为全纯包络？
• RQ3 映射 $G \mapsto \mathcal{O}^\star(G)$ 是否为到全纯自反霍普夫代数范畴的全忠实函子？
• RQ4 在阿贝尔情形下，$\mathcal{O}^\star(G)$ 与 $\mathcal{O}^\star(G^\bullet)$ 之间的对偶是否能恢复庞特里亚金对偶性？
• RQ5 全纯包络 $\heartsuit$ 与对偶代数构造 $\star$ 如何相互作用以实现自反性？

主要发现

• 对于有限阿贝尔群 $G$，群代数 $\mathcal{O}^\star(G)$ 同构于 $\mathbb{C}_G$，函数代数 $\mathcal{O}(G)$ 同构于 $\mathbb{C}^G$，确认与经典群代数理论的一致性。
• 傅里叶变换 $\mathcal{F}_G: \mathcal{O}^\star(G) \to \mathcal{O}(G^\bullet)$ 被证明是 $\mathcal{O}^\star(G)$ 的全纯包络，其作用为 $\mathcal{F}_G(\alpha)(\chi) = \alpha(\chi)$，其中 $\alpha \in \mathcal{O}^\star(G)$，$\chi \in G^\bullet \subseteq \mathcal{O}(G)$。
• $\mathcal{O}^\star(G)$ 的全纯对偶满足 $\mathcal{O}^\star(G)^\dagger \cong \mathcal{O}^\star(G^\bullet)$，证明了 $\mathcal{O}^\star(G)$ 的全纯自反性。
• 对偶图 (137) 可交换，表明全纯对偶函子 $H \mapsto H^\dagger$ 将庞特里亚金对偶 $G \mapsto G^\bullet$ 推广至非阿贝尔群，且通过霍普夫代数框架实现。
• 该构造通过 $G \mapsto \mathcal{O}^\star(G)$ 将可数离散群范畴嵌入全纯自反霍普夫代数范畴，建立了新的对偶框架。
• 全纯包络 $\heartsuit$ 确保 $\mathcal{O}^\star(G)^\dagger = \mathcal{O}^\star(G)^{\heartsuit\star}$，且该构造具有自反性，从而确认了所考虑代数类的自对偶性。