Showing 1–21 of 21 results for author: Pollitz, J

The embedded deformation problem for monomial ideals

Authors: Benjamin Briggs, Eloísa Grifo, Josh Pollitz

Abstract: This article is concerned with homological properties of local or graded rings whose defining relations are monomials on some regular sequence. The main result of the article positively answers a question of Avramov for such a ring $R$. More precisely, we establish that an embedded deformation of $R$ corresponds exactly to a degree two central element in the homotopy Lie algebra of $R$, as well as… ▽ More This article is concerned with homological properties of local or graded rings whose defining relations are monomials on some regular sequence. The main result of the article positively answers a question of Avramov for such a ring $R$. More precisely, we establish that an embedded deformation of $R$ corresponds exactly to a degree two central element in the homotopy Lie algebra of $R$, as well as a free summand of the conormal module of $R$. A major input in the proof is an analysis of cohomological support varieties. Other main results include establishing a lower bound for the dimension of the cohomological support variety of any complex over such rings, and classifying all possible subvarieties of affine $n$-space that are the cohomological support of rings defined by $n$ monomial relations where $n$ is five or less. △ Less

Submitted 12 June, 2025; originally announced June 2025.

MSC Class: Primary: 13D09. Secondary: 13C15; 13D02; 13D07; 13H10; 14M10; 16E45

Classifying thick subcategories over a Koszul complex via the curved BGG correspondence

Authors: Jian Liu, Josh Pollitz

Abstract: In this work we classify the thick subcategories of the bounded derived category of dg modules over a Koszul complex on any list of elements in a regular ring. This simultaneously recovers a theorem of Stevenson when the list of elements is a regular sequence and the classification of thick subcategories for an exterior algebra over a field (via the BGG correspondence). One of the major ingredient… ▽ More In this work we classify the thick subcategories of the bounded derived category of dg modules over a Koszul complex on any list of elements in a regular ring. This simultaneously recovers a theorem of Stevenson when the list of elements is a regular sequence and the classification of thick subcategories for an exterior algebra over a field (via the BGG correspondence). One of the major ingredients is a classification of thick tensor submodules of perfect curved dg modules over a commutative noetherian graded ring concentrated in even degrees, recovering a theorem of Hopkins and Neeman. We give several consequences of the classification result over a Koszul complex, one being that the lattice of thick subcategories of the bounded derived category is fixed by Grothendieck duality. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Comments: 20 pages

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

Lower bounds on Loewy lengths of modules of finite projective dimension

Authors: Nawaj KC, Josh Pollitz

Abstract: This article is concerned with nonzero modules of finite length and finite projective dimension over a local ring. We show the Loewy length of such a module is larger than the regularity of the ring whenever the ring is strict Cohen-Macaulay, establishing a conjecture of Corso--Huneke--Polini--Ulrich for such rings. In fact, we show the stronger result that the Loewy length of a nonzero module of… ▽ More This article is concerned with nonzero modules of finite length and finite projective dimension over a local ring. We show the Loewy length of such a module is larger than the regularity of the ring whenever the ring is strict Cohen-Macaulay, establishing a conjecture of Corso--Huneke--Polini--Ulrich for such rings. In fact, we show the stronger result that the Loewy length of a nonzero module of finite flat dimension is at least the regularity for strict Cohen-Macaulay rings, which significantly strengthens a theorem of Avramov--Buchweitz--Iyengar--Miller. As an application we simultaneously verify a Lech-like conjecture, comparing generalized Loewy length along flat local extensions, and a conjecture of Hanes for strict Cohen-Macaulay rings. Finally, we also give notable improvements to known lower bounds for Loewy lengths without the strict Cohen-Macaulay assumption. The strongest general bounds we achieve are over complete intersection rings. △ Less

Submitted 21 April, 2025; v1 submitted 28 April, 2024; originally announced April 2024.

Comments: 19 pages. Final version; to appear in Advances in Mathematics

MSC Class: 13C14 (primary); 13B10; 13D05; 13H10; 13H15

Relations between Poincaré series for quasi-complete intersection homomorphisms

Authors: Josh Pollitz, Liana M. Sega

Abstract: In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism $\varphi\colon Q \to R$, where $Q$ is a local ring with maximal ideal $\mathfrak{m}$. In particular, we give a precise relationship between the Poincaré series $\mathrm{P}^Q_M(t)$ of a finitely generated $R$-module $M$ to $\mathrm{P}^R_M(t)$ when the kernel of $\varphi$ is contained in… ▽ More In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism $\varphi\colon Q \to R$, where $Q$ is a local ring with maximal ideal $\mathfrak{m}$. In particular, we give a precise relationship between the Poincaré series $\mathrm{P}^Q_M(t)$ of a finitely generated $R$-module $M$ to $\mathrm{P}^R_M(t)$ when the kernel of $\varphi$ is contained in $\mathfrak{m}\,\mathrm{ann}_Q(M)$. This generalizes a classical result of Shamash for complete intersection homomorphisms. Our proof goes through base change formulas for Poincaré series under the map of dg algebras $Q\to E$, with $E$ the Koszul complex on a minimal set of generators for the kernel of $\varphi.$ △ Less

Submitted 9 September, 2024; v1 submitted 25 March, 2024; originally announced March 2024.

Comments: 14 pages; significant changes to Section 3, minor changes to the rest of the article. To appear in PAMS

MSC Class: Primary: 13D40. Secondary: 13D02; 13D07; 16E45

Koszul homomorphisms and universal resolutions in local algebra

Authors: Benjamin Briggs, James C. Cameron, Janina C. Letz, Josh Pollitz

Abstract: We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need fo… ▽ More We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need for examples to be quadratic: all complete intersection and all Golod quotients are Koszul homomorphisms. We show that the class of Koszul homomorphisms enjoys excellent homological properties, and we give many more examples, especially various monomial and Gorenstein examples. We then study Koszul homomorphisms from the perspective of $\mathrm{A}_\infty$-structures on resolutions. We use this machinery to construct universal free resolutions of $R$-modules by generalizing a classical construction of Priddy. The resulting (infinite) free resolution of an $R$-module $M$ is often minimal, and can be described by a finite amount of data whenever $M$ and $R$ have finite projective dimension over $Q$. Our construction simultaneously recovers the resolutions of Shamash and Eisenbud over a complete intersection ring, and the bar resolutions of Iyengar and Burke over a Golod ring, and produces analogous resolutions for various other classes of local rings. △ Less

Submitted 26 February, 2025; v1 submitted 12 October, 2023; originally announced October 2023.

Comments: 49 pages; comments are welcome; v2: clarifications and small corrections; to appear in Forum Math. Sigma

Report number: HIM-Report-2022, CPH-GEOTOP-DNRF151 MSC Class: 13D02 (primary); 16S37; 16E45; 13H10; 13F55

Journal ref: Forum of Mathematics, Sigma 13 (2025) e63

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

Bounds on cohomological support varieties

Authors: Benjamin Briggs, Eloísa Grifo, Josh Pollitz

Abstract: Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for the dimension of $V_R(M)$ in terms of classical invariants of $R$. In particular, when $R$ is Cohen-Macaulay and not complete intersection we find that there are… ▽ More Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for the dimension of $V_R(M)$ in terms of classical invariants of $R$. In particular, when $R$ is Cohen-Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When $M$ has finite projective dimension, we also give an upper bound for $ \dim V_R(M)$ in terms of the dimension of the radical of the homotopy Lie algebra of $R$. This leads to an improvement of a bound due to Avramov, Buchweitz, Iyengar, and Miller on the Loewy lengths of finite free complexes. Finally, we completely classify the varieties that can occur as the cohomological support of a complex over a Golod ring. △ Less

Submitted 3 July, 2024; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: Final version

MSC Class: 13D09 (Primary) 13C15; 13D02; 13D07; 13H10; 14M10; 16E45 (Secondary)

Journal ref: Trans. Amer. Math. Soc. Ser. B 11 (2024), 703-726

Resolutions of differential operators of low order for an isolated hypersurface singularity

Authors: Rachel N. Diethorn, Jack Jeffries, Claudia Miller, Nicholas Packauskas, Josh Pollitz, Hamidreza Rahmati, Sophia Vassiliadou

Abstract: In this paper we develop a new approach for studying differential operators of an isolated singularity graded hypersurface ring $R$ defining a surface in affine three-space over a field of characteristic zero. With this method, we construct an explicit minimal generating set for the modules of differential operators of order two and three, as well as their minimal free resolutions; this expands re… ▽ More In this paper we develop a new approach for studying differential operators of an isolated singularity graded hypersurface ring $R$ defining a surface in affine three-space over a field of characteristic zero. With this method, we construct an explicit minimal generating set for the modules of differential operators of order two and three, as well as their minimal free resolutions; this expands results of Bernstein, Gel'fand, and Gel'fand and of Vigué. Our construction relies, in part, on a description of these modules that we derive in the singularity category of $R$. Namely, we build explicit matrix factorizations starting from that of the residue field. △ Less

Submitted 16 November, 2023; v1 submitted 26 September, 2022; originally announced September 2022.

Comments: 53 pages, to appear in Mich Math J

MSC Class: 13D02; 13N05; 13N15; 14B05; 14M10

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)

Cohomological jump loci and duality in local algebra

Authors: Benjamin Briggs, Daniel McCormick, Josh Pollitz

Abstract: In this article a higher order support theory, called the cohomological jump loci, is introduced and studied for dg modules over a Koszul extension of a local dg algebra. The generality of this setting applies to dg modules over local complete intersection rings, exterior algebras and certain group algebras in prime characteristic. This family of varieties generalizes the well-studied support vari… ▽ More In this article a higher order support theory, called the cohomological jump loci, is introduced and studied for dg modules over a Koszul extension of a local dg algebra. The generality of this setting applies to dg modules over local complete intersection rings, exterior algebras and certain group algebras in prime characteristic. This family of varieties generalizes the well-studied support varieties in each of these contexts. We show that cohomological jump loci satisfy several interesting properties, including being closed under (Grothendieck) duality. The main application of this support theory is that over a local ring the homological invariants of Betti degree and complexity are preserved under duality for finitely generated modules having finite complete intersection dimension. △ Less

Submitted 10 April, 2023; v1 submitted 18 January, 2022; originally announced January 2022.

Comments: 18 pages. V2: minor changes and funding information added. V3: minor changes, to appear in Mathematische Zeitschrift

MSC Class: 13D02; 13D07

The homotopy Lie algebra of a Tor-independent tensor product

Authors: Luigi Ferraro, Mohsen Gheibi, David A. Jorgensen, Nicholas Packauskas, Josh Pollitz

Abstract: In this article we investigate a pair of surjective local ring maps $S_1\leftarrow R\to S_2$ and their relation to the canonical projection $R\to S_1\otimes_R S_2$, where $S_1,S_2$ are Tor-independent over $R$. Our main result asserts a structural connection between the homotopy Lie algebra of $S:=S_1\otimes_R S_2$, denoted $π(S)$, in terms of those of $R,S_1$ and $S_2$. Namely, $π(S)$ is the pull… ▽ More In this article we investigate a pair of surjective local ring maps $S_1\leftarrow R\to S_2$ and their relation to the canonical projection $R\to S_1\otimes_R S_2$, where $S_1,S_2$ are Tor-independent over $R$. Our main result asserts a structural connection between the homotopy Lie algebra of $S:=S_1\otimes_R S_2$, denoted $π(S)$, in terms of those of $R,S_1$ and $S_2$. Namely, $π(S)$ is the pullback of (adjusted) Lie algebras along the maps $π(S_i)\to π(R)$ in various cases, including when the maps above have residual characteristic zero. Consequences to the main theorem include structural results on André-Quillen cohomology, stable cohomology, and Tor algebras, as well as an equality relating the Poincaré series of the common residue field of $R,S_1,S_2$ and $S$. △ Less

Submitted 19 July, 2022; v1 submitted 2 September, 2021; originally announced September 2021.

Comments: 20 pages. Corrected a mistake in 1.7; simplified and reorganized Sections 4 and 5

MSC Class: 13D02; 13D07; 16E45

A comparison of dg algebra resolutions with prime residual characteristic

Authors: Michael DeBellevue, Josh Pollitz

Abstract: In this article we fix a prime integer $p$ and compare certain dg algebra resolutions over a local ring whose residue field has characteristic $p$. Namely, we show that given a closed surjective map between such algebras there is a precise description for the minimal model in terms of the acyclic closure, and that the latter is a quotient of the former. A first application is that the homotopy Lie… ▽ More In this article we fix a prime integer $p$ and compare certain dg algebra resolutions over a local ring whose residue field has characteristic $p$. Namely, we show that given a closed surjective map between such algebras there is a precise description for the minimal model in terms of the acyclic closure, and that the latter is a quotient of the former. A first application is that the homotopy Lie algebra of a closed surjective map with residual characteristic $p$ is abelian. We also use these calculations to show deviations enjoy rigidity properties which detect the (quasi-)complete intersection property. △ Less

Submitted 3 January, 2023; v1 submitted 27 August, 2021; originally announced August 2021.

Comments: 18 pages. Minor changes that improved the exposition. To appear in Q. J. Math

MSC Class: 13D02; 13A35 (primary); 13D07; 16E45 (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

Support varieties over skew complete intersections via derived braided Hochschild cohomology

Authors: Luigi Ferraro, W. Frank Moore, Josh Pollitz

Abstract: In this article we study a theory of support varieties over a skew complete intersection $R$, i.e. a skew polynomial ring modulo an ideal generated by a sequence of regular normal elements. We compute the derived braided Hochschild cohomology of $R$ relative to the skew polynomial ring and show its action on $\mathrm{Ext}_R(M,N)$ is noetherian for finitely generated $R$-modules $M$ and $N$ respect… ▽ More In this article we study a theory of support varieties over a skew complete intersection $R$, i.e. a skew polynomial ring modulo an ideal generated by a sequence of regular normal elements. We compute the derived braided Hochschild cohomology of $R$ relative to the skew polynomial ring and show its action on $\mathrm{Ext}_R(M,N)$ is noetherian for finitely generated $R$-modules $M$ and $N$ respecting the braiding of $R$. When the parameters defining the skew polynomial ring are roots of unity we use this action to define a support theory. In this setting applications include a proof of the Generalized Auslander-Reiten Conjecture and that $R$ possesses symmetric complexity. △ Less

Submitted 28 January, 2021; originally announced January 2021.

MSC Class: 16E05; 16E30; 16E40; 16E45; 16E65

A partial converse ghost lemma for the derived category of a commutative noetherian ring

Authors: Jian Liu, Josh Pollitz

Abstract: In this article a condition is given to detect the containment among thick subcategories of the bounded derived category of a commutative noetherian ring. More precisely, for a commutative noetherian ring $R$ and complexes of $R$-modules with finitely generated homology $M$ and $N$, we show $N$ is in the thick subcategory generated by $M$ if and only if the ghost index of $N_\mathfrak{p}$ with res… ▽ More In this article a condition is given to detect the containment among thick subcategories of the bounded derived category of a commutative noetherian ring. More precisely, for a commutative noetherian ring $R$ and complexes of $R$-modules with finitely generated homology $M$ and $N$, we show $N$ is in the thick subcategory generated by $M$ if and only if the ghost index of $N_\mathfrak{p}$ with respect to $M_\mathfrak{p}$ is finite for each prime $\mathfrak{p}$ of $R$. To do so, we establish a "converse coghost lemma" for the bounded derived category of a non-negatively graded DG algebra with noetherian homology. △ Less

Submitted 7 January, 2021; originally announced January 2021.

Comments: 10 pages, comments welcome

MSC Class: 18E30 (primary); 13B30; 16E45 (secondary)

Journal ref: Proceedings of the American Mathematical Society (2023)

Constructing non-proxy small test modules for the complete intersection property

Authors: Benjamin Briggs, Eloísa Grifo, Josh Pollitz

Abstract: A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This characterization can be extended to the bounded derived category $\mathsf{D}^f(R)$, which contains only small objects if and only if $R$ is regular. Recent results… ▽ More A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This characterization can be extended to the bounded derived category $\mathsf{D}^f(R)$, which contains only small objects if and only if $R$ is regular. Recent results of Pollitz, completing work initiated by Dwyer-Greenlees-Iyengar, yield an analogous characterization for complete intersections: $R$ is a complete intersection if and only if every object in $\mathsf{D}^f(R)$ is proxy small. In this paper, we study a return to the world of $R$-modules, and search for finitely generated $R$-modules that are not proxy small whenever $R$ is not a complete intersection. We give an algorithm to construct such modules in certain settings, including over equipresented rings and Stanley-Reisner rings. △ Less

Submitted 13 May, 2021; v1 submitted 24 September, 2020; originally announced September 2020.

Comments: To appear in the Nagoya Mathematical Journal

MSC Class: 13D09 (primary); 13H10 (secondary)

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)

Duality and symmetry of complexity over complete intersections via exterior homology

Authors: Jian Liu, Josh Pollitz

Abstract: We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally complete intersection ring are self-dual under Grothendieck duality. This was proved by Stevenson when the ring is a quotient of a regular ring modulo a regula… ▽ More We study homological properties of a locally complete intersection ring by importing facts from homological algebra over exterior algebras. One application is showing that the thick subcategories of the bounded derived category of a locally complete intersection ring are self-dual under Grothendieck duality. This was proved by Stevenson when the ring is a quotient of a regular ring modulo a regular sequence; we offer two independent proofs in the more general setting. Second, we use these techniques to supply new proofs that complete intersections possess symmetry of complexity. △ Less

Submitted 8 June, 2020; originally announced June 2020.

Comments: 13 pages, comments welcome

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

Journal ref: Proceedings of the American Mathematical Society (2021)

Cohomological supports over derived complete intersections and local rings

Authors: Josh Pollitz

Abstract: A theory of cohomological support for pairs of DG modules over a Koszul complex is investigated. These specialize to the support varieties of Avramov and Buchweitz defined over a complete intersection ring, as well as support varieties over an exterior algebra. The main objects of study are certain DG modules over a polynomial ring; these determine the aforementioned cohomological supports and are… ▽ More A theory of cohomological support for pairs of DG modules over a Koszul complex is investigated. These specialize to the support varieties of Avramov and Buchweitz defined over a complete intersection ring, as well as support varieties over an exterior algebra. The main objects of study are certain DG modules over a polynomial ring; these determine the aforementioned cohomological supports and are shown to encode (co)homological information about pairs of DG modules over a Koszul complex. The perspective in this article leads to new proofs of well-known results for pairs of complexes over a complete intersection. Furthermore, these cohomological supports are used to define a support theory for pairs of objects in the derived category of an arbitrary commutative noetherian local ring. Finally, we calculate several examples and provide an application by answering a question of D. Jorgensen in the negative. △ Less

Submitted 16 February, 2021; v1 submitted 27 December, 2019; originally announced December 2019.

Comments: 40 pages. V2: New introduction and minor changes. To appear in Math. Zeit

MSC Class: 13D09; 13D07 (primary); 14M10; 18G15 (secondary)

Equivariant isomorphisms of Ext and Tor modules

Authors: Josh Pollitz

Abstract: In this article we establish equivariant isomorphisms of Ext and Tor modules over different relative complete intersections. More precisely, for a commutative ring $Q$, this paper investigates how $Ext_{Q/(\boldsymbol{f})}^*(M,N)$ and $Tor^{Q/(\boldsymbol{f})}_*(M,N)$ change when one varies $\boldsymbol{f}$ among all Koszul-regular sequences of a fixed length such that $\boldsymbol{f} M=0$ and… ▽ More In this article we establish equivariant isomorphisms of Ext and Tor modules over different relative complete intersections. More precisely, for a commutative ring $Q$, this paper investigates how $Ext_{Q/(\boldsymbol{f})}^*(M,N)$ and $Tor^{Q/(\boldsymbol{f})}_*(M,N)$ change when one varies $\boldsymbol{f}$ among all Koszul-regular sequences of a fixed length such that $\boldsymbol{f} M=0$ and $\boldsymbol{f} N=0$. Of notable interest is how the theory of perturbations is used to establish isomorphisms of certain DG modules. △ Less

Submitted 14 June, 2019; originally announced June 2019.

Comments: 13 pages. Comments welcome!

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

Journal ref: Journal of Algebra, Volume 546, 15 March 2020, Pages 467-483

The derived category of a locally complete intersection ring

Authors: Josh Pollitz

Abstract: In this paper, we answer a question of Dwyer, Greenlees, and Iyengar by proving a local ring $R$ is a complete intersection if and only if every complex of $R$-modules with finitely generated homology is proxy small. Moreover, we establish that a commutative noetherian ring $R$ is locally a complete intersection if and only if every complex of $R$-modules with finitely generated homology is virtua… ▽ More In this paper, we answer a question of Dwyer, Greenlees, and Iyengar by proving a local ring $R$ is a complete intersection if and only if every complex of $R$-modules with finitely generated homology is proxy small. Moreover, we establish that a commutative noetherian ring $R$ is locally a complete intersection if and only if every complex of $R$-modules with finitely generated homology is virtually small. △ Less

Submitted 19 May, 2018; originally announced May 2018.

Comments: 14 pages

MSC Class: 13D09; 13D07 (primary); 18G55; 18E30 (secondary)

Journal ref: Advances in Mathematics, Volume 354, 1 October 2019, 106752