Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0303140

Intersection Cohomology of S1-Actions on Pseudomanifolds

G. Padilla
View original source ↗Read source document ↗Export metadata ↓

Abstract

For any smooth free action of the unit circle S1 on a smooth manifold M, the Gysin sequence of M is a long exact sequence relating the DeRham Cohomology of M and the orbit space M/S1. If the action is not free then M/S1 is not a smooth manifold but a stratified pseudomanifold, the lenght of M/S1 depending on the number of orbit types; and there is a Gysin sequence relating their intersection cohomologies. The links of the fixed strata in M/S1 are cohomological complex projective spaces, so the conecting homomorphism of this sequences is the multiplication by the Euler class. In this article we extend the above results for any action of S1 on a stratified pseudomanifold X of lenght 1. We use the DeRham-like intersection cohomology defined by means of an unfolding. If the action preserves the local structure, then the orbit space X/S1 is again a stratified pseudomanifold of lenght 1 and has an unfolding. There is a long exact sequence relating the intersection cohomology of X and X/S1 with a third complex $\mathcal{G}$, the Gysin Term, whose cohomology depends on basic cohomological data of two flavours: global and local. Global data concerns the Euler class induced by the action; local information depends on the cohomology of the fixed strata with values on some presheaves.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

G. Padilla. 2005-10-28. Intersection Cohomology of S1-Actions on Pseudomanifolds. https://arxiv.org/abs/math/0303140

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Higher path groupoids and the holonomy of formal power series connections

Building on ideas of Kohno, we develop a framework for the construction of higher holonomy functors via the transport of formal power series connections. Using these techniques, we obtain functors from the path groupoid, the path 2-groupoid, and the path 3-groupoid of a manifold. We show that the resulting higher holonomy functors can detect non-trivial classes in higher homotopy groups. As an application, we construct a Gray functor from the path 3-groupoid of the configuration space of $m$ points in $\mathbb{R}^n$ for $n\geqslant 4$ and compute its restriction to 3-tracks with constant boundary when $n=4$.

math.AT↗
arXiv2026

Multicomplexes in Action: Strong Formality of Compact Hyperkähler Manifolds

We show that all compact hyperkähler manifolds are bigraded strongly formal in the sense of Milivojević and Stelzig, proving that in the context of pluripotential homotopy theory they play the same role as compact Kähler manifolds in rational homotopy theory. Indeed, the main result arises from general algebraic considerations on categories of objects with more differentials, that of $n$-complexes and commutative $n$-differential graded algebras. For them we discuss a standard model category structure, introduce a generalization of the $\partial\bar{\partial}$-Lemma and establish an algebraic formality theorem.

math.AT↗
arXiv2026

On bordism classes of symmetric products of surfaces

We explicitly determine the complex bordism class of the $n$-th symmetric product of a complex curve of genus $g$. In particular, we provide an explicit formula expressing this class as an integral linear combination of bordism classes of products of complex projective spaces. Similarly, we determine the unoriented bordism class of the $n$-th symmetric product of a non-orientable surface of genus $g$ (i.e., $\#_{i=1}^{g+1}\mathbb R P^2$). It turns out that these classes are also expressed as a $\mathbb Z_2$-linear combination of bordism classes of products of even-dimensional real projective spaces. We also give an affirmative answer to a non-orientable version of the Blagojević--Grujić--Živaljević conjecture stating that the topological type of any symmetric product of a noncompact surface of finite type determines the topological type of the surface itself.

math.AT↗