Well, having already been drenched on the way into work today, I am now stuck in my office as I wait for a lull in the rainstorm. So I guess I should put the time to use, and a blog post is as good as any right now.
This continues from the previous post. I’ll also continue the experiment of writing things up in an anecdotal style, rather than in the mode of a presentation or paper — the aim is not to present the outcome as quickly or cleanly as possible, but to give an account of its evolution. Apologies if it proves tedious, irksome, or outright Pooterish.
This is also my first attempt at using the LaTeX-to-Wordpress script written by Luca Trevisan, which has saved me a certain amount of teeth-grinding when fighting WP’s limited LaTeX support.
A few weeks after writing the previous post, I was at a rather enjoyable conference in Granada where I spent some time, on and off during lulls in the conference schedule, reconstructing the proof of the lower bound 4/3, from memory while away from my books. Annoyingly, the 4/3 comes as the limiting value of a weak lower bound, in one branch of a case-by-case analysis, but in a branch where known results suggest the true value of the amenability constant should be at least 2. (In the other branch of the analysis, one is led to 7/4 and knows that this is sharp.)
Without going into details about how the case-by-case analysis works, let’s just say that for all finite groups G in a certain class , the method in question yields a lower bound
However, for various speculative reasons (well, guesswork) it seemed likely that for all
In fact, the existing method already implied that whenever and all non-central conjugacy classes have size at least 3. This got me thinking about what one could say about those which had a conjugacy class of size 2 in the group, since — as part of the small amount of finite group theory that I remembered from my undergraduate days — this ensures G has a normal subgroup of index 2, from which one might try to play games with induction or restriction of characters.
Fast-forward to June. About a week ago, shortly after getting back to Saskatoon, some idle tweaking done while waiting for food showed that the method used to get the 4/3 bound could be modestly improved by a slightly more careful use of various inequalities. The improved method still only gave
but it did now show that whenever and all its non-central conjugacy classes have size at least 3.
The upshot? To prove that for all , one now only needed to do it for those which had a conjugacy class of size 2. Moreover, the calculations I’d been doing in Granada hinted strongly that any such group would be forced to be something like a dihedral group of order 2 mod 4, and in my earlier paper with Alaghmandan and Samei, we had already calculated the exact values of for dihedral groups, showing that in the 2 mod 4 case this constant is at least 7/3.
So, at this point, you naturally go and ask a group theorist. On the other hand, since none were at hand, and since the question seemed a little basic to throw on MathOverflow without having a more serious go on one’s own…
… and it works. To be precise for a moment, here is what I was able to show last week.
Theorem 1 Let G be a finite group which has trivial centre, and where every proper quotient is abelian. If G has a conjugacy class of size 2, then it is isomorphic to the dihedral group of order 2p for some odd prime p.
Well, assuming there isn’t a mistake, for many of you this is probably like watching a young child come up to you proudly to show you their latest kindergarten handiwork. I have a strong suspicion that this result is already known, perhaps implicitly, or as one of those folklore exercises that is set in Proper Courses for Proper Students. Certainly, in the argument I have right now, one shows en route that G is solvable, whereupon one can invoke a classification of “just non-abelian, metabelian groups” due to M. F. Newman.
On the other hand, since it turns out that one can prove the theorem using only what one learns in a first course on finite group theory, my plan is to write up the proof in the next blog post in this series.
(The rain has stopped.)
Update 06/06/2013: see the bottom of the post (some typos also fixed)
As I am currently too besieged by a jumped-up virus to get any proper work done, I suppose I might as well put this blog to one of its nominal uses and actually talk about some mathematics I did recently (last Monday and Tuesday, in fact). Well, I say talk, I really mean “present” (and I am not at all sure I will manage to “explain”). Consider this my first experiment in using the blog for channeling rainwater…
This post will just try to set up enough to state the result, and then if there is ever a follow-up post I will give more of the background story and the necessary details.
Fix a finite group G and look at the centre of its complex group algebra . This algebra, which we call A for now, is commutative and spanned by its minimal idempotents. What are these minimal idempotents? they are scalar multiples of the irreducible characters of G. (A character of G is, for us, the trace of some representation over ; we say the character is irreducible if the corresponding representation is.) If is such a character then it is not hard to show that the corresponding idempotent in A is .
Now an algebra such as A admits a unique so-called separating idempotent, that is, an element satisfying for all and , where is the linearization of the multiplication map. (This separating idempotent is a witness to the fact that A has trivial Hochschild cohomology, or trivial Ext if you prefer to think of it like that.) In fact it is not at all hard to work out what has to be:
Let us accept for now that this element should be worth studying, and introduce norms. We can always equip the complex group algebra with the -norm, that is . The resulting Banach algebra is usually studied only for infinite G, but if one is interested in quantitative phenomena then the finite case still holds some mysteries and — I claim — some interest. In any case, since we can identify with the centre of the complex group algebra of , it inherits a natural norm as a subalgebra of .
We now define the central amenability constant of G to be the -norm of the separating idempotent , and denote this number by . If we wish to write things out explicitly, some more notation will be useful. Let denote the set of conjugacy classes in G, and if C is a conjugacy class in G we write for the value takes on one (hence on every) element of C. Then
This formula can be found1 as Theorem 1.8 of a 2009 JFA paper of Ahmadreza Azimifard, Ebrahim Samei and Nico Spronk (and before you complain about paywalls, this one is on the arXiv). At this point I should acknowledge that I first got interested in this invariant of G while listening to some talks given by Ebrahim about 5-6 years ago, and have since had a few enjoyable and educative discussions with both him and Nico on this topic.
A little patience (or some prior knowledge of Banach algebras) shows that if G is abelian then . Moreover, by an argument that will be outlined in the next installment, whenever G is non-abelian. What is not all obvious, at least to me, is that 1 is an isolated value of this invariant. The following is extracted from the proof of Theorem 1.10 in the aforementioned paper.
There exists δ > 0 such that whenever G is non-abelian.
The authors obtain the existence of such a δ as a special case of a theorem of D. A. Rider (Transactions AMS, 1973). As an aside: for those of you who frequented MathStackExchange, this application is what ultimately prompted me to raise this question. What is rather unsatisfactory is how small the δ given by Rider’s proof is — Rider’s bounds yield δ = 1/300, although in some back of the envelope calculations I thought I could bring it down to around 1/90 — while the smallest value known for when G is nonabelian is 7/4.
After some failed attempts to get a better lower bound, I put the problem on the backburner, although from time to time it would come back to haunt me. More recently, in some joint work with Ebrahim and our PhD student Mahmood Alaghmandan, we had a closer look at the problem of calculating explicitly when you don’t know how to use GAP, and don’t have anyone at hand who does. See this preprint if you want to know more. In the process, I found myself getting interested again in the original problem of getting a lower bound closer to 7/4 than to 301/300…
Theorem (yours truly, some time last Monday)
whenever G is non-abelian.
This bound is still probably not sharp, but it does at least approach what seems to be the right value. However, more important than the improvement in the constant is that the argument now bypasses Rider’s theorem, which is much more general and whose proof I find somewhat hard to understand2. Instead of using general non-abelian Fourier analysis like Rider, who was in any case working on compact groups, we can get by with some basic arguments from character theory, together with a little structure theory for finite groups.
Well, this post looks long enough, so further explanation will have to wait for the next post…
- I am cheating a little here, in that those authors have a slightly more conceptual definition of , and have to do a little work to show it gives the same number as the formula above.
- One can follow the proof through line by line, but it leaves me rather baffled about what is conceptually going on, and what the intuition is.
Update 6th June 2013: it turns out that with a very modest tweak to some inequalities I was using, one can get a slight improvement from 4/3 to 13/9. More interestingly, some calculations in progress suggest that by using some group-theory and elbow-grease to deal with certain “edge cases”, one might be able to prove a lower bound of 7/4 (which we know would be sharp). Details to follow, perhaps …
Possibly NSFW for language, depending on your melon-farming place of employment, I suppose:
Anyway, a well-meant correction made to proofs of a recent paper has reminded me of the following nicety.
The following information is provided to meet the requirements of HEFCE:
The legal name and address of the University are:
The University of Newcastle upon Tyne
Newcastle upon Tyne
Since February 2006, the University has adopted the trading title of Newcastle University.
This was first pointed out to me by Antony Mee, a contemporary at Newcastle. (I’ve never understood why the original name was deemed a “defective brand”, and in any case, it just invites confusion for some of us with this University of Newcastle.)
I suspect I must have blogged this quote already, but since I can’t find such a post, I may as well repeat it.
Dr Blind (pronounced ‘Blend’) was about ninety years old and had taught, for the past fifty years, a course called ‘Invariant Subspaces’ which was noted for its monotony and virtually absolute unintelligibility, as well as for the fact that the final exam, as long as anyone could remember, had consisted of the same single yes-or-no question. The question was three pages long but the answer was always ‘Yes.’ That was all you needed to know to pass Invariant Subspaces.
He was, if possible, even a bigger windbag than Dr Roland. Together, they were like one of those superhero alliances in the comic books, invincible, an unconquerable confederation of boredom and confusion. I murmured an excuse and slipped away, leaving them to their own formidable devices.
(From Donna Tartt’s excellent novel The Secret History, which has nothing to do with mathematics.)
Update 25th Jan 2013: Professor Blind, meet Professors Cowen and Gallardo.
further update 5th Feb 2013: As you were; nothing to see here; move along.
From Jenny Diski, some reflections from 2011:
Why, since I’m living the dream with 17 books published, and a 25 year career as a writer, do I not feel fulfilled? All I wanted was to ‘be a writer’ when I grew up. I am. However, nothing about writing and being published has fulfilled me, justified me, or made me feel better about myself — but then I never thought that writing was supposed to make me feel better about myself. The satisfaction you get is ten minutes in the bath feeling relief that a manuscript is finished and sent away, and then it’s all anxiety about what didn’t work in the last one and whether you can make the next one more like the book you really wanted to write.
My daydream of writing comes from a time (the 1950s and 60s) when angst was in fashion, when writing was angelic and crazy… It was a vocation, the writer was the monk, the nun, who devoted themselves to the written word, to extracting some sort of special insight about existence from the combining of discrete letters of the alphabet. It was a dogged quest that was conducted by keeping as still and alone as possible. Something to live and die for. Both at the same time, always. And that was the writer I wanted to be. It is, as any modern publisher will tell you (and has told me), a hopelessly sentimental view of the literary world. But I did know people who lived that sort of life, who were published in spite of selling only a few copies, because their publishers were excited about what they did. They didn’t make much or even any money, and they weren’t mobbed in the streets. They didn’t, unless they were poets, go about doing readings or book signings. They didn’t figure which genres they should write according to market demands. They didn’t attend focus groups (as novelists have done recently) of ‘ordinary readers’ set up by publishers to ask chapter by chapter how they were doing and what should be altered. They just wrote and worried.
After one instance too many of getting needlessly irked by certain views on MathStackExchange, and belatedly realising that what seems to be the majority ethos is one I feel deeply out of step with…
… je l’ai quitté pour soigner mon âme.
Adieu l’Antoine, je t’aimais pas bien.
Adieu l’Antoine, je t’aimais pas bien, tu sais:
J’en crève de crever aujourd’hui -
Alors que toi, tu es bien vivant,
Et même plus solide que l’ennui…
Update 2nd October 2012
Moore has withdrawn his claim: see the comments at 1209.2063v4. Thus, the amenability or otherwise of F remains open!
The original post now follows beneath.
While the rest of the mathematical blogosphere is probably more excited about the announced proof of the ABC conjecture — and who can blame them, or you? — this bear of little brain was rather more enthused by other developments today.
Thompson’s group F is amenable.
(Thompson himself apparently raised this question back in the 1970s; see this MathOveflow post for some details.)
It has long been known that F is not elementary amenable and has exponential growth, so that in some sense it cannot be “amenable for bvious reasons”.
A preprint is apparently forthcoming; obviously, Moore’s purported proof will require a good deal of scrutiny. (That’s even before one goes into the unfortunate history surrounding previous announcements by various authors regarding the amenability or non-amenability of F…) Still, if everything holds up, I for one will be very interested to see the details; not least because Moore has previously obtained lower bounds for the growth of Følner sequences for F.
Update 2012-09-11: the preprint is now on the arXiv at 1209.2063.