2019/05/27 by Andrew R. Kustin, Kustin, Andrew R.
Computer Science · Mathematics · #13D02 #16E45 #Algebraic structures and combinatorial models #Commutative Algebra (math.AC) #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation
paper · pdf · doi:10.48550/arxiv.1905.11435
openalex publication_date 2019/05/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let P be a commutative Noetherian ring, K be an ideal of P which is generated by a regular sequence of length four, f be a regular element of P, and Pbar be the hypersurface ring P/(f). Assume that K:f is a grade four Gorenstein ideal of P. We give a resolution N of Pbar/K Pbar by free Pbar-modules. The resolution N is built from a Differential Graded Algebra resolution of P/(K:f) by free P-modules, together with one homotopy map. In particular, we give an explicit form for the matrix factorization which is the infinite tail of the resolution N.