Simplicial join via tensor product (Q930585): Difference between revisions

Let \(k\) be a field, \(A\) and \(B\) finitely generated (standard graded) \(k\)-algebras, and \(M\) and \(N\) finitely generated (graded) modules over \(A\) and \(B\) respectively. In this paper, the authors prove several results of the following type, or its variances: ``\(M \bigotimes_k N\) is \({\mathcal P}\) as a \(A\bigotimes_k B\)-module if (or, if and only if) \(M\) and \(N\) are \({\mathcal P}\) over \(A\) and \(B\) respectively'' where \({\mathcal P}\) denotes a property of the module. As the properties \({\mathcal P}\), the authors considers ``Cohen-Macaulay''(Theorem~2.6), ``generalized Cohen-Macaulay'' (Theorem~2.6), ``Buchsbaum''(Theorem~2.6),``approximately Cohen-Macaulay''(Theorem~2.17), ``almost Cohen-Macaulay''(Theorem~2.17)), ``sequentially Cohen-Macaulay'' (Theorem~2.11), ``clean''(Theorem~3.3), and ``pretty clean''(Theorem~4.7). Some of the results are generalization of corresponding previous results on simplicial join of Stanley-Reisner ring, and ``clean'' and ``pretty clean'' are the algebraic counterparts of shellability of simplicial complex and simplicial multicomplex. Instances of these results contain recovery and improvements of the previous results on monomial ideals. For example, the authors show that the simplicial join of two shellable simplicial multicomplexes is shellable precisely when both of them are shellable (Corollary~4.8).