[论文解读] The dimension of jet schemes of singular varieties

Mircea Mustaţă|arXiv (Cornell University)|Apr 30, 2014

Algebraic Geometry and Number Theory参考文献 18被引用 4

一句话总结

本文研究奇异代数簇的广义喷射方案的维数，聚焦于这些维数如何反映双有理不变量（如对数极小奇异值和最小对数奇异度）。研究建立了一个必要条件——d^r ≤ n——用于齐次超曲面的r重迭代喷射方案为纯维，通过动机积分与喷射方案构造，将奇点理论与代数几何联系起来。

ABSTRACT

Given a scheme X over a field k, a generalized jet scheme parametrizes maps from Spec(A) to X, where A is a finite-dimensional, local algebra over k. We give an overview of known results concerning the dimensions of these schemes when A has embedding dimension one, when they are related to invariants of singularities in birational geometry. We end with a discussion of more general jet schemes.

研究动机与目标

• 理解喷射方案的维数如何编码代数几何中奇点的信息。
• 将经典喷射方案结果推广至由局部有限k-代数参数化的广义喷射方案。
• 探讨局部完备交簇的迭代喷射方案的不可约性与纯维性。
• 基于嵌入维数为2的代数序列中喷射方案维数的渐近行为，提出新的不变量。
• 研究d^r ≤ n是否为具有孤立奇点的齐次超曲面的r重喷射方案的纯维性或不可约性的充分条件。

提出的方法

• 利用喷射方案的普遍性质，为任意局部有限k-代数A定义J_A(X)，推广标准喷射方案J_m(X) = J_{k[t]/(t^{m+1})}(X)。
• 在动机积分中应用变量替换公式，将J_m(X)的维数与对对(Y,X)的对数解析解的不变量联系起来。
• 通过射影极限定义弧方案J_{k[[t]]}(X)为J_m(X)的逆极限，这对动机积分至关重要。
• 通过条件f(u_1,…,u_n) = 0（其中u_i ∈ tR[t]/(t^{m+1})）分析喷射方案在原点上的纤维，将零点性与定义多项式的次数d联系起来。
• 通过在由r个变量中次数为jd的单项式定义的子簇Z_j ⊂ J_{A_j}(X)上估计维数，推导出n与d的界限。
• 对喷射方案子簇维数公式中的二项式系数进行渐近分析，导出不等式n ≥ d·∏_{i=1}^{r-1} (jd+i)/(j+i)，从而得出极限条件d^r ≤ n。

实验结果

研究问题

• RQ1 在何种条件下，齐次超曲面的r重迭代喷射方案为纯维？
• RQ2 条件d^r ≤ n是否足以保证具有孤立奇点的齐次超曲面的r重喷射方案为不可约？
• RQ3 当d^2 ≤ n时，能否对一般齐次多项式证明迭代喷射方案的不可约性？
• RQ4 喷射方案维数界限与域上的Lang C_r条件是否存在联系？
• RQ5 在嵌入维数为2的代数上，广义喷射方案的渐近维数是否产生奇点的新不变量？

主要发现

• 对于由次数d多项式定义的A^n中的齐次超曲面X，其r重迭代喷射方案为纯维，仅当d^r ≤ n时成立。
• 若r重喷射方案不可约，则同一不等式d^r ≤ n必须成立，且维数估计中的严格不等式意味着d^r < n。
• 当d^2 ≤ n且定义多项式的系数在Q上代数独立时，2重迭代喷射方案不可约，该结论通过正特征下的F-奇点方法证明。
• 对于不可数域，非常一般地，次数为d且满足d^2 ≤ n的齐次多项式具有不可约的2重喷射方案。
• 不等式d^r ≤ n源于喷射方案子簇维数公式中二项式系数的渐近分析。
• 对于具有孤立奇点的齐次超曲面，d^r ≤ n是r重喷射方案为纯维的必要条件。