• On the local Artin conductor fArtin (Χ) of a character Χ of Gal(E/K) — II: Main results for the metabelian case

    • Fulltext

       

        Click here to view fulltext PDF


      Permanent link:
      https://www.ias.ac.in/article/fulltext/pmsc/113/02/0099-0137

    • Keywords

       

      Local fields; higher-ramification groups; local Artin conductor; metabelian local class field theory; non-abelian local class field theory; local Langlands correspondence forGL(n)

    • Abstract

       

      This paper which is a continuation of [2], is essentially expository in nature, although some new results are presented. LetK be a local field with finite residue class fieldKk. We first define (cf. Definition 2.4) the conductorf(E/K) of an arbitrary finite Galois extensionE/K in the sense of non-abelian local class field theory as wherenG is the break in the upper ramification filtration ofG = Gal(E/K) defined by$$G^{n_G } \ne G^{n_{G + \delta } } = 1,\forall \delta \in \mathbb{R}_{_ \ne ^ > 0} $$. Next, we study the basic properties of the idealf(E/K) inOk in caseE/K is a metabelian extension utilizing Koch-de Shalit metabelian local class field theory (cf. [8]).

      After reviewing the Artin characteraG : G → ℂ ofG := Gal(E/K) and Artin representationsAg G → G →GL(V) corresponding toaG : G → ℂ, we prove that (Proposition 3.2 and Corollary 3.5)$$\mathfrak{f}_{Artin} (\chi _\rho ) = \mathfrak{p}_K^{dim_\mathbb{C} (V)\left[ {n_{G/\ker (\rho )} + 1} \right]} $$ where Χgr: G → ℂ is the character associated to an irreducible representation ρ: G → GL(V) ofG (over ℂ). The first main result (Theorem 1.2) of the paper states that, if in particular,ρ : G → GL(V) is an irreducible representation ofG(over ℂ) with metabelian image, then$$\mathfrak{f}_{Artin} (\chi _\rho ) = \mathfrak{p}_K^{[E^{\ker (\rho )^ \cdot :K} ](n_{G/\ker (\rho )} + 1)} $$ where Gal(Eker(ρ)/Eker(ρ)•) is any maximal abelian normal subgroup of Gal(Eker(ρ)/K) containing Gal(Eker(ρ)/K)′, and the break nG/ker(ρ) in the upper ramification filtration of G/ker(ρ) can be computed and located by metabelian local class field theory. The proof utilizes Basmaji’s theory on the structure of irreducible faithful representations of finite metabelian groups (cf. [1]) and on metabelian local class field theory (cf. [8]).

      We then discuss the application of Theorem 1.2 on a problem posed by Weil on the construction of a ‘natural’AG ofG over ℂ (Problem 1.3). More precisely, we prove in Theorem 1.4 that ifE/K is a metabelian extension with Galois group G, then$$A_G \simeq \sum\limits_N {\left[ {(E^N )^ \bullet :K} \right]\left( {n_{G/N} + 1} \right) \times \sum\limits_{\left[ \infty \right] \sim \in V_N } {Ind_{\pi _N^{ - 1} ((G/N)^ \bullet )}^G (\omega \circ \pi _N |_{\pi _N^{ - 1} ((G/N) \bullet )} )} } $$Kâzim İlhan ikeda whereN runs over all normal subgroups of G, and for such anN, Vn denotes the collection of all ∼-equivalence classes [ω]∼, where ‘∼’ denotes the equivalence relation on the set of all representations ω : (G/N) → ℂΧ satisfying the conditions Inert(ω) = {δ ∈ G/N : ℂδ} = ω =(G/N) and$$\bigcap\limits_\delta {\ker (\omega _\delta ) = \left\langle {1_{G/N} } \right\rangle } $$ where δ runs over R((G/N)/(G/N)), a fixed given complete system of representatives of (G/N)/(G/N), by declaring that ω1 ∼ ω2 if and only if ω1= ω2,δ for some δ ∈ R((G/N)/(G/N)).

      Finally, we conclude our paper with certain remarks on Problem 1.1 and Problem 1.3.

    • Author Affiliations

       

      Kâzim Ilhan Ikeda1

      1. Department of Mathematics, Istanbul Bilgi University, Inönü Caddesi No. 28, Kuştepe, Şişli, Istanbul - 80310, Turkey
    • Dates

       
  • Proceedings – Mathematical Sciences | News

    • Editorial Note on Continuous Article Publication

      Posted on July 25, 2019

      Click here for Editorial Note on CAP Mode

© 2021-2022 Indian Academy of Sciences, Bengaluru.