Josh Pollitz

• Doctor of Philosophy
• Professor (Assistant) at Syracuse University

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 si...

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 th...

In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism φ : Q → R \varphi \colon Q \to R , where Q Q is a local ring with maximal ideal m \mathfrak {m} . In particular, we give a precise relationship between the Poincaré series P M Q ( t ) \mathrm {P}^Q_M(t) of a finitely generated R R -module M M to...

Over a local ring R R , the theory of cohomological support varieties attaches to any bounded complex M M of finitely generated R R -modules an algebraic variety V R ( M ) {\mathrm {V}}_R(M) that encodes homological properties of M M . We give lower bounds for the dimension of V R ( M ) {\mathrm {V}}_R(M) in terms of classical invariants of R R . I...

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 v...

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 for whenever $p^e$ is la...

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...

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 R and complexes of R R -modules with finitely generated homology M M and N N , we show N N is in the thick subcategory generated by M M if and...

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...

We examine low order differential operators of an isolated singularity graded hypersurface ring $R$ defining a surface in affine three-space over a field of characteristic zero. Building on work of Vigu\'e we construct an explicit minimal generating set for the module of differential operators of order at most $i$, for $i=2, 3$, as well as its mini...

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 dea...

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 dea...

For a finitely generated module over a complete intersection ring, or more generally a module of finite complete intersection dimension, the sequence of Betti numbers is eventually given by a quasi-polynomial. In this article it is shown that the leading term of this polynomial is invariant under duality. Said in terms of classical invariants, the...

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...

In this article we investigate homological aspects of 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 ExtR(M,N) is noetherian for finitely generated R-m...

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$, denoted $\pi(S)$, in terms of those of $R,S_1$ and...

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 fo...

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...

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}^{\mathsf f}(R)$ , which contains only small obj...

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 if $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 suppo...

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...

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 on...

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 object...

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 ri...

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 fu...

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 ri...

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...

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 ExtQ/(f)⁎(M,N) and Tor⁎Q/(f)(M,N) change when one varies f among all Koszul-regular sequences of a fixed length such that fM=0 and fN=0. Of notable interes...

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...

Let R be a commutative noetherian ring. A well-known theorem in commutative algebra states that R is regular if and only if every complex with finitely generated homology is a perfect complex. This homological and derived category characterization of a regular ring yields important ring theoretic information; for example, this characterization solv...

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 f...

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$-...