代数拓扑

To any well-behaved homology theory we associate a derived $\infty$-category which encodes its Adams spectral sequence. As applications, we prove a conjecture of Franke on algebraicity of certain homotopy categories and establish…

The output of persistent homology is an algebraic object called a persistence module. This object admits a decomposition into a direct sum of interval persistence modules described entirely by the barcode invariant. In this paper we…

We define inductively unstable n-fold Toda brackets for every n>2 in the category of spaces with base points, and then define stable ones.

These are notes from talks given at a spring school on topological quantum field theory in Nova Scotia during May of 2023. The aim is to introduce the reader to the role of factorization algebras and related concepts in field theory. In…

We prove a Cohen-Dimca-Orlik type theorem for rank one $\mathbb{Z}$-local systems on complex hyperplane arrangement complements. This settles a recent conjecture of S. Sugawara.

We define the discrete degree of symmetry $disc-sym(X)$ of a closed $n$-manifold $X$ as the biggest $m\geq 0$ such that $X$ supports an effective action of $({\mathbf Z}/r)^m$ for arbitrarily big values of $r$. We prove that if $X$ is…

The paper is devoted to homology groups of cubical sets with coefficients in contravariant systems of Abelian groups. The study is based on the proof of the assertion that the homology groups of the category of cubes with coefficients in…

The Quillen-McCord theorem (aka Quillen fiber lemma) gives a sufficient condition on a map between classifying spaces of posetal categories to be a homotopy equivalence. Jonathan Ariel Barmak in his paper [arXiv:1005.0538] gives an…

This paper brings together three distinct theories with the goal of quantifying shape textures with complex morphologies. Distance fields are central objects in shape representation, while topological data analysis uses algebraic topology…

We calculate mod-p cohomology of extended powers, and their group completions which are free infinite loop spaces. We consider the cohomology of all extended powers of a space together and identify a Hopf ring structure with divided powers…

Secondary homological stability is a recently discovered stability pattern for the homology of a sequence of spaces exhibiting homological stability in a range where homological stability does not hold. We prove secondary homological…

Consider a connected topological space $X$ with a point $x \in X$ and let $K$ be a field with the discrete topology. We study the Tannakian category of finite dimensional (flat) vector bundles on $X$ and its Tannakian dual $\pi_K (X,x)$…

A theorem of Pridham and Lurie provides an equivalence between formal moduli problems and Lie algebras in characteristic zero. We prove a generalization of this correspondence, relating formal moduli problems parametrized by algebras over a…

In this paper we introduce a novel family of attributed graphs for the purpose of shape discrimination. Our graphs typically arise from variations on the Mapper graph construction, which is an approximation of the Reeb graph for point cloud…

A ReLU neural network leads to a finite polyhedral decomposition of input space and a corresponding finite dual graph. We show that while this dual graph is a coarse quantization of input space, it is sufficiently robust that it can be…

For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for…

We prove that for a self-injective ribbon Grothendieck-Verdier category $\mathcal{C}$ in the sense of Boyarchenko-Drinfeld the cyclic action on the Hochschild complex of $\mathcal{C}$ extends to an action of the diffeomorphism group of the…

The theory of principal bundles makes sense in any infinity-topos, such as that of topological, of smooth, or of otherwise geometric infinity-groupoids/infinity-stacks, and more generally in slices of these. It provides a natural geometric…

Computing homotopy groups of spheres has long been a fundamental objective in algebraic topology. Various theoretical and algorithmic approaches have been developed to tackle this problem. In this paper we take a step towards the goal of…

We give a complete description of the potential failure of the surjectivity of the Thom morphism from complex cobordism to integral cohomology for compact Lie groups via a detailed study of the Atiyah-Hirzebruch spectral sequence and the…