Showing 1–2 of 2 results for author: Levins, A S

Module-Theoretic Characterizations of Gorenstein Morphisms

Authors: Andrew Soto Levins, Prashanth Sridhar

Abstract: The Gorenstein property in local algebra admits several characterizations via its module category. The goal of this paper is to collect and generalize such characterizations to the relative setting, i.e., to Gorenstein morphisms as defined by [AF92]. We achieve this by proving these characterizations more generally for graded-commutative Gorenstein dg-algebras. The Gorenstein property in local algebra admits several characterizations via its module category. The goal of this paper is to collect and generalize such characterizations to the relative setting, i.e., to Gorenstein morphisms as defined by [AF92]. We achieve this by proving these characterizations more generally for graded-commutative Gorenstein dg-algebras. △ Less

Submitted 21 February, 2025; originally announced February 2025.

MSC Class: 13H10

A Rigidity Theorem for Ext

Authors: Andrew Soto Levins

Abstract: The goal of this paper is to show that if $R$ is an unramified hypersurface, if $M$ and $N$ are finitely generated $R$ modules, and if $\operatorname{Ext}_{R}^{n}(M,N)=0$ for some $n\leq\operatorname{grade}{M}$, then $\operatorname{Ext}_{R}^{i}(M,N)=0$ for $i\leq n$. A corollary of this says that $\operatorname{Ext}_{R}^{i}(M,M)\neq 0$ for $i\leq\operatorname{grade}{M}$ and $M\neq 0$. These result… ▽ More The goal of this paper is to show that if $R$ is an unramified hypersurface, if $M$ and $N$ are finitely generated $R$ modules, and if $\operatorname{Ext}_{R}^{n}(M,N)=0$ for some $n\leq\operatorname{grade}{M}$, then $\operatorname{Ext}_{R}^{i}(M,N)=0$ for $i\leq n$. A corollary of this says that $\operatorname{Ext}_{R}^{i}(M,M)\neq 0$ for $i\leq\operatorname{grade}{M}$ and $M\neq 0$. These results are related to a question of Jorgensen and results of Dao. △ Less

Submitted 3 March, 2022; originally announced March 2022.

MSC Class: 13D07 (Primary)