代数拓扑

We consider $(\infty,d)$-categories in the limit $d\to \infty$ via the core or localization functors that forget or invert higher non-invertible arrows, respectively. We compare the two resulting $(\infty,1)$-categories of…

We compute the $RO(C_p \times C_p)$-graded Bredon cohomology of equivariant universal and classifying spaces associated to families of subgroups, with coefficients in the constant Mackey functor $\underline{\mathbb{F}_p}$. An explicit…

We provide a simplified approach to the the stable Hopf invariant. We provide short elementary proofs of the Cartan Formula, the Composition Formula, and the Transfer formula. In addition, when $\pi$ is a discrete group, we show how to…

Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality…

Operadic tangent cohomology generalizes the existing cohomology theories of Chevalley--Eilenberg, Hochschild, and Harrison to address the deformation theory of general types of algebras through gadgets known as deformation complexes. The…

We construct a fractured structure, in the sense of Lurie, on the $\infty$-topos of condensed anima. This fractured structure allows us to better comprehend various properties of condensed anima - we use it to exhibit an explicit collection…

Topological complexity is a numerical homotopy invariant that measures the instability of motion planning in a space. To study the topological complexity of non-simply connected spaces, Costa and Farber introduced a cohomology class whose…

To a marked simplicial set one can associate its path chain complex, and define its homology to be the homology of this complex, inspired by path homology theories for directed graphs, quivers, and marked categories. Given a marked…

In this paper, we introduce discrete approximate circle bundles, a class of objects designed to serve as the data science analog of circle bundles from algebraic topology. We show that, under appropriate conditions, one can meaningfully and…

We show that the $\infty$-category of normed algebras in genuine $G$-spectra, as introduced by Bachmann-Hoyois, is modelled by strictly commutative algebras in $G$-symmetric spectra for any finite group $G$. We moreover provide an analogous…

Operads often arise from geometry. The standard $A_\infty$ operad can be derived from the cellular chains on the Stasheff associahedra, and an $A_\infty$ algebra is an algebra over this operad. The notion of an $\mathbf{fc}$-multicategory,…

While topological data analysis has emerged as a powerful paradigm for structural inference, its foundational tools, notably persistent homology and the persistent Laplacian, are frequently insensitive to localized structural fluctuations…

Each complex hyperplane arrangement $\mathcal{A}$ gives rise to a Milnor fibration of its complement. Building on work of Zuber, we give a combinatorial sufficient condition for the Milnor fiber $F(\mathcal{A})$ to be non-$1$-formal,…

Tree-graded spaces are a generalization of $\mathbb{R}$-trees and play an important role in describing the large-scale geometry of relatively hyperbolic groups. We consider a subclass of tree-graded spaces that we call "disjointly…

We extend the theory of ambidexterity developed by M.J. Hopkins and J. Lurie by proving commutativity of the norm square induced from a weakly ambidextrous morphism by two Beck-Chevalley fibrations that are associated by a functor. By…

A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a…

We study homotopy decompositions of the classifying spaces $BG$ of compact connected Lie groups obtained by (relative) fiber-cofiber construction. Given a pair of Borel fibrations $ F \to E \to BG $ and $F' \to E' \to BG $, this…

We show that a canonical procedure of extending generalized Dynkin diagrams gives rise to families of Kac-Moody groups that satisfy homological stability. We also briefly sketch some emergent structure that appears on stabilization. Our…

Working over an algebraically closed field $k$ of characteristic $0$, we show that the motivic stable homotopy groups of the sphere spectrum can be determined entirely from the motivic homotopy groups of the $p$-completed sphere spectra and…

In this paper, we introduce `Pl\"{u}cker weight vector' and establish the definition of a weighted Grassmann orbifold ${\rm Gr}_{\bf b}(k,n)$, corresponding to a Pl\"{u}cker weight vector `${\bf b}$'. We achieve an explicit classification…