Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.02111

Cohomology of regular spherical actions

José Ignacio Royo Prieto·Martintxo Saralegi-Aranguren·Robert Wolak
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study regular spherical actions, namely, actions of a connected compact Lie group G on a manifold M with equidimensional orbits, some of which are spheres. These spherical orbits are diffeomorphic to homogeneous spaces G/H, and there is a list of nine possible families of pairs (G, H). The normalizer N of H in G plays an important role in our calculations, as does the Weyl group W = N/H. In fact, there are three possibilities for W, namely: Z_2, S^1 and S^3. The goal of this paper is to relate the cohomology of M to that of the orbit space M/G. We obtain a particularly simple relationship in the first case, W = Z_2. For the remaining two cases, W = S^1 and W = S^3, it is already known that the cohomology of M and that of the orbit space M/G are related by the Gysin sequence ... \to H^k(M/G) \to H^k(M ) \to H^{k-d}(M/G) \to H^{k+1}(M/G) \to ... In this work, we provide a direct construction of this sequence, avoiding the use of spectral sequences. Moreover, we give an explicit description of the connecting homomorphism as multiplication by a power of the Euler class associated with the action of the Weyl group W = S^l on the fixed-point set M^H.

Explore related subjects

math.AT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

José Ignacio Royo Prieto, Martintxo Saralegi-Aranguren, Robert Wolak. 2026-11-01. Cohomology of regular spherical actions. https://arxiv.org/abs/2611.02111

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

KEEP EXPLORING

Related papers

arXiv2026

Adams filtrations and secondary coherence for fibers of Steenrod operations

Motivated by the Bruner--Rognes two-extension theorem and open questions regarding the secondary cohomology modeling of fibers of Steenrod operations, we develop a general framework to compute their Adams filtrations and delineate the underlying algebraic obstructions. Let $f:Y\to\prodΣ^{d_λ}H\mathbb F_2$ be a locally finite family of positive-degree stable operations, where $Y=H\mathbb F_2$ or $H\mathbb Z$. We determine the Adams filtration of its fiber from the minimal generators of $\operatorname{im}(f^*)$ as a left Steenrod module. An explicit target automorphism separates a minimal subfamily, and combining this with the two-extension theorem and an acyclic cancellation gives $E_3=E_\infty$. A terminating Adem recursion realizes this splitting for the full positive even-square family. Separately, we identify two fundamental algebraic obstructions to directly constructing the secondary cohomology of these fibers: an augmentation discrepancy when the primary row has a nonzero kernel, and a coherence obstruction class in the third cohomology of a Hom complex. These results demonstrate why the secondary Ext groups of these fibers must be derived topologically via the Baues--Jibladze comparison theorem, rather than through a direct algebraic resolution.

math.AT↗
arXiv2026

Discrete homotopy groups of cubical sets

We extend the notion of discrete homotopy groups of graphs to arbitrary cubical sets, and show that the discrete homotopy groups of quasisymmetric cubical sets are naturally isomorphic to the homotopy groups of their geometric realizations. Here, quasisymmetric cubical sets are cubical sets equipped with coordinate permutation symmetries that are compatible with faces and degeneracies, but not necessarily with connections. We give a purely combinatorial construction of the left adjoint of the forgetful functor from the category of quasisymmetric cubical sets to the category of cubical sets, and prove that the unit of this adjunction is a natural weak equivalence. As a consequence, we obtain a purely combinatorial description of the homotopy groups of the geometric realizations of arbitrary cubical sets. As an application, we establish the discrete Hurewicz map from the discrete homotopy groups of a cubical set to the homology groups, and prove a Hurewicz theorem with respect to the discrete Hurewicz map whenever the cubical set is quasisymmetric. Applied to the 1-nerve of a directed graph, it also yields a Hurewicz theorem relating the homotopy groups of Li, Wu, Yau, and Zhang to singular cubical homology.

math.AT↗
arXiv2026

Monoidal and symmetrized parametrized topological complexity

We introduce and study monoidal and symmetrized versions of parametrized topological complexity. First, we develop parametrized analogues of the monoidal topological complexity theories of Iwase--Sakai, Aguilar-Guzmán--González (based on the Fadell--Husseini approach), and Dranishnikov. We investigate the parametrized Iwase--Sakai conjecture and provide sufficient conditions under which it holds. We then introduce symmetrized parametrized topological complexity and combine it with the monoidal perspective to define monoidal symmetrized parametrized topological complexity, showing that the resulting notions agree. Finally, we compute these invariants for Fadell--Neuwirth fibrations.

math.AT↗