A couple of weeks ago, there was the inaugural Simon Marais Mathematics Competition, a new maths competition for undergraduate students living in the time zones between New Zealand and India inclusive.

The students’ scripts have not yet been marked. As a member of the problem committee, I will be especially interested to see how they did. The questions and solutions can be found on the Simon Marais website. There will be a greater variety of solutions posted some time in November after the scripts have been marked. I will currently permit myself a few brief comments on the problems.

I actually came up with B1, which surprised me! The idea here was to specifically come up with an easy problem. One day I was leafing through some old Olympiad material, and on a sheet of preparatory problems for a maths camp from when I was a student, I saw a problem about classifying configurations of 4 points in the plane such that the sum of the distances from each point to the other points was the same. I wondered to myself what happened in three dimensions and the problem was born.

Problem A4 is expected to be very hard and has an interesting solution which I found and wrote up here. This is similar to an approach to the fundamental theorem of algebra which I believe goes back to Gauss and which I may discuss here if I have time.

As a member of the problem committee, I am always looking out for problem submissions for future competitions and welcome anybody who has what they think might be a suitable problem to submit it (which can be directly to me, or the chair of the committee, via email).

In case anyone reading this does not know, a median is a line connecting a vertex of a triangle to the midpoint of the opposite edge. The theorem is that the three medians of a triangle are concurrent (i.e. they meet in a single point). Here are four proofs.

Proof 1: (Transformation geometry)

Let E and F be the midpoints as shown and let BE and CF intersect at G. Consider the dilation about A with factor 2. It sends E to C, F to B and G to Q (this is the definition of Q). Then EG and CQ are parallel, as are FG and BQ. Thus BGCQ is a parallellogram and the diagonals of a parallelogram bisect each other QED.

Proof 2: (Vectors. Efficient and boring). Write , and for A, B and C respectively. Let G be . It is easy then to check that the midpoint D of AB is and that A, D and G are concurrent.

Proof 3: (Why not just prove Ceva’s Theorem)

Ceva’s Theorem states that in the situation shown, AD, BE and CF are concurrent if and only if

To prove this, note that in the case of concurrence

The rest of the proof is routine.

Proof 4: (my favourite) WLOG the triangle is equilateral. Now the statement is obvious (e.g. by symmetry).

Perhaps some elaboration should be made to the WLOG. An affine transformation of is a map of the form where is an invertible matrix and is a vector. The affine transformations act transitively on the set of (nondegenerate) triangles and the property of having concurrent medians is clearly invariant under these transformations.

Acknowledgements: Thanks to Inna Lukyanenko for the first proof and tikz files, and to pdftoppm for converting the .pdf output to .png.

The fundamental theorem of arithmetic states that every integer can be uniquely written as a product of primes (i.e. is a unique factorisation domain).

The usual proof proceeds through the Euclidean algorithm. Yesterday at lunch I was surprised to learn (thanks to Ole Warnaar) of a different proof bypassing the Euclidean algorithm which I reproduce below. Its primary attraction is its cuteness, as it provides a weaker result than the usual proof (i.e. doesn’t prove that is a Euclidean domain, or even a principal ideal domain).

Suppose that where are distinct primes. Consider the finite cyclic group . It has a composition series where the group appears times as a simple subquotient (and no other simple factors appear). Therefore by the Jordan-Holder theorem, the primes together with their multiplicities are unique. QED.

First the rabbit. The introduction of this function is the part which I don’t know how to motivate. Let be a polynomial and define

Integration by parts gives the recursion

and therefore we have the formula

Now suppose (for want of a contradition) that . Let the set of Galois conjugates of be Then we have , expand this as and rewrite as

where the are the nonzero exponents.

Now consider

Let be an integer such that is an algebraic integer. Let be a (large) prime and we choose to take

There are absolute constants and (independent of ) such that

(look at the integral definition of and apply the naive estimate).

Now consider . It is a Galois-invariant algebraic integer, hence an integer. We have

Here higher order means at least derivatives appearing. Each of these higher order terms is divisible by , hence by . Since is prime, for large enough , is not divisible by , hence nonzero.

Now every term is divisible by , so we get the lower bound

As there are infinitely many primes, we can send choose large enough to get a contradiction, QED.

I write for both an element of the Weyl group and the corresponding point in . Let be a Schubert variety. Then is an inclusion of representations. The latter is generated by the -weight space, where is the highest root.

Suppose , where is the reflection corresponding to . Then the connecting and lies in (think of the corresponding SL_{2}), so the -weight space lies in . Since this generates , we have .

Therefore if , then is singular. This includes some of the first examples of singular Schubert varieties, for example the B_{2} singular Schubert variety and one of the A_{3} ones.

I was fortunate to recently spend a week at the Banff International Research Station, for a conference on Whittaker Functions: Number Theory, Geometry and Physics. Rather than talk about the mathematics, I will concentrate on the facilities in this post. BIRS has been successfully running many maths workshops for many years now and are in high demand as they consistently do a good job overall.

Location:
Banff is a tourist town in the picturesque Canadian Rocky mountains. The standard way to get there is via Calgary airport, catching the Banff airporter bus (one-way 2 hours, CAD54 with BIRS discount applied). BIRS itself is part of the larger Banff Centre, which is mainly an arts venue situated on a hill with elevated views over the town.

Food and Lodging:
Participants are all accommodated onsite in clean and comfortable single rooms sharing a bathroom with one other participant. There were some participants complaining about the temperature but I found no problems. The meals are also onsite in a buffet arrangement, and generally of a good quality (and hence tempting to pig out on the dessert). Internet access exists and works. I didn’t subject this to any serious stress tests.

Academic Facilities:
Here is a picture of Manish Patnaik giving his talk.

You can see the tiered seating (good) and the lack of blackboard space (bad). There was space from an architectural point of view to put in blackboards that can be moved up and down, so for a dedicated conference centre this is especially disappointing. All talks were recorded by an automated system (it is possible that not all were remembered to be recorded, as this process required manually pressing a button at the start of each talk).

Unfortunately some people continue to turn down lights during slide talks, despite the slides being perfectly visible under normal lighting conditions. This is annoying because it strains the eyes to make notes, and makes it harder to work on other things when (some) speakers inevitably power through their slides at too rapid a pace.

There are also other small private discussion rooms equipped with whiteboards for participants’ use.

Stephen D. Miller: Stephen D. Miller was originally scheduled to attend and give a talk, but got screwed over by an airline and ended up deciding not to come. He then recorded a talk which we watched (and you can too (mp4)) and skyped in at the end of the viewing to answer questions. This worked surprisingly well, which I suspect is more a function of the speaker being Stephen as opposed to the format.

I overheard some other participants remark that they were still disappointed that Stephen didn’t come as they were hoping to discuss informally with him. Experienced conference-goers will naturally and immediately recognise this sentiment, knowing that the informal discussions that take place at a conference can be even more important than the formal program.

Afterwards:
It is a little known fact that it is possible to spend a couple of additional days at BIRS afterwards. A few of us availed ourselves of this welcome opportunity.

My talk:
I did not give a talk at this conference. I did however give a talk on my recent work on geometric extension algebras at the University of Alberta the following week.