<p>For a normalized newform <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="106" /> </InlineMediaObject> <EquationSource Format="TEX">\(g \in S_{k}(\Gamma _{0}(N))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <msub> <mi>S</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with complex multiplication by an imaginary quadratic field <i>K</i>, there is a mock modular form <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(F^{+}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>F</mi> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation> corresponding to <i>g</i>. K. Bringmann et al. [<CitationRef CitationID="CR5">5</CitationRef>] modified <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(F^{+}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>F</mi> <mo>+</mo> </msup> </math></EquationSource> </InlineEquation> in order to obtain a <i>p</i>-adic modular form by a certain <i>p</i>-adic constant <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _{g}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>α</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation>. In addition, they showed that if <i>p</i> splits in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {O}_{K}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">O</mi> <mi>K</mi> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p \not \mid N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∤</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq7.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _{g}=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mi>g</mi> </msub> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> (cf. [<CitationRef CitationID="CR5">5</CitationRef>]). On the other hand, the author [<CitationRef CitationID="CR18">18</CitationRef>] showed that <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _{g}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>α</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> is a <i>p</i>-adic unit for an inert prime <i>p</i> satisfying that <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\not \mid 2N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∤</mo> <mn>2</mn> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation> when <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim _{\mathbb {C}} S_{k}(\Gamma _{0}(N))=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo>dim</mo> <mi mathvariant="double-struck">C</mi> </msub> <msub> <mi>S</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Γ</mi> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In this paper, under mild conditions, we determine the <i>p</i>-adic valuation of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="40993_2025_662_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _{g}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>α</mi> <mi>g</mi> </msub> </math></EquationSource> </InlineEquation> for an inert prime <i>p</i> and a general CM form <i>g</i> of weight 2 with rational Fourier coefficients.</p>

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

The p-adic constant for mock modular forms associated to CM forms II

  • Ryota Tajima

摘要

For a normalized newform \(g \in S_{k}(\Gamma _{0}(N))\) g S k ( Γ 0 ( N ) ) with complex multiplication by an imaginary quadratic field K, there is a mock modular form \(F^{+}\) F + corresponding to g. K. Bringmann et al. [5] modified \(F^{+}\) F + in order to obtain a p-adic modular form by a certain p-adic constant \(\alpha _{g}\) α g . In addition, they showed that if p splits in \(\mathcal {O}_{K}\) O K and \(p \not \mid N\) p N , then \(\alpha _{g}=0\) α g = 0 (cf. [5]). On the other hand, the author [18] showed that \(\alpha _{g}\) α g is a p-adic unit for an inert prime p satisfying that \(p\not \mid 2N\) p 2 N when \(\dim _{\mathbb {C}} S_{k}(\Gamma _{0}(N))=1\) dim C S k ( Γ 0 ( N ) ) = 1 . In this paper, under mild conditions, we determine the p-adic valuation of \(\alpha _{g}\) α g for an inert prime p and a general CM form g of weight 2 with rational Fourier coefficients.