Simplification techniques for maps in simplicial topology

DOI10.1016/J.JSC.2004.04.008MaRDI QIDQ2456597zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Pedro Real, Rocío González-Díaz

Publication date 19 October 2007

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1105.5502, https://idus.us.es/xmlui/handle/11441/30797

zbMATH Keywords

computationEilenberg-ZilberSimplicial topologySteenrod operation

Mathematics Subject Classification ID

Steenrod algebra (55S10) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: This paper offers an algorithmic solution to the problem of obtaining "economical" formulae for some maps in Simplicial Topology, having, in principle, a high computational cost in their evaluation. In particular, maps of this kind are used for defining cohomology operations at the cochain level. As an example, we obtain explicit combinatorial descriptions of Steenrod k-th powers exclusively in terms of face operators.

Review text

In simplicial topology many important constructions, such as Steenrod operations, can be expressed as composites of three fundamental operators, AW, EML and SHI, which feature in the Eilenberg-Zilber theorem. Computationally the benefit of this description is limited by the fact that the number of terms in EML and SHI grow exponentially. In the composites of interest, many of these summands cancel, and the present paper contains an algorithmic approach to finding more economical formulas.

Recommendations

• scientific article; zbMATH DE number 1160609
• scientific article; zbMATH DE number 2125585
• Computation of cohomology operations on finite simplicial complexes
• A combinatorial method for computing Steenrod squares
• A new method for computing cocycles in polyhedra

Cites work

• A combinatorial method for computing Steenrod squares
• Cochain operations and subspace arrangements
• Computation of cohomology operations on finite simplicial complexes
• Homological perturbation theory and associativity
• Homology
• scientific article; zbMATH DE number 3876214 (Why is no real title available?)
• scientific article; zbMATH DE number 3824707 (Why is no real title available?)
• scientific article; zbMATH DE number 4102053 (Why is no real title available?)
• scientific article; zbMATH DE number 1160609 (Why is no real title available?)
• scientific article; zbMATH DE number 1750087 (Why is no real title available?)
• scientific article; zbMATH DE number 3264757 (Why is no real title available?)
• On Evaluation of Higher Order Cohomology Operations.
• On Products of Complexes
• On Secondary Cohomology Operations.
• On the groups \(H(\Pi,n)\). II
• Products of cocycles and extensions of mappings
• Reduced powers of cohomology classes
• The Iteration of the Steenrod Squares in Algebraic Topology

Cited in

(10)

• A combinatorial method for computing Steenrod squares
• Computation of cohomology operations on finite simplicial complexes
• Solving equations and optimization problems with uncertainty
• Computing all maps into a sphere
• Multivariate topology simplification
• scientific article; zbMATH DE number 1160609 (Why is no real title available?)
• Bounding Helly numbers via Betti numbers
• CARTESIAN PRODUCT OF SIMPLICIAL AND CELLULAR STRUCTURES
• An alternative approach to homotopy operations
• Computing all maps into a sphere

This page was built for publication: Simplification techniques for maps in simplicial topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456597)