首页/论文/math/0208162

arXiv math/02081622002-08-22math.ATmath.DG

The equivariant Lefschetz fixed point theorem for proper cocompact G-manifolds

Wolfgang Lueck, Jonathan Rosenberg

备注：: (36 pages)
发表信息：: High-dimensional manifold topology, 322-361, World Sci. Publ., River Edge, NJ, 2003

英文摘要：

Suppose one is given a discrete group G, a cocompact proper G-manifold M, and a G-self-map f of M. Then we introduce the equivariant Lefschetz class of f, which is globally defined in terms of cellular chain complexes, and the local equivariant Lefschetz class of f, which is locally defined in terms of fixed point data. We prove the equivariant Lefschetz fixed point theorem, which says that these two classes agree. As a special case, we prove an equivariant Poincare-Hopf Theorem, computing the universal equivariant Euler characteristic in terms of the zeros of an equivariant vector field, and also obtain an orbifold Lefschetz fixed point theorem. Finally, we prove a realization theorem for universal equivariant Euler characteristics.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Axiomatic Description of Lefschetz Type Equivariant Homotopy Invariants

We describe generators of universal Lefschetz groups consisting of self-maps of equivariant 1-spheres. This allows to formulate a normalization axiom which, together with the usual axioms, determines an equivariant Lefschetz number uniquely. We apply this technique to identify the fixed orbit detecting equivariant Lefschetz number of Chorny with the fixed orbit index of Dzedzej.

2013-01-30math.AT

Equivariant Lefschetz and Fuller indices via topological intersection theory

For a compact Lie group G, we use G-equivariant Poincaré duality for ordinary RO(G)-graded homology to define an equivariant intersection product, the dual of the equivariant cup product. Using this, we give a homological construction of the equivariant Lefschetz number and a simple proof of the equivariant Lefschetz fixed point theorem. With similar techniques, an equivariant Fuller index with values in the rationalized Burnside ring is constructed.

2013-07-22math.AT

The universal functorial equivariant Lefschetz invariant

We introduce the universal functorial equivariant Lefschetz invariant for endomorphisms of finite proper G-CW-complexes, where G is a discrete group. We use K_0 of the category of "phi-endomorphisms of finitely generated free RPi(G,X)-modules". We derive results about fixed points of equivariant endomorphisms of cocompact proper smooth G-manifolds.

2006-06-23math.AT

Equivariant Euler characteristics and K-homology Euler classes for proper cocompact G-manifolds

Let G be a countable discrete group and let M be a smooth proper cocompact G-manifold without boundary. The Euler operator defines via Kasparov theory an element, called the equivariant Euler class, in the equivariant K-homology of M. The universal equivariant Euler characteristic of M, which lives in a group U^G(M), counts the equivariant cells of M, taking the component structure of the various fixed point sets into account. We construct a natural homomorphism from U^G(M) to the equivariant KO-homology of M. The main result of this paper says that this map sends the universal equivariant Eul…

2003-11-17math.ATmath.KT

Equivariant Poincaré-Alexander-Lefschetz duality and the Cohen-Macaulay property

We prove a Poincare-Alexander-Lefschetz duality theorem for rational torus-equivariant cohomology and rational homology manifolds. We allow non-compact and non-orientable spaces. We use this to deduce certain short exact sequences in equivariant cohomology, originally due to Duflot in the differentiable case, from similar, but more general short exact sequences in equivariant homology. A crucial role is played by the Cohen-Macaulayness of relative equivariant cohomology modules arising from the orbit filtration.

2013-09-15math.AT

Equivariant Nielsen invariants for discrete groups

For discrete groups G, we introduce equivariant Nielsen invariants. They are equivariant analogs of the Nielsen number and give lower bounds for the number of fixed point orbits in the G-homotopy class of an equivariant endomorphism f:X->X. Under mild hypotheses, these lower bounds are sharp. We use the equivariant Nielsen invariants to show that a G-equivariant endomorphism f is G-homotopic to a fixed point free G-map if the generalized equivariant Lefschetz invariant of f is zero. Finally, we prove a converse of the equivariant Lefschetz fixed point theorem.

2006-06-22math.AT

更多相关论文收起更多论文

Equivariant cellular homology and its applications

In this work we develop a cellular equivariant homology functor and apply it to prove an equivariant Euler-Poincare formula and an equivariant Lefschetz theorem.

2001-12-18math.ATmath.GT

Equivariant Fixed Point Theory

We reexamine equivariant generalizations of the Lefschetz number and Reidemeister trace using categorical traces. This gives simple, conceptual descriptions of the invariants as well as direct comparisons to previously defined generalizations. These comparisons are illuminating applications of the additivity and multiplicativity of the categorical trace.

2015-03-24math.AT

Rational equivariant K-homology of low dimensional groups

We consider groups G which have a cocompact, 3-manifold model for the classifying space \underline{E}G. We provide an algorithm for computing the rationalized equivariant K-homology of \underline{E}G. Under the additional hypothesis that the quotient 3-orbifold \underline{E}G/G is geometrizable, the rationalized K-homology groups coincide with the rationalized K-theory of the reduced C*-algebra of G. We illustrate our algorithm on some concrete examples.

2011-12-19math.ATmath.GTmath.KT

等变对数凹性与等变Kähler包

Equivariant log-concavity and equivariant Kähler packages

本文证明了环面和分类空间的上同调代数具有 $S_{n}$-等变对数凹性，通过构造 $S_{n}$-表示映射并验证 hard Lefschetz 定理，进一步证明了整个 Kähler 包在等变设定下成立。

2024-10-17math.ATmath.COmath.RT

On equivariant Euler-Poincaré characteristic in sheaf cohomology

Let X be a topological Hausdorff space together with a continuous action of a finite group G. Let R be the ring of integers of a number field F. Let E be a G-sheaf of flat R-modules over X and let $Φ$ be a G-stable paracompactifying family of supports on X. We show that under some natural cohomological finiteness conditions the Lefschetz number of the action of g in G on the cohomology $H_Φ(X,E) \otimes_{R} F$ equals the Lefschetz number of the g-action on $H_Φ(X^g, E_{|X^g}) \otimes_{R} F$, where $X^g$ is the set of fixed points of g in X. More generally, the class $\sum_j (-1)^j [H^j_Φ(X,E) …

2013-07-04math.AT

Equivariant vector bundles over classifying spaces for proper actions

Let $G$ be an infinite discrete group and let $\underline{E}G$ be a classifying space for proper actions of $G$. Every $G$-equivariant vector bundle over $\underline{E}G$ gives rise to a compatible collection of representations of the finite subgroups of $G$. We give the first examples of groups $G$ with a cocompact classifying space for proper actions $\underline{E}G$ admitting a compatible collection of representations of the finite subgroups of $G$ that does not come from a $G$-equivariant (virtual) vector bundle over $\underline{E}G$. This implies that the Atiyah-Hirzeburch spectral sequen…

2016-05-19math.ATmath.GRmath.KT

Topological rigidity and actions on contractible manifolds with discrete singular set

The problem of equivariant rigidity is the $Γ$-homeomorphism classification of $Γ$-actions on manifolds with compact quotient and with contractible fixed sets for all finite subgroups of $Γ$. In other words, this is the classification of cocompact $E_{fin}Γ$-manifolds. We use surgery theory, algebraic $K$-theory, and the Farrell--Jones Conjecture to give this classification for a family of groups which satisfy the property that the normalizers of nontrivial finite subgroups are themselves finite. More generally, we study cocompact proper actions of these groups on contractible manifolds and pr…

2015-11-03math.ATmath.GT

A remarkable DG-module model for configuration spaces

Let M be a simply-connected closed manifold and consider the (ordered) configuration space of $k$ points in M, F(M,k). In this paper we construct a commutative differential graded algebra which is a potential candidate for a model of the rational homotopy type of F(M,k). We prove that our model it is at least a Sigma_k-equivariant differential graded model. We also study Lefschetz duality at the level of cochains and describe equivariant models of the complement of a union of polyhedra in a closed manifold.

2008-03-18math.AT

The linearity of fixed point invariants

We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of these theorems are essentially formal, taking place in the abstract context of bicategorical traces. This makes it straightforward to generalize the theory to analogous invariants in other contexts, such as equivariant and fiberwise homotopy theory.

2017-09-26math.ATmath.CT

An invariant of fiberwise Morse functions on surface bundle over $S^1$ by counting graphs

We apply Lescop's construction of $\mathbb{Z}$-equivariant perturbative invariant of knots and 3-manifolds to the explicit equivariant propagator of "AL-paths" given in arXiv:1403.8030. We obtain an invariant $\hat{Z}_n$ of certain equivalence classes of fiberwise Morse functions on a 3-manifold fibered over $S^1$, which can be considered as a higher loop analogue of the Lefschetz zeta function and whose construction will be applied to that of finite type invariants of knots in such a 3-manifold. We also give a combinatorial formula for Lescop's equivariant invariant $\mathscr{Q}$ for 3-manifo…

2015-05-07math.ATmath.GT

Combinatorial Stokes formulas via minimal resolutions

We describe an explicit chain map from the standard resolution to the minimal resolution for the finite cyclic group Z_k of order k. We then demonstrate how such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn implies "Dold's theorem" that there is no equivariant map from an n-connected to an n-dimensional free Z_k-complex. Thus we build a combinatorial access road to problems in combinatorics and discrete geometry that have previously been treated with methods from equivariant topology. The special case k=2 for this is classical; it involves Tucker's (1949) combinatori…

2007-09-29math.ATmath.CO

On Brown's Problem, Poincare' models for the classifying spaces for proper actions and Nielsen Realization

There is the problem, whether for a given virtually torsionfree discrete group $Γ$ there exists a cocompact proper topological $Γ$-manifold, which is equivariantly homotopy equivalent to the classifying space for proper actions. It is related to Nielsen's Realization and to the problem of Brown, whether there is a d-dimensional model for the classifying space for proper actions, if the underlying group has virtually cohomological dimension d. Assuming that the expected manifold model has a zero-dimensional singular set, we solve the problem in the Poincaré category and obtain new results about…

2022-01-26math.ATmath.GT