Multigraded regularity, reduction vectors and postulation vectors (Q2404937)

From MaRDI portal
Revision as of 09:56, 14 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Multigraded regularity, reduction vectors and postulation vectors
scientific article

    Statements

    Multigraded regularity, reduction vectors and postulation vectors (English)
    0 references
    0 references
    21 September 2017
    0 references
    If \(I\) is an ideal in a local noetherian ring \((R, \mathfrak{m})\), by work of \textit{A. Ooishi} [Hiroshima Math. J. 17, 47--66 (1987; Zbl 0625.13015)] and \textit{M. Johnson} and \textit{B. Ulrich} [Compos. Math. 103, No. 1, 7--29 (1996; Zbl 0866.13001)], it is known that the Rees algebra \(R[It]\) and the associated graded ring \(G(I)=\bigoplus_{n \geq 0} I^n/I^{n+1}\) have the same Castelnuovo-Mumford regularity. Moreover, if \(I\) is \(\mathfrak{m}\)-primary with minimal reduction \(J\) and \(d=\dim R \geq 1\), \textit{Ngô Viêt Trung} [Trans. Am. Math. Soc. 350, No. 7, 2813--2832 (1998; Zbl 0899.13002)] showed that \[ a_d + d \leq r_J(I) \leq \max\{ a_i + i \mid i=0,\ldots, d \}, \] where \(r_J(I)\) is the reduction number of \(I\) with respect to \(J\) and \(a_i=\max \{ n \mid [H^i_{G(I)^{+}}(G(I))]_n \neq 0 \}\). Using an analogue of the Castelnuovo-Mumford regularity for multigraded modules that was introduced by \textit{D. Maclagan} and \textit{G. G. Smith} [J. Reine Angew. Math. 571, 179--212 (2004; Zbl 1062.13004)], the author establishes in the multigraded case results that are analogue to the ones mentioned above. In particular, if \((R, \mathfrak{m})\) is a local ring of dimension \(d \geq 1\) with infinite residue field and \(I_1,\ldots, I_s\) is a family of \(\mathfrak{m}\)-primary ideals, then the multigraded Rees algebra \(R[I_1t_1,\ldots, I_s t_s]\) and the associated multigraded ring \(G(\mathbf{I})=\bigoplus_{n_1,\ldots, n_s \geq 0} I^{n_1}\cdots I_s^{n_s}/ I^{n_1+1}\cdots I_s^{n_s+1} \) have the same multigraded Castelnuovo-Mumford regularity.
    0 references
    multigraded filtrations
    0 references
    multigraded regularity
    0 references
    joint reductions
    0 references
    complete reductions
    0 references
    local cohomology modules
    0 references
    filter-regular sequence
    0 references
    multi-Rees algebra
    0 references
    associated multigraded ring
    0 references
    postulation vectors
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references