More Like this

1. Algebraic stability of meromorphic maps descended from Thurston’s pullback maps

   https://doi.org/10.1090/tran/8221  

   Ramadas, Rohini (January 2021, Transactions of the American Mathematical Society)

   null (Ed.)

   Let ϕ : S 2 → S 2 \phi :S^2 \to S^2 be an orientation-preserving branched covering whose post-critical set has finite cardinality n n . If ϕ \phi has a fully ramified periodic point p ∞ p_{\infty } and satisfies certain additional conditions, then, by work of Koch, ϕ \phi induces a meromorphic self-map R ϕ R_{\phi } on the moduli space M 0 , n \mathcal {M}_{0,n} ; R ϕ R_{\phi } descends from Thurston’s pullback map on Teichmüller space. Here, we relate the dynamics of R ϕ R_{\phi } on M 0 , n \mathcal {M}_{0,n} to the dynamics of ϕ \phi on S 2 S^2 . Let ℓ \ell be the length of the periodic cycle in which the fully ramified point p ∞ p_{\infty } lies; we show that R ϕ R_{\phi } is algebraically stable on the heavy-light Hassett space corresponding to ℓ \ell heavy marked points and ( n − ℓ ) (n-\ell ) light points. 

   more » « less
2. Uniform Lech’s inequality

   https://doi.org/10.1090/proc/16304  

   Ma, Linquan; Smirnov, Ilya (February 2023, Proceedings of the American Mathematical Society)

   Let $(R,\mathfrak{m})$be a Noetherian local ring of dimension $d\ge <\#comment/>2$. We prove that if $e\left({\stackrel{^<\#comment/>}{R}}_{red}\right)>1$, then the classical Lech’s inequality can be improved uniformly for all $\mathfrak{m}$-primary ideals, that is, there exists $\mathrm{\epsilon <\#comment/>}>0$such that $e\left(I\right)\le <\#comment/>d!\left(e\right(R)-<\#comment/>\mathrm{\epsilon <\#comment/>})\mathrm{\ell <\#comment/>}\left(R/I\right)$for all $\mathfrak{m}$-primary ideals $I\subseteq <\#comment/>R$. This answers a question raised by Huneke, Ma, Quy, and Smirnov [Adv. Math. 372 (2020), pp. 107296, 33]. We also obtain partial results towards improvements of Lech’s inequality when we fix the number of generators of $I$. 

   more » « less
3. Wreath Macdonald polynomials as eigenstates

   https://doi.org/10.1007/s00029-025-01059-0  

   Wen, Joshua Jeishing (July 2025, Selecta Mathematica)

   Abstract We show that the wreath Macdonald polynomials for$$\mathbb {Z}/\ell \mathbb {Z}\wr \Sigma _n$$ $Z/\ell Z\wr {\Sigma }_n$, when naturally viewed as elements in the vertex representation of the quantum toroidal algebra$$U_{\mathfrak {q},\mathfrak {d}}(\ddot{\mathfrak {sl}}_\ell )$$ $U_{q,d}\left({\ddot{\mathrm{sl}}}_{\ell }\right)$, diagonalize its horizontal Heisenberg subalgebra. Our proof makes heavy use of shuffle algebra methods, and we also obtain a new proof of existence of wreath Macdonald polynomials. 

   more » « less
4. Compatible ideals in ℚ-Gorenstein rings

   https://doi.org/10.1090/proc/16331  

   Polstra, Thomas; Schwede, Karl (October 2023, Proceedings of the American Mathematical Society)

   Suppose $R$is a $F$-finite and $F$-pure $\mathbb{Q}$-Gorenstein local ring of prime characteristic $p>0$. We show that an ideal $I\subseteq <\#comment/>R$is uniformly compatible ideal (with all $p^{-<\#comment/>e}$-linear maps) if and only if exists a module finite ring map $R\to <\#comment/>S$such that the ideal $I$is the sum of images of all $R$-linear maps $S\to <\#comment/>R$. In other words, the set of uniformly compatible ideals is exactly the set of trace ideals of finite ring maps. 

   more » « less
5. Relations between Poincaré series for quasi-complete intersection homomorphisms

   https://doi.org/10.1090/proc/17078  

   Pollitz, Josh; Şega, Liana (January 2025, Proceedings of the American Mathematical Society)

   In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism $\mathrm{\phi <\#comment/>}:<\#comment/>Q\to <\#comment/>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}}_M^Q\left(t\right)$of a finitely generated $R$-module $M$to ${\mathrm{P}}_M^R\left(t\right)$when the kernel of $\mathrm{\phi <\#comment/>}$is contained in $\mathfrak{m}{\mathrm{a}\mathrm{n}\mathrm{n}}_Q\left(M\right)$. 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 <\#comment/>E$, with $E$the Koszul complex on a minimal set of generators for the kernel of $\mathrm{\phi <\#comment/>}$. 

   more » « less