[논문 리뷰] Bott-Samelson varieties and Poisson Ore extensions

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

Algebraic structures and combinatorial models참고 문헌 27인용 수 9

한 줄 요약

이 논문은 복소 반단순 리 군의 Bott-Samelson 다양체에 대해 반복적인 파울슨 오어 확장( Poisson Ore extensions)을 통해 명시적인 파울슨 구조를 구축한다. 표준 파울슨 구조가 각각의 $2^n$개의 아핀 좌표 차원에 대해 대칭적인 반복 파울슨 오어 확장으로 제한되며, 브라켓은 $\mathbb{Z}$ 위에서 정의되어 있어 임의의 체 위에서 양자화가 가능하고, 루트 스트링과 리 대수의 구조 상수를 통해 명시적인 공식을 제공한다.

ABSTRACT

Let $G$ be a connected complex semi-simple Lie group, and let $Z_{\bf u}$ be an $n$-dimensional Bott-Samelson variety of $G$, where ${\bf u}$ is any sequence of simple reflections in the Weyl group of $G$. We study the Poisson structure $π_n$ on $Z_{\bf u}$ defined by a standard multiplicative Poisson structure $π_{ m st}$ on $G$. We explicitly express $π_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 $π_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 an {\it iterated Poisson Ore extension} of $\mathbb{C}$ compatible with a rational action by a maximal torus of $G$. For canonically chosen $π_{ 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 an iterated Poisson Ore extension of any field ${\bf k}$ of arbitrary characteristic. The special case of $π_n$ on the affine chart corresponding to the full subexpression of ${\bf u}$ yields an explicit formula for the standard Poisson structures on {\it generalized Bruhat cells} in Bott-Samelson coordinates. The paper establishes the foundation on generalized Bruhat cells and sets up the stage for their applications, some of which are discussed in the Introduction of the paper.

연구 동기 및 목표

• 복소 반단순 리 군 $G$의 웰리 그룹의 단순 반사의 순서 $\mathbf{u}$와 관련된 Bott-Samelson 다양체 $Z_{\mathbf{u}}$에 대한 표준 파울슨 구조를 수립하는 것.
• 좌표 차원 $Z_{\mathbf{u}}$의 $2^n$개의 아핀 좌표 차원 각각에 대해 파울슨 구조 $\pi_n$를 명시적으로 표현하는 것. 이는 $\mathbf{u}$의 부분표현으로 인덱싱된다.
• 각 차원에 대한 $\pi_n$의 제한이 $G$의 최대 토러스 작용과 호환되는 반복 $T$-파울슨 오어 확장임을 보이는 것.
• $\pi_n$의 파울슨 브라켓 계수가 정수이므로, $\mathbb{C}$ 이외의 임의의 체 $\mathbf{k}$ 위에서 대칭 파울슨 CGL 확장이 정의됨을 보이는 것.
• Bott-Samelson 좌표에서 일반 브루하트 세포에 대한 표준 파울슨 구조의 명시적 공식 제공, 특히 전체 부분표현 $\gamma = \mathbf{u}$의 경우.

제안 방법

• 복소 반단순 리 군 $G$ 위의 표준 곱셈 파울슨 구조 $\pi_{\rm st}$를 사용하여 Bott-Samelson 다양체 $Z_{\mathbf{u}}$에 파울슨 구조 $\pi_n$를 유도하는 것.
• 각각의 $\mathbf{u}$의 부분표현 $\gamma$로 매개화되는 $2^n$개의 아핀 좌표 차원으로 구성된 자연스러운 아틀라스를 활용하여 파울슨 구조를 국소화하는 것.
• 리 대수 $\mathfrak{g}$의 루트 스트링과 구조 상수를 이용해 각 차원에서 파울슨 브라켓 $\{z_i, z_k\}$의 명시적 공식을 유도하는 것.
• 결과로 얻어진 파울슨 구조가 $G$의 최대 토러스 $T$의 유리적 작용과 호환되는 반복 파울슨 오어 확장임을 보이는 것.
• $\mathbb{Z}[z_1,\dots,z_n]$에 속하는 모든 파울슨 브라켓 $\{z_i, z_k\}$를 증명하여, 이는 임의의 특성 수를 가진 체 $\mathbf{k}$로의 올림을 보장한다.
• 대칭 파울슨 CGL 확장 이론( CGL 확장의 파울슨 해석)을 적용하여 전체 차원의 경우($\gamma = \mathbf{u}$)가 대칭 반복 $T$-파울슨 오어 확장임을 보이는 것.

실험 결과

연구 질문

• RQ1 복소 반단순 리 군 $G$의 표준 파울슨 구조는 어떻게 Bott-Samelson 다양체 $Z_{\mathbf{u}}$로 제한되어 좌표 차원에서 명시적인 파울슨 브라켓을 유도할 수 있는가?
• RQ2 각 아핀 좌표 차원의 파울슨 브라켓의 대수적 구조는 무엇이며, 반복 파울슨 오어 확장과 어떻게 관련되는가?
• RQ3 Bott-Samelson 다양체 $Z_{\mathbf{u}}$의 파울슨 구조는 임의의 체 $\mathbf{k}$로 올릴 수 있는가? 만약 가능하면 계수에 대한 조건은 무엇인가?
• RQ4 순서 $\mathbf{u}$에 대응하는 일반 브루하트 세포의 파울슨 구조는 어떻게 Bott-Samelson 좌표에서 명시적으로 기술할 수 있는가?
• RQ5 최대 토러스 $T$의 $G$ 작용은 파울슨 구조와 어떻게 호환되며, 이는 파울슨 소수 이상의 분류에 어떤 의미를 갖는가?

주요 결과

• 각 아핀 좌표 차원의 파울슨 구조 $\pi_n$는 최대 토러스 $T$의 작용과 호환되는 반복 $T$-파울슨 오어 확장이다.
• 전체 부분표현 $\gamma = \mathbf{u}$의 경우, $\mathbb{C}[z_1,\dots,z_n]$에 유도된 파울슨 구조는 대칭 반복 $T$-파울슨 오어 확장이자, 대칭 파울슨 CGL 확장이다.
• 좌표 차원의 모든 파울슨 브라켓 $\{z_i, z_k\}$는 정수 계수를 가지므로, $\mathbb{C}$ 이외의 임의의 체 $\mathbf{k}$로도 확장 가능하다.
• 파울슨 브라켓 $\{z_i, z_k\}$의 명시적 공식은 루트 스트링과 리 대수 $\mathfrak{g}$의 구조 상수를 통해 주어지며, 알고리즘적 계산이 가능하다.
• 영 부분표현 $\gamma = (e,\dots,e)$에 대한 $\pi_n$의 제한은 로그-칸온 파울슨 구조를 유도한다.
• 이 결과들은 Bott-Samelson 좌표에서 일반 브루하트 세포 위에 대칭 파울슨 CGL 확장을 명시적으로 구성한 최초의 사례로, 전체 대수적 및 조합적 제어를 제공한다.