<p>For a maximal ideal <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak m\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">m</mi> </math></EquationSource> </InlineEquation> of some anemic Hecke <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\overline{{\mathbb Z}}}_l\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mi mathvariant="double-struck">Z</mi> <mo>¯</mo> </mover> <mi>l</mi> </msub> </math></EquationSource> </InlineEquation>-algebra <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathbb T}^S_\xi \)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>ξ</mi> <mi>S</mi> </msubsup> </math></EquationSource> </InlineEquation> of a similitude group of signature <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((1,d-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>d</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, one can associate a Galois <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\overline{{\mathbb F}}}_l\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mi mathvariant="double-struck">F</mi> <mo>¯</mo> </mover> <mi>l</mi> </msub> </math></EquationSource> </InlineEquation>-representation <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\overline{\rho }}_{\mathfrak m}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> <mi mathvariant="fraktur">m</mi> </msub> </math></EquationSource> </InlineEquation> as well as a Galois <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\mathbb T}_{\xi ,\mathfrak m}^S\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">T</mi> <mrow> <mi>ξ</mi> <mo>,</mo> <mi mathvariant="fraktur">m</mi> </mrow> <mi>S</mi> </msubsup> </math></EquationSource> </InlineEquation>-representation <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\rho _{\mathfrak m}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mi mathvariant="fraktur">m</mi> </msub> </math></EquationSource> </InlineEquation>. When <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(l\ge d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>l</mi> <mo>≥</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>, and for some split prime <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(p \ne l\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≠</mo> <mi>l</mi> </mrow> </math></EquationSource> </InlineEquation>, on can also define a monodromy operator <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\overline{N}}_{\mathfrak m}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mi>N</mi> <mo>¯</mo> </mover> <mi mathvariant="fraktur">m</mi> </msub> </math></EquationSource> </InlineEquation> as well as <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(N_{\widetilde{\mathfrak m}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>N</mi> <mover accent="true"> <mi mathvariant="fraktur">m</mi> <mo stretchy="true">~</mo> </mover> </msub> </math></EquationSource> </InlineEquation> for every minimal prime ideal <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\widetilde{\mathfrak m} \subset \mathfrak m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover accent="true"> <mi mathvariant="fraktur">m</mi> <mo stretchy="true">~</mo> </mover> <mo>⊂</mo> <mi mathvariant="fraktur">m</mi> </mrow> </math></EquationSource> </InlineEquation>, giving rise to partitions <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\underline{{\bar{d}}_{\mathfrak m}}\)</EquationSource> <EquationSource Format="MATHML"><math> <munder> <msub> <mover accent="true"> <mrow> <mi>d</mi> </mrow> <mrow> <mo stretchy="false">¯</mo> </mrow> </mover> <mi mathvariant="fraktur">m</mi> </msub> <mo>̲</mo> </munder> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\({\underline{d}}_{\widetilde{\mathfrak m}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <munder> <mi>d</mi> <mo>̲</mo> </munder> <mover accent="true"> <mi mathvariant="fraktur">m</mi> <mo stretchy="true">~</mo> </mover> </msub> </math></EquationSource> </InlineEquation> of <i>d</i>. As with Mazur’s principle for <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(GL_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <msub> <mi>L</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, analysing the difference between these partitions, we infer informations about the liftings of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\({\overline{\rho }}_{\mathfrak m}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> <mi mathvariant="fraktur">m</mi> </msub> </math></EquationSource> </InlineEquation> in characteristic zero known as level lowering problem.</p>

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

Level lowering: a Mazur principle in higher dimension

  • Boyer Pascal

摘要

For a maximal ideal \(\mathfrak m\) m of some anemic Hecke \({\overline{{\mathbb Z}}}_l\) Z ¯ l -algebra \({\mathbb T}^S_\xi \) T ξ S of a similitude group of signature \((1,d-1)\) ( 1 , d - 1 ) , one can associate a Galois \({\overline{{\mathbb F}}}_l\) F ¯ l -representation \({\overline{\rho }}_{\mathfrak m}\) ρ ¯ m as well as a Galois \({\mathbb T}_{\xi ,\mathfrak m}^S\) T ξ , m S -representation \(\rho _{\mathfrak m}\) ρ m . When \(l\ge d\) l d , and for some split prime \(p \ne l\) p l , on can also define a monodromy operator \({\overline{N}}_{\mathfrak m}\) N ¯ m as well as \(N_{\widetilde{\mathfrak m}}\) N m ~ for every minimal prime ideal \(\widetilde{\mathfrak m} \subset \mathfrak m\) m ~ m , giving rise to partitions \(\underline{{\bar{d}}_{\mathfrak m}}\) d ¯ m ̲ and \({\underline{d}}_{\widetilde{\mathfrak m}}\) d ̲ m ~ of d. As with Mazur’s principle for \(GL_2\) G L 2 , analysing the difference between these partitions, we infer informations about the liftings of \({\overline{\rho }}_{\mathfrak m}\) ρ ¯ m in characteristic zero known as level lowering problem.