Homological invariants of powers of fiber products (Q2328156): Difference between revisions

In the present paper, authors studied asymptotic behaviers of powers of certain homogeneous ideals in a polynomial ring. Let \(R\) (resp.\ \(S\)) be a positive-dimensional polynomial ring over a field~\(k\) with homogeneous maximal ideal \(\mathfrak m\) (resp.\ \(\mathfrak n\)) and \(I \subset \mathfrak m^2\) (resp.\ \(J \subset \mathfrak n^2\)) a homogeneous ideal of \(R\) (resp.\ \(S\)). The fiber product of \(R/I\) and \(S/J\) over \(k\) is \[ R/I \times_k S/J = \{(f,g) \in R/I \times S/J \mid f \bmod \mathfrak m/I = g \bmod \mathfrak n/J\}. \] Let \(T = R \otimes_k S\) and \(F = IT + JT + \mathfrak m \mathfrak nT\). Then \(R/I \times_k S/J \cong R \otimes_k S/ (I, J, \mathfrak m \mathfrak n)\). We considered powers of \(F\). The first result concerns the Castelnuovo-Mumford regularity. We gave an equality \[ \operatorname{reg}_T F^s = \max\{\operatorname{reg}_R \mathfrak m^{s-i} I^i + s - i, \operatorname{reg}_S \mathfrak n^{s-i} J^i + s-i \mid i = 1, \dots, s\} \] for \(s \geq 1\) if (\#) \(\operatorname{char} k = 0\), or (\#\#) \(I\) and \(J\) are monomial ideals, or (\#\#\#) \(I^t\) and \(J^t\) are componentwise linear for \(i = 1\), \dots, \(s\). The second one shows \(\operatorname{depth} F^s = 1\) for \(s \geq 2\) if (\#) or (\#\#). The third result gives inequalities \[ \operatorname{ld}_T F^s \geq \max\{ \operatorname{ld}_R I^s, \operatorname{ld}_S J^s\} \] for \(s \geq 1\), and \[ \operatorname{ld}_T F^s \leq \max\{ \operatorname{ld}_R \mathfrak m^{s-i} I^i, \operatorname{ld}_S \mathfrak n^{s-i} J^i \mid i = 1, \dots, s\} \] for \(s \geq 1\) if (\#) or (\#\#) or (\#\#). Here, \(\operatorname{ld}_T F\) denotes the linearly defect of \(F\), introduced by \textit{J. Herzog} and \textit{S. Iyengar} [J. Pure Appl. Algebra 201, No. 1--3, 154--188 (2005; Zbl 1106.13011)].