{"title":"Uniform bounds for Kloosterman sums of half-integral weight with applications","authors":"Qihang Sun","doi":"10.1515/forum-2023-0201","DOIUrl":null,"url":null,"abstract":"Sums of Kloosterman sums have deep connections with the theory of modular forms, and their estimation has many important consequences. Kuznetsov used his famous trace formula and got a power-saving estimate with respect to <jats:italic>x</jats:italic> with implied constants depending on <jats:italic>m</jats:italic> and <jats:italic>n</jats:italic>. Recently, in 2009, Sarnak and Tsimerman obtained a bound uniformly in <jats:italic>x</jats:italic>, <jats:italic>m</jats:italic> and <jats:italic>n</jats:italic>. The generalized Kloosterman sums are defined with multiplier systems and on congruence subgroups. Goldfeld and Sarnak bounded sums of them with main terms corresponding to exceptional eigenvalues of the hyperbolic Laplacian. Their error term is a power of <jats:italic>x</jats:italic> with implied constants depending on all the other factors. In this paper, for a wide class of half-integral weight multiplier systems, we get the same bound with the error term uniformly in <jats:italic>x</jats:italic>, <jats:italic>m</jats:italic> and <jats:italic>n</jats:italic>. Such uniform bounds have great applications. For the eta-multiplier, Ahlgren and Andersen obtained a uniform and power-saving bound with respect to <jats:italic>m</jats:italic> and <jats:italic>n</jats:italic>, which resulted in a convergent error estimate on the Rademacher exact formula of the partition function <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>p</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>n</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-0201_eq_0934.png\" /> <jats:tex-math>{p(n)}</jats:tex-math> </jats:alternatives> </jats:inline-formula>. We also establish a Rademacher-type exact formula for the difference of partitions of rank modulo 3, which allows us to apply our power-saving estimate to the tail of the formula for a convergent error bound.","PeriodicalId":12433,"journal":{"name":"Forum Mathematicum","volume":"238 1","pages":""},"PeriodicalIF":1.0000,"publicationDate":"2024-02-20","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-0201","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Sums of Kloosterman sums have deep connections with the theory of modular forms, and their estimation has many important consequences. Kuznetsov used his famous trace formula and got a power-saving estimate with respect to x with implied constants depending on m and n. Recently, in 2009, Sarnak and Tsimerman obtained a bound uniformly in x, m and n. The generalized Kloosterman sums are defined with multiplier systems and on congruence subgroups. Goldfeld and Sarnak bounded sums of them with main terms corresponding to exceptional eigenvalues of the hyperbolic Laplacian. Their error term is a power of x with implied constants depending on all the other factors. In this paper, for a wide class of half-integral weight multiplier systems, we get the same bound with the error term uniformly in x, m and n. Such uniform bounds have great applications. For the eta-multiplier, Ahlgren and Andersen obtained a uniform and power-saving bound with respect to m and n, which resulted in a convergent error estimate on the Rademacher exact formula of the partition function p(n){p(n)}. We also establish a Rademacher-type exact formula for the difference of partitions of rank modulo 3, which allows us to apply our power-saving estimate to the tail of the formula for a convergent error bound.
克罗斯特曼和与模形式理论有很深的联系,对它们的估计有许多重要的结果。库兹涅佐夫(Kuznetsov)使用他著名的迹公式,得到了一个关于 x 的省力估计,其中隐含的常数取决于 m 和 n。Goldfeld 和 Sarnak 用对应于双曲拉普拉斯的特殊特征值的主项对它们的和进行了约束。他们的误差项是 x 的幂,其隐含常数取决于所有其他因子。在本文中,对于多种半整数权乘法器系统,我们得到了误差项均匀为 x、m 和 n 的相同约束。对于 eta 乘法器,Ahlgren 和 Andersen 得到了与 m 和 n 有关的均匀且省电的约束,从而得到了分区函数 p ( n ) {p(n)} 的拉德马赫精确公式的收敛误差估计值。我们还为秩模为 3 的分区差建立了一个拉德马赫式精确公式,从而可以将我们的省电估计应用于该公式的尾部,以获得收敛误差约束。
期刊介绍:
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.