组件表的魔力与奥秘
The Magic and Mystery of Component Tableaux
AI总结：
本文针对SL(n)情形系统研究了零纤维的不可约组件，通过构造半标准表与排除根向量得到子代数及Weierstrass截面，证明所得集合为不可约组件并建立单射的组件映射。
摘要：
设 $G$ 为复数域 $\mathbb C$ 上的单代数群，$P$ 为包含其 Borel 子群 $B$ 的抛物子群，$P'$ 为其导出群，$\mathfrak m$ 为其幂零根的李代数。该作用的零纤维 $\mathscr N$ 是半不变量代数 $\mathscr I=\mathbb C[\mathfrak m]^{P'}$ 的增广理想 $\mathscr I_+$ 的零点轨迹。对于 $G=SL(n)$，此前几乎一无所知。唯一具有可比性但复杂度较低的结果是关于 $\mathscr V:=\mathscr O\cap \mathfrak n$ 的，其中 $\mathscr O$ 是一个幂零 $G$ 轨道，$\mathfrak n$ 是严格上三角矩阵的集合。此时 $\mathscr V$ 是等维的，其组件被称为轨道簇，由标准表参数化，其形状由 $\mathscr O$ 决定。本文研究了 $G=SL(n)$ 时 $\mathscr N$ 的组件。它们随 $n$ 呈指数增长，且没有先验可辨别的模式。对于每一组数值数据 $\mathcal C$，从 $\mathscr T$ 构造出一个半标准表 $\mathscr T^\mathcal C$。通过一种精细且紧密交织的分析，从 $\mathfrak m$ 中构造出一组被排除的根向量，使得补空间 $\mathfrak u^\mathcal C$ 具有以下性质：第一，它是 $\mathfrak m$ 的一个子代数；第二，$\mathscr C:=\overline{B.\mathfrak u^\mathcal C}$ 位于 $\mathscr N$ 中，且第三，可以关联一个 Weierstrass 截面；第四，$\dim \mathscr C = \dim \mathfrak m-\textbf{g}$，其中 $\textbf{g}$ 是多项式代数 $\mathscr I$ 的生成元个数；第五，证明了 Weierstrass 截面蕴含 $\mathscr C$ 是 $\mathscr N$ 的一个不可约组件，然而 $\mathscr C$ 只是有时才是轨道簇闭包。由此得到的组件映射 $\mathscr T^\mathcal C\mapsto\mathscr C$ 被证明是单射，并给出了其满射性的证据。
英文摘要：
Let $G$ be a simple algebraic group over the complex field $\mathbb C$, $P$ a parabolic subgroup containing $B$ its Borel subgroup, $P'$ its derived group and $\mathfrak m$ the Lie algebra of its nilradical. The nilfibre $\mathscr N$ for this action is the zero locus of the augmentation $\mathscr I_+$ of the semi-invariant algebra $\mathscr I=\mathbb C[\mathfrak m]^{P'}$. For $G=SL(n)$ practically nothing was known previously. The only result of comparable, but lesser complexity, is for $\mathscr V:=\mathscr O\cap \mathfrak n$, with $\mathscr O$ a nilptent $G$ orbit and $\mathfrak n$ the set of strictly upper triangular matrices. Then $\mathscr V$ is equidimensional with components known as orbital varieties, parameterised by standard tableaux whose shape is dictated by $\mathscr O$. Here the components of $\mathscr N$ are studied for $G=SL(n)$. They increase exponentially in $n$ with no a priori discernable pattern. For each choice of numerical data $\mathcal C$, a semi-standard tableau $\mathscr T^\mathcal C$, is constructed from $\mathscr T$. A \textit{delicate and tightly interlocking} analysis constructs a set of excluded root vectors from $\mathfrak m$ such that the complementary space $\mathfrak u^\mathcal C$ has the following properties. First it is a subalgebra of $\mathfrak m$. Secondly $\mathscr C:=\overline{B.\mathfrak u^\mathcal C}$ lies in $\mathscr N$ to which, thirdly, a Weierstrass section can be associated. Fourthly $\dim \mathscr C = dim \mathfrak m-\textbf{g}$, where \textbf{g} is the number of generators of the polynomial algebra $\mathscr I$. Fifthly the Weierstrass section, is shown to imply that $\mathscr C$ an irreducible component of $\mathscr N$, yet $\mathscr C$ is \textit{ only sometimes} an orbital variety closure. The resulting Component Map $\mathscr T^\mathcal C\mapsto\mathscr C$ is shown to be injective. Evidence for its surjectivity is given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
