Questions tagged [local-fields]
The local-fields tag has no usage guidance.
262 questions
4
votes
1
answer
347
views
A Tate-Sen theorem mod $p$
Let $p$ be a prime number, $G=\textrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$, and $\chi:G\rightarrow\mathbb{Z}_p^\times$ the cyclotomic character. Let $\mathbb{C}_p$ denote the completion of the ...
- 2,834
4
votes
1
answer
507
views
Galois cohomology of separable closure
Let $K$ be a local field, $K^{sep}$ its separable closure, $G = Gal(K^{sep}/ K)$ the Galois group and $C := \overline{K^{sep}}$ the completion with respect to the induced valuation.
In his paper on $p$...
- 2,197
4
votes
1
answer
119
views
Reference for nonquasi-split groups of type $E_6$ and $E_7$ over local fields
The semisimple groups over a local field have been classified by Tits, cf. [1] "Classification of algebraic semisimple groups" in Boulder and [2] "Reductive groups over local fields" in Corvallis.
In ...
- 991
4
votes
1
answer
731
views
Reference for: Every local field can be realized as the completion of a global field
It is well known that every local field (i.e. nondiscrete topological field locally compact with respect to the topology) is the completion of some global field. I know the argument, a nice ...
- 412
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 ...
- 549
4
votes
1
answer
265
views
Local triviality of Galois cohomology classes over $\mathbb{Q}$
Let $A$ be a $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$-module which is a finitely generated free $\mathbb{Z}$-module. I'm interested in the behaviour of cohomology classes in
$$\mathrm{H}^1(\mathbb{...
- 21.4k
4
votes
1
answer
469
views
Semisimple group not split by an unramified extension?
Let $F$ be a nonarchimedean local field. Does there exist a semisimple algebraic group over $F$ which is not split over a maximal unramified extension of $F$ ?
- 1,704
4
votes
1
answer
313
views
Confusion with self-dual representations of $\mathrm{GL}_n$ over a $p$-adic field
The following surely is kind of a trivial question, but it keeps me confused. It concerns a detail in Lust and Stevens' paper "On depth zero L-packets for classical groups" London Math. Soc. ...
- 769
4
votes
0
answers
143
views
Unramified Galois cohomology
Let $k$ be a local field with absolute Galois group $\Gamma_k$, inertia subgroup $I_k \subset \Gamma_k$, and residue field $\mathbb{F}$. Let $M$ be a finite Galois module over $k$.
The unramified ...
- 21.4k
4
votes
0
answers
228
views
The definition of complex multiplication on K3 surfaces
I am reading this paper on the complex multiplication of K3 surfaces. It seems that this is only defined for complex K3 surfaces, or K3 surfaces over number fields. Is there a more general defintion ...
- 141
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
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 ...
- 411
4
votes
0
answers
157
views
Reference request - conjugacy classes over local fields
Is there a nice reference for reductive groups over local fields, which for example contains discussion of things such as: Given a semisimple element in $G(F)$, its $G(F)$-conjugacy class is closed in ...
- 5,562
4
votes
0
answers
99
views
Monoid cohomology of $\mathbb{N}$ for a linear algebraic group
Let $k$ be a finite field and $k_E:=k((X))$ denote the field of Laurent series over $k$. We define a Frobenius endomorphism on $k_E$ via $f(X)\mapsto f(X^p)$. We choose a lift $\varphi:k_E^{sep}\...
- 273
4
votes
0
answers
415
views
Locally compact vector space over a finite field
In the wikipedia article titled "topological vector space", there is a line saying the following.
"Let $K$ be a locally compact topological field, for example to real or complex numbers. A ...
- 540
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 ...
- 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
4
votes
0
answers
322
views
Automorphisms of k((X))
I'm looking for a good reference for the following fact:
Let $k$ be a perfect field of characteristic $p$ and let $K=k((X))$.
Then every $k$-linear automorphism of $K$ is continuous with respect
to ...
4
votes
0
answers
1k
views
Cartan decomposition for upper triangular matrices
Due to the comments, I have the impression that I have to be more precise.
Consider $G= GL_n(F)$ for a non-Archimedean field $F$ with ring of integers $o$.
Let $K= GL_n(o)$ and let $I$ the Iwahori ...
- 11.2k
3
votes
2
answers
532
views
A remark of Mordell alluding to a local/global principle for cubic Diophantine equations
In Mordell Diophantine Equations he says:
In recent years it has been shown that there seems to be a close connection between the number of solutions of f(x,y) = 0 (mod $p^r$) and the existence of ...
- 621
3
votes
2
answers
1k
views
What are the open normal subgroups of the inertia group of a local field?
Let $K$ be a non-Archimedean local field, i.e., complete with respect to a non-trivial, non-archimedean discrete absolute value, with finite residue field $k$ of characteristic $p\neq 0$. Also let $...
- 3,380
3
votes
2
answers
500
views
A question related to supercuspidal representations of $\operatorname{GL}_2$ over local fields
I was learning about the representation of $\operatorname{GL}_2$ over local fields and came to know something like: if the residual characteristic of the local field is an odd prime, then every ...
- 424
3
votes
1
answer
245
views
Is $G \rightarrow G/P$ surjective on $K$-points over a local field?
Let $K$ be a local field, $G$ a (connected) reductive $K$-group, and $P \le G$ a parabolic subgroup. Is the map $G(K) \rightarrow (G/P)(K)$ necessarily surjective, and, if so, then why?
- 1,103
3
votes
1
answer
871
views
Discrete Series representations for $SL_{2}$ over $p$-adic field.
I am working on the chamber homology for $SL(2,F)$, and stuck at some basic stuff on D.S. reps of $SL(2,F)$.
Let $ I=\left(
\begin{array}{cc}
\mathcal{O}_{F} & \mathcal{O}_{F} \\
...
3
votes
1
answer
188
views
Is the set of hyperelliptic curves with a K-point closed?
I am actually interested in the same question for more general kinds of curves, but I will be specific.
Let $K$ be a field and $\overline{K}$ be an algebraic closure of $K$. Let's say that a "...
- 1,689
3
votes
2
answers
828
views
Why is the norm map dual to restriction under Tate local duality?
Let $L/K$ be a finite Galois extension of nonarchimedean local fields, and let $A$ and $A^t$ be dual abelian varieties over $K$. Tate local duality tells us that $A^t(K)$ and $H^1(K, A)$ are ...
- 1,103
3
votes
1
answer
377
views
What's the minimum number of generators for the wild inertia?
Suppose $K$ is a finite extension of $\mathbb{Q}_p$ and $K^{nr}$ the maximal unramified extension of $K$ in some fixed algebraic closure. Let $G_K$ be the absolute Galois group of $K$ and let $I_w$ be ...
- 5,019
3
votes
1
answer
523
views
Topology of multiplication groups of local fields
In Neukirch’s book “Algebraic Number Theory”, Proposition II.5.7, the following is insisted: for a mixed characteristic local field $K$ with a residue field $\mathbb{F}_q$, $q = p^f$, then one has an ...
- 65
3
votes
2
answers
340
views
Lubin-Tate modules and different uniformizers
Suppose I have a local field $\mathcal{O}_K$ and two different prime elements $\pi$ and $\overline{\pi},$ i.e they differ by a unit $\overline{\pi} = u \pi$ for some $u \in \mathcal{O}_K^{\times}$ not ...
- 31
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'$ ...
- 31
3
votes
1
answer
251
views
Subring of quaternion algebra
I am following the book Introduction to Quadratic Forms over Fields by T. Y. Lam. In section VI.2, the author proves that, over an arbitrary local field $F$, there is a unique quaternion division ...
- 545
3
votes
1
answer
305
views
perfectoid field of characteristic $p$
Let $L$ be perfectoid field of characteristic $p$ and $L'$ be a finite extension of $L$. Then I want to prove the trace map $\text{Tr}_{L'/L}: m_{L'}\rightarrow m_L$ is surjective. I find a proof in ...
user141691
3
votes
1
answer
189
views
References for Bernstein-Zelevisnky classification
I am looking for references for the Bernstein-Zelevisnky classification of irreducible representations of GL$(n,F)$ in terms of cuspidal representations. In particular I would like to find something ...
- 367
3
votes
1
answer
296
views
$p$-power torsion of semiabelian variety
Let $K$ be a finite extension field of $\mathbb{Q}_p$. Let us consider a semiabelian variety $G$ defined over $K$, i.e there exists an extension of an abelian variety $B$ and a torus $T$ defined over $...
- 247
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 ...
- 225
3
votes
1
answer
192
views
Frobenius-Schur indicator of a self-dual L-parameter
Let $F$ be a non-archimedean field and let $\pi$ be a self-dual supercuspidal representation of $\mathrm{GL}_n(F)$ (which, by a result of Adler exists only when $n=1$ or $n$ is even). Then, under LLC ...
- 3,054
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
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
3
votes
0
answers
128
views
Galois cohomology with coefficients in the integers of the Lubin-Tate extension
Let $K$ be a $p$-adic local field, and $L$ the Lubin-Tate extension obtained from $K$ by attaching roots of some Lubin-Tate formal $\mathcal{O}_{K}$-module with $Gal(L/K) \simeq \mathcal{O}_{K}^{\...
- 2,197
3
votes
0
answers
85
views
Cohomology of compact open subgroups of semisimple groups over local fields
Let $E$ be a local field, $\mathcal{O}$ its ring of integers, $k$ its residue field, and $G$ a split semisimple group over $\mathcal{O}$. Let $K$ be an open subgroup of $G(\mathcal{O})$; more ...
- 10.5k
3
votes
0
answers
117
views
Why inherit the Tits systems structure by a $B$-adapted homomorphism?
Let $(G,B,N,S)$ be a Tits system and $\phi\colon G\longrightarrow \hat{G}$ a $B$-adapted in the sense of the paper Groupes réductifs sur un corps local: I of Bruhat–Tits. They said that $\phi$ is a $B$...
- 479
3
votes
0
answers
191
views
Decomposition of primes in cyclotomic extensions and their ramifications
Let $p$ be a prime. Suppose $L$ is a degree $p$ Galois extension over a number field $K$. Suppose $p$ splits both in $K$ and $L$.
So there will be $[K:\mathbb{Q}]$ primes of $K$ over $p$. Call them $...
- 313
3
votes
0
answers
96
views
Multiplication law in a division algebra of dimension 9 over a non-archimedean local field
Let $k$ be a non-archimedean local field, for example, a $p$-adic field (a finite extension of the filed ${\Bbb Q}_p$ of $p$-adic numbers).
It is well known that there is a canonical isomorphism
$${\...
- 14.2k
3
votes
0
answers
256
views
Multivariate Weierstrass preparation Theorem?
Let $(K,|\cdot|)$ be a complete local field and $\mathcal{O}$ be its ring of integers. Let $C$ be a complete algebraic closure of $K$ and let $\mathfrak{m}:=\{x\in \mathcal{O}_{C}~|~|x|<1\}$ where $...
- 1,479
3
votes
0
answers
135
views
Conjugation action of $Gal(\bar{s}/s)$ on the tame ramification group
There is a statement in SGA 7-1 Exposé 1 (P. Deligne, Résumé des premiers exposés de A. Grothendieck, pdf of SGA7-1), (0.3.1):
$S$ is a Henselian trait (i.e. the spectrum of a henselian discrete ...
- 83
3
votes
0
answers
204
views
Miraculous Parahorics
Let $G$ be a connected simple group over a local field $k$. Let $I\subset G(\mathcal{O})$ denote an Iwahori subgroup of $G(k)$ with Lie algebra $\mathfrak{i}$. Let $P\supseteq I$ be any other ...
- 2,751
3
votes
0
answers
370
views
The Breuil-Mezard Conjecture and Generalizations (Survey)
What's the current state of the Breuil-Mezard conjecture? Has the original version (from the 2002 paper) been solved in its entirety? What are some of the new directions being explored?
- 171
3
votes
0
answers
274
views
Is the special case of Abhyankar's lemma is also considered as such?
Consider the following statement:
Assume $E$ and $F$ are unramified (over some fixed prime) finite separable extensions of a field $K$. Then $EF$ is also unramified.
I always thought that it is ...
- 3,362
3
votes
0
answers
347
views
Question about Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves
I am trying to understand an argument of Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves. I am stuck and I would appreciate any explanations.
Let $E$ be an elliptic curve over $K$, ...
- 3,625
3
votes
0
answers
375
views
compact Zariski-dense subgroups of p-adic groups
Given an algebraic group $G$ defined over a $\mathbb Q_p$. It has two topologies: one is induced by the $p$-adic metric, the other is the Zariski topology. Let $C$ be a compact (w.r.t. the $p$-adic ...
- 453