<p>Let <i>k</i> be an even positive integer and <i>N</i> a squarefree positive integer. Denote by <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1095_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_k^{\text {new}}(N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>S</mi> <mi>k</mi> <mtext>new</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> the newspace of weight <i>k</i> and level <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1095_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma _0(N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1095_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="146" /> </InlineMediaObject> <EquationSource Format="TEX">\( S = \bigoplus _{k \in 2\mathbb {N}} S_k^{\text {new}}(N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>=</mo> <msub> <mo>⨁</mo> <mrow> <mi>k</mi> <mo>∈</mo> <mn>2</mn> <mi mathvariant="double-struck">N</mi> </mrow> </msub> <msubsup> <mi>S</mi> <mi>k</mi> <mtext>new</mtext> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Given any two nonzero elements <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1095_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(f, g \in S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo>∈</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation>, we define the set <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1095_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="394" /> </InlineMediaObject> <EquationSource Format="TEX">\( R(f, g) := \left\{ x \in \mathbb {P}^1(\mathbb {C}) \mid x = [a_f(p): a_g(p)]\;\text {for prime}\; p \right\} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>R</mi> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo>,</mo> <mi>g</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <mfenced close="}" open="{"> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> <mo>∣</mo> <mi>x</mi> <mo>=</mo> <mrow> <mo stretchy="false">[</mo> <msub> <mi>a</mi> <mi>f</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <msub> <mi>a</mi> <mi>g</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">]</mo> </mrow> <mspace width="0.277778em" /> <mtext>for prime</mtext> <mspace width="0.277778em" /> <mi>p</mi> </mfenced> </mrow> </math></EquationSource> </InlineEquation>. For level <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2025_1095_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(N = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, Choi and Lim (J Number Theory 202:298–315, 2019) proved that if the set <i>R</i>(<i>f</i>,&#xa0;<i>g</i>) is finite, then <i>f</i> is a constant multiple of <i>g</i>. In this article, our aim is to extend the results of Choi and Lim to higher levels. We also obtain analogous results for the Kohnen plus space of half-integral weight modular forms.</p>

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

On a variant of the classical multiplicity one theorem

  • Rishabh Agnihotri

摘要

Let k be an even positive integer and N a squarefree positive integer. Denote by \(S_k^{\text {new}}(N)\) S k new ( N ) the newspace of weight k and level \(\Gamma _0(N)\) Γ 0 ( N ) . Let \( S = \bigoplus _{k \in 2\mathbb {N}} S_k^{\text {new}}(N)\) S = k 2 N S k new ( N ) . Given any two nonzero elements \(f, g \in S\) f , g S , we define the set \( R(f, g) := \left\{ x \in \mathbb {P}^1(\mathbb {C}) \mid x = [a_f(p): a_g(p)]\;\text {for prime}\; p \right\} \) R ( f , g ) : = x P 1 ( C ) x = [ a f ( p ) : a g ( p ) ] for prime p . For level \(N = 1\) N = 1 , Choi and Lim (J Number Theory 202:298–315, 2019) proved that if the set R(fg) is finite, then f is a constant multiple of g. In this article, our aim is to extend the results of Choi and Lim to higher levels. We also obtain analogous results for the Kohnen plus space of half-integral weight modular forms.