## Organizers

## Future talks

Thomas Polstra, University of Virginia

F-purity deforms in \(\mathbb{Q}\)-Gorenstein rings

Abstract:

We positively settle a long-standing question in the theory of prime characteristic singularities: If \( (R,\mathfrak{m},k) \) is a local \( \mathbb{Q} \)-Gorenstein ring of prime characteristic \(p>0\) which admits a non-zero-divisor \(f\) so that \(R/(f)\) is normal and \(F\)-pure, is \(R\) necessarily \(F\)-pure? The origins of the question date back to work of Fedder in the early 1980's where it was shown that \(F\)-purity deforms in Gorenstein rings but fails to deform in rings which are not \(\mathbb{Q}\)-Gorenstein. This talk is based on joint work with Austyn Simpson.

Benjamin Briggs, University of Utah

Title TBAAbstract:

TBA

Alessandra Costantini, University of California, Riverside

Title TBAAbstract:

TBA

## Winter/Spring 2021

Talks will continue in 2021, but the day of the week is still TBA.Ashley Wheeler, Mount Holyoke College

Title TBAAbstract:

TBA

Tyler Anway, University of Texas at Arlington

Title TBAAbstract:

TBA

Sankhaneel Bisui, Tulane University

Title TBAAbstract:

TBA

Beihui Yuan, Cornell University

Title TBAAbstract:

TBA

Rankeya Datta, University of Illinois at Chicago

Title TBAAbstract:

TBA

Nick Cox-Steib, University of Missouri

Title TBAAbstract:

TBA

Prashanth Sridhar, University of Kansas

Title TBAAbstract:

TBA

Joseph Skelton, Tulane University

Title TBAAbstract:

TBA

Pinches Dirnfield, University of Utah

Title TBAAbstract:

TBA

Mohsen Gheibi, University Of Texas At Arlington

Title TBAAbstract:

TBA

## Past talks

Peder Thompson, Norwegian University of Science and Technology

Using totally acyclic complexes to extend work of Buchweitz into a non-affine setting

Abstract:

In the 1950s, Auslander, Buchsbaum, and Serre set the stage for systematically using homological dimensions to understand ring structure with their elegant characterization of regular local rings in terms of projective dimension. This was followed by the characterization of Gorenstein local rings in terms of “G-dimension” by Auslander and Bridger, which in turn inspired the notions of Gorenstein projective, injective, and flat modules. Such modules are defined in terms of "totally acyclic" complexes. In this talk I will outline recent joint work with Christensen and Estrada where we propose a general notion of total acyclicity that unifies these classic notions and introduces the new “Gorenstein flat cotorsion” modules. This abstraction allows us to extend work of Buchweitz—involving equivalences between homotopy, stable, and singularity categories—into the non-affine setting, thus completing a project initiated by Murfet and Salarian.

Rebekah Aduddell, University of Texas at Arlington

The Critical and Cocritical Degrees of a Totally Acyclic Complex

Abstract:

It is widely known that minimal free resolutions of a module over a complete intersection ring have nice patterns that arise in their betti sequences. In the late 1990's Avramov, Gasharov and Peeva defined a new class of \(R\)-modules (those with finite CI dimension) that would exhibit similar patterns in their free resolutions. In doing so, they additionally defined the notion of critical degree for an \(R\)-module, which describes exactly when such patterns arise in the betti sequence. In this talk, I will define a ``naive'' extension of critical degree to the category of totally acyclic complexes, \(\mathbf{K_{tac}}(R)\), where \(R\) is a commutative local ring. After discussing some basic properties, we will then explore an alternative extension and investigate the relationship between the two definitions.

Jay Yang, University of Minnesota

Random Monomial Ideals

Abstract:

Random and Probabilistic techniques have a long history across a variety of fields, but their use in commutative algebra has been comparatively limited. Random monomial ideals, as inspired by results in random graphs and random simplicial complexes, are a unique perspective that allows us to study the asymptotic behavior of ideals. I discuss a pair of models for random monomial ideals, and a collection of results for these models including work with Caytlin Booms and Daniel Erman as well as work with Lily Silverstein and Dane Wilburne.

Eamon Quinlan-Gallego, University of Michigan

Bernstein-Sato polynomials on singular rings in positive characteristic

Abstract:

Given a smooth \(\mathbb{C}\)-algebra \(R\) and an ideal \(\mathfrak{a} \subseteq R\), an invariant from \(D\)-module theory known as the Bernstein-Sato polynomial of \(\mathfrak{a}\) quantifies the singularities of the pair \( (R, \mathfrak{a}) \). Recently, two generalizations of this construction were given: in one direction, Àlvarez-Montaner, Huneke, and Núñez-Betancourt showed that Bernstein-Sato polynomials can still be defined in some settings where \(R\) has singularities; in the other direction, work of Mustaţă, Bitoun and myself shows that we can also define Bernstein-Sato polynomials in positive characteristic. In this talk, I present joint work with J. Jeffries and L. Núñez-Betancourt in which we show that the combined generalization is possible. Namely, we show that Bernstein-Sato polynomials exist in positive characteristic when \(R\) has mild singularities (direct summand or graded F-finite representation type).

James Gossell, Clemson University

Characterizing Cohen-Macaulay power edge ideals of trees

Abstract:

Every electric power system can be modeled by a graph \(G\) whose vertices represent electrical buses and whose edges represent power lines. A

*phasor measurement unit*(PMU) is a monitor that can be placed at a bus to observe the voltage at that bus as well as the current and phase through all incident power lines. The problem of monitoring an entire electric power system using the fewest number of PMUs is closely related to the well-known vertex covering and dominating set problems in graph theory.

In this talk, we will give an overview of the PMU placement problem and its connections to commutative ring theory. Specifically, we will define the

*power edge ideal*\(I^P_G\) of a graph \(G\) as a way to generate polynomial rings with desired algebraic properties using graphs of electric power grids. Finally, we will classify the trees \(G\) for which \(I^P_G\) is Cohen-Macaulay and prove that every such ideal is also a complete intersection.

This project is joint work with Michael Cowen, Alan Hahn, Frank Moore, and Sean Sather-Wagstaff.

Sarasij Maitra, University of Virginia

A Study of Colength in Dimension One

Abstract:

We define and study an invariant of any module over a local one dimensional analytically unramified Noetherian domain whose integral closure is a DVR. We shall discuss a key property of this invarant. If time permits, we will briefly venture into trace ideals and into reflexive ideals.

Monica Lewis, University of Michigan

The closed support problem over a complete intersection ring

Abstract:

Local cohomology modules are (typically) very large algebraic objects that encode rich geometric information about the structure of a commutative ring. These modules are rarely finitely generated, but sometimes still exhibit remarkable finiteness properties. For example, the local cohomology of a smooth algebra over a field will always have a finite set of associated primes. This property can fail for complete intersection rings (even in codimension 1), but independent results of Hochster and Núñez-Betancourt (2017) or Katzman and Zhang (2017) have shown that at least in characteristic \(p>0\), the local cohomology of a hypersurface ring will still have Zariski closed support. It remains open whether this property holds in arbitrary codimension. In this talk, I will present my results on the local cohomology of a parameter ideal illustrating an obstruction to straightforwardly generalizing existing hypersurface strategies. I will then present joint work with Eric Canton on a possible alternative route of attack in higher codimension, involving a novel Frobenius-compatible simplicial complex of local cohomology modules.

Zhan Jiang, University of Michigan

The "size" of an ideal

Abstract:

Hochster and Huneke defined quasilength for any \(I\)-torsion module, generalizing the notion of length to any non-maximal ideal \(I\). Based on quasilength, we develop a new numerical invariant for ideals, called "size". It is invariant up to taking radicals and bounded between the arithmetic rank and height of the ideal. We will present some results in low dimensions and discuss a lot of open questions related to "size" and asymptotic behaviors of quasilength.

Farrah Yhee, University of Michigan

Ulrich modules do not always exist

Abstract: Ulrich modules were introduced by Bernd Ulrich in 1984 and has since been a very active area of research. The existence of Ulrich modules for complete local domains have powerful applications. For example, existence implies Lech's conjecture: given a flat local map of local rings from R to S, the Hilbert-Samuel multiplicity of S is at least the Hilbert-Samuel multiplicity of R. Until recently, it was unknown if there were any counterexamples to the existence of Ulrich modules for (complete) local domains. In this talk, I will introduce the notion of Ulrich modules and discuss implications of their existence. Then I will give a counterexample to the existence of Ulrich modules for (complete) local domains.

Hugh Geller, Clemson University

DG-Structures on Minimal Free Resolutions of Fiber Products

Abstract:

A construction of Tate shows that every algebra over a ring \(R\) possess a DG-algebra resolution over \(R\). These resolutions are not always minimal and Avramov even shows that certain algebras cannot have a minimal resolution with a DG-algebra structure. In the first half of this talk, I give an explicit construction of the minimal resolution of the fiber product \(k[\underline{x}]/\mathcal{I} \times_k k[\underline{y}]/\mathcal{J}\) over \(k[\underline{x},\underline{y}]\) where \(\mathcal{I} \subseteq \langle \underline{x} \rangle^2\) and \(\mathcal{J} \subseteq \langle \underline{y} \rangle^2\). In the second half, I show how to put different DG-structures on these minimal free resolutions.

Ayah Almousa, Cornell University

Title: Polarizations of Powers of Graded Maximal Ideals

Abstract:

Given a monomial ideal, one can "polarize" it to a square-free monomial ideal that has all of the same homological invariants as the original one. Many commutative algebraists are familiar with the use of the "standard" polarization, but the first use of a nonstandard polarization was by Nagel and Reiner in the 2000s, who used the "box polarization" to produce a minimal cellular resolution for strongly stable ideals. This leads to the natural question: what other ways are there to polarize a monomial ideal, and what other applications might there be for these non-standard polarizations? In this talk, I will give a complete combinatorial characterization of all possible polarizations of powers of the graded maximal ideal in a polynomial ring. I will also give a combinatorial description of their Alexander duals and discuss applications of polarizations to commutative algebra, algebraic geometry, and combinatorics. This is joint work with Gunnar Fløystad and Henning Lohne.

Keller VandeBogert, University of South Carolina

Tate-like Complexes and Their Applications to DG Algebras

Abstract:

In this talk, I will talk about so-called Tate-like complexes. These are defined as a quotient of the tensor product complex and encompass more well-known complexes such as the "symmetric square" complex, commonly used to induce DG-products on resolutions (associative up to homotopy). After introducing necessary notation and terminology, I will talk about how these complexes have made a tacit appearance in previous work of others, and give a brief overview on how these complexes can be used to endow the length 4 "big from small" construction of Kustin and Miller with the structure of an associative DG algebra.