42
$\begingroup$

Question Is there a connection between Abel and Galois theories of polynomial equations?

Recall that for every polynomial $p(x)\in \mathbb{Q}[x]$ (say, without the free coefficient), Abel considered the monodromy group of the Riemann surface of the analytic function $w(z)$ defined by $p(w(z))+z=0$.. There is an expression of $w(z)$ in radicals if the monodromy group is solvable (is it an "if and only if" statement?).

On the other hand, for every polynomial $p(x)\in \mathbb{Q}[x]$, Galois considered the automorphism group (the Galois group) of the splitting field of $p$. The roots of $p(x)$ are expressed in radicals if and only if the Galois group is solvable.

The question asks whether there are any known connections between the monodromy group of $w(z)$ and the Galois group of $p(x)+z$ (considered as polynomial in $x$).

I am pretty sure this is well known. I just cannot find it in the literature.

Update 1. What I called "Abel's proof" of Abels' theorem is in fact Arnold's proof written by Alexeev (an English translation can be found here). Abel's proof was based on different ideas, see this text. So some instances of the word "Abel" above should be replaced by "Arnold". Added "Arnold" to the title.

Update 2. I found a very nice book by Askold Khovanskii, "Topological Galois Theory", where Arnold's proof and its strong generalizations to other types of equations, including differential equations, are explained in detail. Highly recommended.

$\endgroup$
15
  • 9
    $\begingroup$ @SylvainJULIEN It is more of a surprise that Fermat had a proof of his theorem maybe around 1670, when Wiles had approximately $-283$ years of age. $\endgroup$
    – Shalom
    Mar 22, 2018 at 17:42
  • 2
    $\begingroup$ @SylvainJULIEN As I recall, according to Pesic's book to "Abel's proof", one of the things which made Abel hard to read was that he worked with the language of multivalued analytic functions, which was later cleaned up by introducing the language of Riemann surfaces. Abel certainly understood that $\sqrt{z}$ is $2$-fold branched at $0$, but (as I understand it) he wouldn't have thought of that as a map from some other surface to $\mathbb{C}$. $\endgroup$ Mar 22, 2018 at 18:22
  • 5
    $\begingroup$ @SylvainJULIEN: More amazingly, Galois discovered his theory about 60 years before abstract groups were defined. Most people explaining Galois theory now follow Artin's proof. $\endgroup$
    – user6976
    Mar 22, 2018 at 18:59
  • 3
    $\begingroup$ I sometimes think Galois would have been able to prove RH had he lived long enough. The fact that a teenager could do what he did is somewhat scary. $\endgroup$ Mar 22, 2018 at 19:07
  • 3
    $\begingroup$ Why did you edit to add a typo? $\endgroup$
    – YCor
    Jul 16, 2019 at 6:48

2 Answers 2

26
$\begingroup$

The action of the monodromy group of $w(z)$ on the fiber $p^{-1}(a)$ for a non-critical value $a$ of $p$ (that is $|p^{-1}(a)|=\deg p$) is the same as the action of the Galois group of $p(x)+z$ over $\mathbb C(z)$ on the roots of $p(x)+z$ in some splitting field. One can see this by comparing each of these groups with the deck transformation group of the cover $X\to\mathbb P^1\mathbb C$, where $X$ is the normal hull of the cover $P^1\mathbb C\to P^1\mathbb C$, $x\mapsto p(x)$. (Remark: Though it doesn't make a difference, it is slightly more convenient to work with $p(x)-z$ instead of $p(x)+z$.)

$\endgroup$
2
  • $\begingroup$ So the monodromy group of $w(z)$ and the Galois group of $p(x)-z$ over $\mathbb{C}(z)$ are isomorphic? Can you give a reference to it? $\endgroup$
    – user6976
    Mar 22, 2018 at 20:45
  • 6
    $\begingroup$ @MarkSapir: It seems to me that Section I of a paper by Joe Harris ( projecteuclid.org/euclid.dmj/1077313717) covers that. Also, one finds the ingredients in Forster's Lectures on Riemann Surfaces, one essential piece being Theorem 8.12. $\endgroup$ Mar 22, 2018 at 21:56
10
$\begingroup$

Yes, this was explored at length in the work Joseph Fels Ritt in the 1920s-1930s, who wrote it all up rather well, but it also appears in various Serre books (Topics in Galois Theory, I am pretty sure).

I am sure it appears in Serre's books, and certainly Topics in Galois Theory talks a lot of the function field case. As for Ritt, here is a random example (he wrote a lot on this in the twenties, most quite relevant):

Ritt, J. F., On algebraic functions which can be expressed in terms of radicals., American M. S. Trans. 24, 21-30 (1923). ZBL49.0717.01.

Another good source from all this is Jean-Pierre Tignol's book:

Tignol, Jean-Pierre, Galois’ theory of algebraic equations, Singapore: World Scientific. xiii, 333 p. (2001). ZBL0972.12001.

$\endgroup$
3
  • 10
    $\begingroup$ Are you sure about Serre's book? Could you provide a reference to Ritt's work? $\endgroup$
    – user6976
    Mar 22, 2018 at 17:19
  • 11
    $\begingroup$ Ritt's paper does not contain the word "Galois". Do you know an answer to my question? $\endgroup$
    – user6976
    Mar 22, 2018 at 18:53
  • 11
    $\begingroup$ And Tígnol's book does not contain the word "monodromy". $\endgroup$
    – user6976
    Mar 22, 2018 at 19:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.