[论文解读] 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

一句话总结

本论文通过刻画相应单连通复李群上指数型全纯函数，明确描述了有限维幂零复李代数的普遍包络代数的Arens-Michael包络。利用由下中央列滤过导出的长度函数和次乘预范数，证明该包络为Arens-Michael代数及同调态射，解决了Dosi与Pirkovskii提出的问题。

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)的Arens-Michael包络提供刻画。
• 通过由下中央列滤过导出的次乘预范数，建立包络的精确代数描述。
• 将包络的结构与相应单连通复李群上指数型全纯函数的联系建立起来。
• 证明Arens-Michael包络为同调态射，回答Dosi与Pirkovskii提出的问题。
• 通过长度函数估计揭示李群几何、整函数理论与同调代数之间的意外联系。

提出的方法

• 利用U(g)的PBW基定义基于由下中央列滤过导出的权函数的一族预范数。
• 定义代数U(g)M₁为U(g)在这些预范数下的完备化，其中M₁(α) = w(α)−w(α)，并证明其为Arens-Michael代数。
• 应用Akbarov的对偶结果，将G上解析泛函代数的强对偶识别为G上指数型全纯函数空间Oexp(G)。
• 通过李代数分次的归纳论证，建立单连通幂零李群G上词长函数ℓ(g)的精确增长估计。
• 通过李代数中范数估计，利用Baker–Campbell–Hausdorff公式与系数界，证明长度函数ℓ与词长ℓ′的等价性。
• 通过黎曼几何与次黎曼几何的联系，证明长度函数与距离的渐近等价性，确保预范数的次乘性。

实验结果

研究问题

• RQ1 对于有限维幂零复李代数g，U(g)的Arens-Michael包络的显式结构是什么？
• RQ2 在单连通复李群G上，指数型全纯函数与普遍包络代数对偶之间有何关系？
• RQ3 U(g)的Arens-Michael包络能否作为一族次乘预范数下的完备化实现？
• RQ4 自然映射U(g) → bU(g)是否为同调态射？
• RQ5 G上的词长函数与黎曼距离或Carnot-Carathéodory距离之间有何关系？

主要发现

• 对于有限维幂零复李代数g，U(g)的Arens-Michael包络同构于完备化U(g)M₁，其中M₁(α) = w(α)−w(α)，且该完备化为Arens-Michael代数。
• G上指数型全纯函数空间与U(g)M₁的强对偶等距同构，从而为Oexp(G)提供了具体实现。
• 自然同态U(g) → U(g)M₁构成Arens-Michael包络，即其满足关于连续同态进入Arens-Michael代数的普遍性质。
• U(g)M₁为同调态射，为Dosi与Pirkovskii关于此类包络同调性质的问题提供了肯定回答。
• G上的长度函数ℓ(g)在无穷远处与词长ℓ′(g)等价，满足ℓ(g) ≲ ℓ′(g)与ℓ′(g) ≲ ℓ(g)，确立了次乘性所需的渐近行为。
• 预范数∥x∥r = ∑α |cα|α! w(α)−w(α) r w(α) 在U(g)M₁上定义了完备且次乘性的拓扑，确认其结构为b⊗-代数与Arens-Michael代数。