組合せ論セミナー

 


第43回 2013年8月6日 14:00〜15:30

田崎博之(筑波大学)「有向実Grassmann多様体の対蹠集合 」

コンパクト対称空間 M の部分集合 S が対蹠集合であるとは、 S の任意の元 x,
y に対して x に関する点対称が y を固定することである。 n 次元球面 S^n の
部分集合 {x, -x} は対蹠集合の典型的例である。 対蹠集合はChen-Naganoの導
入した概念である。 この講演では、R^n 内の向きの付いた k 次元部分空間の全
体である 有向実Grassmann多様体 G~_k(R^n) の対蹠集合について得られた結果
を 解説する。 G~_k(R^n) の等長変換全体の単位連結成分の元によって二つの部
分集合が 写り合うとき、それらは合同であるという。 k が 4 以下のときの
G~_k(R^n) の極大対蹠集合の合同類の分類と 大きな k に対する G~_k(R^n) の
いくつかの極大対蹠集合の構成が 講演の主な内容である。 {1, ..., n} の k
個の元からなる部分集合の全体を P_k(n) で表す。 P_k(n) の元 α, β に対して
差集合の元の個数 #(α-β) が偶数になるとき、 α, β は対蹠的であるといい、部
分集合 A ⊂ P_k(n) の任意の二元が 対蹠的であるときに、A を対蹠的という。
対称群 Sym(n) の作用によって P_k(n) の二つの部分集合が写り合うとき、 そ
れらは合同であるという。 G~_k(R^n) の極大対蹠集合の合同類と P_k(n) の極
大対蹠的部分集合の 合同類は一対一に対応することがわかる。 P_k(n) の極大
対蹠的部分集合の合同類をすべて求めるための手順を示し、 k が 4 以下のとき
にこの手順を実行して P_k(n) の極大対蹠的部分集合の 合同類の分類を行う。
この分類の際に現れるいくつかの極大対蹠的部分集合は、 大きな k の場合にも
一般化できることを示し、 大きな k に対する P_k(n) の極大対蹠的部分集合を
構成する。