[論文レビュー] Arens-Michael envelopes of nilpotent Lie algebras, holomorphic functions of exponential type, and homological epimorphisms

Oleg Aristov|arXiv (Cornell University)|Oct 31, 2018

Advanced Topics in Algebra参考文献 36被引用数 6

ひとこと要約

本稿は、有限次元の冪零な複素リー代数の普遍包あくり代数のアレンス＝マイケル包あくりを、対応する単連結な複素リー群上の指数型の正則関数を特徴づけることで明示的に記述する。下部中央系列フィルトレーションから導かれる長さ関数および乗法的プリノルムを用い、包あくりがアレンス＝マイケル代数であり、ホモロジー的エピモルフィズムであることを証明し、ドシとピルコフスキーが提起した問題に解決をもたらす。

ABSTRACT

Our aim is to give an explicit description of the Arens-Michael envelope for the universal enveloping algebra of a finite-dimensional nilpotent complex Lie algebra. It turns out that the Arens-Michael envelope belongs to a class of completions introduced by R.~Goodman in 70s. To find a precise form of this algebra we preliminary characterize the set of holomorphic functions of exponential type on a simply connected nilpotent complex Lie group. This approach leads to unexpected connections to Riemannian geometry and the theory of order and type for entire functions. As a corollary, it is shown that the Arens-Michael envelope considered above is a homological epimorphism. So we get a positive answer to a question investigated earlier by Dosi and Pirkovskii.

研究の動機と目的

• 有限次元の冪零な複素リー代数 g の普遍包あくり代数 U(g) のアレンス＝マイケル包あくりを特徴づける。
• 下部中央系列フィルトレーションから導かれる乗法的プリノルムを用いて、包あくりの明確な代数的記述を確立する。
• 包あくりの構造を、対応する単連結な複素リー群 G 上の指数型の正則関数と関連付ける。
• アレンス＝マイケル包あくりがホモロジー的エピモルフィズムであることを証明し、ドシとピルコフスキーが提起した疑問に答えを提示する。
• 長さ関数の推定を通じて、リー群の幾何学、整関数論、ホモロジー代数の間の予期せぬ関係を明らかにする。

提案手法

• U(g) の PBW 基底を用い、下部中央系列フィルトレーションから導かれる重み関数に基づくプリノルムの族を定義する。
• U(g)M₁ をこれらのプリノルムの下での U(g) の完備化と定義し、M₁(α) = w(α)−w(α) とし、これがアレンス＝マイケル代数であることを示す。
• アクバルォフの双対性結果を適用し、G 上の解析的汎関数の代数の強い双対を、Oexp(G) である指数型正則関数の空間と同定する。
• リー代数の次数構造に関する帰納的議論を用いて、単連結な冪零リー群 G 上の語長関数 ℓ(g) の精密な成長推定を確立する。
• Baker–Campbell–Hausdorff 公式と係数の評価を用い、リー代数内のノルム推定を通じて、長さ関数 ℓ と語長 ℓ′ の等価性を証明する。
• リーマン幾何学および準リーマン幾何学との関係を応用し、長さ関数と距離の漸近的同値性を正当化し、プリノルムが乗法的であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有限次元の冪零な複素リー代数 g の普遍包あくり代数 U(g) のアレンス＝マイケル包あくりの明示的構造は何か？
• RQ2 単連結な複素リー群 G 上の指数型正則関数は、普遍包あくり代数の双対とどのように関係するか？
• RQ3 アレンス＝マイケル包あくりが、下部中央系列フィルトレーションから導かれる乗法的プリノルムの族による完備化として実現可能か？
• RQ4 自然な写像 U(g) → bU(g) はホモロジー的エピモルフィズムか？
• RQ5 G 上の語長関数とリーマン的またはカーノン＝カラテオドリ距離との関係は何か？

主な発見

• 有限次元の冪零な複素リー代数 g のアレンス＝マイケル包あくりは、M₁(α) = w(α)−w(α) と定義される完備化 U(g)M₁ と同型であり、この完備化はアレンス＝マイケル代数である。
• G 上の指数型正則関数の空間は、U(g)M₁ の強い双対と等長同型であり、Oexp(G) の明示的実現を与える。
• 自然な準同型 U(g) → U(g)M₁ はアレンス＝マイケル包あくりであり、これはアレンス＝マイケル代数への連続準同型に関する普遍性を満たす。
• U(g)M₁ はホモロジー的エピモルフィズムであり、ドシとピルコフスキーが提起した包あくりのホモロジー的性質に関する疑問に対して肯定的な答えを与える。
• G 上の長さ関数 ℓ(g) は無限大において語長 ℓ′(g) と同値であり、ℓ(g) ≲ ℓ′(g) および ℓ′(g) ≲ ℓ(g) が成り立つ。これにより、乗法的性のための漸近的挙動が確立される。
• プリノルム ∥x∥r = ∑α |cα|α! w(α)−w(α) r w(α) は、U(g)M₁ 上で完備かつ乗法的である位相を定義し、これが b⊗-代数およびアレンス＝マイケル代数としての構造を確認する。