Intersection cohomology of circle actions

Gabriel Padilla,Martintxo Saralegi-Aranguren

2009-03-24

Abstract: A classical result says that a free action of the circle $\Bbb{S}^1$ on a topological space $X$ is geometrically classified by the orbit space $B$ and by a cohomological class ${H}^{^{2}}{(B,\Bbb{Z})}$, the Euler class. When the action is not free we have a difficult open question:

Algebraic Topology,Differential Geometry

What problem does this paper attempt to address?

Some Remarks on Circle Action on Manifolds

Ping Li,Kefeng Liu

DOI: https://doi.org/10.4310/mrl.2011.v18.n3.a5

2011-01-01

Mathematical Research Letters

Abstract:This paper contains several results concerning circle action on almost-complex and smooth manifolds. More precisely, we show that, for an almost-complex manifold $M^{2mn}$(resp. a smooth manifold $N^{4mn}$), if there exists a partition $\lambda=(\lambda_{1},...,\lambda_{u})$ of weight $m$ such that the Chern number $(c_{\lambda_{1}}... c_{\lambda_{u}})^{n}[M]$ (resp. Pontrjagin number $(p_{\lambda_{1}}... p_{\lambda_{u}})^{n}[N]$) is nonzero, then \emph{any} circle action on $M^{2mn}$ (resp. $N^{4mn}$) has at least $n+1$ fixed points. When an even-dimensional smooth manifold $N^{2n}$ admits a semi-free action with isolated fixed points, we show that $N^{2n}$ bounds, which generalizes a well-known fact in the free case. We also provide a topological obstruction, in terms of the first Chern class, to the existence of semi-free circle action with \emph{nonempty} isolated fixed points on almost-complex manifolds. The main ingredients of our proofs are Bott's residue formula and rigidity theorem.
Circle Action and Some Vanishing Results on Manifolds

Ping Li,Kefeng Liu

DOI: https://doi.org/10.1142/s0129167x11007380

2011-01-01

International Journal of Mathematics

Abstract:Kawakubo and Uchida showed that, if a closed oriented 4k-dimensional manifold M admits a semi-free circle action such that the dimension of the fixed point set is less than 2k, then the signature of M vanishes. In this note, by using G-signature theorem and the rigidity of the signature operator, we generalize this result to more general circle actions. Combining the same idea with the remarkable Witten-Taubes-Bott rigidity theorem, we explore more vanishing results on spin manifolds admitting such circle actions. Our results are closely related to some earlier results of Conner-Floyd, Landweber-Stong and Hirzebruch-Slodowy.
Hopf Cyclic Cohomology and Hodge Theory for Proper Actions

Xiang Tang,Yi-Jun Yao,Weiping Zhang

DOI: https://doi.org/10.4171/jncg/138

2013-01-01

Journal of Noncommutative Geometry

Abstract:We introduce a Hopf algebroid associated to a proper Lie group action on a smooth manifold. We prove that the cyclic cohomology of this Hopf algebroid is equal to the de Rham cohomology of invariant differential forms. When the action is cocompact, we develop a generalized Hodge theory for the de Rham cohomology of invariant differential forms. We prove that every cyclic cohomology class of the Hopf algebroid is represented by a generalized harmonic form. This implies that the space of cyclic cohomology of the Hopf algebroid is finite dimensional. As an application of the techniques developed in this paper, we discuss properties of the Euler characteristic for a proper cocompact action.
Quantum cohomology and $S^1$-actions with isolated fixed points

Eduardo Gonzalez

DOI: https://doi.org/10.48550/arXiv.math/0310114

2003-10-08

Symplectic Geometry

Abstract:This paper studies symplectic manifolds that admit semi-free circle actions with isolated fixed points. We prove, using results on the Seidel element due to McDuff and Tolman, that the (small) quantum cohomology of a $2n$ dimensional manifold of this type is isomorphic to the (small) quantum cohomology of a product of $n$ copies of $\bb{P}^1$. This generalizes a result due to Tolman and Witsman.
Circle action, lower bound of fixed points and characteristic numbers

Ping Li

DOI: https://doi.org/10.1007/s11784-012-0084-1

2013-07-27

Abstract:Given an $S^1$-manifold with isolated fixed points, some recent papers are concerned with the relationship between the least number of fixed points and the characteristic numbers of this manifold, and their proofs have some similar features. The main purpose of this short survey article is, by using the language of equivariant cohomology, to present a unified method to deal with such problems, of which the related known results are direct corollaries.

Algebraic Topology,Geometric Topology
The equivariant cohomology for semidirect product actions

Sergio Chaves

2024-02-13

Abstract:The rational Borel equivariant cohomology for actions of a compact connected Lie group is determined by restriction of the action to a maximal torus. We show that a similar reduction holds for any compact Lie group $G$ when there is a closed subgroup $K$ such that the cohomology of the classifying space $BK$ is free over the cohomology of $BG$ for field coefficients. We study the particular case when $G$ is a semi-direct product and $K$ is its maximal elementary abelian 2-subgroup for cohomology with coefficients in a field of characteristic two. This provides a different approach to investigate the syzygy order of the equivariant cohomology of a space with a torus action and a compatible involution, and we relate this description with results for 2-torus actions.

Algebraic Topology
Circle actions and Z/k-manifolds

Weiping Zhang

DOI: https://doi.org/10.1016/S1631-073X(03)00279-6

2003-01-01

Comptes Rendus Mathematique

Abstract:We establish an S1-equivariant index theorem for Dirac operators on Z/k-manifolds. As an application, we generalize the Atiyah–Hirzebruch vanishing theorem for S1-actions on closed spin manifolds to the case of Z/k-manifolds. To cite this article: W. Zhang, C. R. Acad. Sci. Paris, Ser. I 337 (2003).
$Z^{d}$-odometers and cohomology

Thierry Giordano,Ian F. Putnam,Christian F. SKau

DOI: https://doi.org/10.48550/arXiv.1709.08585

2017-09-26

Abstract:Cohomology for actions of free abelian groups on the Cantor set has (when endowed with an order structure) provided a complete invariance for orbit equivalence. In this paper, we study a particular class of actions of such groups called odometers (or profinite actions) and investigate their cohomology. We show that for a free, minimal $\Z^{d}$-odometer, the first cohomology group provides a complete invariant for the action up to conjugacy. This is in contrast with the situation for orbit equivalence where it is the cohomology in dimension $d$ which provides the invariant. We also consider classification up to isomorphism and continuous orbit equivalence.

Dynamical Systems
Circle actions on oriented 4-manifolds

Donghoon Jang,Oleg R. Musin

2023-08-21

Abstract:In the present paper, we consider an action of the circle group on a compact oriented 4-manifold. We derive the Atiyah-Hirzebruch formula for the manifold, and associate a graph in terms of data on the fixed point set. We show in the case of isolated fixed points that if an abstract graph satisfies the Atiyah-Hirzebruch formula, then there exists a corresponding 4-dimensional oriented $S^1$-manifold.

Algebraic Topology,Combinatorics,Geometric Topology
A crossed homomorphism for groups acting on the circle

Shuhei Maruyama

DOI: https://doi.org/10.1142/s1793525324500092

2024-02-07

Journal of Topology and Analysis

Abstract:Journal of Topology and Analysis, Ahead of Print. In this paper, we construct a crossed homomorphism by using a group action on the circle and the Poincaré translation number. We relate it to the Euler class of the action in terms of the Hochschild–Serre spectral sequence. As an application, we answer a question of Calegari and Chen, which is on an explicit form of a certain crossed homomorphism on the mapping class group of the sphere minus a Cantor set.

mathematics
Swan-Tate cohomology of meromorphic circle actions

J Morava

2024-10-07

Abstract:We propose a toy model for symmetry-breaking or bubbling, in terms of cobordism of manifolds with circle actions free on a possible boundary. The Swan-Tate cohomology $t_\T E$ of a complex-oriented $E_\infty$ ring-spectrum $E$ is the extension of a Hopf algebra by its dual, which provides an algebraic rigidification of geometric interest. This note reviews the cases $E = H,K$ and $MU$, with special attention to $\lambda$-ring structures.

Algebraic Topology
Symplectic torus actions on complete intersections

Nicholas Lindsay

2024-05-06

Abstract:In [20] the author classified complete intersections of dimension $8k$ admitting a Hamiltonian circle action, under a certain assumption on the fixed point set. In this paper, we improve this result in two directions. Firstly, in dimension $8$ we remove the assumption on the fixed point set. Secondly, in any dimension we prove the result under an analogous assumption on the fixed point set. We also give some applications of our methods to the unimodality of Betti numbers of symplectic manifolds having a Hamiltonian $S^1$-action, and discuss the relation to symplectic rationality problems.

Symplectic Geometry
Free circle actions on certain simply connected $7-$manifolds

Fupeng Xu

2024-09-10

Abstract:In this paper, we determine for which nonnegative integers $k$, $l$ and for which homotopy $7-$sphere $\Sigma$ the manifold $kS^{2}\times S^{5}\#lS^{3}\times S^{4}\#\Sigma$ admits a free smooth circle action.

Geometric Topology,Algebraic Topology
Circle actions on four dimensional almost complex manifolds with discrete fixed point sets

Donghoon Jang

DOI: https://doi.org/10.1093/imrn/rnad285

2023-11-08

Abstract:We establish a necessary and sufficient condition for pairs of integers to arise as the weights at the fixed points of an effective circle action on a compact almost complex 4-manifold with a discrete fixed point set. As an application, we provide a necessary and sufficient condition for a pair of integers to arise as the Chern numbers of such an action, answering negatively a question by Sabatini whether $c_1^2[M] \leq 3 c_2[M]$ holds for any such manifold $M$. We achieve this by demonstrating that pairs of integers that arise as weights of a circle action, also arise as weights of a restriction of a $\mathbb{T}^2$-action. Furthermore, we discuss applications to circle actions on complex/symplectic 4-manifolds and semi-free circle actions with discrete fixed point sets.

Differential Geometry
The Gysin braid for $S^3$-actions on manifolds

José Ignacio Royo Prieto,Martintxo Saralegi-Aranguren

2024-04-26

Abstract:Given a smooth action of the sphere $\mathbb S^3$ on a manifold $M$, we have previously constructed a Gysin sequence relating the cohomology of the manifold $M$ and that of the orbit space $M/\mathbb S^3$. This sequence involves an exotic term depending on the subset $M^{\mathbb S^1}$. Notice that the orbit space is a stratified pseudomanifold, a kind of singular spaces where intersection cohomology applies. In the case where the the action is semi-free, the first author has already constructed a Gysin sequence relating the cohomology of $M$ and the intersection cohomology of $M/\mathbb S^3$. What happens if the action is not semi-free? This is the goal of this work. The situation is more complicated and we do not find a Gysin sequence but a Gysin braid relating the cohomology of $M$ and the intersection cohomology of $M/\mathbb S^3$. This braid also contains an exotic term depending this time on the intersection cohomology of $M^{\mathbb S^1}$.

Algebraic Topology
Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

Tara Holm,Liat Kessler

2024-09-20

Abstract:For Hamiltonian circle actions on compact, connected, four-dimensional manifolds, we give a generators and relations description for the even part of the equivariant cohomology, as an algebra over the equivariant cohomology of a point. This description depends on combinatorial data encoded in the decorated graph of the manifold. We then give an explicit combinatorial description of all weak algebra isomorphisms. We use this description to prove that the even parts of the equivariant cohomology algebras are weakly isomorphic and the odd groups have the same ranks if and only if the labeled graphs obtained from the decorated graphs by forgetting the height and area labels are isomorphic. As a consequence, we give an example of an isomorphism of equivariant cohomology algebras that cannot be induced by an equivariant diffeomorphism of manifolds preserving a compatible almost complex structure. We also provide a soft proof that there are finitely many maximal Hamiltonian circle actions on a fixed compact, connected, four-dimensional symplectic manifold.

Symplectic Geometry
Classical Invariants for Global Actions and Groupoid Atlases

Matías L. del Hoyo,Elias Gabriel Minian

DOI: https://doi.org/10.1007/s10485-007-9113-4

2007-11-29

Applied Categorical Structures

Abstract:A global action is the algebraic analogue of a topological manifold. This construction was introduced in first place by A. Bak as a combinatorial approach to K-Theory and the concept was later generalized by Bak, Brown, Minian and Porter to the notion of groupoid atlas. In this paper we define and investigate homotopy invariants of global actions and groupoid atlases, such as the strong fundamental groupoid, the weak and strong nerves, classifying spaces and homology groups. We relate all these new invariants to classical constructions in topological spaces, simplicial complexes and simplicial sets. This way we obtain new combinatorial formulations of classical and non classical results in terms of groupoid atlases.

mathematics
Equivariantly formal 2-torus actions of complexity one

Vladimir Gorchakov

2023-04-03

Abstract:In this paper we study a specific class of actions of a $2$-torus $\mathbb{Z}_2^k$ on manifolds, namely, the actions of complexity one in general position. We describe the orbit space of equivariantly formal $2$-torus actions of complexity one in general position and restricted complexity one actions in the case of small covers. It is observed that the orbit spaces of such actions are topological manifolds. If the action is equivariantly formal, we prove that the orbit space is a $\mathbb{Z}_2$-homology sphere. We study a particular subclass of these $2$-torus actions: restrictions of small covers to a subgroup of index 2 in general position. The subgroup of this form exists if and only if the small cover is orientable, and in this case we prove that the orbit space of a restricted $2$-torus action is homeomorphic to a sphere.

Algebraic Topology
Intersection norms on surfaces and Birkhoff cross sections

Pierre Dehornoy,Marcos Cossarini

2024-12-10

Abstract:For every finite collection of curves on a surface, we define an associated (semi-)norm on the first homology group of the surface. The unit ball of the dual norm is the convex hull of its integer points. We give an interpretation of these points in terms of certain coorientations of the original collection of curves. Our main result is a classification statement: when the surface has constant curvature and the curves are geodesics, integer points in the interior of the dual unit ball classify isotopy classes of Birkhoff cross sections for the geodesic flow (on the unit tangent bundle to the surface) whose boundary is the symmetric lift of the collection of geodesics. Birkhoff cross sections in particular yield open-book decompositions of the unit tangent bundle.

Geometric Topology,Dynamical Systems
Actions on positively curved manifolds and boundary in the orbit space

Claudio Gorodski,Andreas Kollross,Burkhard Wilking

DOI: https://doi.org/10.1016/j.aim.2024.109557

2023-12-05

Abstract:We study isometric actions of compact Lie groups on complete orientable positively curved $n$-manifolds whose orbit spaces have non-empty boundary in the sense of Alexandrov geometry. In particular, we classify quotients of the unit sphere by actions of compact simple Lie groups with non-empty boundary. We deduce from this the list of representations of compact simple Lie groups that admit non-trivial reductions. As a tool of special interest, we introduce a new geometric invariant of a compact symmetric space, namely, the minimal number of points in a "spanning set" of the space.

Differential Geometry,Representation Theory

Intersection cohomology of circle actions

Some Remarks on Circle Action on Manifolds

Circle Action and Some Vanishing Results on Manifolds

Hopf Cyclic Cohomology and Hodge Theory for Proper Actions

Quantum cohomology and $S^1$-actions with isolated fixed points

Circle action, lower bound of fixed points and characteristic numbers

The equivariant cohomology for semidirect product actions

Circle actions and Z/k-manifolds

$Z^{d}$-odometers and cohomology

Circle actions on oriented 4-manifolds

A crossed homomorphism for groups acting on the circle

Swan-Tate cohomology of meromorphic circle actions

Symplectic torus actions on complete intersections

Free circle actions on certain simply connected $7-$manifolds

Circle actions on four dimensional almost complex manifolds with discrete fixed point sets

The Gysin braid for $S^3$-actions on manifolds

Equivariant cohomology of a complexity-one four-manifold is determined by combinatorial data

Classical Invariants for Global Actions and Groupoid Atlases

Equivariantly formal 2-torus actions of complexity one

Intersection norms on surfaces and Birkhoff cross sections

Actions on positively curved manifolds and boundary in the orbit space