相邻二次三角导子的不变环
Invariant Rings of Adjacent-Quadratic Triangular Derivations
浏览论文内容
中文总结 AI 辅助
本文研究特征零域上三角局部幂零导子 $D_5$ 的不变环，证明其为有限生成并给出精确结构，揭示全局下降的两次失败及其机制，并与已知例子比较。
中文摘要 AI 辅助
设 $k$ 为特征零的域，$D_5$ 为 $A_5=k[a_0,\dots,a_5]$ 上的三角局部幂零导子，满足 $D_5(a_n)=a_{n+1}a_{n+2}$。我们证明 $A_5^{D_5} = C_5[F_{46}^{\mathrm{int}}]$，因此是有限生成的，其中 $C_5=k[p,q,J_1,J_2,F_0,H]$ 是正规超曲面 $q^4H-11025F_0^2-105q^2J_2^5J_1-9J_2^7=0$。删除 $a_0$ 得到多项式核 $B^{D_5}=k[p,q,J_1,J_2]$，其在 $pq$ 处的局部化是多项式线 $K_{pq}[W]$。全局下降失败两次，每次都有明确原因。首先，权重为 $24$、$a_0$ 次数为 $2$ 的不变量 $H$ 不在 $k[p,q,J_1,J_2,F_0]$ 中，且权重 $24$ 是首次此类失败。其次，权重为 $46$、$a_0$ 次数为 $4$ 的不变量 $F_{46}^{\mathrm{int}}$ 不在 $C_5$ 中，且权重 $46$ 是首次此类失败，而权重至 $45$ 的分次部分相等。两次失败均源于整除极点清除分母的素数处的代数余项初始形式；该机制在一般的多楼层估值界中被隔离，且在两种情形下均为精确的。来自 $q$-本原柱元素 $f_{13}=pJ_2^3/35+pq^2J_1J_2/4$ 的第二个切片图覆盖了第一个图退化的轨迹，且精确的 $q$-和 $p$-饱和将所得的 $p$-局部化核收缩为闭环。该闭环是余维数为二的完全交集，具有精确的 Hilbert 级数、挠滤过、奇异轨迹和正规性；精确的 $p$-进顶包络为 $\lceil 3m/2\rceil$。极点消除机制与 Daigle--Freudenburg 例子进行了比较。在 $N=6$ 时，$B$-级环通过传递是精确的，而 $A_6$ 环仍是开放的。
英文摘要
Let $k$ be a field of characteristic zero and $D_N(a_n)=a_{n+1}a_{n+2}$ the adjacent-quadratic locally nilpotent derivation on $A_N=k[a_0,\dots,a_N]$. We determine the invariant ring at $N=5$, where deleting $a_0$ gives the polynomial base kernel $B^{D_5}=K=k[p,q,J_1,J_2]$, so localization gives the polynomial-line invariant algebra $(A_5^{D_5})_{pq}=K_{pq}[W]$ with $W=F_0/(p^2q^4)$, but this does not by itself determine the global kernel. An invariant $H$ of weight $24$ and $a_0$-degree $2$ lies outside $K[F_0]$, and adjoining it gives the six-generator hypersurface $C_5$; the obstruction is explained by algebraic residue behavior defeating naive denominator descent. An invariant $F_{46}^{int}$ of weight $46$ and $a_0$-degree $4$ lies outside $C_5$ and satisfies $p^2F_{46}^{int}\in C_5$. To pass from this candidate to the full invariant ring, a second slice chart arising from $f_{13}$, together with exact $q$- and $p$-saturation, yields $A_5^{D_5}=C_5[F_{46}^{int}]$, hence finite generation, with a codimension-two complete-intersection presentation and explicit Hilbert series. At $N=6$ the transported $B$-level ring is exact, while the $A_6$ analysis is established through total degree $13$ and the full $A_6$ invariant ring remains open.
