Embeddings of canonical modules and resolutions of connected sums (Q1672024): Difference between revisions

Let \(S\) be a Cohen-Macaulay ring with a canonical module \(\omega_S\). If \(S\) is generically Gorenstein then \(\omega_S\) can be identified with an ideal of \(S\) (i.e. \(\omega_S\) embeds into \(S\)). In this paper the authors treat the case \(S=R/I_{m,n}\) where \(R\) is a polynomial ring in \(n\) variables over a field \(k\) and \(I_{m,n}\) is the ideal of \(R\) generated by all squarefree monomials of degree \(m\). In Theorem 5.5 the authors give an explicit construction of the embedding of the canonical module \(\omega_{R/I_{m,n}}\) into \(R/I_{m,n}\). Section 6 of the paper is devoted to the case \(m=2\) for which another graded embedding of \(\omega_{R/I_{2,n}}\) into \(R/I_{m,n}\) is given (see Theorem 6.1). As a consequence, the authors give a construction of a resolution of a connected sum of several copies of \(S_i=k[x]/(x^{e_i+1})\) over \(k\) in Corollary 6.3.