<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_660_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\eta (z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the Dedekind eta function. Newman [<CitationRef CitationID="CR2">2</CitationRef>, <CitationRef CitationID="CR3">3</CitationRef>] studied the modularity of eta-quotients, giving necessary and sufficient conditions for a function of the form <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_660_Article_IEq2.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="120" /> </InlineMediaObject> <EquationSource Format="TEX">\(\prod _{0 &lt; m \mid N} \eta (m z)^{r_m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>∏</mo> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>m</mi> <mo>∣</mo> <mi>N</mi> </mrow> </msub> <mi>η</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>m</mi> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mi>r</mi> <mi>m</mi> </msub> </msup> </mrow> </math></EquationSource> </InlineEquation> to be a (weakly) holomorphic modular form of level <i>N</i>. We explain a proof of Newman’s theorem. The key observation is that although <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_660_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _1(N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Γ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is not generated by <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_660_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( {\begin{smallmatrix} 1 &amp; 1 \\ 0 &amp; 1 \end{smallmatrix}}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mn>1</mn> </mtd> <mtd> <mn>1</mn> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mn>0</mn> </mrow> </mtd> <mtd> <mn>1</mn> </mtd> </mtr> </mtable> </mrow> </mfenced> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_660_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\left( {\begin{smallmatrix} 1 &amp; 0 \\ N &amp; 1 \end{smallmatrix}}\right) \)</EquationSource> <EquationSource Format="MATHML"><math> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mn>1</mn> </mtd> <mtd> <mn>0</mn> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mi>N</mi> </mrow> </mtd> <mtd> <mn>1</mn> </mtd> </mtr> </mtable> </mrow> </mfenced> </math></EquationSource> </InlineEquation>, it is generated by those two matrices together with any congruence subgroup. Modularity with respect to some congruence subgroup is established using a simple identity involving the multiplier system of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_660_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="32" /> </InlineMediaObject> <EquationSource Format="TEX">\(\eta (z)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>η</mi> <mo stretchy="false">(</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, whose proof is elementary in the sense that it avoids the use of Dedekind sums.</p>

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

An elementary proof of Newman’s eta-quotient theorem

  • David Savitt

摘要

Let \(\eta (z)\) η ( z ) be the Dedekind eta function. Newman [2, 3] studied the modularity of eta-quotients, giving necessary and sufficient conditions for a function of the form \(\prod _{0 < m \mid N} \eta (m z)^{r_m}\) 0 < m N η ( m z ) r m to be a (weakly) holomorphic modular form of level N. We explain a proof of Newman’s theorem. The key observation is that although \(\Gamma _1(N)\) Γ 1 ( N ) is not generated by \(\left( {\begin{smallmatrix} 1 & 1 \\ 0 & 1 \end{smallmatrix}}\right) \) 1 1 0 1 and \(\left( {\begin{smallmatrix} 1 & 0 \\ N & 1 \end{smallmatrix}}\right) \) 1 0 N 1 , it is generated by those two matrices together with any congruence subgroup. Modularity with respect to some congruence subgroup is established using a simple identity involving the multiplier system of \(\eta (z)\) η ( z ) , whose proof is elementary in the sense that it avoids the use of Dedekind sums.