<p>We study the modularity of the functions of the form <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1221_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(r(\tau )^ar(2\tau )^b\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mi>a</mi> </msup> <mi>r</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mi>b</mi> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <i>a</i> and <i>b</i> are integers with <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1221_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="95" /> </InlineMediaObject> <EquationSource Format="TEX">\((a,b)\ne (0,0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo stretchy="false">)</mo> <mo>≠</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1221_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(r(\tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo stretchy="false">(</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the Rogers–Ramanujan continued fraction, which may be considered as companions to the Ramanujan’s function <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1221_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="127" /> </InlineMediaObject> <EquationSource Format="TEX">\(k(\tau )=r(\tau )r(2\tau )^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>r</mi> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mi>r</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>. In particular, we show that under some condition on <i>a</i> and <i>b</i>, there are finitely many such functions generating the field of all modular functions on the congruence subgroup <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1221_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _1(10)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Γ</mi> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mn>10</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, we establish certain arithmetic properties of the function <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1221_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="132" /> </InlineMediaObject> <EquationSource Format="TEX">\(l(\tau )=r(2\tau )/r(\tau )^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>l</mi> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>r</mi> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">/</mo> <mi>r</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, which can be used to evaluate these products. We employ the methods of Lee and Park and some properties of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1221_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\eta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> </InlineEquation>-quotients and generalized <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1221_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\eta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> </InlineEquation>-quotients to prove our results.</p>

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

Modularity of certain products of the Rogers–Ramanujan continued fraction

  • Russelle Guadalupe

摘要

We study the modularity of the functions of the form \(r(\tau )^ar(2\tau )^b\) r ( τ ) a r ( 2 τ ) b , where a and b are integers with \((a,b)\ne (0,0)\) ( a , b ) ( 0 , 0 ) and \(r(\tau )\) r ( τ ) is the Rogers–Ramanujan continued fraction, which may be considered as companions to the Ramanujan’s function \(k(\tau )=r(\tau )r(2\tau )^2\) k ( τ ) = r ( τ ) r ( 2 τ ) 2 . In particular, we show that under some condition on a and b, there are finitely many such functions generating the field of all modular functions on the congruence subgroup \(\Gamma _1(10)\) Γ 1 ( 10 ) . Furthermore, we establish certain arithmetic properties of the function \(l(\tau )=r(2\tau )/r(\tau )^2\) l ( τ ) = r ( 2 τ ) / r ( τ ) 2 , which can be used to evaluate these products. We employ the methods of Lee and Park and some properties of \(\eta \) η -quotients and generalized \(\eta \) η -quotients to prove our results.