[論文レビュー] Exponents for B-stable ideals

Eric Sommers, Julianna Tymoczko|ArXiv.org|Jun 2, 2004

Advanced Algebra and Geometry参考文献 5被引用数 10

ひとこと要約

この論文は、複素単純代数群のボレル部分代数のノルマルイデアルにおける $B$-安定イデアルに対して「理想指数」を導入し、ウェイリ群の古典的指数を一般化する。これらの指数が、イデアルに関連するピオンカーレー多項式および関連する超平面配置の特性多項式の因数分解を支配するとの予想を提示し、古典的型 $A_n$、$B_n$、$C_n$ および一部の例外型で両予想を証明する。

ABSTRACT

Let G be a simple algebraic group over the complex numbers containing a Borel subgroup B. Given a B-stable ideal I in the nilradical of the Lie algebra of B, we define natural numbers $m_1, m_2, ..., m_k$ which we call ideal exponents. We then propose two conjectures where these exponents arise, proving these conjectures in types A_n, B_n, C_n and some other types. When I is zero, we recover the usual exponents of G by Kostant and one of our conjectures reduces to a well-known factorization of the Poincare polynomial of the Weyl group. The other conjecture reduces to a well-known result of Arnold-Brieskorn on the factorization of the characteristic polynomial of the corresponding Coxeter hyperplane arrangement.

研究の動機と目的

• B-安定イデアルのノルマル部分代数における単純代数群の古典的指数の一般化を定義すること。
• これらの理想指数がピオンカーレー多項式の因数分解および超平面配置の特性多項式と関連する二つの予想を提示すること。
• 古典的型 $A_n$、$B_n$、$C_n$ および特定の他のケースにおいて両予想を証明し、表現論、代数幾何学、組合せ論の間の新しい関係を確立すること。
• ピオンカーレー多項式が正則冪零ヘッセブル変種のピオンカーレー多項式として幾何的実現可能である可能性を踏まえ、二つの予想の背後にあるより深い同値性を考察すること。

提案手法

• B-安定イデアル $\mathcal{I}$ の正根における補集合 $\mathcal{I}^c = \Phi^+ \setminus \mathcal{I}$ を定義する。
• 高さ $i$ の根の個数 $\lambda_i$ を数え、$\lambda_1 > \lambda_2$ を満たす分割 $\lambda = (\lambda_1, \lambda_2, \dots)$ を形成する。
• 分割 $\lambda$ の双対分割 $m^\mathcal{I} = (m^\mathcal{I}_k, \dots, m^\mathcal{I}_1)$ を構成し、$\mathcal{I}$ の理想指数を定義する。
• イデアルのピオンカーレー多項式 $P_\mathcal{I}(t)$ を定義し、$\prod_{i=1}^k (1 + t + \cdots + t^{m^\mathcal{I}_i})$ に因数分解されるとの予想を提示する。
• 補集合に属する根に対応する超平面からなる超平面配置 $\mathcal{A}_\mathcal{I}$ を関連付け、その特性多項式の根が $m^\mathcal{I}_1, \dots, m^\mathcal{I}_k$ であるとの予想を提示する。
• 加法定理と根系に関する帰納法を用い、ウェイリ群作用および根の高さフィルトレーションを活用して、古典的型における自由性および指数の公式を証明する。

実験結果

リサーチクエスチョン

• RQ1 単純代数群の古典的指数を、そのボレル部分代数のノルマル部分代数における $B$-安定イデアルにどのように一般化できるか？
• RQ2 B-安定イデアルに関連するピオンカーレー多項式は、ウェイリ群の既知の因数分解を一般化して、理想指数に従って因数分解されるか？
• RQ3 B-安定イデアルの補集合によって定義される超平面配置の特性多項式は、その理想指数を根とする多項式で割り切れるか？
• RQ4 B-安定イデアルに関連する超平面配置は自由であり、その指数は理想指数と一致するか？
• RQ5 ピオンカーレー多項式と特性多項式の二つの予想的役割を、幾何的または位相的構成によって統一できるか？

主な発見

• 理想指数 $m^\mathcal{I}_1, \dots, m^\mathcal{I}_k$ は、$\mathcal{I}$ に属さない根の高さ分布の双対分割として定義され、$m^\mathcal{I}_1 = 1$ である。
• ${\mathcal{I} = \emptyset}$ のとき、理想指数はコスタントが定義した群 $G$ の古典的指数に一致する。
• イデアルのピオンカーレー多項式 $P_\mathcal{I}(t)$ は、$\prod_{i=1}^k (1 + t + \cdots + t^{m^\mathcal{I}_i})$ に因数分解されるとの予想が提示され、ウェイリ群の既知の因数分解を一般化する。
• 超平面配置 $\mathcal{A}_\mathcal{I}$ の特性多項式は、根 $m^\mathcal{I}_1, \dots, m^\mathcal{I}_k$ を持つと予想され、アーノルド＝ブリースコーンの全コクセター配置に対する結果を一般化する。
• 著者らは、型 $A_n$、$B_n$、$C_n$ および一部の例外型で両予想を証明し、関連する配置が自由であり、予測された指数を持つことを確立した。
• 最大イデアル $\mathcal{I} = \{\theta\}$（$\theta$ は最高根）の場合、制限された配置 $\mathcal{A}_\mathcal{I}^{\gamma}$ が指数 $m^\mathcal{I}_1, \dots, m^\mathcal{I}_{n-1}$ で自由であることが示され、一般の自由性予想を支持する。