<p>We determine the action of the Hecke operators <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(T_{\mathfrak {p},i}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mrow> <mi mathvariant="fraktur">p</mi> <mo>,</mo> <mi>i</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> on the coefficient forms <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(g_{1}, \ldots , g_{r-1}, g_{r} = \Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>g</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>g</mi> <mrow> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>,</mo> <msub> <mi>g</mi> <mi>r</mi> </msub> <mo>=</mo> <mi mathvariant="normal">Δ</mi> </mrow> </math></EquationSource> </InlineEquation>, and <i>h</i>, which together generate the ring of modular forms for <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({{\,\textrm{GL}\,}}(r, \mathbb {F}_{q}[T])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>GL</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo>,</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. All these are eigenforms with powers of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> as eigenvalues, where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\pi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>π</mi> </math></EquationSource> </InlineEquation> is the monic generator of the prime ideal <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathfrak {p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">p</mi> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {F}_{q}[T]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We further describe the growth of the <i>t</i>-expansion coefficients of the discriminant function <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation>. It is such that the product expansion of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> as well as the <i>t</i>-expansion of each modular form converges on the natural fundamental domain for <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\({{\,\textrm{GL}\,}}(r, \mathbb {F}_{q}[T])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>GL</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo>,</mo> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">[</mo> <mi>T</mi> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Modular forms for \({{\,\textrm{GL}\,}}(r, \mathbb {F}_{q}[T])\): Hecke operators and growth of expansion coefficients

  • Ernst-Ulrich Gekeler

摘要

We determine the action of the Hecke operators \(T_{\mathfrak {p},i}\) T p , i on the coefficient forms \(g_{1}, \ldots , g_{r-1}, g_{r} = \Delta \) g 1 , , g r - 1 , g r = Δ , and h, which together generate the ring of modular forms for \({{\,\textrm{GL}\,}}(r, \mathbb {F}_{q}[T])\) GL ( r , F q [ T ] ) . All these are eigenforms with powers of \(\pi \) π as eigenvalues, where \(\pi \) π is the monic generator of the prime ideal \(\mathfrak {p}\) p of \(\mathbb {F}_{q}[T]\) F q [ T ] . We further describe the growth of the t-expansion coefficients of the discriminant function \(\Delta \) Δ . It is such that the product expansion of \(\Delta \) Δ as well as the t-expansion of each modular form converges on the natural fundamental domain for \({{\,\textrm{GL}\,}}(r, \mathbb {F}_{q}[T])\) GL ( r , F q [ T ] ) .