---
title: Squarefree Principal Vector-Spread Borel Ideals
url: https://www.emergentmind.com/topics/squarefree-principal-vector-spread-borel-ideals
type: topic
---

# Squarefree Principal Vector-Spread Borel Ideals

Searching arXiv for the most relevant papers on squarefree principal vector-spread Borel ideals and closely related classes.
Squarefree principal vector-spread Borel ideals are principal \({\bf t}\)-spread strongly stable monomial ideals in which the spread vector \({\bf t}=(t_1,\dots,t_{d-1})\) has positive entries, so the generators are squarefree and satisfy position-dependent gap constraints. In the modern formulation, one works in \(S=K[x_1,\dots,x_n]\), fixes \({\bf t}\in \mathbb Z_{\ge 1}^{d-1}\), and starts from a \({\bf t}\)-spread monomial \(u=x_{j_1}\cdots x_{j_d}\) with \(j_{k+1}-j_k\ge t_k\); the associated principal ideal \(B_{\bf t}(u)\) is the smallest \({\bf t}\)-spread strongly stable ideal containing \(u\) [2507.07022]. This squarefree vector-spread framework specializes both ordinary strongly stable theory when \({\bf t}=\mathbf 0\) and squarefree strongly stable theory when \({\bf t}=\mathbf 1\) [2208.02181, 2302.07595]. Recent work develops a dedicated theory for the squarefree principal case, including minimal primary decomposition, sequential Cohen–Macaulayness, and a complete classification of when symbolic and ordinary powers coincide [2507.07022].

## 1. Definition and ambient framework

The ambient ring is the standard graded polynomial ring
\[
S=K[x_1,\dots,x_n].
\]
A monomial
\[
u=x_{j_1}x_{j_2}\cdots x_{j_\ell},\qquad 1\le j_1\le \cdots \le j_\ell\le n,
\]
is called \({\bf t}\)-spread, for \({\bf t}=(t_1,\dots,t_{d-1})\in \mathbb Z_{\ge 0}^{d-1}\), if
\[
j_{k+1}-j_k\ge t_k \qquad \text{for all } k=1,\dots,\ell-1.
\]
When \(t_i\ge 1\) for all \(i\), every \({\bf t}\)-spread monomial is squarefree [2507.07022, 2302.07595].

A monomial ideal \(I\subset S\) is a \({\bf t}\)-spread monomial ideal if every minimal generator is \({\bf t}\)-spread. It is \({\bf t}\)-spread strongly stable if for every \({\bf t}\)-spread monomial \(u\in I\), and any \(j<i\) such that \(x_i\mid u\) and \(x_j(u/x_i)\) is again \({\bf t}\)-spread, one has
\[
x_j(u/x_i)\in I.
\]
Given \({\bf t}\)-spread monomials \(u_1,\dots,u_m\), the notation
\[
B_{\bf t}(u_1,\dots,u_m)
\]
denotes the smallest \({\bf t}\)-spread strongly stable ideal containing them; when \(m=1\), \(B_{\bf t}(u)\) is a principal \({\bf t}\)-spread Borel ideal [2507.07022].

The general vector-spread theory was established for \({\bf t}\)-spread strongly stable ideals before the squarefree principal case was isolated. In that broader theory, \({\bf t}=\mathbf 0\) recovers classical strongly stable ideals, while \({\bf t}=\mathbf 1\) recovers squarefree strongly stable ideals [2208.02181]. A plausible summary is that squarefree principal vector-spread Borel ideals are the principal objects at the intersection of principal Borel closure, squarefreeness, and position-dependent spread constraints.

## 2. Principal generation and combinatorial support data

For a principal ideal
\[
I=B_{\bf t}(u),\qquad u=x_{j_1}\cdots x_{j_d},
\]
the minimal generators are obtained from \(u\) by admissible lowering moves that preserve the \({\bf t}\)-spread condition. The paper on principal vector-spread Borel ideals repeatedly uses the degree-\(d\) characterization that a monomial
\[
v=x_{i_1}\cdots x_{i_d}
\]
belongs to \(G(B_{\bf t}(u))\) exactly when the coordinates satisfy \(i_r\le j_r\) for all \(r\), together with the \({\bf t}\)-spread inequalities [2507.07022]. In the earlier general theory, principal ideals are likewise understood as closure under all decreasing moves \(x_i\mapsto x_j\) that preserve \({\bf t}\)-spreadness [2208.02181].

A central invariant in the squarefree principal theory is the \({\bf t}\)-spread support. If
\[
v=x_{i_1}\cdots x_{i_\ell}
\]
is \({\bf t}\)-spread, then
\[
supp_{\bf t}(v)=\bigcup_{s=1}^{\ell-1}[i_s,\; i_s+(t_s-1)].
\]
This differs from the ordinary support \(supp(v)=\{i_1,\dots,i_\ell\}\): it records the forbidden intervals induced by the spread constraints rather than only the chosen indices [2507.07022]. In the special case \(\mathbf t=\mathbf 1\), this collapses to the familiar squarefree strongly stable support pattern; in the general vector-spread resolution theory, the related set
\[
\operatorname{supp}_{\mathbf t}(u)=\bigcup_{i=1}^{\ell-1}[j_i,\; j_i+(t_i-1)]
\]
appears in the description of colon ideals and Betti numbers [2208.02181].

The squarefree principal paper also introduces a second family of subsets, denoted \(\mathcal G\), of the form
\[
supp_{\bf t}(x_{\ell_1}\cdots x_{\ell_{s-1}}x_{j_s})\cup [j_s+1,n],
\]
where \(x_{\ell_1}\cdots x_{\ell_{s-1}}x_{j_s}\) is a generator of a shorter principal vector-spread Borel ideal. These sets encode the non-generator facets of the Stanley–Reisner complex and are essential in the primary decomposition [2507.07022]. This suggests that the correct combinatorial object for the squarefree principal class is not merely the set of generators, but the pair consisting of \({\bf t}\)-spread supports and tail-augmented truncated supports.

## 3. Minimal primary decomposition and associated simplicial complex

The main structural theorem of the 2025 paper gives a complete minimal primary decomposition for squarefree principal vector-spread Borel ideals. For
\[
I=B_{\bf t}(u),
\]
one has
\[
B_{\bf t}(u)
=
\left(\bigcap_{G\in\mathcal G}P_{[n]\setminus G}\right)
\cap
\left(\bigcap_{v\in G(B_{\bf t}(u))}P_{[n]\setminus supp_{\bf t}(v)}\right),
\]
where \(P_A=(x_i:i\in A)\) and \(\mathcal G\) is the family of truncated-support-plus-tail subsets described above [2507.07022]. Since the ideals are squarefree, these are prime components, so the formula is simultaneously a minimal primary and minimal prime decomposition.

This decomposition is best understood through the Stanley–Reisner complex \(\Delta\) defined by \(I=I_\Delta\). The facets of \(\Delta\) are exactly the sets in
\[
\mathcal F(\Delta)=\mathcal G\cup \{supp_{\bf t}(v):v\in G(B_{\bf t}(u))\},
\]
so there are two facet types: generator facets coming from full \({\bf t}\)-spread supports, and tail facets coming from truncated generators extended by an interval \([j_s+1,n]\) [2507.07022]. This facet classification is the decisive combinatorial input for both homological and symbolic-power results.

An immediate corollary is the height formula
\[
height\,B_{\bf t}(u)=\min(u)=j_1
\]
for \(u=x_{j_1}\cdots x_{j_d}\) [2507.07022]. This matches the broader Borel-type pattern that height is governed by the smallest index appearing among principal generators; for \({\bf t}\)-spread strongly stable ideals more generally, the height formula
\[
\operatorname{height}(I)=\max\{\min(u):u\in G(I)\}
\]
was already known [2208.02181].

The decomposition theorem may be viewed as the vector-spread analogue of several earlier squarefree-principal results. For squarefree principal Borel ideals in the ordinary \(\mathbf 1\)-case, associated primes and stable sets can also be described explicitly from the principal generator and its localizations [1301.7152]. For \(t\)-spread principal Borel ideals, the facet structure of the associated simplicial complex had already been described in terms of interval unions of length \(t\) [1806.07828]. The vector-spread result generalizes that scalar-\(t\) interval-block picture by replacing uniform blocks with the nonuniform \({\bf t}\)-spread support.

## 4. Homological structure and sequential Cohen–Macaulayness

A central theorem states that every squarefree principal vector-spread Borel ideal is sequentially Cohen–Macaulay [2507.07022]. The proof is squarefree and Alexander-dual in character. For a squarefree monomial ideal \(I\), sequential Cohen–Macaulayness is equivalent to componentwise linearity of the Alexander dual \(I^\vee\). The paper proves that \(B_{\bf t}(u)^\vee\) is vertex splittable, hence has linear quotients, hence is componentwise linear, which yields the result.

The key recursive decomposition is
\[
B_{\bf t}(u)^{\vee} = x_1 B'_{\bf t}(u)^{\vee} + B_{{\bf t}'}'(u/x_{j_1})^{\vee},
\]
where \(B'_{\bf t}(u)=B_{\bf t}(u)\cap K[x_2,\ldots,x_n]\) and \({\bf t}'=(t_2,\ldots,t_{d-1})\) [2507.07022]. This is a vertex-splitting formula on the Alexander dual, obtained by decomposing the Stanley–Reisner complex according to whether a face contains the vertex \(1\). A corollary is that the simplicial complex \(\Delta\) with \(I_\Delta=B_{\bf t}(u)\) is vertex decomposable [2507.07022].

This homological behavior sits naturally within the broader vector-spread literature. Earlier work proved that every \({\bf t}\)-spread strongly stable ideal has linear quotients, hence is componentwise linear, with explicit colon ideals
\[
(u_1,\dots,u_{k-1}):u_k
=
\bigl(x_i : i\in [\max(u_k)-1]\setminus \operatorname{supp}_{\mathbf t}(u_k)\bigr)
\]
when generators are ordered in pure lexicographic order [2208.02181]. The same paper derived the graded Betti numbers
\[
\beta_{i,i+j}(I)
=
\sum_{u\in G(I)_j}
\binom{\max(u)-1-\sum_{l=1}^{j-1} t_l}{i}
\]
and classified the Cohen–Macaulay \({\bf t}\)-spread strongly stable ideals as precisely the \({\bf t}\)-spread Veronese ideals in the equigenerated case [2208.02181].

For squarefree principal vector-spread Borel ideals, this implies that the dedicated 2025 sequential Cohen–Macaulay theorem is consistent with a more general homological picture, but it is stronger in a different direction: it exploits the principal squarefree structure to obtain an explicit Alexander-dual recursion and primary decomposition unavailable in the general nonprincipal setting.

## 5. Ordinary powers, symbolic powers, and normal torsionfreeness

The strongest arithmetic classification in the squarefree principal theory concerns equality of ordinary and symbolic powers. For a squarefree monomial ideal
\[
I=P_{F_1}\cap \dots \cap P_{F_m},
\]
the symbolic powers are
\[
I^{(k)}=P_{F_1}^k\cap \dots \cap P_{F_m}^k.
\]
In general \(I^k\subseteq I^{(k)}\), and equality for all \(k\ge 1\) is equivalent to normal torsionfreeness [2507.07022].

For
\[
I=B_{\bf t}(u),\qquad u=x_{j_1}\cdots x_{j_d},
\]
the classification theorem states that the following are equivalent:
\[
\textup{(a)}\ I\ \text{is normally torsionfree},
\]
\[
\textup{(b)}\ I^{(k)}=I^k\ \text{for all integers }k\ge1,
\]
\[
\textup{(c)}\ j_i\le \sum_{s=1}^i t_s \text{ for all } i=1,\dots,d-1.
\]
Thus the ordinary and symbolic powers coincide for all \(k\) exactly when every coordinate of the principal generator sits no further to the right than the cumulative spread bound permits [2507.07022].

Condition (c) is tight. Since \({\bf t}\)-spreadness already imposes
\[
j_i\ge \sum_{s=1}^{i-1}t_s+1,
\]
the classification says that the generator must lie in the narrow range
\[
\sum_{s=1}^{i-1}t_s+1 \le j_i \le \sum_{s=1}^{i}t_s
\]
for each \(i<d\). The proof of necessity constructs an explicit monomial in \(I^{(2)}\setminus I^2\) whenever one of these inequalities fails, while sufficiency is obtained by combining the primary decomposition with a criterion of Sayedsadeghi–Nasernejad–Qureshi and a linear-relation-graph analysis [2507.07022].

This result sharply contrasts with other Borel-type families. For principal \(Q\)-Borel ideals \(Q(m)\), all symbolic powers equal ordinary powers:
\[
Q(m)^{(d)}=Q(m)^d \quad \text{for all } d\ge 1
\]
[2010.13889]. That phenomenon does not persist uniformly in squarefree principal vector-spread Borel ideals; instead, equality is exceptional and fully characterized by condition (c) [2507.07022]. In the constant-\(t\) case, there is an analogous but differently formulated normal-torsionfreeness criterion for \(t\)-spread principal Borel ideals: \(B_t(x_{i_1}\cdots x_{i_d})\) is normally torsionfree iff \(i_{d-1}\le (d-1)t\), equivalently iff it is the edge ideal of a \(d\)-uniform \(d\)-partite hypergraph [2106.10219]. The vector-spread theorem is the nonuniform counterpart of that scalar-\(t\) classification.

## 6. Related theories, special cases, and broader significance

Squarefree principal vector-spread Borel ideals sit at the intersection of several neighboring theories. When \({\bf t}=\mathbf 1\), they recover squarefree principal Borel ideals, for which persistence of associated primes, explicit stable sets, and Waldschmidt-constant bounds are known [1301.7152, 2105.07307]. When \({\bf t}=(t,\dots,t)\), they specialize to \(t\)-spread principal Borel ideals, where sequential Cohen–Macaulayness, normal Cohen–Macaulay Rees algebras, strong persistence, and asymptotic depth of powers were established earlier [1806.07828].

From the homological perspective, vector-spread Borel ideals in general have linear quotients, explicit Betti formulas, bigraded Poincaré series, a characterization of extremal Betti numbers, and a complete Cohen–Macaulay classification [2208.02181]. From the enumerative perspective, \({\bf t}\)-spread strongly stable ideals admit a Macaulay–Kruskal–Katona theory: each such ideal has an \(f_{\bf t}\)-vector, there is a unique \({\bf t}\)-spread lex ideal with the same \(f_{\bf t}\)-vector, and the \({\bf t}\)-spread lex ideal maximizes Betti numbers among ideals with that \(f_{\bf t}\)-vector [2302.07595]. These general results apply to the principal squarefree class once principality is forgotten.

The squarefree principal class is also distinguished by its explicit primary decomposition and symbolic-power classification, which are not available in the same form for arbitrary vector-spread strongly stable ideals [2507.07022]. A plausible implication is that principality restores enough rigidity to make combinatorial prime descriptions possible. In this respect the theory parallels earlier work on principal \(Q\)-Borel ideals and principal \(L\)-Borel ideals, where closure under a structured family of lowering moves likewise leads to unexpectedly explicit formulas for associated primes, analytic spread, or Rees algebras [2010.13889, 2008.09565].

One stated limitation is that the 2025 theory is squarefree: the authors explicitly leave open whether the sequential Cohen–Macaulay result extends to the non-squarefree setting [2507.07022]. This restriction is structural rather than cosmetic, since the proofs rely on Stanley–Reisner duality, vertex splittability, and squarefree prime decompositions. The squarefree condition is therefore intrinsic to the current state of the theory.

In summary, squarefree principal vector-spread Borel ideals form a rigid principal subclass of \({\bf t}\)-spread strongly stable ideals, characterized by a nonuniform spread vector and a single Borel generator. Their modern theory consists of three tightly connected ingredients: an explicit minimal prime decomposition via \({\bf t}\)-spread supports and tail facets, a recursive Alexander-dual splitting that yields sequential Cohen–Macaulayness, and a complete criterion
\[
j_i\le \sum_{s=1}^i t_s \quad (i=1,\dots,d-1)
\]
for equality of symbolic and ordinary powers [2507.07022]. These results place the class among the most tractable squarefree spread-constrained Borel families presently known.

Source: https://www.emergentmind.com/topics/squarefree-principal-vector-spread-borel-ideals