[論文レビュー] Holomorphic duality for countable discrete groups

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

Advanced Topics in Algebra被引用数 5

ひとこと要約

この論文は、アーレンス＝マイケル包を通じて、複素数 Lie 群から任意の可算離散群への正則双対性理論の拡張を試みる。主な結果は、可算離散群と正則的双対的可換 Hopf 代数の間の函手的双対性であり、正則的包の概念を用いて、フーリエ変換が正則的包として解釈されることにより、非アーベル有限群へのポントリャーギン双対性の一般化が達成される。

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.

研究の動機と目的

• 複素数 Lie 群に最初に開発された正則双対性理論を、より広い可算離散群のクラスへ一般化すること。
• 正則的包の構成を用いて、可算離散群と正則的双対的可換 Hopf 代数の間の函手的双対性を確立すること。
• 有限アーベル群上の古典的フーリエ変換が、群代数の正則的包として解釈されることを示し、ポントリャーギン双対性と新しい枠組みを統合すること。
• 有限アーベル群における双対性関手が、Hopf 代数における正則的双対性関手と可換であることを示し、既知の結果と整合性を確認すること。

提案手法

• 論文は、可算離散群 $G$ に対して、アーレンス＝マイケル包を基盤として用いて、群代数 $\mathcal{O}^\star(G)$ の正則的包を構成する。
• Hopf 代数 $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$ を用いて双対性を形式化し、正則的カテゴリーにおける自己双対性を確立する。
• 有限アーベル群では $\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 複素数 Lie 群に適用された正則双対性枠組みは、可算離散群へ拡張可能か？
• RQ2 有限アーベル群上のフーリエ変換は、Hopf 代数双対性の文脈で正則的包として解釈可能か？
• RQ3 写像 $G \mapsto \mathcal{O}^\star(G)$ は、正則的双対的可換 Hopf 代数の圏への完全忠実関手であるか？
• 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)$ の正則的包であることが示され、$\alpha \in \mathcal{O}^\star(G)$、$\chi \in G^\bullet \subseteq \mathcal{O}(G)$ に対して $\mathcal{F}_G(\alpha)(\chi) = \alpha(\chi)$ となる。
• $\mathcal{O}^\star(G)$ の正則的双対は $\mathcal{O}^\star(G)^\dagger \cong \mathcal{O}^\star(G^\bullet)$ を満たし、$\mathcal{O}^\star(G)$ が正則的双対的であることを証明する。
• 双対性図式 (137) は可換であり、正則的双対性関手 $H \mapsto H^\dagger$ が、Hopf 代数の枠組みを通じて、非アーベル群へのポントリャーギン双対性 $G \mapsto G^\bullet$ を拡張することを示す。
• 構成により、可算離散群の圏が正則的双対的可換 Hopf 代数の圏へ埋め込まれ、新しい双対性枠組みが確立される。
• 正則的包 $\heartsuit$ により $\mathcal{O}^\star(G)^\dagger = \mathcal{O}^\star(G)^{\heartsuit\star}$ が成り立ち、この構成は自己双対的であることが確認され、考察対象の代数のクラスの自己双対性が裏付けられる。