[论文解读] A new way to construct 1-singular Gelfand-Tsetlin modules

Pablo Zadunaisky|arXiv (Cornell University)|Mar 21, 2017

Advanced Topics in Algebra被引用 12

一句话总结

本文通过将一个包含通用和1-奇异表格的代数簇上的正则函数环上的平展族扩展至1-奇异点，提出了一种新的几何构造方法，用于构建 $ℓ(n,\mathbb{C})$ 上的1-奇异Gelfand-Tsetlin模。该方法在包含通用与1-奇异表格的代数簇上构造了一个通用的 $ℓ(n,\mathbb{C})$-模，从而通过特殊化直接从通用情形推导出奇异模的作用，并证明其与[FGR-singular-gt]中先前构造的模同构。

ABSTRACT

We present a simplified way to construct the Gelfand-Tsetlin modules over $\mathfrak{gl}(n,\mathbb C)$ related to a $1$-singular GT-tableau defined by Futorny, Grantcharov and Ramirez. We begin by reframing the classical construction of generic Gelfand-Tsetlin modules found by Drozd, Futorny and Ovsienki, showing that they form a flat family over generic points of $\mathbb C^{\binom{n}{2}}$. We then show that this family can be extended to a flat family over a variety including generic points and $1$-singular points for a fixed singular pair of entries. The $1$-singular modules are precisely the fibers over these points.

研究动机与目标

• 提供一种简化、几何化的1-奇异Gelfand-Tsetlin模在 $ℓ(n,\mathbb{C})$ 上的构造方法。
• 将经典的通用Gelfand-Tsetlin模重新表述为在 $ℓ^{\binom{n}{2}}$ 减去极点轨迹上的平展族。
• 将此平展族扩展至包含1-奇异点（即表格中两个条目相等）的情形，形成在更大代数簇上的新平展族。
• 证明在1-奇异点处的纤维给出通过生成元与关系先前构造的1-奇异模。
• 通过通用公式的特殊化，推导出Gelfand-Tsetlin子代数在这些奇异模上的作用。

提出的方法

• 在 $ℓ^{\binom{n}{2}}$ 中极点轨迹的补集上，构造一个正则函数代数 $A$ 上的自由模 $V_A$，作为通用通用Gelfand-Tsetlin模。
• 在 $X = \mathbb{C}^{\binom{n}{2}} \setminus P$ 上定义一个 $ℓ(n,\mathbb{C})$-模的平展族，其纤维同构于通用GT模。
• 将该族扩展至 $Y = X \cup H$，其中 $H$ 是满足 $v_{k,i} = v_{k,j}$ 且无其他关键等式的1-奇异表格的代数簇。
• 在 $Y$ 上的正则函数环 $B$ 上，构造一个 $V_B \subset V_A$ 的 $B$-格，其在 $ℓ(n,\mathbb{C})$-作用下稳定。
• 通过 $y \in H$ 处的特殊化 $V_y = V_B \otimes_B \mathbb{C}_y$ 得到1-奇异模，其 $ℓ(n,\mathbb{C})$-作用继承自 $V_A$。
• 通过模 $x - y$ 的约化，推导出奇异模上的作用公式，从而恢复[FGR-singular-gt]中定义的模结构。

实验结果

研究问题

• RQ1 能否通过避免直接验证生成元与关系的作用，来简化1-奇异Gelfand-Tsetlin模的构造？
• RQ2 是否存在一种几何或通用构造，能自然地将通用Gelfand-Tsetlin模族扩展至包含1-奇异点？
• RQ3 能否通过特殊化从通用情形推导出 $ℓ(n,\mathbb{C})$-模在1-奇异模上的结构？
• RQ4 Gelfand-Tsetlin子代数在奇异模上的作用行为如何？能否从通用构造中恢复？
• RQ5 所得到的1-奇异模是否与[FGR-singular-gt]中先前定义的模同构？

主要发现

• 通用Gelfand-Tsetlin模在 $ℓ^{\binom{n}{2}}$ 中极点轨迹的补集上形成一个平展族，由正则函数环 $A$ 上的自由模 $V_A$ 参数化。
• 该平展族通过 $V_B \subset V_A$ 的 $B$-格扩展至更大的代数簇 $Y = X \cup H$，其中 $H$ 是满足 $v_{k,i} = v_{k,j}$ 的1-奇异表格集合，且在 $ℓ(n,\mathbb{C})$-作用下稳定。
• 该扩展族在 $H$ 中点处的纤维给出1-奇异Gelfand-Tsetlin模，其同构于通过生成元与关系在[FGR-singular-gt]中构造的模。
• $ℓ(n,\mathbb{C})$-模在1-奇异模上的作用通过通用作用的特殊化与模 $x - y$ 的约化推导得出，避免了冗长的直接验证。
• Gelfand-Tsetlin子代数在奇异模上的作用通过约化恢复：$c_{k,t}$ 以包含导数 $\overline{D}$ 的混合项作用，反映了奇异性。
• 新构造与原始1-奇异模之间的同构显式给出为 $1 \otimes_{B'} \overline{S}(z) \mapsto T(v+z)$ 与 $1 \otimes_{B'} \overline{A}(z) \mapsto DT(v+z)$，确认与先前结果的一致性。