For resolving subcategories satisfying a new condition (A), the level of a complex is always at least its resolution dimension plus its lowest nonzero cohomology degree plus one.
On the vanishing of Ext modules over a local unique factorization domain with an isolated singularity
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
This paper provides a method to get a noetherian equicharacteristic local UFD with an isolated singularity from a given noetherian complete equicharacteristic local ring, preserving certain properties. This is applied to invesitgate the (non)vanishing of Ext modules. It is proved that there exist a Gorenstein local UFD $A$ having an isolated singularity such that $\operatorname{Ext}_A^{\gg0}(M,N)=0$ does not imply $\operatorname{Ext}_A^{\gg0}(N,M)=0$, a Gorenstein local UFD $B$ having an isolated singularity such that $\operatorname{Tor}_{>0}^B(M,N)=0$ does not imply $\operatorname{depth}(M\otimes_B N)=\operatorname{depth} M+\operatorname{depth} N-\operatorname{depth} B$, and a Cohen-Macaulay local UFD $C$ having an isolated singularity such that $\operatorname{Ext}_C^{>0}(M,C)=0$ does not imply the total reflexivity of $M$.
citation-role summary
citation-polarity summary
fields
math.AC 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Lower bounds for levels of complexes by resolution dimensions
For resolving subcategories satisfying a new condition (A), the level of a complex is always at least its resolution dimension plus its lowest nonzero cohomology degree plus one.