Äquivariante whiteheadtorsion

In this note we compute the equivariant Whiteheadgroups WH_G(X) introduced by S. Illman. Because a G-homotopy equivalence is in general not isovariant, and a G-diffeomorphism is isovariant, the group Wh_G(X) does not give the right invariants for the equivariant s-cobordism theorem. So we introduce the isovariant Whiteheadgroup IWh_G(X), prove an isovariant s-cobordism theorem and give some applications.     

The weak isovariant Borsuk-Ulam theorem for compact Lie groups

In this paper we shall deal with a weak version of the Borsuk-Ulam theorem for G-isovariant maps, which we call the weak isovariant Borsuk-Ulam theorem. One of the results is that the weak isovariant Borsuk-Ulam theorem in linear G-spheres holds for an arbitrary compact Lie group G. On the contrary the weak isovariant Borsuk-Ulam theorem in semilinear G-(homology) spheres holds if and only if G is solvable. Received: 2 April 2002     

The degree of maps of free G-manifolds and the average

Suppose that G is a compact Lie group, M and N are orientable, free G-manifolds and f : M → N is an equivariant map. We show that the degree of f satisfies a formula involving data given by the classifying maps of the orbit spaces M/G and N/G. In particular, if the generator of the top dimensional cohomology of M/G with integer coefficients is in the image of the cohomology map induced by the classifying map for M, then the degree is one. The condition that the map be equivariant can be relaxed: it is enough to require that it be “nearly equivariant”, up to a positive constant. We will also discuss the G-average construction and show that the requirement that the map be equivariant can be replaced by a somewhat weaker condition involving the average of the map. These results are applied to maps into real, complex and quaternionic Stiefel manifolds. In particular, we show that a nearly equivariant map of a complex or quaternionic Stiefel manifold into itself has degree one. Dedicated to the memory of Jean Leray     

Riemann–Roch for Algebraic Stacks: I

In this paper we establish Riemann–Roch and Lefschtez–Riemann–Roch theorems for arbitrary proper maps of finite cohomological dimension between algebraic stacks in the sense of Artin. The Riemann–Roch theorem is established as a natural transformation between the G-theory of algebraic stacks and topological G-theory for stacks: we define the latter as the localization of G-theory by topological K-homology. The Lefschtez–Riemann–Roch is an extension of this including the action of a torus for Deligne–Mumford stacks. This generalizes the corresponding Riemann–Roch theorem (Lefschetz–Riemann–Roch theorem) for proper maps between schemes (that are also equivariant for the action of a torus, respectively) making use of some fundamental results due to Vistoli and Toen. A key result established here is that topological G-theory (as well as rational G-theory) has cohomological descent on the isovariant étale site of an algebraic stack. This extends cohomological descent for topological G-theory on schemes as proved by Thomason.     

Chern–Weil map for principal bundles over groupoids

The theory of principal G-bundles over a Lie groupoid is an important one unifying various types of principal G-bundles, including those over manifolds, those over orbifolds, as well as equivariant principal G-bundles. In this paper, we study differential geometry of these objects, including connections and holonomy maps. We also introduce a Chern–Weil map for these principal bundles and prove that the characteristic classes obtained coincide with the universal characteristic classes. As an application, we recover the equivariant Chern–Weil map of Bott–Tu. We also obtain an explicit chain map between the Weil model and the simplicial model of equivariant cohomology which reduces to the Bott–Shulman map when the manifold is a point. P. Xu Research partially supported by NSF grant DMS-03-06665.     

Shape Morphisms to Transitive G-Spaces

The following problem plays an important role in shape theory: find conditions that guarantee that a shape morphism F:X Y of a topological space X to a topological space Y is generated by a continuous mapping f:X Y. In the present paper, we study this problem in equivariant shape theory and give a solution for shape-equivariant morphisms to transitive G-spaces, where G is a compact group with countable base. As a corollary, we prove a sufficient condition for equivariant shapes of a G-space X to be equal to the group G itself. We also prove some statements concerning equivariant bundles that play the key role in the proof of the main results and are of interest on their own.     

Equivariant fixed-point indices of iterated maps

We describe an equivariant version (for actions of a finite group G) of Dold’s index theory, [10], for iterated maps. Equivariant Dold indices are defined, in general, for a G-map U → X defined on an open G-subset of a G-ANR X (and satisfying a suitable compactness condition). A local index for isolated fixed-points is introduced, and the theorem of Shub and Sullivan on the vanishing of all but finitely many Dold indices for a continuously differentiable map is extended to the equivariant case. Homotopy Dold indices, arising from the equivariant Reidemeister trace, are also considered.      

An effective algorithm for the cohomology ring of symplectic reductions

Let G be a compact torus acting on a compact symplectic manifold M in a Hamiltonian fashion, and T a subtorus of G. We prove that the kernel of is generated by a small number of classes satisfying very explicit restriction properties. Our main tool is the equivariant Kirwan map, a natural map from the G-equivariant cohomology of M to the G/T-equivariant cohomology of the symplectic reduction of M by T . We show this map is surjective. This is an equivariant version of the well-known result that the (nonequivariant) Kirwan map is surjective. We also compute the kernel of the equivariant Kirwan map, generalizing the result due to Tolman and Weitsman [TW] in the case T = G and allowing us to apply their methods inductively. This result is new even in the case that dim T = 1. We close with a worked example: the cohomology ring of the product of two , quotiented by the diagonal 2-torus action. Submitted: September 2001, Revised: December 2001, Revised: February 2002.     

Equivariant Kasparov Theory and Generalized Homomorphisms

Let G be a locally compact group. We describe elements of KK ^G (A, B) by equivariant homomorphisms, following Cuntz's treatment in the non-equivariant case. This yields another proof for the universal property of KK ^G : It is the universal split exact stable homotopy functor. To describe a Kasparov triple (, , F) for A, B by an equivariant homomorphism, we have to arrange for the Fredholm operator F to be equivariant. This can be done if A is of the form ; and more generally if the group action on A is proper in the sense of Exel and Rieffel.     

Equivariant–Bivariant Chern Character for Profinite Groups

For the action of a locally compact and totally disconnected group G on a pair of locally compact spaces X and Y we construct, by sheaf theoretic means, a new equivariant and bivariant cohomology theory. If we take for the first space Y an universal proper G-action then we obtain for the second space its delocalized equivariant homology. This is in exact formal analogy to the definition of equivariant K-homology by Baum, Connes, Higson starting from the bivariant equivariant Kasparov KK-theory. Under certain basic finiteness conditions on the first space Y we conjecture the existence of a Chern character from the equivariant Kasparov KK-theory of Y and X into our cohomology theory made two-periodic which becomes an isomorphism upon tensoring the KK-theory with the complex numbers. This conjecture is proved for profinite groups G. An essential role in our construction is played by a bivariant version of Segal localization which we establish for KK-theory.     

On shadowing property for inverse limit spaces

We study here the G-shadowing property of the shift map σ on the inverse limit space X _f, generated by an equivariant self-map f on a metric G-space X.      

Geometric versus homotopy theoretic equivariant bordism

By results of Löffler and Comezaña, the Pontrjagin-Thom map from geometric G-equivariant bordism to homotopy theoretic equivariant bordism is injective for compact abelian G. If G=S¹××S¹, we prove that the associated fixed point square is a pull back square, thus confirming a recent conjecture of Sinha [22]. This is used in order to determine the image of the Pontrjagin-Thom map for toralG.     

Index Theorem for Equivariant Dirac Operators on Noncompact Manifolds

Let D be a (generalized) Dirac operator on a noncompact complete Riemannian manifold M acted on by a compact Lie group G. Let v: M g = Lie G be an equivariant map, such that the corresponding vector field on M does not vanish outside of a compact subset. These data define an element of K-theory of the transversal cotangent bundle to M. Hence, by embedding of M into a compact manifold, one can define a topological index of the pair (D,v) as an element of the completed ring of characters of G. We define an analytic index of (D,v) as an index space of certain deformation of D and we prove that the analytic and topological indexes coincide. As a main step of the proof, we show that index is an invariant of a certain class of cobordisms, similar to the one considered by Ginzburg, Guillemin and Karshon. In particular, this means that the topological index of Atiyah is also invariant under this class of noncompact cobordisms. As an application, we extend the Atiyah–Segal–Singer equivariant index theorem to our noncompact setting. In particular, we obtain a new proof of this theorem for compact manifolds.     

Equivariant sheaf cohomdlogy

In this paper we study Grothendieck's equivariant sheaf cohomology H(X,G;G) for non-discrete topological groups G and G-sheavesG on a G-Space X. For compact groups and locally compact, totally disconnected groups we obtain detailed results relating H(X,G;-) to H(X;-)^G and H(X/G;-). Furthermore we point out the connection between H(X,G;-) and Borel's equivariant cohomology H_G(X;-).     

HigherG-signatures for Lipschitz manifolds

Using the Teleman signature operator and Kasparov'sKK-theory, we prove a strong De Rham theorem and a higherG-signature theorem for Lipschitz manifolds. These give in particular a substitute for the usualG-signature theorem that applies to certain nonsmooth actions on topological manifolds. Then we present a number of applications. Among the most striking are a proof that nonlinear similarities preserve renormalized Atiyah-Bott numbers, and a proof that under suitable gap, local flatness, and simple connectivity hypotheses, a compact (topological)G-manifoldM is determined up to finite ambiguity by its isovariant homotopy type and by the classes of the equivariant signature operators on all the fixed sets . These could also be proved using joint work of Cappell, Shaneson, and the second author on topological characteristic classes.Partially supported by NSF Grants DMS-87-00551 and DMS-90-02642 (J.R.) and by NSF Grants, a Sloan Foundation Fellowship, and a Presidential Young Investigator award (S.W.).     

Equivariant uniformization theorem for subanalytic sets

In this paper we prove an equivariant version of the uniformization theorem for closed subanalytic sets: Let G be a Lie group and let M be a proper real analytic G-manifold. Let X be a closed subanalytic G-invariant subset of M. We show that there exist a proper real analytic G-manifold N of the same dimension as X and a proper real analytic G-equivariant map such that .      

Equivariant pretheories and invariants of torsors

In the present paper we introduce and study the notion of an equivariant pretheory (basic examples are equivariant Chow groups of Edidin and Graham, Thomason??s equivariant K-theory and equivariant algebraic cobordism). Using the language of equivariant pretheories we generalize the theorem of Karpenko and Merkurjev on G-torsors and rational cycles. As an application, to every G-torsor E and a G-equivariant pretheory we associate a ring which serves as an invariant of E. In the case of Chow groups this ring encodes the information about the motivic J-invariant of E, in the case of Grothendieck??s K ₀ indexes of the respective Tits algebras and in the case of algebraic cobordism ?? it gives a quotient of the cobordism ring of G.     

A geometric construction for permutation equivariant categories from modular functors

Let G be a finite group. Given a finite G-set X\cal{X} and a modular tensor category C\cal{C}, we construct a weak G-equivariant fusion category C^X\cal{C}^{\cal{X}}, called the permutation equivariant tensor category. The construction is geometric and uses the formalism of modular functors. As an application, we concretely work out a complete set of structure morphisms for \mathbbZ/2\mathbb{Z}/2-permutation equivariant categories, finishing thereby a program we initiated in an earlier paper.     

Equivariant Nielsen fixed point theory for n-valued maps

We develop an equivariant Nielsen fixed point theory for n-valued G-maps by associating (as in Better (2010) [2]) an abstract simplicial complex to any equivariant n-valued map and defining, in terms of this complex, two n-valued continuous G-homotopy invariants that are lower bounds for the number of fixed points and of orbits in the n-valued continuous G-homotopy class of a given n-valued G-map. We also provide an equivariant Hopf construction for n-valued G-maps as well as a minimality result for the Nielsen numbers introduced in this setting.