Canonical modules and class groups of Rees-like algebras (Q6164754)

Let \(S = k[x_1,\ldots,x_n]\) the polynomial ring in \(n\) variables over the field \(k\). For a homogeneous ideal \(I = (f_1,\ldots,f_m)\) the Rees-like algebra is defined by \(S[It, t^2] \subset S[t]\), where \(t\) is a variable. Let \(T = S[y_1,\ldots,y_m,z]\) be the non-standard graded polynomial ring with a natural map \(T \to S[It, t^2]\), where the grading is given by \(\deg y_i = deg f_i +1, \deg z = 2\). Let \(Q\) denote its kernel. Then there is an expression of the canonical module \(\omega_{T/Q} = \operatorname{Ext}^c_T(T/Q,T), c = \operatorname{codim} Q\). Via a concrete computation based on linkage, the authors provide an explicit, well-structured resolution of the canonical module in terms of a type of double-Koszul complex. Additionally, they give descriptions of both the divisor class group and the Picard group of a Rees-like algebra. Note that Rees-like algebra were introduced by Peeva and the second author (see [\textit{J. McCullough} and \textit{I. Peeva}, J. Am. Math. Soc. 31, No. 2, 473--496 (2018; Zbl 1390.13043)])