Source author record

David A. Jorgensen

David A. Jorgensen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

13works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

Asymptotic behavior of Ext for pairs of modules of large complexity over graded complete intersections

Let $M$ and $N$ be finitely generated graded modules over a graded complete intersection $R$ such that $\operatorname{Ext}_R^i(M,N)$ has finite length for all $i\gg 0$. We show that the even and odd Hilbert polynomials, which give the lengths of $\operatorname{Ext}^i_R(M,N)$ for all large even $i$ and all large odd $i$, have the same degree and leading coefficient whenever the highest degree of these polynomials is at least the dimension of $M$ or $N$. Refinements of this result are given when $R$ is regular in small codimensions.

preprint2022arXiv

The homotopy Lie algebra of a Tor-independent tensor product

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

preprint2016arXiv

Totally acyclic approximations

Let $R$ be a commutative local ring. We study the subcategory of the homotopy category of $R$-complexes consisting of the totally acyclic $R$-complexes. In particular, in the context where $Q\to R$ is a surjective local ring homomorphism such that $R$ has finite projective dimension over $Q$, we define an adjoint pair of functors between the homotopy category of totally acyclic $R$-complexes and that of $Q$-complexes, which are analogous to the classical adjoint pair between the module categories of $R$ and $Q$. We give detailed proofs of the adjunction in terms of the unit and counit. As a consequence, one obtains a precise notion of approximations of totally acyclic $R$-complexes by totally acyclic $Q$-complexes.

preprint2015arXiv

Complete intersections and equivalences with categories of matrix factorizations

We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor, the homotopy category of matrix factorizations embeds into the homotopy category of totally acyclic complexes of finitely generated projective modules over the factor ring.

preprint2015arXiv

Realizability and the Avrunin-Scott theorem for higher-order support varieties

We introduce higher-order support varieties for pairs of modules over a commutative local complete intersection ring, and give a complete description of which varieties occur as such support varieties. In the context of a group algebra of a finite elementary abelian group, we also prove a higher-order Avrunin-Scott-type theorem, linking higher-order support varieties and higher-order rank varieties for pairs of modules.

preprint2014arXiv

The Gorenstein defect category

We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the Gorenstein defect category of the ring, a category which in some sense measures how far the ring is from being Gorenstein.

preprint2013arXiv

Vanishing of Tate homology and depth formulas over local rings

Auslander's depth formula for pairs of Tor-independent modules over a regular local ring, depth(M \otimes N) = depth(M) + depth(N) - depth(R), has been generalized in several directions over a span of four decades. In this paper we establish a depth formula that holds for every pair of Tate Tor-independent modules over a Gorenstein local ring. It subsumes previous eneralizations of Auslander's formula and yields exact bounds for vanishing of cohomology over certain Gorenstein rings.

preprint2011arXiv

Are complete intersections complete intersections?

A commutative local ring is generally defined to be a complete intersection if its completion is isomorphic to the quotient of a regular local ring by an ideal generated by a regular sequence. It has not previously been determined whether or not such a ring is necessarily itself the quotient of a regular ring by an ideal generated by a regular sequence. In this article, it is shown that if a complete intersection is a one dimensional integral domain, then it is such a quotient. However, an example is produced of a three dimensional complete intersection domain which is not a homomorphic image of a regular local ring, and so the property does not hold in general.

preprint2011arXiv

Brauer-Thrall for totally reflexive modules

Let R be a commutative noetherian local ring that is not Gorenstein. It is known that the category of totally reflexive modules over R is representation infinite, provided that it contains a non-free module. The main goal of this paper is to understand how complex the category of totally reflexive modules can be in this situation. Local rings (R,m) with m^3=0 are commonly regarded as the structurally simplest rings to admit diverse categorical and homological characteristics. For such rings we obtain conclusive results about the category of totally reflexive modules, modeled on the Brauer-Thrall conjectures. Starting from a non-free cyclic totally reflexive module, we construct a family of indecomposable totally reflexive R-modules that contains, for every n in N, a module that is minimally generated by n elements. Moreover, if the residue field R/m is algebraically closed, then we construct for every n in N an infinite family of indecomposable and pairwise non-isomorphic totally reflexive R-modules, that are all minimally generated by n elements. The modules in both families have periodic minimal free resolutions of period at most 2.

preprint2011arXiv

Tate (co)homology via pinched complexes

For complexes of modules we study two new constructions, which we call the pinched tensor product and the pinched Hom. They provide new methods for computing Tate homology and Tate cohomology, which lead to conceptual proofs of balancedness of Tate (co)homology for modules over associative rings. Another application we consider is in local algebra. Under conditions of vanishing of Tate (co)homology, the pinched tensor product of two minimal complete resolutions yields a minimal complete resolution.

preprint2011arXiv

Tate-Hochschild homology and cohomology of Frobenius algebras

We study Tate-Hochschild homology and cohomology for a two-sided Noetherian Gorenstein algebra. These (co)homology groups are defined for all degrees, non-negative as well as negative, and they agree with the usual Hochschild (co)homology groups for all degrees larger than the injective dimension of the algebra. We prove certain duality theorems relating the Tate-Hochschild (co)homology groups in positive degree to those in negative degree, in the case where the algebra is Frobenius. We explicitly compute all Tate-Hochschild (co)homology groups for certain classes of Frobenius algebras, namely, certain quantum complete intersections.