Search arXiv⌕ Search

arXiv · 2503.15854

Persistent Stiefel-Whitney Classes of Tangent Bundles

Abstract

Stiefel-Whitney classes are topological invariants of vector bundles, and those of the tangent bundle capture essential features of a manifold, such as whether it is orientable and how it can be embedded in Euclidean space. We present an algorithm that computes these classes for the tangent bundle directly from a finite sample of points. Starting from the point cloud, we build a filtration of simplicial complexes and compute its persistent cohomology, and then apply the Wu formula, which recovers the Stiefel-Whitney classes from the cup product and the Steenrod squares alone, without estimating tangent spaces or a smooth structure. The key step, finding the Wu classes, reduces to solving a system of linear equations, so the computation runs in polynomial time in the number of simplices. We prove that whenever the sample recovers the shape of a closed manifold, the computed classes agree with the true Stiefel-Whitney classes of its tangent bundle, and that this remains true even when the data carry spurious topological features on which the Steenrod squares vanish, so the classes can be identified over a wide range of scales rather than only where the sample matches the manifold exactly. We illustrate the method on triangulated four-dimensional manifolds and on point clouds coming from image patches and from a molecular conformation space.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Dongwoo Gang. 2026-07-11. Persistent Stiefel-Whitney Classes of Tangent Bundles. https://arxiv.org/abs/2503.15854

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

KEEP EXPLORING

Related papers

Galois Connections in Persistent Homology

We present a new language for persistent homology in terms of Galois connections. This language has two main advantages over traditional approaches. First, it simplifies and unifies central concepts such as interleavings and matchings. Second, it provides access to Rota's Galois connection theorem -- a powerful tool with many potential applications in applied topology. To illustrate this, we use Rota's Galois connection theorem to give a substantially easier proof of the bottleneck stability theorem. Finally, we use this language to establish relationships between various notions of multiparameter persistence diagrams.

math.AT↗

The Dold-Kan theorem for paracyclic modules

We study the Karoubi operator on the unnormalized chain complex of a paracyclic module; its restriction to the normalized chain complex has previously been considered by Dwyer and Kan, and in the cyclic case by Cuntz and Quillen. We obtain a direct proof of the Dold-Kan theorem for paracyclic modules of Dwyer and Kan, by directly relating the Karoubi operator to projection to the normalized subcomplex.

math.AT↗

The relative join operad and polyhedral products

An inclusion of nonvoid simplicial complexes induces an arrow of polyhedral products. Applying Ayzenberg's polyhedral join to both complexes gives a symmetric relative join operad. Its endpoint suboperads recover Abramyan--Panov substitution and Ayzenberg composition. Neither endpoint operad nor either relative join operad is finitely generated. The suboperad with nonvoid lower complex arises as the nonempty power-set quotient of the subset-inclusion operad. When tensoring preserves colimits of nonempty finite diagrams, the suboperad acts on arrows by polyhedral colimits up to coherent natural isomorphism. The action induces a set-operad algebra on isomorphism classes of arrows. The dual construction produces Stanley--Reisner quotient arrows, and the colimit action refines Eldridge's loop-space decomposition to arrows. PL ball--boundary pairs form a suboperad of the relative join operad, and minimal interior faces give an operad morphism. Principal pairs have odd-dimensional spherical moment-angle homotopy fibers and yield a closure result for Eldridge's loop-space class.

math.AT↗