Welcome to MathOverflow

Question

12

6

There are many versions of the Baum-Connes conjecture (the original, coarse, with coefficients, etc.). I would like to know what group theory results are needed in order to prove or disprove one of these conjectures.

edited Mar 15 2012 at 4:37

asked Jan 31 2011 at 21:48

Mark Sapir
27.6k●2●57●118

2

I'm sure a lot has happened in the last 6 years, but Wolfgang Lück has a rather extensive survey in the Handbook of -theory (containing a chapter about the status of the conjectures). It focuses more on the positive aspects, though. You can find it on his home page him.uni-bonn.de/lueck/data/bcsfinal.pdf – Theo Buehler Jan 31 2011 at 22:49

Vincent Lafforgue has (also) written some expository articles on Baum--Connes, one of them fairly recent. (Available on his website math.jussieu.fr/~vlafforg) I appologize in advance, if this remark is to general to be useful; I just happended to remember this fact, but am not well-informed on this subject. – quid Jan 31 2011 at 22:55

Thanks for the links. – Mark Sapir Jan 31 2011 at 22:58

Paul Baum gave a series of lectures on BC at Vanderbilt in Spring 2008 (I believe you were on sabbatical, Mark). I recall him saying that he expected the original BC conjecture to be true for all exact groups, but that he didn't know of a counterexample to original conjecture. But I guess his point was that one should study non-exact groups. – Dan Ramras Feb 6 2011 at 21:34

@Dan: thanks! But existence of a compact aspherical manifold with non-exact fundamental group would not automatically disprove the conjecture? – Mark Sapir Feb 6 2011 at 23:55

show 1 more comment

Igor Rivin · Accepted Answer · 2011-01-31 22:00:06Z UTC

4

This January in New Orleans Paul Baum gave a rather extensive survey of the history and status of Baum/Connes, so I am guessing that he has a historical survey written up, or quasi-written up, since I am not seeing it on his web page), so I would strongly suggest just asking him. Sadly, I don't believe he is a MO participant.

answered Jan 31 2011 at 22:00

Igor Rivin
31.1k●3●37●71

2

I am not sure he is the main "player" (it is like asking S. P. Novikov about the current status of Novikov's conjecture). Perhaps some Penn State students know the answer. There are several of them on MO. – Mark Sapir Jan 31 2011 at 22:05

I don't know about Novikov, but Baum gave a rather detailed 1 hour talk, so it sounded like he was very much in the loop. – Igor Rivin Feb 1 2011 at 1:08

@Igor: OK, then this lecture should have been recorded and saved. It is not difficult. Strange that AMS does not do it. – Mark Sapir Feb 1 2011 at 1:20

@Mark: actually, I am not certain AMS does not do it, but I think that if we started to discuss all the ways in which the AMS is behind the times, that would take us a very long time... – Igor Rivin Feb 1 2011 at 1:36

4

@Igor: OK, I just paid my AMS membership fee, and feel like complaining. Similar thing happens on April 15 when I pay my taxes.:) I don't think AMS records invited lectures at AMS meetings. Anyway I will ask Braun and other people who are mentioned here. – Mark Sapir Feb 1 2011 at 4:21

Paul Siegel · Answer 2 · 2011-02-01 11:28:18Z UTC

I want to second David Ben-Zvi's recommendation of Nigel Higson's ICM lecture, though there is a bit of progress that has been published since it was written. Fortunately, you needn't venture further than Nigel's webpage to learn more: his paper "Counterexamples to the Baum-Connes Conjecture" with Lafforgue and Skandalis gives some more recent counter-examples to BC with coefficients and coarse BC.

A few other comments...

As far as I know, the ordinary Baum-Connes conjecture is known to be true for more or less every group that anyone can name. The experts (of which I am not one) seem to suspect that the conjecture is not true in general but that finding a counter-example requires new techniques for constructing discrete groups.

There are a few fairly general techniques for proving the conjecture. The first and most conceptually satisfying is the "Dirac / dual Dirac" method which involves using KK-theory to imitate Atiyah's operator theoretic proof of Bott periodicity. As far as I know there is no evidence that this technique is not powerful enough to prove injectivity in general, but there are examples of groups for which BC is true but the Dirac / dual Dirac method cannot prove surjectivity. I suggest Higson and Guentner's "Group C* algebra's and K-theory" for a discussion of these issues - the paper starts more or less from scratch and reads like a short textbook.

The second method is more of a philosophy: BC tends true for groups which act on nice spaces in a minimally nice way. For example, it is known to be true for a-T-menable groups (see "E-theory and KK-theory for groups which act properly and isometrically on Hilbert space" by Higson and Kasparov). One of the frontiers of the conjecture is in the realm of p-adic groups - I think Paul Baum is still quite active here - and one of the basic techniques seems to be to get p-adic groups to act on buildings.

I hope that helps! For more advice, I would really suggest talking directly to Nigel - I don't think BC is quite as central to his interests these days, but I would guess he's as up on the subject as anyone.

David Ben-Zvi · Answer 3 · 2011-02-01 03:59:59Z UTC

Nigel Higson's 1998 ICM address, "The Baum-Connes Conjecture" (available eg. on his website or on the IMU page) is a great survey of the subject (pre-Lafforgue). In general I highly recommend Higson's writings on the subject (relevant papers, books and talk slides are available at the above link).

Baum-Connes conjecture

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

3 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.