This one goes a little deeper, I think, than the previous videos. I introduce one of childhood’s most famous sequences of numbers and find the fairly well-known (these days – as a child I had no access to the web and so the sequence remained a mystery) closed form for the nth Fibonacci number.

As always, do please comment with suggestions/feedback/glowing praise 🙂

Looking back on the post “Signed Permutations” it seems a mite isolated, and some context might be of use. Also, I need to write about Quokka Theory in my thesis, and have decided this is as good place as any to experiment with exposition. So here goes.

A critical Theorem in counting subsets of classical groups is Niemeyer & Praeger’s Quokka Theorem, which gives a wonderful formula for counting subsets having nice properties. To be specific:

A subset of a classical group (specifically, a set of fixed points of a Frobenius map of a connected, reductive algebraic group over an algebraically closed field) is called a quokka set if the following two properties hold:
1) is closed under conjugation; and
2) for every , the semisimple part of is in .

Where the sum is over “conjugacy classes in the Weyl group “, is such a class, and is a representative maximal Torus of a class of Tori in corresponding to . Now I am very aware of how unenlightening this formula is with so much ill-explained notation, and I suppose that is the point of what will become a series of posts. In the meantime, simply know that computing and is easy in comparison to finding the size of directly – the Signed Permutations post is an example of the former, while the latter is counting in an abelian group – and so this formula should be considered the goal rather than the starting point.

But first, we will need to understand Tori and the correspondence between conjugacy classes of F-stable maximal tori and F-conjugacy classes in the Weyl group. And before that, we’ll need to talk about the Weyl group. I’ll be following Carter, the standard reference for this kind of thing.

So what exactly is a Torus anyway?
To deal with this we have to talk a little about Algebraic Groups (but not too much). An algebraic group is very tough to define, but we can deal with Linear Algebraic Groups, which are essentially just subgroups of the General Linear Group over an algebraically closed field – the Complex Numbers are a good example of an algebraically closed field (every polynomial has a root), but for us, we are trying to get to a Finite field , and so we need to begin with an algebraically closed extension of that, which we denote . Imagine a finite field, only not finite… it looks a bit like an infinite-dimensional -vector space.

So we begin with a connected reductive algebraic group over (think …) – how do we get our finite group back? It’s with the Frobenius Automorphism. Raising elements of a field of characteristic to the power is an automorphism (this follows from Fermat’s Little Theorem I suppose, and since all the terms bar the first and last in the binomial expansion have dividing them), and so raising everything to the th power is an automorphism of . The fixed points of this map? Precisely the finite field . We call this th power map (after Frobenius himself).

The Frobenius map can act on our Algebraic Group , too, usually looking like raising each entry of a matrix to the th power, too (there are exceptions which we will meet later). We denote by the fixed points of this map: THIS is our finite group of Lie Type.

Then what’s our Torus? Well, by definition, they are groups of the form , a direct product of some copies of the multiplicative group of the field. in the case of maximal tori, then, look like diagonal matrices, and SINCE the field is algebraically closed, a maximal torus (as in, a torus not properly contained in another torus) is always conjugate to the subgroup of diagonal matrices. In the Special Linear Group every maximal torus is conjugate to the set of diagonal matrices with determinant 1 (and so as an abstract group looks like copies of the multiplicative group of the field. In every case, the maximal tori are all conjugate in .

So what’s the Weyl group? Well, the Weyl group of a particular torus is the quotient – for beginners, this all depends on how conjugation affects things. The normaliser of (in ) is the set of all such that the image is equal to . That is, if you let an element of act on an element of , the result is still in . The centraliser is more restricted: it consists of all the elements that fix pointwise in this action. So . The centraliser is normal in the normaliser, and so we can take a quotient, which is called the Weyl group of .

The Weyl group of is defined to be the Weyl group of a maximal torus – remember that they are all conjugate and so this group is always the same (as an abstract group only – it depends on the choice of torus, but the result is always isomorphic).

But you know me, I hate quotient groups because it’s never quite clear what they’re acting on! so we need an action for . And for that……STAY TUNED.

Thanks to the bug for a wonderful new name, which will surely not stick.

I shall get into a routine of uploading solutions as soon as I get a scanner in here which may be soon, it’s in the back shed. In the meantime just chill… 2nd efforts, as they say in football, are the most important, and so I hope this one is better.