"Understanding" Gal(\bar Q/Q) - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T05:34:02Z http://mathoverflow.net/feeds/question/2791 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q "Understanding" Gal(\bar Q/Q) Jonah Sinick 2009-10-27T08:10:01Z 2012-11-06T17:24:02Z <p>I have heard people say that a major goal of number theory is to understand the absolute Galois group of the rational numbers G = Gal(Q bar/Q). What do people mean when they say this? The Kronecker-Weber theorem gives a good idea of what the abelianization of the G looks like. But in one of Richard Taylor's MSRI talks, Taylor said that he's never heard of anyone proposing a similar direct description of G and that to understand G one studies the representations of G.</p> <p>I know that there is a strong interest in showing the Langlands reciprocity conjecture [Edit: What I had in mind in writing this is evidently Clozel's conjecture, not the Langlands reciprocity conjecture - see Kevin Buzzard's post below] - that L-functions attached to l-adic Galois representations coincide with L-functions attached to certain automorphic representations. And I've heard people refer to the Tannakian philosophy which I understand as (roughly speaking) asserting that G is determined by all of its finite dimensional representations. </p> <p>Here is a representation of G understood not to be a representation of G as an abstract group but as a group together with a labeling of some of the conjugacy classes of G by rational primes (the Frobenius elements)?</p> <p>When people talk about "understanding G" do they mean proving [Edit: Clozel's conjecture] (in view of the Tannakian philosophy)? If not, what do they mean? If so, this conceptualization seems quite abstract to me. Is this what people mean when they say "understand G"? Can [Edit: Clozel's conjecture] be used to give more tangible statements about G? </p> <p>Something that I have in mind as I write this is the inverse Galois problem (does every finite group occur as a Galois group of a normal extension of Q?) and Gross' conjecture (mostly proven by now) that for each prime p there exists a nonsolvable extension of Q ramified only at p. But I am open to and interested in other senses and respects in which one might "understand" G</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/2801#2801 Answer by Thomas Riepe for "Understanding" Gal(\bar Q/Q) Thomas Riepe 2009-10-27T11:35:51Z 2009-10-27T11:35:51Z <p>Perhaps some articles in <a href="http://www.msri.org/communications/books/Book41/index.html" rel="nofollow" title="Schneps' book">this book</a> and the articles <a href="http://people.math.jussieu.fr/~leila/articles.html" rel="nofollow" title="Schneps' articles">here</a> help, and the discussion on <a href="http://mathoverflow.net/questions/1909/what-are-dessins-denfants" rel="nofollow" title="...">dessin d'enfants</a> (<a href="http://mathoverflow.net/questions/546/galois-groups-vs-fundamental-groups" rel="nofollow" title="...">more</a>) on this site.</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/2811#2811 Answer by Greg Muller for "Understanding" Gal(\bar Q/Q) Greg Muller 2009-10-27T13:39:58Z 2009-10-27T13:39:58Z <p>One aspect of understanding the absolute Galois group I've heard of is the 'Inverse Galois Problem'. This simply askes, <strong>Is every finite group the Galois group of some extension of Q</strong>? Its known for solvable groups, but it is unsolved (and apparently very hard) for general finite groups.</p> <p>The inverse Galois problem is equivalent to asking whether any finite group can be the quotient of Gal(Q^bar, Q). In this way, its a more concrete question about the absolute Galois group than Langlands reciprocity.</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/2812#2812 Answer by JSE for "Understanding" Gal(\bar Q/Q) JSE 2009-10-27T13:46:51Z 2009-10-27T13:46:51Z <p><em>Taylor said that he's never heard of anyone proposing a similar direct description of G and that to understand G one studies the representations of G.</em></p> <p>I remember Mazur telling me this when I was a grad student. He made this point in the following way. You shouldn't really think of Gal(Qbar/Q) as a group which has elements, but as a "group up to conjugacy" -- thus, the aspects of Galois groups that really make sense to think about are the conjugacy-invariant things: conjugacy classes (like Frobenii) and representations.</p> <p>To unpack this a bit more: a Galois group is a fundamental group. But to talk about a fundamental group (as opposed to a groupoid) you need to choose a basepoint. To talk about an absolute Galois group you also need to choose a basepoint, which is to say an algebraic closure Qbar/Q. (So just as one should talk about pi_1(X,*) rather than pi_1(X), one should talk about Gal(Qbar/Q) rather than Gal(Q).) But a basepoint you can just draw with a pencil. A Galois closure of Q is not so easy.</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/2814#2814 Answer by JSE for "Understanding" Gal(\bar Q/Q) JSE 2009-10-27T13:49:57Z 2009-10-27T13:49:57Z <p>Another aspect of "what it might mean to understand Gal(Q)" -- Shafarevich conjectured that the absolute Galois group of Q^{ab} is a free profinite group. That's pretty explicit!</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/2872#2872 Answer by Ilya Nikokoshev for "Understanding" Gal(\bar Q/Q) Ilya Nikokoshev 2009-10-27T19:04:50Z 2009-10-27T19:34:07Z <p>I'm far from expect in this topic, but here's my attempt.</p> <p>First, and that's something quite straightforward, people want to study <code>Gal Q</code> (this is how I will denote it; this common shortcut is defined as <code>Gal F := Gal \bar F/F</code>) because we like Galois groups. For simple fields we know their Galois groups and we know how tremendously important they have been, from solving the equations (Abel et al) to doing group cohomology in class field theory.</p> <p>As algebraic geometry matured, people learned that one of the deep reasons for importance of Galois group is that it's the <strong>fundamental group</strong> <code>pi_1(Spec F)</code> (depending on the definition, sometimes this is true only after a profinite completion, I'll omit this fine point further below). This allows us to use the whole apparatus of topology as well as the geometric intuition.</p> <p>Representations of <code>Gal F</code> thus have a natural geometric meaning as some bundles (local systems) on the coverings of <code>Spec F</code>. This alone would make their study pretty important. It's very reasonable to study a space in terms of geometric objects that live on it.</p> <p>The whole Galois group is very complicated. Fortunately, since the Galois groups of <code>F_q</code> and <code>Q_p</code> (<code>p</code>-adic numbers) are known, we know lots of factorgroups of it. This is the standard topic of algebraic number theory courses.</p> <p>Moreover, if we restrict ourselves to the *Abelian part of Galois group, its structure has been completely established by the <strong>class field theory</strong>. In other words, all one-dimensional representations of <code>Gal Q</code> are known. That begs a natural question about higher-dimensional reps &mdash; indeed this goes on by the name of <strong>Langlands program</strong>.</p> <p>The Langlands program is such a huge topic that I don't feel able even starting to talk about it. It might be a good idea to post questions here if you'll feel brave enough to learn it :)</p> <p>One more topic in the discussion of the structure of <code>Gal F</code> is about the specific (conjugacy classes) of operators that live there, called <strong>Frobenius operators</strong>. The amazing thing about them is that they behave, formally, in a way similar to the knot operators in the fundamental group of a threefold without knots. This image is reinforced by the computations of the dimension of <code>Spec Z</code> that give an answer of 3, providing fruitful connections to the theory of real 3-manifolds, knots and their L-functions.</p> <p>Finally, here's the direction that was explored by many people and was probably made famous through Grothendieck's work. Consider a variety <code>Z := P^1-(0, 1, \infty)</code>, the projective plane without three points. It is really interesting as it makes sense over any field. Now suppose we consider it as a scheme over Q and ask for its fundamental group. Then one would have an exact sequence, if I'm not mistaken, </p> <pre><code>0 --&gt; pi_1(Z/\bar Q) --&gt; pi_1(Z/Q) --&gt; Gal Q --&gt; 0 </code></pre> <p>which implies, by standard reasoning, that <code>Gal Q</code> acts on <code>pi_1(Z/\bar Q)</code>, which is a very straightforward group &mdash; it's simply a topological fundamental group of a plane without two points, so it's freely generated by two loops. Grothendieck called it a <em>cartographic group</em> and related it to <strong>dessin's d'enfants</strong>. The standard references are very well-written in T.'s answers and there are hopefully more questions on this topic coming to MathOverflow ;)</p> <p>As you see, this is a very interesting direction that we should continue to explore. One more thing I like about it is that it's also very suitable to MathOverflow format, since there are both many specific questions as well as opportunities to write reviews and to produce new results by collaboration.</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/3545#3545 Answer by Tyler Lawson for "Understanding" Gal(\bar Q/Q) Tyler Lawson 2009-10-31T14:15:14Z 2009-10-31T14:15:14Z <p>What would it mean to understand this Galois group? You could mean several things.</p> <p>You could mean trying to give the group in terms of some smallish generators and relations. This would be nice, and help to answer questions like the inverse Galois problem that Greg Muller mentioned, and having a certain family of "generating" Galois automorphisms would allow you to study questions about e.g. the representation theory in quite explicit terms. However, the Galois group is an uncountable profinite group, and so to give any short description in terms of generators and relations leads you into subtle issues about which topology you want to impose.</p> <p>You could also ask for a coherent system of <em>names</em> for all Galois automorphisms, so that you can distinguish them and talk about them on an individual basis. One system of names comes from the dessins d'enfant that Ilya mentioned: associated to a Galois automorphism we have some associated data.</p> <ul> <li>We have its image under the cyclotomic character, which tells us how it acts on roots of unity. By the Kronecker-Weber theorem this tells us about the abelianization of the Galois group.</li> <li>We also have an element in the free profinite group on two generators, which (roughly speaking) tells us something about how abysmally acting on the coefficients of a power series fails to commute with analytic continuation.</li> </ul> <p>These two names satisfy some relations, called the 2-, 3-, and 5-cycle relation, which are conjectured to generate all relations (at least the last time I checked), but it is difficult to know whether they actually do so. If they do, then the Galois group is the so-called Grothendieck-Teichmuller group.</p> <p>The problem with this perspective is that the names aren't very explicit (and we don't expect them to be: we may need the axiom of choice to show they exist, and there are only two Galois automorphisms of <b>C</b> that are measurable functions!) and it seems to be a difficult problem to determine whether the Grothendieck-Teichmuller group really is the whole thing. (Or it was the last time I checked.)</p> <p>However, the cyclotomic character is a nice, and fairly canonical, name associated for Galois automorphisms. We could try to generalize this: there are Kummer characters telling us what a Galois automorphism does to the system of real positive roots of a positive rational number number (these determine a compatible system of roots of unity, or equivalent an element of the Tate module of the roots of unity). This points out one of the main difficulties, though: we had to make <em>choices</em> of roots of unity to act on, and if Galois theory taught us nothing else it is that different choices of roots of an irreducible polynomial should be viewed as indistinguishable. Different choices differ by conjugation in the Galois group.</p> <p>This brings us to the point JSE was making: if we take the "symmetry" point of view seriously, we should only be interested in conjugacy-invariant information about the Galois group. Assigning names to elements or giving a presentation doesn't really mesh with the core philosophy.</p> <p>So this brings us to how many people here have mentioned understanding the Galois group: you understand it by how it manifests, in terms of its representations (as permutations, or on dessins, or by representations, or by its cohomology), because this is how it's most useful. Then you can study arithmetic problems by applying knowledge about this. If I have two genus 0 curves over Q, what information distinguishes them? If I have two lifts of the same complex elliptic curve to Q, are they the same? How can I get information about a reduction of an abelian variety mod p in terms of the Galois action on its torsion points? Et cetera.</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/3546#3546 Answer by Rob Harron for "Understanding" Gal(\bar Q/Q) Rob Harron 2009-10-31T14:22:02Z 2009-10-31T14:22:02Z <p>Khare-Larsen-Savin have used functoriality (ie the Langlands program) to help solve the inverse Galois problem, see for example <a href="http://www.math.ucla.edu/~shekhar/papers/galois.pdf" rel="nofollow" title="this paper">link text</a>. They show that some finite groups of Lie type occur as Galois groups.</p> <p>As for the Langlands program in general, solving it may not give an answer to "What is Gal(Qbar/Q)?", however it can certainly help. For example, the use of automorphic forms in Iwasawa theory has been quite fruitful such as Ribet's proof of the converse to Herbrand's theorem, the proof of the Main conjecture by Mazur-Wiles and Wiles, etc. For example, Eisenstein series, their congruences with cusp forms and the associated Galois representations are used in Ribet's paper (Inv. Math. 34 (1976)) to construct unramified p-extensions. It can be easier to hide an automorphic form up your sleeve.</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/3685#3685 Answer by Lavender Honey for "Understanding" Gal(\bar Q/Q) Lavender Honey 2009-11-01T17:25:36Z 2012-11-06T17:24:02Z <p>$\newcommand{\bb}{\mathbb}$ This is a response to Charles' remark to JSE's answer, why doesn't $\bar{\bb Q}$ come with a <i>standard</i> algebraic closure inside the complex numbers $\bb C$?</p> <p>First, if one considers an abstract extension $K/\bb Q$, then $K$ has $d = [K:\bb Q]$ embeddings into the complex numbers, which can not, <i>a priori</i>, be distinguished in any way. (e.g. maps from $K = \bb Q[x]/(x^3-2)$ to $\bb C$ require a "choice" of $2^{1/3}$ in $\bb C$.</p> <p>Of course, this doesn't answer Charles' question, which, I imagine, is more along the following lines. Why doesn't one simply <i>start</i> with the complex numbers, and then consider the set of algebraic numbers inside $\bb C$? The resulting field is clearly isomorphic to $\bar{\bb Q}$, and, moreover, comes with a canonical embedding into $\bb C$.</p> <p>The problem arises when one wants to define Frobenius elements. Defining such elements amounts to giving a choice of embedding from $\bar{\bb Q}$ into $\bar{\bb Q}_p$. So there is a choice to be made for every $p$! Thinking of $\bar{\bb Q}$ inside $\bb C$ fixes this choice for "$p=0$" only.</p> <p>To make this <i>completely</i> explicit, consider the splitting field $K$ of $x^3 - 2$. In the "fields live inside $\bb C$" optic, $K$ is the field $\bb Q(2^{1/3},\sqrt{-3})$ where $2^(1/3)$ is real and the imaginary part of $\sqrt{-3}$ is positive. Clearly $Gal(K/\bb Q) = S_3$, where we can think of $(123)$ as sending $2^{1/3}\mapsto e^{2\pi i/3} 2^{1/3}$. If $p = 7$, then $Frob_p$ has order 3 in $S_3$. We can ask, does $Frob_p = (123)$ or $(132)$? We find that $$Frob_p = (123) \quad\mbox{if } \sqrt{-3}\equiv 2\mod 7$$ $$Frob_p = (132) \quad\mbox{if } \sqrt{-3}\equiv 5\mod 7$$ and knowing that the imaginary part of $\sqrt{-3}$ is positive does not allow us to determine $Frob_p$ without choosing an embedding of $K$ into $\bar{\bb Q}_7$.</p> http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q/3768#3768 Answer by Kevin Buzzard for "Understanding" Gal(\bar Q/Q) Kevin Buzzard 2009-11-02T07:47:48Z 2009-11-03T16:13:03Z <p>I am pretty sure that when different number theorists say "one of the main goals of number theory is to understand Gal(Q-bar/Q)" they may well mean different things.</p> <p>One example of what someone might mean, which has been touched upon above, but which I'd like to stress (because it's what I mean whenever I start seminars with this generic-sounding statement!) is Clozel's conjectures in his Ann Arbor paper.</p> <p>Langlands would conjecture that for any automorphic representation of GL_n over a number field K, there should be an associated n-dimensional complex representation of what people might now call the Langlands group of K (Langlands really conjectured something a little more precise: he conjectured that a certain category that he could not quite define, but whose objects he understood, should have the structure of a Tannakian category; I've tried to make this statement "concrete" in the above).</p> <p>One of the problems with Langlands' conjecture was simply that it's not the sort of thing that can be checked by example, because no-one really knows an intrinsic construction of the Langlands group of K.</p> <p>However, there are theorems in the literature about constructing Galois representations from automorphic representations, for example class field theory (which tells us what the abelianisation of this Langlands group should look like: ((adeles of K)^* / K_^* ) ) and Deligne-et-al's theorem attaching p-adic Galois representations to holomorphic cusp forms for GL_2 over Q.</p> <p>Hang on a minute though---Langlands was conjecturing the existence of complex Galois representations of some group we don't have a definition of---how does Deligne's theorem fit into this? Here we have a p-adic representation (which wouldn't be continuous if you chose an isomorphism Q_p-bar = C and considered the induced complex representation) of a group that at least we have a definition of (Gal(Q-bar/Q) in Deligne's case). So in fact Deligne isn't proving a special instance of Langlands' conjecture, he's proving something else.</p> <p>Clozel formulated precisely what that "something else" should be: he conjectured that to any <em>algebraic</em> automorphic representation of GL_n(adeles of K) there should be an attached p-adic Galois representation. I think that nowadays one would also conjecture that conversely given a geometric p-adic Galois representation (i.e. a representation Gal(K-bar/K)-->GL_n(Q_p-bar) which looks reasonable in some way that can be made precise) it should arise in this way. People like Emerton and Kisin are well on the way to proving this for K=Q and n=2.</p> <p>So "proving Clozel's conjecture" would be one way of making precise "understanding Gal(Q-bar/Q)". What this would boil down to in this case would be understanding all the representations of Gal(Q-bar/Q) which were (a) taking values in Aut(V) with V a f.d. vector space over the p-adics, (b) unramified outside a finite set of primes (c) de Rham at p, and one would be understanding them in the sense that one would be parametrising the set of unramified conjugacy classes Frob_ell in terms of something totally different (automorphic representations, which are analytic gadgets).</p> <p>The book of Harris and Taylor is to a large extent the state of the art nowadays (but the theory is currently moving so fast) [EDIT: see Toby Gee's comment below]. However the base field K is essentially always either totally real or CM in this book, so in some sense the general case of Clozel's conjecture is still wide wide open.</p> <p>Note finally that in some sense what Langlands conjectures is still open even for modular elliptic curves. If E is a modular elliptic curve over Q then the Galois representation naturally associated to E is its Tate module. But the representation of the Langlands group attached to E would be a representation to GL2(C), whose image would land in U2(C), the trace of Frob_p would be a sub p/sqrt(p), and (in the non-CM case) the conjugacy classes of the Frob_p's would be "evenly distributed in U(2)"---a statement which turns into the Sato-Tate conjecture when you unravel it. Note that Taylor et al proved the Sato-Tate conjecture but they certainly did not prove it by constructing this representation! Indeed it's in some sense an ill-defined question to construct this representation, because we don't know what the Langlands group is.</p>