Searcharxiv⌕ Search

arXiv subjects

Souvik Dey

Publications and source records attributed to Souvik Dey.

At least 37 records · Page 2Linked to original sources

Dévissage for generation in derived categories

We study a form of dévissage for generation in derived categories of Noetherian schemes. First, we extend a result of Takahashi from the affine context to the global setting, showing that the bounded derived category is classically generated by a perfect complex together with structure sheaves of closed subschemes supported on the singular locus. Second, we make an observation for how generation behaves under the derived pushforward of a proper surjective morphism between Noetherian schemes. These results enable us to explicitly identify strong generators for projective schemes with isolated singularities and for singular varieties over a perfect field.

math.AG↗

Govorov--Lazard and finite deconstructibility for Gorenstein and restricted homological dimensions

Over Cohen--Macaulay rings admitting a pointwise dualizing module, we show that the class of modules of restricted projective dimension bounded by any integer is finitely deconstructible and that the class of modules of restricted flat dimension bounded by any integer satisfies the Govorov-Lazard property. Along the way, we prove the corresponding result for Gorenstein projective and flat dimensions over (locally) Gorenstein rings. Outside of Cohen--Macaulay rings, we consider analogous properties for restricted projective dimension zero and restricted flat dimension zero and establish them for commutative noetherian rings of finite Krull dimension. This has consequences for the corresponding classes of finitely generated modules being preenveloping in certain cases and provides generalizations of Holm's results on structure of balanced big Cohen--Macaulay modules in various directions.

math.AC↗

Strong generation for module categories

This article investigates strong generation within the module category of a commutative Noetherian ring. We establish a criterion for such rings to possess strong generators within their module category, addressing a question raised by Iyengar and Takahashi. As a consequence, this not only demonstrates that any Noetherian quasi-excellent ring of finite Krull dimension satisfies this criterion, but applies to rings outside this class. Additionally, we identify explicit strong generators within the module category for rings of prime characteristic, and establish upper bounds on Rouquier dimension in terms of classical numerical invariants for modules.

math.AC↗

Closedness of the singular locus and generation for derived categories

This work is concerned with a relationship regarding the closedness of the singular locus of a Noetherian scheme and existence of classical generators in its category of coherent sheaves, associated bounded derived category, and singularity category. Particularly, we extend an observation initially made by Iyengar and Takahashi in the affine context to the global setting. Furthermore, we furnish an example a Noetherian scheme whose bounded derived category admits a classical generator, yet not every finite scheme over it exhibits the same property.

math.AG↗

Upper bounds for dimensions of singularity categories and their annihilators

Let $R$ be a commutative noetherian ring. Denote by $\operatorname{mod} R$ the category of finitely generated $R$-modules and by $\operatorname{D^b}(R)$ the bounded derived category of $\operatorname{mod} R$. In this paper, we first investigate localizations and annihilators of Verdier quotients of $\operatorname{D^b}(R)$. After that, we explore upper bounds for the dimension of the singularity category of $R$ and its (strong) generators. We extend a theorem of Liu to the case where $R$ is neither an isolated singularity nor even a local ring. Some of our results are more generally stated in terms of Spanier--Whitehead category of a resolving subcategory.

math.AC↗

Coherent functors, powers of ideals, and asymptotic stability

Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded ring with $S_{\underline{0}} = R$, and $\mathcal{M} $ be a finitely generated $\mathbb{Z}^r$-graded $S$-module. For $ \underline{n} = (n_1,\dots,n_r) \in \mathbb{N}^r$, set $G_{\underline{n}} := \mathcal{M}_{\underline{n}}$ or $G_{\underline{n}} := M/{\bf I}^{\underline{n}} N$, where ${\bf I}^{\underline{n}} = I_1^{n_1} \cdots I_r^{n_r}$. Suppose $F$ is a coherent functor on the category of finitely generated $R$-modules. We prove that the set $\rm{Ass}_R \big(F(G_{\underline{n}}) \big)$ of associate primes and $\rm{grade}\big(J, F(G_{\underline{n}})\big)$ stabilize for all $\underline{n} \gg 0$, where $J$ is a non-zero ideal of $R$. Furthermore, if the length $λ_R(F(G_{\underline{n}}))$ is finite for all $\underline{n} \gg 0$, then there exists a polynomial $P$ in $r$ variables over $\mathbb{Q}$ such that $λ_R(F(G_{\underline{n}})) = P(\underline{n})$ for all $\underline{n}\gg 0$. When $R$ is a local ring, and $G_{\underline{n}} = M/{\bf I}^{\underline{n}} N$, we give a sharp upper bound of the total degree of $P$. As applications, when $R$ is a local ring, we show that for each fixed $i \geq 0$, the $i$th Betti number $β_i^R(F(G_{\underline{n}}))$ and Bass number $μ^i_R(F(G_{\underline{n}}))$ are given by polynomials in $\underline{n}$ for all $\underline{n} \gg 0$. Thus, in particular, the projective dimension $\rm{pd}_R(F(G_{\underline{n}}))$ (resp., injective dimension $\rm{id}_R(F(G_{\underline{n}}))$) is constant for all $\underline{n}\gg 0$.

math.AC↗

When are syzygies of the residue field self-dual?

Finitely generated reflexive modules over commutative Noetherian rings form a key component of Auslander and Bridger's stable module theory and are likewise essential in the study of Cohen--Macaulay representations. Recently, H. Dao characterized Arf local rings as exactly those one-dimensional Cohen--Macaulay local rings over which every finitely generated reflexive module is self-dual, and raised the general question of characterizing rings over which every finitely generated reflexive module is self-dual. Motivated by this, in this article, we study the question of self-duality of syzygies of the residue field of a local ring when they are known to be reflexive. We show that for local rings of depth at least 2, the answer is given by hypersurface or regular local rings in most cases.

math.AC↗

On the projective dimension of tensor products of modules

In this paper, we consider finitely generated modules over commutative Noetherian rings whose tensor products have finite projective dimension. We construct examples of modules of infinite projective dimension (and also of infinite Gorenstein dimension) whose tensor products nonetheless have finite projective dimension. Furthermore, we establish nontrivial conditions under which such examples cannot arise. For example, we prove that if the tensor product of two nonzero modules--at least one of which is totally reflexive--has finite projective dimension, then both modules in question must have finite projective dimension.

math.AC↗

Openness with respect to levels in triangulated categories

Given a compactly generated triangulated category $\mathcal{T}$ equipped with an action of a graded-commutative Noetherian ring $R$, generalizing results of Letz, we prove a general result concerning the openness with respect to levels of compact objects in $\mathcal{T}$. Applications are given to derived categories of commutative Noetherian rings, derived categories of commutative Noetherian DG rings and singularity categories.

math.AC↗

Preservation for generation along the structure morphism of coherent algebras over a scheme

This work demonstrates classical generation is preserved by the derived pushforward along the structure morphism of a noncommutative coherent algebra to its underlying scheme. Additionally, we establish that the Krull dimension of a variety over a field is a lower bound for the Rouquier dimension of the bounded derived category associated with a noncommutative coherent algebra on it. This is an extension of a classical result of Rouquier to the noncommutative context.

math.AG↗

Vector space summands of lower syzygies

In this paper, we investigate problems concerning when the residue field $k$ of a local ring $(R,\frak m$, $k)$ appears as a direct summand of syzygy modules, from two perspectives. First, we prove that the following conditions are equivalent: (i) $k$ is a direct summand of second syzygies of all non-free finitely generated $R$-modules; (ii) $k$ is a direct summand of third syzygies of all non-free finitely generated $R$-modules; (iii) $k$ is a direct summand of $\frak m$. We also prove various consequences of these conditions. The second point of this article is to investigate for what artinian local rings $R$ the dual $E^*=Hom_R(E_R(k),R)$ of the injective envelope of the residue field, which is also a second syzygy, is a $k$-vector space. Using the notion of Eliahou-Kervaire resolution, we introduce a large class of artinian local rings that satisfy this condition.

math.AC↗

On splitting of morphisms induced by unit map of adjoint functors

Given a right adjoint functor between triangulated categories and an object in the target category, we show that the unit map of adjunction on that object is a split monomorphism if and only if the object belongs to the additive closure of (all possible) shifts of an object in the image of the functor. Applications to geometric context related to (derived) splinters and rational singularities are given.

math.AG↗

Homological dimensions, the Gorenstein property, and special cases of some conjectures

Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we investigate the impact of the finiteness of certain homological dimensions of $M$ if $R$ is local, mainly when $R$ is Cohen-Macaulay and with a partial focus on duals. Along the way, we produce various freeness criteria for modules. Finally, we give applications, including characterizations of when $R$ is Gorenstein (and other ring-theoretic properties as well, sometimes in the prime characteristic setting), particularly by means of its anticanonical module, and in addition we address special cases of some long-standing conjectures; for instance, we confirm the 1985 conjecture of Vasconcelos on normal modules in case the module of differentials is almost Cohen-Macaulay.

math.AC↗

On containment of trace ideals in ideals of finite homological dimension

Motivated by recent result of Pérez and R.G. on equality of test ideal of module closure operation and trace ideal, and the well-known result by Smith that parameter test ideal cannot be contained in parameter ideals, we study the obstruction of containment of trace ideals in ideals of finite projective (or injective) dimension. One of our results says that the trace ideal of any big Cohen--Macaulay module over a Gorenstein complete local domain cannot be contained in any ideal of finite projective dimension, thereby generalizing Smith's result in this case. As consequences of our results, we give upper bounds on $\mathfrak m$-adic order of trace ideals of certain modules over local Cohen--Macaulay rings. We also prove analogous results for ideal of entries of maps in a free resolution of modules.

math.AC↗

Ulrich split rings

A local Cohen--Macaulay ring is called Ulrich-split if any short exact sequence of Ulrich modules split. In this paper we initiate the study of Ulrich split rings. We prove several necessary or sufficient criteria for this property, linking it to syzygies of the residue field and cohomology annihilator. We characterize Ulrich split rings of small dimensions. Over complex numbers, $2$-dimensional Ulrich split rings, which are normal and have minimal multiplicity, are precisely cyclic quotient singularities with at most two indecomposable Ulrich modules up to isomorphism. We give several ways to construct Ulrich split rings, and give a range of applications, from test ideal of the family of maximal Cohen--Macaulay modules, to detecting projective/injective modules via vanishing of $\operatorname{Ext}$.

math.AC↗

Two theorems on the vanishing of Ext

We prove two theorems on the vanishing of Ext over commutative Noetherian local rings. Our first theorem shows that there are no Burch ideals which are rigid over non-regular local domains. Our second theorem reformulates a conjecture of Huneke-Wiegand in terms of the vanishing of Ext, and highlights its relation with the celebrated Auslander-Reiten conjecture. We also discuss several consequences of our results, for example, about the rigidity of the Frobenius endomorphism in prime characteristic p and a generalization of a result of Araya.

math.AC↗

Test ideal restricted to principal ideals and connections to trace ideals

Motivated by some recent results of F. Pérez and R. R.G connecting test ideal of module closure operations and trace ideals, we investigate the test ideal restricted to principal ideals corresponding to a module closure operation of a torsion-free module $M$. We show that such a test ideal is always a trace ideal, and moreover when $M$ is torsionless and faithful, then it is the trace of the center of $\operatorname{End}_R(M)$. Some applications are given.

math.AC↗

Exact subcategories, subfunctors of $\operatorname{Ext}$, and some applications

Let $(\mathcal{A},\mathcal{E})$ be an exact category. We establish basic results that allow one to identify sub(bi)functors of $\operatorname{Ext}_{\mathcal{E}}(-,-)$ using additivity of numerical functions and restriction to subcategories. We also study a small number of these new functors over commutative local rings in details, and find a range of applications from detecting regularity to understanding Ulrich modules.

math.CT↗