Skip to main content
Name of question
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Let $F/\mathbb Q_p$ be a finite extension, and let $I_F=\mathrm{Gal}(\overline F/F^{\mathrm{unr}})\subset\mathrm{Gal}(\overline F/F)$$I_F=\operatorname{Gal}(\overline F/F^{\mathrm{unr}})\subset\operatorname{Gal}(\overline F/F)$ be the inertia subgroup.

Is there a description of the abelianization $I_F^{\mathrm{ab}}$ known?

Letting $F^{\mathrm{tame}}$ be the maximal tamely ramified extension of $F$, we have an abelian extension $F^{\mathrm{tame}}(\mu_{p^\infty})/F^{\mathrm{unr}}$. How much larger is the full maximal abelian extension of $F^\mathrm{unr}$? Also note that a description of the abelianization of the wild inertia $P_F$ is known due to Iwasawa, see this questionExplicit construction of abelian wild inertial extensions of maximal tamely ramified extension of $\mathbb{Q}_p$?.

Let $F/\mathbb Q_p$ be a finite extension, and let $I_F=\mathrm{Gal}(\overline F/F^{\mathrm{unr}})\subset\mathrm{Gal}(\overline F/F)$ be the inertia subgroup.

Is there a description of the abelianization $I_F^{\mathrm{ab}}$ known?

Letting $F^{\mathrm{tame}}$ be the maximal tamely ramified extension of $F$, we have an abelian extension $F^{\mathrm{tame}}(\mu_{p^\infty})/F^{\mathrm{unr}}$. How much larger is the full maximal abelian extension of $F^\mathrm{unr}$? Also note that a description of the abelianization of the wild inertia $P_F$ is known due to Iwasawa, see this question.

Let $F/\mathbb Q_p$ be a finite extension, and let $I_F=\operatorname{Gal}(\overline F/F^{\mathrm{unr}})\subset\operatorname{Gal}(\overline F/F)$ be the inertia subgroup.

Is there a description of the abelianization $I_F^{\mathrm{ab}}$ known?

Letting $F^{\mathrm{tame}}$ be the maximal tamely ramified extension of $F$, we have an abelian extension $F^{\mathrm{tame}}(\mu_{p^\infty})/F^{\mathrm{unr}}$. How much larger is the full maximal abelian extension of $F^\mathrm{unr}$? Also note that a description of the abelianization of the wild inertia $P_F$ is known due to Iwasawa, see Explicit construction of abelian wild inertial extensions of maximal tamely ramified extension of $\mathbb{Q}_p$?.

edited tags
Link
Kenta Suzuki
  • 3.1k
  • 1
  • 9
  • 32
Source Link
Kenta Suzuki
  • 3.1k
  • 1
  • 9
  • 32

Abelianization of the inertia group

Let $F/\mathbb Q_p$ be a finite extension, and let $I_F=\mathrm{Gal}(\overline F/F^{\mathrm{unr}})\subset\mathrm{Gal}(\overline F/F)$ be the inertia subgroup.

Is there a description of the abelianization $I_F^{\mathrm{ab}}$ known?

Letting $F^{\mathrm{tame}}$ be the maximal tamely ramified extension of $F$, we have an abelian extension $F^{\mathrm{tame}}(\mu_{p^\infty})/F^{\mathrm{unr}}$. How much larger is the full maximal abelian extension of $F^\mathrm{unr}$? Also note that a description of the abelianization of the wild inertia $P_F$ is known due to Iwasawa, see this question.