Skip to main content

All Questions

13 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
7 votes
0 answers
157 views

Non-abelian ray class fields for local fields

Let $K$ be a non-Archimedean local field. Then, thanks to work of Koch (when $K$ has positive characteristic) and Jannsen-Wingberg (when $K$ has characteristic zero, and odd residual characteristic) ...
Riccardo Pengo's user avatar
7 votes
0 answers
205 views

Reference request: projectivity of the absolute Galois group of $\mathbb{Q}^{\mathrm{ab}}$

$\newcommand{\ab}{\mathrm{ab}}$Let $\mathbb{Q}^{\ab}$ denote the maximal abelian extension of $\mathbb{Q}$. I have heard the absolute Galois group of $\mathbb{Q}^{\ab}$ is projective (e.g. see this ...
projectivityq's user avatar
6 votes
0 answers
511 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
4 votes
0 answers
145 views

A normal extension of a number field of given degree that does not split over a given set of finite places

Let $K$ be a number field and $S$ be a finite set of non-archimedean places of $K$. Let $n>1$ be a natural number. Question. Does there exist a normal extension $L/K$ of degree $n$ such that $L\...
Mikhail Borovoi's user avatar
3 votes
0 answers
215 views

Global class field theory and closure of unit groups

I'm looking for a reference for the following facts from global class field theory that I found without proofs. I will state them as questions, just in case I get the statement wrong. We fix $K$ a ...
Tim's user avatar
  • 85
3 votes
0 answers
187 views

Simplification of links between idele class group and étale cohomology

I posted this question over on stack exchange and was told it would work better here. For interest I have been looking at links between class field theory and étale cohomology. Let $k$ be a global ...
Unmotivated L-function's user avatar
2 votes
0 answers
65 views

Constructing a cyclic extension $L$ with given local behavior of a global field $K$ such that $L$ is normal over a subfield $F$ of $K$

Let $F$ be a global field without real places (that is, a function field or a totally imaginary number field). Let $K/F$ be a cyclic extension of degree $n$. Let $S$ be a ${\rm Gal}(K/F)$-invariant ...
Mikhail Borovoi's user avatar
2 votes
0 answers
132 views

For a quadratic extension $E/K$, condition on a character $\chi:E^\times/E^{\times 2} \to C_2$ to give a $C_4$-extension $L/K$

Let $K$ be a finite extension of $\mathbb{Q}_2$, and let $E/K$ be a quadratic extension. By local class field theory, quadratic extensions $L/E$ correspond to quadratic characters $\chi:E^\times \to ...
Sebastian Monnet's user avatar
2 votes
0 answers
166 views

Relative Leopoldt defect

Let F be a totally real number field such that the Leopoldt conjecture holds at a prime number $p$ and $M$ be a quadratic totally real extension of $F$. Is there a bound of the Leopoldt defect of $M$ ...
Adel BETINA's user avatar
  • 1,066
2 votes
0 answers
241 views

Reference request: Cohomology of Elliptic Curves

Is it true that the group $$H^1(Gal(K^{ab}/K)/\mu_{\nu}(Gal(K_{\nu}^{ab}/K_{\nu})),E_{p^n})$$ is always p-divisible? Or are there any conditions which, when satisfied, guarantee its p-divisibility? ...
The Thin Whistler's user avatar
1 vote
0 answers
58 views

Normality in a tower of cyclic extensions of global fields, as in Artin-Tate

Let $L_0$ be a global field without real places, that is, a global function field or a totally imaginary number field, and let $V_f(L_0)$ denote the set of finite (that is, non-archimedean) places of $...
Mikhail Borovoi's user avatar
1 vote
0 answers
95 views

Abelian group extensions

Let $K$ be an imaginary quadratic field and $E$ be an elliptic curve with CM by $\mathcal{O}_K$. Is there a way to see that $K(j(E), h(E[\mathfrak{p}]))/K$ is an Abelian extension for some $\mathfrak{...
debanjana's user avatar
  • 1,283
1 vote
0 answers
312 views

Decomposing anticyclotomic characters

Suppose $K/\mathbf{Q}$ is an imaginary quadratic field and $\chi$ is a finite-order character of $G_K=\mathrm{Gal}(\overline{K}/K)$ which is anticyclotomic, i.e. $\chi^{\sigma}:=\chi(\sigma g \sigma^{-...
David Hansen's user avatar
  • 13.1k