# Higher index theory with change of fundamental group

I gave a talk in our seminar yesterday which arises from trying to understand the paper of Chang, Weinberger and Yu (Chang, Stanley, Shmuel Weinberger, and Guoliang Yu. “Positive Scalar Curvature and a New Index Theorem for Noncompact Manifolds,” 2013) where they use relative index theory in a non $$\pi-\pi$$ situation to produce examples of manifolds with strange positive-scalar-curvature properties (e.g., a  non-compact manifold which has an exhaustion by compact manifolds with boundary carrying nice positive-scalar-curvature metrics, but which itself carries no such metric).

I wanted to develop an approach to this kind of index theory that was more accessible (to me) and the talk was a report on my efforts in that direction.  Here are the slides from that talk.

# Property A and ONL, after Kato

Hiroki Sato’s paper on the equivalence of property A and  operator norm localization was recently published in Crelle ( “Property A and the Operator Norm Localization Property for Discrete Metric Spaces.” Journal Für Die Reine Und Angewandte Mathematik (Crelles Journal) 2014 (690): 207–16. doi:10.1515/crelle-2012-0065.) and I wanted to write up my understanding of this result.  It completes a circle of proofs that various forms of “coarse amenability” are equivalent to one another, thus underlining the significance and naturalness of the “property A” idea that Guoliang came up with twenty years ago. Continue reading

# The Big Question About Limit Operators II

In the first post in this series, I gave some background to the “Big Question” on limit operators which it appears that Lindner and Seidel have solved for the case of free abelian groups.  In the next couple of posts I want to sketch some of the key ideas of their proof and to explore to what extent it can also be generalized to all exact groups (in the same way that I generalized the basic theory of limit operators to all exact groups in my 2005 paper).

There are two components to the L-S argument, it seems to me.

• a localization property for the “lower norm” of a finite propagation operators, and
• a “condensation of singularities” argument.

In this post we’ll look at the first of those. Continue reading

# The Big Question about Limit Operators I

A recent paper on the ArXiv (see bibliography below) is entitled “An Affirmative Answer to the Big Question about Limit Operators”.   I want to do a series of posts about this paper.  In this one I will try to explain the background, at least in the most elementary (Hilbert space) case.  In this introduction I will begin by re-expressing matters in the language of coarse geometry, following my paper (also in the bibliography below).

The basic setting is a discrete group $$\Gamma$$ with a (left-invariant) word metric; in the usual literature about limit operators this group is $$\mathbb Z$$ or $${\mathbb Z}^n$$, but there is no particular need for this restriction.  Let $$A$$ denote the rough algebra of $$\Gamma$$, that is the C*-algebra of operators on $$H=\ell^2(\Gamma)$$ generated by $$\ell^\infty(\Gamma)$$ together with the right translations by elements of $$\Gamma$$; equivalently, the closure of the bounded finite propagation operators on $$H$$.  If $$T\in A$$, then all the translates $$L_\gamma T L_\gamma^*$$ also belong to $$A$$, and indeed it is easy to see that they form a precompact subset of $$A$$ in the strong (or *-strong) operator topology.  The set of *-strong limit points of this subset is called the  operator spectrum of $$A$$ and denoted $$\sigma_{op}(A)$$. Continue reading

# Paper on sheaves of C*-algebras and K-homology published

After a busy day giving final exams in the MASS program it was nice to learn today that my paper with Paul Siegel about sheaves of C*-algebras has appeared in the Journal of K-Theory.  The link for the published version is

http://journals.cambridge.org/repo_A91rlWyM

This paper arose from some discussions when Paul was writing his thesis.  We were talking about the “lifting and controlling” arguments for Paschke duals that are used in the construction of various forms of operator-algebraic assembly maps (an early example is the one that appears in my paper with Nigel on the coarse Baum-Connes conjecture, which asserts that the quotient $$D^*(X)/C^*(X)$$ of the “controlled” pseudolocal by the “controlled” locally compact operators does not depend on the assumed “control”).  At some point in these discussions I casually remarked that, “of course”, what is really going on is that the Paschke dual is a sheaf.  Some time later I realized that what I had said was, in fact, true.  There aren’t any new results here but I hope that there is some conceptual clarification.   (There is an interesting spectral sequence that I’ll try to write about another time, though.)