Questions tagged [local-fields]
The local-fields tag has no usage guidance.
262 questions
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
9
votes
0
answers
440
views
Full measure properties for Zariski open subsets in $p$-adic situation
Let $F$ be a $p$-adic field and let $X$ be a smooth integral variety over $F$ (I am chiefly interested in the case when $X$ is a connected reductive group over $F$). Let $U$ be a non-empty open subset ...
- 787
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
13
votes
4
answers
2k
views
Which groups are Galois over some p-adic field?
Suppose I have some finite $p$-group $G$, or a little extension of it.
How do I know if there exists a prime $l$ and a finite extension $K$ of $\mathbb{Q}_l$ such that $G$ is the Galois group of ...
- 11.3k
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
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
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
2
votes
0
answers
294
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
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
6
votes
1
answer
1k
views
Is there any explicit description of the maximal totally ramified extension of $\mathbb{Q}_p$?
It is well known that the maximal unramified extension of $\mathbb{Q}_p$ can be extended by adding the roots of unity of order prime to $p$. Is there any explicit description of the maximal totally ...
- 195
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
5
votes
1
answer
291
views
Relation in Brauer group coming from trace form
Let $L/K$ be a cubic (or, more generally, odd-order) extension of fields of characteristic $0$. To every element $a \in L^\times$ we can associate the quadratic form
\begin{align*}
q_a : L &\to K \...
- 980
14
votes
3
answers
3k
views
Computing (on a computer) higher ramification groups and/or conductors of representations.
I am supervising an undergraduate for a project in which he's going to talk about the relationship between Galois representations and modular forms. We decided we'd figure out a few examples of weight ...
- 41.4k
2
votes
1
answer
294
views
A problem in Bushnell and Henniart's book, "The local Langlands conjecture for GL(2)"
On page 123 of Chapter 5 in Bushnell and Henniart's book The Local Langlands Conjecture for GL(2), they state
an elementary property of tamely ramified extension of local fields, which is as follows,
...
- 111
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
1
answer
1k
views
Torsion subgroup of the group of points of an elliptic curve over local field
Let $K$ be a local field with residue field $k$ and $E/K$ an elliptic curve. I'm interested for which $K$ and $E$ the group of torsion points on the curve is finite. I can prove that this group is ...
- 2,305
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
6
votes
1
answer
716
views
Integral Tate-Sen theory
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $C=\widehat{\overline{K}}$ be the completion of the algebraic closure of $K$. Let $\mathscr{O}_C$ be the ring of integers in $C$, and let $G_K$ ...
- 23k
6
votes
2
answers
819
views
Why is $K_{\upsilon}|K$ separable for a global field $K$?
I asked this question on math.stackexchange but maybe it fits here better. If not, I apologize in advance and will remove the question.
Let $K$ be a global field and $\upsilon$ a prime of $K$. Then ...
- 111
6
votes
0
answers
150
views
$SL_2(\mathbb{Z}_p)$ extension of a local field
Let $G$ be an arbitrary open group of $SL_2(\mathbb{Z}_p)$ and $K$ be a finite extension of $\mathbb{Q}_p$. Can we construct a Galois extension field $E$ of $K$ such that $\text{Gal}(E/K)\cong G$? ...
user141691
2
votes
1
answer
263
views
Calculation of Tate epsilon factor in the ramified case
Let $F$ be a nonarchimedean local field, $\chi$ a ramified character of $F^{\ast}$, $\psi$ a nontrivial character of $F$, and $dx$ a Haar measure on $F$ with respect to which the Fourier transform is ...
- 6,180
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
1
answer
210
views
isogenies between elliptic curves with multiplicative reduction
Let $ K $ be a $ p $-adic field. Suppose we have an isogeny of elliptic curves $ \phi : E \to E' $ defined over $ K $, where $ E $ and $ E' $ both have multiplicative reduction.
1) Is there anything ...
14
votes
0
answers
500
views
The Ax-Kochen isomorphism theorem and the continuum hypothesis
Let's recall that:
(1): The Ax-Kochen principle says that if $\mathcal{U}$ is a non-principal ultrafilter over prime numbers, then $\prod_{\mathbb{U}} \mathbb{F}_p((t)) \equiv \prod_{\mathbb{U}} \...
- 32.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
9
votes
1
answer
578
views
Rational points on varieties over local fields
In his expanded lecture notes Rational points on varieties, Bjorn Poonen writes the following:
REMARK 2.5.3: There is an algorithm that, given a local field $k$ of characteristic $0$ and a $k$-...
- 1,017
9
votes
1
answer
696
views
Conductor as volume of the integers ring
I am working on Tate's thesis, and I have some problems with computations, yet the result seems to be a good natural motivation for introducing the arithmetic conductor of a character.
Let $F$ be a ...
- 5,434
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
12
votes
1
answer
778
views
Is every Polish ring topology on $\mathbb{C}$ defined by an absolute value?
There is a unique up to isomorphism algebraically closed field of characteristic 0 and cardinality of the continuum. Let's call it $K$.
We usually call it $\mathbb{C}$, but by this we impose a ...
- 11.6k
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
8
votes
2
answers
1k
views
Examples to keep in mind while reading the book 'The Admissible Dual...' by Bushnell and Kutzko and the importance of Interwining of representations
I am a beginner in the field of representation theory. I was reading the book 'The Admissible Dual of $GL(N)$ Via Compact Open Subgroups' by Bushnell and Kutzko.
Let me first describe the book a ...
- 685
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
10
votes
4
answers
2k
views
Reference request: expository text on the structure of reductive groups over non-archimedean local fields
I am interested in an expository text in English, which summarizes the main results and aspects of the structure theory of reductive groups over local fields, in a hopefully not very technical manner (...
- 2,027
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
7
votes
1
answer
496
views
analogue of Theorem of Mattuck for Abelian varieties over $\mathbf{F}_q(\!(t)\!)$
By a theorem of Mattuck [Abelian Varieties over $p$-Adic Ground Fields, Annals of Mathematics, Second Series, Vol. 62, No. 1 (Jul., 1955), pp. 92-119], for an Abelian variety $A$ of dimension $g$ over ...
user19475
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
10
votes
2
answers
265
views
Orbits of $GL(n, \mathcal{O})$ on pairs of linear subspaces over non-Archimedean local fields
Let $F$ be a non-Archimedean local field. Let $\mathcal{O}$ be its ring of integers. Let $Gr_{i,n}$ denote the Grassmannian of $i$-dimensional linear subspaces in $F^n$.
Can one describe ...
- 21.8k
6
votes
2
answers
799
views
Are the abelian absolute Galois groups of these local fields isomorphic?
For a field $F$ we denote by $F^{\mathrm{ab}}$ the compositum of all finite Galois abelian extensions of $F$.
Is $\mathrm{Gal}(\mathbb{Q}_2(\sqrt[8]{3})^{\mathrm{ab}}/\mathbb{Q}_2(\sqrt[8]{3})) \...
- 11.3k
6
votes
1
answer
230
views
Is the intersection of ramification groups in upper numbering of a $p$-adic local field trivial?
Let $K$ be a $p$-adic local field, for example $\mathbb{Q}_p$. Let $G$ be the absolute Galois group of $K$, and let $G^v$($v\ge -1$) be the ramification groups in upper numbering, then is it true ...
- 806
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
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
13
votes
4
answers
2k
views
metaplectic group does not split
I'm trying to understand the Weil representation and hope there are some experts around who can set me straight. Let $F$ be a non-Archimedean local field (I don't mind assuming that the characteristic ...
- 3,605
5
votes
0
answers
251
views
Explicit construction of abelian wild inertial extensions of maximal tamely ramified extension of $\mathbb{Q}_p$?
In Iwasawa's paper On Galois groups of local fields, he proves that if $V$ is the maximal tamely ramified extension of $\mathbb{Q}_p$, with Galois group $\Gamma$ over the base, then its abelianized ...
- 2,054
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
7
votes
1
answer
684
views
Type of place versus type of unitary group
Let $F$ be a totally real number field, $E$ a totally imaginary quadratic extension over $E$, and $V$ an hermitian $n$-dimensional vector space over $F$. I assume $n=2m$ is even. Let $U$ be a unitary ...
- 5,434
7
votes
2
answers
350
views
explicit uniformizer for the false Tate extension
Let $p$ be an odd prime and let $n\geq 1$. Set $K=\mathbb{Q}_p(\zeta_{p^n})$,
$L=\mathbb{Q}_p(\sqrt[p^n]{p})$, and $M=KL$. I claim that $M$ is totally ramified of degree $\phi(p^n)p^n$ (the proof ...
- 7,609
9
votes
1
answer
617
views
Characters of simply connected semsimple algebraic groups over local fields
Let $G$ be a semisimple algebraic group over $\mathbb{Q}_p$. Then by definition $G$ admits no non-trivial algebraic characters, i.e. homomorphisms $G \to \mathbb{G}_m$.
However, it is quite possible ...
- 21.4k
13
votes
1
answer
400
views
What is the normal closure of $\mathbb{Q}_p \cap \bar{\mathbb{Q}}$ over $\mathbb{Q}$?
What is the normal closure of $\mathbb{Q}_p \cap \bar{\mathbb{Q}}$ over $\mathbb{Q}$? Is it $\bar{\mathbb{Q}}$?
- 601
19
votes
1
answer
4k
views
A good book on adeles and ideles
Many results in number theory are stated either in a classical language or in an adelic one. I am often impressed of the efficiency and the satisfactory computational properties of the adelic setting, ...
- 5,434
8
votes
2
answers
725
views
Is every connected reductive group over a local field already defined over a global field?
Let $K$ be a local field, e.g. $\mathbb{Q}_p$ or $\mathbb{F}_p((t))$. Let $G$ be a connected reductive group over $K$. Is it true that $G$ is already defined over a global field? More precisely, does ...
- 113