Abstract Let $$E/\mathbf {Q}$$ be an elliptic curve and $p>3$ be a good ordinary prime for E and assume that $L(E,1)=0$ with root number $+1$ (so $$\text {ord}_{s=1}L(E,s)\geqslant 2$$ ). A construction of Darmon–Rotger attaches to E and an auxiliary weight 1 cuspidal eigenform g such that $$L(E,\text {ad}^{0}(g),1)\neq 0$$ , a Selmer class $$\kappa _{p}\in \text {Sel}(\mathbf {Q},V_{p}E)$$ , and they conjectured the equivalence $$ \begin{align*} \kappa_{p}\neq 0\quad\Longleftrightarrow\quad{\textrm{dim}}_{{\mathbf{Q}}_{p}}\textrm{Sel}(\mathbf{Q},V_{p}E)=2. \end{align*} $$ In this article, we prove the first cases on Darmon–Rotger’s conjecture when the auxiliary eigenform g has complex multiplication. In particular, this provides a new construction of nontrivial Selmer classes for elliptic curves of rank 2. 
                        more » 
                        « less   
                    
                            
                            On Weissler’s Conjecture on the Hamming Cube I
                        
                    
    
            Abstract Let $$1\leq p \leq q <\infty $$ and let $$w \in \mathbb{C}$$. Weissler conjectured that the Hermite operator $$e^{w\Delta }$$ is bounded as an operator from $$L^{p}$$ to $$L^{q}$$ on the Hamming cube $$\{-1,1\}^{n}$$ with the norm bound independent of $$n$$ if and only if $$\begin{align*} |p-2-e^{2w}(q-2)|\leq p-|e^{2w}|q. \end{align*}$$It was proved in [ 1], [ 2], and [ 17] in all cases except $$2<p\leq q <3$$ and $$3/2<p\leq q <2$$, which stood open until now. The goal of this paper is to give a full proof of Weissler’s conjecture in the case $p=q$. Several applications will be presented. 
        more » 
        « less   
        
    
    
                            - PAR ID:
- 10239555
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- ISSN:
- 1073-7928
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            Let { s j } j = 1 n \left \{ s_{j}\right \} _{j=1}^{n} be positive integers. We show that for any 1 ≤ L ≤ n , 1\leq L\leq n, ‖ ∏ j = 1 n ( 1 − z s j ) ‖ L ∞ ( | z | = 1 ) ≥ exp  ( 1 2 e L ( s 1 s 2 … s L ) 1 / L ) . \begin{equation*} \left \Vert \prod _{j=1}^{n}\left ( 1-z^{s_{j}}\right ) \right \Vert _{L_{\infty }\left ( \left \vert z\right \vert =1\right ) }\geq \exp \left ( \frac {1}{2e}\frac {L}{\left ( s_{1}s_{2}\ldots s_{L}\right ) ^{1/L}}\right ) . \end{equation*} In particular, this gives geometric growth if a positive proportion of the { s j } \left \{ s_{j}\right \} are bounded. We also show that when the { s j } \left \{ s_{j}\right \} grow regularly and faster than j ( log  j ) 2 + ε j\left ( \log j\right ) ^{2+\varepsilon } , some ε > 0 \varepsilon >0 , then the norms grow faster than exp  ( ( log  n ) 1 + δ ) \exp \left ( \left ( \log n\right ) ^{1+\delta }\right ) for some δ > 0 \delta >0 .more » « less
- 
            Abstract For $$p\geq 1$$ and $$(g_{ij})_{1\leq i,j\leq n}$$ being a matrix of i.i.d. standard Gaussian entries, we study the $$n$$-limit of the $$\ell _p$$-Gaussian–Grothendieck problem defined as $$\begin{align*} & \max\Bigl\{\sum_{i,j=1}^n g_{ij}x_ix_j: x\in \mathbb{R}^n,\sum_{i=1}^n |x_i|^p=1\Bigr\}. \end{align*}$$The case $p=2$ corresponds to the top eigenvalue of the Gaussian orthogonal ensemble; when $$p=\infty $$, the maximum value is essentially the ground state energy of the Sherrington–Kirkpatrick mean-field spin glass model and its limit can be expressed by the famous Parisi formula. In the present work, we focus on the cases $$1\leq p<2$$ and $$2<p<\infty .$$ For the former, we compute the limit of the $$\ell _p$$-Gaussian–Grothendieck problem and investigate the structure of the set of all near optimizers along with stability estimates. In the latter case, we show that this problem admits a Parisi-type variational representation and the corresponding optimizer is weakly delocalized in the sense that its entries vanish uniformly in a polynomial order of $$n^{-1}$$.more » « less
- 
            Abstract Let $$k_i\ (i=1,2,\ldots ,t)$$ be natural numbers with $$k_1>k_2>\cdots >k_t>0$$, $$k_1\geq 2$$ and $$t<k_1.$$ Given real numbers $$\alpha _{ji}\ (1\leq j\leq t,\ 1\leq i\leq s)$$, we consider polynomials of the shape $$\begin{align*} &\varphi_i(x)=\alpha_{1i}x^{k_1}+\alpha_{2i}x^{k_2}+\cdots+\alpha_{ti}x^{k_t},\end{align*}$$and derive upper bounds for fractional parts of polynomials in the shape $$\begin{align*} &\varphi_1(x_1)+\varphi_2(x_2)+\cdots+\varphi_s(x_s),\end{align*}$$by applying novel mean value estimates related to Vinogradov’s mean value theorem. Our results improve on earlier Theorems of Baker (2017).more » « less
- 
            Abstract Let $$E$$ be an elliptic curve defined over $${\mathbb{Q}}$$ of conductor $$N$$, $$p$$ an odd prime of good ordinary reduction such that $E[p]$ is an irreducible Galois module, and $$K$$ an imaginary quadratic field with all primes dividing $Np$ split. We prove Iwasawa main conjectures for the $${\mathbb{Z}}_{p}$$-cyclotomic and $${\mathbb{Z}}_{p}$$-anticyclotomic deformations of $$E$$ over $${\mathbb{Q}}$$ and $K,$ respectively, dispensing with any of the ramification hypotheses on $E[p]$ in previous works. The strategy employs base change and the two-variable zeta element associated to $$E$$ over $$K$$, via which the sought after main conjectures are deduced from Wan’s divisibility towards a three-variable main conjecture for $$E$$ over a quartic CM field containing $$K$$ and certain Euler system divisibilities. As an application, we prove cases of the two-variable main conjecture for $$E$$ over $$K$$. The aforementioned one-variable main conjectures imply the $$p$$-part of the conjectural Birch and Swinnerton-Dyer formula for $$E$$ if $$\operatorname{ord}_{s=1}L(E,s)\leq 1$$. They are also an ingredient in the proof of Kolyvagin’s conjecture and its cyclotomic variant in our joint work with Grossi [1].more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    