<p>We show that on compact Riemann surfaces of negative curvature, the generalized periods, i.e. the <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation>-th order Fourier coefficient of eigenfunctions <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(e_\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>e</mi> <mi>λ</mi> </msub> </math></EquationSource> </InlineEquation> over a periodic geodesic <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>γ</mi> </math></EquationSource> </InlineEquation> goes to 0 at the rate of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq4.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(O((\log \lambda )^{-1/2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>O</mi> <mo stretchy="false">(</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>log</mo> <mi>λ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;|\nu |&lt;c_0\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mn>0</mn> <mo>&lt;</mo> <mo stretchy="false">|</mo> <mi>ν</mi> <mo stretchy="false">|</mo> <mo>&lt;</mo> </mrow> <msub> <mi>c</mi> <mn>0</mn> </msub> <mi>λ</mi> </mrow> </math></EquationSource> </InlineEquation>, given any <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;c_0&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <msub> <mi>c</mi> <mn>0</mn> </msub> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. No such result is possible for the sphere <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>S</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> or the flat torus <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {T}}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>. Our proof consists of a further refinement of a paper by Sogge, Xi and Zhang on the geodesic period integrals (<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2024_3670_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ν</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>), which featured the Gauss–Bonnet Theorem as a key quantitative tool to avoid geodesic rectangles on the universal cover of <i>M</i>. In contrast, one key new observation is that we can use the Gauss–Bonnet Theorem to quantitatively avoid geodesic parallelograms and isosceles trapezoids as well.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Improved generalized periods estimates on Riemannian surfaces with nonpositive curvature

  • Yakun Xi

摘要

We show that on compact Riemann surfaces of negative curvature, the generalized periods, i.e. the \(\nu \) ν -th order Fourier coefficient of eigenfunctions \(e_\lambda \) e λ over a periodic geodesic \(\gamma \) γ goes to 0 at the rate of \(O((\log \lambda )^{-1/2})\) O ( ( log λ ) - 1 / 2 ) , if \(0<|\nu |<c_0\lambda \) 0 < | ν | < c 0 λ , given any \(0<c_0<1\) 0 < c 0 < 1 . No such result is possible for the sphere \(S^2\) S 2 or the flat torus \({\mathbb {T}}^2\) T 2 . Our proof consists of a further refinement of a paper by Sogge, Xi and Zhang on the geodesic period integrals ( \(\nu =0\) ν = 0 ), which featured the Gauss–Bonnet Theorem as a key quantitative tool to avoid geodesic rectangles on the universal cover of M. In contrast, one key new observation is that we can use the Gauss–Bonnet Theorem to quantitatively avoid geodesic parallelograms and isosceles trapezoids as well.