<p>We establish a new class of examples of the multivariate Bateman-Horn conjecture by using tools from dynamics. These cases include the determinant polynomial on the space of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo>×</mo> <mi>n</mi> </math></EquationSource> <EquationSource Format="TEX">$n\times n$</EquationSource> </InlineEquation> matrices, the Pfaffian on the space of skew-symmetric <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mn>2</mn> <mi>n</mi> <mo>×</mo> <mn>2</mn> <mi>n</mi> </math></EquationSource> <EquationSource Format="TEX">$2n\times 2n$</EquationSource> </InlineEquation> matrices, and the determinant polynomial on the space of symmetric <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo>×</mo> <mi>n</mi> </math></EquationSource> <EquationSource Format="TEX">$n\times n$</EquationSource> </InlineEquation> matrices. In particular, let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <mi>V</mi> <mo>,</mo> <mi>F</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(V,F)$</EquationSource> </InlineEquation> be any pair among the following: <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <msub> <mtext>Mat</mtext> <mi>n</mi> </msub> <mo>,</mo> <mo movablelimits="false">det</mo> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(\textrm{Mat}_{n}, \det )$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <msub> <mtext>Skew</mtext> <mrow> <mn>2</mn> <mi>n</mi> </mrow> </msub> <mo>,</mo> <mtext>Pff</mtext> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(\textrm{Skew}_{2n},\textrm{Pff})$</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <msub> <mtext>Sym</mtext> <mi>n</mi> </msub> <mo>,</mo> <mo movablelimits="false">det</mo> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(\textrm{Sym}_{n}, \det )$</EquationSource> </InlineEquation>. We then obtain an asymptotic for <Equation ID="Equa"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_Equa.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="373" /> </MediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>π</mi> <mrow> <mi>V</mi> <mo>,</mo> <mi>F</mi> </mrow> </msub> <mo stretchy="false">(</mo> <mi>T</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi mathvariant="normal">#</mi> <mo stretchy="false">{</mo> <mi>v</mi> <mo>∈</mo> <mi>V</mi> <mo>:</mo> <mo movablelimits="false">max</mo> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <msub> <mi>v</mi> <mi>i</mi> </msub> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> <mo>≤</mo> <mi>T</mi> <mo>,</mo> <mi>F</mi> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> <mtext>&#xa0;is prime</mtext> <mo stretchy="false">}</mo> <mo>,</mo> </math></EquationSource> <EquationSource Format="TEX">\( \pi _{V,F}(T)= \#\{v\in V: \max (|v_{i}|)\leq T, F(v) \text{ is prime}\}, \)</EquationSource> </Equation> that matches the Bateman-Horn prediction.</p><p>The key ingredients of our proof are an asymptotic count for integral points on the level sets of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="39_2025_716_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>F</mi> </math></EquationSource> <EquationSource Format="TEX">$F$</EquationSource> </InlineEquation> given by Linnik equidistribution, a geometric approximation of the box by cones, and an upper bound sieve to bound the number of prime values missed by the approximation. In the case of the determinant polynomial on symmetric matrices, we must also use the Siegel mass formula to compute the product of local densities for the main term.</p>

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

Prime Number Theorems for Polynomials from Homogeneous Dynamics

  • Giorgos Kotsovolis,
  • Katharine Woo

摘要

We establish a new class of examples of the multivariate Bateman-Horn conjecture by using tools from dynamics. These cases include the determinant polynomial on the space of n × n $n\times n$ matrices, the Pfaffian on the space of skew-symmetric 2 n × 2 n $2n\times 2n$ matrices, and the determinant polynomial on the space of symmetric n × n $n\times n$ matrices. In particular, let ( V , F ) $(V,F)$ be any pair among the following: ( Mat n , det ) $(\textrm{Mat}_{n}, \det )$ , ( Skew 2 n , Pff ) $(\textrm{Skew}_{2n},\textrm{Pff})$ , and ( Sym n , det ) $(\textrm{Sym}_{n}, \det )$ . We then obtain an asymptotic for π V , F ( T ) = # { v V : max ( | v i | ) T , F ( v )  is prime } , \( \pi _{V,F}(T)= \#\{v\in V: \max (|v_{i}|)\leq T, F(v) \text{ is prime}\}, \) that matches the Bateman-Horn prediction.

The key ingredients of our proof are an asymptotic count for integral points on the level sets of F $F$ given by Linnik equidistribution, a geometric approximation of the box by cones, and an upper bound sieve to bound the number of prime values missed by the approximation. In the case of the determinant polynomial on symmetric matrices, we must also use the Siegel mass formula to compute the product of local densities for the main term.