Some extensions of theorems of Kn\"orrer and Herzog-Popescu

TL;DR

This paper extends classical theorems on syzygies of maximal Cohen-Macaulay modules over hypersurfaces, introduces a non-commutative hypersurface ring, and provides bounds on the stable module category dimension.

Contribution

It generalizes the structure of syzygies for modules over hypersurfaces and constructs a new non-commutative ring with periodic projective resolutions.

Findings

First syzygy of N/y^kN is an extension of N by its first syzygy.

Constructed a non-commutative hypersurface ring where modules have 2-periodic resolutions.

Provided upper bounds for the dimension of the stable module category of certain hypersurfaces.

Abstract

A construction due to Kn\"orrer shows that if $N$ is a maximal Cohen-Macaulay module over a hypersurface defined by $f+y^2$, then the first syzygy of $N/yN$ decomposes as the direct sum of $N$ and its own first syzygy. This was extended by Herzog-Popescu to hypersurfaces $f+y^n$, replacing $N/yN$ by $N/y^{n-1}N$. We show, in the same setting as Herzog-Popescu, that the first syzygy of $N/y^{k}N$ is always an extension of $N$ by its first syzygy, and moreover that this extension has useful approximation properties. We give two applications. First, we construct a ring $\Lambda^\#$ over which every finitely generated module has an eventually $2$-periodic projective resolution, prompting us to call it a "non-commutative hypersurface ring". Second, we give upper bounds on the dimension of the stable module category (a.k.a. the singularity category) of a hypersurface defined by a polynomial of the form $x_1^{a_1} + \dots + x_d^{a_d}$.