Cheryl Praeger wins W.A. Scientist of the Year

2009 December 2
by John Bamberg

News has just come through that Cheryl Praeger has been named as the 2009 Western Australian Scientist of the Year. See here for more details. Congratulations from all of us to Cheryl for her amazing contribution to pure mathematics in Australia.

Scientist of the Year

2009 December 2
by Gordon Royle

I’ve just got back from the Western Australian Science awards luncheon, and am delighted to report that Cheryl Praeger won the award, and is now officially Western Australian Scientist of the Year for 2009.

It’s quite rare for mathematics to be acknowledged in this way in direct competition with much “sexier” fields such as nanobiotechnology, and in her speech Cheryl emphasized the integral role that mathematics plays in all the sciences, and pointed out that Australia needs to lift its performance in this area given that the percentage of graduates majoring in Maths iss less than half the OECD average.

Congratulations, Cheryl!

Knarr’s model of flock quadrangles

2009 November 23

Recently I’ve been working with generalised quadrangles which arise from flocks, and in particular, I use the model introduced by Norbert Knarr in his 1992 paper “A geometric construction of generalized quadrangles from polar spaces of rank three”. However, I’m not going to tell you everything because it would be very long. I’m not going to tell you what a generalised quadrangle is, what a flock is or even why we ought to care about such objects. Instead, my purpose is to de-mystify the Knarr model by explaining where it comes from for the classical object, the simplest case. So really, this post is intended for someone who is already familiar with the topic, but maybe later I or someone else will trace backwards to where all this began.

The three-dimensional finite Hermitian variety H(3,q^2) can be constructed in the following way. Consider the following Hermitian form on a four-dimensional vector space over GF(q^2):

\langle x,y\rangle :=x_1y_1^q+x_2y_2^q+x_3y_3^q+x_4y_4^q.

Let the points be the one-dimensional subspaces for which this form restricts to the zero form, and let the lines be the two-dimensional subspaces for which this form computes only zero on them. Then this geometry of points and lines gives us a generalised quadrangle, and it is the classical example in the category of flock quadrangles. In other words, this geometry is a classical polar space of rank 2. Now the vectors of the vector space GF(q^2)^4 are certainly in one-to-one correspondence with the vectors of GF(q)^8, but in fact, more can be said. We can define a bilinear form over GF(q) by B(u,v):=\gamma(\langle u,v\rangle -\langle u,v\rangle^q), where \gamma is some element of GF(q^2) such that \gamma=-\gamma^q, and we see that is alternating since

B(v,u) = \gamma(\langle v,u\rangle -\langle v,u\rangle^q)=\gamma(\langle u,v\rangle^q -\langle u,v\rangle)=-B(u,v).

So this form defines a symplectic space W(7,q) on GF(q)^8. What is interesting in this correspondence is that the points of H(3,q^2) go to lines of W(7,q), and the lines of H(3,q^2) go to solids of W(7,q). Now take a point P of H(3,q^2). Then P maps to a line P’ of W(7,q). We then take an arbitrary point X on this line P’ and note that P’ is contained in X^\perp. Now we project to the quotient polar space X^\perp/X (which is isomorphic to W(5,q)) via the map U\mapsto (X^\perp\cap \langle X, U\rangle)/X. So we obtain a map from totally isotropic subspaces of H(3,q^2) to totally isotropic subspaces of W(5,q), and something interesting happens with respect to the point P that we started with:

P a point R of W(5,q)
lines on P a set of t.i. planes \pi_i on R such that the projection to R^\perp/R yields a BLT-set of lines of W(3,q)
lines not on P t.i. planes which meet some \pi_i in a line not on R
points collinear with P lines of W(5,q) contained in some \pi_i
points not-collinear with P points of W(5,q) not in the perp of R.

This is the Knarr model of a flock generalised quadrangle, where the input is a BLT-set of lines of W(3,q) (not just the one obtained from a pencil of lines of H(3,q^2)). So essentially the Knarr model of a flock generalised quadrangle is the generalisation of the field reduction of H(3,q^2), where we change the BLT-set in the resulting geometry of W(5,q).

Buildings, geometries and algebraic study group VII

2009 November 21
by Michael Giudici

Alice led the discussion again this week.  At the end of the session we realised that this will be the last study group for the year due to various people going away for holidays/conferences/meetings in the lead up to christmas and of course the school’s christmas party. We will resume sometime early in the new year.

We first began by discussing the comments on the post on last week’s study group.

Recall from last week how given a building with apartments isomorphic to the Coxeter complex (W,S), we can define the W-distance on chambers. We look again at the chamber system we obtain from the Fano plane.

Let s_1 denote differ by a point and s_2 denote differ by a line. Let x be the chamber whose line is the orange line and point is the bottom left hand corner of the diagram and y be the chamber whose line is the red line and point is the top of the diagram. Then \delta(x,y)=s_1s_2=w. There are four chambers which are neighbours of y. These are z_1, which has line the red line and point the point in the middle of the line, z_2 which has line the pink line and point the top point,  z_3 which has line the orange line and point the top point, and z_4 which has line the red line and point the bottom right hand corner.  Then \delta(y,z_1)=s_1 and \delta(x,z_1)=s_1s_2s_1=ws_1. Also \delta(y,z_2)=\delta(y,z_3)=s_2 and \delta(x,z_3)=s_1=ws_2 while \delta(x,z_2)=s_1s_2=w.  Moroever, \delta(x,z_4)=ws_1. Thus we have the property that if z is a chamber such that \delta(y,z)=s\in S then \delta(x,z)\in\{w,ws\} and if \ell(ws)=\ell(w)+1,  (where \ell(g) is the length of a reduced expression for g in terms of elements of S), then \delta(x,z)=ws.

This motivates the following definition of a building: A building of type (W,S) is a pair (C,\delta) with C a set (whose elements are called chambers) and \delta:C\times C\rightarrow W, such that for x,y\in C with \delta(x,y)=w the following hold:

  • w=1 if and only if x=y
  • If z is a chamber such that \delta(y,z)=s\in S then \delta(x,z)\in\{w,ws\} and if \ell(ws)=\ell(w)+1, then \delta(x,z)=ws.
  • If s\in S then there exists z\in C such that \delta(y,z)=s and \delta(x,z)=ws.

read more…

Buildings, geometries and algebraic groups study group VI

2009 November 16
tags:
by Michael Giudici

This week Alice is leading the discussion and the topic is buildings.

We begin with an example. Let W=S_4 and S=\{(12),(13),(34)\}. Also let V be a 4-dimensional vector space with basis e_1,e_2,e_3,e_4. We can form a tetrahedron with vertices labelled by \langle e_1\rangle,\ldots,\langle e_4\rangle. We place vertices at the midpoint of each edge (these each represent the 2-dimensional subspace spanned by the two 1-spaces at either end of the edge) and a vertex at the midpoint of each face (these represent the 3-spaces spanned by the three 1-spaces at each corner of the face). This gives us a simplicial complex whose 0-simplices are the vertices, the 1-simplices are the lines between 0-simplices, and the 2-simplices are the parts of faces surrounded by the 1-simplices. Now W acts on V by permuting the basis elements. Let I be the 2-simplex surrounded by the vertices \langle e_1\rangle,\langle e_1,e_2\rangle,\langle e_1,e_2,e_3\rangle. We can associate each of these three vertices with the subgroup of W generated by the two elements of S which fix the associated subspace. That is, \langle e_1\rangle is associated with \langle (23),(34)\rangle, \langle e_1,e_2\rangle is associated with \langle (12),(34)\rangle  and \langle e_1,e_2,e_3\rangle is associated with \langle (12),(23)\rangle. The 1-simplices joining these vertices are associated with the intersections of the subgroups associated with the end vertices, while we associate I with the identity subgroup. Now for each other simplex we can associate a coset of the appropriate simplex in I.

In general, given a Coxeter system (W,S) we can form the Coxeter complex which is the poset on the set \{\langle S'\rangle w\mid S'\subseteq S,w\in W\} and B\leqslant A if and only if A\subseteq B. There was much discussion as to whether or not S needs to be a simple system but this wasn’t resolved.

A building is a simplicial complex \mathcal{B} which can be expressed as a union of subcomplexes \mathcal{A}, called apartments, such that

  • (B0) each apartment is a Coxeter complex;
  • (B1) for any pair of simplices A,B there exists an apartment \Sigma\in\mathcal{A}  containing both;
  • (B2) If \Sigma,\Sigma'\in\mathcal{A} both contain simplices A,B then there is an isomorphism \Sigma\rightarrow\Sigma' fixing A and B pointwise.

Taking A,B=\varnothing and applying (B2) implies that all apartments are isomorphic.

read more…

Projective Planes I : PG(2,q)

2009 November 12
by Gordon Royle

This is an elementary description of the finite desarguesian projective plane {PG(2,q)} and its automorphism group {P\Gamma L(3,q)}. I needed to explain this to a non-combinatorialist, so thought I would just add it to the blog. The required background is just elementary linear algebra, elementary group theory and the concepts of a finite field and an incidence structure.

We start with the finite field {GF(q)} where {q = p^h} is necessarily some power of a prime {p}. An automorphism of a field is a permutation {\sigma} of the field elements such that

\displaystyle  \sigma(x+y) = \sigma(x)+\sigma(y) \qquad \sigma(xy) = \sigma(x)\sigma(y)

and the collection of all automorphisms forms a group. The automorphism group of {GF(p^h)} is the cyclic group {C_h} of order {h} generated by the automorphism {\rho: x \rightarrow x^p}.

Next we construct the three-dimensional vector space {V = GF(q)^3} with vectors being triples of elements of {GF(q)} which we shall view as row-vectors. If {A} is an invertible matrix with entries in {GF(q)}, then the map {v \rightarrow vA} is a permutation of {V} (fixing {0}). The collection of all such invertible matrices forms a group called the general linear group and denoted {GL(3,q)}. We can build a matrix in {GL(3,q)} by picking an arbitrary non-zero vector {v_1} for the first row, then choosing any vector {v_2} that is not a multiple of {v_1} for the second row and then any vector {v_3} not in the span of {\{v_1, v_2\}} for the third row. Therefore the order of the general linear group is given by

\displaystyle  |GL(3,q)| = (q^3-1)(q^3-q)(q^3-q^2).

read more…

Buildings, geometries and algebraic groups study group V

2009 November 7
by Michael Giudici

John led the discussion again this week and looked at coset geometries and polar spaces.

John began with the following picturedoilyThis is an incidence geometry with 15 points and 15 lines each containing 3 points. It is the smallest thick generalised quadrangle and denoted by W(3,2). It has automorphism group S_6. This can be seen by taking the points to be the edges of the complete graph K_6 and the lines to be the matchings of K_6 (that is the sets of three disjoint edges). The incidence graph of this geometry is known as Tutte’s 8-cage or the Tutte-Coxeter graph.

John next drew the Fano planefanoplaneThis projective plane is denoted by PG(3,2) and is the smallest thick generalised triangle. It has automorphism group PGL(3,2)\cong PSL(2,7). The incidence graph of this geometry is the Heawood graph.

Next we had the smallest (thick) generalised digon, which is the geometry with three points and three lines such that each line consists of all three points. The incidence graph for this geometry is the complete bipartite graph K_{3,3}.

read more…

WA Science Awards

2009 November 3
by Michael Giudici

Congratulations to Cheryl Praeger who has been shortlisted for the 2009  Western Australian Scientist of the Year.  This is for the second year running.  Cheryl leads the groups and combinatorics research group here at UWA. The awards will be presented on the 2nd of December.

Buildings, Geometries and Algebraic Groups Study Group IV

2009 November 3
by Michael Giudici

John led the discussion last week.  I am a bit late in posting as I have been busy organising the WA Junior Olympiad which was on Saturday.

The topic this week is what is called Buekenhout geometries or diagram geometries. We also have a new name.

As we have seen so far, a projective space can be associated with the Dynkin diagram of type A_n and polar spaces can be associated with the Dynkin diagram of type B_n. Tits’ theory of buildings generalises these notions and associates to each simple group of Lie type a geometry known as a building and this building can be encoded in the Dynkin diagram associated with the group. In his seminal 1979 paper, `Diagrams for geometries and groups’ in JCTA, Francis Buekenhout looked to generalise this further and introduced the notion of diagram geometries. These are also referred to as Buekenhout geometries.

read more…

A construction of Mathon’s perp-system

2009 October 30

This post is a little report on some recent work of mine and Frank De Clerck (Ghent University), which we have recently submitted after sitting on it for a few years. First I will give some background. Strongly regular graphs are a bubbling topic in combinatorics, since many of your favourite graphs are strongly regular, they have nice algebraic properties (e.g., three distinct eigenvalues) and they were borne essentially from the theory of experimental designs. If that doesn’t convince you enough that they are important, well they have their own Mathematics Subject Classification code (namely 05E30). A regular graph is strongly regular if there are two constants \lambda and \mu such that for every pair of adjacent (resp. non-adjacent) vertices there are \lambda (resp. \mu) common neighbours.

There are some rank 2 finite geometries whose point-graphs are strongly regular, and these geometries are somewhat rare, and beautiful when they crop up (like pure mathematicians I guess). The point-graph of a rank 2 geometry is simply the graph you get when you take as vertices the points, and the adjacency relation induced by the collinearity relation. So for example, take a (thick) generalised quadrangle. This is a geometry of points and lines such that

  • every two points are on at most one line;
  • every line has at least three points;
  • given a point P and a line \ell which are not incident, there is a unique line on P concurrent with \ell.

From these axioms it follows that there are two constants s and t such that every line has s+1 points and every point is incident with t+1 lines. The point-graph is then a strongly regular graph of valency s(t+1) and with \lambda=s-1, \mu=t+1.

A generalised quadrangle is an example of a partial geometry, and so belongs to a wider class of geometries which yield strongly regular point graphs.  A partial geometry with parameters (s,t,\alpha), is a geometry of points and lines satisfying:

  • every two points are on at most one line;
  • each line is incident with s+1 points;
  • each point is incident with t+1 lines;
  • given a point P and a line \ell which are not incident, there are \alpha lines on P concurrent with \ell.

The point graph of such a geometry is strongly regular with \lambda = s-1+t(\alpha-1) and \mu=\alpha(t+1). For \alpha=2, there are not many known partial geometries, just (i) the Van Lint – Schrijver geometry, (ii) the Haemers geoemetry and the (iii) partial geometry of Mathon. It is the latter which we are interested in.

The Mathon partial geometry arises as the linear representation of Mathon’s perp-system. Let \rho be a polarity of the projective space PG(d,q). A perp-system is a maximal set of mutually disjoint r-subspaces of PG(d,q) such that every pair of elements from this set are mutually opposite (disjoint from the perp of the other). By “pair” here, we do not require that the two elements be distinct, so in particular, every element of a perp-system is non-singular with respect to \rho. By “maximal”, we mean that the cardinality of the set attains the theoretical upper bound of

q^{(d-2r-1)/2}(q^{(d+1)/2)}+1)/(q^{(d-2r-1)/2}+1).

The only known perp-systems are self-polar maximal arcs of PG(2,q), q even, and Mathon’s sporadic example in PG(5,3). Mathon’s example had no geometric construction, it was simply written down in coordinate form, but it was known that its stabiliser was isomorphic to S_5 and that it was a perp-system with respect to a symplectic, hyperbolic and elliptic polarity. (See the seminal paper on perp-systems by De Clerck, Delanote, Hamilton and Mathon). Now S_5 is a maximal subgroup of PGSp(6,3) and the only known way to realise this embedding is to look to the GF(3)-character table of SL(2,5):

Character table of <img src='http://l.wordpress.com/latex.php?latex=A_5&bg=ffffff&fg=333333&s=0' alt='A_5' title='A_5' class='latex' /> mod GF(3).” width=”600″ height=”337″ /><p class=Character table of A_5 mod GF(3).

(The above picture comes from the “The Atlas of Brauer Characters”). So we see that the representation \varphi_7 has degree 6 and is symplectic. Anyway, what we have now is a geometric reason for this embedding, a realisation of SL(2,5) as the stabiliser of a sporadic perp-system. All it really needed was a nice geometric construction, and that’s what Frank and I were able to do.

We start with a set of four lines \mathcal{F}_4, the blow-up of a frame of PG(2,9):

\ell_1=(I\,O\,O),\ell_2=(O\,I\,O),\ell_3=(O\,O\,I), \ell_4=(I\,I\,I)

where O and I are the zero and identity two-by-two matrices respectively. We then have a way of obtaining a fifth line, having the property that it is totally isotropic with respect to a particular symplectic form, and that it is disjoint from the span of any two elements of \mathcal{F}_4. We then obtain six lines by noticing that the stabiliser of the five lines was S_5, which is isomorphic to PGL(2,5) and there is a natural orbit of length six on lines of PG(5,3). Now notice that 6 choose 2 is 15. This allows us to obtain fifteen more lines, giving us 21 lines in total; this is Mathon’s perp-system! We also show that we can construct the smallest generalised quadrangle W(2) from the line sets encountered above.