More Like this

1. Lim Ulrich sequences and Boij-Söderberg cones

   https://doi.org/10.1017/fms.2023.108  

   Iyengar, Srikanth B; Ma, Linquan; Walker, Mark E (January 2023, Forum of Mathematics, Sigma)

   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. 

   more » « less
2. A cocharge formula for the ∆-Springer modules

   Gillespie, Maria; Griffin, Sean T (April 2023, Séminaire Lotharingien de Combinatoire)

   We conjecture a simple combinatorial formula for the Schur expansion of the Frobenius series of the Sn-modules Rn,λ,s, which appear as the cohomology rings of the “∆-Springer” varieties. These modules interpolate between the Garsia-Procesi modules Rµ (which are the type A Springer fiber cohomology rings) and the rings Rn,k defined by Haglund, Rhoades, and Shimozono in the context of the Delta Conjecture. Our formula directly generalizes the known cocharge formula for Garsia-Procesi modules and gives a new cocharge formula for the Delta Conjecture at t = 0, by introducing battery-powered tableaux that “store” extra charge in their battery. Our conjecture has been verified by computer for all n ≤ 10 and s ≤ ℓ(λ)+2, as well as for n ≤ 8 and s ≤ ℓ(λ)+7. We prove it holds for several infinite families of n,λ,s. 

   more » « less
3. Constructing nonproxy small test modules for the complete intersection property

   https://doi.org/10.1017/nmj.2021.7  

   Briggs, Benjamin; Grifo, Eloísa; Pollitz, Josh (June 2021, Nagoya Mathematical Journal)

   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}^{\mathsf 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}^{\mathsf 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. 

   more » « less
4. Non-existence of Ulrich modules over Cohen-Macaulay local rings

   https://doi.org/10.1090/cams/44  

   Iyengar, Srikanth; Ma, Linquan; Walker, Mark; Zhuang, Ziquan (January 2025, Communications of the American Mathematical Society)

   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 [Math. Z. 188 (1984), pp. 23–32] 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. 

   more » « less
5. Bernstein–Sato functional equations, V-filtrations, and multiplier ideals of direct summands

   https://doi.org/10.1142/S0219199721500838  

   Àlvarez Montaner, Josep; Hernández, Daniel J.; Jeffries, Jack; Núñez-Betancourt, Luis; Teixeira, Pedro; Witt, Emily E. (December 2022, Communications in Contemporary Mathematics)

   This paper investigates the existence and properties of a Bernstein–Sato functional equation in nonregular settings. In particular, we construct [Formula: see text]-modules in which such formal equations can be studied. The existence of the Bernstein–Sato polynomial for a direct summand of a polynomial over a field is proved in this context. It is observed that this polynomial can have zero as a root, or even positive roots. Moreover, a theory of [Formula: see text]-filtrations is introduced for nonregular rings, and the existence of these objects is established for what we call differentially extensible summands. This family of rings includes toric, determinantal, and other invariant rings. This new theory is applied to the study of multiplier ideals and Hodge ideals of singular varieties. Finally, we extend known relations among the objects of interest in the smooth case to the setting of singular direct summands of polynomial rings. 

   more » « less