Questions tagged [kummer-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
0 answers
57 views

The cyclic analogue of the gonality of the superelliptic curve $s^n = t^m + 1$

For naturals $n$, $m > 1$ consider the superelliptic curve $C\!: s^n = t^m + 1$, for simplicity, over an algebraically closed field of zero characteristic or large characteristic $p \nmid n$, $m$. ...
user avatar
3 votes
0 answers
132 views

Lifting isogeny over étale cover

I am in the situation where I need to lift a particular isogeny over an étale cover, and I am not sure how to justify the existence of such a lift. I am trying to fill in the details of the proof of ...
user avatar
3 votes
0 answers
166 views

Reference request for Kummer-Artin-Schreier-Witt theory

I cannot find the following 4 papers by Sekiguchi–Suwa in their works on Kummer–Artin–Schreier–Witt theory: On the unified Kummer–Artin–Schreier–Witt theory, Prépublications du laboratoire de ...
user avatar
3 votes
0 answers
266 views

Etale cohomology and Kummer theory

If $K$ is a field and $n \geq 1$ is such that $n \in K^{\times}$, then $H^1_{et}(\mathrm{Spec}(K),\mu_n)=K^{\times} / (K^{\times})^n$. This is easy to prove, see for instance Tamme, Etale Cohomology, ...
user avatar
1 vote
1 answer
83 views

Under what conditions is the compositum of two rational cubic Kummer extensions a rational function field?

Let $k$ be an algebraically closed field of characteristic $p > 3$ and $F = k(x)$ be the rational function field in the variable $x$. Consider two Kummer extensions $F_1 = F(\sqrt[3]{g_1})$, $F_2 = ...
user avatar
2 votes
0 answers
91 views

Coboundary in Kummer theory

Let $K$ be a non archimedean local field whose residue field is of characteristic $p$. Denote by $G$ the absolute Galois group of $K$. Denote by $\mu_p$ the group of $p$-roots of unity and assume it ...
user avatar
  • 183
10 votes
1 answer
667 views

Cyclic cubic extensions and Kummer theory

The Galois cohomology group $H^1(\mathbb{Q}, \mathbb{Z}/3\mathbb{Z})$ classifies cyclic cubic extensions $K/\mathbb{Q}$ (specifically: the non-trivial elements correspond to Galois cubic field ...
user avatar
7 votes
1 answer
548 views

Is co-restriction in Galois cohomology in fact the norm map via Kummer isomorphism?

Let $\mathrm{F}$ be a field that contains a root of unity of order $p$, where $p$ is a prime number. Fix an element $a$ such that $a \in \mathrm{F}$ and $\sqrt[p]{a} \notin \mathrm{F}$. Consider the ...
user avatar
  • 103
2 votes
1 answer
577 views

Ramification of prime ideal in Kummer extension

Let $\mu \in \mathbb{Q}(\zeta_n)$ lie above the rational prime $p$, and let the prime ideal $\mathscr{P}\subset \mathbb{Z}[\zeta_n]$ have ramification index $a$ over $\mu$. Why is it then true that $...
user avatar
  • 313
3 votes
1 answer
167 views

Bibliography suggestion for Kummer theory

I already posted a question about a sum involving the degree of a Kummer extension. Now I'm interested in a more specific fact about Kummer extensions. From Hooley's paper "On Artin's conjecture", we ...
user avatar
  • 215
3 votes
1 answer
169 views

Doubt concerning a sum involving Kummer extension degrees

I'd like to estimate the following sum $$ \sum_{n\leq x}\frac1{k_n}\;,\qquad x\rightarrow \infty\;, $$ where $k_n=[\mathbb{Q}(\zeta_n,a^{1/n}):\mathbb{Q}]$ is the degree of a Kummer extension for a ...
user avatar
  • 215
1 vote
0 answers
136 views

Is there a Kummer theory for cyclic covers in higher dimension?

Let $d \geq 2$ be an integer and $K$ a field of characteristic zero containing the roots of unity of order $d$. Let $X$ be a smooth curve over $K$, not necessarily projective. Let $\overline{x}$ be a ...
user avatar
  • 19
6 votes
1 answer
578 views

Degree of Kummer extensions of number fields

Let $K$ be a number field and $a\in K^*$ of infinite order in $K^*$. How do I show that $$[K(\sqrt[n]{a},\zeta_n):K]\geq C\cdot n\cdot\varphi(n)$$ holds for all positive integers $n$, with a positive ...
user avatar
  • 69
4 votes
1 answer
1k views

Kummer theory isomorphism and Kummer extensions

Let $p$ be a prime number and $K$ a finite extension of $\mathbb{Q}_p$. Put $K_\infty = K(\mu_{p^\infty})$, the field extension obtained by adjoining all $p$-power roots of unity to $K$. I want to ...
user avatar
  • 379
2 votes
0 answers
370 views

a reference for Kummer theory, with proofs ?

What is a standard reference for Kummer theory of semi-Abelian varieties ? I need a complete exposition with detailed proofs. Also in prime characteristic, although I am not sure what the statement ...
user avatar
  • 1,299