[論文レビュー] Fourier transforms of $C^*$-algebras of nilpotent Lie groups

Ingrid Beltiţă, Daniel Beltiţă+1 more|arXiv (Cornell University)|Nov 12, 2014

Advanced Operator Algebra Research参考文献 21被引用数 6

ひとこと要約

本稿は、任意の連結で単連結な冪単リー群のC*-代数上の作用素値フーリエ変換の像を完全に記述する。ハウスドルフ的スペクトルおよび自明な標準的素性C*-代数のファイブレーションを持つ有限な合成系列を構成することにより、フーリエ変換を単位的双対上の局所連続作用素場のC*-代数として実現する。主要な結果は、冪単群におけるフーリエ像の構造的特徴付けであり、高ステップの連続的トレース部分商や非可算個の3段階冪単群の族に対して、ディクシエール＝ドゥアディ不変量が消えることである。

ABSTRACT

For any nilpotent Lie group $G$ we provide a description of the image of its $C^*$-algebra through its operator-valued Fourier transform. Specifically, we show that $C^*(G)$ admits a finite composition series such that that the spectra of the corresponding quotients are Hausdorff sets in the relative topology, defined in terms of the fine stratification of the space of coadjoint orbits of $G$, and the canonical fields of elementary $C^*$-algebras defined by the successive subquotients are trivial. We give a description of the image of the Fourier transform as a $C^*$-algebra of piecewise continuous operator fields on the spectrum, determined by the boundary behavior of the restrictions of operator fields to the spectra of the subquotients in the composition series. For uncountable families of 3-step nilpotent Lie groups and also for a sequence of nilpotent Lie groups of arbitrarily high nilpotency step, we prove that every continuous trace subquotient of their $C^*$-algebras has its Dixmier-Douady invariant equal to zero.

研究の動機と目的

• 任意の連結で単連結な冪単リー群GのC*-代数上における作用素値フーリエ変換の像を記述すること。
• C*-代数に、連続的商がハウスドルフ的スペクトルおよび自明な標準的素性C*-代数のファイブレーションを持つ有限合成系列の二面的イデアルを構築すること。
• フーリエ変換の像を、境界行動が部分商スペクトル上で制御される、単位的双対上の局所連続作用素場のC*-代数として特徴付けること。
• 非可算個の3段階冪単リー群の族および任意に高い冪単性のステップを持つ系列の、C*-代数の連続的トレース部分商が、自明なディクシエール＝ドゥアディ不変量を持つことを証明すること。

提案手法

• 各商が局所コンpakな半代数的コーン型空間Γj上のC0(Γj, K(Hj))に*-同型であるような、C*(G)における閉二面的イデアルの有限合成系列を構成する。
• 随伴軌道上の標準的シンプレクティック座標を用いてリー代数表現を実現し、それを群表現に統合する。伝統的な誘導表現の手法を避ける。
• C*-代数の拡張および完全正値写像の性質を活用して、フーリエ変換像の構造を分析する。
• 各Γj上で同相だが、高インデックスの和集合における相対的稠密性のため、全体では同相でない、Γjの直和から単位的双対Ĝへの連続的バイジェクションを定義する。
• フーリエ変換の像を、各Γj上で連続で、Ĝ上で局所連続な作用素場のC*-代数として特徴付け、その行動を部分商スペクトル上の境界極限によって制御する。
• ノルム制御された双対極限技術および適切に収束する表現の列の極限集合を用いて、作用素場実現の収束性と一意性を分析する。

実験結果

リサーチクエスチョン

• RQ1 一般の連結で単連結な冪単リー群Gに対して、C*(G)上における作用素値フーリエ変換の像はどのように記述できるか？
• RQ2 ハウスドルフ的スペクトルおよび自明な標準的素性C*-代数のファイブレーションを持つ有限合成系列を用いたとき、C*-代数C*(G)がどのような構造的性質を有するか？
• RQ3 合成系列における連続的商のスペクトル上に制限された作用素場の境界行動と、フーリエ変換像とはどのように関係しているか？
• RQ4 非可算個の3段階冪単リー群の族および任意に高い冪単性のステップを持つ系列の、C*(G)の連続的トレース部分商のディクシエール＝ドゥアディ不変量は何か？
• RQ5 適切に収束する表現の列の極限集合は、フーリエ像における作用素場実現の振る舞いをどの程度決定するか？

主な発見

• 任意の連結で単連結な冪単リー群GのC*-代数C*(G)は、{0} = J0 ⊆ J1 ⊆ ⋯ ⊆ Jn = C*(G)という有限合成系列 {0} = J0 ⊆ J1 ⊆ ⋯ ⊆ Jn = C*(G) を持つ。各商Jj/Jj−1は、局所コンパクトで半代数的コーンΓjに対してC0(Γj, K(Hj))に*-同型である。
• スペクトルΓjは実半代数的コーンと同相であり、Γ1は、一般の随伴軌道の余次元に等しいk次元空間Rkのザリスキ開部分集合である。
• 連続的商のスペクトル上の標準的素性C*-代数のファイブレーションは自明であり、合成系列における特に明確な構造を示している。
• 作用素値フーリエ変換の像は、部分商スペクトルΓj上の境界行動によって制御される、Ĝ上の局所連続作用素場のC*-代数として実現される。
• 非可算個の3段階冪単リー群の族および任意に高い冪単性のステップを持つ系列の、C*(G)の連続的トレース部分商は、すべてディクシエール＝ドゥアディ不変量がゼロである。
• 適切に収束する表現の列の極限集合は、作用素場実現の漸近的振る舞いを決定し、極限集合が等しいことは、作用素ノルムの漸近的同値性に等しい。