Showing 1–50 of 90 results for author: Iyengar, S B

The spectrum of local dualisable modular representations

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: For a point $\mathfrak{p}$ in the spectrum of the cohomology ring of a finite group $G$ over a field $k$, we calculate the spectrum for the subcategory of dualisable objects inside the tensor triangulated category of $\mathfrak{p}$-local and $\mathfrak{p}$-torsion objects in the (big) stable module category of the group algebra $kG$. For a point $\mathfrak{p}$ in the spectrum of the cohomology ring of a finite group $G$ over a field $k$, we calculate the spectrum for the subcategory of dualisable objects inside the tensor triangulated category of $\mathfrak{p}$-local and $\mathfrak{p}$-torsion objects in the (big) stable module category of the group algebra $kG$. △ Less

Submitted 25 May, 2025; originally announced May 2025.

Comments: 15 pages

MSC Class: 20C20 (primary); 18G80; 20J06 (secondary)

Homological properties of the module of differentials

Authors: Jürgen Herzog, Benjamin Briggs, Srikanth B. Iyengar

Abstract: These notes were produced by Jürgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then… ▽ More These notes were produced by Jürgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then the ring must be complete intersection. The notes present an accessible and self-contained account of the strongest results known at the time in connection with these problems; this includes a number of ideas that have not appeared elsewhere. In the last section, Herzog turns his attention to the cotangent complex, and conjectures himself that if the cotangent complex of a local ring has bounded homology groups, then the ring must be complete intersection. Among other results, he proves that the conjecture holds for local rings of characteristic zero over which all modules have rational Poincaré series. Sadly Jürgen Herzog passed away in April of 2024. The notes in this form have been prepared in his memory, newly typeset and lightly edited. A short appendix has been added to survey some of the results of the intervening decades. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Comments: To appear in a volume dedicated to Wolmer Vasconcelos

MSC Class: 13D07 (primary) 16E45; 13D02; 13D40 (secondary)

A freeness criterion for complexes with derived actions

Authors: Sylvain Brochard, Srikanth B. Iyengar, Chandrashekhar B. Khare

Abstract: Inspired by the patching method of Calegari and Geraghty, and a conjecture of de Smit that has been proved by the first author, we present a conjectural freeness criterion without patching for complexes over commutative noetherian local rings with derived actions, and verify it in several cases. Inspired by the patching method of Calegari and Geraghty, and a conjecture of de Smit that has been proved by the first author, we present a conjectural freeness criterion without patching for complexes over commutative noetherian local rings with derived actions, and verify it in several cases. △ Less

Submitted 18 February, 2025; originally announced February 2025.

Comments: 17 pages

MSC Class: 13C10 (primary); 13D02; 11F80 (secondary)

Proxy-small objects present compactly generated categories

Authors: Benjamin Briggs, Srikanth B. Iyengar, Greg Stevenson

Abstract: We develop a correspondence between presentations of compactly generated triangulated categories as localizations of derived categories of ring spectra and proxy-small objects, and explore some consequences. In addition, we give a characterization of proxy-smallness in terms of coproduct preservation of the associated corepresentable functor `up to base change'. We develop a correspondence between presentations of compactly generated triangulated categories as localizations of derived categories of ring spectra and proxy-small objects, and explore some consequences. In addition, we give a characterization of proxy-smallness in terms of coproduct preservation of the associated corepresentable functor `up to base change'. △ Less

Submitted 17 December, 2024; v1 submitted 11 November, 2024; originally announced November 2024.

Comments: 17 pages; minor changes and additions

MSC Class: 18G80; 13D09

Locally dualisable modular representations and local regularity

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of… ▽ More This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of interest is that they are exactly the modules whose restriction along a corresponding $π$-point are finite dimensional plus projective. A key insight is the identification of a special property of the stable module category that controls the cohomological behaviour of local dualisable objects. This property, introduced in this work for general triangulated categories and called local regularity, is related to strong generation. A major part of the paper is devoted to developing this notion and investigating its ramifications for various special classes of objects in tensor triangulated categories. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 34 pages

MSC Class: 20C20 (primary); 18G80; 20J06 (secondary)

Non-existence of Ulrich modules over Cohen-Macaulay local rings

Authors: Srikanth B. Iyengar, Linquan Ma, Mark E. Walker, Ziquan Zhuang

Abstract: Over a Cohen-Macaulay local ring, the minimal number of generators of a maximal Cohen-Macaulay module is bounded above by its multiplicity. In 1984 Ulrich asked whether there always exist modules for which equality holds; such modules are known nowadays as Ulrich modules. We answer this question in the negative by constructing families of two dimensional Cohen-Macaulay local rings that have no Ulr… ▽ More Over a Cohen-Macaulay local ring, the minimal number of generators of a maximal Cohen-Macaulay module is bounded above by its multiplicity. In 1984 Ulrich asked whether there always exist modules for which equality holds; such modules are known nowadays as Ulrich modules. We answer this question in the negative by constructing families of two dimensional Cohen-Macaulay local rings that have no Ulrich modules. Some of these examples are Gorenstein normal domains; others are even complete intersection domains, though not normal. △ Less

Submitted 12 March, 2025; v1 submitted 22 March, 2024; originally announced March 2024.

Comments: 13 pages. The Introduction has been expanded, and a few minor corrections have been made in the text. This is slated to appear in the Commun. Am. Math. Soc

MSC Class: 13C13 (primary); 13H10; 13C14; 14F06 (secondary)

Locally dualizable modules abound

Authors: Jon F. Carlson, Srikanth B. Iyengar

Abstract: It is proved that given any prime ideal $\mathfrak{p}$ of height at least 2 in a countable commutative noetherian ring $A$, there are uncountably many more dualizable objects in the $\mathfrak{p}$-local $\mathfrak{p}$-torsion stratum of the derived category of $A$ than those that are obtained as retracts of images of perfect $A$-complexes. An analogous result is established dealing with the stable… ▽ More It is proved that given any prime ideal $\mathfrak{p}$ of height at least 2 in a countable commutative noetherian ring $A$, there are uncountably many more dualizable objects in the $\mathfrak{p}$-local $\mathfrak{p}$-torsion stratum of the derived category of $A$ than those that are obtained as retracts of images of perfect $A$-complexes. An analogous result is established dealing with the stable module category of the group algebra, over a countable field of positive characteristic $p$, of an elementary abelian $p$-group of rank at least 3. △ Less

Submitted 4 January, 2024; originally announced January 2024.

Comments: 7 pages

MSC Class: 13D09 (primary); 18G80; 14F08 (secondary

Congruence modules in higher codimension and zeta lines in Galois cohomology

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning, Eric Urban

Abstract: This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence modules, and a more refined version of a result tracking the change of congruence modules under deformation is proved. Number theoretic applications include the const… ▽ More This work builds on earlier work of the first three authors where a notion of congruence modules in higher codimension is introduced. The main new results are a criterion for detecting regularity of local rings in terms of congruence modules, and a more refined version of a result tracking the change of congruence modules under deformation is proved. Number theoretic applications include the construction of canonical lines in certain Galois cohomology groups arising from adjoint motives of Hilbert modular forms. △ Less

Submitted 21 November, 2023; originally announced November 2023.

Comments: 22 pages

MSC Class: 11F80 (primary); 11F33; 13D02 (secondary)

Lattices over finite group schemes and stratification

Authors: Tobias Barthel, Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full subcategory of all $G$-modules projective over $R$ generated by the lattices. The stable category of such $G$-modules is a rigidly-compactly generated, tensor triang… ▽ More This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full subcategory of all $G$-modules projective over $R$ generated by the lattices. The stable category of such $G$-modules is a rigidly-compactly generated, tensor triangulated category. The main result is that this stable category is stratified and costratified by the natural action of the cohomology ring of $G$. Applications include formulas for computing the support and cosupport of tensor products and the module of homomorphisms, and a classification of the thick ideals in the stable category of lattices. △ Less

Submitted 14 October, 2023; v1 submitted 30 July, 2023; originally announced July 2023.

Comments: 35 pages. The Introductions, and sections 2 and 5 have been rewritten significantly

Report number: MPIM-Bonn-2023 MSC Class: 16G30 (primary); 18G80; 20C10; 20J06 (secondary)

High Frobenius pushforwards generate the bounded derived category

Authors: Matthew R. Ballard, Srikanth B. Iyengar, Pat Lank, Alapan Mukhopadhyay, Josh Pollitz

Abstract: This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a m… ▽ More This work concerns generators for the bounded derived category of coherent sheaves over a noetherian scheme $X$ of prime characteristic. The main result is that when the Frobenius map on $X$ is finite, for any compact generator $G$ of $\mathsf{D}(X)$ the Frobenius pushforward $F ^e_*G$ generates the bounded derived category whenever $p^e$ is larger than the codepth of $X$, an invariant that is a measure of the singularity of $X$. The conclusion holds for all positive integers $e$ when $X$ is locally complete intersection. The question of when one can take $G=\mathcal{O}_X$ is also investigated. For smooth projective complete intersections it reduces to a question of generation of the Kuznetsov component. △ Less

Submitted 13 April, 2023; v1 submitted 31 March, 2023; originally announced March 2023.

Comments: 31 pages. Minor edits

MSC Class: 14A30 (primary); 13A35; 14G17; 13D09

A class of Gorenstein algebras and their dualities

Authors: Wassilij Gnedin, Srikanth B. Iyengar, Henning Krause

Abstract: In the recent paper "The Nakayama functor and its completion for Gorenstein algebras", a class of Gorenstein algebras over commutative noetherian rings was introduced, and duality theorems for various categories of representations were established. The manuscript on hand provides more context to the results presented in the aforementioned work, identifies new classes of Gorenstein algebras, and ex… ▽ More In the recent paper "The Nakayama functor and its completion for Gorenstein algebras", a class of Gorenstein algebras over commutative noetherian rings was introduced, and duality theorems for various categories of representations were established. The manuscript on hand provides more context to the results presented in the aforementioned work, identifies new classes of Gorenstein algebras, and explores their behaviour under standard operations like taking tensor products and tilting. △ Less

Submitted 8 March, 2023; originally announced March 2023.

Comments: 34 pages. To appear in the Proceedings of ICRA 2020

MSC Class: 16GXX (Primary) 16E35; 16E65; 13H10 (Secondary)

Local dualisable objects in local algebra

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed. We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Comments: 15 pages

MSC Class: 13D09 (primary); 18G80; 14F08 (secondary)

Homological dimensions of the Jacobson radical

Authors: Xiao-Wu Chen, Srikanth B. Iyengar, René Marczinzik

Abstract: This work presents results on the finiteness, and on the symmetry properties, of various homological dimensions associated to the Jacobson radical and its higher syzygies, of a semiperfect ring. This work presents results on the finiteness, and on the symmetry properties, of various homological dimensions associated to the Jacobson radical and its higher syzygies, of a semiperfect ring. △ Less

Submitted 16 October, 2022; originally announced October 2022.

Comments: 12 pages

MSC Class: 16E10 (primary); 13D05 (secondary)

Lim Ulrich sequences and Boij-Söderberg cones

Authors: Srikanth B. Iyengar, Linquan Ma, Mark E. Walker

Abstract: This paper extends the results of Boij, Eisenbud, Erman, Schreyer, and Söderberg on the structure of Betti cones of finitely generated graded modules and finite free complexes over polynomial rings, to all finitely generated graded rings admitting linear Noether normalizations. The key new input is the existence of lim Ulrich sequences of graded modules over such rings. This paper extends the results of Boij, Eisenbud, Erman, Schreyer, and Söderberg on the structure of Betti cones of finitely generated graded modules and finite free complexes over polynomial rings, to all finitely generated graded rings admitting linear Noether normalizations. The key new input is the existence of lim Ulrich sequences of graded modules over such rings. △ Less

Submitted 29 September, 2024; v1 submitted 7 September, 2022; originally announced September 2022.

Comments: 26 pages. This is the final version of the article, which has now appeared in the Forum of Mathematics, Sigma

MSC Class: 13D02 (primary); 13A35; 13C14; 14F06 (secondary)

Journal ref: Forum of Mathematics, Sigma, Volume 11, 2023, e115

Freeness of Hecke modules at non-minimal levels

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

Abstract: We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_Σ),\mathcal{O})_{\mathfrak{m}_Σ}$ of arithmetic manifolds are free over certain deformation rings $R_Σ$, when there are enough geometric characteristic 0 representations. Hitherto we had proved that the homology group has a nonzero free $R_Σ$-direct summand. The new ingredient is a commutative alg… ▽ More We build on the results of [6] to show that the homology groups $\mathrm{H}_{r_1+r_2}(Y_0(\mathcal{N}_Σ),\mathcal{O})_{\mathfrak{m}_Σ}$ of arithmetic manifolds are free over certain deformation rings $R_Σ$, when there are enough geometric characteristic 0 representations. Hitherto we had proved that the homology group has a nonzero free $R_Σ$-direct summand. The new ingredient is a commutative algebra argument involving congruence modules defined in higher codimension in [6]. △ Less

Submitted 27 August, 2022; originally announced August 2022.

Comments: 12 pages

Report number: MPIM-Bonn-2022 MSC Class: 11F80 (primary); 13C10; 13D02 (secondary)

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Authors: Srikanth B. Iyengar, Chandrashekhar B. Khare, Jeffrey Manning

Abstract: We define a congruence module $Ψ_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $λ\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $λ$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of pos… ▽ More We define a congruence module $Ψ_A(M)$ associated to a surjective $\mathcal O$-algebra morphism $λ\colon A \to \mathcal{O}$, with $\mathcal{O}$ a discrete valuation ring, $A$ a complete noetherian local $\mathcal{O}$-algebra regular at $\mathfrak{p}$, the kernel of $λ$, and $M$ a finitely generated $A$-module. We establish a numerical criterion for $M$ to have a free direct summand over $A$ of positive rank. It is in terms of the lengths of $Ψ_A(M)$ and the torsion part of $\mathfrak{p}/\mathfrak{p}^2$. It generalizes results of Wiles, Lenstra, and Diamond, that deal with the case when the codimension of $\mathfrak{p}$ is zero. Number theoretic applications include integral (non-minimal) $R=\mathbb T$ theorems in situations of positive defect conditional on certain standard conjectures. Here $R$ is a deformation ring parametrizing certain Galois representations and $\mathbb T$ is a Hecke algebra. An example is a modularity lifting for 2-dimensional $\ell$-adic Galois representations over an imaginary quadratic field. The proofs combine our commutative algebra results with a generalization due to Calegari and Geraghty of the patching method of Wiles and Taylor--Wiles and level raising arguments that go back to Ribet. The results provide new evidence in favor of the intriguing, and as yet fledgling, torsion analog of the classical Langlands correspondence. We also prove unconditional integral $R=\mathbb T$ results for Hecke algebras $\mathbb T$ acting on weight one cohomology of Shimura curves over $\mathbb Q$. This leads to a torsion Jacquet--Langlands correspondence comparing integral Hecke algebras acting on weight one cohomology of Shimura curves and modular curves. In this case the cohomology has abundant torsion and so our correspondence cannot be deduced by means of the classical Jacquet--Langlands correspondence. △ Less

Submitted 29 September, 2024; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: 84 pages; various parts of the manuscript have been substantially changed. This article will appear in the Ivent. Math

Report number: MPIM-Bonn-2022 MSC Class: 11F80 (primary); 13C10; 13D02 (secondary)

Fibrewise stratification of group representations

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for the fibres of $A$ over the spectrum of $R$. Under certain natural conditions on the cohomology of $A$ over $R$, this yields a stratification of the stable catego… ▽ More Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for the fibres of $A$ over the spectrum of $R$. Under certain natural conditions on the cohomology of $A$ over $R$, this yields a stratification of the stable category. These results apply when $A$ is the group algebra over $R$ of a finite group, and also when $A$ is the exterior algebra on a finite free $R$-module. △ Less

Submitted 13 June, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 26 pages. Clarified connections to the work of Lau (arXiv:2101.01446). The introduction has been rewritten a little

MSC Class: 16G30 (primary); 18G80; 20C10; 20J06 (secondary)

Cohomological supports of tensor products of modules over commutative rings

Authors: Srikanth B. Iyengar, Josh Pollitz, William T. Sanders

Abstract: This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the supports of the modules. This generalizes, and gives another proof of, a result of Dao and the third author dealing with Tor-independent modules over complete in… ▽ More This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the supports of the modules. This generalizes, and gives another proof of, a result of Dao and the third author dealing with Tor-independent modules over complete intersection rings. The result for Koszul complexes has a broader applicability, including to exterior algebras over local rings. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: 15 pages. To appear in Res Math Sci

MSC Class: 13D02; 16E45 (primary); 13D07; 13H10 (secondary)

Exceptional complete intersection maps of local rings

Authors: Srikanth B. Iyengar, Janina C. Letz, Jian Liu, Josh Pollitz

Abstract: This work concerns surjective maps $\varphi\colon R\to S$ of commutative noetherian local rings with kernel generated by a regular sequence that is part of a minimal generating set for the maximal ideal of $R$. The main result provides criteria for detecting such exceptional complete intersection maps in terms of the lattices of thick subcategories of the derived category of complexes of finite le… ▽ More This work concerns surjective maps $\varphi\colon R\to S$ of commutative noetherian local rings with kernel generated by a regular sequence that is part of a minimal generating set for the maximal ideal of $R$. The main result provides criteria for detecting such exceptional complete intersection maps in terms of the lattices of thick subcategories of the derived category of complexes of finite length homology. A key input is a characterization of such maps in terms of the truncated Atiyah class of $\varphi$. △ Less

Submitted 23 April, 2022; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: 16 pages; added a missing hypothesis to Lemma 2.8, and minor changes to the proofs of Theorems 3.4 and 5.6. To appear in the Pacific Journal of Mathematics

MSC Class: 13B10 (primary); 13D09; 13D03 (secondary)

Journal ref: Pacific J. Math. 318 (2022) 275-293

Wiles defect for modules and criteria for freeness

Authors: Sylvain Brochard, Srikanth B. Iyengar, Chandrashekhar B. Khare

Abstract: F. Diamond proved a numerical criterion for modules over local rings to be free modules over complete intersection rings. We formulate a refinement of these results using the notion of Wiles defect. A key step in the proof is a formula that expresses the Wiles defect of a module in terms of the Wiles defect of the underlying ring. F. Diamond proved a numerical criterion for modules over local rings to be free modules over complete intersection rings. We formulate a refinement of these results using the notion of Wiles defect. A key step in the proof is a formula that expresses the Wiles defect of a module in terms of the Wiles defect of the underlying ring. △ Less

Submitted 18 February, 2022; v1 submitted 14 July, 2021; originally announced July 2021.

Comments: 15 pages; minor revision. To appear in the Int. Math. Res. Notices

MSC Class: 11F80 (primary); 13C99; 13F99 (secondary)

Maximal Cohen-Macaulay complexes and their uses: A partial survey

Authors: Srikanth B. Iyengar, Linquan Ma, Karl Schwede, Mark E. Walker

Abstract: This work introduces a notion of complexes of maximal depth, and maximal Cohen-Macaulay complexes, over a commutative noetherian local ring. The existence of such complexes is closely tied to the Hochster's ``homological conjectures", most of which were recently settled by André. Various constructions of maximal Cohen-Macaulay complexes are described, and their existence is applied to give new pro… ▽ More This work introduces a notion of complexes of maximal depth, and maximal Cohen-Macaulay complexes, over a commutative noetherian local ring. The existence of such complexes is closely tied to the Hochster's ``homological conjectures", most of which were recently settled by André. Various constructions of maximal Cohen-Macaulay complexes are described, and their existence is applied to give new proofs of some of the homological conjectures, and also of certain results in birational geometry. △ Less

Submitted 15 June, 2021; originally announced June 2021.

Comments: 20 pages

MSC Class: 13D02 (primary); 13D22; 13D45; 14E15; 14F18 (secondary)

Multiplicities and Betti numbers in local algebra via lim Ulrich points

Authors: Srikanth B. Iyengar, Linquan Ma, Mark E. Walker

Abstract: This work concerns finite free complexes with finite length homology over a commutative noetherian local ring $R$. The focus is on complexes that have length $\mathrm{dim}\, R$, which is the smallest possible value, and in particular on free resolutions of modules of finite length and finite projective dimension. Lower bounds are obtained on the Euler characteristic of such short complexes when… ▽ More This work concerns finite free complexes with finite length homology over a commutative noetherian local ring $R$. The focus is on complexes that have length $\mathrm{dim}\, R$, which is the smallest possible value, and in particular on free resolutions of modules of finite length and finite projective dimension. Lower bounds are obtained on the Euler characteristic of such short complexes when $R$ is a strict complete intersection, and also on the Dutta multiplicity, when $R$ is the localization at its maximal ideal of a standard graded algebra over a field of positive prime characteristic. The key idea in the proof is the construction of a suitable Ulrich module, or, in the latter case, a sequence of modules that have the Ulrich property asymptotically, and with good convergence properties in the rational Grothendieck group of $R$. Such a sequence is obtained by constructing an appropriate sequence of sheaves on the associated projective variety. △ Less

Submitted 19 September, 2021; v1 submitted 20 April, 2021; originally announced April 2021.

Comments: 40 pages; 1 figure. Some parts of the text have been substantially rewritten. This work will appear in Algebra and Number Theory

MSC Class: 13D40 (primary); 13A35; 13C14; 13D15; 14F06 (secondary)

Journal ref: Alg. Number Th. 16 (2022) 1213-1257

Automorphisms of the Koszul homology of a local ring

Authors: Srikanth B. Iyengar, Henrik Rüping, Marc Stephan

Abstract: This work concerns the Koszul complex $K$ of a commutative noetherian local ring $R$, with its natural structure as differential graded $R$-algebra. It is proved that under diverse conditions, involving the multiplicative structure of $H(K)$, any dg $R$-algebra automorphism of $K$ induces the identity map on $H(K)$. In such cases, it is possible to define an action of the automorphism group of… ▽ More This work concerns the Koszul complex $K$ of a commutative noetherian local ring $R$, with its natural structure as differential graded $R$-algebra. It is proved that under diverse conditions, involving the multiplicative structure of $H(K)$, any dg $R$-algebra automorphism of $K$ induces the identity map on $H(K)$. In such cases, it is possible to define an action of the automorphism group of $R$ on $H(K)$. On the other hand, numerous rings are described for which $K$ has automorphisms that do not induce the identity on $H(K)$. For any $R$, it is shown that the group of automorphisms of $H(K)$ induced by automorphisms of $K$ is abelian. △ Less

Submitted 30 May, 2022; v1 submitted 1 April, 2021; originally announced April 2021.

Comments: 21 pages; minor revision. To appear in the Journal of Commutative Algebra

MSC Class: Primary 13D02; Secondary 13A50

Rigidity properties of the cotangent complex

Authors: Benjamin Briggs, Srikanth B. Iyengar

Abstract: This work concerns maps $\varphi \colon R\to S$ of commutative noetherian rings, locally of finite flat dimension. It is proved that the André-Quillen homology functors are rigid, namely, if $\mathrm{D}_n(S/R;-)=0$ for some $n\ge 2$, then $\mathrm{D}_n(S/R;-)=0$ for all $n\ge 2$ and $\varphi$ is locally complete intersection. This extends Avramov's theorem that draws the same conclusion assuming… ▽ More This work concerns maps $\varphi \colon R\to S$ of commutative noetherian rings, locally of finite flat dimension. It is proved that the André-Quillen homology functors are rigid, namely, if $\mathrm{D}_n(S/R;-)=0$ for some $n\ge 2$, then $\mathrm{D}_n(S/R;-)=0$ for all $n\ge 2$ and $\varphi$ is locally complete intersection. This extends Avramov's theorem that draws the same conclusion assuming $\mathrm{D}_n(S/R;-)$ vanishes for all $n\gg 0$, confirming a conjecture of Quillen. The rigidity of André-Quillen functors is deduced from a more general result about the higher cotangent modules which answers a question raised by Avramov and Herzog, and subsumes a conjecture of Vasconcelos that was proved recently by the first author. The new insight leading to these results concerns the equivariance of a map from André-Quillen cohomology to Hochschild cohomology defined using the universal Atiyah class of $\varphi$. △ Less

Submitted 23 January, 2022; v1 submitted 25 October, 2020; originally announced October 2020.

Comments: 20 pages. Major revision; to appear in the Journal of the American Mathematical Society

MSC Class: 13D03 (primary); 13B10; 14A15; 14A30 (secondary)

Stratification and duality for unipotent finite supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the stable module category of a unipotent finite supergroup scheme. We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the stable module category of a unipotent finite supergroup scheme. △ Less

Submitted 20 October, 2020; originally announced October 2020.

MSC Class: 16G10 (primary); 20C20; 20G10 20J06; 18E30

A freeness criterion without patching for modules over local rings

Authors: Sylvain Brochard, Srikanth B. Iyengar, Chandrashekhar Khare

Abstract: It is proved that if $\varphi\colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $\mathrm{edim}\, A - \mathrm{edim}\, B$, is free over $B$, and $\varphi$ is a special type of complete intersection. This result is motivated by a "patching method" developed by Taylor and Wiles, and a conjec… ▽ More It is proved that if $\varphi\colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $\mathrm{edim}\, A - \mathrm{edim}\, B$, is free over $B$, and $\varphi$ is a special type of complete intersection. This result is motivated by a "patching method" developed by Taylor and Wiles, and a conjecture of de Smit, proved by the first author, dealing with the special case when $N$ is flat over $A$. △ Less

Submitted 17 November, 2021; v1 submitted 15 October, 2020; originally announced October 2020.

Comments: 11 page; minor changes in version 2. To appear in J. Inst. Math. Jussieu

MSC Class: 13C10 (primary); 13D02; 11F80 (secondary)

The Nakayama functor and its completion for Gorenstein algebras

Authors: Srikanth B. Iyengar, Henning Krause

Abstract: Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic complexes of such an algebra, akin to the local duality theorems of Grothendieck and Serre in the context of commutative algebra and algebraic geometry. A key ingred… ▽ More Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic complexes of such an algebra, akin to the local duality theorems of Grothendieck and Serre in the context of commutative algebra and algebraic geometry. A key ingredient is the Nakayama functor on the bounded derived category of a Gorenstein algebra, and its extension to the full homotopy category of injective modules. △ Less

Submitted 20 January, 2022; v1 submitted 12 October, 2020; originally announced October 2020.

Comments: 36 pages; there are significant changes from first version. This manuscript will appear in the Bulletin Soc. Math. France

MSC Class: 16G30 (primary); 13C60; 16E65; 13D45; 18G65 (secondary)

Dimension of finite free complexes over commutative Noetherian rings

Authors: Lars Winther Christensen, Srikanth B. Iyengar

Abstract: Foxby defined the (Krull) dimension of a complex of modules over a commutative Noetherian ring in terms of the dimension of its homology modules. In this note it is proved that the dimension of a bounded complex of free modules of finite rank can be computed directly from the matrices representing the differentials of the complex. Foxby defined the (Krull) dimension of a complex of modules over a commutative Noetherian ring in terms of the dimension of its homology modules. In this note it is proved that the dimension of a bounded complex of free modules of finite rank can be computed directly from the matrices representing the differentials of the complex. △ Less

Submitted 9 September, 2020; originally announced September 2020.

Comments: To appear in Contemp. Math,; 6 pp

MSC Class: {13D02 (primary); 13C15

Rank varieties and $π$-points for elementary supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We develop a support theory for elementary supergroup schemes, over a field of positive characteristic $p\ge 3$, starting with a definition of a $π$-point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and $π$-points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra $k[t,τ]/(t^p-τ^2)$, where $t$ has even… ▽ More We develop a support theory for elementary supergroup schemes, over a field of positive characteristic $p\ge 3$, starting with a definition of a $π$-point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and $π$-points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra $k[t,τ]/(t^p-τ^2)$, where $t$ has even degree and $τ$ has odd degree. The strength of the theory is demonstrated by classifying the parity change invariant localising subcategories of the stable module category of an elementary supergroup scheme. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Comments: 25 pages

MSC Class: 18G80; 13E10; 16W55; 16T05

Locally complete intersection maps and the proxy small property

Authors: Benjamin Briggs, Srikanth B. Iyengar, Janina C. Letz, Josh Pollitz

Abstract: It is proved that a map $\varphi\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory generated by $S$ as a module over the enveloping algebra $S\otimes_RS$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit o… ▽ More It is proved that a map $\varphi\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory generated by $S$ as a module over the enveloping algebra $S\otimes_RS$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit of the classical result that $\varphi$ is smooth if and only if $S$ is small as a bimodule, that is to say, it is itself equivalent to a perfect complex. The geometric analogue, dealing with maps between schemes, is also established. Applications include simpler proofs of factorization theorems for locally complete intersection maps. △ Less

Submitted 6 February, 2021; v1 submitted 16 July, 2020; originally announced July 2020.

Comments: V2: 19 pages, some substantial simplifications and clarifications, to appear in IMRN

MSC Class: 13B10 (primary); 13D09; 13D03; 14A15; 14A30 (secondary)

Persistence of homology over commutative noetherian rings

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Saeed Nasseh, Sean K. Sather-Wagstaff

Abstract: We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension or finite injective dimension. We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension or finite injective dimension. △ Less

Submitted 21 May, 2020; originally announced May 2020.

Comments: 23 pages

MSC Class: 13D07 (primary); 13D02; 13D40 (secondary)

Local duality for the singularity category of a finite dimensional Gorenstein algebra

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homog… ▽ More A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homogeneous prime ideal $\mathfrak{p}$ arising from the action of a commutative ring via Hochschild cohomology. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: 19 pages

MSC Class: 16G10 (primary); 16G50; 16E65; 16E35

Detecting nilpotence and projectivity over finite unipotent supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $x_K$ to $E$ is nilpotent. It i… ▽ More This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $x_K$ to $E$ is nilpotent. It is also shown that a $kG$-module $M$ is projective if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $M_K$ to $E$ is projective. The statements are motivated by, and are analogues of, similar results for finite groups and finite group schemes, but the structure of elementary supergroups schemes necessary for detection is more complicated than in either of these cases. One application is a detection theorem for the nilpotence of cohomology, and projectivity of modules, over finite dimensional Hopf subalgebras of the Steenrod algebra. △ Less

Submitted 6 July, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: 46 pages; Sections 12 on Z-graded group schemes and the Steenrod algebra is revised compared to the previous version

MSC Class: 16G10 (primary); 20C20; 20G10; 20J06 (secondary)

Openness of the regular locus and generators for module categories

Authors: Srikanth B. Iyengar, Ryo Takahashi

Abstract: This work clarifies the relationship between the openness of the regular locus of a commutative Noetherian ring R and the existence of generators for the category of finitely generated R-modules, the corresponding bounded derived category, and for the singularity category of R. This work clarifies the relationship between the openness of the regular locus of a commutative Noetherian ring R and the existence of generators for the category of finitely generated R-modules, the corresponding bounded derived category, and for the singularity category of R. △ Less

Submitted 10 August, 2018; originally announced August 2018.

Comments: 6 pages, To appear in Acta Mathematica Vietnamica, Special issue: The prospects for Commutative Algebra

MSC Class: 13D07; 13D09; 13D03; 16E30; 16E45

Rigid ideals in Gorenstein rings of dimension one

Authors: Craig Huneke, Srikanth B. Iyengar., Roger Wiegand

Abstract: We investigate the existence of ideals $I$ in a one-dimensional Gorenstein local ring $R$ satisfying $\mathrm{Ext}^{1}_{R}(I,I)=0$. We investigate the existence of ideals $I$ in a one-dimensional Gorenstein local ring $R$ satisfying $\mathrm{Ext}^{1}_{R}(I,I)=0$. △ Less

Submitted 3 April, 2018; originally announced April 2018.

Comments: 17 pages

MSC Class: 13D07 (primary); 13C14; 13C99

Restricting homology to hypersurfaces

Authors: Luchezar L. Avramov, Srikanth B. Iyengar

Abstract: This paper concerns the homological properties of a module $M$ over a commutative noetherian ring $R$ relative to a presentation $R\cong P/I$, where $P$ is local ring. It is proved that the Betti sequence of $M$ with respect to $P/(f)$ for a regular element $f$ in $I$ depends only on the class of $f$ in $I/\mathfrak{n} I$, where $\mathfrak{n}$ is the maximal ideal of $P$. Applications to the theor… ▽ More This paper concerns the homological properties of a module $M$ over a commutative noetherian ring $R$ relative to a presentation $R\cong P/I$, where $P$ is local ring. It is proved that the Betti sequence of $M$ with respect to $P/(f)$ for a regular element $f$ in $I$ depends only on the class of $f$ in $I/\mathfrak{n} I$, where $\mathfrak{n}$ is the maximal ideal of $P$. Applications to the theory of supports sets in local algebra and in the modular representation theory of elementary abelian groups are presented. △ Less

Submitted 9 May, 2018; v1 submitted 18 March, 2018; originally announced March 2018.

Comments: 17 pages. This version differs from the previous one only in Section 5, where the statement of Theorem 5.1 has changed. This paper will appear in "Geometric and topological aspects of the representation theory of finite groups", to be published by Springer in the series titled "Proceedings in Mathematics"

MSC Class: 13D07 (primary); 16E45; 13D02; 13D40 (secondary)

Regular rings and perfect(oid) algebras

Authors: Bhargav Bhatt, Srikanth B. Iyengar, Linquan Ma

Abstract: We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness of projective dimension of finitely generated modules over noetherian rings via maps to perfectoid rings. We also establish a version of the $p$-adic Kunz's th… ▽ More We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness of projective dimension of finitely generated modules over noetherian rings via maps to perfectoid rings. We also establish a version of the $p$-adic Kunz's theorem where the flatness hypothesis is relaxed to almost flatness. △ Less

Submitted 8 September, 2018; v1 submitted 8 March, 2018; originally announced March 2018.

Comments: 18 pages, add a secton to explain the almost version of the results

Big Cohen-Macaulay modules, morphisms of perfect complexes, and intersection theorems in local algebra

Authors: Luchezar L. Avramov, Srikanth B. Iyengar, Amnon Neeman

Abstract: There is a well known link from the first topic in the title to the third one. In this paper we thread that link through the second topic. The central result is a criterion for the tensor nilpotence of morphisms of perfect complexes over commutative noetherian rings, in terms of a numerical invariant of the complexes known as their level. Applications to local rings include a strengthening of the… ▽ More There is a well known link from the first topic in the title to the third one. In this paper we thread that link through the second topic. The central result is a criterion for the tensor nilpotence of morphisms of perfect complexes over commutative noetherian rings, in terms of a numerical invariant of the complexes known as their level. Applications to local rings include a strengthening of the Improved New Intersection Theorem, short direct proofs of several results equivalent to it, and lower bounds on the ranks of the modules in every finite free complex that admits a structure of differential graded module over the Koszul complex on some system of parameters. △ Less

Submitted 10 November, 2017; originally announced November 2017.

Comments: 16 pages

MSC Class: 13D22 (primary); 13D02; 13D09 (secondary)

Journal ref: Doc. Math. 23, 1601-1619 (2018)

Examples of finite free complexes of small rank and small homology

Authors: Srikanth B. Iyengar, Mark E. Walker

Abstract: This work concerns finite free complexes over commutative noetherian rings, in particular over group algebras of elementary abelian groups. The main contribution is the construction of complexes such that the total rank of their underlying free modules, or the total length of their homology, is less than predicted by various conjectures in the theory of transformation groups and in local algebra. This work concerns finite free complexes over commutative noetherian rings, in particular over group algebras of elementary abelian groups. The main contribution is the construction of complexes such that the total rank of their underlying free modules, or the total length of their homology, is less than predicted by various conjectures in the theory of transformation groups and in local algebra. △ Less

Submitted 9 May, 2018; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 13 pages. Version 2 is a significant revision of the first one. This paper will appear in Acta Mathematica

MSC Class: 13D02 (primary); 13D22; 55M35; 57S17 (secondary)

Koszul properties of the moment map of some classical representations

Authors: Aldo Conca, Hans-Christian Herbig, Srikanth B. Iyengar

Abstract: This work concerns the moment map $μ$ associated with the standard representation of a classical Lie algebra. For applications to deformation quantization it is desirable that $S/(μ)$, the coordinate algebra of the zero fibre of $μ$, be Koszul. The main result is that this algebra is not Koszul for the standard representation of $\mathfrak{sl}_{n}$, and of $\mathfrak{sp}_{n}$. This is deduced from… ▽ More This work concerns the moment map $μ$ associated with the standard representation of a classical Lie algebra. For applications to deformation quantization it is desirable that $S/(μ)$, the coordinate algebra of the zero fibre of $μ$, be Koszul. The main result is that this algebra is not Koszul for the standard representation of $\mathfrak{sl}_{n}$, and of $\mathfrak{sp}_{n}$. This is deduced from a computation of the Betti numbers of $S/(μ)$ as an $S$-module, which are of interest also from the point of view of commutative algebra. △ Less

Submitted 17 May, 2018; v1 submitted 7 May, 2017; originally announced May 2017.

Comments: Revised version. Differences to version 1: title slightly changed, comments added at the end, minor revisions

MSC Class: 13D02; 16S37; 53D20

Hopf algebra structures and tensor products for group algebras

Authors: Jon F. Carlson, Srikanth B. Iyengar

Abstract: The modular group algebra of an elementary abelian p-group is isomorphic to the restricted enveloping algebra of commutative restricted Lie algebra. The different ways of regarding this algebra result in different Hopf algebra structures that determine cup products on cohomology of modules. However, it is proved in this paper that the products with elements of the polynomial subring of the cohomol… ▽ More The modular group algebra of an elementary abelian p-group is isomorphic to the restricted enveloping algebra of commutative restricted Lie algebra. The different ways of regarding this algebra result in different Hopf algebra structures that determine cup products on cohomology of modules. However, it is proved in this paper that the products with elements of the polynomial subring of the cohomology ring generated by the Bocksteins of the degree one elements are independent of the choice of these coalgebra structures. △ Less

Submitted 14 December, 2016; originally announced December 2016.

Comments: 14 pages

MSC Class: 20J06 (primary); 20C20

Journal ref: New York Journal of Mathematics, Vol. 23, (2017) 351--364

Koszul Algebras Defined by Three Relations

Authors: Adam Boocher, S. Hamid Hassanzadeh, Srikanth B. Iyengar

Abstract: This work concerns commutative algebras of the form $R=Q/I$, where $Q$ is a standard graded polynomial ring and $I$ is a homogenous ideal in $Q$. It has been proposed that when $R$ is Koszul the $i$th Betti number of $R$ over $Q$ is at most $\binom gi$, where $g$ is the number of generators of $I$; in particular, the projective dimension of $R$ over $Q$ is at most $g$. The main result of this work… ▽ More This work concerns commutative algebras of the form $R=Q/I$, where $Q$ is a standard graded polynomial ring and $I$ is a homogenous ideal in $Q$. It has been proposed that when $R$ is Koszul the $i$th Betti number of $R$ over $Q$ is at most $\binom gi$, where $g$ is the number of generators of $I$; in particular, the projective dimension of $R$ over $Q$ is at most $g$. The main result of this work settles this question, in the affirmative, when $g\le 3$. △ Less

Submitted 3 May, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Comments: Minor corrections; a slightly modified version will appear in the Springer INdAM Volume in honor of Winfried Bruns

MSC Class: 13D02

Detecting finite flat dimension of modules via iterates of the Frobenius endomorphism

Authors: Douglas J. Dailey, Srikanth B. Iyengar, Thomas Marley

Abstract: It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and infinitely many $e$. This extends a result of Herzog, who proved it when $M$ is finitely generated, and strengthens a result of the third author and Webb in the case… ▽ More It is proved that a module $M$ over a Noetherian ring $R$ of positive characteristic $p$ has finite flat dimension if there exists an integer $t\ge 0$ such that $\operatorname{Tor}_i^R(M, {}^{f^{e}}\!R)=0$ for $t\le i\le t+\dim R$ and infinitely many $e$. This extends a result of Herzog, who proved it when $M$ is finitely generated, and strengthens a result of the third author and Webb in the case $M$ is arbitrary. It is also proved that when $R$ is a Cohen-Macaulay local ring, it suffices that the Tor vanishing holds for one $e\ge \log_{p}e(R)$, where $e(R)$ is the multiplicity of $R$. △ Less

Submitted 1 May, 2017; v1 submitted 1 December, 2016; originally announced December 2016.

Comments: To appear in Journal of Commutative Algebra

MSC Class: 13D05

Local duality for representations of finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme. A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme. △ Less

Submitted 14 July, 2017; v1 submitted 13 November, 2016; originally announced November 2016.

Comments: 24 pages. This version corrects a mistake in the statement of Theorem 3.1; see also Theorem 1.4, and Examples 3.6 and 3.7. References have been updated

MSC Class: 16G10 (primary); 20C20; 20G10 20J06; 18E30 (secondary)

Journal ref: Compositio Math. 155 (2019) 424-453

Rigidity of Ext and Tor with coefficients in residue fields of a commutative noetherian ring

Authors: Lars Winther Christensen, Srikanth B. Iyengar, Thomas Marley

Abstract: Let p be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies Tor^R_n(k(p),M) = 0 for some n \geq dim R_p, where k(p) is the residue field at p, then Tor^R_i(k(p),M) = 0 holds for all i \geq n. Similar rigidity results concerning Ext_R^*(k(p),M) are proved, and applications to the theory of homological dimensions are explored. Let p be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies Tor^R_n(k(p),M) = 0 for some n \geq dim R_p, where k(p) is the residue field at p, then Tor^R_i(k(p),M) = 0 holds for all i \geq n. Similar rigidity results concerning Ext_R^*(k(p),M) are proved, and applications to the theory of homological dimensions are explored. △ Less

Submitted 27 July, 2017; v1 submitted 10 November, 2016; originally announced November 2016.

Comments: Final version, to appear in Proc. Edinb. Math. Soc.; 15 pp

MSC Class: 13D07; 13D05

The Jacobian ideal of a commutative ring and annihilators of cohomology

Authors: Srikanth B. Iyengar, Ryo Takahashi

Abstract: It is proved that for a ring $R$ that is either an affine algebra over a field, or an equicharacteristic complete local ring, some power of the Jacobian ideal of $R$ annihilates $\mathrm{Ext}^{d+1}_{R}(-,-)$, where $d$ is the Krull dimension of $R$. Sufficient conditions are identified under which the Jacobian ideal itself annihilates these Ext-modules, and examples are provided that show that thi… ▽ More It is proved that for a ring $R$ that is either an affine algebra over a field, or an equicharacteristic complete local ring, some power of the Jacobian ideal of $R$ annihilates $\mathrm{Ext}^{d+1}_{R}(-,-)$, where $d$ is the Krull dimension of $R$. Sufficient conditions are identified under which the Jacobian ideal itself annihilates these Ext-modules, and examples are provided that show that this is not always the case. A crucial new idea is to consider a derived version of the Noether different of an algebra. △ Less

Submitted 3 August, 2018; v1 submitted 8 October, 2016; originally announced October 2016.

Comments: 12 pages; this version corrects minor typos in the first one. This paper will appear in the Journal of Algebra volume dedicated to Craig Huneke

MSC Class: 13D07 (Primary) 13D09; 13D03; 16E30; 16E45 (Secondary)

Noncommutative resolutions using syzygies

Authors: Hailong Dao, Osamu Iyama, Srikanth B. Iyengar, Ryo Takahashi, Michael Wemyss, Yuji Yoshino

Abstract: Given a noether algebra with a noncommutative resolution, a general construction of new noncommutative resolutions is given. As an application, it is proved that any finite length module over a regular local or polynomial ring gives rise, via suitable syzygies, to a noncommutative resolution. Given a noether algebra with a noncommutative resolution, a general construction of new noncommutative resolutions is given. As an application, it is proved that any finite length module over a regular local or polynomial ring gives rise, via suitable syzygies, to a noncommutative resolution. △ Less

Submitted 15 September, 2016; originally announced September 2016.

Comments: 5 pages

Colocalising subcategories of modules over finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications involve pi-points in the sense of Friedlander and Pevtsova. We identify for each pi-point an endofinite module which both generates the corresponding minimal loca… ▽ More The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications involve pi-points in the sense of Friedlander and Pevtsova. We identify for each pi-point an endofinite module which both generates the corresponding minimal localising subcategory and cogenerates the corresponding minimal colocalising subcategory. △ Less

Submitted 1 November, 2016; v1 submitted 2 April, 2016; originally announced April 2016.

Comments: 17 pages, final version to appear in Annals of K-Theory. The duality statement in Theorem 3.1 of v1 has been removed since it is incorrect, and some subsequent arguments were modified

MSC Class: 16G10 (primary); 18E30; 20C20; 20G10 20J06 (secondary)

Journal ref: Ann. K-Th. 2 (2017) 387-408

Stratification for module categories of finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning the structure of the stable module category and the behavior of support and cosupport under restriction and induction are presented. The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning the structure of the stable module category and the behavior of support and cosupport under restriction and induction are presented. △ Less

Submitted 6 July, 2017; v1 submitted 22 October, 2015; originally announced October 2015.

Comments: 38 pages. Minor changes from the previous version. This paper will appear in the Journal of the American Mathematical Society

MSC Class: 16G10 (primary); 20C20; 20G10 20J06 (secondary)

Tests for injectivity of modules over commutative rings

Authors: Lars Winther Christensen, Srikanth B. Iyengar

Abstract: It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully flat, then a module M such that Hom(F,M) is injective and Ext^i(F,M)=0 for all i\ge 1 is injective. A limited version of this characterization is also proved fo… ▽ More It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully flat, then a module M such that Hom(F,M) is injective and Ext^i(F,M)=0 for all i\ge 1 is injective. A limited version of this characterization is also proved for certain non-noetherian rings. △ Less

Submitted 15 June, 2016; v1 submitted 19 August, 2015; originally announced August 2015.

Comments: Updated bibliography. Final version to appear in Collect. Math.; 8 pp

MSC Class: 13C11; 13D05