{"title":"Quadratic Forms in 8 Prime Variables","authors":"Ben Green","doi":"10.1007/s00039-025-00727-9","DOIUrl":null,"url":null,"abstract":"We give an asymptotic for the number of prime solutions to <jats:inline-formula> <jats:alternatives> <jats:tex-math>$Q(x_{1},\\dots , x_{8}) = N$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>Q</mml:mi> <mml:mo>(</mml:mo> <mml:msub> <mml:mi>x</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:mo>…</mml:mo> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>x</mml:mi> <mml:mn>8</mml:mn> </mml:msub> <mml:mo>)</mml:mo> <mml:mo>=</mml:mo> <mml:mi>N</mml:mi> </mml:math> </jats:alternatives> </jats:inline-formula> , subject to a mild non-degeneracy condition on the homogeneous quadratic form <jats:inline-formula> <jats:alternatives> <jats:tex-math>$Q$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>Q</mml:mi> </mml:math> </jats:alternatives> </jats:inline-formula> . The argument initially proceeds via the circle method, but this does not suffice by itself. To obtain a nontrivial bound on certain averages of exponential sums, we interpret these sums as matrix coefficients for the Weil representation of the symplectic group <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\operatorname {Sp}_{8}(\\mathbf{Z}/q\\mathbf{Z})$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msub> <mml:mo>Sp</mml:mo> <mml:mn>8</mml:mn> </mml:msub> <mml:mo>(</mml:mo> <mml:mi>Z</mml:mi> <mml:mo>/</mml:mo> <mml:mi>q</mml:mi> <mml:mi>Z</mml:mi> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> . Averages of such matrix coefficients are then bounded using an amplification argument and a convergence result for convolutions of measures, which reduces matters to understanding the action of certain 12-dimensional subgroups in the Weil representation. Sufficient understanding can be gained by using the basic represention theory of <jats:inline-formula> <jats:alternatives> <jats:tex-math>$\\operatorname {SL}_{2}(k)$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:msub> <mml:mo>SL</mml:mo> <mml:mn>2</mml:mn> </mml:msub> <mml:mo>(</mml:mo> <mml:mi>k</mml:mi> <mml:mo>)</mml:mo> </mml:math> </jats:alternatives> </jats:inline-formula> , <jats:inline-formula> <jats:alternatives> <jats:tex-math>$k$</jats:tex-math> <mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"> <mml:mi>k</mml:mi> </mml:math> </jats:alternatives> </jats:inline-formula> a finite field.","PeriodicalId":12478,"journal":{"name":"Geometric and Functional Analysis","volume":"56 1","pages":""},"PeriodicalIF":2.2000,"publicationDate":"2025-12-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Geometric and Functional Analysis","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s00039-025-00727-9","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
We give an asymptotic for the number of prime solutions to $Q(x_{1},\dots , x_{8}) = N$Q(x1,…,x8)=N , subject to a mild non-degeneracy condition on the homogeneous quadratic form $Q$Q . The argument initially proceeds via the circle method, but this does not suffice by itself. To obtain a nontrivial bound on certain averages of exponential sums, we interpret these sums as matrix coefficients for the Weil representation of the symplectic group $\operatorname {Sp}_{8}(\mathbf{Z}/q\mathbf{Z})$Sp8(Z/qZ) . Averages of such matrix coefficients are then bounded using an amplification argument and a convergence result for convolutions of measures, which reduces matters to understanding the action of certain 12-dimensional subgroups in the Weil representation. Sufficient understanding can be gained by using the basic represention theory of $\operatorname {SL}_{2}(k)$SL2(k) , $k$k a finite field.
期刊介绍:
Geometric And Functional Analysis (GAFA) publishes original research papers of the highest quality on a broad range of mathematical topics related to geometry and analysis.
GAFA scored in Scopus as best journal in "Geometry and Topology" since 2014 and as best journal in "Analysis" since 2016.
Publishes major results on topics in geometry and analysis.
Features papers which make connections between relevant fields and their applications to other areas.