Powers of sums and their homological invariants (Q1730862): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 06:42, 1 February 2024

scientific article
Language Label Description Also known as
English
Powers of sums and their homological invariants
scientific article

    Statements

    Powers of sums and their homological invariants (English)
    0 references
    0 references
    0 references
    6 March 2019
    0 references
    Let \(R\) and \(S\) be standard graded \(k\)-algebras, and \(I\) and \(J\) non-zero, proper homogeneous ideals of \(R\) and \(S\), respectively. Denote by \(P\) the mixed sum of \(I\) and \(J\), that is the sum \(I+J \subseteq T=R\otimes_k S\), where \(I\) and \(J\) are regarded as ideals of \(T\). The authors investigate in the paper several important homological invariants of powers of \(P\), including the projective dimension, regularity and linearity defect, in terms of the information about \(I\) and \(J\). In particular, it is proved in the paper that if \(R\) and \(S\) are polynomial rings over \(k\) and either \(\mathrm{char}k=0\) or \(I\) and \(J\) are monomial ideals then for each \(s\geq1\) there are qualities: \[ \mathrm{depth }T/P^s=\min_{i\in[1,s-1], j\in[1,s]}\{\mathrm{depth }R/I^{s-i}+\mathrm{depth }S/J^{i}+1,\mathrm{ depth }R/I^{s-j+1}+\mathrm{depth }S/J^{i}\} \] and \[ \mathrm{reg }T/P^s=\max_{i\in[1,s-1], j\in[1,s]}\{\mathrm{reg }R/I^{s-i}+\mathrm{reg }S/J^{i}+1, \mathrm{reg }R/I^{s-j+1}+\mathrm{reg }S/J^{i}\}. \]
    0 references
    0 references
    powers of ideals
    0 references
    sum of ideals
    0 references
    depth
    0 references
    regularity
    0 references
    Castelnuovo-Mumford regularity
    0 references
    linearity defect
    0 references

    Identifiers