[论文解读] On the diagonals of a Rees algebra

Olga Lavila-Vidal|ArXiv.org|Jul 3, 2004

Commutative Algebra and Its Applications参考文献 49被引用 9

一句话总结

本博士论文研究了Rees代数中对角线的代数与几何性质，重点关注其作为射影概形的blow-up嵌入的坐标环的角色。通过多齐次同调代数与对角函子，作者建立了理想幂的渐近解析式与界限，证明了$I^j$的极小自由解析式会稳定为类似多项式的形式，并在定义理想满足特定条件时，证明了对角线为Cohen-Macaulay或Gorenstein环。

ABSTRACT

The aim of this work is to study the ring-theoretic properties of the diagonals of a Rees algebra, which from a geometric point of view are the homogeneous coordinate rings of embeddings of blow-ups of projective varieties along a subvariety. In Chapter 1 we extend the definitions and results about the biprojective scheme and the Hilbert polynomial of finitely generated bigraded modules defined over standard bigraded k-algebras to finitely generated bigraded S-modules, for S=k[X_1,..., X_n,Y_1,...,Y_r] the polynomial ring bigraded by deg X_i=(1,0), deg Y_j=(d_j,1), d_j \geq 0. We also relate the shifts in the bigraded minimal free resolution of any finitely generated bigraded S-module to its a-invariants. In Chapter 2 we are concerned with the diagonal functor in the category of bigraded S-modules. We compare the local cohomology modules of a finitely generated bigraded S-module with the local cohomology modules of its diagonals. In Chapter 3 we study in detail the Cohen-Macaulay property of the rings k[(I^e)_c]. Chapter 4 is devoted to study the Gorenstein property of those rings. As a somehow unexpected by-product, the methods used to study the diagonals of a Rees algebra also allow to study the a-invariants of the powers of an ideal and their asymptotic properties (Chapters 5 and 6)

研究动机与目标

• 理解Rees代数对角线的环论与几何性质，其对应于嵌入射影概形的blow-up的齐次坐标环。
• 确定在何种条件下这些对角环为Cohen-Macaulay或Gorenstein环，特别是在沿子概形或点理想进行blow-up的背景下。
• 分析齐次理想幂的极小齐次自由解析式的渐近行为。
• 利用多齐次上同调与对角函子，推导理想幂的$a$-不变量与Hilbert函数的显式界限与结构结果。

提出的方法

• 利用对角函子从Rees代数$R_A(I) = \bigoplus_{j \to 0} I^j$中提取子代数$k[(I^e)_c]$，其为blow-up嵌入的坐标环。
• 采用多齐次上同调与$a$-不变量研究Rees代数上双齐次模的深度与正则性。
• 通过Rees代数的Koszul同调分析$I^j$的极小自由解析式的结构，从而以单项式理想与格点的形式描述该解析式。
• 证明Betti数与解析式模的秩的渐近行为由形如$Q(j)$的Hilbert多项式控制，其次数至多为$l-1$，其中$l = l(I)$为理想$I$的解析支撑。
• 关键技巧在于通过初等理想将问题约化为单项式理想，利用$\text{in}(J)$通过$\bigcup_{i} \text{supp}(\text{in}(J))$决定对角结构的事实。
• 该理论被推广至其他双齐次模，如形式环$G$、对称代数$\text{Sym}_A(I)$与整闭包$\bar{R}$，并显示出类似的渐近行为。

实验结果

研究问题

• RQ1 在何种条件下，Rees代数的对角线$k[(I^e)_c]$为Cohen-Macaulay环，特别是当$I$定义$\mathbb{P}^n$中一组点时？
• RQ2 对于大$j$，$I^j$的极小自由解析式的渐近结构为何？其与解析支撑$l(I)$有何关联？
• RQ3 能否显式地界定理想幂的$a$-不变量？其与Rees代数对角结构有何关系？
• RQ4 在何种条件下，对角环$k[(I^e)_c]$为Gorenstein环，特别是当$I$的形式环为Gorenstein时？
• RQ5 如何渐近地描述$I^j$的Hilbert函数与Betti数？它们能否由多项式函数描述？

主要发现

• 对于大$j$，$I^j$的极小自由解析式可表示为单一场合的直和：$D_p^j = \bigoplus_{i,π} A(-\alpha_{pi} - v(\u03c0))$，其中$\u03c0 \notin C_{pi} + \mathbb{N}^r$且$|\u03c0| = j - \beta_{pi}$。
• 解析式模的秩渐近地以多项式$Q(j)$增长，其次数至多为$l-1$，其中$l = l(I)$为理想$I$的解析支撑。
• Rees代数$R_A(I)$的$a$-不变量可用生成元的次数与相关双齐次模的$a$-不变量来界定。
• 对于在$\mathbb{P}^2$中无$d$个点共线的点集所定义的理想，当$c \geq d$时，对角线$k[(I^e)_c]$为Cohen-Macaulay环；若形式环为Gorenstein，则其为Gorenstein环。
• 当$c \geq d+1$时，对角线$k[(I^e)_c]$为算术Cohen-Macaulay环，且由二次型生成，其中$I$为$\mathbb{P}^2$中$s = \binom{d+1}{2}$个点的理想，且$d = \text{reg}(I)$。
• 在$\text{Tor}_p^A(k, I^j)$的渐近行为由次数$\leq l-1$的Hilbert多项式$P(j)$控制，且第$p$个挠模的生成元数量由相同次数的多项式$Q(j)$计数。