[論文レビュー] Complete Homogeneous Varieties via Representation Theory

Francesco Cavazzani|arXiv (Cornell University)|Mar 31, 2016

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

ひとこと要約

本稿は表現論を用いた新しい方法により、同次的多様体のパラメータ空間のコンパクト化を導入し、完全な線形写像（complete collineations）の構成を拡張する。$ SL_{N+1} $ の既約表現における $ H $-不変部分空間の次元に依存する、除数の体積の公式を導出し、特に $ SL_2 $-不変部分空間を用いた $ SL_4 $ における体積を完全に計算することで、$ \mathbb{P}^3 $ 内のねじれ立方曲線に対する明示的な組合せ的結果が得られる。本研究はモジュライ空間と関連し、交線理論や組合せ的幾何への応用を提案する。

ABSTRACT

Given an algebraic variety $X\subset\mathbb{P}^N$ with stabilizer $H$, the quotient $PGL_{N+1}/H$ can be interpreted a parameter space for all $PGL_{N+1}$-translates of $X$. We define $X$ to be a $ extit{homogeneous variety}$ if $H$ acts on it transitively, and satisfies a few other properties, such as $H$ being semisimple. Some examples of homogeneous varieties are quadric hypersurfaces, rational normal curves, and Veronese and Segre embeddings. In this case, we construct new compactifications of the parameter spaces $PGL_{N+1}/H$, obtained compactifying $PGL_{N+1}$ to the classically known space of extit{complete collineations}, and taking the G.I.T. quotient by $H$, and we will call the result space of extit{complete homogeneous varieties}; this extends the same construction for quadric hypersurfaces in [36]. We establish a few properties of these spaces: in particular, we find a formula for the volume of divisors that depends only on the dimension of $H$-invariants in irreducible representations of $SL_{N+1}$. We then develop some tools in invariant theory, combinatorics and spline approximation to calculate such invariants, and carry out the entire calculations for the case of $SL_2$-invariants in irreducible representations of $SL_4$, that gives us explicit values for the volume function in the case of $X$ being a twisted cubic. Afterwards, we focus our attention on the case of twisted cubics, giving a more explicit description of these compactifications, including the relation with the previously known moduli spaces. In the end, we make some conjectures about how the volume function might be used in solving some enumerative problems.

研究の動機と目的

• 同次的多様体のパラメータ空間 $ PGL_{N+1}/H $ の、完全な線形写像とGIT商を用いた新しいコンパクト化の構成。
• $ SL_{N+1} $ の既約表現における $ H $-不変部分空間の次元に依存する、これらのコンパクト化空間上の除数の体積の公式の開発。
• ねじれ立方曲線の $ \mathbb{P}^3 $ 内のケースにおいて、$ SL_2 $-不変部分空間を用いた $ SL_4 $-表現における体積関数の明示的計算。
• コンパクト化が既知のモジュライ空間とどのように関係するかを特定し、モジュラー解釈を提供すること。
• 体積関数を用いて、混合交線積や高次元サイクルの計算を含む組合せ的問題を解く応用の探求。

提案手法

• $ PGL_{N+1} $ を完全な線形写像の空間へコンパクト化し、その後 $ H $ によるGIT商をとることで、完全な同次的多様体の空間を導出する。
• 表現論を用いて、除数の体積を $ SL_{N+1} $ の既約表現における $ H $-不変部分空間の次元 $ \dim (V_\lambda^*)^H $ の関数として表現する。
• 不変式理論と母関数を用いて $ H $-不変部分空間を計算し、特に $ H = SL_2 $ が $ SL_4 $-表現に作用する場合を重点的に扱う。
• ベクトル分割関数とスプライン近似技術を用いて、不変部分空間の漸近的挙動を分析する。
• $ \Omega_3 $ のコンパクト化空間に対して2つの層化構造を構成し、体積関数のチャンバを同定する。
• 座標環 $ R = \mathbb{C}[G/H]^U $ の $ \Lambda_G $-次数付き代数へのバリエーションを用いて、境界除数とその幾何的意味を研究する。

実験結果

リサーチクエスチョン

• RQ1 同次的多様体のパラメータ空間 $ PGL_{N+1}/H $ は、表現論的手法を用いてどのようにコンパクト化可能か？
• RQ2 コンパクト化空間上の除数の体積の明確な公式は何か？また、$ SL_{N+1} $-表現における $ H $-不変部分空間にどのように依存するか？
• RQ3 ねじれ立方曲線の $ \mathbb{P}^3 $ 内のケースにおいて、体積関数は明示的に計算可能か？また、その関数が何を組合せ的データとして含むか？
• RQ4 体積関数のチャンバは、コンパクト化されたモジュライ空間の幾何と交線理論とどのように関係するか？
• RQ5 体積関数と関連するバリエーションを用いて、混合交線積や高次元サイクルを計算できるか？

主な発見

• 完全な同次的多様体のコンパクト化空間上の除数の体積は、$ SL_{N+1} $ の既約表現における $ H $-不変部分空間の次元 $ \dim (V_\lambda^*)^H $ のみに依存する公式で与えられる。
• ねじれ立方曲線の $ \mathbb{P}^3 $ 内のケースでは、$ SL_4 $-表現における $ SL_2 $-不変部分空間を用いて体積関数を明示的に計算し、具体的な数値を導出できる。
• 体積関数はパrameter空間の異なるチャンバで異なる式を示し、境界除数構造の変化を反映しており、交線積の計算を可能にする。
• 座標環 $ R $ に存在する3つの中心的バリエーションは、それぞれコンパクト化されたモジュライ空間 $ M_L $ の3つの境界除数 $ E_1, E_2, E_3 $ に正確に対応しており、これらの除数の幾何的意味を明確に解釈できる。
• $ M_L $ はねじれ立方曲線の空間のコンパクト化としてモジュラー解釈をもち、体積関数は12個の一般な二次曲面に接するねじれ立方曲線の数といった組合せ的データを符号化している。
• 本稿では、$ \Lambda_G $-次数付き代数 $ R = \mathbb{C}[G/H]^U $ の生成元となる有限個の候補を特定し、$ (4,0,0), (3,0,1), (0,3,6) $ なども含まれる。これらは、等変埋め込みとバリエーションを理解する上で不可欠である。