[论文解读] Simplicial ideals, 2-linear ideals and arithmetical rank

Marcel Moralès|arXiv (Cornell University)|Feb 22, 2007

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

一句话总结

本文引入单纯形理想作为线性相接概形的推广，并证明对于此类理想，算术秩等于投影维数，从而将已知的2-线性分解结果推广。本文提供了有效算法以计算定义方程，并利用广义树与单纯形复形的组合数据表征深度、上同调维数与连通维数。

ABSTRACT

In the first part of this paper we study scrollers and linearly joined varieties. A particular class of varieties, of important interest in classical Geometry are Cohen--Macaulay varieties of minimal degree. They appear naturally studying the fiber cone of of a codimension two toric ideals. Let $I\subset S$ be an ideal defining a linearly joined arrangement of varieties: - We compute the depth, and the cohomological dimension. is the connectedness dimension. - We characterize sets of generators of $I$, and give an effective algorithm to find equations, as an application we compute arithmetical rank. in the case if $I$ defines a union of linear spaces, (ara =projective dimension), in particular this applies to any square free monomial ideal having a $2-$ linear resolution. - In the case where $V$ is a union of linear spaces, the ideal $I$, can be characterized by a tableau, which is an extension of a Ferrer (or Young) tableau. - We introduce a new class of ideals called simplicial ideals, ideals defining linearly-joined varieties are a particular case of simplicial ideals.

研究动机与目标

• 将扫掠理论与线性相接概形的理论通过单纯形理想推广至更广泛的理想类。
• 计算线性相接理想与单纯形理想的若干关键不变量——深度、上同调维数与连通维数。
• 利用组合数据（表格、广义树）表征此类理想的定义方程。
• 证明对于具有2-线性分解的线性空间并集，有 ara(I) = projdim(S/I)，且该结果与域的特征无关。
• 通过由单纯形复形与环形理想定义的新一类理想，将算术秩与投影维数的结果推广至单纯形理想。

提出的方法

• 将单纯形理想定义为与顶点集G上的单纯形复形Δ̃相关联的对(PG, Δ̃)，其中指定面并满足特定性质。
• 使用广义树（d-树）作为组合结构，以建模线性子空间与理想之间的交集。
• 构造理想PG为单个理想Ii与环形理想IΔ(F)之和的根，以确保与线性相接的一致性。
• 应用交换代数中的深度与上同调维数公式，特别利用[B-S] 19.5.3及关于Cohen–Macaulay环的结果。
• 利用如下事实：若每个Ii为stci（标准完备交），则当Δ(F)为d-树时，PG亦为stci。
• 利用根等式 rad(∑Ii + IΔ(F)) = PG，以确保理想正确捕捉相应的代数集。

实验结果

研究问题

• RQ1 在何种条件下，单纯形理想的算术秩等于其投影维数？
• RQ2 如何从其组合结构计算线性相接概形的深度与上同调维数？
• RQ3 由2-正则理想定义的约化代数集的连通维数为何？其与算术秩有何关系？
• RQ4 能否基于其分量结构构造有效算法以生成线性相接概形的方程？
• RQ5 在何种条件下，单纯形理想为标准完备交？

主要发现

• 对于任意具有2-线性分解的线性空间并集，有 ara(I) = projdim(S/I)，且该结果在任意域特征下均成立。
• 当底复形为广义树且每个Ii为stci时，单纯形理想满足 cd(I) = ara(I)。
• 对于此类理想，连通维数 c(S/I) 满足 c(S/I) = card(G) - ara(I) - 1，且在相同条件下等式成立。
• 当单纯形复形Δ(F)为d-树且每个Ii为stci时，理想PG为标准完备交。
• 理想PG为单个理想Ii与环形理想IΔ(F)之和的根，从而确保正确的几何实现。
• K[G]/PG的深度等于K[F]/IΔ(F)的深度，且该深度决定了算术秩与上同调维数。