Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
1 answer
898 views

p-adic expansion for elements in algebraic closure of p-adic numbers

In the following I will describe a proposal for the p-adic expansion of the elements of the algebraic closure $\overline{\mathbb{Q}_p}$ of $\mathbb{Q}_p$. My question is if this "conjecture" has been ...
Chilote's user avatar
  • 596
5 votes
0 answers
758 views

maximal abelian extension of quadratic extension of $\mathbb Q_p$

I read this article "Local class field theory via Lubin-Tate theory" http://arxiv.org/pdf/math/0606108v2.pdf. And I want to find the maximal abelian extensions for quadratic extensions of $\mathbb Q_p,...
Dirk's user avatar
  • 51
4 votes
1 answer
367 views

Conductor and local Kronecker–Weber theorem

Given an abelian extension $K$ of $\mathbb{Q}$, the global Kronecker–Weber theorem tells us that there exist a positive integer $N$ and a primitive $N$-th root of unity $\zeta_N$ such that $K\subseteq ...
Yijun Yuan's user avatar
4 votes
1 answer
273 views

Kummer congruences for totally real number fields

There is a generalization of the Kummer congruences to totally real number fields with characters due to Deligne-Ribet. For example, see the exposition here, more precisely see Theorem 2.1. What is ...
Asvin's user avatar
  • 7,746
4 votes
0 answers
66 views

Computing preimage of element under norm map of quadratic extension of $2$-adic fields

Let $F$ be a $2$-adic field, i.e. a finite extension of the $2$-adic numbers $\mathbb{Q}_2$. Suppose that I have a quadratic extension $E = F(\sqrt{d})$ of $F$. Given a unit $\alpha \in \mathcal{O}_F^\...
Sebastian Monnet's user avatar
4 votes
0 answers
170 views

Does $p$-adic Baker theorem holds in the given case?

Let $p$ be a prime number, $\mathbb{Q}_p$ the field of $p$-adic numbers, and $\mathbb{C}_p$ the completion of the algebraic closure of $\mathbb{Q}_p$. Let $U_p$ be the units $(1+\mathfrak{m})$ of $\...
MAS's user avatar
  • 930
3 votes
0 answers
164 views

Using the Hilbert symbol to find nice field extensions

Let $p$ and $q$ be (not necessarily distinct) odd primes and let $F=\mathbb{Q}_p(\mu_q)$. The $q^{th}$ Hilbert symbol induces a non-degenerate alternating form $$(\cdot,\cdot)_q:F^\times/(F^\times)^q\...
Spencer Leslie's user avatar
2 votes
1 answer
202 views

Decomposition of $\widehat{k^{\times}}$ occuring in local class field theory

Let $k$ be a finite extension of $\mathbb{Q}_p$ very often we use the isomorphism that $Gal(\overline{k}/k)^{ab} \simeq \hat{(k^{\times})}$ given by local class field theory. My question would be do ...
Pierre21's user avatar
  • 385
2 votes
0 answers
166 views

Relative Leopoldt defect

Let F be a totally real number field such that the Leopoldt conjecture holds at a prime number $p$ and $M$ be a quadratic totally real extension of $F$. Is there a bound of the Leopoldt defect of $M$ ...
Adel BETINA's user avatar
  • 1,066
1 vote
1 answer
190 views

Hilbert symbols vanishing

Let $p$ be an odd prime, and let $E/\mathbb{Q}_p$ be a finite extension that contains a primitive $p$-th root of unity $\zeta_p$ but not a primitve $p^2$-th root of unity $\zeta_{p^2}$. Let $a,b \in E^...
Pablo's user avatar
  • 11.3k
1 vote
0 answers
146 views

Class field theory, Ideles class

Let $H$ be a totally complex Galois extension of $\mathbb{Q}$ and $g:G_H \rightarrow \bar{\mathbb{Q}}_p$ be a continuous morphism. By class field thoery we have $\mathrm{Hom}(G_H, \bar{\mathbb{Q}}_p)\...
Adel BETINA's user avatar
  • 1,066