2025-11-22T21:16:16.119142

Three invariants of geometrically vertex decomposable ideals

Nguyen, Rajchgot, Van Tuyl

We study three invariants of geometrically vertex decomposable ideals: the Castelnuovo-Mumford regularity, the multiplicity, and the $a$-invariant. We show that these invariants can be computed recursively using the ideals that appear in the geometric vertex decomposition process. As an application, we prove that the $a$-invariant of a geometrically vertex decomposable ideal is non-positive. We also recover some previously known results in the literature including a formula for the regularity of the Stanley--Reisner ideal of a pure vertex decomposable simplicial complex, and proofs that some well-known families of ideals are Hilbertian. Finally, we apply our recursions to the study of toric ideals of bipartite graphs. Included among our results on this topic is a new proof for a known bound on the $a$-invariant of a toric ideal of a bipartite graph.

academic

Three invariants of geometrically vertex decomposable ideals

基本信息

论文ID: 2311.08541
标题: Three invariants of geometrically vertex decomposable ideals
作者: Thái Thành Nguyễn, Jenna Rajchgot, Adam Van Tuyl
分类: math.AC (代数交换代数), math.CO (组合数学)
发表时间: 2023年11月14日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2311.08541

理论需求：几何顶点可分解理想具有天然的递归结构，这为研究其代数不变量提供了理想的归纳框架
应用价值：这类理想包括多个重要的理想族，如Schubert行列式理想和二分图的环面理想
方法创新：利用几何顶点分解的递归性质来计算代数不变量，提供了一种新的研究途径

现有方法局限性

传统的计算方法往往需要具体的理想表示或复杂的组合拓扑工具，而几何顶点分解提供了一种更统一和递归的方法。

核心贡献

建立了递归公式：为几何顶点可分解理想的三个重要不变量（正则性、重数、a-不变量）提供了递归计算公式
证明了a-不变量的非正性：证明了所有几何顶点可分解理想的a-不变量都是非正的，从而是"几乎Hilbertian"的
统一了已知结果：用新方法重新证明了多个已知结果，包括顶点可分解单纯复形正则性公式
应用于图论：将结果应用于二分图环面理想，得到了正则性、重数和a-不变量的新界和计算公式
引入C-饱和概念：定义了C-饱和几何顶点可分解理想，并证明其Hilbertian性质

方法详解

任务定义

研究几何顶点可分解理想 $I \subseteq R = K[x_1, \ldots, x_n]$ 的三个不变量：

Castelnuovo-Mumford正则性： $\text{reg}(R/I)$
重数： $e(R/I)$
a-不变量： $a(R/I)$

核心理论框架

几何顶点分解

对于理想 $I$ 和变量 $y$ ，几何顶点分解表示为： $\text{in}_y(I) = C_{y,I} \cap (N_{y,I} + \langle y \rangle)$

其中：

$C_{y,I} = \langle q_1, \ldots, q_m \rangle$ （C-理想）
$N_{y,I} = \langle q_i | d_i = 0 \rangle$ （N-理想）

h-多项式关系

定理2.4：如果分解是非退化的，则h-多项式满足： $h_{R/I}(t) = h_{R/N_{y,I}}(t) + t h_{R/C_{y,I}}(t)$

主要递归公式

定理1.1：设 $I$ 是几何顶点可分解理想，具有非退化几何顶点分解，则：

正则性： $\text{reg}(R/I) = \max\{\text{reg}(R/N_{y,I}), \text{reg}(R/C_{y,I}) + 1\}$
重数： $e(R/I) = e(R/N_{y,I}) + e(R/C_{y,I})$
a-不变量： $a(R/I) = \max\{a(R/N_{y,I}) + 1, a(R/C_{y,I}) + 1\}$

技术创新点

利用Cohen-Macaulay性质：几何顶点可分解理想都是Cohen-Macaulay的，使得 $\text{reg}(R/I) = \deg h_{R/I}(t)$
维数关系：在非退化情况下， $\dim(R/I) = \dim(R/C_{y,I}) = \dim(R/N_{y,I}) - 1$
递归结构：每次分解都将问题规模减少一个变量，提供了完整的归纳框架