All Questions
Tagged with local-fields nt.number-theory
113 questions
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
22
votes
2
answers
1k
views
Langlands correspondence for higher local fields?
Let $F$ be a one-dimensional local field. Then Langlands conjectures for $GL_n(F)$ say (among other things) that there is a unique bijection between the set of equivalence classes of irreducible ...
user74900
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
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
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
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
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
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
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
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
4
votes
2
answers
1k
views
Reference request for Kato's paper: A generalization of local class field theory by using K -groups
I would like to ask for the paper of Kato: A generalization of local class field theory by using K -groups I, J. Fac. Sci. Univ. Tokyo Sec. IA 26 No.2, 1979, 303–376. I could not find it. Could anyone ...
- 91
0
votes
0
answers
81
views
Index of a mysterious congruence subgroup
Let $F$ be a non-archimedean local number field, $\mathfrak{o}_F$ its ring of integers and $\mathfrak{p}_F$ its maximal ideal. Let $E$ be a quadratic unramified extension over $F$.
Let $G$ be the ...
- 551
1
vote
0
answers
108
views
Characters of a quadratic extension and convergence
Let $F$ be a non-archimedean local field, $\chi$ a quasi-character of $F^\star$ and $\psi$ a positive character of $E^\star$. I would like to understand why the usual Rankin-Selberg zeta integrals ...
- 551
1
vote
1
answer
190
views
Hilbert symbols vanishing
Let $p$ be an odd prime, and let $E/\mathbb{Q}_p$ be a finite extension that contains a primitive $p$-th root of unity $\zeta_p$ but not a primitve $p^2$-th root of unity $\zeta_{p^2}$. Let $a,b \in E^...
- 11.3k
2
votes
1
answer
462
views
Complete fields with algebraically closed residue field
I am looking for a reference where the following result is proven:
Let $k$ be an algebraically closed field. If $K$ is a complete and discretely valued field with residue field $k$. Then $K$ is one ...
- 87
5
votes
1
answer
478
views
Artin map restricted to base field
Let $M/L/K$ be a tower of local fields such that $M/L$ is abelian with Galois group $G$. The Artin map $\psi_{M/L}$ restricted to $K^\times$ is a continuous map to $G$ and thus corresponds to some ...
- 980
9
votes
1
answer
695
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,424
22
votes
3
answers
2k
views
Totally ramified subextension in a finite extension of $\mathbf{Q}_p$
Let $K$ be a finite extension of $\mathbf{Q}_p$. Let $F_d$ be the unramified extension of $\mathbf{Q}_p$ of degree $d$. I would like to know whether there exists some $d \geq 1$ and some $L \subset K \...
- 6,924
4
votes
1
answer
593
views
Hilbert Symbols, Norms, and p-adic roots of unity
Let $p$ be an odd prime number,
let $\mathbb{Q}_p$ be the field of $p$-adic numbers,
and let $\overline{\mathbb{Q}_p}$ be an algebraic closure of it.
For a primitive $p$-th root of unity $\zeta_p \in ...
- 11.3k
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,424
7
votes
1
answer
851
views
Understanding the structure of unitary groups
I would like to understand precisely the structure of unitary groups.
Let $F$ be a global number field, $E$ a quadratic extension of $F$, and $U$ a unitary group on $E$ (i.e. the group of ...
- 5,424
4
votes
1
answer
265
views
Local triviality of Galois cohomology classes over $\mathbb{Q}$
Let $A$ be a $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$-module which is a finitely generated free $\mathbb{Z}$-module. I'm interested in the behaviour of cohomology classes in
$$\mathrm{H}^1(\mathbb{...
- 21.4k
2
votes
1
answer
185
views
Fields of definition of parabolically induced representations of $\mathrm{SL}(2,q)$
Let $\alpha_0$ be the unique non-trivial character satisfying $\alpha_0^2=1$ of the split torus $\mathrm{T} \subset \mathrm{SL}(2,q)$ and denote by $\mathrm{R}(\alpha_0)$ the character of $\mathrm{SL}(...
- 381
10
votes
1
answer
654
views
Dyadic Hilbert symbols and higher unit groups
Let $F$ be a local dyadic number field, $\mathfrak{p}$ its maximal ideal, $(*,*)_F$ its quadratic Hilbert symbol and $e$ its ramification index (i.e. $\mathfrak{p}^e$ is exact divisor of $2$). Fix an ...
- 101
4
votes
1
answer
731
views
Reference for: Every local field can be realized as the completion of a global field
It is well known that every local field (i.e. nondiscrete topological field locally compact with respect to the topology) is the completion of some global field. I know the argument, a nice ...
- 412
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
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
8
votes
1
answer
526
views
Integral representation of adjoint L-factor for GL(2)
My question is about a local computation in the paper of Gelbart and Jacquet, "A relation between automorphic representations of GL2 and GL3", from 1978.
Let $\sigma$ be an irreducible smooth complex ...
- 37k
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
6
votes
2
answers
798
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
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
42
votes
2
answers
5k
views
Motivating Lubin-Tate theory
The Lubin-Tate theory gives an amazingly clean and streamlined way of constructing the subfield (usually denoted) $F_\pi\subset F^\mathrm{ab}$ for a local field $F$ fixed by the Artin map associated ...
- 910
6
votes
2
answers
1k
views
Finding the inertia group
Set $h(x) = x^5+x^4+x^3+x^2+x-1$, let $L$ be the splitting field of $h$ over $\mathbb{Q}$, and let $p$ be a prime of $L$ lying over $2$.
What is the isomorphism class of the inertia group $I_p$, ...
- 11.3k
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
2
votes
1
answer
167
views
Weil group of a local field, small notational problem
In Bushnell and Henniart, The Local Langlands conjecture for GL(2), there is a proposition on p. 184 in which they prove the following:
Let $F$ be a non-archimedean local field, $\mathcal W_F$ its ...
- 303
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 ...
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,424
3
votes
1
answer
492
views
Theorem 7b of Serre's "Propriétés galoisiennes des points d'ordre fini des courbes elliptiques"
Could someone please point me towards a proof of the statement in the second paragraph, in the proof of Theorem 7b of Serre's Propriétés galoisiennes...? The statement is as follows:
Let $F$ and $F'$ ...
- 31
1
vote
1
answer
173
views
Compact subgroups of linear groups over nonarchimedean fields
Let $n \in \mathbb{N}$, $K$ a (nonarchimedean) local field, $\overline{K}$ its algebraic closure. Take a compact subgroup $G \leq \text{GL}_n(\overline{K})$. Must there be a finite extension $F$ of $K$...
- 11.3k
1
vote
1
answer
324
views
Maximal separable extension of $\mathbb F_q((t))$
Let $K=\mathbb F_q((t))$. I want to prove that $K^{sep}$ is composite of $K^{sep}(p)$ and $K^{sep}(not \ p)$, where $K^{sep}(p)$ is maximal Galois extension of $K$ of exponent $p$, $K^{sep}(not \ p)$ ...
- 11
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
5
votes
1
answer
516
views
Reference for Local class field theory via witt vectors
I would like to find some books or lecture notes on geometric local class field theory via Witt vectors. I can't find any good paper on this subject.All approaches in the books to local class field ...
- 71
1
vote
0
answers
62
views
Valuations in Higher-dimensional local fields
I have the following question which I believ should be true but I would like to have a different opinion about it:
Let $M/L$ is a finite Galois extension of $n$-dimensional local fields and $t_1,\...
- 11
0
votes
0
answers
129
views
Ramified complete discrete valuation rings as extensions
Suppose $O$ is a complete discrete valuation ring with uniformizer $\pi$ and residue field $k=O/\pi O$ of charactersitc $p>0$. If $\nu$ is the $\pi$-adic valuation on $K=Frac(O)$, suppose also ...
- 298
5
votes
1
answer
445
views
Existence of maximal totally ramified $p$-extension of a local field
This relates to this question:
Existence of maximal totally ramified extensions of an arbitrary CDVF
Let $K$ be a local field with finite residue field of characteristic $p>0$. Does there exist a ...
- 1,661
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
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
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
2
votes
3
answers
583
views
A question on Haar measure on local field.
Let $F$ be a local field of characteristic 0, and $f:F\rightarrow \mathbb{C}$ be an integrable function. Is the following formulation valid?
$
\int_{F^\times}f(x^2) d^\times x=\int_{F^{\times 2}}f(x) ...
- 833
9
votes
1
answer
4k
views
Maximal tamely ramified extension of $\mathbf Q_p$
Is there an explicit description of the maximal tamely ramified extension of $\mathbf Q_p$?
- 2,040