[论文解读] Complete Homogeneous Varieties via Representation Theory

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

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

一句话总结

本文利用表示理论引入了一类齐次空间参数空间的新紧化方法，扩展了完全线性变换的构造。该文推导出依赖于 $ 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.

研究动机与目标

• 通过完全线性变换和GIT商构造齐次空间参数空间 $ PGL_{N+1}/H $ 的新紧化方法。
• 基于 $ SL_{N+1} $ 不可约表示中 $ H $-不变子空间的维数，推导这些紧化空间上除子体积的公式。
• 在 $ \mathbb{P}^3 $ 中扭三次曲线的情形下，通过 $ SL_2 $-不变子空间在 $ SL_4 $ 表示中的作用，显式计算体积函数。
• 将该紧化方法与已知的模空间联系起来，并提供其模解释。
• 探索体积函数在求解枚举问题中的应用，包括混合交集积与高余维循环。

提出的方法

• 将 $ PGL_{N+1} $ 紧化为完全线性变换空间，再对 $ H $ 取GIT商，得到完全齐次空间的参数空间。
• 利用表示理论将除子体积表达为 $ \dim (V_\lambda^*)^H $ 的函数，即 $ SL_{N+1} $ 不可约表示中 $ H $-不变子空间的维数。
• 应用不变量理论与生成函数计算 $ H $-不变子空间，特别针对 $ H = SL_2 $ 作用于 $ SL_4 $-表示的情形。
• 采用向量分拆函数与样条逼近技术分析不变子空间的渐近行为。
• 为扭三次曲线的紧化空间 $ \Omega_3 $ 构造两种分层结构，并识别体积函数中的区域。
• 利用 $ \Lambda_G $-分次代数 $ R = \mathbb{C}[G/H]^U $ 上的赋值研究边界除子及其几何意义。

实验结果

研究问题

• RQ1 如何利用表示论方法对齐次空间的参数空间 $ PGL_{N+1}/H $ 进行紧化？
• RQ2 紧化空间上除子体积的精确公式是什么？其与 $ SL_{N+1} $-表示中 $ H $-不变子空间的关系如何？
• RQ3 在 $ \mathbb{P}^3 $ 中扭三次曲线的情形下，体积函数能否显式计算？其编码了哪些枚举信息？
• RQ4 体积函数中的区域如何与紧化模空间的几何结构及交集理论相关联？
• RQ5 体积函数及其相关赋值能否用于计算混合交集积与高余维循环？

主要发现

• 完全齐次空间紧化空间上除子的体积仅依赖于 $ \dim (V_\lambda^*)^H $，即 $ SL_{N+1} $ 不可约表示中 $ H $-不变子空间的维数。
• 在 $ \mathbb{P}^3 $ 中扭三次曲线的情形下，通过 $ SL_2 $-不变子空间在 $ SL_4 $-表示中的作用，显式计算了体积函数，得到了具体的数值结果。
• 体积函数在参数空间的不同区域中具有不同的表达式，反映了边界除子结构的变化，从而支持交集积的计算。
• 坐标环 $ R $ 上的三个核心赋值恰好对应于紧化模空间 $ M_L $ 中的三个边界除子 $ 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) $ 等，这对理解等变嵌入与赋值至关重要。