Search arXivSearch

arXiv · 2507.17097

On local rings of finite syzygy representation type

Abstract

Let $R$ be a commutative Noetherian local ring. We characterize when its completion has an isolated singularity, thereby strengthening the Dao-Takahashi refinement of the Auslander-Huneke-Leuschke-Wiegand theorem. We investigate the ascent and descent of finite and countable syzygy representation type along the canonical map from $R$ to its completion. One consequence is a complete affirmative answer to Schreyer's conjecture. We explore analogues of Chen's questions in the context of finite Cohen-Macaulay representation type over Cohen-Macaulay rings. The main result in this direction shows that if $R$ is Cohen-Macaulay and there are only finitely many non-isomorphic indecomposable maximal Cohen-Macaulay modules that are locally free on the punctured spectrum, then either $R$ is a hypersurface or every Gorenstein projective module is projective; moreover, every Gorenstein projective module over the completion of $R$ is a direct sum of finite generated ones. Finally, we study dominant local rings, introduced by Takahashi, under certain finite representation type conditions, and identify a new class of virtually Gorenstein rings.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Souvik Dey, Kaito Kimura, Jian Liu, Yuya Otake. 2025-12-27. On local rings of finite syzygy representation type. https://arxiv.org/abs/2507.17097

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Unified Common-Root and Interpolation Bounds Based on Leading Monomial Data

For general fields the footprint bound from Gröbner basis theory estimates the number of common affine roots of any set of multivariate polynomials using information on their leading monomials. In this paper we develop an interpolation bound with a similar flavor extending a previously known result for only a single polynomial to any prescribed number of polynomials. Surprisingly, our interpolation theorem and the footprint bound can be shown to be two sides of the same coin, solving similar problems, but for dual spaces. As discussed the footprint bound compares well with the improved Alon-Füredi bound and for finite fields the presented interpolation theorem is sharp. Our work can be viewed as a comment to a question raised by Tao in [Tao, 2014]

math.AC

Poincaré Duality and Quadratic Refinements over Laurent Rings

We develop a Poincaré duality theory for defects of nondegenerate sesquilinear pairings over Laurent polynomial rings. A key ingredient is a novel flat resolution of the character module, constructed from a triangulation of the sphere at infinity associated with a fan. The cup product on this resolution turns Poincaré duality on the sphere into canonical pairings between the resulting defect modules. In middle degrees, we construct distinguished quadratic refinements using equivariant cohomology of the sphere with the antipodal action. The effective replacement of the sphere with a projective space provides a geometric substitute for division by two. Applied to translation-invariant Pauli stabilizer codes, our results establish the nondegeneracy of higher-dimensional braiding pairings. They extend the two-dimensional T-junction formula for topological spin to higher dimensions, while giving it a geometric interpretation.

math.AC