Questions tagged [local-fields]
The local-fields tag has no usage guidance.
115 questions with no upvoted or accepted answers
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
3
votes
0
answers
437
views
Relation between ramification index and length of filtration of ramification groups
Given a complete valued field $K$ with a discrete value group $\mathbb{Z}$, consider a totally ramified finite Galois extension $L$ of $K$ with its Galois group $G$. Let $O_L$ be the valuation integer ...
- 131
3
votes
0
answers
168
views
The left regular representation of the Jacobi groups over local fields of characteristic >2 is type I?
Let $K$ be a non-archimedean local field of characteristic $>2$. Consider the Jacobi group $G=H_{2n+1}(K)\rtimes Sp_{2n}(K)$, which is the semidirect product of the Heisenberg group $H_{2n+1}(K)$ ...
- 1,702
3
votes
0
answers
224
views
Metaplectic groups over non-archimedean local fields of characteristic>2
Let $K$ be a non-archimedean local field of characteristic $>2$. Consider the double cover metaplectic extension of symplectic groups
$p: Mp_{2n}(K)\rightarrow Sp_{2n}(...
- 1,702
2
votes
0
answers
60
views
Galois Cohomology mod 2 of iterated Laurent series
Let $k$ be an algebraically closed field of characteristic different from two.
For $n\geq 1$, set $F_n=k((X_1))\cdots ((X_n))$, and let $F=\displaystyle\bigcup_{n\geq 1}F_n$.
If $I=\{i_1,\ldots,i_m\}$...
- 1,766
2
votes
1
answer
252
views
Ring structure on Brauer group
Class field theory defines an isomorphism between the Brauer group of a finite extension of p-adic fields and a cyclic group with a canonical generator. This in turn defines an isomorphism of the ...
- 447
2
votes
0
answers
116
views
Restriction of the local Artin map on the valuation ring of a local field
Let $F$ be a local field, in particular a finite extension of $\mathbb{Q}_p$ for some prime $p$ and let $Art_{L}: L^\times \to Gal(F^{ab}/F)$ be its local Artin map. We know that if $L/F$ is a finite ...
- 367
2
votes
0
answers
135
views
Tensor product of finite extensions of $\mathbb{Q}_p$
Consider the tensor product of finite extensions of a field $F$ of characteristic zero. (I am interested in the case $F=\mathbb{Q}_p$.)
$(1)$ If $M$ is a finite Galois extension of $F$ with Galois ...
- 622
2
votes
0
answers
79
views
$n$-th root of character on local field
Let $F$ be a non-Archidean local field of characteristic 0, and $\zeta_n$ the set of $n$-th roots of unity in the algebraic closure of $F$. Assume $\zeta_n\subseteq F$. Let $\chi:F^\times\to\mathbb{C}^...
- 833
2
votes
0
answers
104
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 ...
- 7,037
2
votes
0
answers
74
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$ ...
- 291
2
votes
0
answers
132
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 ...
- 411
2
votes
0
answers
130
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 ...
- 452
2
votes
0
answers
128
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,428
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
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
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
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
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
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
2
votes
0
answers
111
views
self dual character of local fields and global fields
There are two concepts of self dual character, one is for global and another is for local.
Let $K$ be an imaginary quadratic number field, and a Hecke character $\chi : \mathbb{A}_K^{\times}/K^{\...
- 47
2
votes
0
answers
167
views
$p$-primary torsion of an elliptic curve in the cyclotomic $\mathbb{Z}_p$-extension of a $p$-adic field
Let $K$ be a number field and $v$ be a fixed prime above $p$. Let $k=K_v$. We have the cyclotomic $\mathbb{Z}_p$ extension $K_\infty/K$ and if $w$ is a prime above $v$ in $K_\infty$ we write $k_\infty=...
- 1,283
2
votes
0
answers
258
views
Is a reductive group scheme always parahoric?
Let $R$ be complete (or, more generally, Henselian) discrete valuation ring with fraction field $K$. Let $G$ be a reductive $R$-group scheme. Is $G$ a parahoric in the sense of Bruhat-Tits? If so, ...
- 407
2
votes
0
answers
181
views
Reference request: Regarding the image of inertia group being a subgroup of Aut($\widetilde{E}$)
Let $E$ be an elliptic curve over $\mathbb{Q}_p$ with potential good reduction. I was told that if $F$ is the smallest Galois extension over $\mathbb{Q}_p$ such that $E$ has good reduction then the ...
- 3,625
2
votes
0
answers
82
views
What is the classification of this group?
Let $K=\mathbb C((t))$ and $O=\mathbb C[[t]]$, and $n\geq 1$. Consider the matrix $$J_{2n}=\begin{pmatrix} 0& I_n \\ -I_n & 0\end{pmatrix},$$ And let $\Psi : K^{2n}\times K^{2n}\rightarrow K$ ...
- 1,891
2
votes
0
answers
115
views
Converging sequence of base change
Here is a natural question that I hope will be of interest to some.
Let $\mathbf{F}_p(\!(T)\!)$ be the field of formal Laurent series over $\mathbf{F}_p$. An automorphism of $\mathbf{F}_p(\!(T)\!)$ ...
- 1,017
2
votes
0
answers
90
views
Uniformity in first order theory of p-adic fields of mixed characteristic
Perhaps the most successful attempt at analyzing first order theory of p-adic fields is through the use of RV language (aka. leading term structure). In this, quantifier elimination on the field sort ...
- 21
2
votes
0
answers
109
views
What does equality modulo $p$ of $p$-adic linear groups imply?
$\newcommand{\GL}{\mathrm{GL}}\newcommand{\dbZ}{\mathbb{Z}}\newcommand{\dbF}{\mathbb{F}}\newcommand{\dbN}{\mathbb{N}}$
Hello.
I have a small question regarding closed subgroup of $\GL_n(\dbZ_p)$, ...
- 993
2
votes
0
answers
124
views
Property of a derivative in global field
Before posting I want to make it clear that I posted the same question in stack exchange awhile ago (https://math.stackexchange.com/questions/1533814/property-of-derivative-in-a-local-field) but didn'...
- 111
2
votes
0
answers
110
views
Infinitesimally small elements in extensions of models of model-complete theories
Suppose that we have a first order language $\mathcal{L}$ that extends the language of rings. Let $T$ a be a topological $\mathcal{L}$-theory of fields in the sense of Pillay.. this means that not ...
2
votes
0
answers
50
views
is there a criterion for a two-generator subgroup of $PL(2,K)$ to be a cocompact lattice?
In the case of the group $SO(n,1)$ there is a criterion known for whether or not two given elements of the group generate a cocompact lattice. Is any similar criterion known in the case of $PL(2,K)$ ...
- 2,125
2
votes
0
answers
143
views
$K^{ur}K^{\pi} = L$
Let $K$ be a $p$-adic field, and $L$ an infinite abelian extension of $K$ containing $K^{ur}$. Let $\Phi: K^{\ast} \rightarrow Gal(L/K)$ be the local Artin map. Let $\pi$ be a uniformizer for $K$, ...
- 6,180
2
votes
0
answers
111
views
split tori over local fields
Let $F$ be a non-archimedean local field, and $\mathscr O$ its ring of integers. Suppose $T$ is an $F$-split torus, i.e., $T = (\mathbb G_m)^r$ where $\mathbb G_m$ denotes the multiplicative group. ...
- 303
2
votes
0
answers
72
views
Continuity of the solutions of an isogeny in a formal group
Notation for the problem:
Let $E/\mathbb{Q}_P$ be a local field, and $\mu_E$ its maximal ideal. Let $K=E\{\{T\}\}$ be the standard 2-dimensional local field equipped with the Parshin topology and let ...
- 21
2
votes
0
answers
433
views
Global Artin reciprocity law from Local class field theory
Let $K=\mathbb F_q((t)), p -$ prime ideal in $K$, $\psi_p$ be the local Artin map$K_p^* \to Gal(K_p^{ab}/K_p)=G_p \subset Gal(K^{ab}/K)$. Then I define global Artin map $\psi_K$as product of $\psi_p$, ...
- 71
2
votes
0
answers
415
views
Algebraic characters and quasi-characters of reductive algebraic group over non-archimedean local field
Let $G$ be a reductive algebraic group over $F$, where $F$ is a non-archimedean local field.
Then $G(F)$ is a p-adic group.
Let $\Psi(G)$ be the lattice of algebraic characters.
Let $\Lambda_G$ be the ...
- 1,457
2
votes
0
answers
381
views
Conductors of Weil-Deligne representations
Suppose $(V,N)$ is an $n$-dimensional semisimple $WD$ representation of $W_{\mathbb{Q}_p}$. This corresponds under local Langlands to an admissable representation $\pi$ of $GL_n(\mathbb{Q}_p)$. Is ...
- 13.1k
1
vote
0
answers
25
views
Characterising rank-$2$ lattices $\Lambda$ and conjugate-linear translate $g \sigma(\Lambda)$, given elementary divisors
Let $E/F$ be a quadratic unramified extension of local fields with $\operatorname{char} F = 0$. Let $\Lambda \subseteq E^2$ be an $O_E$-lattice of rank $2$. Let $g \sigma \in \operatorname{GL}_2(E)$ ...
- 111
1
vote
0
answers
124
views
A question related to Kirillov model
I am reading Jackson - The theory of admissible representations of $\operatorname{GL}(2, F)$ and am not able to understand the following map related to Kirillov model. This result appears on p. 54:
I ...
- 424
1
vote
0
answers
180
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,966
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
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
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
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
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
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
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
1
vote
0
answers
91
views
Why does norm map the $\sigma$-conjugacy classes to the conjugacy classes?
Let $E/F$ be a cyclic extension of order $\ell$ (not assumed prime) of fields of characteristic $0$, and $\Sigma$ its Galois group; we denote by $\sigma$ a generator of $\Sigma$. We denote by $G(E), G(...
- 479
1
vote
0
answers
247
views
compact $p$-adic Lie group can be embedded into $O_K^n$ or $\text{GL}_n(K)$?
Let $K$ be a local field of charecteristic $0$ and $G$ be a compact $p$-adic Lie group of dimension $n$, then can $G$ be embedded into $O_K^n$ or $\text{GL}_n(K)$ as a closed subgroup? This is a dual ...
user141691