[論文レビュー] Bott-Samelson varieties and Poisson Ore extensions

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

Algebraic structures and combinatorial models参考文献 27被引用数 9

ひとこと要約

本稿は、複素半単純リー群のボット＝サメルソン多様体に対して、反復ポアソン・オア・拡張を用いて明示的なポアソン構造を構成する。標準ポアソン構造が、$2^n$ 個のアフィン座標近傍の各々に、根系列とリー代数の構造定数を用いた $ℤ$ 上で定義された対称的反復ポアソン・オア・拡張へと制限されることを示し、任意の体上での量子化を可能にする。

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$ のウェイル群における単純反射の列 $ℤ$ に対応するボット＝サメルソン多様体 $Z_{\mathbf{u}}$ に標準的なポアソン構造を確立すること。
• 各 $Z_{\mathbf{u}}$ の $2^n$ 個のアフィン座標近傍の各々において、ポアソン構造 $\pi_n$ を明示的に表現すること。ここで近傍は $ℤ$ の部分表現によってインデックス付けられる。
• $\pi_n$ の各近傍への制限が、$G$ の最大トーラス作用と整合する反復 $T$-ポアソン・オア・拡張となることを示すこと。
• ポアソン括弧が整数係数を持つことを証明し、これにより任意の体 $\mathbf{k}$（$ℤ$ に限らない）上での対称的ポアソン CGL 拡張を定義できることを示すこと。
• ボット＝サメルソン座標における一般化ブリュアセルの標準ポアソン構造の明示的公式を提供すること、特に全部分表現 $\gamma = \mathbf{u}$ の場合を対象とする。

提案手法

• 複素半単純リー群 $G$ 上の標準乗法的ポアソン構造 $\pi_{\rm st}$ を用いて、ボット＝サメルソン多様体 $Z_{\mathbf{u}}$ 上にポアソン構造 $\pi_n$ を誘導すること。
• $Z_{\mathbf{u}}$ に備わる自然なアトラス（$2^n$ 個のアフィン座標近傍）を用い、各近傍は $ℤ$ の部分表現 $\gamma$ によってパラメトライズされる。これによりポアソン構造を局所化する。
• リー代数 $\mathfrak{g}$ の根系列と構造定数を用いて、各近傍におけるポアソン括弧 $\{z_i, z_k\}$ の明示的公式を導出すること。
• 得られたポアソン構造が、$G$ の最大トーラス $T$ の有理的作用と整合する反復ポアソン・オア・拡張であることを示すこと。
• すべてのポアソン括弧 $\{z_i, z_k\}$ が $ℤ[z_1,\dots,z_n]$ に属することを証明し、これにより任意の特性の体 $\mathbf{k}$ 上への構造の持ち上げが保証されること。
• 対称的ポアソン CGL 拡張（CGL 拡張のポアソン版）の理論を応用し、全近傍の場合（$\gamma = \mathbf{u}$）が対称的反復 $T$-ポアソン・オア・拡張をもたらすことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 複素半単純リー群 $G$ 上の標準ポアソン構造を、ボット＝サメルソン多様体 $Z_{\mathbf{u}}$ に制限することで、座標近傍上で明示的なポアソン括弧を得る方法は何か？
• RQ2 各 $Z_{\mathbf{u}}$ のアフィン座標近傍におけるポアソン括弧の代数的構造は何か？ また、反復ポアソン・オア・拡張とどのように関係しているか？
• RQ3 $Z_{\mathbf{u}}$ 上のポアソン構造が任意の体 $\mathbf{k}$ に持ち上げられるか？ もし可能であれば、係数にどのような条件が必要か？
• RQ4 $ℤ$ に対応する一般化ブリュアセル上のポアソン構造を、ボット＝サメルソン座標で明示的に記述できるか？
• RQ5 $G$ の最大トーラス $T$ はポアソン構造とどのように整合的に作用するか？ また、これによりポアソン素イデアルの分類にどのような意味があるか？

主な発見

• 各 $Z_{\mathbf{u}}$ のアフィン座標近傍におけるポアソン構造 $\pi_n$ は、最大トーラス $T$ の作用と整合する反復 $T$-ポアソン・オア・拡張である。
• 全部分表現 $\gamma = \mathbf{u}$ の場合、$ℤ[z_1,\dots,z_n]$ 上に誘導されるポアソン構造は、対称的反復 $T$-ポアソン・オア・拡張、すなわち対称的ポアソン CGL 拡張である。
• 座標近傍におけるすべてのポアソン括弧 $\{z_i, z_k\}$ は整数係数を持つため、$ℤ$ に限らず任意の体 $\mathbf{k}$ 上へ構造を拡張可能である。
• 括弧 $\{z_i, z_k\}$ の明示的公式は、根系列とリー代数 $\mathfrak{g}$ の構造定数を用いて与えられ、アルゴリズム的計算を可能にする。
• 自明な部分表現 $\gamma = (e,\dots,e)$ への $\pi_n$ の制限は、対数正則ポアソン構造を与える。
• 本研究は、ボット＝サメルソン座標における一般化ブリュアセル上での対称的ポアソン CGL 拡張の最初の明示的構成を提供し、完全な代数的・組合せ的制御を実現した。