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 ...
- 6,877
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$ ...
- 261
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 ...
- 277
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 ...
- 61
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$) ?
- 53
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,325
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 ...
- 3,593
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 ...
- 4,647
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)...
- 31
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 ...
- 311
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}}$ ...
- 942
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 ...
- 20.5k
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 ...
- 1,462
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 ...
- 1,462
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 ...
- 20.5k
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\...
- 813
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,137
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,378
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 ...
- 5,676
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?
- 813
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}^{\...
- 2,137
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 ...
- 477
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\...
- 479
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,\...
- 607
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 $...
- 227
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$, ...
- 277
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$, ...
- 277
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 ...
- 477
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\...
- 270
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 \...
- 159
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)...
- 1,325
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 ...
- 10.5k
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 ...
- 385
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 ...
- 445
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$...
- 479
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{...
- 303
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 $...
- 303
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.
...
- 347
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 ...
- 55
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 ...
- 99
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}(...
- 321
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,325
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))$ ...
- 1,325
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 ...
- 291
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$-...
- 942
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. ...
- 651
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 ...
- 20.5k
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,...
- 507