Arithmetical rank of strings and cycles

Ideals and multiplicative ideal theory in commutative rings (13A15) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

Abstract: Let

R

be a polynomial ring over a field

K

. To a given squarefree monomial ideal

I s u b s e t R

, one can associate a hypergraph

H (I)

. In this article, we prove that the arithmetical rank of

I

is equal to the projective dimension of

R / I

when

H (I)

is a string or a cycle hypergraph.

Review text

Let \(\mathbb{K}\) be a field and \(R=\mathbb{K}[x_1,\ldots,x_n]\) be the polynomial ring in \(n\) variables over \(\mathbb{K}\). For an ideal \(I\) of \(R\), the \textit{arithmetical rank} of \(I\) is denoted by \(\text{ara}(I)\) and is defined as the smallest integer \(u\) for which there exist \(q_1, \ldots, q_u\in R\) such that \(\sqrt{\langle q_1, \ldots,q_u\rangle}=\sqrt{I}\). To a given squarefree monomial ideal \(I\subseteq R\), one can associate a hypergraph \(\mathcal{H}(I)\), as follows. Assume that \(G(I)=\{m_1, \ldots, m_{\mu}\}\) denotes the set of minimal monomial generators of \(I\). Then the hypergraph \(\mathcal{H}(I)\) is defined as \[ \mathcal{H}(I)=\big\{\{j\in[\mu]: x_i|m_j\}: i=1, \ldots, n\big\}. \] In the paper under review, the authors prove that \(\text{ara}(I)=\text{pd}(R/I)\) when \(\mathcal{H}(I)\) is a string or a cycle hypergraph.

Recommendations

Cited in

(7)

This page was built for publication: Arithmetical rank of strings and cycles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q521354)