More Like this

1. 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
2. Classical freeness of orthosymplectic affine vertex superalgebras

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

   Creutzig, Thomas; Linshaw, Andrew; Song, Bailin (October 2024, Proceedings of the American Mathematical Society)

   The question of when a vertex algebra is a quantization of the arc space of its associated scheme has recently received a lot of attention in both the mathematics and physics literature. This property was first studied by Tomoyuki Arakawa and Anne Moreau (see their paper in the references), and was given the name \lq\lq classical freeness by Jethro van Ekeren and Reimundo Heluani [Comm. Math. Phys. 386 (2021), no. 1, pp. 495-550] in their work on chiral homology. Later, it was extended to vertex superalgebras by Hao Li [Eur. J. Math. 7 (2021), pp. 1689–1728]. In this note, we prove the classical freeness of the simple affine vertex superalgebra $L_n\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{m|2r}\right)$for all positive integers $m,n,r$satisfying $-<\#comment/>\frac{m}{2}+r+n+1>0$. In particular, it holds for the rational vertex superalgebras $L_n\left(\mathfrak{o}\mathfrak{s}{\mathfrak{p}}_{1|2r}\right)$for all positive integers $r,n$. 

   more » « less
3. A Volume = Multiplicity formula for p-families of ideals

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

   Das, Sudipta (October 2023, Proceedings of the American Mathematical Society)

   In this article, we work with certain families of ideals called $p$-families in rings of prime characteristic. This family of ideals is present in the theories of tight closure, Hilbert-Kunz multiplicity, and $F$-signature. For each $p$-family of ideals, we attach an Euclidean object called $p$-body, which is analogous to the Newton Okounkov body associated with a graded family of ideals. Using the combinatorial properties of $p$-bodies and algebraic properties of the Hilbert-Kunz multiplicity, we establish a Volume = Multiplicity formula for $p$-families of ${\mathfrak{m}}_R$-primary ideals in a Noetherian local ring $R$. 

   more » « less
4. 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
5. Derived 𝑝-adic heights and the leading coefficient of the Bertolini–Darmon–Prasanna 𝑝-adic 𝐿-function

   https://doi.org/10.1090/btran/227  

   Castella, Francesc; Hsu, Chi-Yun; Kundu, Debanjana; Lee, Yu-Sheng; Liu, Zheng (May 2025, Transactions of the American Mathematical Society, Series B)

   Let $E/\mathbf{Q}$be an elliptic curve and let $p$be an odd prime of good reduction for $E$. Let $K$be an imaginary quadratic field satisfying the classical Heegner hypothesis and in which $p$splits. The goal of this paper is two-fold: (1) we formulate a $p$-adic BSD conjecture for the $p$-adic $L$-function $L_{\mathfrak{p}}^{\mathrm{B}\mathrm{D}\mathrm{P}}$introduced by Bertolini–Darmon–Prasanna [Duke Math. J. 162 (2013), pp. 1033–1148]; and (2) for an algebraic analogue $F_{\stackrel{¯<\#comment/>}{\mathfrak{p}}}^{\mathrm{B}\mathrm{D}\mathrm{P}}$of $L_{\mathfrak{p}}^{\mathrm{B}\mathrm{D}\mathrm{P}}$, we show that the “leading coefficient” part of our conjecture holds, and that the “order of vanishing” part follows from the expected “maximal non-degeneracy” of an anticyclotomic $p$-adic height. In particular, when the Iwasawa–Greenberg Main Conjecture $\left(F_{\stackrel{¯<\#comment/>}{\mathfrak{p}}}^{\mathrm{B}\mathrm{D}\mathrm{P}}\right)=\left(L_{\mathfrak{p}}^{\mathrm{B}\mathrm{D}\mathrm{P}}\right)$is known, our results determine the leading coefficient of $L_{\mathfrak{p}}^{\mathrm{B}\mathrm{D}\mathrm{P}}$at $T=0$up to a $p$-adic unit. Moreover, by adapting the approach of Burungale–Castella–Kim [Algebra Number Theory 15 (2021), pp. 1627–1653], we prove the main conjecture for supersingular primes $p$under mild hypotheses. In the $p$-ordinary case, and under some additional hypotheses, similar results were obtained by Agboola–Castella [J. Théor. Nombres Bordeaux 33 (2021), pp 629–658], but our method is new and completely independent from theirs, and apply to all good primes. 

   more » « less