CONSTRUCTING NONPROXY SMALL TEST MODULES FOR THE COMPLETE INTERSECTION PROPERTY

DOI10.1017/NMJ.2021.7MaRDI QIDQ5078588zbMATH OpenOpenAlexFDO

Authors Benjamin Briggs, Eloísa Grifo, Josh Pollitz

Publication date 23 May 2022

Published in Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2009.11800

zbMATH Keywords

complete intersectionproxy smallsupport varietytest module

Mathematics Subject Classification ID

Derived categories and commutative rings (13D09) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This characterization can be extended to the bounded derived category $mathsf{D}^f(R)$, which contains only small objects if and only if $R$ is regular. Recent results of Pollitz, completing work initiated by Dwyer-Greenlees-Iyengar, yield an analogous characterization for complete intersections: $R$ is a complete intersection if and only if every object in $mathsf{D}^f(R)$ is proxy small. In this paper, we study a return to the world of $R$-modules, and search for finitely generated $R$-modules that are not proxy small whenever $R$ is not a complete intersection. We give an algorithm to construct such modules in certain settings, including over equipresented rings and Stanley-Reisner rings.

Recommendations

• The derived category of a locally complete intersection ring
• On complexes of finite complete intersection dimension
• Complete intersection dimension
• scientific article; zbMATH DE number 7408859
• scientific article; zbMATH DE number 701207
• Support varieties and cohomology over complete intersections
• Locally complete intersection maps and the proxy small property
• Complete intersection Hom injective dimension
• On test modules for flat dimension
• Lower complete intersection dimension over local homomorphisms

Cites work

• A Change of Ring Theorem with Applications to Poincaré Series and Intersection Multiplicity.
• Algèbre commutative
• Cellular approximations and the Eilenberg-Moore spectral sequence
• Cohen-Macaulay representations
• Cohomological supports over derived complete intersections and local rings
• Cohomology operators defined by a deformation
• Complete intersection dimension
• Derived categories, resolutions, and Brown representability
• Duality in algebra and topology
• Finiteness in derived categories of local rings
• Grothendieck groups and Picard groups of abelian group rings
• Homological algebra modulo a regular sequence with special attention to codimension two
• Homological Algebra on a Complete Intersection, with an Application to Group Representations
• Homological Dimension in Local Rings
• Homology of Noetherian rings and local rings
• Homology of perfect complexes
• scientific article; zbMATH DE number 3122457 (Why is no real title available?)
• scientific article; zbMATH DE number 4073961 (Why is no real title available?)
• scientific article; zbMATH DE number 1305007 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 3331603 (Why is no real title available?)
• Ideals generated by \(R\)-sequences
• Jacobian criteria for complete intersections. The graded case
• Local to global principles for generation time over commutative Noetherian rings
• Matrix factorizations in higher codimension
• Modules of finite virtual projective dimension
• Morita theory and singularity categories
• On complexes of finite complete intersection dimension
• Quasi-projective dimension
• Reflexivity and rigidity for complexes, I: Commutative rings
• Structure of local homomorphisms
• Support sets of pairs of modules.
• Support varieties and cohomology over complete intersections
• The chromatic tower for \(D(R)\). With an appendix by Marcel Bökstedt
• The derived category of a locally complete intersection ring
• Vasconcelos' conjecture on the conormal module

Cited in

(10)

• Exceptional complete intersection maps of local rings
• The derived category of a locally complete intersection ring
• Locally complete intersection maps and the proxy small property
• Cohomological jump loci and duality in local algebra
• Quasi-injective dimension
• Resolutions in local algebra and singularity theory. Abstracts from the workshop held February 5--11, 2023
• Bounds on cohomological support varieties
• Lifting (co)stratifications between tensor triangulated categories
• Properties of quasi-projective dimension over abelian categories
• The derived depth formula for modules of finite quasi-projective dimension

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: CONSTRUCTING NONPROXY SMALL TEST MODULES FOR THE COMPLETE INTERSECTION PROPERTY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5078588)