8
$\begingroup$

Good morning, today I have read that "number theory is nothing but the study of $\mathrm{Gal}(\mathbb{\bar{Q}}/\mathbb{Q})$", here http://www.math.uconn.edu/~alozano/elliptic/finding%20points.pdf can anyone give a very naive layman definition of what it actually means?

Furthermore, I got this doubt that $\bar {\mathbb{Q}}$ is the algebraic closure of $\mathbb{Q}$, and the thing that confuses me is the field of rational numbers $\mathbb{Q}$ is not a algebraically closed as there exists a polynomial with $a_{1},a_{2},\dotsc,a_{n}\in \mathbb{Q}$ and $(x-a_{1})(x-a_{2})\cdots(x-a_{n})+1$ has no zero in $\mathbb{Q}$.

Then why are we considering the field extension of $\bar {\mathbb{Q}}/\mathbb{Q}$ when $\mathbb{Q}$ is not algebraically closed, won't it contradict the definition of algebraic closure?

But I am not getting an answer i was looking for ,i want what are the things going on behind the $\mathrm{Gal}(\mathbb{\bar{Q}}/\mathbb{Q})$ like what is the thing we get if we take the $\mathbb{\bar{Q}/\mathbb{Q}}$ and what does taking the $\mathrm{Gal}(\mathbb{\bar{Q}}/\mathbb{Q})$ give someone,

Thank you

  • 11
    $\overline{\mathbb{Q}}$ *is* algebraically closed, $\mathbb{Q}$ isn't, and it would be very boring Galois theory if the base field were closed.2011-04-27
  • 8
    Why did this question get a downvote?2011-04-27
  • 0
    So ... my question is the reductionist claim "nothing but"...2011-04-27
  • 2
    This question was thoroughly discussed on MO: http://mathoverflow.net/questions/2791 . In any case, the sentence is a bit of rhetoric; no need to take it too seriously.2011-04-27
  • 2
    @Qia I doubt that the linked MO thread would be comprehensible to a "naive layman". Perhaps it might be after first reading "Fearless Symmetry"2011-04-27
  • 4
    @Bill: that comment is more for the benefit of anyone who might be interested in the obvious follow-up question than the OP.2011-04-27
  • 1
    Is there a book like Fearless Symmetry except assumes you know basic number theory and gives you problems to do?2011-04-27
  • 7
    @Stijn When someone clearly doesn't understand what algebraic closure is, but asks some questions about Gal(\bar Q/Q)...2011-04-28
  • 1
    @iyengar, $\bar Q/Q$ is not meaningful on its own.2011-04-28
  • 5
    @Grigory M: mr grigory i felt very bad looking at your comment,this is a place where one shares and gains the knowledge,i dont know the galois group,and extensions so thats why i am asking it here,if i would have known these things why would i ask ?, and you must accept that no one is know all in the universe everyone die as a student as there are lot many things to be learnt,and there was a time when you are a child you even dont know numbers,and alphabets,now you know them,because some one had told you and made you learn them2011-04-29
  • 0
    @Grigory :what the thing i stress here is if you want to help someone help,i think that there will be millions of terms you dont know,which nobody knows,ok ,knowing nothing is not a sin,but learning nothing is a sin,everyone is not a professor by birth,but he infacts gain the knowledge from years of struggle and hardwork,ok,now i am on that way,i think you understood the thing /intention behind my comment ok2011-04-29
  • 0
    @quanta:it was quite useful,thank you2011-04-29
  • 5
    @iyengar Please understand me correctly: it's certainly nothing wrong in not knowing something; it would be also nothing wrong in asking a question about what is algebraic closure (or about how one can define algebraic closure of Q or about anything else) on this site. But I _do_ think that before asking questions about Gal(\bar Q/Q) one should _first_ learn what is "Gal" and "\bar Q". (And let's move the discussion to Meta.)2011-04-29
  • 0
    @grigory :thats why i posed the question about "gal" and $\bar Q$ and to explain what the things going on behind2011-04-29
  • 14
    Perhaps the reason you're not getting an answer you're looking for is you're not asking the question you mean to ask. No one can understand what you mean by "what is the thing we get if we take the Q-bar over Q?" Now if what you really want to do is ask, "what does Q-bar mean?" and/or "what does Gal mean?" then you can ask those questions and someone will be happy to answer you. But we're just guessing what you want to know because it's hard for us to make sense of your questions.2011-04-29
  • 0
    i have sent it just now2011-09-12

4 Answers 4

22

Perhaps the most accessible introduction for a "very naive layperson" is Ash and Gross's Fearless Symmetry. I recall reading many glowing reviews from non-experts, so this may be precisely the exposition that you seek. See also Gross's links to 10 reviews. I think you will find some of these reviews quite informative.

You may also find of interest this excerpt from an interview with Richard Taylor.

WHAT ARE YOUR MAJOR RESEARCH INTERESTS AND ACHIEVEMENTS?

The great problem that motivates me is to understand the absolute Galois group of the rational numbers, that is, the group of all automorphisms of the field of algebraic numbers (complex numbers which are the roots of nonzero polynomials with rational coefficients). If you like you can talk about all Galois groups of finite extensions of the rational numbers, but this is a convenient way to put them all together. It doesn't make a lot of difference, but it is technically neater to put them all together. The question that has motivated almost everything I have done is, "What's the structure of that group?" One of the great achievements of mathematicians of the first half of this century is called class field theory, and one way of seeing it is as a description of all abelian quotients of the absolute Galois group of Q, or if you like, the classification of the abelian extensions of the field of the rational numbers. That's only a very small part of this group. The group is extremely complicated, and just describing the abelian part doesn't solve the problem. For instance John Thompson proved that the monster group is a quotient group of this group in infinitely many ways.

There is some sort of program to understand the rest of this group, often referred to as the Langlands Program. There's a huge mass of conjectures, of which we are only beginning to scratch the surface, which tell us what the structure is. The answer is to my mind extremely surprising; it invokes extremely different objects. You start out with this algebraic structure and end up using what are called modular forms, which relate to complex analysis.

There seems to be an answer to this question: what's the structure? And the answer is something completely unexpected in terms of these analytic objects, and I think that's what attracts me to the subject. When there is a great connection between two different areas of mathematics, it always seems to me indicative that something interesting is going on.

The other thing we can see--another indication that it's a powerful theory--is that one can answer questions one might have asked anyway, before one built up the theory. Maybe, the first example was a result proved by Barry Mazur; he provided a description of the possible torsion subgroups of elliptic curves defined over the rational numbers. It was a problem that had been knocking around for some time, and it's relatively easy to state. Using these sorts of ideas, Barry was able to settle it.

Other examples are the proof the main conjecture of Iwasawa theory by Barry Mazur and Andrew Wiles, and the work of Dick Gross and Don Zagier on rational points on elliptic curves. And I guess finally, there's Fermat's last theorem, which Andrew Wiles solved using these ideas again. So in fact, the story of Fermat's last theorem is that this German mathematician Frey realized that if you knew enough of this correspondence between modular forms and Galois groups, there is an extraordinarily quick proof of Fermat's last theorem. And at the time he realized this, not enough was known about this correspondence. What Andrew Wiles did and Andrew and I completed was prove enough about this correspondence for Frey's argument to go through. The thing that amuses me is that it seems that history could easily have been reversed. All these things could have been proved about the relationship between modular forms and Galois groups, and then Frey could have come along and given nearly a two-line proof of Fermat's last theorem.

Those four [torsion points, Iwasawa theory, Gross and Zagier, Fermat] are probably the obvious big applications of these sorts of ideas. It seems to me the applications have been extraordinarily successful--at least four things that would have been recognized as important problems irrespective of this theory, problems that people had thought about before modular forms.

  • 1
    it was quite useful2011-04-29
  • 0
    Well said Prof.Taylor :)2011-05-07
7

I would say it's not unreasonable to (loosely) describe algebraic number theory as the study of number fields (number fields are the objects you get when you adjoin roots of polynomials like $X^2+1$ to $\mathbb{Q}$). This is admittedly an incredibly vague description and could be taken in any number of ways, but, if you allow it, then, via Galois theory (for infinite degree extensions of $\mathbb{Q}$, like $\bar{\mathbb{Q}}$), Galois number fields are (roughly) in bijection with finite quotients of the Galois group of $\bar{\mathbb{Q}}$ over $\mathbb{Q}$. (I say roughly because really the bijection is with normal subgroups of finite index of the Galois group that are closed for a certain topology.) For instance, a sort of natural question in algebraic number theory would be "what finite groups occur as Galois groups of Galois field extensions of $\mathbb{Q}$?" This is equivalent to the question "what are the finite quotients of the Galois group of $\bar{\mathbb{Q}}$ over $\mathbb{Q}$?"

5

You might want to let us know where you read that quote, the context could be helpful in determining the author's intentions. I'm guessing that it wasn't meant to be taken too seriously, and I'd recommend you take it to mean only that there are a few things in Number Theory that you can understand better if you know something about that Galois group.

If you want to look into it further, a good keyphrase is "absolute Galois group."

  • 4
    If you look at the OP's profile, you will see that he is not particularly fond of mathematicians' "jargon". So by giving him that keyphrase, you have just revealed yourself as another one of those mathematicians who try to make their work look complicated.2011-04-27
  • 21
    @Alex, I can live with that.2011-04-27
  • 1
    perhaps it was [here](http://mathoverflow.net/questions/2791/understanding-gal-bar-q-q).2011-04-27
  • 0
    @Zev thanks! @Gerry Interesting comment :-) Why dont you please edit your answer by giving a simple example or a situation where the connection can be seen. Perhaps a naive one would suffice. thanks.2011-05-07
  • 0
    @Dinesh, sorry, I don't even know a naive example of something in Number Theory that gets explained well by the absolute Galois group. I repeat my suggestion to type that phrase into your favorite search engine and see what turns up.2011-05-08
4

The object $\mathrm{Gal}(\mathbb{\bar{Q}}/\mathbb{Q})$ is not just an abstract group; it has a natural and intricate topology on it as well. Then one would consider various naturally occurring continuous actions of this topological group on various modules. Two examples are: The absolute Galois group of a number field acts naturally on the roots of unity contained in that field, or, given an elliptic curve over the field, the Galois group acts on the torsion points on the elliptic curve with co-ordinates contained in the field.

Also one considers some natural representations of this Galois group on some vector spaces. Examples can be constructed from the above description of Galois actions. A lot of number theory is encapsulated in the study of such Galois actions and Galois representations. This is perhaps what is meant by the statement that you quote.