2 papers
cs.LO2026
Formalizing Abstract Simplicial Complexes & Stellar Subdivisions in Lean
Garett Cunningham, Daniel Zach, Stefan Friedl
The theory of simplicial complexes is a cornerstone of topology, offering a sophisticated tool for computing invariants. We present a formalization of abstract simplicial complexes…
math.GT2026
Cobordism-equivalence for codimension-one submanifolds
Stefan Friedl, Tobias Hirsch, Clayton McDonald +2
We show that two hypersurfaces in a manifold are related by a sequence of embedded cobordisms if and only if they represent the same homology class. By applying handle decompositio…