代数拓扑

We show that the derived $\infty$-category of permutation modules is equivalent to the category of modules over the Eilenberg-MacLane spectrum associated to a constant Mackey functor in the $\infty$-category of equivariant spectra. On such…

An isovariant map is an equivariant map between $G$-spaces which strictly preserves isotropy groups. In this paper, we lay the groundwork for the study of isovariant stable homotopy theory. We prove an isovariant Blakers--Massey theorem and…

In this paper, we study some properties of the closure operator in the Mac\'ias topology on infinite integral domains. Moreover, under certain conditions, we present topological proofs of the infiniteness of maximal ideals and…

We prove a generalization of the Arone-Ching chain rule for Goodwillie derivatives by showing that for any pair of reduced finitary functors $F \colon \mathcal{D} \to \mathcal{E}$ and $G \colon \mathcal{C} \to \mathcal{D}$ between…

We first compute the James' sectional category (secat) of the Ganea map g_k of any map f in terms of the sectional category of f: We show that secat(g_k) is the integer part of secat(f)/(k+1). Next we compute the relative category (relcat)…

James' sectional category and Farber's topological complexity are studied in a general and unified framework. We introduce `relative' and `strong relative' forms of the category for a map. We show that both can differ from sectional…

Homotopy type theory is a logical setting in which one can perform geometric constructions and proofs in a synthetic way. Namely, types can be interpreted as spaces up to homotopy, and proofs as homotopy invariant constructions. In this…

We prove a sharp representation stability result for graph complexes with a distinguished vertex, and prove that the chains realizing this sharp bound pass to non-trivial families of graph homology classes. This result may be interpreted as…

We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the "exactification"-procedures in ordinary log geometry in terms of Quillen's approach to the cotangent complex, we…

We promote Lazard's Poincar\'e duality for p-adic Lie groups to spectrum coefficients. The key aspect is the determination of the dualizing object in terms of "linear" data, namely the adjoint representation.

We study diagrams of commutative differential graded algebras (DGAs) over the orbit category $\sO_G$ in the context of equivariant rational homotopy theory. For $G = C_{pq}$ with $p, q$ distinct primes, we give necessary conditions for…

The purpose of this work is to develop a version of Forman's discrete Morse theory for simplicial complexes, based on internal strong collapses. Classical discrete Morse theory can be viewed as a generalization of Whitehead's collapses,…

We show a wedge-decomposable simplicial complex has associated double homology $\mathbb{Z}\oplus\mathbb{Z}$ in bidegrees $(0,0)$, $(-1,4)$.

Curved algebras are algebras endowed with a predifferential, which is an endomorphism of degree -1 whose square is not necessarily 0. This makes the usual definition of quasi-isomorphism meaningless and therefore the homotopical study of…

We use localization method to understand the rational equivariant cohomology rings of real Grassmannians and oriented Grassmannians, then relate this to the Leray-Borel description which says the ring generators are equivariant Pontryagin…

We introduce two novel concepts, topological difference and topological correlation, that offer a new perspective on the discriminative power of multiparameter persistence. The former quantifies the discrepancy between multiparameter and…

We introduce a crossed module of piecewise linear surfaces and study the signature homomorphism, defined as the surface holonomy of a universal translation invariant $2$-connection. This provides a transform whereby surfaces are represented…

We present a new tool for data analysis: persistence discrete homology, which is well-suited to analyze filtrations of graphs. In particular, we provide a novel way of representing high-dimensional data as a filtration of graphs using…

The orbit spaces of free S^0-actions on the mod 2 cohomology product of three spheres, S^n x S^m x S^l, 1 <= n <= m <= l have been determined in [6]. In this paper, we extend these findings to free S^1-actions on the rational cohomology…

Signature tensors of paths are a versatile tool for data analysis and machine learning. Recently, they have been applied to persistent homology, by embedding barcodes into spaces of paths. Among the different path embeddings, the…