More Like this

1. Naturality and innerness for morphisms of compact groups and (restricted) Lie algebras

   https://doi.org/10.1090/bproc/164  

   Chirvasitu, Alexandru (July 2024, Proceedings of the American Mathematical Society, Series B)

   An extended derivation (endomorphism) of a (restricted) Lie algebra $L$is an assignment of a derivation (respectively) of $L^{\prime }$for any (restricted) Lie morphism $f:L\to <\#comment/>L^{\prime }$, functorial in $f$in the obvious sense. We show that (a) the only extended endomorphisms of a restricted Lie algebra are the two obvious ones, assigning either the identity or the zero map of $L^{\prime }$to every $f$; and (b) if $L$is a Lie algebra in characteristic zero or a restricted Lie algebra in positive characteristic, then $L$is in canonical bijection with its space of extended derivations (so the latter are all, in a sense, inner). These results answer a number of questions of G. Bergman. In a similar vein, we show that the individual components of an extended endomorphism of a compact connected group are either all trivial or all inner automorphisms. 

   more » « less
2. The weak-type Carleson theorem via wave packet estimates

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

   Di_Plinio, Francesco; Fragkos, Anastasios (March 2025, Transactions of the American Mathematical Society)

   We prove that the weak- $L^p$norms, and in fact the sparse $(p,1)$-norms, of the Carleson maximal partial Fourier sum operator are $\lesssim <\#comment/>(p-<\#comment/>1{)}^{-<\#comment/>1}$as $p\to <\#comment/>1^{+}$. This is an improvement on the Carleson-Hunt theorem, where the same upper bound on the growth order is obtained for the restricted weak- $L^p$type norm, and which was the strongest quantitative bound prior to our result. Furthermore, our sparse $(p,1)$-norms bound imply new and stronger results at the endpoint $p=1$. In particular, we obtain that the Fourier series of functions from the weighted Arias de Reyna space ${\mathrm{Q}\mathrm{A}}_{\mathrm{\infty <\#comment/>}}\left(w\right)$, which contains the weighted Antonov space $L\log <\#comment/>L\log <\#comment/>\log <\#comment/>\log <\#comment/>L(\mathbb{T};w)$, converge almost everywhere whenever $w\in <\#comment/>A_1$. This is an extension of the results of Antonov [Proceedings of the XXWorkshop on Function Theory (Moscow, 1995), 1996, pp. 187–196] and Arias De Reyna, where $w$must be Lebesgue measure. The backbone of our treatment is a new, sharply quantified near- $L^1$Carleson embedding theorem for the modulation-invariant wave packet transform. The proof of the Carleson embedding relies on a newly developed smooth multi-frequency decomposition which, near the endpoint $p=1$, outperforms the abstract Hilbert space approach of past works, including the seminal one by Nazarov, Oberlin and Thiele [Math. Res. Lett. 17 (2010), pp. 529–545]. As a further example of application, we obtain a quantified version of the family of sparse bounds for the bilinear Hilbert transforms due to Culiuc, Ou and the first author. 

   more » « less
3. 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
4. The Zaremba problem in two-dimensional Lipschitz graph domains

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

   Carro, María; Luque, Teresa; Naibo, Virginia (July 2025, Transactions of the American Mathematical Society)

   We study the Zaremba problem, or mixed problem associated to the Laplace operator, in two-dimensional Lipschitz graph domains with mixed Dirichlet and Neumann boundary data in Lebesgue and Lorentz spaces. We obtain an explicit value $r$such that the Zaremba problem is solvable in $L^p$for $1>p>r$and in the Lorentz space $L^{r,1}$. Applications include those where the domain is a cone with vertex at the origin and, more generally, a Schwarz–Christoffel domain. The techniques employed are based on results of the Zaremba problem in the upper half-plane, the use of conformal maps and the theory of solutions to the Neumann problem. For the case when the domain is the upper half-plane, we work in the weighted setting, establishing conditions on the weights for the existence of solutions and estimates for the non-tangential maximal function of the gradient of the solution. In particular, in the $L^2$-unweighted case, where known examples show that the gradient of the solution may fail to be squared-integrable, we prove restricted weak-type estimates. 

   more » « less
5. Non-vanishing of geometric Whittaker coefficients for reductive groups

   https://doi.org/10.1090/jams/1051  

   Færgeman, Joakim; Raskin, Sam (April 2025, Journal of the American Mathematical Society)

   We prove that cuspidal automorphic $D$-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from $G{L}_n$to general reductive groups. The key tool is a microlocal interpretation of Whittaker coefficients. We establish various exactness properties in the geometric Langlands context that may be of independent interest. Specifically, we show Hecke functors are $t$-exact on the category of tempered $D$-modules, strengthening a classical result of Gaitsgory (with different hypotheses) for $G{L}_n$. We also show that Whittaker coefficient functors are $t$-exact for sheaves with nilpotent singular support. An additional consequence of our results is that the tempered, restricted geometric Langlands conjecture must be $t$-exact. We apply our results to show that for suitably irreducible local systems, Whittaker-normalized Hecke eigensheaves are perverse sheaves that are irreducible on each connected component of ${\mathrm{Bun}}_G$. 

   more » « less