arXiv subjects

Souvik Dey

Publications and source records attributed to Souvik Dey.

At least 19 recordsLinked to original sources

arXiv2026

Ranks of Verdier quotients of derived categories over local rings

Let $R$ be a commutative noetherian local ring with residue field $k$. Denote by $\operatorname{\mathsf{D^b}}(R)$ the bounded derived category of finitely generated $R$-modules. In this paper, we introduce the notion of ranks of triangulated categories and study Verdier quotients of $\operatorname{\mathsf{D^b}}(R)$ from the viewpoint of this invariant. Our main result determines the rank of the Verdier quotient $\operatorname{\mathsf{D^b}}(R)/\operatorname{\mathsf{thick}}(R\oplus k)$ in terms of the ranks of the categories of maximal Cohen-Macaulay modules on the punctured spectrum.

math.AC↗

arXiv2026

Computing global Ext for complexes

We give a computational algorithm for computing Ext groups between bounded complexes of coherent sheaves on a projective variety, and we describe an implementation of this algorithm in Macaulay2. In particular, our results yield methods for computing derived global sections of bounded complexes of coherent sheaves and mutations of exceptional collections.

math.AG↗

arXiv2026

Extremal behavior of ideals of minors

Let $(R,\mathfrak m,\mathsf k)$ be either a fiber product or an artinian stretched Gorenstein ring, with $\operatorname{ch}(\mathsf k)\neq 2$ in the latter case. We prove that the ideals of minors of the minimal free resolution of any finitely generated $R$-module are eventually 2-periodic. Moreover, if the embedding dimension of $R$ is at least 3, eventually the ideals of minors become the powers of the maximal ideal, yielding the 1-periodicity. These are analogs of results obtained over complete intersections and Golod rings by Brown, Dao, and Sridhar. We also study the transfer of periodicity between rings. Specifically, we prove that for any local ring $(R,\mathfrak m)$, if $x\in \mathfrak m$ is a super-regular element and $M$ is an $R/(x)$ module whose ideals of minors are asymptotically the powers of the maximal ideal over $R/(x)$, then the same holds for the ideals of minors of $M$ over $R$.

math.AC↗

arXiv2026

Some Remarks About Saturation of Ideals

In this paper we observe when saturation of ideals in a local ring R commutes with extension along ring maps and initial ideals. We give a characterization in terms of Cohen Macaulayness for when this happens along the map from R to R modulo its nilradical. We give several examples and non examples where this happens, and we demonstrate an application of this condition to epsilon multiplicity. Additionally, we show that saturation commutes with extension along a flat injection of local rings if and only if the closed fiber of the injection is Artinian.

math.AC↗

arXiv2026

Complexity and curvature of pairs of Burch modules and ideals

The complexity and curvature of a module were first introduced by Avramov to distinguish modules of infinite homological dimension. Later, Avramov-Buchweitz extended the notion of complexity from a single module to pairs of modules, measuring the polynomial growth rate of the minimal number of generators of their Ext-modules. By taking one of the modules in the pair to be the residue field, one recovers the standard projective and injective complexity of modules, whereas the vanishing of the complexity of a pair is equivalent to the eventual vanishing of Ext-modules, giving rise to the study of what are popularly known as Ext-pd and Ext-id test modules. Dao studied a similar notion of Tor-complexity. In the same vein, the vanishing of the Tor-complexity of pairs gives rise to Tor-pd test modules. On the other hand, the concept of Burch ideals was introduced by Dao-Kobayashi-Takahashi, motivated by the classical work of Burch, and subsequently extended to modules by Dey-Kobayashi. It follows from a result of Avramov that Burch modules exhibit extremal complexity and curvature. Moreover, Dey-Kobayashi and Ghosh-Saha showed, respectively, that Burch modules are Tor-pd and Ext-pd test, and that Burch ideals are Ext-id test. In this paper, we unify and significantly extend these two themes of extremal complexity and curvature, and Ext/Tor vanishing results of Burch modules. A key new ingredient in our proofs, particularly in dealing with Burch modules of depth zero, is the independence of the Burch property under embedding.

math.AC↗

arXiv2026

Cotorsion pairs, thick subcategories, and finitely generated Gorenstein projective modules

Let $R$ be a noetherian algebra over a Cohen--Macaulay ring $S$ admitting a canonical module $ω$, and assume that $R$ is maximal Cohen--Macaulay over $S$. We prove that the category of finitely generated Gorenstein projective $R$-modules coincides with the left $\mathrm Ext$-orthogonal class of the thick subcategory generated by $R$ and ${\mathrm Hom}_S(R,ω)$. As an application, finitely generated Gorenstein projective $R$-modules form the left half of a hereditary cotorsion pair. In the case of Cohen--Macaulay local rings, this yields an affirmative answer to a question of R. Takahashi. We further characterize when $R$ is left weakly Gorenstein. Finally, we prove that a Cohen--Macaulay local ring is Gorenstein if and only if the right $\mathrm Ext$-orthogonal class of finitely generated Gorenstein projective modules coincides with the category of finitely generated modules of finite projective dimension.

math.RA↗

arXiv2026

Finite homological dimension of Hom, vanishing of Ext, and applications to divisor class group

For finitely generated modules $M$ and $N $ over a commutative Noetherian local ring $R$, we give various sufficient criteria for detecting freeness of $M$ or $N$ via vanishing of some finitely many Ext modules $\textrm{Ext}^i_R(M,N)$ and finiteness of certain homological dimension of $\textrm{Hom}_R(M,N)$. Some of our results provide partial progress towards answering a question of Ghosh-Takahashi and also generalize their main results in many ways, for instance, by reducing the number of vanishing. Certain special cases of our results allow us to address the Auslander-Reiten conjecture for modules whose (self-) dual has finite projective dimension. Along the way, we establish a new characterization of $I$-Ulrich modules of Dao-Maitra-Sridhar which we then apply to provide a negative answer to a question of Gheibi-Takahashi concerning characteristic modules. Among other techniques, we introduce and study certain generalizations of the notion of residually faithful modules of Brennan-Vasconcelos and Goto-Kumashiro-Loan, which play a crucial role in our study. As some applications of our results, we provide affirmative answers to two questions raised by Tony Se on $n$-semidualizing modules. Namely, we show that over a local ring of depth $t$, every $(t-1)$-semidualizing module of finite G-dimension is free. Moreover, we establish that for normal domains which satisfy Serre's condition $(S_3)$ and are locally Gorenstein in codimension two, the class of $1$-semidualizing modules forms a subgroup of the divisor class group. These two groups coincide when, in addition, the ring is locally regular in codimension two.

math.AC↗

arXiv2026

Orlov's functors in Macaulay2

Given a commutative and graded Gorenstein ring $R$ with associated projective variety $X$, a theorem of Orlov gives fully faithful embeddings from the graded singularity category of $R$ to the derived category of $X$, or vice versa, depending on the degree of the canonical bundle of $X$. We describe algorithms for computing these embeddings that can be implemented in Macaulay2.

math.AC↗

arXiv2026

On Partial Trace Ideals

We investigate the notion of partial trace ideals, recently introduced by Maitra. We first establish several properties of partial trace ideals and give affirmative answers to questions posed by Maitra. We then study the invariant defined by the partial trace ideal of the canonical module, and obtain an upper bound that recovers one direction of a result of Kobayashi. Moreover, in the case of numerical semigroup rings generated by three elements, we provide an explicit formula for this invariant.

math.AC↗

arXiv2026

Rational symbolic powers of ideals

We introduce and study rational symbolic powers of ideals in Noetherian rings. We give membership criteria for rational symbolic powers and discuss settings where they agree with integer symbolic powers. We investigate the binomial expansion formula for rational symbolic powers of mixed sums of ideals. Finally, we study rational symbolic powers of monomial ideals. In this case, we give a convex-geometric description of the rational symbolic powers. We also show that the filtration of rational symbolic powers of a monomial ideal is asymptotically stable and, as a consequence, deduce that the asymptotic regularity and asymptotic depth for this filtration exist.

math.AC↗

arXiv2026

Complexity and curvature of (pairs of) Cohen-Macaulay modules, and their applications

The complexity and curvature of a module, introduced by Avramov, measure the growth of Betti and Bass numbers of a module, and distinguish the modules of infinite homological dimension. The notion of complexity was extended by Avramov-Buchweitz to pairs of modules that measure the growth of Ext modules. The related notion of Tor complexity was first studied by Dao. Inspired by these notions, we define Ext and Tor curvature of pairs of modules. The aim of this article is to study (Ext and Tor) complexity and curvature of pairs of certain CM (Cohen-Macaulay) modules, and establish lower bounds of complexity and curvature of pairs of modules in terms of that of a single module. It is known that among all modules, the residue field has maximal complexity and curvature, moreover they characterize complete intersection local rings. As applications of our results, we provide some upper bounds of the curvature of the residue field in terms of curvature and multiplicity of any nonzero CM module. As a final upshot, these allow us to characterize complete intersection local rings (including hypersurfaces and regular rings) in terms of complexity and curvature of pairs of certain CM modules. In particular, under some additional hypotheses, we characterize complete intersection and regular local rings via injective curvature of the ring and that of the module of Kähler differentials respectively. Thus, we make partial progress towards a question of Christensen-Striuli-Veliche, as well as another by Vasconcelos.

math.AC↗

arXiv2026

Test properties of some Cohen-Macaulay modules and criteria for local rings via finite vanishing of Ext or Tor

In this article, we show test properties, in the sense of finitely many vanishing of Ext or Tor, of CM (Cohen-Macaulay) modules whose multiplicity and number of generators (resp., type) are related by certain inequalities. We apply these test behaviour, along with other results, to characterize various kinds of local rings, including hypersurface rings of multiplicity at most two, surprisingly requiring only finitely many vanishing of Ext or Tor involving such CM modules. As further applications, we verify the long-standing (Generalized) Auslander-Reiten Conjecture for every CM module of minimal multiplicity over a Noetherian local ring, thus vastly extending a result of Huneke-Şega-Vraciu.

math.AC↗

arXiv2025

On local rings of finite syzygy representation type

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.

math.AC↗

arXiv2025

Quasi-homological dimensions with respect to semidualizing modules

Gheibi, Jorgensen and Takahashi recently introduced the quasi-projective dimension of a module over commutative Noetherian rings, a homological invariant extending the classic projective dimension of a module, and Gheibi later developed the dual notion of quasi-injective dimension. Takahashi and White in 2010 introduced the projective and injective dimension of a module with respect to a semidualizing module, which likewise generalize their classic counterparts. In this paper we unify and extend these theories by defining and studying the quasi-projective and quasi-injective dimension of a module with respect to a semidualizing module. We establish several results generalizing classic formulae such as the Auslander-Buchsbaum formula, Bass' formula, Ischebeck's formula, Auslander's depth formula and Jorgensen's dependency formula. Furthermore, we prove a special case of the Auslander-Reiten conjecture and investigate rigidity properties of Ext and Tor.

math.AC↗

arXiv2025

Generation of singularity categories and infinite injective dimension locus via annihilation of cohomologies

Let R be a commutative Noetherian ring. We establish a close relationship between the strong generation of the singularity category of R and the nonvanishing of the annihilator of the singularity category of R. As an application, we prove that the singularity category of R has a strong generator if and only if the annihilator of the singularity category of R is nonzero when R is a Noetherian domain with Krull dimension at most one. We introduce the notion of the co-cohomological annihilator of modules. If the category of finitely generated R-modules has a strong generator, we show that the infinite injective dimension locus of a finitely generated R-module M is closed, with the defining ideal given by the co-cohomological annihilator of M. Finally, we provide a connection between the existence of an extension generator of the category of finitely generated R-modules and the finiteness of the Krull dimension of R.

math.AC↗

arXiv2025

Analytic spread of binomial edge ideals

We investigate the analytic spread of binomial edge ideals of finite simple graphs. We provide tight bounds for this invariant in general. For special families of graphs (e.g., closed graphs, pseudo-forests), we compute the exact value for the analytic spread of the corresponding binomial edge ideals via combinatorial and convex geometric means.

math.AC↗

arXiv2025

Centers of Endomorphism Rings and Reflexivity

Let $R$ be a local ring and let $M$ be a finitely generated $R$-module. Appealing to the natural left module structure of $M$ over its endomorphism ring and corresponding center $Z(\operatorname{End}_R(M))$, we study when various homological properties of $M$ are sufficient to force $M$ to have a nonzero free summand. Consequences of our work include a partial converse to a well-known result of Lindo describing $Z(\operatorname{End}_R(M))$ when $M$ is faithful and reflexive, as well as some applications to the famous Huneke-Wiegand conjecture.

math.AC↗

arXiv2025

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↗