Questions tagged [local-fields]
The local-fields tag has no usage guidance.
262 questions
1
vote
1
answer
264
views
How often does $-1$ have a square root in a local field?
Let $F$ be a nonarchimedean local field, say, charactersitic $0$. Is there any general theorem that tells when $\sqrt{-1}$ exists in $F$? How often does it happen?
- 833
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
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 ...
- 835
0
votes
1
answer
146
views
Does an affine building associated to a group satisfy the axioms of building?
Now I am reading Groupes réductifs sur un corps local : I. Données radicielles valuées written by Bruhat and Tits in 1972. Let $\Phi$ be a root system, $G$ a group with root data $(T,(U_{a},M_{a})_{a\...
- 479
2
votes
1
answer
158
views
Vanishing of the degree 2 cohomology of a p-adic field with coefficients Q/Z and action of the Frobenius and the Pontryagin dual of the inertia
Let $K$ be a $p$-adic field with Galois group $G$ and inertia subgroup $I\subset G$. Denote $(-)^\ast=\mathrm{Hom}_{cont}(-,\mathbb{Q}/\mathbb{Z})$. Using Tate local duality, we can compute $$H^2(G,\...
- 617
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
2
votes
0
answers
141
views
Refinement of Serre's mass formula
Let $F$ be a finite field extension of the $p$-adic numbers $\mathbb{Q}_p$, whose residue field has $q$ elements. Let $\mathfrak{p}$ be the prime ideal of $F$. Given a finite field extension $K/F$, ...
- 411
5
votes
1
answer
493
views
Looking for proof of Serre's mass formula
Let $F$ be a finite field extension of the $p$-adic numbers $\mathbb{Q}_p$, whose residue field has $q$ elements. Let $\mathfrak{p}$ be the prime ideal of $F$. Given a finite field extension $K/F$, ...
- 411
6
votes
2
answers
299
views
Is every compact simply-connected reductive p-adic group perfect?
Let $k$ be a nonarchimedean local field and $G$ a reductive $k$-group,
which we assume to be semisimple and simply-connected. Recall that an abstract group $H$ is perfect if it is generated by ...
- 835
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
5
votes
0
answers
181
views
defining the upper ramification numbering
Given a local field $K$ with absolute Galois group $\Gamma$. Is it "possible" to define the upper numbering on $\Gamma$ without using the lower numbering?
In other words, given $\gamma \in \...
- 159
0
votes
0
answers
78
views
Local field such that the value group of $K^\text{perf}$ ( perfect closure of $K$) is $\bigcup_{n\geqq1}(1/p^n) \Bbb{Z}$
Let $K$ be a local field of positive characteristic.
I'm looking for a $K$ which satisfies the following condition.
Value group of $K^\text{perf}$ (perfect closure of $K$) is $\bigcup_{n\geqq1}(1/p^n)...
- 1,541
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
1
vote
0
answers
88
views
The localization map for the Mordell-Weil group of elliptic curves over finite Galois extensions
Let $L/K$ be a finite Galois extensions of number fields and $E/K$ be an elliptic curve. Denote by $\mathcal{F}$ the localization map
\begin{equation}
\mathcal{F}: H^1(G,E(L)) \rightarrow \bigoplus_{v ...
- 437
2
votes
0
answers
99
views
Are tamely ramified representations $\widehat{\mathbb{Q}_p^\text{tr}}$-admissible?
Let $K$ be a finite field extension of $\mathbb{Q}_p$. Let $G_K$ denote the absolute Galois group of $K$, $I_K$ the inertia subgroup and $I_K^{(p)}$ the $p$-Sylow subgroup of $I_K$, i.e. the wild ...
- 455
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
2
votes
0
answers
88
views
IS the composition of infinite APF extensions again APF?
Convention: By APF extension, I mean APF extension of $\mathbb{Q_p}$.
For $\mathbb{Q_p} \subseteq L_1 \subseteq L_2$ where $L_2/L_1$ is finite, we know that $L_1/\mathbb{Q_p}$ is APF iff $L_2/\mathbb{...
- 333
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
1
vote
0
answers
255
views
Globalization of a local field
I am reading the paper ''Endoscopic classification of representations of quasi-split unitary groups'' by Chung Pang Mok, and cannot come up with the proof of theorem 7.2.1.
Here is the statement.
...
user163485
3
votes
1
answer
522
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
1
vote
0
answers
135
views
What is the preimage of the maximal ideal under certain exponential functions?
I'm taking a shot in the dark with this question, so I apologize if it makes no sense.
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $K_n$ be the field obtained by adjoining the $n$-th ...
- 123
2
votes
0
answers
338
views
Existence of "nth root function" which is analytic
Let $K$ be a finite extension of $Q_p$. Let $q$ be the size of the residue field of $K$, and let $\pi$ be a uniformizer of $K$. Then $q/\pi$ is some power of $\pi$ up to a unit $u$ in $K$, say $q/\pi =...
- 123
1
vote
0
answers
132
views
A question about Theorem 2.3.1 in Tate's thesis [closed]
I don't understand how to prove a conclusion in the Theorem.
When k is $p$-adic, the subgroups 1+$p^{v}$, $v>0$, of $u$ $(|u|=1)$ form a fundamental system of neighborhoods of $1$ in $u$, We must ...
- 89
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
1
vote
1
answer
284
views
$K_v(a^{1/m}) /K_v$ is unramified if only if $v(a)≡0 \pmod m$
Let $K$ be a number field and $v$ be it's one of $K$'s non-archimedian valuation.
Then, I would like to prove $K_v(a^{1/m}) /K_v$ is unramified if
only if $v(a)≡0 \pmod m$.
This is from Silverman's ...
- 1,541
1
vote
0
answers
169
views
Why is $\overline{\mathbb{F}_p}((t))$ transcendental over $\mathbb{F}_p((t))$?
Why is $\overline{\mathbb{F}_p}((t))$ transcendental over $\mathbb{F}_p((t))$ ?
I guess $\overline{\mathbb{F}_p}((t))$ is not unramified over $\mathbb{F}_p((t))$ because $\overline{\mathbb{F}_p}((t))$ ...
- 1,541
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
1
vote
0
answers
164
views
When is the extension $L(S)/L$ Galois and totally ramified?
Let $L$ be a finite extension of the $p$-adic field $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$ with uniformizer $\pi$. Let us consider the polynomial ring $L[x_1,x_2,\dotsc,x_l]$ in $l$-...
- 930
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
2
votes
1
answer
141
views
Reference to basic facts on non-Archimedean local fields
I need a reference to the following claims which, I believe, are correct and well known to experts (I am not one of them).
Let $K$ be a non-Archimedean local field. Let $\mathcal{O}$ be its ring of ...
- 21.8k
2
votes
1
answer
127
views
The notion of smoothness in the local situation
I am reading Bump's book on Automorphic forms and Representations and I am able to draw a lot of parallels between the theory of $GL(2, \mathbb{R})$ which is the infinite place and the theory of $GL(2,...
- 589
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
6
votes
1
answer
424
views
Galois module theory: from global to local
Let $L/\mathbb{Q}$ be a finite Galois extension with Galois group $G$. It is well known that the ring of integers $\mathcal{O}_L$ is free over its associated order $\mathfrak{A}_{L/\mathbb{Q}}=\{x\in \...
- 213
5
votes
0
answers
194
views
Haar mesure on $\mathrm{GL}_{d}(F)$
$\DeclareMathOperator\GL{GL}$Let $F$ be a $\mathfrak{p}$-adic field and $\mathscr{O}_{F}$ its valuation ring. For any measurable subset of $M_{d}(F)$ such as
$$
A=
\left( \begin{array}{ccc}
a_{11}+t^{\...
- 479
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
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
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
6
votes
1
answer
219
views
Cohomology of finite $p$-groups over integers in local fields
Let $p$ be a prime, $G$ be a finite group of order $p^a$. Let $M$ be a $\mathbb{Z}[G]$-module. Then $H^n(G, M)$ is annihilated by $p^a$ for all $n \geq 1$ (see e.g. Brown, Corollary III.10.2).
In ...
- 435
4
votes
3
answers
219
views
Is $K^\times/ F^\times$ compact for local fields?
Let $K/F$ be a finite extension of local fields (of characteristic 0). Is it true that the quotient group $K^\times/ F^\times$ is always compact?
I understand that if the extension is cyclic, it is ...
- 833
1
vote
1
answer
176
views
Hilbert symbol over 2-adic field
Let $F$ be a finite extension of $\mathbb{Q}_2$, and let $(-,-)_F$ be the quadratic Hilbert symbol over $F$. Is the following true?
$(-1,-1)_F=1$ if and only if $\sqrt{-1}\in F$
- 833
2
votes
0
answers
729
views
On Serre's "Local fields"
While I was reading J.-P. Serre's book "Local Fields" I found something strange in Chapter V. When Serre discusses properties of norm for unramified extensions, he says it is possible to ...
- 445
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
1
vote
0
answers
64
views
Continous morphisms of a local field with conditions in positive characteristic
Let $P$ be a an irreducible polynomial of $k:=\mathbb F_q(T)$, $\Omega_P$ be the completion of an algebraic closure $\overline{k_P}$ of $k_P$, the completion of $k$ for the topology induced by the $P$-...
- 3,998
1
vote
0
answers
212
views
Realization of a p-adic field as a completion of a number field
Let $F$ be a $p$-adic field of characteristic 0. Is it always possible to find a number field $K$ such that $K$ has only one place lying above $p$ and such that its completion at this place is $F$?
If ...
- 833
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 ...
- 479
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
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
1
vote
0
answers
105
views
Algebraic morphisms of affine varieties in positive characteristic
Let $\Omega$ be a completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the valuation $-\deg$.
Consider two matrices $M_1,M_2$ in $\mathcal M_2(\Omega)$ that are $\...
- 3,998
5
votes
0
answers
111
views
What is $H^1(\mathbb Z, GL_k(R_n))$ for a ring closely related to the cyclotomic rings of integers?
Let us consider $R_n = \mathbb Z_\ell[\theta_n]/(\theta^{\ell^n}-1)$, an auxiliary prime power $q\equiv 1 \pmod \ell$ with an action of $\mathbb Z = \langle \sigma\rangle$ by $\sigma(\theta_n) = \...
- 7,746
0
votes
0
answers
129
views
Splitting of simply connected algebraic group
Let $k$ be a number field and let $G$ be a connected semisimple, simply connected algebraic group defined over $k$. Let $k'$ be a finite Galois extension over which $G$ splits. By the Chebotarev ...
- 223