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.

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 latex \ell^1$-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 found¹ 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.

Theorem (Azimifard–Samei–Spronk)
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 understand². 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…

Footnotes:

1. 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.
2. 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.

Anyway, a well-meant correction made to proofs of a recent paper has reminded me of the following nicety.
([Link])

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
King’s Gate
Newcastle upon Tyne
NE1 7RU

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.)

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.

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.

… 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…

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.

Via a googleplus post by Andres Caicedo I learn that Justin Moore has announced the following result:

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.

I’ll start … with the case against [basket-weaving]. Suppose you were exposed to that subject as a sub-cabalistic ritual of manipulating [toves] and magical [borogoves] according to rules justified (if at all) only by a transparently false origin myth — that is to say, you had to endure what is still an all-too-common sort of intro. [basket-weaving] class — or, perhaps worse, a “research methods” class whose content had fossilized before you were born. Suppose you then looked at the genuinely impressive things done by the best of those who call themselves “[trendy container architects]“. Well then, no wonder you think “This is something new and wonderful”; and I would not blame you in the least for not connecting it with [basket-weaving]. Perhaps you might find some faint resemblance, but it would be like comparing a child’s toy wagon to a Ducati.

Modern [basket-weaving] is not like that, and has not been for decades.

With thanks, and apologies, to this post of Cosma Shalizi, which is well worth reading.

update 2012-08-17: not so much a Rorschach test as a spam magnet, it would seem. Comments now off.

the first crowdfunding platform for science, technology and medical projects… committed to helping accelerating research by helping to fund the best and most innovative projects from top faculty members

and having quickly checked via Google that they appear to be a genuine company at time of writing, may I just say:

Claude P. Sheer employs incompetent spammers.

After all: if you start your email with “Dear [firstname]“, then the least you can do is get my name right. At the very least, don’t put a common surname as the erroneous first name. You may be “a media executive with a strong track record for building and growing businesses”, whose goal is “to accelerate discovery by creating a platform to encourage and reward entrepreneurship in research”, but in the present context you just strike me as getting even the basics of tinned meat distribution wrong.

As for iAMscientist’s claims that

We believe that everyone has a stake in research to support discovery in science, technology and medicine. We further believe that if practicing researchers participate in vetting and supporting research proposals, funding can be faster and easier for everyone.

- oh, go and look up “peer review” and “grant application”, and then stick your cant where the sun doesn’t shine. I’m sure you can even crowdsource suggestions from practising researchers as to the depth or orientation of the insertion.

Which leaves me, at least, with only one (unexpected) question: whether, despite Cowling’s keen understanding of England’s cultural quandary, his method of writing history has not led him towards something like faint and undue optimism. His only suggestion for how a second-generation Christian cultural sensibility might be recovered, apart from some cultural crisis that would spark a new generation of conversions, is “the slow influence which might be exerted by a Christian literature.” At this point, though, I wonder whether Cowling’s study might not profitably ballast itself with some element of material history. By all means, we should always be guilty of what Marx called ideology, and recognize that ideas shape culture at least as decisively as material conditions shape ideas, but one must ask whether, by confining his work to the rarefied atmosphere of intellectual discourse, Cowling does not allow himself to keep artificially alive debates that history has already decided.

The prose is somewhat less irksome than some academese (or worse still, pseudo-intellectual bloggese) that I’ve seen, although one should note that a study can’t really “profitably ballast itself”. (For that matter, I don’t know of any hot air balloons which can ballast themselves, profitably or otherwise.)

I have some ongoing refereeing/reviewing commitments which limit my time; moreover, as my work does not involve variable Lebesgue spaces, while I might be able to verify the technical correctness of the claims, I cannot confidently give an assessment of importance or novelty (important in view of JMAA’s desire to be more selective).

Have also just accepted a refereeing job for a Springer journal. This does not make me a fan of Springer, much less someone who believes that they are the White Knights standing virtuously away from the Evil Seer; the decision was based solely on the article being of more interest to me and one where I felt my judgement might be more accurate.