arXiv subjects

Heath Emerson

Publications and source records attributed to Heath Emerson.

27 records · Page 2Linked to original sources

arXiv2008

Equivariant Lefschetz maps for simplicial complexes and smooth manifolds

Let X be a locally compact space with a continuous proper action of a locally compact group G. Assuming that X satisfies a certain kind of duality in equivariant bivariant Kasparov theory, we can enrich the classical construction of Lefschetz numbers to equivariant K-homology classes. We compute the Lefschetz invariants for self-maps of finite-dimensional simplicial complexes and of self-maps of smooth manifolds. The resulting invariants are independent of the extra structure used to compute them. Since smooth manifolds can be triangulated, we get two formulas for the same Lefschetz invariant in these cases. The resulting identity is closely related to the equivariant Lefschetz Fixed Point Theorem of Luck and Rosenberg.

math.KT↗

arXiv2008

Coarse and equivariant co-assembly maps

We study an equivariant co-assembly map that is dual to the usual Baum-Connes assembly map and closely related to coarse geometry, equivariant Kasparov theory, and the existence of dual Dirac morphisms. As applications, we prove the existence of dual Dirac morphisms for groups with suitable compactifications, that is, satisfying the Carlsson-Pedersen condition, and we study a K-theoretic counterpart to the proper Lipschitz cohomology of Connes, Gromov and Moscovici.

math.KT↗

arXiv2008

A Lefschetz fixed-point formula for certain orbifold C*-algebras

Using Poincaré duality in K-theory, we state and prove a Lefschetz fixed point formula for endomorphisms of cross product C*-algebras $C_0(X)\cross G$ coming from covariant pairs. Here $G$ is assumed countable, $X$ a manifold, and $X\cross G$ cocompact and proper. The formula in question expresses the graded trace of the map on rationalized K-theory of $C_0(X)\cross G$ induced by the endomorphism, \emph{i.e.} the Lefschetz number, in terms of fixed orbits and representation-theoretic data connected with certain isotropy subgroups of the isotropy group at that point. The technique is to use noncommutative Poincaé duality and the formal Lefschetz lemma of the second author.

math.KT↗

arXiv2007

KK-theoretic duality for proper twisted actions

Let the discrete group G act properly and isometrically on the Riemannian manifold X. Let C_0(X, δ) be the section algebra of a smooth locally trivial G-equivariant bundle of elementary C*-algebras representing an element δof the Brauer group Br_G(X). Then C_0(X,δ^{-1}) x G is KK-theoretically Poincare dual to (C_0(X,δ)\otimes_{C_0(X)} C_τ(X)) xG, where δ^{-1} is the inverse of δin the Brauer group. We deduce this from a strengthening of Kasparov's duality theorem RKK^G(X; A,B) \cong KK^G(C_τ(X)\otimes A, B). As applications we also obtain a version of the above Poincare duality with X replaced by a compact G-manifold M and for twisted group algebras C*(G,ω) if G satisfies some additional properties related to the Dirac-dual Dirac method for the Baum-Connes conjecture.

math.OA↗

arXiv2005

Euler characteristics and Gysin sequences for group actions on boundaries

Let G be a locally compact group, let X be a universal proper G-space, and let Z be a G-equivariant compactification of X that is H-equivariantly contractible for each compact subgroup H of G. Let W be the resulting boundary. Assuming the Baum-Connes conjecture for G with coefficients C and C(W), we construct an exact sequence that computes the map on K-theory induced by the embedding of the reduced group C*-algebra of G into the crossed product of G by C(W). This exact sequence involves the equivariant Euler characteristic of X, which we study using an abstract notion of Poincare duality in bivariant K-theory. As a consequence, if G is torsion-free and the Euler characteristic of the orbit space X/G is non-zero, then the unit element of the boundary crossed product is a torsion element whose order is equal to the absolute value of the Euler characteristic of X/G. Furthermore, we get a new proof of a theorem of Lueck and Rosenberg concerning the class of the de Rham operator in equivariant K-homology.

math.KT↗

arXiv2004

A descent principle for the Dirac dual Dirac method

Let G be a torsion free discrete group with a finite dimensional classifying space BG. We show that G has a dual Dirac morphism if and only if a certain coarse (co)-assembly map is an isomorphism. Hence the existence of a dual Dirac morphism for such G is a metric, that is, coarse, invariant of G. We obtain similar results for groups with torsion. The framework that we develop is also suitable for studying the Lipschitz and proper Lipschitz cohomology of Connes, Gromov and Moscovici.

math.OA↗

arXiv2004

Noncommutative Poincare duality for boundary actions of hyperbolic groups

For a large class of word hyperbolic groups G the cross product C^*-algebra arising from the action of G on its Gromov boundary is shown to satisfy Poincare duality in K-theory. This class strictly contains fundamental groups of compact, negatively curved manifolds. The Baum-Connes Conjecture for amenable groupoids is used in a crucial way.

math.OA↗

arXiv2004

Dualizing the coarse assembly map

We formulate and study a new coarse (co-)assembly map. It involves a modification of the Higson corona construction and produces a map dual in an appropriate sense to the standard coarse assembly map. The new assembly map is shown to be an isomorphism in many cases. For the underlying metric space of a group, the coarse co-assembly map is closely related to the existence of a dual Dirac morphism and thus to the Dirac dual Dirac method of attacking the Novikov conjecture.

math.OA↗

arXiv2003

A characterization of the Dirac Dual Dirac Method

Let G be a discrete, torsion free group with a finite dimensional classifying space BG. We show that the existence of a gamma-element for such G is a metric, that is, coarse, invariant of G. We also obtain results for groups with torsion. The method of proof involves showing that a group G possesses a gamma-element if and only if a certain coarse (co)-assembly map is an isomorphism.

math.KT↗