Showing 1–24 of 24 results for author: Medina-Mardones, A

Persistent cohomology operations and Gromov-Hausdorff estimates

Authors: Anibal M. Medina-Mardones, Ling Zhou

Abstract: We establish the foundations of the theory of persistent cohomology operations, derive decomposition formulas for wedge sums and products, and prove their Gromov-Hausdorff stability. We use these results to construct pairs of Riemannian pseudomanifolds for which the Gromov-Hausdorff estimates derived from persistent cohomology operations are strictly sharper than those obtained using persistent ho… ▽ More We establish the foundations of the theory of persistent cohomology operations, derive decomposition formulas for wedge sums and products, and prove their Gromov-Hausdorff stability. We use these results to construct pairs of Riemannian pseudomanifolds for which the Gromov-Hausdorff estimates derived from persistent cohomology operations are strictly sharper than those obtained using persistent homology. △ Less

Submitted 25 March, 2025; v1 submitted 21 March, 2025; originally announced March 2025.

Comments: 32 pages, 3 figures

Report number: MPIM-Bonn-2024 MSC Class: 55N31; 55S05; 53C23

What makes math problems hard for reinforcement learning: a case study

Authors: Ali Shehper, Anibal M. Medina-Mardones, Lucas Fagan, Bartłomiej Lewandowski, Angus Gruen, Yang Qiu, Piotr Kucharski, Zhenghan Wang, Sergei Gukov

Abstract: Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As… ▽ More Using a long-standing conjecture from combinatorial group theory, we explore, from multiple perspectives, the challenges of finding rare instances carrying disproportionately high rewards. Based on lessons learned in the context defined by the Andrews-Curtis conjecture, we propose algorithmic enhancements and a topological hardness measure with implications for a broad class of search problems. As part of our study, we also address several open mathematical questions. Notably, we demonstrate the length reducibility of all but two presentations in the Akbulut-Kirby series (1981), and resolve various potential counterexamples in the Miller-Schupp series (1991), including three infinite subfamilies. △ Less

Submitted 11 February, 2025; v1 submitted 27 August, 2024; originally announced August 2024.

Comments: 58 pages, 25 figures, 1 table. Try it: https://github.com/shehper/AC-Solver

Report number: MPIM-Bonn-2024

Connected power operations and simplicial Poincaré duality

Authors: Federico Cantero-Morán, Aníbal Medina-Mardones

Abstract: We introduce a structure termed ``connected cyclic diagonal'' on a chain complex, which induces stable power operations in its cohomology with the property that negative power operations consistently vanish. This chain level structure is useful to represent power operations for spectra, whose cohomology lacks a cup product. Using a Poincaré duality algebra structure on the integral chains of the s… ▽ More We introduce a structure termed ``connected cyclic diagonal'' on a chain complex, which induces stable power operations in its cohomology with the property that negative power operations consistently vanish. This chain level structure is useful to represent power operations for spectra, whose cohomology lacks a cup product. Using a Poincaré duality algebra structure on the integral chains of the standard augmented simplex, we provide an effective method for the construction of cyclic diagonals on a broad class of augmented simplicial objects. △ Less

Submitted 1 February, 2024; originally announced February 2024.

Comments: 47 pages

MSC Class: 55N31; 55P42; 55R37; 55S05; 55U30

An effective proof of the Cartan formula: Odd primes

Authors: Federico Cantero-Morán, Anibal Medina-Mardones

Abstract: The Cartan formula relates the cup product and the action of the Steenrod algebra on mod~$p$ cohomology. For any pair of mod $p$ cocycles in a simplicial set, where $p$ is an odd prime, we effectively construct a natural coboundary descending to this formula in cohomology. The Cartan formula relates the cup product and the action of the Steenrod algebra on mod~$p$ cohomology. For any pair of mod $p$ cocycles in a simplicial set, where $p$ is an odd prime, we effectively construct a natural coboundary descending to this formula in cohomology. △ Less

Submitted 15 May, 2023; originally announced May 2023.

MSC Class: 55S10; 55S05; 55S12

Foundations of geometric cohomology: from co-orientations to product structures

Authors: Greg Friedman, Anibal M. Medina-Mardones, Dev Sinha

Abstract: This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product of such smooth maps, which provides our geometric cochains with a partially defined product structure inducing the cup product in cohomology. A parallel treatm… ▽ More This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product of such smooth maps, which provides our geometric cochains with a partially defined product structure inducing the cup product in cohomology. A parallel treatment of homology is also given allowing for a geometric unification of the contravariant and covariant theories. △ Less

Submitted 14 March, 2024; v1 submitted 14 December, 2022; originally announced December 2022.

Comments: Preprint, 134 pages, 5 figures. Comments and questions are welcome

Report number: MPIM-Bonn-2022

Ranicki-Weiss assembly and the Steenrod construction

Authors: Anibal M. Medina-Mardones

Abstract: We show that the Ranicki-Weiss assembly functor, going from chain complex valued presheaves on a simplicial complex to comodules over its Alexander-Whitney coalgebra, factors fully faithfully through the category of comodules over its Steenrod cup-$i$ coalgebra. We show that the Ranicki-Weiss assembly functor, going from chain complex valued presheaves on a simplicial complex to comodules over its Alexander-Whitney coalgebra, factors fully faithfully through the category of comodules over its Steenrod cup-$i$ coalgebra. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: 10 pages

Report number: MPIM-Bonn-2022 MSC Class: 55U10; 55U15; 18F20; 57R67

The diagonal of cellular spaces and effective algebro-homotopical constructions

Authors: Anibal M. Medina-Mardones

Abstract: In this survey article we discuss certain homotopy coherent enhancements of the coalgebra structure on cellular chains defined by an approximation to the diagonal. Over the rational numbers, $C_\infty$-coalgebra structures control the $\mathbb Q$-complete homotopy theory of spaces, and over the integers, $E_\infty$-coalgebras provide an appropriate setting to model the full homotopy category. Effe… ▽ More In this survey article we discuss certain homotopy coherent enhancements of the coalgebra structure on cellular chains defined by an approximation to the diagonal. Over the rational numbers, $C_\infty$-coalgebra structures control the $\mathbb Q$-complete homotopy theory of spaces, and over the integers, $E_\infty$-coalgebras provide an appropriate setting to model the full homotopy category. Effective constructions of these structures, the focus of this work, carry geometric and combinatorial information which has found applications in various fields including deformation theory, higher category theory, and condensed matter physics. △ Less

Submitted 31 March, 2022; v1 submitted 11 November, 2021; originally announced November 2021.

Comments: After reviewers' comments

Report number: MPIM-Bonn-2021 MSC Class: 55U15; 18N40; 18M70; 18M85; 55G30; 55G05

Adams' cobar construction as a monoidal $E_{\infty}$-coalgebra model of the based loop space

Authors: Anibal M. Medina-Mardones, Manuel Rivera

Abstract: We prove that the classical map comparing Adams' cobar construction on the singular chains of a pointed space and the singular cubical chains on its based loop space is a quasi-isomorphism preserving explicitly defined monoidal $E_\infty$-coalgebra structures. This contribution extends to its ultimate conclusion a result of Baues, stating that Adams' map preserves monoidal coalgebra structures. We prove that the classical map comparing Adams' cobar construction on the singular chains of a pointed space and the singular cubical chains on its based loop space is a quasi-isomorphism preserving explicitly defined monoidal $E_\infty$-coalgebra structures. This contribution extends to its ultimate conclusion a result of Baues, stating that Adams' map preserves monoidal coalgebra structures. △ Less

Submitted 16 May, 2024; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: Final version

Report number: MPIM-Bonn-2022 MSC Class: 57T30; 55P35; 18N70; 55U10; 55N45; 55S05

Persistent homology for functionals

Authors: Ulrich Bauer, Anibal M. Medina-Mardones, Maximilian Schmahl

Abstract: We introduce topological conditions on a broad class of functionals that ensure that the persistent homology modules of their associated sublevel set filtration admit persistence diagrams, which, in particular, implies that they satisfy generalized Morse inequalities. We illustrate the applicability of these results by recasting the original proof of the Unstable Minimal Surface Theorem given by M… ▽ More We introduce topological conditions on a broad class of functionals that ensure that the persistent homology modules of their associated sublevel set filtration admit persistence diagrams, which, in particular, implies that they satisfy generalized Morse inequalities. We illustrate the applicability of these results by recasting the original proof of the Unstable Minimal Surface Theorem given by Morse and Tompkins in a modern and rigorous framework. △ Less

Submitted 24 May, 2022; v1 submitted 29 July, 2021; originally announced July 2021.

Comments: 29 pages, 1 figure

MSC Class: 55N31; 58E05; 58E12; 54D05; 55N05

A combinatorial ${E_\infty}$-algebra structure on cubical cochains and the Cartan-Serre map

Authors: Ralph M. Kaufmann, Anibal M. Medina-Mardones

Abstract: Cubical cochains are equipped with an associative product, dual to the Serre diagonal, lifting the graded commutative structure in cohomology. In this work we introduce through explicit combinatorial methods an extension of this product to a full ${E_\infty}$-structure. As an application we prove that the Cartan-Serre map, which relates the cubical and simplicial singular cochains of spaces, is a… ▽ More Cubical cochains are equipped with an associative product, dual to the Serre diagonal, lifting the graded commutative structure in cohomology. In this work we introduce through explicit combinatorial methods an extension of this product to a full ${E_\infty}$-structure. As an application we prove that the Cartan-Serre map, which relates the cubical and simplicial singular cochains of spaces, is a quasi-isomorphism of ${E_\infty}$-algebras. △ Less

Submitted 30 August, 2022; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: After referee suggestions

Report number: MPIM-Bonn-2021 MSC Class: 55N45; 18M70; 18M85

Flowing from intersection product to cup product

Authors: Greg Friedman, Anibal M. Medina-Mardones, Dev Sinha

Abstract: We use a vector field flow defined through a cubulation of a closed manifold to reconcile the partially defined commutative product on geometric cochains with the standard cup product on cubical cochains, which is fully defined and commutative only up to coherent homotopies. The interplay between intersection and cup product dates back to the beginnings of homology theory, but, to our knowledge, t… ▽ More We use a vector field flow defined through a cubulation of a closed manifold to reconcile the partially defined commutative product on geometric cochains with the standard cup product on cubical cochains, which is fully defined and commutative only up to coherent homotopies. The interplay between intersection and cup product dates back to the beginnings of homology theory, but, to our knowledge, this result is the first to give an explicit cochain level comparison between these approaches. △ Less

Submitted 10 June, 2021; originally announced June 2021.

Comments: 26 pages, 7 figures

Report number: MPIM-Bonn-2021 MSC Class: 55N45; 57R19; 57R25

New formulas for cup-$i$ products and fast computation of Steenrod squares

Authors: Anibal M. Medina-Mardones

Abstract: Operations on the cohomology of spaces are important tools enhancing the descriptive power of this computable invariant. For cohomology with mod 2 coefficients, Steenrod squares are the most significant of these operations. Their effective computation relies on formulas defining a cup-$i$ construction, a structure on (co)chains which is important in its own right, having connections to lattice fie… ▽ More Operations on the cohomology of spaces are important tools enhancing the descriptive power of this computable invariant. For cohomology with mod 2 coefficients, Steenrod squares are the most significant of these operations. Their effective computation relies on formulas defining a cup-$i$ construction, a structure on (co)chains which is important in its own right, having connections to lattice field theory, convex geometry and higher category theory among others. In this article we present new formulas defining a cup-$i$ construction, and use them to introduce a fast algorithm for the computation of Steenrod squares on the cohomology of finite simplicial complexes. In forthcoming work we use these formulas to axiomatically characterize the cup-$i$ construction they define, showing additionally that all other formulas in the literature define the same cup-$i$ construction up to isomorphism. △ Less

Submitted 30 August, 2022; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: Published in Comput. Geom

Report number: MPIM-Bonn-2021 MSC Class: Primary 55-04; 18M60; Secondary 55S05; 18M70; 55N31

A computer algebra system for the study of commutativity up-to-coherent homotopies

Authors: Anibal M. Medina-Mardones

Abstract: The Python package ComCH is a lightweight specialized computer algebra system that provides models for well known objects, the surjection and Barratt-Eccles operads, parameterizing the product structure of algebras that are commutative in a derived sense. The primary examples of such algebras treated by ComCH are the cochain complexes of spaces, for which it provides effective constructions of Ste… ▽ More The Python package ComCH is a lightweight specialized computer algebra system that provides models for well known objects, the surjection and Barratt-Eccles operads, parameterizing the product structure of algebras that are commutative in a derived sense. The primary examples of such algebras treated by ComCH are the cochain complexes of spaces, for which it provides effective constructions of Steenrod cohomology operations at all prime. △ Less

Submitted 15 February, 2021; originally announced February 2021.

MSC Class: Primary 55-04; 18M60; Secondary 55S05; 18M70; 55N31

Multisimplicial chains and configuration spaces

Authors: Anibal M. Medina-Mardones, Andrea Pizzi, Paolo Salvatore

Abstract: This paper presents a generalization to multisimplicial sets of previously defined $E_\infty$-coalgebra structures on the chains of simplicial and cubical sets. We focus on the surjection chain complexes of McClure--Smith as a main example and construct a zig-zag of complexity preserving quasi-isomorphisms of $E_\infty$-coalgebras relating these to both the singular chains on configuration spaces… ▽ More This paper presents a generalization to multisimplicial sets of previously defined $E_\infty$-coalgebra structures on the chains of simplicial and cubical sets. We focus on the surjection chain complexes of McClure--Smith as a main example and construct a zig-zag of complexity preserving quasi-isomorphisms of $E_\infty$-coalgebras relating these to both the singular chains on configuration spaces and the Barratt--Eccles chain complexes. △ Less

Submitted 22 March, 2023; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: Major changes after added author

Report number: MPIM-Bonn-2022 MSC Class: 18N50; 55U15; 18N70; 55R80; 18N40; 18G31

Cochain level May-Steenrod operations

Authors: Ralph M. Kaufmann, Anibal M. Medina-Mardones

Abstract: Steenrod defined in 1947 the Steenrod squares on the mod 2 cohomology of spaces using explicit cochain formulae for the cup-$i$ products; a family of coherent homotopies derived from the broken symmetry of Alexander--Whitney's chain approximation to the diagonal. He later defined his homonymous operations for all primes using the homology of symmetric groups. This approach enhanced the conceptual… ▽ More Steenrod defined in 1947 the Steenrod squares on the mod 2 cohomology of spaces using explicit cochain formulae for the cup-$i$ products; a family of coherent homotopies derived from the broken symmetry of Alexander--Whitney's chain approximation to the diagonal. He later defined his homonymous operations for all primes using the homology of symmetric groups. This approach enhanced the conceptual understanding of the operations and allowed for many advances, but lacked the concreteness of their definition at the even prime. In recent years, thanks to the development of new applications of cohomology, the need to have an effectively computable definition of Steenrod operations has become a key issue. Using the operadic viewpoint of May, this article provides such definitions at all primes introducing multioperations that generalize the Steenrod cup-$i$ products on the simplicial and cubical cochains of spaces. △ Less

Submitted 13 October, 2021; v1 submitted 6 October, 2020; originally announced October 2020.

Comments: Published in Forum Mathematicum, 2021

Report number: MPIM-Bonn-2021 MSC Class: 55S05; 55U05; 55S10; 55S12; 55-04; 55U15; 55S15

Hyperharmonic analysis for the study of high-order information-theoretic signals

Authors: Anibal M. Medina-Mardones, Fernando E. Rosas, Sebastián E. Rodríguez, Rodrigo Cofré

Abstract: Network representations often cannot fully account for the structural richness of complex systems spanning multiple levels of organisation. Recently proposed high-order information-theoretic signals are well-suited to capture synergistic phenomena that transcend pairwise interactions; however, the exponential-growth of their cardinality severely hinders their applicability. In this work, we combin… ▽ More Network representations often cannot fully account for the structural richness of complex systems spanning multiple levels of organisation. Recently proposed high-order information-theoretic signals are well-suited to capture synergistic phenomena that transcend pairwise interactions; however, the exponential-growth of their cardinality severely hinders their applicability. In this work, we combine methods from harmonic analysis and combinatorial topology to construct efficient representations of high-order information-theoretic signals. The core of our method is the diagonalisation of a discrete version of the Laplace-de Rham operator, that geometrically encodes structural properties of the system. We capitalise on these ideas by developing a complete workflow for the construction of hyperharmonic representations of high-order signals, which is applicable to a wide range of scenarios. △ Less

Submitted 22 February, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: Version after referee reports

MSC Class: 68P30; 94A17; 57Z20; 57Z25; 62B10; 55U10; 94-05; 94-08; 94A15 ACM Class: H.1.1

A Cochain Level Proof of Adem Relations in the Mod 2 Steenrod Algebra

Authors: Greg Brumfiel, Anibal M. Medina-Mardones, John Morgan

Abstract: In 1947, N.E. Steenrod defined the Steenrod Squares, which are mod 2 cohomology operations, using explicit cochain formulae for cup-i products of cocycles. He later recast the construction in more general homological terms, using group homology and acyclic model methods, rather than explicit cochain formulae, to define mod p operations for all primes p. Steenrod's student J. Adem applied the homol… ▽ More In 1947, N.E. Steenrod defined the Steenrod Squares, which are mod 2 cohomology operations, using explicit cochain formulae for cup-i products of cocycles. He later recast the construction in more general homological terms, using group homology and acyclic model methods, rather than explicit cochain formulae, to define mod p operations for all primes p. Steenrod's student J. Adem applied the homological point of view to prove fundamental relations, known as the Adem relations, in the algebra of cohomology operations generated by the Steenrod operations. In this paper we give a proof of the mod 2 Adem relations at the cochain level. Specifically, given a mod 2 cocycle, we produce explicit cochain formulae whose coboundaries are the Adem relations among compositions of Steenrod Squares applied to the cocycle, using Steenrod's original cochain definition of the Square operations. △ Less

Submitted 24 June, 2021; v1 submitted 16 June, 2020; originally announced June 2020.

Comments: Version after referee report

MSC Class: 55S10; 55S20; 18N70

giotto-tda: A Topological Data Analysis Toolkit for Machine Learning and Data Exploration

Authors: Guillaume Tauzin, Umberto Lupo, Lewis Tunstall, Julian Burella Pérez, Matteo Caorsi, Wojciech Reise, Anibal Medina-Mardones, Alberto Dassatti, Kathryn Hess

Abstract: We introduce giotto-tda, a Python library that integrates high-performance topological data analysis with machine learning via a scikit-learn-compatible API and state-of-the-art C++ implementations. The library's ability to handle various types of data is rooted in a wide range of preprocessing techniques, and its strong focus on data exploration and interpretability is aided by an intuitive plott… ▽ More We introduce giotto-tda, a Python library that integrates high-performance topological data analysis with machine learning via a scikit-learn-compatible API and state-of-the-art C++ implementations. The library's ability to handle various types of data is rooted in a wide range of preprocessing techniques, and its strong focus on data exploration and interpretability is aided by an intuitive plotting API. Source code, binaries, examples, and documentation can be found at https://github.com/giotto-ai/giotto-tda. △ Less

Submitted 5 March, 2021; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 7 pages, 2 figures

MSC Class: 55-04 (Primary); 55N31; 62R40 (Secondary)

Journal ref: NeurIPS 2020 workshop "Topological Data Analysis and beyond" (https://openreview.net/forum?id=fjQtZJOCTXf); JMLR 22 (https://www.jmlr.org/papers/v22/20-325.html)

An effective proof of the Cartan formula: the even prime

Authors: Anibal M. Medina-Mardones

Abstract: The Cartan formula encodes the relationship between the cup product and the action of the Steenrod algebra in $\mathbb F_p$-cohomology. In this work, we present an effective proof of the Cartan formula at the cochain level when the field is $\mathbb F_2$. More explicitly, for an arbitrary pair of cocycles and any non-negative integer, we construct a natural coboundary that descends to the associat… ▽ More The Cartan formula encodes the relationship between the cup product and the action of the Steenrod algebra in $\mathbb F_p$-cohomology. In this work, we present an effective proof of the Cartan formula at the cochain level when the field is $\mathbb F_2$. More explicitly, for an arbitrary pair of cocycles and any non-negative integer, we construct a natural coboundary that descends to the associated instance of the Cartan formula. Our construction works for general algebras over the Barratt-Eccles operad, in particular, for the singular cochains of spaces. △ Less

Submitted 16 October, 2019; v1 submitted 28 July, 2019; originally announced July 2019.

MSC Class: 55S10 (Primary) 55S05; 55S12 (Secondary)

An algebraic representation of globular sets

Authors: A. M. Medina-Mardones

Abstract: We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the extra structure consists of a derived form of cup coproduct. Additionally, we construct a functor from group-like counital cosymmetric \mbox{$R$-coalgebras} to… ▽ More We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the extra structure consists of a derived form of cup coproduct. Additionally, we construct a functor from group-like counital cosymmetric \mbox{$R$-coalgebras} to $ω$-categories and use it to connect two fundamental constructions associated to oriented simplices: Steenrod's cup-$i$ coproducts and Street's orientals. The first defines the square operations in the cohomology of spaces, the second, the nerve of higher-dimensional categories. △ Less

Submitted 13 August, 2019; v1 submitted 3 June, 2019; originally announced June 2019.

Persistence Steenrod modules

Authors: Umberto Lupo, Anibal M. Medina-Mardones, Guillaume Tauzin

Abstract: It has long been envisioned that the strength of the barcode invariant of filtered cellular complexes could be increased using cohomology operations. Leveraging recent advances in the computation of Steenrod squares, we introduce a new family of computable invariants on mod 2 persistent cohomology termed $Sq^k$-barcodes. We present a complete algorithmic pipeline for their computation and illustra… ▽ More It has long been envisioned that the strength of the barcode invariant of filtered cellular complexes could be increased using cohomology operations. Leveraging recent advances in the computation of Steenrod squares, we introduce a new family of computable invariants on mod 2 persistent cohomology termed $Sq^k$-barcodes. We present a complete algorithmic pipeline for their computation and illustrate their real-world applicability using the space of conformations of the cyclo-octane molecule. △ Less

Submitted 2 April, 2022; v1 submitted 12 December, 2018; originally announced December 2018.

Comments: Add Sq^2-bar example

Report number: MPIM-Bonn-2021 MSC Class: 55N31; 55S10; 62R40; 68T09

An axiomatic characterization of Steenrod's cup-$i$ products

Authors: Anibal M. Medina-Mardones

Abstract: We show that any construction of cup-$i$ products on the normalized chains of simplicial sets is isomorphic -- not just homotopic -- to Steenrod's original construction if it is natural, minimal, non-degenerate, irreducible and free. We use this result to prove that all cup-$i$ constructions in the literature represent the same isomorphism class. We show that any construction of cup-$i$ products on the normalized chains of simplicial sets is isomorphic -- not just homotopic -- to Steenrod's original construction if it is natural, minimal, non-degenerate, irreducible and free. We use this result to prove that all cup-$i$ constructions in the literature represent the same isomorphism class. △ Less

Submitted 15 February, 2022; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: Add irreducibility axiom

Report number: MPIM-Bonn-2022 MSC Class: 55U35; 55U10; 55U15; 55S10

A finitely presented ${E}_{\infty}$-prop II: cellular context

Authors: Anibal M. Medina-Mardones

Abstract: We construct, using finitely many generating cell and relations, props in the category of CW-complexes with the property that their associated operads are models for the $E_\infty$-operad. We use one of these to construct a cellular $E_\infty$-bialgebra structure on the interval and derive from it a natural cellular $E_\infty$-coalgebra structure on the geometric realization of a simplicial set wh… ▽ More We construct, using finitely many generating cell and relations, props in the category of CW-complexes with the property that their associated operads are models for the $E_\infty$-operad. We use one of these to construct a cellular $E_\infty$-bialgebra structure on the interval and derive from it a natural cellular $E_\infty$-coalgebra structure on the geometric realization of a simplicial set which, passing to cellular chains, recovers up to signs the Barratt-Eccles and Surjection coalgebra structures introduced by Berger-Fresse and McClure-Smith. We use another prop, a quotient of the first, to relate our constructions to earlier work of Kaufmann and prove a conjecture of his. This is the second of two papers in a series, the first investigates analogue constructions in the category of chain complexes. △ Less

Submitted 18 December, 2020; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: Version after referee revisions

MSC Class: 55U10; 18C10; 18G55

A finitely presented ${E}_{\infty}$-prop I: algebraic context

Authors: Anibal M. Medina-Mardones

Abstract: We introduce a finitely presented prop $\mathcal{S} = \{\mathcal{S}(n,m)\}$ in the category of differential graded modules whose associated operad $U(\mathcal{S})=\{\mathcal{S}(1,m)\}$ is a model for the $E_\infty$-operad. This finite presentation allows us to describe a natural $E_\infty$-coalgebra structure on the chains of any simplicial set in terms of only three maps: the Alexander-Whitney di… ▽ More We introduce a finitely presented prop $\mathcal{S} = \{\mathcal{S}(n,m)\}$ in the category of differential graded modules whose associated operad $U(\mathcal{S})=\{\mathcal{S}(1,m)\}$ is a model for the $E_\infty$-operad. This finite presentation allows us to describe a natural $E_\infty$-coalgebra structure on the chains of any simplicial set in terms of only three maps: the Alexander-Whitney diagonal, the augmentation map, and an algebraic version of the join of simplices. The first appendix connects our construction to the Surjection operad of McClure-Smith and Berger-Fresse. The second establishes a duality between the join and AW maps for augmented and non-augmented simplicial sets. A follow up paper constructs a prop corresponding to $\mathcal{S}$ in the category of $CW$-complexes. △ Less

Submitted 15 September, 2019; v1 submitted 2 August, 2018; originally announced August 2018.