[논문 리뷰] Arens-Michael envelopes of nilpotent Lie algebras, holomorphic functions of exponential type, and homological epimorphisms

Oleg Aristov|arXiv (Cornell University)|2018. 10. 31.

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 기저를 사용하여 하향 중심 시리즈 필터링에서 유도된 가중치 함수에 기반한 전노름의 가족을 정의한다.
• M₁(α) = w(α)−w(α)로 정의된 U(g)M₁를 이 전노름들에 대한 U(g)의 완비화로 정의하고, 이것이 아렌스-마이클 대수임을 보인다.
• 아크바로프의 쌍대성 결과를 적용하여, G 위의 해석적 함수형의 강한 쌍대체를 Oexp(G) — 지수 함수형 헬름홀로픽 함수의 공간 — 와 일치시킨다.
• 리 대수의 등급에 대한 귀납적 추론을 통해 단순연결 노름부여 리 군 G 위의 단어 길이 함수 ℓ(g)에 대한 정밀한 성장 추정을 수립한다.
• 베이커–캄벨–하우스도르프 공식과 계수 추정을 사용하여, 리 대수 내의 노름 추정을 통해 길이 함수 ℓ과 단어 길이 ℓ′ 간의 동치성을 증명한다.
• 리만기하학 및 부분리만기하학적 연결을 활용하여 길이 함수와 거리 간의 점근적 동치성을 정당화하고, 전노름들이 하향 곱형임을 보장한다.

실험 결과

연구 질문

• RQ1 유한차원 노름부여 복소 리 대수 g에 대해 보편 포괄 대수 U(g)의 아렌스-마이클 환경의 명시적 구조는 무엇인가?
• RQ2 단순연결 복소 리 군 G 위의 지수 함수형 헬름홀로픽 함수는 U(g)의 쌍대체와 어떻게 관련이 있는가?
• RQ3 아렌스-마이클 환경 U(g)는 하향 곱형 전노름의 가족에 대한 완비화로 실현될 수 있는가?
• RQ4 자연스러운 사상 U(g) → bU(g)는 호모로지적 에피모르피즘인가?
• RQ5 G 위의 단어 길이 함수와 리만 또는 카르노-카라테오도리 거리 사이의 관계는 무엇인가?

주요 결과

• 유한차원 노름부여 복소 리 대수 g에 대해 U(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⊗-대수이자 아렌스-마이클 대수로서의 그 구조를 확인한다.