# Questions tagged [local-fields]

The local-fields tag has no usage guidance.

231
questions

2
votes

0
answers

60
views

### Local systems on $\mathbb P^1$ and on the formal punctured disc

Consider the projective curve $\mathbb P^1$ over a finite field $k$.
Consider $\ell$-adic local systems $E$ on $\mathbb P^1\backslash \{0,\infty\}$ such that
a) $E$ is tame at $\infty$
b) The ...

2
votes

0
answers

59
views

### Arbitrary base change of a parahoric subgroup in split case

Assume $R\subset R'$ are henselien discretly valued rings with fraction field $K$ and $K'$, $G$ is a semisimple split group over $K$. Consider the parahoric group scheme $\mathcal{P}_F$ over $R$ ...

2
votes

0
answers

71
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 ...

6
votes

0
answers

329
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 ...

5
votes

2
answers

247
views

### Can every finitely generated field extension of $\mathbb{Q}$ be embedded into a local field?

Let $K$ be a finitely generated field extension of $\mathbb{Q}$, and let $p$ be a prime number. Can $K$ must be embedded into a p-adic local field (i.e. a finite field extension of $\mathbb{Q}_p$) ?

0
votes

0
answers

88
views

### Why is norm map on ker of reduction of elliptic curve surjective?

Let $E$ be an elliptic curve over local field $K$ of characteristic $0$. Let $F/K$ be quadratic extension.
Let $E_1$ be kennel of reduction. Let $N: E(F)\to E(K)$ by $P\to P+P^{\sigma}$($\sigma$ is a ...

1
vote

1
answer

101
views

### Completion of $\mathbb F_q(T)$

It is easy to prove that for a an irreducible polynomial $P$ of degree $d$ of $\mathbb F_q[T]$, one can embed $\mathbb F_{q^d}$ in $\mathbb F_q(T)_P$ (the completion of $\mathbb F_q(T)$ at $P$) and ...

0
votes

0
answers

66
views

### Establishing a matroid for higher local fields K/L((t₁,..,tₙ))

In the theory of matroids, the Cohen structure theorem and theorem on transcendence degree that each field is algebraic over a field of the form k(x₁,..., xₙ), as well as Noether normalization, fall ...

3
votes

0
answers

115
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)...

2
votes

0
answers

99
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 ...

0
votes

0
answers

99
views

### What is the quotient group $\mathfrak{q}^2/\mathfrak{p}^2 \mathbb{Z}_p$?

Let $p \geq 2$ be prime and $K=\mathbb{Q} (\zeta_p),~ \zeta^{p-1}=1$ with ring of integers $\mathcal{O}_K$. We denote $\mathfrak{p} \mid p$ the prime ideal of $K$ dividing $p$. Let $K_{\mathfrak{p}}$ ...

0
votes

0
answers

74
views

### An identity for lattices in vector spaces over non-Archimedean local field

Let $V$ be a finite dimensional vector space of a non-Archimedean local field $\mathbb{F}$. Let $\Lambda\subset V$ be a lattice, i.e. an open compact $\mathcal{O}$-submodule. Let $W_1,W_2\subset V$ be ...

6
votes

0
answers

262
views

### Abelianization of the inertia group

Let $F/\mathbb Q_p$ be a finite extension, and let $I_F=\operatorname{Gal}(\overline F/F^{\mathrm{unr}})\subset\operatorname{Gal}(\overline F/F)$ be the inertia subgroup.
Is there a description of ...

3
votes

1
answer

160
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 ...

5
votes

1
answer

301
views

### A question on linear algebra over non-Archimedean local field

Let $\mathbb{F}$ be a non-Archimedean local field. Let $\{T_a\}_{a=1}^\infty$ be a sequence of linear operators $\mathbb{F}^n\to\mathbb{F}^n$ of rank $n$. After a choice of subsequence, is it ...

1
vote

1
answer

229
views

### Quadratic extension of local field

Let $F$ be a nonarchimedean local field of characteristic zero, and $E$ an extension of $F$ with $[E:F]=2^n$ for some $n$. Is it always possible to find a quadratic extension $M$ of $F$ such that $F\...

6
votes

1
answer

242
views

### Generating the coordinate ring of the Lubin-Tate formal group

Let $K$ be a $p$-adic local field with uniformizer $\pi \in \mathcal{O}_{K}$ and residue field $k = \mathcal{O}_{K}/\pi$. Let $G$ be a Lubin-Tate formal $\mathcal{O}_{K}$-module and $G_{0}$ its ...

2
votes

0
answers

107
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
vote

0
answers

153
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 ...

1
vote

1
answer

198
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?

2
votes

0
answers

89
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}^{\...

4
votes

1
answer

308
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 ...

0
votes

1
answer

123
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\...

2
votes

1
answer

130
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,\...

3
votes

1
answer

232
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 $...

2
votes

0
answers

123
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$, ...

5
votes

1
answer

394
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$, ...

6
votes

2
answers

258
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 ...

9
votes

2
answers

797
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\...

5
votes

0
answers

146
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 \...

0
votes

0
answers

77
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)...

2
votes

0
answers

63
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 ...

1
vote

0
answers

73
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 ...

2
votes

0
answers

90
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 ...

3
votes

0
answers

113
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$...

2
votes

0
answers

76
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{...

3
votes

0
answers

178
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 $...

1
vote

0
answers

223
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.
...

2
votes

1
answer

292
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 ...

1
vote

0
answers

109
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 ...

2
votes

0
answers

283
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 =...

1
vote

0
answers

128
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 ...

9
votes

1
answer

267
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}(...

1
vote

1
answer

179
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
vote

0
answers

168
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))$ ...

15
votes

4
answers

1k
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 ...

1
vote

0
answers

157
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$-...

4
votes

1
answer

241
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. ...

2
votes

1
answer

129
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 ...

2
votes

1
answer

94
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,...