Upper bounds for the arithmetical ranks of monomial ideals (Q447800): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On the number of equations defining certain varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Ideals Whose Radical Is a Monomial Ideal / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A generalization of a lemma by Schmitt and Vogel / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3739243 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Note on set-theoretic intersections of subvarieties of projective space / rank | |||
Normal rank |
Latest revision as of 15:22, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Upper bounds for the arithmetical ranks of monomial ideals |
scientific article |
Statements
Upper bounds for the arithmetical ranks of monomial ideals (English)
0 references
29 August 2012
0 references
Let \(S\) be a standard graded polynomial ring over a field \(k\). This paper concerns with the arithmetical ranks of ideals of \(S\) which are monomial. By definition, the arithmetical rank ara(\(I\)) of an ideal \(I\) is the minimal number of generators of the radical of \(I\). This is an important invariant which geometrically gives the number of equations needed to define a variety. In general, from Krull's principal ideal theorem, ara(\(I\)) \(\geq\) height \(I\) and the equality does not happen except for special cases. It is of interest to bound above the arithmetical rank. Sometimes a bound can be found via the lemma of T. Schmitt and W. Vogel: Lemma. Let \(R\) be a commutative ring with identity and \(Q\) a finite subset of elements of \(R\). Let \(Q_0,\dots,Q_r\) be subsets of \(Q\) such that (i) \(Q_0 \cup Q_1 \cup \dots \cup Q_r=Q\), (ii) \(Q_0\) has exactly one element; (iii) for each \(1\leq j \leq r\), if \(q,q''\) are distinct elements of \(Q_j\), then there is \(i<j\) and an element \(q'\in Q_i\) such that \(q\) divides \(qq''\). Set \(f_j= \sum_{q\in Q_j} q\). Then \(\sqrt{(Q)}=\sqrt{(f_0,\dots,f_r)}\). The author introduces several refinements of this lemma, and the relevant results of M. Barile. He gives many example showing that his results are more effective than the classical Schmitt-Vogel lemma; see, e.g., Example 3 in the paper.
0 references
arithmetical ranks of monomial ideals
0 references