Questions tagged [local-fields]
The local-fields tag has no usage guidance.
115 questions with no upvoted or accepted answers
21
votes
0
answers
520
views
Is the exponent of $2$ in the Pythagorean theorem the "same $2$" as $[\mathbb{C} : \mathbb{R}]$?
I posted this question in Math StackExchange a couple years ago; due to the recent surge in interest, and following the feedback of several users, I've decided to cross-post it here. I apologize for ...
- 1,206
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
12
votes
0
answers
272
views
sequences in non-abelian group cohomology
In general, if we have a (pro-)finite group $G$ and a sequence of (continuous) non-abelian $G$-modules $$1\rightarrow A\rightarrow B\rightarrow C\rightarrow 0,$$ such that the image of $A$ lies in the ...
- 273
11
votes
0
answers
383
views
Galois invariants in a ring of fractional power series over a finite field
Let $\mathbf{F}_q$ be a finite field, and let $A=\mathbf{F}_q [[ x^{1/q^\infty} ]]$ be the completion of $\mathbf{F}_q[x^{1/q^\infty}]$ with respect to the $x$-adic topology. Then the $q$th power ...
- 4,487
10
votes
0
answers
600
views
A formal group scheme in explicit local class field theory
Let $K$ be a nonarchimedean local field with residue field $k$ of characteristic $q = p^N$, and pick a uniformizer $\pi\in \mathscr{O}_K$. Recall that explicit local class field theory, à la Lubin--...
- 5,770
10
votes
0
answers
409
views
Higher Adeles of a scheme and related topics
Let $X$ be a noetherian scheme. I will describe a construction of a simplicial ring which I think is called the Bellinson higher Adeles complex (or something similar).
Consider the augmented ...
- 7,799
10
votes
0
answers
1k
views
Automorphisms of local fields
It is an amusing coincidence (at least it appears to be a coincidence to me) that any completion of the field $\mathbb{Q}$ has trivial automorphism group as an abstract field, i.e. when ignoring the ...
- 1,298
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
8
votes
0
answers
317
views
Finding a cyclic cubic extension of a field
Let $K$ be a field and let $E/K$ be a Galois extension of degree 6 with $\text{Gal}(E/K) = S_3$, the symmetric group on 3 letters. Pick two different transpositions $s_1, s_2$ in $S_3$ (hence $s_1s_2$ ...
- 1,017
8
votes
0
answers
221
views
Inertia group vs. differential equations
The tame quotient of the inertia group of $\mathbf Q_p$, say, is the profinite group generated by the Frobenius $\sigma$ and the monodromy $\tau$, subject to the relation $\tau^{p-1} [\tau, \sigma] = ...
- 2,040
7
votes
0
answers
470
views
Explicit $H^2(K, \mu) = Q/Z$?
In the development of local class field theory, a very fundamental theorem is that, for every local field $K$ of characteristic zero,
$H^2(K, \mu) \cong \mathbb{Q}/\mathbb{Z}$. $(*)$
Neukirch et al. ...
- 980
7
votes
0
answers
284
views
Epsilon factors for tamely ramified extensions of local fields
Let $F$ be an unramified extension of $\mathbf{Q}_p$ of degree $n$, and let $K = F(\alpha)$ where $\alpha$ satisfies $\alpha^{p^n - 1} = -p$.
I'm interested in the local $\varepsilon$-factors ...
- 37k
6
votes
0
answers
513
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 ...
- 71
6
votes
0
answers
377
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,054
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
6
votes
0
answers
370
views
What happens to Neron-Ogg-Shfarevich when characteristic of the residue field equals the prime at which Tate module is considered?
Neron-Ogg-Shafarevich criterion states that an elliptic curve $E$ over a local field $K$ has a good reduction if and only if the Tate module $T_{\ell}(E)$ is unramified for some prime $\ell$ which ...
- 3,625
6
votes
0
answers
225
views
Parshin's buildings for higher local fields
What is the status of the theory of buildings for higher local fields?
I know that there are some papers of Parshin, in which he describes some examples, like $PGL_2$ and $PGL_3$ over two-...
- 17.4k
5
votes
0
answers
231
views
Question on the unramified local Langlands conjecture
I'm working on the unramified local Langlands conjecture and there is something that I don't understand if it is true or not. I want to start by saying that I don't care about endoscopic transfer or ...
- 151
5
votes
0
answers
181
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
5
votes
0
answers
194
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^{\...
- 479
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
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
5
votes
0
answers
167
views
Arithmetic of Cuspidal Reps. Fundamental non split stratum and simple stratum
I started to read Colin Bushnell's notes on this title. The last theorem in the 3rd section claims that if $\pi$ is an irr. smooth rep. of $GL_N(F)$ containing a non-split fundamental stratum, then $\...
- 121
5
votes
0
answers
208
views
Topology on two dimensional local fields
I posted my question here, but there is no reply yet. So, I guess I should post it on mathoverflow.
I am reading the book of Schneider about Galois representation and $(\varphi,
\Gamma)$-module, ...
- 91
5
votes
0
answers
299
views
A relative version of Hensel's lemma?
Let $k$ be a $p$-adic field with integer ring $\mathcal{O}_k \subseteq k$, maximal ideal $m_k \subseteq \mathcal{O}_k$ and residue field $\mathbb{F}_q = \mathcal{O}_k/m_k$. Let $X$ be a smooth, ...
- 9,491
5
votes
0
answers
758
views
maximal abelian extension of quadratic extension of $\mathbb Q_p$
I read this article "Local class field theory via Lubin-Tate theory" http://arxiv.org/pdf/math/0606108v2.pdf. And I want to find the maximal abelian extensions for quadratic extensions of $\mathbb Q_p,...
- 51
4
votes
0
answers
142
views
Unramified Galois cohomology
Let $k$ be a local field with absolute Galois group $\Gamma_k$, inertia subgroup $I_k \subset \Gamma_k$, and residue field $\mathbb{F}$. Let $M$ be a finite Galois module over $k$.
The unramified ...
- 21.4k
4
votes
0
answers
228
views
The definition of complex multiplication on K3 surfaces
I am reading this paper on the complex multiplication of K3 surfaces. It seems that this is only defined for complex K3 surfaces, or K3 surfaces over number fields. Is there a more general defintion ...
- 141
4
votes
0
answers
66
views
Computing preimage of element under norm map of quadratic extension of $2$-adic fields
Let $F$ be a $2$-adic field, i.e. a finite extension of the $2$-adic numbers $\mathbb{Q}_2$. Suppose that I have a quadratic extension $E = F(\sqrt{d})$ of $F$. Given a unit $\alpha \in \mathcal{O}_F^\...
- 411
4
votes
0
answers
160
views
Reference request: Discriminant of a $V_4$-extension of local fields is the product of discriminants of intermediate fields
Disclaimer - cross-posting: I already posted this question on MSE, here. In line with the accepted answer of this meta question, I am also asking it here, since it is a research-level question and it ...
- 411
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
4
votes
0
answers
99
views
Monoid cohomology of $\mathbb{N}$ for a linear algebraic group
Let $k$ be a finite field and $k_E:=k((X))$ denote the field of Laurent series over $k$. We define a Frobenius endomorphism on $k_E$ via $f(X)\mapsto f(X^p)$. We choose a lift $\varphi:k_E^{sep}\...
- 273
4
votes
0
answers
415
views
Locally compact vector space over a finite field
In the wikipedia article titled "topological vector space", there is a line saying the following.
"Let $K$ be a locally compact topological field, for example to real or complex numbers. A ...
- 540
4
votes
0
answers
301
views
Can we prove the uniqueness of the local Artin map by using mostly global class field theory?
Let $l/k$ be a finite abelian extension of $p$-adic fields. There is a well defined local Artin map $k^{\ast} \rightarrow Gal(l/k)$ with kernel $N_{l/k}(l^{\ast})$. Let's suppose that we have only ...
- 6,180
4
votes
0
answers
190
views
Is $K^{ur} K^{\pi} = L$?
Let $L/K$ be a finite extension of $p$-adic fields, $\pi$ a uniformizer of $K$, $\theta = (-, L/K)$ the local Artin map $K^{\ast} \rightarrow Gal(L/K)$, $E$ be maximal unramified extension of $K$ ...
- 6,180
4
votes
0
answers
322
views
Automorphisms of k((X))
I'm looking for a good reference for the following fact:
Let $k$ be a perfect field of characteristic $p$ and let $K=k((X))$.
Then every $k$-linear automorphism of $K$ is continuous with respect
to ...
4
votes
0
answers
1k
views
Cartan decomposition for upper triangular matrices
Due to the comments, I have the impression that I have to be more precise.
Consider $G= GL_n(F)$ for a non-Archimedean field $F$ with ring of integers $o$.
Let $K= GL_n(o)$ and let $I$ the Iwahori ...
- 11.2k
3
votes
0
answers
80
views
Local Class field theory and Artin map for the Weil group
I am searching a reference for local class field theory that use the Weil group instead of the absolute Galois group. In particular that the Artin map is an isomorphism between the multiplicative ...
- 367
3
votes
0
answers
141
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)...
- 41
3
votes
0
answers
128
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,197
3
votes
0
answers
85
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
3
votes
0
answers
117
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
3
votes
0
answers
191
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 $...
- 313
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
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
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
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
3
votes
0
answers
370
views
The Breuil-Mezard Conjecture and Generalizations (Survey)
What's the current state of the Breuil-Mezard conjecture? Has the original version (from the 2002 paper) been solved in its entirety? What are some of the new directions being explored?
- 171
3
votes
0
answers
274
views
Is the special case of Abhyankar's lemma is also considered as such?
Consider the following statement:
Assume $E$ and $F$ are unramified (over some fixed prime) finite separable extensions of a field $K$. Then $EF$ is also unramified.
I always thought that it is ...
- 3,362
3
votes
0
answers
347
views
Question about Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves
I am trying to understand an argument of Corollary 7.3 from Silverman's The Arithmetic of Elliptic Curves. I am stuck and I would appreciate any explanations.
Let $E$ be an elliptic curve over $K$, ...
- 3,625