More Like this

1. Curvature and sharp growth rates of log-quasimodes on compact manifolds

   https://doi.org/10.1007/s00222-025-01315-2  

   Huang, Xiaoqi; Sogge, Christopher D (March 2025, Inventiones mathematicae)

   Abstract We obtain new optimal estimates for the$$L^{2}(M)\to L^{q}(M)$$ $L^2\left(M\right)\to L^q\left(M\right)$,$$q\in (2,q_{c}]$$ $q\in (2,q_c]$,$$q_{c}=2(n+1)/(n-1)$$ $q_c=2(n+1)/(n-1)$, operator norms of spectral projection operators associated with spectral windows$$[\lambda ,\lambda +\delta (\lambda )]$$ $[\lambda ,\lambda +\delta (\lambda \left)\right]$, with$$\delta (\lambda )=O((\log \lambda )^{-1})$$ $\delta \left(\lambda \right)=O\left({(log\lambda )}^{-1}\right)$on compact Riemannian manifolds$$(M,g)$$ $(M,g)$of dimension$$n\ge 2$$ $n\ge 2$all of whose sectional curvatures are nonpositive or negative. We show that these two different types of estimates are saturated on flat manifolds or manifolds all of whose sectional curvatures are negative. This allows us to classify compact space forms in terms of the size of$$L^{q}$$ $L^q$-norms of quasimodes for each Lebesgue exponent$$q\in (2,q_{c}]$$ $q\in (2,q_c]$, even though it is impossible to distinguish between ones of negative or zero curvature sectional curvature for any$$q>q_{c}$$ $q>q_c$. 

   more » « less
2. Counterexamples to maximal regularity for operators in divergence form

   https://doi.org/10.1007/s00013-024-02014-9  

   Bechtel, Sebastian; Mooney, Connor; Veraar, Mark (August 2024, Archiv der Mathematik)

   Abstract In this paper, we present counterexamples to maximal$$L^p$$ $L^p$-regularity for a parabolic PDE. The example is a second-order operator in divergence form with space and time-dependent coefficients. It is well-known from Lions’ theory that such operators admit maximal$$L^2$$ $L^2$-regularity on$$H^{-1}$$ $H^{-1}$under a coercivity condition on the coefficients, and without any regularity conditions in time and space. We show that in general one cannot expect maximal$$L^p$$ $L^p$-regularity on$$H^{-1}(\mathbb {R}^d)$$ $H^{-1}\left(R^d\right)$or$$L^2$$ $L^2$-regularity on$$L^2(\mathbb {R}^d)$$ $L^2\left(R^d\right)$. 

   more » « less
3. Weak-Type (1,1) Inequality for Discrete Maximal Functions and Pointwise Ergodic Theorems Along Thin Arithmetic Sets

   https://doi.org/10.1007/s00041-024-10093-z  

   Daskalakis, Leonidas (June 2024, Journal of Fourier Analysis and Applications)

   Abstract We establish weak-type (1, 1) bounds for the maximal function associated with ergodic averaging operators modeled on a wide class of thin deterministic setsB. As a corollary we obtain the corresponding pointwise convergence result on$$L^1$$ $L^1$. This contributes yet another counterexample for the conjecture of Rosenblatt and Wierdl from 1991 asserting the failure of pointwise convergence on$$L^1$$ $L^1$of ergodic averages along arithmetic sets with zero Banach density. The second main result is a multiparameter pointwise ergodic theorem in the spirit of Dunford and Zygmund alongBon$$L^p$$ $L^p$,$$p>1$$ $p>1$, which is derived by establishing uniform oscillation estimates and certain vector-valued maximal estimates. 

   more » « less
4. Abelian varieties of prescribed order over finite fields

   https://doi.org/10.1007/s00208-024-03084-4  

   van_Bommel, Raymond; Costa, Edgar; Li, Wanlin; Poonen, Bjorn; Smith, Alexander (March 2025, Mathematische Annalen)

   Abstract Given a prime powerqand$$n \gg 1$$ $n\gg 1$, we prove that every integer in a large subinterval of the Hasse–Weil interval$$[(\sqrt{q}-1)^{2n},(\sqrt{q}+1)^{2n}]$$ $[{(\sqrt{q}-1)}^{2n},{(\sqrt{q}+1)}^{2n}]$is$$\#A({\mathbb {F}}_q)$$ $\#A\left(F_q\right)$for some ordinary geometrically simple principally polarized abelian varietyAof dimensionnover$${\mathbb {F}}_q$$ $F_q$. As a consequence, we generalize a result of Howe and Kedlaya for$${\mathbb {F}}_2$$ $F_2$to show that for each prime powerq, every sufficiently large positive integer is realizable, i.e.,$$\#A({\mathbb {F}}_q)$$ $\#A\left(F_q\right)$for some abelian varietyAover$${\mathbb {F}}_q$$ $F_q$. Our result also improves upon the best known constructions of sequences of simple abelian varieties with point counts towards the extremes of the Hasse–Weil interval. A separate argument determines, for fixedn, the largest subinterval of the Hasse–Weil interval consisting of realizable integers, asymptotically as$$q \rightarrow \infty $$ $q\to \infty$; this gives an asymptotically optimal improvement of a 1998 theorem of DiPippo and Howe. Our methods are effective: We prove that if$$q \le 5$$ $q\le 5$, then every positive integer is realizable, and for arbitraryq, every positive integer$$\ge q^{3 \sqrt{q} \log q}$$ $\ge q^{3\sqrt{q}logq}$is realizable. 

   more » « less
5. Continuum limit of 2D fractional nonlinear Schrödinger equation

   https://doi.org/10.1007/s00028-023-00881-3  

   Choi, Brian; Aceves, Alejandro (March 2023, Journal of Evolution Equations)

   Abstract We prove that the solutions to the discrete nonlinear Schrödinger equation with non-local algebraically decaying coupling converge strongly in$$L^2({\mathbb {R}}^2)$$ $L^2\left(R^2\right)$to those of the continuum fractional nonlinear Schrödinger equation, as the discretization parameter tends to zero. The proof relies on sharp dispersive estimates that yield the Strichartz estimates that are uniform in the discretization parameter. An explicit computation of the leading term of the oscillatory integral asymptotics is used to show that the best constants of a family of dispersive estimates blow up as the non-locality parameter$$\alpha \in (1,2)$$ $\alpha \in (1,2)$approaches the boundaries. 

   more » « less