Skip to main content

All Questions

48 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
pregunton's user avatar
  • 1,206
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 ...
Estus's user avatar
  • 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 ...
Jared Weinstein's user avatar
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--...
skd's user avatar
  • 5,770
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 ...
Robert Kucharczyk's user avatar
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 ...
Alex Youcis's user avatar
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$ ...
thierry stulemeijer's user avatar
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] = ...
Jakob's user avatar
  • 2,040
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 ...
David Loeffler's user avatar
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 ...
Eric's user avatar
  • 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 ...
Kenta Suzuki's user avatar
  • 3,054
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 ...
Johnny T.'s user avatar
  • 3,625
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 \...
Mark OSS's user avatar
  • 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^{\...
M masa's user avatar
  • 479
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, ...
Teppi's user avatar
  • 91
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,...
Dirk's user avatar
  • 51
4 votes
0 answers
143 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 ...
Daniel Loughran's user avatar
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$ ...
D_S's user avatar
  • 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 ...
Kevin Keating's user avatar
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 $${\...
Mikhail Borovoi's user avatar
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 ...
Dr. Evil's user avatar
  • 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?
Hodge-Tate's user avatar
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$, ...
Johnny T.'s user avatar
  • 3,625
2 votes
1 answer
252 views

Ring structure on Brauer group

Class field theory defines an isomorphism between the Brauer group of a finite extension of p-adic fields and a cyclic group with a canonical generator. This in turn defines an isomorphism of the ...
NZK's user avatar
  • 447
2 votes
0 answers
116 views

Restriction of the local Artin map on the valuation ring of a local field

Let $F$ be a local field, in particular a finite extension of $\mathbb{Q}_p$ for some prime $p$ and let $Art_{L}: L^\times \to Gal(F^{ab}/F)$ be its local Artin map. We know that if $L/F$ is a finite ...
Mario's user avatar
  • 367
2 votes
0 answers
135 views

Tensor product of finite extensions of $\mathbb{Q}_p$

Consider the tensor product of finite extensions of a field $F$ of characteristic zero. (I am interested in the case $F=\mathbb{Q}_p$.) $(1)$ If $M$ is a finite Galois extension of $F$ with Galois ...
ZZP's user avatar
  • 622
2 votes
0 answers
128 views

Lubin--Tate formal group construction in local class field theory using group cohomology

Let $K$ be a non-archimedean local field of characteristic 0. Fix a uniformiser $\pi$ and an algebraic closure $\bar{K}$. The theory of Lubin--Tate formal groups gives an explicit construction of the ...
User0829's user avatar
  • 1,428
2 votes
0 answers
99 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 ...
Konstantin's user avatar
2 votes
0 answers
338 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 =...
user474's user avatar
  • 123
2 votes
0 answers
729 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 ...
rime's user avatar
  • 445
2 votes
0 answers
167 views

$p$-primary torsion of an elliptic curve in the cyclotomic $\mathbb{Z}_p$-extension of a $p$-adic field

Let $K$ be a number field and $v$ be a fixed prime above $p$. Let $k=K_v$. We have the cyclotomic $\mathbb{Z}_p$ extension $K_\infty/K$ and if $w$ is a prime above $v$ in $K_\infty$ we write $k_\infty=...
debanjana's user avatar
  • 1,283
2 votes
0 answers
258 views

Is a reductive group scheme always parahoric?

Let $R$ be complete (or, more generally, Henselian) discrete valuation ring with fraction field $K$. Let $G$ be a reductive $R$-group scheme. Is $G$ a parahoric in the sense of Bruhat-Tits? If so, ...
Question Machine's user avatar
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 ...
Johnny T.'s user avatar
  • 3,625
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'...
Jack Yoon's user avatar
  • 111
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$, ...
oznd's user avatar
  • 71
2 votes
0 answers
381 views

Conductors of Weil-Deligne representations

Suppose $(V,N)$ is an $n$-dimensional semisimple $WD$ representation of $W_{\mathbb{Q}_p}$. This corresponds under local Langlands to an admissable representation $\pi$ of $GL_n(\mathbb{Q}_p)$. Is ...
David Hansen's user avatar
  • 13.1k
1 vote
0 answers
25 views

Characterising rank-$2$ lattices $\Lambda$ and conjugate-linear translate $g \sigma(\Lambda)$, given elementary divisors

Let $E/F$ be a quadratic unramified extension of local fields with $\operatorname{char} F = 0$. Let $\Lambda \subseteq E^2$ be an $O_E$-lattice of rank $2$. Let $g \sigma \in \operatorname{GL}_2(E)$ ...
Gargantuar's user avatar
1 vote
0 answers
124 views

A question related to Kirillov model

I am reading Jackson - The theory of admissible representations of $\operatorname{GL}(2, F)$ and am not able to understand the following map related to Kirillov model. This result appears on p. 54: I ...
user15243's user avatar
  • 424
1 vote
0 answers
255 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. ...
user avatar
1 vote
0 answers
212 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 ...
Windi's user avatar
  • 833
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 ...
Wolker's user avatar
  • 551
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,\...
George's user avatar
  • 11
0 votes
0 answers
84 views

is a linear algebraic group over an extension of $\mathbb{Q}_p$ a locally pro finite group?

Let $F$ be a non archimedean local field and let $G$ be linear algebraic group over $F$. I do not have a lot of experience with linear algebraic group, but it seems very obvious that $G$ inherits the ...
Mario's user avatar
  • 367
0 votes
0 answers
93 views

Existence of maximal totally ramified subextension

Suppose $K/\mathbb Q_p$ is a finite extension, with ramification index $e$ and inertia index $f$. I want to ask whether there exists a subextension $L/\mathbb Q_p$ totally ramified of degree $e$?
Richard's user avatar
  • 785
0 votes
0 answers
175 views

Why $k((x,t))$ can not be a local field?

If $k$ is a finite field, then $k((x))$ is a local field, and we can define a discrete valuation on $k((x))$ with respect to which it is complete. It is sometimes called a 1-dimensional local field. I ...
MAS's user avatar
  • 930
0 votes
0 answers
78 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)...
Duality's user avatar
  • 1,541
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 ...
Wolker's user avatar
  • 551
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 ...
user26223's user avatar
  • 298