代数拓扑

We define the compact universal cover of a compact, metrizable connected space (i.e. a continuum) X to be the inverse limit of all continua that regularly cover X. We show that such covers do indeed form an inverse system with bonding maps…

Amenable category is a variant of the Lusternik-Schnirelman category, based on covers by amenable open subsets. We study the monotonicity problem for degree-one maps and amenable category and the relation between amenable category and…

We prove that, for nice classes of infinite-dimensional smooth groups G, natural constructions in smooth topology and symplectic topology yield homotopically coherent group actions of G. This yields a bridge between infinite-dimensional…

We define a map of simplicial presheaves, the Chern character, that assigns to every sequence of composable non connection preserving isomorphisms of vector bundles with holomorphic connections an appropriate sequence of holomorphic forms.…

We develop a curved Koszul duality theory for algebras presented by quadratic-linear-constant relations over unital versions of binary quadratic operads. As an application, we study Poisson $n$-algebras given by polynomial functions on a…

The homological information about a filtered simplicial complex over the poset of positive real numbers is often presented by a barcode which depicts the evolution of the associated Betti numbers. However, there is a wonderfully complex…

We show that the conditions in Steimle's 'additivity theorem for cobordism categories' can be weakened to only require \emph{locally} (co)Cartesian fibrations, making it applicable to a larger class of functors. As an application we compute…

We prove that completion at a set of primes preserves homotopy fibre squares of connected nilpotent spaces. As a consequence, we deduce the Hasse fracture square associated to a connected nilpotent space. Along the way, we give a quick…

The Extended Persistent Homology Transform (XPHT) is a topological transform which takes as input a shape embedded in Euclidean space, and to each unit vector assigns the extended persistence module of the height function over that shape…

Multiparameter persistent homology has been largely neglected as an input to machine learning algorithms. We consider the use of lattice-based convolutional neural network layers as a tool for the analysis of features arising from…

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…

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…

Diagrammatic notation has become a ubiquitous computational tool; early examples include Penrose's graphical notation for tensor calculus, Feynman's diagrams for perturbative quantum field theory, and Cvitanovic's birdtracks for Lie…

We present a comparative study of certain invariants defined for group actions and their analogues defined for orbifolds. In particular, we prove that Fadell's equivariant category for $G$-spaces coincides with the Lusternik-Schnirelmann…

We construct a lift of the $p$-complete sphere to the universal height $1$ higher semiadditive stable $\infty$-category tsade-$1$ of Carmeli--Schlank--Yanovski, providing a counterexample, at height $1$, to their conjecture that the natural…

We construct an explicit equivariant cellular decomposition of the $(4n-1)$-sphere with respect to binary polyhedral groups, and describe the associated cellular homology chain complex. As a corollary of the binary octahedral case, we…

This paper introduces path triangulation of points in a bounded, simply connected surface region, replacing ordinary triangles in a Delaunay triangulation with path triangles from homotopy theory. A {\bf path triangle} has a border that is…

This paper introduces a new category, Edgl, of enriched differential graded Lie algebras (edgl), directly related to the topology of all connected CW complexes and simplicial sets. It is equipped with a homotopy theory analogous to that…

In the spirit of Morse homology initiated by Witten and Floer, we construct two $\infty$-categories $\mathcal{A}$ and $\mathcal{B}$. The weak one $\mathcal{A}$ comes out of the Morse-Samle pairs and their higher homotopies, and the strict…

This paper proposes a data analysis method using persistent homology and nonnegative matrix factorization. A concatenated persistence image technique is used to extract coexisting structures from the persistence diagrams of different…