<p>Cohen, Lenstra, and Martinet have given conjectures for the distribution of class groups of extensions of number fields, but Achter and Malle have given theoretical and numerical evidence that these conjectures are wrong regarding the Sylow <i>p</i>-subgroups of the class group when the base number field contains <i>p</i>th roots of unity. We give complete conjectures of the distribution of Sylow <i>p</i>-subgroups of class groups of extensions of a number field when <i>p</i> does not divide the degree of the Galois closure of the extension. These conjectures are based on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(q\rightarrow \infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation> theorems on these distributions in the function field analog and use recent work of the authors on explicitly giving a distribution of modules from its moments. Our conjecture matches many, but not all, of the previous conjectures that were made in special cases taking into account roots of unity.</p>

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

Conjectures for distributions of class groups of extensions of number fields containing roots of unity

  • Will Sawin,
  • Melanie Matchett Wood

摘要

Cohen, Lenstra, and Martinet have given conjectures for the distribution of class groups of extensions of number fields, but Achter and Malle have given theoretical and numerical evidence that these conjectures are wrong regarding the Sylow p-subgroups of the class group when the base number field contains pth roots of unity. We give complete conjectures of the distribution of Sylow p-subgroups of class groups of extensions of a number field when p does not divide the degree of the Galois closure of the extension. These conjectures are based on \(q\rightarrow \infty \) q theorems on these distributions in the function field analog and use recent work of the authors on explicitly giving a distribution of modules from its moments. Our conjecture matches many, but not all, of the previous conjectures that were made in special cases taking into account roots of unity.