<p>In arithmetic statistics and analytic number theory, the asymptotic growth rate of counting functions giving the number of objects with order below <i>X</i> is studied as <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2024_9797_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(X\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>. We define general counting functions which count epimorphisms out of an object on a category under some ordering. Given a probability measure <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2024_9797_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> on the isomorphism classes of the category with sufficient respect for a product structure, we prove a version of the Law of Large Numbers to give the asymptotic growth rate as <i>X</i> tends towards <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2024_9797_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation> of such functions with probability 1 in terms of the finite moments of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2024_9797_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> and the ordering. Such counting functions are motivated by work in arithmetic statistics, including number field counting as in Malle’s conjecture and point counting as in the Batyrev–Manin conjecture. Recent work of Sawin–Wood gives sufficient conditions to construct such a measure <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10485_2024_9797_Article_IEq5.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> from a well-behaved sequence of finite moments in very broad contexts, and we prove our results in this broad context with the added assumption that a product structure in the category is respected. These results allow us to formalize vast heuristic predictions about counting functions in general settings.</p>

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

Counting Functions for Random Objects in a Category

  • Brandon Alberts

摘要

In arithmetic statistics and analytic number theory, the asymptotic growth rate of counting functions giving the number of objects with order below X is studied as \(X\rightarrow \infty \) X . We define general counting functions which count epimorphisms out of an object on a category under some ordering. Given a probability measure \(\mu \) μ on the isomorphism classes of the category with sufficient respect for a product structure, we prove a version of the Law of Large Numbers to give the asymptotic growth rate as X tends towards \(\infty \) of such functions with probability 1 in terms of the finite moments of \(\mu \) μ and the ordering. Such counting functions are motivated by work in arithmetic statistics, including number field counting as in Malle’s conjecture and point counting as in the Batyrev–Manin conjecture. Recent work of Sawin–Wood gives sufficient conditions to construct such a measure \(\mu \) μ from a well-behaved sequence of finite moments in very broad contexts, and we prove our results in this broad context with the added assumption that a product structure in the category is respected. These results allow us to formalize vast heuristic predictions about counting functions in general settings.