Questions tagged [local-fields]
The local-fields tag has no usage guidance.
262 questions
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 ...
- 15.4k
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 ...
- 910
28
votes
3
answers
2k
views
What is a tamely-ramified Weil-Deligne representation?
Let $W_F$ denote the Weil group of a finite extension of $\mathbb{Q}_p$. Let $I$ denote the inertia subgroup and $I^{>0}$ the (pro-$p$) subgroup of wild inertia. (I hope I've got my notation right.....
- 6,162
22
votes
5
answers
2k
views
Local inverse Galois problem
It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedean field $K$ has solvable (in fact supersolvable [edit: no!]) Galois group $G$. One sees this by using the ramification ...
- 1,062
22
votes
3
answers
2k
views
Totally ramified subextension in a finite extension of $\mathbf{Q}_p$
Let $K$ be a finite extension of $\mathbf{Q}_p$. Let $F_d$ be the unramified extension of $\mathbf{Q}_p$ of degree $d$. I would like to know whether there exists some $d \geq 1$ and some $L \subset K \...
- 6,924
22
votes
2
answers
1k
views
Langlands correspondence for higher local fields?
Let $F$ be a one-dimensional local field. Then Langlands conjectures for $GL_n(F)$ say (among other things) that there is a unique bijection between the set of equivalence classes of irreducible ...
user74900
21
votes
0
answers
520
views
Is the exponent of $2$ in the Pythagorean theorem the "same $2$" as $[\mathbb{C} : \mathbb{R}]$?
I posted this question in Math StackExchange a couple years ago; due to the recent surge in interest, and following the feedback of several users, I've decided to cross-post it here. I apologize for ...
- 1,206
19
votes
1
answer
4k
views
A good book on adeles and ideles
Many results in number theory are stated either in a classical language or in an adelic one. I am often impressed of the efficiency and the satisfactory computational properties of the adelic setting, ...
- 5,424
15
votes
4
answers
2k
views
Why does the field norm on the field extension $ \mathbb C/\mathbb R $ induce a vector space norm?
There is a general result which holds for the rational numbers $ \mathbb Q $ (as well as number fields in general):
For any completion $ K $ of $ \mathbb Q $ and any finite extension $ L/K $ of ...
- 291
14
votes
3
answers
3k
views
Computing (on a computer) higher ramification groups and/or conductors of representations.
I am supervising an undergraduate for a project in which he's going to talk about the relationship between Galois representations and modular forms. We decided we'd figure out a few examples of weight ...
- 41.4k
14
votes
0
answers
500
views
The Ax-Kochen isomorphism theorem and the continuum hypothesis
Let's recall that:
(1): The Ax-Kochen principle says that if $\mathcal{U}$ is a non-principal ultrafilter over prime numbers, then $\prod_{\mathbb{U}} \mathbb{F}_p((t)) \equiv \prod_{\mathbb{U}} \...
- 32.2k
13
votes
4
answers
2k
views
Which groups are Galois over some p-adic field?
Suppose I have some finite $p$-group $G$, or a little extension of it.
How do I know if there exists a prime $l$ and a finite extension $K$ of $\mathbb{Q}_l$ such that $G$ is the Galois group of ...
- 11.3k
13
votes
4
answers
2k
views
metaplectic group does not split
I'm trying to understand the Weil representation and hope there are some experts around who can set me straight. Let $F$ be a non-Archimedean local field (I don't mind assuming that the characteristic ...
- 3,605
13
votes
1
answer
765
views
Does $0\to I\to\mathrm{Gal}_K\to\mathrm{Gal}_k\to 0$ always split?
Let $K$ be a henselian valuation field with residue field $k$, then the decomposition group surjects onto Galois group of the residue field, with kernel the inertia subgroup, namely we have short ...
user39380
13
votes
1
answer
400
views
What is the normal closure of $\mathbb{Q}_p \cap \bar{\mathbb{Q}}$ over $\mathbb{Q}$?
What is the normal closure of $\mathbb{Q}_p \cap \bar{\mathbb{Q}}$ over $\mathbb{Q}$? Is it $\bar{\mathbb{Q}}$?
- 601
13
votes
1
answer
291
views
$p$-adic counterpart of W-algebra
Representation theory and geometry over $k((t))$ and $\mathbb{Q}_p$ have many similarities, and there are many similar constructions, usually motivated from the other side (say the study of affine ...
- 1,391
12
votes
1
answer
778
views
Is every Polish ring topology on $\mathbb{C}$ defined by an absolute value?
There is a unique up to isomorphism algebraically closed field of characteristic 0 and cardinality of the continuum. Let's call it $K$.
We usually call it $\mathbb{C}$, but by this we impose a ...
- 11.6k
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 ...
- 273
11
votes
1
answer
2k
views
On unramified p-adic groups
Let G be a reductive group over a local field F. Let O be the ring of integers of F.
The following are equivalent (and groups satisfying these conditions are called unramified):
(a) G is quasisplit ...
- 8,866
11
votes
1
answer
4k
views
henselization and completion
This might not be a question appropriate for this forum, I apologize in this case...
Is it true that any element of the completion of a valued ring $R$ that is algebraic over the field of fractions of ...
- 111
11
votes
0
answers
383
views
Galois invariants in a ring of fractional power series over a finite field
Let $\mathbf{F}_q$ be a finite field, and let $A=\mathbf{F}_q [[ x^{1/q^\infty} ]]$ be the completion of $\mathbf{F}_q[x^{1/q^\infty}]$ with respect to the $x$-adic topology. Then the $q$th power ...
- 4,487
10
votes
4
answers
2k
views
Reference request: expository text on the structure of reductive groups over non-archimedean local fields
I am interested in an expository text in English, which summarizes the main results and aspects of the structure theory of reductive groups over local fields, in a hopefully not very technical manner (...
- 2,027
10
votes
2
answers
265
views
Orbits of $GL(n, \mathcal{O})$ on pairs of linear subspaces over non-Archimedean local fields
Let $F$ be a non-Archimedean local field. Let $\mathcal{O}$ be its ring of integers. Let $Gr_{i,n}$ denote the Grassmannian of $i$-dimensional linear subspaces in $F^n$.
Can one describe ...
- 21.8k
10
votes
1
answer
654
views
Dyadic Hilbert symbols and higher unit groups
Let $F$ be a local dyadic number field, $\mathfrak{p}$ its maximal ideal, $(*,*)_F$ its quadratic Hilbert symbol and $e$ its ramification index (i.e. $\mathfrak{p}^e$ is exact divisor of $2$). Fix an ...
- 101
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
10
votes
0
answers
409
views
Higher Adeles of a scheme and related topics
Let $X$ be a noetherian scheme. I will describe a construction of a simplicial ring which I think is called the Bellinson higher Adeles complex (or something similar).
Consider the augmented ...
- 7,799
10
votes
0
answers
1k
views
Automorphisms of local fields
It is an amusing coincidence (at least it appears to be a coincidence to me) that any completion of the field $\mathbb{Q}$ has trivial automorphism group as an abstract field, i.e. when ignoring the ...
- 1,298
9
votes
2
answers
940
views
Does the discriminant of an irreducible polynomial of a fixed degree determine the discriminant of the number field it generates?
In the quadratic case, it does. Given an irreducible quadratic polynomial $f(x)=ax^2+bx+c$, the discriminant of the quadratic number field $\frac{\mathbb{Q}[x]}{f(x)}$ is $\operatorname{sqf}(d)$ or $4\...
- 270
9
votes
1
answer
696
views
Conductor as volume of the integers ring
I am working on Tate's thesis, and I have some problems with computations, yet the result seems to be a good natural motivation for introducing the arithmetic conductor of a character.
Let $F$ be a ...
- 5,424
9
votes
1
answer
4k
views
Maximal tamely ramified extension of $\mathbf Q_p$
Is there an explicit description of the maximal tamely ramified extension of $\mathbf Q_p$?
- 2,040
9
votes
1
answer
448
views
Showing that $2c_1(f_*\mathscr O_X)=-f_*R_f$ on curves, maybe by local fields
I originally asked this question on Mathematic StackExchange, but it did not seem to be attracting any attention, so now I am trying mathoverflow. I hope it is not too simple or unappropriate a ...
- 2,011
9
votes
1
answer
578
views
Rational points on varieties over local fields
In his expanded lecture notes Rational points on varieties, Bjorn Poonen writes the following:
REMARK 2.5.3: There is an algorithm that, given a local field $k$ of characteristic $0$ and a $k$-...
- 1,017
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}(...
- 311
9
votes
1
answer
617
views
Characters of simply connected semsimple algebraic groups over local fields
Let $G$ be a semisimple algebraic group over $\mathbb{Q}_p$. Then by definition $G$ admits no non-trivial algebraic characters, i.e. homomorphisms $G \to \mathbb{G}_m$.
However, it is quite possible ...
- 21.4k
9
votes
1
answer
331
views
Tempered Iwahori-spherical representations
Consider a local field $F$ of characteristic 0 and $G=GL_n(F)$.
It is well known (for example Cartiers article in Corvallis) that an admissible, irreducible representation $\pi$ of $G$ has a ...
- 163
9
votes
2
answers
626
views
Invariant functor for admissible representations of reductive groups over local fields
Hello,
I have a question concerning a certain functor between represention categories. I'm rather sure this is already known, but I could not find a reference.
Let $F$ be a local non-archimedean ...
- 223
9
votes
0
answers
440
views
Full measure properties for Zariski open subsets in $p$-adic situation
Let $F$ be a $p$-adic field and let $X$ be a smooth integral variety over $F$ (I am chiefly interested in the case when $X$ is a connected reductive group over $F$). Let $U$ be a non-empty open subset ...
- 787
8
votes
2
answers
725
views
Is every connected reductive group over a local field already defined over a global field?
Let $K$ be a local field, e.g. $\mathbb{Q}_p$ or $\mathbb{F}_p((t))$. Let $G$ be a connected reductive group over $K$. Is it true that $G$ is already defined over a global field? More precisely, does ...
- 113
8
votes
2
answers
1k
views
Examples to keep in mind while reading the book 'The Admissible Dual...' by Bushnell and Kutzko and the importance of Interwining of representations
I am a beginner in the field of representation theory. I was reading the book 'The Admissible Dual of $GL(N)$ Via Compact Open Subgroups' by Bushnell and Kutzko.
Let me first describe the book a ...
- 685
8
votes
1
answer
345
views
Regarding upper numbering of ramification groups
In Serre's book "Local fields" he defines the function $\phi(u)=\int_{0}^{u}\frac{dt}{( G_0:G_t)}$ and defines the upper number of ramification groups as $G^v=G_{\phi^{-1}(v)}$ and somehow ...
8
votes
1
answer
526
views
Integral representation of adjoint L-factor for GL(2)
My question is about a local computation in the paper of Gelbart and Jacquet, "A relation between automorphic representations of GL2 and GL3", from 1978.
Let $\sigma$ be an irreducible smooth complex ...
- 37k
8
votes
0
answers
317
views
Finding a cyclic cubic extension of a field
Let $K$ be a field and let $E/K$ be a Galois extension of degree 6 with $\text{Gal}(E/K) = S_3$, the symmetric group on 3 letters. Pick two different transpositions $s_1, s_2$ in $S_3$ (hence $s_1s_2$ ...
- 1,017
8
votes
0
answers
221
views
Inertia group vs. differential equations
The tame quotient of the inertia group of $\mathbf Q_p$, say, is the profinite group generated by the Frobenius $\sigma$ and the monodromy $\tau$, subject to the relation $\tau^{p-1} [\tau, \sigma] = ...
- 2,040
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 - ...
- 899
7
votes
1
answer
684
views
Type of place versus type of unitary group
Let $F$ be a totally real number field, $E$ a totally imaginary quadratic extension over $E$, and $V$ an hermitian $n$-dimensional vector space over $F$. I assume $n=2m$ is even. Let $U$ be a unitary ...
- 5,424
7
votes
2
answers
350
views
explicit uniformizer for the false Tate extension
Let $p$ be an odd prime and let $n\geq 1$. Set $K=\mathbb{Q}_p(\zeta_{p^n})$,
$L=\mathbb{Q}_p(\sqrt[p^n]{p})$, and $M=KL$. I claim that $M$ is totally ramified of degree $\phi(p^n)p^n$ (the proof ...
- 7,609
7
votes
1
answer
496
views
analogue of Theorem of Mattuck for Abelian varieties over $\mathbf{F}_q(\!(t)\!)$
By a theorem of Mattuck [Abelian Varieties over $p$-Adic Ground Fields, Annals of Mathematics, Second Series, Vol. 62, No. 1 (Jul., 1955), pp. 92-119], for an Abelian variety $A$ of dimension $g$ over ...
user19475
7
votes
1
answer
851
views
Understanding the structure of unitary groups
I would like to understand precisely the structure of unitary groups.
Let $F$ be a global number field, $E$ a quadratic extension of $F$, and $U$ a unitary group on $E$ (i.e. the group of ...
- 5,424
7
votes
1
answer
1k
views
Given $v,w$ primes of $k$, is there $K/k$ so $K_v\cap\Bbb Q^\text{cycl}=K_w\cap\Bbb Q^\text{cycl}=K\cap\Bbb Q^\text{cycl}$?
For any field $k$, let $\mu(k)$ denote the roots of unity in $k$. Now let $k$ be a number field and let $v, w$ be non-archimedean primes of $k$ with distinct residual characteristics. Does there ...
- 2,799
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