More Like this

1. 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
2. On regularity of \overline∂-solutions on 𝑎_{𝑞} domains with 𝐶² boundary in complex manifolds

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

   Gong, Xianghong (March 2025, Transactions of the American Mathematical Society)

   We study regularity of solutions $u$to $\stackrel{¯<\#comment/>}{\mathrm{\partial <\#comment/>}}u=f$on a relatively compact $C^2$domain $D$in a complex manifold of dimension $n$, where $f$is a $(0,q)$form. Assume that there are either $(q+1)$negative or $(n-<\#comment/>q)$positive Levi eigenvalues at each point of boundary $\mathrm{\partial <\#comment/>}D$. Under the necessary condition that a locally $L^2$solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain $1/2$derivative when $q=1$and $f$is in the Hölder–Zygmund space ${\mathrm{\Lambda <\#comment/>}}^r\left(D\right)$with $r>1$. For $q>1$, the same regularity for the solutions is achieved when $\mathrm{\partial <\#comment/>}D$is either sufficiently smooth or of $(n-<\#comment/>q)$positive Levi eigenvalues everywhere on $\mathrm{\partial <\#comment/>}D$. 

   more » « less
3. Regularity, singularities and ℎ-vector of graded algebras

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

   Dao, Hailong; Ma, Linquan; Varbaro, Matteo (January 2024, Transactions of the American Mathematical Society)

   Let $R$be a standard graded algebra over a field. We investigate how the singularities of $\mathrm{Spec}<\#comment/>R$or $\mathrm{Proj}<\#comment/>R$affect the $h$-vector of $R$, which is the coefficient of the numerator of its Hilbert series. The most concrete consequence of our work asserts that if $R$satisfies Serre’s condition $\left(S_r\right)$and has reasonable singularities (Du Bois on the punctured spectrum or $F$-pure), then $h_0$, …, $h_r\ge <\#comment/>0$. Furthermore the multiplicity of $R$is at least $h_0+h_1+\cdots <\#comment/>+h_{r-<\#comment/>1}$. We also prove that equality in many cases forces $R$to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain $\mathrm{Ext}$modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and $F$-pure singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others. 

   more » « less
4. Products of normal subsets

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

   Larsen, Michael; Shalev, Aner; Tiep, Pham (February 2024, Transactions of the American Mathematical Society)

   In this paper we consider which families of finite simple groups $G$have the property that for each $\mathrm{ϵ<\#comment/>}>0$there exists $N>0$such that, if $|G|\ge <\#comment/>N$and $S,T$are normal subsets of $G$with at least $\mathrm{ϵ<\#comment/>}|G|$elements each, then every non-trivial element of $G$is the product of an element of $S$and an element of $T$. We show that this holds in a strong and effective sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form ${\mathrm{P}\mathrm{S}\mathrm{L}}_n\left(q\right)$where $q$is fixed and $n\to <\#comment/>\mathrm{\infty <\#comment/>}$. However, in the case $S=T$and $G$alternating this holds with an explicit bound on $N$in terms of $\mathrm{ϵ<\#comment/>}$. Related problems and applications are also discussed. In particular we show that, if $w_1,w_2$are non-trivial words, $G$is a finite simple group of Lie type of bounded rank, and for $g\in <\#comment/>G$, $P_{w_1\left(G\right),w_2\left(G\right)}\left(g\right)$denotes the probability that $g_1{g}_2=g$where $g_i\in <\#comment/>w_i\left(G\right)$are chosen uniformly and independently, then, as $|G|\to <\#comment/>\mathrm{\infty <\#comment/>}$, the distribution $P_{w_1\left(G\right),w_2\left(G\right)}$tends to the uniform distribution on $G$with respect to the $L^{\mathrm{\infty <\#comment/>}}$norm. 

   more » « less
5. Colength one deformation rings

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

   Le, Daniel; Le_Hung, Bao; Morra, Stefano; Park, Chol; Qian, Zicheng (May 2024, Transactions of the American Mathematical Society)

   Let $K/{\mathbb{Q}}_p$be a finite unramified extension, $\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}:\mathrm{G}\mathrm{a}\mathrm{l}\left({\stackrel{¯<\#comment/>}{\mathbb{Q}}}_p/K\right)\to <\#comment/>{\mathrm{G}\mathrm{L}}_n\left({\stackrel{¯<\#comment/>}{\mathbb{F}}}_p\right)$a continuous representation, and $\mathrm{\tau <\#comment/>}$a tame inertial type of dimension $n$. We explicitly determine, under mild regularity conditions on $\mathrm{\tau <\#comment/>}$, the potentially crystalline deformation ring $R_{\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}}^{\mathrm{\eta <\#comment/>},\mathrm{\tau <\#comment/>}}$in parallel Hodge–Tate weights $\mathrm{\eta <\#comment/>}=(n-<\#comment/>1,\cdots <\#comment/>,1,0)$and inertial type $\mathrm{\tau <\#comment/>}$when theshapeof $\stackrel{¯<\#comment/>}{\mathrm{\rho <\#comment/>}}$with respect to $\mathrm{\tau <\#comment/>}$has colength at most one. This has application to the modularity of a class of shadow weights in the weight part of Serre’s conjecture. Along the way we make unconditional the local-global compatibility results of Park and Qian [Mém. Soc. Math. Fr. (N.S.) 173 (2022), pp. vi+150]. 

   more » « less