Questions tagged [local-fields]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
11 views

Does an affine building associated to a group satisfy the axioms of building?

Now I am reading Groupes réductifs sur un corps local : I. Données radicielles valuées written by Bruhat and Tits in 1972. Let $\Phi$ be a root system, $G$ a group with a root data $(T,(U_{a},M_{a})_{...
  • 419
2 votes
1 answer
105 views

Vanishing of the degree 2 cohomology of a p-adic field with coefficients Q/Z and action of the Frobenius and the Pontryagin dual of the inertia

Let $K$ be a $p$-adic field with Galois group $G$ and inertia subgroup $I\subset G$. Denote $(-)^\ast=\mathrm{Hom}_{cont}(-,\mathbb{Q}/\mathbb{Z})$. Using Tate local duality, we can compute $$H^2(G,\...
3 votes
1 answer
151 views

$p$-power torsion of semiabelian variety

Let $K$ be a finite extension field of $\mathbb{Q}_p$. Let us consider a semiabelian variety $G$ defined over $K$, i.e there exists an extension of an abelian variety $B$ and a torus $T$ defined over $...
  • 217
2 votes
0 answers
82 views

Refinement of Serre's mass formula

Let $F$ be a finite field extension of the $p$-adic numbers $\mathbb{Q}_p$, whose residue field has $q$ elements. Let $\mathfrak{p}$ be the prime ideal of $F$. Given a finite field extension $K/F$, ...
5 votes
1 answer
213 views

Looking for proof of Serre's mass formula

Let $F$ be a finite field extension of the $p$-adic numbers $\mathbb{Q}_p$, whose residue field has $q$ elements. Let $\mathfrak{p}$ be the prime ideal of $F$. Given a finite field extension $K/F$, ...
6 votes
2 answers
205 views

Is every compact simply-connected reductive p-adic group perfect?

Let $k$ be a nonarchimedean local field and $G$ a reductive $k$-group, which we assume to be semisimple and simply-connected. Recall that an abstract group $H$ is perfect if it is generated by ...
9 votes
2 answers
619 views

Does the discriminant of an irreducible polynomial of a fixed degree determine the discriminant of the number field it generates?

In the quadratic case, it does. Given an irreducible quadratic polynomial $f(x)=ax^2+bx+c$, the discriminant of the quadratic number field $\frac{\mathbb{Q}[x]}{f(x)}$ is $\operatorname{sqf}(d)$ or $4\...
  • 218
5 votes
0 answers
105 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
0 votes
0 answers
70 views

Local field such that the value group of $K^\text{perf}$ ( perfect closure of $K$) is $\bigcup_{n\geqq1}(1/p^n) \Bbb{Z}$

Let $K$ be a local field of positive characteristic. I'm looking for a $K$ which satisfies the following condition. Value group of $K^\text{perf}$ (perfect closure of $K$) is $\bigcup_{n\geqq1}(1/p^n)...
  • 141
2 votes
0 answers
54 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.2k
1 vote
0 answers
64 views

The localization map for the Mordell-Weil group of elliptic curves over finite Galois extensions

Let $L/K$ be a finite Galois extensions of number fields and $E/K$ be an elliptic curve. Denote by $\mathcal{F}$ the localization map \begin{equation} \mathcal{F}: H^1(G,E(L)) \rightarrow \bigoplus_{v ...
0 votes
0 answers
87 views

Carlson theorem in positive characteristic

Carlson's theorem is: let $f\in\mathbb Z[[z]]$, $f=\sum_{n\ge0}u_nz^n$. Then, either $f$ is a rational function or the unit circle is a natural boundary. Does the analog in positive characteristic ...
  • 3,079
2 votes
0 answers
70 views

Are tamely ramified representations $\widehat{\mathbb{Q}_p^\text{tr}}$-admissible?

Let $K$ be a finite field extension of $\mathbb{Q}_p$. Let $G_K$ denote the absolute Galois group of $K$, $I_K$ the inertia subgroup and $I_K^{(p)}$ the $p$-Sylow subgroup of $I_K$, i.e. the wild ...
3 votes
0 answers
106 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$...
  • 419
2 votes
0 answers
69 views

IS the composition of infinite APF extensions again APF?

Convention: By APF extension, I mean APF extension of $\mathbb{Q_p}$. For $\mathbb{Q_p} \subseteq L_1 \subseteq L_2$ where $L_2/L_1$ is finite, we know that $L_1/\mathbb{Q_p}$ is APF iff $L_2/\mathbb{...
3 votes
0 answers
126 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 $...
1 vote
0 answers
207 views

Globalization of a local field

I am reading the paper ''Endoscopic classification of representations of quasi-split unitary groups'' by Chung Pang Mok, and cannot come up with the proof of theorem 7.2.1. Here is the statement. ...
  • 347
2 votes
1 answer
183 views

Topology of multiplication groups of local fields

In Neukirch’s book “Algebraic Number Theory”, Proposition II.5.7, the following is insisted: for a mixed characteristic local field $K$ with a residue field $\mathbb{F}_q$, $q = p^f$, then one has an ...
  • 55
1 vote
0 answers
78 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 ...
2 votes
0 answers
227 views

Existence of "nth root function" which is analytic

Let $K$ be a finite extension of $Q_p$. Let $q$ be the size of the residue field of $K$, and let $\pi$ be a uniformizer of $K$. Then $q/\pi$ is some power of $\pi$ up to a unit $u$ in $K$, say $q/\pi =...
1 vote
0 answers
120 views

A question about Theorem 2.3.1 in Tate's thesis [closed]

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 ...
8 votes
1 answer
214 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
1 answer
104 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 ...
  • 345
1 vote
0 answers
163 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))$ ...
  • 345
14 votes
4 answers
1k 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 ...
  • 281
1 vote
0 answers
153 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$-...
  • 754
4 votes
0 answers
104 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. ...
  • 365
2 votes
1 answer
120 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 ...
  • 19.3k
2 votes
1 answer
71 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,...
4 votes
1 answer
259 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 ...
  • 2,706
6 votes
1 answer
293 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
0 answers
170 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^{\...
  • 419
3 votes
0 answers
79 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
1 answer
410 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$...
13 votes
1 answer
577 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 ...
  • 5,643
6 votes
1 answer
177 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 ...
  • 435
4 votes
3 answers
207 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 ...
  • 551
1 vote
1 answer
108 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$
  • 551
2 votes
0 answers
523 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 ...
  • 405
7 votes
0 answers
152 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 ...
  • 133
1 vote
0 answers
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$-...
  • 3,079
1 vote
0 answers
151 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 ...
  • 551
1 vote
1 answer
110 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 ...
  • 419
3 votes
1 answer
169 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
0 answers
151 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
0 answers
100 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,079
5 votes
0 answers
108 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,062
0 votes
0 answers
86 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 ...
  • 213
9 votes
0 answers
389 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
0 answers
73 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(...
  • 419

1
2 3 4 5