[論文レビュー] The Automorphism Group of Linear Sections of the Grassmannians G(1,N)

Jens Piontkowski, A. Van de Ven|ArXiv.org|Apr 14, 1999

Advanced Topics in Algebra参考文献 2被引用数 20

ひとこと要約

本稿は、射影空間内の直線をパラメトライズするグラスマンニアン 𝔾(1,N) の一般線型切断の自己同型群を調査する。プルーヴァー埋め込みと代数幾何学的道具（リーマンの定理やコhomologyの消滅）を用いて、正次元の自己同型群を持つのは特定の切断に限られることを同定する。例えば、𝔾(1,2n−1)∩H²（n=3,4）および 𝔾(1,4)∩H³ などである。その構造は明示的に特定され、𝔾(1,2n−1)∩H² の自己同型群は、SL(2,ℂ)ⁿ/{±1} を正規部分群として持ち、商群は n=3 のとき S₃、n=4 のとき (ℤ/2ℤ)²、それ以外の場合は自明である。

ABSTRACT

The Grassmannians of lines in projective N-space, G(1,N), are embedded by way of the Pl"ucker embedding in the projective space P(\bigwedge^2 C^{N+1}). Let H^l be a general l-codimensional linear subspace in this projective space. We examine the geometry of the linear sections G(1,N)\cap H^l by studying their automorphism groups and list those which are homogeneous or quasihomogeneous.

研究の動機と目的

• Plücker埋め込み空間内の線型部分空間 Hˡ としての codim l の一般線型切断 𝔾(1,N) ∩ Hˡ の自己同型群を特定すること。
• 自己同型群が大きい、すなわち同調的または準同調的となる線型切断を同定すること。
• 自己同型群が非自明、特に正次元であるような条件を確立すること。
• グラスマンニアンの自己同型が射影線型変換によって引き起こされることの既知の結果を、その線型切断へと拡張すること。
• コhomology的および幾何的技法を用いて、これらの切断の有限および無限次元自己同型群を分類すること。

提案手法

• Plücker埋め込みにより 𝔾(1,N) を ℙ(∧²ℂ^{N+1}) の部分多様体として実現し、射影幾何学的手法を用いて線型切断を研究する。
• Lefschetzの超平面定理を適用し、l ≤ 2N−5 のとき Pic(𝔾(1,N) ∩ Hˡ) ≅ ℤ·H が成り立つことを示し、すべての除集合が周囲空間から引き起こされることを示す。
• 指数列と H¹(𝔾(1,N) ∩ Hˡ, 𝒪) の消滅を用いて、Picard群の構造を導出し、自己同型群の制約を求める。
• 定理1.2を用いて、切断の自己同型が周囲射影空間およびグラスマンニアンの自己同型によって引き起こされることを証明する。
• Aut(𝔾(1,N), ℙ(∧²ℂ^{N+1})) と Aut(Hˡ, ℙ(∧²ℂ^{N+1})) の交差を調べることで、Aut(𝔾(1,N) ∩ Hˡ) の群構造を解析する。
• 多線型代数および表現論を用いて、特定のケース（例：𝔾(1,5) ∩ H³ および 𝔾(1,4) ∩ H³）の自己同型群を計算する。

実験結果

リサーチクエスチョン

• RQ1 どの一般線型切断 𝔾(1,N) ∩ Hˡ に対して自己同型群が正次元をとるか？
• RQ2 どの線型切断が同調的または準同調的か、すなわち推移的自己同型群作用をもつか？
• RQ3 線型切断の自己同型群は、元のグラスマンニアンの自己同型群とどのように関係しているか？
• RQ4 奇数 N ≥ 5 のとき、𝔾(1,N) ∩ H² の自己同型群の構造は何か？
• RQ5 非自明な自己同型群を持つ一般線型切断は、自明なケースを除いて存在するか？もしあるなら、それらは何か？

主な発見

• N = 2n−1 ≥ 5 のとき、𝔾(1,N) ∩ H² の自己同型群は SL(2,ℂ)ⁿ/{±1} を正規部分群として持ち、n=3 のとき商群は S₃、n=4 のとき (ℤ/2ℤ)²、それ以外の場合は自明である。
• 𝔾(1,2n) ∩ H、𝔾(1,4) ∩ H²、𝔾(1,5) ∩ H²、𝔾(1,6) ∩ H²、および 𝔾(1,4) ∩ H³ は準同調的であるが、𝔾(1,2n−1) ∩ H および 𝔾(1,3) ∩ H² は同調的である。
• その他のすべての一般線型切断は有限自己同型群を持ち、特定されたケース以外に正次元の自己同型群は現れない。
• 𝔾(1,5) ∩ H³ の自己同型群は SL(2,ℂ) × ℤ/2ℤ に同型であり、準同調的性質を確認する。
• 𝔾(1,4) ∩ H³ の自己同型群は PGL(2,ℂ) × ℤ/2ℤ に同型であり、豊富な対称性構造を示している。
• 広範なコンピュータによる検証は、特定されたケース以外に正次元の自己同型群を持つ一般線型切断は存在しないという予想を支持している。