2015/10/31 by Mark McKee, Haiwei Sun, Yangbo Ye
Mathematics · #Advanced Harmonic Analysis Research #Analytic Number Theory Research #Eigenvalues and eigenvectors #Laplace transform #Mathematical Inequalities and Applications #Slash (logging) #Upper and lower bounds #Value (mathematics) #math.NT
paper · pdf · doi:10.1090/tran/7159
Published in Transactions of the American Mathematical Society online in December, 2016
openalex created_date 2016/06/24 · openalex publication_date 2016/12/23 · arxiv created 2017/04/11 · arxiv updated 2017/04/12 · openalex updated_date 2026/08/05
Let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="f"> <mml:semantics> <mml:mi>f</mml:mi> <mml:annotation encoding="application/x-tex">f</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be a fixed self-contragradient Hecke–Maass form for <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S upper L left-parenthesis 3 comma double-struck upper Z right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>S</mml:mi> <mml:mi>L</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mn>3</mml:mn> <mml:mo>,</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Z</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">SL(3,\mathbb Z)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , and let <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="u"> <mml:semantics> <mml:mi>u</mml:mi> <mml:annotation encoding="application/x-tex">u</mml:annotation> </mml:semantics> </mml:math> </inline-formula> be an even Hecke–Maass form for <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper S upper L left-parenthesis 2 comma double-struck upper Z right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>S</mml:mi> <mml:mi>L</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mn>2</mml:mn> <mml:mo>,</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">Z</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">SL(2,\mathbb Z)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with Laplace eigenvalue <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="1 slash 4 plus k squared"> <mml:semantics> <mml:mrow> <mml:mn>1</mml:mn> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo>/</mml:mo> </mml:mrow> <mml:mn>4</mml:mn> <mml:mo>+</mml:mo> <mml:msup> <mml:mi>k</mml:mi> <mml:mn>2</mml:mn> </mml:msup> </mml:mrow> <mml:annotation encoding="application/x-tex">1/4+k2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> , <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="k greater-than-or-equal-to 0"> <mml:semantics> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo> ≥ </mml:mo> <mml:mn>0</mml:mn> </mml:mrow> <mml:annotation encoding="application/x-tex">k≥ 0</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . A subconvexity bound <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper O left-parenthesis left-parenthesis 1 plus k right-parenthesis Superscript 4 slash 3 plus epsilon Baseline right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>O</mml:mi> <mml:mstyle scriptlevel="0"> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo maxsize="1.2em" minsize="1.2em">(</mml:mo> </mml:mrow> </mml:mstyle> <mml:mo stretchy="false">(</mml:mo> <mml:mn>1</mml:mn> <mml:mo>+</mml:mo> <mml:mi>k</mml:mi> <mml:msup> <mml:mo stretchy="false">)</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mn>4</mml:mn> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo>/</mml:mo> </mml:mrow> <mml:mn>3</mml:mn> <mml:mo>+</mml:mo> <mml:mi> ε </mml:mi> </mml:mrow> </mml:msup> <mml:mstyle scriptlevel="0"> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo maxsize="1.2em" minsize="1.2em">)</mml:mo> </mml:mrow> </mml:mstyle> </mml:mrow> <mml:annotation encoding="application/x-tex">O ((1+k)4/3+ε )</mml:annotation> </mml:semantics> </mml:math> </inline-formula> in the eigenvalue aspect is proved for the central value at <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="s equals 1 slash 2"> <mml:semantics> <mml:mrow> <mml:mi>s</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mo>/</mml:mo> </mml:mrow> <mml:mn>2</mml:mn> </mml:mrow> <mml:annotation encoding="application/x-tex">s=1/2</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of the Rankin–Selberg <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L"> <mml:semantics> <mml:mi>L</mml:mi> <mml:annotation encoding="application/x-tex">L</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -function <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper L left-parenthesis s comma f times u right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>L</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>s</mml:mi> <mml:mo>,</mml:mo> <mml:mi>f</mml:mi> <mml:mo> × </mml:mo> <mml:mi>u</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">L(s,f× u)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . Meanwhile, a subconvexity bound <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper O left-parenthesis left-parenthesis 1 plus StartAbsoluteValue t EndAbsoluteValue right-parenthe