[논문 리뷰] On a Poisson structure on Bott-Samelson varieties: computations in coordinates

Balázs Elek, Jiang-Hua Lu|arXiv (Cornell University)|2016. 01. 01.

Algebraic structures and combinatorial models참고 문헌 13인용 수 7

한 줄 요약

이 논문은 복소 단순 리 군 $G$의 Bott-Samelson 다양체 $Z_{\bf u}$의 Poisson 구조체 $\pi_n$를, 모든 $2^n$ 개의 아핀 좌표 차트에서 루트 스트링과 리 대수의 구조상수를 통해 명시적으로 계산한다. 주요 결과는 $\mathbb{C}[z_1, \ldots, z_n]$에 유도된 Poisson 구조체가 $\mathbb{Z}$ 위에서의 Poisson-Ore 확장임을 보이며, 임의의 체 $\bf k$에서 유효하고, Bott-Samelson 좌표에서 확장 브루하 셀 위의 표준 Poisson 구조체에 대한 명시적 공식을 제공한다.

ABSTRACT

For a connected complex semi-simple Lie group $G$, we consider the Poisson structure $\pi_n$ on an $n$-dimensional Bott-Samelson variety $Z_{\bf u}$ of $G$ defined by a standard multiplicative Poisson structure $\pi_{ m st}$ on $G$, where ${\bf u}$ is any sequence of length $n$ of simple reflections in the Weyl group of $G$. We explicitly express $\pi_n$ on each of the $2^n$ affine coordinate charts, one for every subexpression of ${\bf u}$, in terms of the root strings and the structure constants of the Lie algebra of $G$. We show that the restriction of $\pi_n$ to each affine coordinate chart gives rise to a Poisson structure on the polynomial algebra ${\mathbb{C}}[z_1, \ldots, z_n]$ which is a Poisson-Ore extension of $\mathbb{C}$ compatible with a rational action by a maximal torus of $G$. For canonically chosen $\pi_{ m st}$, we show that the induced Poisson structure on ${\mathbb{C}}[z_1, \ldots, z_n]$ for every affine coordinate chart is in fact defined over $\mathbb{Z}$, thus giving rise to a Poisson-Ore extension of any field ${\bf k}$ of arbitrary characteristic. The special case of $\pi_n$ on the affine chart corresponding to the full subexpression of ${\bf u}$ yields an explicit formula for the standard Poisson structures on extended Bruhat cells in Bott-Samelson coordinates.

연구 동기 및 목표

• Bott-Samelson 다양체 $Z_{\bf u}$ 위의 Poisson 구조체 $\pi_n$를 ${\bf u}$의 부분표현으로 색인된 좌표 차트를 사용하여 명시적으로 기술하는 것.
• 각 아핀 차트에서 $\pi_n$를 리 군 $G$의 루트 스트링과 리 대수의 구조상수로 표현하는 것.
• $\mathbb{C}[z_1, \ldots, z_n]$에 유도된 Poisson 구조체가 최대 토러스 작용과 호환되는 Poisson-Ore 확장임을 보이는 것.
• 표준 승법 Poisson 구조체 $\pi_{\text{mst}}$의 정규 선택에 대해, Poisson 구조체가 $\mathbb{Z}$ 위에서 정의됨을 보여 $\mathbb{Z}$ 위에서의 정의로 인해 임의의 체 $\bf k$로 확장됨을 보장하는 것.
• 확장 브루하 셀 위의 표준 Poisson 구조체에 대한 명시적 공식을 Bott-Samelson 좌표에서 도출하는 것, 이는 전체 부분표현 차트에 해당함.

제안 방법

• ${\bf u}$의 단순 반사의 부분표현을 사용하여 $Z_{\bf u}$의 $2^n$ 개 아핀 좌표 차트를 매개변수화하는 것.
• 각 차트에서 Poisson 이차벡터 $\pi_n$를 리 대수 $\mathfrak{g}$의 루트 스트링과 구조상수에 대한 이차형식으로 표현하는 것.
• $\mathbb{C}[z_1, \ldots, z_n]$ 위의 결과 Poisson 구조체가 $\mathbb{C}$ 위에서의 Poisson-Ore 확장임을 보이며, $G$의 최대 토러스의 유리적 작용과 호환됨을 보이는 것.
• 표준 승법 Poisson 구조체 $\pi_{\text{mst}}$의 정규 선택에 대해 좌표 표현에서의 구조상수가 정수임을 보여, Poisson 구조체가 $\mathbb{Z}$ 위에서 정의됨을 보이는 것.
• 전체 부분표현 차트를 사용하여 확장 브루하 셀 위의 표준 Poisson 구조체에 대한 명시적 공식을 Bott-Samelson 좌표에서 유도하는 것.

실험 결과

연구 질문

• RQ1 Bott-Samelson 다양체 $Z_{\bf u}$ 위의 Poisson 구조체 $\pi_n$를 모든 $2^n$ 개의 아핀 좌표 차트에서 어떻게 명시적으로 계산할 수 있는가?
• RQ2 각 차트에서 $\pi_n$의 대수적 형태는 리 대수 $\mathfrak{g}$의 루트 스트링과 구조상수로 어떻게 표현되는가?
• RQ3 $\mathbb{C}[z_1, \ldots, z_n]$에 유도된 Poisson 구조체가 최대 토러스의 유리적 작용을 가지며 Poisson-Ore 확장인지 여부는 무엇인가?
• RQ4 Poisson 구조체 $\pi_n$이 $\mathbb{Z}$ 위에서 정의될 수 있으며, 따라서 임의의 특성수를 가진 체 $\bf k$로 확장될 수 있는가?
• RQ5 Bott-Samelson 좌표에서 확장 브루하 셀 위의 표준 Poisson 구조체에 대한 명시적 표현은 무엇인가?

주요 결과

• 모든 $2^n$ 개의 아핀 좌표 차트에서 루트 스트링과 리 대수의 구조상수를 사용하여 Poisson 구조체 $\pi_n$가 명시적으로 계산됨.
• $\pi_n$의 각 차트로의 제한은 최대 토러스의 유리적 작용과 호환되는 $\mathbb{C}$ 위의 Poisson-Ore 확장임을 보여줌.
• 표준 승법 Poisson 구조체 $\pi_{\text{mst}}$의 정규 선택에 대해 $\mathbb{C}[z_1, \ldots, z_n]$ 위의 Poisson 구조체는 $\mathbb{Z}$ 위에서 정의됨으로써, 임의의 체 $\bf k$로의 확장이 가능함.
• 전체 부분표현 차트의 특수한 경우는 Bott-Samelson 좌표에서 확장 브루하 셀 위의 표준 Poisson 구조체에 대한 명시적 공식을 도출함.
• 전체 구성은 좌표에 의존하지만 완전히 명시적이며, 모든 구조상수는 $G$의 리 대수에서 유래함.