Anilatmaja Aryasomayajula, Baskar Balasubramanyam, Dyuti Roy
{"title":"Estimates of Picard modular cusp forms","authors":"Anilatmaja Aryasomayajula, Baskar Balasubramanyam, Dyuti Roy","doi":"10.1515/forum-2023-0079","DOIUrl":null,"url":null,"abstract":"In this article, for <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>n</m:mi> <m:mo>≥</m:mo> <m:mn>2</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0368.png\" /> <jats:tex-math>{n\\geq 2}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, we compute asymptotic, qualitative, and quantitative estimates of the Bergman kernel of Picard modular cusp forms associated to torsion-free, cocompact subgroups of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>SU</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>n</m:mi> <m:mo>,</m:mo> <m:mn>1</m:mn> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> <m:mo>,</m:mo> <m:mi>ℂ</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0306.png\" /> <jats:tex-math>{\\mathrm{SU}((n,1),\\mathbb{C})}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. The main result of the article is the following result. Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi mathvariant=\"normal\">Γ</m:mi> <m:mo>⊂</m:mo> <m:mrow> <m:mi>SU</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mn>2</m:mn> <m:mo>,</m:mo> <m:mn>1</m:mn> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> <m:mo>,</m:mo> <m:msub> <m:mi mathvariant=\"script\">𝒪</m:mi> <m:mi>K</m:mi> </m:msub> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0229.png\" /> <jats:tex-math>{\\Gamma\\subset\\mathrm{SU}((2,1),\\mathcal{O}_{K})}</jats:tex-math> </jats:alternatives> </jats:inline-formula> be a torsion-free subgroup of finite index, where <jats:italic>K</jats:italic> is a totally imaginary field. Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msubsup> <m:mi mathvariant=\"script\">ℬ</m:mi> <m:mi mathvariant=\"normal\">Γ</m:mi> <m:mi>k</m:mi> </m:msubsup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0408.png\" /> <jats:tex-math>{{{\\mathcal{B}_{\\Gamma}^{k}}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> denote the Bergman kernel associated to the <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:msub> <m:mi mathvariant=\"script\">𝒮</m:mi> <m:mi>k</m:mi> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi mathvariant=\"normal\">Γ</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0300.png\" /> <jats:tex-math>{\\mathcal{S}_{k}(\\Gamma)}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, complex vector space of weight-<jats:italic>k</jats:italic> cusp forms with respect to Γ. Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:msup> <m:mi>𝔹</m:mi> <m:mn>2</m:mn> </m:msup> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0278.png\" /> <jats:tex-math>{\\mathbb{B}^{2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> denote the 2-dimensional complex ball endowed with the hyperbolic metric, and let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:msub> <m:mi>X</m:mi> <m:mi mathvariant=\"normal\">Γ</m:mi> </m:msub> <m:mo>:=</m:mo> <m:mrow> <m:mi mathvariant=\"normal\">Γ</m:mi> <m:mo>\\</m:mo> <m:msup> <m:mi>𝔹</m:mi> <m:mn>2</m:mn> </m:msup> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0224.png\" /> <jats:tex-math>{X_{\\Gamma}:=\\Gamma\\backslash\\mathbb{B}^{2}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> denote the quotient space, which is a noncompact complex manifold of dimension 2. Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mo stretchy=\"false\">|</m:mo> <m:mo>⋅</m:mo> <m:msub> <m:mo stretchy=\"false\">|</m:mo> <m:mi>pet</m:mi> </m:msub> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0411.png\" /> <jats:tex-math>{|\\cdot|_{\\mathrm{pet}}}</jats:tex-math> </jats:alternatives> </jats:inline-formula> denote the point-wise Petersson norm on <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:msub> <m:mi mathvariant=\"script\">𝒮</m:mi> <m:mi>k</m:mi> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi mathvariant=\"normal\">Γ</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0300.png\" /> <jats:tex-math>{\\mathcal{S}_{k}(\\Gamma)}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. Then, for <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>k</m:mi> <m:mo>≫</m:mo> <m:mn>1</m:mn> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0364.png\" /> <jats:tex-math>{k\\gg 1}</jats:tex-math> </jats:alternatives> </jats:inline-formula>, we have the following estimate: <jats:disp-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mrow> <m:mrow> <m:munder> <m:mo movablelimits=\"false\">sup</m:mo> <m:mrow> <m:mi>z</m:mi> <m:mo>∈</m:mo> <m:msub> <m:mi>X</m:mi> <m:mi mathvariant=\"normal\">Γ</m:mi> </m:msub> </m:mrow> </m:munder> <m:mo></m:mo> <m:msub> <m:mrow> <m:mo stretchy=\"false\">|</m:mo> <m:mrow> <m:msubsup> <m:mi mathvariant=\"script\">ℬ</m:mi> <m:mi mathvariant=\"normal\">Γ</m:mi> <m:mi>k</m:mi> </m:msubsup> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>z</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> <m:mo stretchy=\"false\">|</m:mo> </m:mrow> <m:mi>pet</m:mi> </m:msub> </m:mrow> <m:mo>=</m:mo> <m:mrow> <m:msub> <m:mi>O</m:mi> <m:mi mathvariant=\"normal\">Γ</m:mi> </m:msub> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:msup> <m:mi>k</m:mi> <m:mfrac> <m:mn>5</m:mn> <m:mn>2</m:mn> </m:mfrac> </m:msup> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:mrow> <m:mo>,</m:mo> </m:mrow> </m:math> <jats:graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_forum-2023-0079_eq_0137.png\" /> <jats:tex-math>\\sup_{z\\in X_{\\Gamma}}|{{\\mathcal{B}_{\\Gamma}^{k}}}(z)|_{\\mathrm{pet}}=O_{% \\Gamma}(k^{\\frac{5}{2}}),</jats:tex-math> </jats:alternatives> </jats:disp-formula> where the implied constant depends only on Γ.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"3 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2024-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Forum Mathematicum","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1515/forum-2023-0079","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
In this article, for n≥2{n\geq 2}, we compute asymptotic, qualitative, and quantitative estimates of the Bergman kernel of Picard modular cusp forms associated to torsion-free, cocompact subgroups of SU((n,1),ℂ){\mathrm{SU}((n,1),\mathbb{C})}. The main result of the article is the following result. Let Γ⊂SU((2,1),𝒪K){\Gamma\subset\mathrm{SU}((2,1),\mathcal{O}_{K})} be a torsion-free subgroup of finite index, where K is a totally imaginary field. Let ℬΓk{{{\mathcal{B}_{\Gamma}^{k}}}} denote the Bergman kernel associated to the 𝒮k(Γ){\mathcal{S}_{k}(\Gamma)}, complex vector space of weight-k cusp forms with respect to Γ. Let 𝔹2{\mathbb{B}^{2}} denote the 2-dimensional complex ball endowed with the hyperbolic metric, and let XΓ:=Γ\𝔹2{X_{\Gamma}:=\Gamma\backslash\mathbb{B}^{2}} denote the quotient space, which is a noncompact complex manifold of dimension 2. Let |⋅|pet{|\cdot|_{\mathrm{pet}}} denote the point-wise Petersson norm on 𝒮k(Γ){\mathcal{S}_{k}(\Gamma)}. Then, for k≫1{k\gg 1}, we have the following estimate: supz∈XΓ|ℬΓk(z)|pet=OΓ(k52),\sup_{z\in X_{\Gamma}}|{{\mathcal{B}_{\Gamma}^{k}}}(z)|_{\mathrm{pet}}=O_{% \Gamma}(k^{\frac{5}{2}}), where the implied constant depends only on Γ.
期刊介绍:
Forum Mathematicum is a general mathematics journal, which is devoted to the publication of research articles in all fields of pure and applied mathematics, including mathematical physics. Forum Mathematicum belongs to the top 50 journals in pure and applied mathematics, as measured by citation impact.