Questions tagged [local-fields]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
0answers
106 views

A question about Theorem 2.3.1 in Tate's thesis

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 ...
6
votes
1answer
148 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
1answer
83 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
0answers
153 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))$ ...
11
votes
2answers
637 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 ...
2
votes
0answers
148 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
0answers
87 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
1answer
117 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
1answer
63 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,...
3
votes
1answer
205 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 ...
6
votes
1answer
265 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 \...
5
votes
0answers
160 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^{\...
3
votes
0answers
69 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 $${\...
4
votes
1answer
377 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$...
11
votes
1answer
539 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 ...
6
votes
1answer
166 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 ...
3
votes
3answers
194 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 ...
1
vote
1answer
81 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$
2
votes
0answers
332 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 ...
4
votes
0answers
75 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 ...
1
vote
0answers
59 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$-...
1
vote
0answers
137 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 ...
1
vote
1answer
94 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 ...
2
votes
1answer
157 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 "...
2
votes
0answers
95 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 \...
1
vote
0answers
99 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 $\...
5
votes
0answers
106 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) = \...
0
votes
0answers
66 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 ...
9
votes
0answers
369 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 ...
1
vote
0answers
63 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(...
5
votes
1answer
166 views

Intrinsic characterisation of a class of rings

This may be well known, but I was unable to find an answer browsing literature. Let us temporarily call a commutative (unital) ring $R$ an O-ring if there exists an integer $n \ge 1$, a local field of ...
5
votes
0answers
137 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$? ...
1
vote
0answers
44 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^{\...
3
votes
1answer
126 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 ...
2
votes
1answer
220 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 ...
1
vote
1answer
129 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 ...
1
vote
0answers
103 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 ...
3
votes
2answers
228 views

A question related to supercuspidal representations of $\operatorname{GL}_2$ over local fields

I was learning about the representation of $\operatorname{GL}_2$ over local fields and came to know something like: if the residual characteristic of the local field is an odd prime, then every ...
4
votes
0answers
137 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 ...
0
votes
0answers
56 views

is there a unique measure on a local field?

Suppose we consider a local field and forget about the topology for a moment and consider the set of all measures on some non-trivial $\sigma$-algebra over the field that makes the field operations ...
5
votes
1answer
196 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 \...
4
votes
3answers
380 views

Possible $p$-torsion subgroup of $E(\mathbb{Q}_p)$, and if there is a theorem to say which case happens when?

What is the possible $p$-torsion subgroup of $E(\mathbb{Q}_p)$ for an elliptic curve $E$ over $\mathbb{Q}_p$, and if there is a theorem to say which case happens when?
2
votes
0answers
156 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 $...
3
votes
0answers
123 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 ...
3
votes
0answers
167 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
votes
1answer
219 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, ...
3
votes
0answers
102 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
votes
1answer
119 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 ...
14
votes
0answers
445 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}} \...
4
votes
1answer
92 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 ...