# “Finite part of operator K-theory” I

First of all, I apologize for the hiatus in posting over the past couple of weeks,  Organizing a (non-mathematical) conference has absorbed a big chunk of my time, and then getting back up to speed with routine tasks has absorbed another big chunk.   However…

So I started looking at the recent paper of Shmuel Weinberger and Guoliang Yu,  They are interested in looking at the part of the $$K$$-theory of the maximal C*-algebra of a group $$\Gamma$$ which is generated by the projections

$p_H = \frac{1}{|H|} \sum_{h\in H} h\quad \in {\mathbb C}[G]$

in the complex group algebra of $$G$$, where $$H$$ is a finite cyclic subgroup.   (Question: Why do they restrict attention to finite cyclic subgroups? Wouldn’t any finite subgroup work just as well.)

The claim is that these generate a “large” subgroup of $$K_0(C^*_{max}(G))$$ which is not in the image of the maximal assembly map from $$K_0(BG)$$.  “Large” is expressed in terms of a lower bound for the rank of this abelian group.

The basic strategy, so far as I understand it, can be thought of in terms of a familiar argument for property T groups.  Let $$G$$ be any group.  The maximal group C*-algebra has a homomorphism $$\alpha$$ to $$\mathbb C$$, which just is the regular representation (as a linear map on $${\mathbb C}[G]$$ it sends every group element to 1.   On the other hand, the reduced (and therefore also the maximal) group $$C^*$$ algebras have a different trace $$\tau$$ which sends the identity element to 1 and every other element of $$G$$ to 0 – this is the tracial vector state associated to the unit vector $$\xi_e$$ in the regular representation $$\ell^2(G)$$.  At the level of K-theory we get a diagram

$\begin{array}{ccc} K_0(C^*_{max}(G))&\to^\alpha &{\mathbb Z}\\ \downarrow&&\downarrow\\ K_0(C^*_r(G)&\to^\tau & {\mathbb R}\end{array}$

This diagram need not commute.  In fact, if $$G$$ has property T and we consider at the top left corner the K-theory class of the Kazhdan projection – the projection (whose existence is guaranteed by property T) which maps, under any representation, to the projection onto the G-invariant subspace of that representation – then this class maps to 1 by traversing the diagram via the top right corner and to 0 traversing via the lower left corner.   However, it must commute for any element in the image of the (maximal) assembly map, as follows essentially from Atiyah’s $$L^2$$ index theorem.  Thus, as is well known, we infer that the class of the Kazhdan projection is not in the image of the maximal assembly map.

Weinberger and Yu point out that a similar argument can be applied to the projection $$p_H$$ associated to a finite cyclic subgroup $$H$$ of $$G$$. In fact, the homomorphism $$\alpha$$ takes $$[p_H]$$ to 1, whereas the trace $$\tau$$ takes it to $$|H|^{-1}$$.  This is independent of any property T considerations.  Motivated by this, they conjecture that the rank of the subgroup of $$K_0(C^*_{max}(G)))$$ generated by the $$[p_H]$$ (they call this the “finite part” of this group) is at least equal to the number of distinct orders of cyclic subgroups of $$G$$, and that no non-identity element in the finite part lies in the image of the assembly map.

Next time I hope to talk about their approach to proving this in  certain cases.

Weinberger, Shmuel, and Guoliang Yu. Finite Part of Operator K-theory for Groups Finitely Embeddable into Hilbert Space and the Degree of Non-rigidity of Manifolds. ArXiv e-print, August 21, 2013. http://arxiv.org/abs/1308.4744.

# GT Monographs: Volume 9

GT Monographs: Volume 9

This is the proceedings of an Oberwolfach conference on “exotic” homology manifolds. (Roughly speaking, these are manifolds for which the “zero’th Pontrjagin class” is not equal to 1.)

# [math/0603675] The lower central series and pseudo-Anosov dilatations

[math/0603675] The lower central series and pseudo-Anosov dilatations

## The lower central series and pseudo-Anosov dilatations

Authors:
Benson Farb,
Christopher J. Leininger,
Dan Margalit

Subj-class: Geometric Topology; Dynamical Systems

MSC-class: 37E30 (Primary) 57M60, 37B40 (Secondary)

The theme of this paper is that algebraic complexity implies dynamical
complexity for pseudo-Anosov homeomorphisms of a closed surface S_g of genus g.
Penner proved that the logarithm of the minimal dilatation for a pseudo-Anosov
homeomorphism of S_g tends to zero at the rate 1/g. We consider here the
smallest dilatation of any pseudo-Anosov homeomorphism of S_g acting trivially
on Gamma/Gamma_k, the quotient of Gamma = pi_1(S_g) by the k-th term of its
lower central series, k > 0. In contrast to Penner’s asymptotics, we prove that
this minimal dilatation is bounded above and below, independently of g, with
bounds tending to infinity with k. For example, in the case of the Torelli
group I(S_g), we prove that L(I(S_g)), the logarithm of the minimal dilatation
in I(S_g), satisfies .197 < L(I(S_g))< 4.127. In contrast, we find
pseudo-Anosov mapping classes acting trivially on Gamma/Gamma_k whose
asymptotic translation lengths on the complex of curves tend to 0 as g tends
toward infinity.

# [math/0603669] All generating sets of all property T von Neumann algebras have free entropy dimension $leq 1$

[math/0603669] All generating sets of all property T von Neumann algebras have free entropy dimension $leq 1$

## All generating sets of all property T von Neumann algebras have free entropy dimension $leq 1$

Authors:
Kenley Jung,
Dimitri Shlyakhtenko

Subj-class: Operator Algebras

MSC-class: 46L54; 52C17

Suppose $N$ is a diffuse, property T von Neumann algebra and X is an
arbitrary finite generating set of selfadjoint elements for N. By using
rigidity/deformation arguments applied to representations of N in full matrix
algebras, we deduce that the microstate spaces of X are asymptotically discrete
up to unitary conjugacy. We use this description to show that the free entropy
dimension of X, $delta_0(X)$, is less than or equal to 1. It follows that when
N embeds into the ultraproduct of the hyperfinite $mathrm{II}_1$-factor, then
$delta_0(X)=1$ and otherwise, $delta_0(X)=-infinity$. This generalizes the
earlier results of Voiculescu, and Ge, Shen pertaining to $SL_n(mathbb Z)$ as
well as the results of Connes, Shlyakhtenko pertaining to group generators of
arbitrary property T algebras.

### Full-text: PostScript, PDF, or Other formats

Which authors of this paper are endorsers?