[論文レビュー] Congruence B-Orbits and the Bruhat Poset of Involutions of the Symmetric Group

Eli Bagno, Yonah Cherniavsky|ArXiv.org|Dec 9, 2009

Advanced Combinatorial Mathematics参考文献 3被引用数 7

ひとこと要約

本稿は、Borel部分群の対称行列への合同作用を通じて、対称群の対合のブルハット順序集合の幾何的・組合せ的特徴づけを確立する。部分対合のランク制御行列に基づくランク関数を導入し、順序集合が階数付きであることと、軌道閉包の次元を表す2つの組合せ的公式を証明する。これらはインチティの結果を一般化し、対称的・反対称的・一般の部分置換の取り扱いを統一する。

ABSTRACT

We study the poset of Borel congruence classes of symmetric matrices ordered by containment of closures. We give a combinatorial description of this poset and calculate its rank function. We discuss the relation between this poset and the Bruhat poset of involutions of the symmetric group.

研究の動機と目的

• 対称群の対合のブルハット順序集合を、Borel部分群による対称行列への合同作用を通じて幾何的に解釈すること。
• 包含関係による閉包の順序で整列された、対称行列の合同B軌道の順序集合を定義し、特徴づけること。
• この順序集合のランク関数についての組合せ的公式を導出し、それが軌道閉包の次元と一致することを示すこと。
• ランク制御行列を用いた枠組みを部分置換および反対称行列へ一般化し、統一的なアプローチを示すこと。
• 幾何的および組合せ的手法を用いて、インチティの結果（対合のブルハット順序集合の階数付き性およびランク関数）を回復・再導出すること。

提案手法

• 複素数体上の $n \times n$ 対称行列の空間に、$S \mapsto B^t S B$ で定義されるBorel部分群 $\mathbb{B}_n(\mathbb{C})$ の合同作用を定義する。
• 各軌道を、各行・各列に高々一つの1をもつ部分 $S_n$-対合（対称的0-1行列）でインデックスし、それぞれ $\mathcal{C}_\pi$ と表記する。
• 行列 $X$ のランク制御行列 $R(X)$ を定義する。ここで $r_{kl} = \text{rank}(X_{kl})$ は、左上位の $k \times l$ 小行列のランクを表す。
• 部分対合 $\pi$ のランク制御行列の上三角部における対角線に沿った等式の数を表すパラメータ $\mathfrak{D}(\pi)$ を定義する。
• 軌道 $\mathcal{C}_\pi$ の閉包の次元が $\frac{n^2 + n}{2} - \mathfrak{D}(\pi)$ に等しいことを示し、ここで $\frac{n^2 + n}{2}$ は対称行列空間の次元である。
• 非対称および反対称の場合へ枠組みを拡張する。それぞれの対角線全般および厳密な上三角部に沿った等式数を表すパラメータ $\mathfrak{E}(\pi)$ および $\mathfrak{A}(\pi)$ を定義し、次元公式 $n^2 - \mathfrak{E}(\pi)$ および $\frac{n^2 - n}{2} - \mathfrak{A}(\pi)$ を得る。

実験結果

リサーチクエスチョン

• RQ1 対称群の対合のブルハット順序集合は、Borel合同作用を通じて、どのように対称行列の幾何的解釈が可能か？
• RQ2 対称行列の合同B軌道の閉包の次元を支配する組合せ的不変量は何か？
• RQ3 部分対合の順序集合のランク関数は、軌道閉包の幾何とどのように関係するか？
• RQ4 対称行列に用いた枠組みは、非対称および反対称行列へ一般化可能か？
• RQ5 ランク制御行列の対角線に沿った等式数を数えるパラメータが、対称的・反対称的・一般の部分置換の各場合の次元公式をどれほど統一的に扱えるか？

主な発見

• 対称行列の合同B軌道の順序集合は、軌道閉包の包含関係による順序付けられた部分対合の順序集合と同型である。
• 合同B軌道 $\mathcal{C}_\pi$ の閉包の次元は、$\frac{n^2 + n}{2} - \mathfrak{D}(\pi)$ に等しく、ここで $\mathfrak{D}(\pi)$ は部分対合 $\pi$ のランク制御行列の上三角部における対角線に沿った等式数を数える。
• 部分対合の順序集合は階数付きであり、ランク関数は軌道閉包の次元に一致する。2つの組合せ的公式（定理7.4および8.1）が提供される。
• 正則対合のブルハット順序集合は、部分対合の順序集合における逆順の区間である。インチティ[4]の結果（階数付き性およびランク関数）は、このことから系として導かれる。
• 非対称行列へも枠組みを一般化できる。双側coset $\{B_1^t \pi B_2\}$ の閉包の次元は $n^2 - \mathfrak{E}(\pi)$ に等しく、ここで $\mathfrak{E}(\pi)$ はランク制御行列のすべての対角線に沿った等式数を数える。
• 反対称行列の場合、軌道閉包の次元は $\frac{n^2 - n}{2} - \mathfrak{A}(\pi)$ に等しく、$\mathfrak{A}(\pi)$ は厳密な上三角部における等式数を数える。これにより、対称的・反対称的・一般の場合の次元公式に統一的なパターンが現れる。