All Questions
Tagged with local-fields class-field-theory
39 questions
2
votes
1
answer
252
views
Ring structure on Brauer group
Class field theory defines an isomorphism between the Brauer group of a finite extension of p-adic fields and a cyclic group with a canonical generator. This in turn defines an isomorphism of the ...
CommunityBot
- 1
2
votes
0
answers
116
views
Restriction of the local Artin map on the valuation ring of a local field
Let $F$ be a local field, in particular a finite extension of $\mathbb{Q}_p$ for some prime $p$ and let $Art_{L}: L^\times \to Gal(F^{ab}/F)$ be its local Artin map. We know that if $L/F$ is a finite ...
CommunityBot
- 1
3
votes
0
answers
80
views
Local Class field theory and Artin map for the Weil group
I am searching a reference for local class field theory that use the Weil group instead of the absolute Galois group. In particular that the Artin map is an isomorphism between the multiplicative ...
- 367
1
vote
1
answer
163
views
Is there any relationship between the study of class number of a number field with the study of class field theory through Lubin-Tate formal group?
I am curious to know if we can somehow relate to the study of local class field theory through Lubin-Tate formal group with the study of class number of a field (global field in general) in class ...
- 930
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^\...
- 411
4
votes
1
answer
366
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 ...
- 149k
2
votes
0
answers
79
views
$n$-th root of character on local field
Let $F$ be a non-Archidean local field of characteristic 0, and $\zeta_n$ the set of $n$-th roots of unity in the algebraic closure of $F$. Assume $\zeta_n\subseteq F$. Let $\chi:F^\times\to\mathbb{C}^...
- 833
4
votes
0
answers
160
views
Reference request: Discriminant of a $V_4$-extension of local fields is the product of discriminants of intermediate fields
Disclaimer - cross-posting: I already posted this question on MSE, here. In line with the accepted answer of this meta question, I am also asking it here, since it is a research-level question and it ...
- 32.6k
2
votes
0
answers
132
views
For a quadratic extension $E/K$, condition on a character $\chi:E^\times/E^{\times 2} \to C_2$ to give a $C_4$-extension $L/K$
Let $K$ be a finite extension of $\mathbb{Q}_2$, and let $E/K$ be a quadratic extension. By local class field theory, quadratic extensions $L/E$ correspond to quadratic characters $\chi:E^\times \to ...
- 12.9k
6
votes
0
answers
513
views
Extensions of p-adic number fields
Let $p$ be a prime number and $\mathbb{Q}_p$ be the $p-$adic rational field. Let $E/\mathbb{Q}_p$ be a fixed finite extension. On this site, I define a finite extension $F/E$ to be "good" if ...
- 12.9k
3
votes
0
answers
141
views
Cohomology of local fields in positive characteristic
It is well-known from local class field theory that the Brauer group $\text{Br}(k)$ of a local field $k$ gets killed as you pass to sufficiently large extensions of $k$. In particular, $\text{Br}(L)(p)...
- 41
2
votes
0
answers
130
views
Can global fields be defined as certain topological fields like local fields?
It's known that local fields can be defined as a non-discrete, Hausdorff (equivalently non-indiscrete), locally compact, topological field, which is the same as non-trivial (i.e. neither discrete nor ...
- 452
1
vote
0
answers
180
views
Maximal unramified extension and algebraic closure of $\operatorname{Frac}(\widehat{A_{\mathfrak{m}_A}})$
$\DeclareMathOperator\trdeg{trdeg} \DeclareMathOperator\Frac{Frac} $
Let $k$ be an algebraically closed field of characteristic $0$ and $K$ a function field over $k$. let $(A, \mathfrak{m}_A)$ a ...
- 5,966
2
votes
0
answers
128
views
Lubin--Tate formal group construction in local class field theory using group cohomology
Let $K$ be a non-archimedean local field of characteristic 0. Fix a uniformiser $\pi$ and an algebraic closure $\bar{K}$. The theory of Lubin--Tate formal groups gives an explicit construction of the ...
- 1,428
5
votes
1
answer
439
views
What are the jumps in the ramification filtration of the absolute Galois group of a local field?
Let $k$ be a (complete) discretely valued field and $\ell$ a Galois extension of $k$, possibly infinite. The Galois group $\Gamma=\text{Gal}(\ell/k)$ of $\ell$ over $k$ admits a descreasing, $\mathbb ...
- 149k
9
votes
1
answer
322
views
A question about mod $p$ local Langlands for $\mathrm{GL}_{2}(\mathbb{Q}_{p})$
In the mod $p$ local Langlands correspondence for $\mathrm{GL}_{2}(\mathbb{Q}_{p})$, the irreducible supercuspidal representation $\left(\mathrm{ind}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}_{\mathrm{GL}_{2}(...
- 37k
1
vote
1
answer
138
views
$0$-th Galois cohomology with topological Milnor K-groups coefficients
In local class field theory, the reciprocity map is constructed by using the isomorphism ${\rm Br}(F)\simeq \mathbb{Q/Z}$, where $F$ is a local field and ${\rm Br}(F)$ is its Brauer group. The ...
- 31
2
votes
0
answers
293
views
Totally ramified extensions of p-adic fields
Let $\mathbb{Q}_p$ denote the field of p-adic numbers. For a prime number $q$ ($\neq p$), does exist a totally ramified extension $K/\mathbb{Q}_p$ with Galois group isomorphis to $\mathbb{Z}_q \times \...
- 437
12
votes
0
answers
272
views
sequences in non-abelian group cohomology
In general, if we have a (pro-)finite group $G$ and a sequence of (continuous) non-abelian $G$-modules $$1\rightarrow A\rightarrow B\rightarrow C\rightarrow 0,$$ such that the image of $A$ lies in the ...
- 7,377
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 ...
- 1,386
10
votes
0
answers
600
views
A formal group scheme in explicit local class field theory
Let $K$ be a nonarchimedean local field with residue field $k$ of characteristic $q = p^N$, and pick a uniformizer $\pi\in \mathscr{O}_K$. Recall that explicit local class field theory, à la Lubin--...
- 5,770
5
votes
1
answer
516
views
Reference for Local class field theory via witt vectors
I would like to find some books or lecture notes on geometric local class field theory via Witt vectors. I can't find any good paper on this subject.All approaches in the books to local class field ...
CommunityBot
- 1
5
votes
1
answer
478
views
Artin map restricted to base field
Let $M/L/K$ be a tower of local fields such that $M/L$ is abelian with Galois group $G$. The Artin map $\psi_{M/L}$ restricted to $K^\times$ is a continuous map to $G$ and thus corresponds to some ...
- 980
7
votes
0
answers
470
views
Explicit $H^2(K, \mu) = Q/Z$?
In the development of local class field theory, a very fundamental theorem is that, for every local field $K$ of characteristic zero,
$H^2(K, \mu) \cong \mathbb{Q}/\mathbb{Z}$. $(*)$
Neukirch et al. ...
- 980
58
votes
9
answers
16k
views
Learning Class Field Theory: Local or Global First?
I've noticed that there seem to be two approaches to learning class field theory. The first is to first learn about local fields and local class field theory, and then prove the basic theorems about ...
CommunityBot
- 1
3
votes
1
answer
332
views
Inverse image of norm map on principal units for an unramified extension
For a local field $E$, denote by $U(E)$ the units of the corresponding valuation ring $\mathcal{O}_E$, and denote by $U_n(E)$ the prinicipal $n$-units, i.e. $U_n(E)=1+M_E^n$ where $M_E$ is the maximal ...
- 3,432
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^...
- 1,766
2
votes
1
answer
462
views
Complete fields with algebraically closed residue field
I am looking for a reference where the following result is proven:
Let $k$ be an algebraically closed field. If $K$ is a complete and discretely valued field with residue field $k$. Then $K$ is one ...
- 6,924
4
votes
1
answer
593
views
Hilbert Symbols, Norms, and p-adic roots of unity
Let $p$ be an odd prime number,
let $\mathbb{Q}_p$ be the field of $p$-adic numbers,
and let $\overline{\mathbb{Q}_p}$ be an algebraic closure of it.
For a primitive $p$-th root of unity $\zeta_p \in ...
- 5,670
6
votes
2
answers
798
views
Are the abelian absolute Galois groups of these local fields isomorphic?
For a field $F$ we denote by $F^{\mathrm{ab}}$ the compositum of all finite Galois abelian extensions of $F$.
Is $\mathrm{Gal}(\mathbb{Q}_2(\sqrt[8]{3})^{\mathrm{ab}}/\mathbb{Q}_2(\sqrt[8]{3})) \...
- 355
42
votes
2
answers
5k
views
Motivating Lubin-Tate theory
The Lubin-Tate theory gives an amazingly clean and streamlined way of constructing the subfield (usually denoted) $F_\pi\subset F^\mathrm{ab}$ for a local field $F$ fixed by the Artin map associated ...
- 4,193
4
votes
0
answers
301
views
Can we prove the uniqueness of the local Artin map by using mostly global class field theory?
Let $l/k$ be a finite abelian extension of $p$-adic fields. There is a well defined local Artin map $k^{\ast} \rightarrow Gal(l/k)$ with kernel $N_{l/k}(l^{\ast})$. Let's suppose that we have only ...
CommunityBot
- 1
2
votes
0
answers
143
views
$K^{ur}K^{\pi} = L$
Let $K$ be a $p$-adic field, and $L$ an infinite abelian extension of $K$ containing $K^{ur}$. Let $\Phi: K^{\ast} \rightarrow Gal(L/K)$ be the local Artin map. Let $\pi$ be a uniformizer for $K$, ...
- 6,180
4
votes
0
answers
190
views
Is $K^{ur} K^{\pi} = L$?
Let $L/K$ be a finite extension of $p$-adic fields, $\pi$ a uniformizer of $K$, $\theta = (-, L/K)$ the local Artin map $K^{\ast} \rightarrow Gal(L/K)$, $E$ be maximal unramified extension of $K$ ...
- 6,180
1
vote
0
answers
101
views
Relation between 1-dimensional and 2-dimensional reciprocity maps
Let $M/L/\mathbb{Q}_p$ be a finite galois abelian extension of local fields and define
$\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathcal{Z}}a_iT^i : a_i\in M, \min_{i\in \mathcal{Z}} v(a_i)>-\infty, \...
- 33
3
votes
1
answer
492
views
Theorem 7b of Serre's "Propriétés galoisiennes des points d'ordre fini des courbes elliptiques"
Could someone please point me towards a proof of the statement in the second paragraph, in the proof of Theorem 7b of Serre's Propriétés galoisiennes...? The statement is as follows:
Let $F$ and $F'$ ...
- 1,285
2
votes
0
answers
433
views
Global Artin reciprocity law from Local class field theory
Let $K=\mathbb F_q((t)), p -$ prime ideal in $K$, $\psi_p$ be the local Artin map$K_p^* \to Gal(K_p^{ab}/K_p)=G_p \subset Gal(K^{ab}/K)$. Then I define global Artin map $\psi_K$as product of $\psi_p$, ...
- 71
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,...
- 2,454
7
votes
2
answers
3k
views
Image of norm map for local field
Let $F$ be a finite extension of $Q_2$ (2-adic field) or $F_2((x))$ (function field). Let $E/F$ be a separable extension of degree $2$.
What is the image of the norm map $N_{E/F}$?
In particular - ...
CommunityBot
- 1