[論文レビュー] Characterizations of compact and discrete quantum groups through second duals

Volker Runde|ArXiv.org|Jun 24, 2005

Advanced Operator Algebra Research参考文献 20被引用数 35

ひとこと要約

この論文は、局所コンパクトな量子群がコンパクトであるための必要十分条件は、その前双対がその二重双対においてイデアルであること、かつ離散的であるための必要十分条件は、そのC*-代数がその二重双対においてイデアルであることであることを確立している。これらの結果は、群代数およびフーリエ代数を用いた古典的なコンパクト群および離散的局所コンパクト群の特徴付けを統一的かつ一般化し、双対性および二重双対イデアルを用いて、量子群の文脈へと拡張している。

ABSTRACT

A locally compact group $G$ is compact if and only if $L^1(G)$ is an ideal in $L^1(G)^{**}$, and the Fourier algebra $A(G)$ of $G$ is an ideal in $A(G)^{**}$ if and only if $G$ is discrete. On the other hand, $G$ is discrete if and only if $C_0(G)$ is an ideal in $C_0(G)^{**}$. We show that these assertions are special cases of results on locally compact quantum groups in the sense of J. Kustermans and S. Vaes. In particular, a von Neumann algebraic quantum group $(M,Γ)$ is compact if and only if $M_*$ is an ideal in $M^*$, and a (reduced) $C^*$-algebraic quantum group $(A,Γ)$ is discrete if and only if $A$ is an ideal in $A^{**}$.

研究の動機と目的

• 局所コンパクトな量子群の文脈へ、コンパクトおよび離散的局所コンパクト群の古典的特徴づけを拡張すること。
• 量子群のコンパクト性が、その前双対が二重双対においてイデアルであることに対応することを確立すること。
• 量子群の離散性が、そのC*-代数が二重双対においてイデアルであることと同値であることの証明。
• 和田（L¹(G)イデアルに関する）および労（A(G)イデアルに関する）の結果を、量子群の双対性フレームワーク内で統一的かつ一般化すること。

提案手法

• 局所コンパクトな量子群を、コ乗法を備えたホープト・ヴァン・ノイマン代数として扱うためのKustermans–Vaes公理の使用。
• 第二双対におけるArens積の応用により、前双対およびC*-代数における代数的構造を定義。
• 双対性の活用：量子群のコンパクト性は、その双対が離散的であることと対応し、逆も同様。
• 弱コンパクト乗法およびDunford–Pettis性質を用いて、第二双対におけるイデアル構造を特徴づける。
• Gelfand変換およびコンパクト作用素のスペクトル論を用いて、特徴関数およびC*-ノルムの一意性を分析。
• ヒルベルト空間表現およびコンパクト作用素のC*-代数におけるイデアルに関する既知の結果への還元による証明。

実験結果

リサーチクエスチョン

• RQ1 von Neumann代数的量子群の前双対がその二重双対においてイデアルである条件は何か？
• RQ2 縮小型C*-代数的量子群のC*-代数がその二重双対においてイデアルである条件は何か？
• RQ3 古典的なL¹(G)およびA(G)イデアルによるコンパクトおよび離散群の特徴づけは、どのように量子群へ拡張されるか？
• RQ4 双対性は、第二双対フレームワークにおけるコンパクト性と離散性の関係をどのように反映するか？
• RQ5 第二双対におけるイデアル性は、元の代数におけるC*-ノルムの一意性を示唆するか？

主な発見

• von Neumann代数的量子群 (M, Γ) がコンパクトであることと、その前双対 M* が M** においてイデアルであることは同値である。
• 縮小型C*-代数的量子群 (A, Γ) が離散的であることと、A が A** においてイデアルであることは同値である。
• G がコンパクトであることと、L¹(G) が L¹(G)** においてイデアルであることは同値である、という古典的結果が、量子群へ一般化された。
• G が離散的であることと、A(G) が A(G)** においてイデアルであることは同値である、という結果が、量子設定へ拡張された。
• 第二双対におけるイデアル性は、コンパクト作用素のスペクトル論を介して、元の代数が一意なC*-ノルムを持つことを示唆する。
• コンパクトおよび離散的量子群の双対性は、第二双対イデアル性によって反映される：G がコンパクトであることと Ĝ が離散的であることは同値である。