The local-fields tag has no wiki summary.

**-1**

votes

**0**answers

69 views

### How do we usually calculate the size of the 2-division field of an elliptic curve over local fields

Let $E$ be an elliptic curve over $\mathbb Q$, with rank $0$ and $E(\mathbb Q)[2]=0$. Let $p$ be a prime number. How do we usually calculate $\# E(\mathbb Q_p)[2]$ when $E$ has good, bad reduction at ...

**6**

votes

**1**answer

521 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, ...

**3**

votes

**1**answer

167 views

### Is $G \rightarrow G/P$ surjective on $K$-points over a local field?

Let $K$ be a local field, $G$ a (connected) reductive $K$-group, and $P \le G$ a parabolic subgroup. Is the map $G(K) \rightarrow (G/P)(K)$ necessarily surjective, and, if so, then why?

**7**

votes

**1**answer

186 views

### On unramified p-adic groups

Let G be a reductive group over a local field F. Let O be the ring of integers of F.
The following are equivalent (and groups satisfying these conditions are called unramified):
(a) G is quasisplit ...

**2**

votes

**2**answers

250 views

### Compact elements in $G(K)$ for a reductive group $G$ over a nonarchimedean local field $K$

Let $K$ be a nonarchimedean local field and $G$ a (connected) reductive group over $K$, so that $G(K)$ carries a natural topology. An element $g \in G(K)$ is compact if it is contained in a compact ...

**1**

vote

**0**answers

65 views

### Relation between 1-dimensional and 2-dimensional reciprocity maps

Let $M/L/\mathbb{Q}_p$ be a finite galois abelian extension of local fields and define
$\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathcal{Z}}a_iT^i : a_i\in M, \min_{i\in \mathcal{Z}} v(a_i)>-\infty, ...

**3**

votes

**1**answer

253 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'$ ...

**4**

votes

**1**answer

124 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 ...

**6**

votes

**3**answers

294 views

### Finite extension of local fields

Can a (higher) local field have uncountably many finite (seperable) extensions?

**1**

vote

**1**answer

130 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 ...

**2**

votes

**0**answers

45 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 ...

**2**

votes

**2**answers

188 views

### Why is the norm map dual to restriction under Tate local duality?

Let $L/K$ be a finite Galois extension of nonarchimedean local fields, and let $A$ and $A^t$ be dual abelian varieties over $K$. Tate local duality tells us that $A^t(K)$ and $H^1(K, A)$ are ...

**4**

votes

**0**answers

120 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 ...

**14**

votes

**3**answers

287 views

### Local Inverse Galois Problem

It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedian field $K$ has solvable (in fact supersolvable) Galois group $G$. One sees this by using the ramification filtration ...

**1**

vote

**1**answer

191 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)$ ...

**2**

votes

**0**answers

130 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$, ...

**1**

vote

**0**answers

155 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 ...

**0**

votes

**0**answers

54 views

### Extensions on Higher-dimensional local fields

I have the following question:
Let $M/L$ b a finite extension of n-dimensional local fields and $t_1,\dots, t_n$ a system of local parameters of $L$ with valuation $v$. Let us fix an $1\leq i \leq ...

**1**

vote

**0**answers

38 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 ...

**9**

votes

**1**answer

277 views

### Showing that $2c_1(f_*\mathscr O_X)=-f_*R_f$ on curves, maybe by local fields

I originally asked this question on Mathematic StackExchange, but it did not seem to be attracting any attention, so now I am trying mathoverflow. I hope it is not too simple or unappropriate a ...

**1**

vote

**0**answers

122 views

### Clarification about Tits' article in the Corvallis

I am studying Tits' article in the Corvallis wherein he defines the apartment in the general case (not necessarily split). I wish to know what he means about the filtration of the groups $U_a(K)$ ...

**0**

votes

**0**answers

61 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 ...

**4**

votes

**1**answer

151 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**

vote

**0**answers

147 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 ...

**7**

votes

**0**answers

196 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 ...

**1**

vote

**1**answer

146 views

### a question about a result in Bushnell-Henniart book 'the local Langlands conjecture for GL(2)'

This might be a easy question, but I couldn't get the point.
Let $F$ be a p-adic field, $\bar{F}$ a separable algebraic closure of $F$. Set $\Omega_F=Gal(\bar{F}/F)$. Use $F_{\infty}\subset \bar{F}$ ...

**5**

votes

**0**answers

268 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 ...

**5**

votes

**1**answer

145 views

### Pro-$l$ Sylow action in a primitive representation of inertia over $\overline{\mathbb{F}}_l$

Let $K$ be a nonarchimedean local field of residue characteristic $p \neq l$ and let $I_K$ be the inertia subgroup of its absolute Galois group. Let $V$ an irreducible representation of $I_K$ over ...

**4**

votes

**1**answer

171 views

### Is $SL_1(D)$ toplogically finitely generated, for $D$ a division algebra over a local field?

I've been struggling with this one all day, and I was wondering if someone can give me a hand with the proof. I'm not even sure if the group in question is finitely generated, so I would appreciate if ...

**3**

votes

**1**answer

137 views

### Semisimple group not split by an unramified extension?

Let $F$ be a nonarchimedean local field. Does there exist a semisimple algebraic group over $F$ which is not split over a maximal unramified extension of $F$ ?

**6**

votes

**2**answers

445 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 ...

**8**

votes

**0**answers

147 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**

votes

**3**answers

223 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) ...

**3**

votes

**1**answer

514 views

### Maximal tamely ramified extension of $\mathbf Q_p$

Is there an explicit description of the maximal tamely ramified extension of $\mathbf Q_p$?
Thank you.

**6**

votes

**2**answers

724 views

### henselization and completion

This might not be a question appropriate for this forum, I apologize in this case...
Is it true that any element of the completion of a valued ring $R$ that is algebraic over the field of fractions of ...

**3**

votes

**1**answer

185 views

### What's the minimum number of generators for the wild inertia?

Suppose $K$ is a finite extension of $\mathbb{Q}_p$ and $K^{nr}$ the maximal unramified extension of $K$ in some fixed algebraic closure. Let $G_K$ be the absolute Galois group of $K$ and let $I_w$ be ...

**10**

votes

**0**answers

258 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**

votes

**0**answers

844 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 ...

**1**

vote

**1**answer

186 views

### Local densities of hermitian forms

I think this is an easy question, but I need some time to introduce it. I need to apply Yumiko Hironaka's computations on local densities of hermitian forms (see 1).
I would have liked to create the ...

**4**

votes

**1**answer

518 views

### How to understand the representation theory of $SL(n)$ from $GL(n)$?

Let $F$ be a local field. Consider the group extension (split)
$$ PSL(n,F) \rightarrow PGL(n,F) \rightarrow F^\times / (F^\times)^n.$$
What knowledge about $PGL(n)$ is necessary in order to understand ...

**6**

votes

**0**answers

627 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 ...

**0**

votes

**3**answers

463 views

### squares in dyadic local fields

Hello,
By the local square theorem I know that $1+4\alpha$ is square if $|\alpha|<1$ ($\alpha$ is not a unit). Now, Can I always get a unit $\alpha$ such that $1+4\alpha$ is not a square ?? For ...

**0**

votes

**3**answers

410 views

### Brauer group of complete DVR

Let $A$ be a complete discrete valuation ring with fraction field $K$ and perfect residue field $\kappa$.
Let $K_{nr}$ be the maximal unramified extension of $K$ and let $A_{nr}$ be its ring of ...

**8**

votes

**2**answers

461 views

### Invariant functor for admissible representations of reductive groups over local fields

Hello,
I have a question concerning a certain functor between represention categories. I'm rather sure this is already known, but I could not find a reference.
Let $F$ be a local non-archimedean ...

**4**

votes

**4**answers

633 views

### cuspidal types and Iwahori subgroup for $SL(2,F)$

Let $(J,\pi)$ be a cuspidal type in $SL(2,F)$, $F$ is a non-Arch. local field and let $I$ be the Iwahori subgroup of $SL(2,F)$.
Is there any possibility that $J\subset I$ or even a subgroup?

**3**

votes

**1**answer

629 views

### Discrete Series representations for $SL_{2}$ over $p$-adic field.

I am working on the chamber homology for $SL(2,F)$, and stuck at some basic stuff on D.S. reps of $SL(2,F)$.
Let $ I=\left(
\begin{array}{cc}
\mathcal{O}_{F} & \mathcal{O}_{F} \\
...

**2**

votes

**1**answer

565 views

### Q_p*/(Q_p*)^2 and descent for elliptic curves

Is there a simple description of the group Q_p*/(Q_p*)^2 where Q_p denotes the p-adic integers?
I am doing descent calculations for elliptic curves, and so am most interested in the case p = 2. ...

**0**

votes

**0**answers

211 views

### integrating a character of a non-archimedean local field

By way of motivation, this computation comes from a proof in Bump's book Automorphic Forms and Representations where he shows that the Weil index of the reduced norm of a four-dimensional central ...

**13**

votes

**4**answers

1k 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**

votes

**2**answers

446 views

### A remark of Mordell alluding to a local/global principle for cubic Diophantine equations

In Mordell Diophantine Equations he says:
In recent years it has been shown that there seems to be a close connection between the number of solutions of f(x,y) = 0 (mod $p^r$) and the existence of ...