You are currently browsing the category archive for the ‘TolerableMaths’ category.

In the coffee hour discussion today, Nick gave me an interesting explicit example of an exceptional isomorphism of Lie groups.

is an isomorphism via the map. Let me elaborate. The group acts naturally on . If is a basis of , then a basis of could be taken as . Thus, is and our -action gives a monomorphism of groups:

.

The image must actually be inside .

The quadratic form

,

is symmetric (two permutations) and preserves the – action, i.e.,

.

Hence the image of in must also preserve this symmetric bilinear form. Thus, . By dimension consideration, they must be equal.

I was wondering the rationale behind naming parabolic subgroups of linear algebraic groups. The answer, interestingly, comes from the action of on the upper half plane. (I came up with this little discovery on my own.)

The orbit of the point under the action of the standard parabolic subgroup of is a parabola.

The upper half-plane is an object that comes up in many parts of mathematics, hyperbolic geometry, complex analysis and number theory to name a few. The group acts on it by fractional linear transformations:

A parabolic subgroup is it’s subgroup such that quotienting by gives a compact variety. Upto conjugation, the only parabolic subgroup of is It’s action on the point is given by:

whose locus is a parabola.

I wonder why textbooks in algebraic groups don’t mention this!

EDIT: (21 April, 2015) The above calculation is WRONG. I don’t know the answer to “parabolic”.

I came across a simple statement in finite group theory that I’m almost upset no one told me earlier. The source is Serre’s book ‘Linear Representations of Finite Groups’. Serre used this statement below to define / prove Brauer’s theorem on induced representations of finite groups, using which one proves the meromorphicity of Artin-L-functions. Here it goes.

is a finite group and is a fixed prime. An element of is called –**unipotent** if has order a power of and –**regular** if it’s order is prime to .

**Cool result:** Every element in can be uniquely written as

where

- is -unipotent, is -regular,
- and commute and
- they are both powers of .

The proof is really easy. Just replace by the (finite) cyclic group generated by !

I call it the Jordan decomposition because we have a similar decomposition for endomorphisms (among other things).

Let be a finite dimensional vector space over an algebraically closed field of characteristic zero (just in case!). Each can be uniquely written as

where

- is semisimple (diagonalizable), is nilpotent,
- they both commute and
- they are polynomials in without a constant term.

Pretty cool, huh!

Gian Carlo Rota’s Indiscrete Thoughts is a must-read for every budding mathematician. He’s highly opinionated and among articles like “Ten things I should have learnt as a graduate student”, one can also find short biographies of biggies like Emil Artin, Stan Ulam and Solomon Lefshetz. Below is a paragraph taken from the book.

His advisor Jack Schwartz gives Rota the task of cleaning up the tome “Linear Operators” by Dunford – Schwartz for errors, solving exercises, correcting semicolons etc. Here is Rota’s description about one of the questions he wasn’t able to solve.

*It took me half the summer to finish checking the problems in **Chapter Three. There were a few that I had trouble with, and worst **of all, I was unable to work out Problem Twenty of Section Nine. One **evening Dunford and several other members of the group got together **to discuss changes in the exercises. Jack was in New York City. It was **a warm summer evening and we sat on the hard wooden chairs of **the corner office of Leet Oliver Hall. Pleasant sounds of squawking **crickets and frogs along with mosquitoes came through the open gothic **windows. After I admitted my failure to work out Problem Twenty, **Dunford tried one trick after another on the blackboard in an effort to **solve the problem or to find a counterexample. No one remembered **where the problem came from, or who had inserted it. *

*After a few hours, feeling somewhat downcast, we all got up and **left. The next morning I met Jack, who patted me on the back and told **me, “Don’t worry, I could not do it either.” I did not hear about Problem **Twenty of Section Nine for another three years. A first-year graduate **student had taken Dunford’s course in linear operators. Dunford had **assigned him the problem, the student solved it, and developed an **elegant theory around it. His name is Robert Langlands.*

In my recent number theory seminar on “Hilbert’s 90 and generalizations” (notes here), Professor Goins asked the following interesting question.

Let be a field and . Define to be the torus

What values of give -isomorphic tori?

(The question was perhaps motivated by the observation that over the reals, the sign of determines completely whether would be split (i.e., isomorphic to ) or anisotropic (i.e., isomorphic to ).

Here are two ways of looking at the answer.

- For , we determine when two matrices and are conjugate in . Solving the system

gives .

Thus i.e., the ‘s are classified by . (For , this is isomorphic to so the sign of determines upto conjugation.) By Kummer theory, , where are the second roots of unity. Thus there is a correspondence between isomorphism classes of tori and quadratic extensions of .

- Another way to look at the same thing is as follows. Fix . Let be an extension of wherein splits. Now is a split torus of rank 1. For an algebraic group over an algebraically closed field, we have the exact sequence

where is the based root datum associated to . (Here, and is the set of simple roots of corresponding to a choice of a Borel subgroup of .) For details, see Corollary 2.14 of Springer’s paper “*Reductive Groups*” in Corvallis.

In our case, so .

Now forms of are in bijective correspondence with

the last isomorphism because the Galois group acts trivially on the split torus .

Below is Gauss’ quadratic reciprocity, found in most elementary texts in number theory. In this post, we’ll see how the Hecke operators originate from this theorem.

**Theorem (Gauss).** Let and . For distinct odd primes ,

Consider the equation

Let be the number of solutions to Q modulo , minus one. Then by definition of the Legendre symbol, By property of the Lengendre symbol (or rather, the Jacobi symbol), we have

(*)

Let . Then it follows from the reciprocity law that depends only on the value of modulo . Furthermore, the finite sequence **arises as a set of eigenvalues of a linear operator (the Hecke operator) on a finite dimensional complex vector space**. We’re going to construct the space.

Verify that is a linear operator on . Now all these operators for varying primes commute with each other. So what is a common eigenvector?

Define . Then use (*) to show that

for all prime. So, this is indeed, a common eigenvector for all the ‘s!

I will explain more about Hecke operators on modular forms in a future post. (Edit July 10, 2013: Link to the said post).

Sohei YASUDA gave me a proof of a lemma whose proof is instructive and interesting, using many little facts from group theory and topology. I thought I should blog it.

**Lemma:** G is a compact topological group and H is an open subgroup. Then H is also closed (!) and of finite index.

**Proof.** G can be written as a union of cosets, each of which is open in G thanks to continuity of the group product. Thus the complement of H is a union of open (co)sets so is open. H is thus closed.

Consider now the quotient map from G to G/H. (Here, I’m not assuming H is normal in G but rather thinking of G/H as the quotient topological group with it’s topology coming from the quotient map). By definition of the quotient map, H cl-open in G implies it’s image, the identity coset of G/H too is cl-open.

Compactness of G inherits to the topology on G/H so the identity element is discrete on a compact set. The set G/H better be finite now, thus proving the second assertion.

Today was the first day after my prelims that I met Dr. Shahidi. He earlier advised me to take a break after the advanced topics so I could start research afresh. I also recently found his Wikipedia page (albeit a stub) – http://en.wikipedia.org/wiki/Freydoon_Shahidi . A more relevant Wiki-link about his work is – http://en.wikipedia.org/wiki/Langlands%E2%80%93Shahidi_method I hope one day I’ll edit these pages to add sources and more relevant material.

Our conversation was quite pleasant. He had some things in mind he wanted me to work on. He told me to go over “L-packets” and “A-packets” and other technical stuff; gave references where I could read about it. We discussed about my general PhD goal. “Your (research) problem should not be too difficult to be unable to solve”, he said. On asking if I’d like my work to be “Algebra or Analysis”, I instantly replied “Algebra!” although I should know that Number Theory uses tools from all branches of mathematics (including PDE 🙂 )

I have known Shahidi for his dry sarcastic wit and today’s conversation ended with a remarkable quip. He told me, “Keep me informed, don’t run away!”

In their book, Singer & Thorpe say, “At the present time, the average undergraduate Mathematics major finds math heavily compartmentalized.” One learns many things but does not see the connections between seemingly different things. Indeed, as the great Poincare says, Mathematics is the art of giving the same name to different things. In this and the subsequent post, we shall see the connections in algebra and topology with respect the Galois theory.

**Galois theory in Algebra**

This topic is covered in most standard algebra texts. It deals with studying the roots of polynomials and their relations. Given a field F and an irreducible polynomial p(x) with coefficients in F, we look at the smallest field K containing F and which has all roots of p(x). The set of all permutations of the roots of p correspond to automorphisms of K which fix F element-wise. These automorphisms form a group known as the Galois group. There is a beautiful correspondence between subgroups of this group and subfields of K fixing F.

The 19-th century mathematicians Galois and Abel studied this group and Galois came up with useful characterization on this group as to when its roots could be expressed in terms of the coefficients. Of course the theory has now been much more generalized, abstracted and is used indispensably in many parts of mathematics – number theory, algebraic geometry and more.

**Galois theory in Topology**

(Even this can be found in any standard text on algebraic topology. But here I am talking about Riemann surfaces – and the connections between the two Galois theories — the too-fascinating-to-be-true connection, although not very difficult, its not found in lower-level texts. I will explain that in a follow-up post to this soon).

Given a point P on a topological space S, one talks about the equivalence class (modulo continuous deformations) of paths starting and ending at P. They form a group, the fundamental group. Also, given two (path)-connected spaces R and S, one says that R is a covering of S if there is a continuous surjective map from R to S such that every point of S has a neighbourhood U whose inverse image is a disjoint union of copies each resembling U. One may imagine the real line to be a covering of the unit circle via the map t being mapped to (cos t, sin t).

Now comes the Galois correspondence. For a `nice’ topological space, there is a natural one-to-one correspondence between subgroups of the fundamental group of that space and its covering spaces (rather, isomorphism classes of covering spaces, to be pedantic). Further, the fundamental groups of these spaces have fundamental group isomorphic to the subgroup we started with!

**More analogy**

The analogy between Galois groups of algebraic objects and fundamental groups and covering spaces of topological spaces goes beyond just one-to-one correspondence. A field extension is normal if it has enough automorphisms. A covering map too is normal (or Galois) if it has enough automorphisms!

Normal field extension Normal subgroups of the Galois group

Normal covering Normal subgroup of the fundamental group

In the next post, we shall see a deeper connection between the four objects above. Namely, we shall take a polynomial, construct its Galois group, get a covering map for this field extension and see that the two groups are the same!

Galois group = fundamental group.

Amazing stuff!

In this post, we shall see how the resultant, a determinant containing coefficients of two polynomials is useful in determining the existence of their common roots.

Suppose we are working in a ring and are two polynomials in :

Consider the system of equations obtained by multiplying the first equation by and the second by . Make the following change of variables:

The equations: can be denoted in matrix form as:

Call the above matrix as . If there was a common solution so that , then above system of equations would have a non-zero solution (non-zero since ), so the determinant of would have to be zero. If the ring is an integral domain, then the vanishing of the determinant of is equivalent to and having a common root.

This determinant is known as the resultant of and . It has some interesting consequences that I state below:

**Theorem 1** For two non-constant irreducible polynomials to have a common root, it is necessary and sufficient that their resultant vanishes.

Assume that are irreducible and consider where . Thus the coefficients of and are polynomials in . The matrix similar to above has coefficients polynomials in , so here the resultant is a polynomial in , say . If is a common root of and , then . Hence the -coordinate of any common root must be a root of . In particular, there can be at most finitely many ‘s so that is a common root.

Further, for every value of so that , there are only finitely many values of so that is a root of . Hence and can intersect in finitely many points! We record this as one version of Bezout’s theorem:

**Theorem 2 (Bezout)** If and are irreducible polynomials of degrees in , then they can intersect in at most points.

Here, we have proved only finiteness of common points. For the refinement , see Abhyankar‘s book *Lectures in Algebra*.

**Theorem 3** Any curve can have at most finitely many singular points.

Here, we define a point to be singular if it satisfies . The proof follows from Bezout’s theorem when we set or .

Resultants can also be used to compute the discriminant of a polynomial. The discriminant of a polynomial

is given by

Upto a sign factor , we have

The Wikipedia article on Resultants takes the Theorem 1 to be the definition and states different results.

## Recent Comments