[논문 리뷰] Convergence of the Gutt Star Product

Chiara Esposito, Paul Stapor외 1명|arXiv (Cornell University)|2015. 09. 30.

Advanced Topics in Algebra참고 문헌 71인용 수 8

한 줄 요약

이 논문은 비형식적 멱급수를 넘어서는 엄밀한 해석적 프레임워크를 제공하기 위해, 대칭 대수 $\mathrm{S}^{\bullet}(\mathfrak{g})$ 위에서 Gutt 별곱의 수렴성을 보장하는 국소凸 위상을 도입함으로써, 리 대수의 대칭 대수 위에서 Gutt 별곱의 수렴성을 확립한다. 핵심 결과는 유사추정 리 대수(예: 유한차원 리 대수)의 경우, Gutt 별곱이 모든 호프 대수의 구조 사상(곱, 코곱, 역원)이 변형 매개변수에 대해 연속적이고 해석적임을 보장하는 완비 국소凸 대수로 확장된다는 것이다.

ABSTRACT

In this work we consider the Gutt star product viewed as an associative deformation of the symmetric algebra S^\bullet(g) over a Lie algebra g and discuss its continuity properties: we establish a locally convex topology on S^\bullet(g) such that the Gutt star product becomes continuous. Here we have to assume a mild technical condition on g: it has to be an Asymptotic Estimate Lie algebra. This condition is e.g. fulfilled automatically for all finite-dimensional Lie algebras. The resulting completion of the symmetric algebra can be described explicitly and yields not only a locally convex algebra but also the Hopf algebra structure maps inherited from the universal enveloping algebra are continuous. We show that all Hopf algebra structure maps depend analytically on the deformation parameter. The construction enjoys good functorial properties.

연구 동기 및 목표

• 대칭 대수 $\mathrm{S}^{\bullet}(\mathfrak{g})$ 에 대해 Gutt 별곱이 연속이 되도록 보장하는 국소凸 위상을 설정하는 것.
• 이 위상 하에서 $\mathrm{S}^{\bullet}(\mathfrak{g})$ 의 완비화가 연속적인 호프 대수의 구조 사상을 갖는 국소凸 대수로 남는 것을 보장하는 것.
• 모든 호프 대수 사상(곱, 코곱, 역원)이 변형 매개변수 $z$ 에 대해 해석적으로 의존함을 보이는 것.
• 비형식적 멱급수를 넘어서는 잘 정의된 해석적 프레임워크로 Gutt 별곱의 수렴성을 확장하는 것, 무한차원의 경우도 포함.
• 리 대수의 사상들을 존중하면서 대수적 및 해석적 구조를 유지하는 함자적 구성법을 제공하는 것.

제안 방법

• 리 대수의 구조와 Gutt 별곱으로부터 유도된 준노름을 사용하여 $\mathrm{S}^{\bullet}(\mathfrak{g})$ 에 국소凸 위상을 도입하는 것.
• 베르누이 수와 수반 작용을 포함하는 공식을 통해 Gutt 별곱을 정의하는 것: $\xi^k \star_z \eta = \sum_{j=0}^k \binom{k}{j} z^j B_j^* \xi^{k-j} (\mathrm{ad}_\xi)^j(\eta)$.
• 별곱 공식의 계수에 대한 귀납적 추정을 통해 별곱의 연속성을 증명하는 것.
• 보편 포괄 대수에서 유도된 호프 대수의 구조 사상이 새로운 위상 하에서도 여전히 연속적임을 보이는 것.
• 멱급수 수렴을 통해 변형 매개변수 $z$ 에 대한 곱과 구조 사상의 해석적 의존성을 확립하는 것.
• 무한차원의 경우에 필요한 연속성 조건을 확보하기 위해 유사추정 리 대수의 개념을 사용하는 것.

실험 결과

연구 질문

• RQ1 Gutt 별곱이 비형식적 멱급수를 넘어서 수렴하도록 보장하는 위상을 부여할 수 있는가?
• RQ2 어떤 조건에서 리 대수 $\mathfrak{g}$ 에 대해 Gutt 별곱이 완비 국소凸 대수로 확장되는가?
• RQ3 새로운 위상 하에서 호프 대수의 구조 사상(곱, 코곱, 역원)은 변형 매개변수 $z$ 에 대해 연속적이고 해석적인가?
• RQ4 이 구성은 리 대수의 사상에 대해 함자적인가?
• RQ5 특정 벡터장의 리 대수와 같은 무한차원 설정에서도 Gutt 별곱을 수렴적으로 만들 수 있는가?

주요 결과

• 유사추정 리 대수인 경우, 적절한 국소凸 위상이 부여된 $\mathrm{S}^{\bullet}(\mathfrak{g})$ 에서 Gutt 별곱은 연속적이게 된다.
• 이 위상 하에서 $\mathrm{S}^{\bullet}(\mathfrak{g})$ 의 완비화는 모든 호프 대수의 구조 사상이 연속적인 국소凸 대수로 남는다.
• 모든 호프 대수의 구조 사상은 변형 매개변수 $z$ 에 대해 해석적으로 의존하며, 변형 매개변수에 대한 매끄러운 의존성을 보장한다.
• 이 구성은 함자적이다: 리 대수의 사상은 완비화된 대수 위에서 연속적인 대수 준동형사상을 유도한다.
• 유한차원 리 대수(자동으로 유사추정 리 대수임)의 경우, Gutt 별곱은 대칭 대수 위에서 완전한 해석적 제어를 갖는다.
• 핵심 공식 $\xi^k \star_z \eta = \sum_{j=0}^k \binom{k}{j} z^j B_j^* \xi^{k-j} (\mathrm{ad}_\xi)^j(\eta)$ 는 Gutt 별곱과 동치임이 입증되었으며, 이는 수렴성 증명의 기초가 된다.