[論文レビュー] Commuting varieties in bad characteristic

Vlad Roman|arXiv (Cornell University)|Feb 3, 2026

Algebraic Geometry and Number Theory被引用数 0

ひとこと要約

特性2において、著者は commuting variety と commuting nilpotent variety for sp_{2n} の両方が不可約であることを証明し、次元は dim(sp_{2n})+2n および dim(sp_{2n})+n-1 である。

ABSTRACT

Let $k$ be an algebraically closed field of characteristic $2$. We consider the commuting variety and the commuting nilpotent variety of the Lie algebra $\mathfrak{sp}_{2n}$, namely the sets $\mathcal{C}_2(\mathfrak{sp}_{2n})=\{ (x,y) \in \mathfrak{sp}_{2n} imes \mathfrak{sp}_{2n} \mid [x,y]=0\}$ and $\mathcal{C}_2^{ ext{nil}}(\mathfrak{sp}_{2n})=\{ (x,y) \in \mathfrak{sp}_{2n} imes \mathfrak{sp}_{2n} \mid x,y ext{ nilpotent, } [x,y]=0\}$ and prove that they are both irreducible, of dimensions $\dim(\mathfrak{sp}_{2n}) + 2n$ and $\dim(\mathfrak{sp}_{2n}) + n-1$, respectively.

研究の動機と目的

• 悪特性における commuting varieties の研究動機づけと、sp_{2n} に対する不可約性と次元の理解。
• 分解不能な単項分解を扱うために characteristic 2 における中心化次元を計算する。
• 群と Lie代数の中心化の枠組みを確立し、次元界を導く。
• commuting と commuting nilpotent variety が不可約であることを示し、正確な次元を計算する。

提案手法

• 自然模 V を Liebeck–Seitz 分類に従って nilpotent x の下で indecomposable なる加和分に分解する。
• V=U⊥W の分解に基づくブロック形を分析し、Hom_x(W,U) の界を用いて dim C_G(x) および dim C_{sp_{2n}}(x) を計算する。
• discrepancy 不変量 Delta(x)=dim C_{sp_{2n}}(x)−dim C_{Sp_{2n}}(x) を用い、それを n 以下に制限し、等値条件は単一の Jordan ブロックのときのみ成立。
• ファイバー次元の議論と障害解析を適用して、2n 次元の交換可能なアブエレグラム a の閉包として G·(a×a) の閉包が commuting variety の不可約性を示す「密な不可約成分」であることを示す。
• parabolic subalgebra を考慮した nilpotent ケースを拡張し、Baranovsky–Premet の枠組みを用いて次元を境界づけ、nilpotent commuting variety の不可約性を証明する。

実験結果

リサーチクエスチョン

• RQ1 特性 2 における commuting variety C_2(sp_{2n}) の不可約成分構造はどうなっているか？
• RQ2 特性 2 における C_2(sp_{2n}) およびその nilpotent 対象 C_2^{nil}(sp_{2n}) の正確な次元はどうなるか？
• RQ3 悪特性で nilpotent 要素に対する group を中心化する C_{Sp_{2n}} と Lie algebra を中心化する C_{sp_{2n}} の間の差はどうなるか？
• RQ4 sp_{2n} のペアの一般的な中心化を記述し、それを用いて G-軌道の閉包アプローチで不可約性を導くことができるか？
• RQ5 indecomposable なモジュール（V(t)、W(t)、W_ℓ(t)）は中心化の次元分析にどのような役割を果たすか？

主な発見

• C_2(sp_{2n}) は dim(sp_{2n})+2n の不可約集合である。
• C_2^{nil}(sp_{2n}) は dim(sp_{2n})+n-1 の不可約集合である。
• Lie代数と群の中心化の不一致 Delta(x) は Delta(x) ≤ n を満たし、等号はすべての indecomposable が単一の Jordan ブロックである場合にのみ成立する。
• dense irreducible component of C_2(sp_{2n}) は G·(a×a) の閉包によって与えられ、a ≅ k^{2n} は 2 次元の可換部分代数の直和である。
• sp_{2n} における中心化の次元境界は V を U⊥W に分解し、A∈sp(U)、D∈sp(W)、および対角でないブロック B,B^{*} を分析し、dim Hom_x(W,U) の寄与を用いて得られる。
• parabolic subalgebra の場合の nilpotent commuting variety ではファイバー次元論により (A1,A2) のファイバーの次元が少なくとも n(n+3)/2 となり、不可約性の結果に寄与する。