代数拓扑

We introduce a discrete cobordism category for nested manifolds and nested cobordisms between them. A variation of stratified Morse theory applies in this case, and yields generators for a general nested cobordism category. Restricting to a…

Let $M^{(k)}_{d}(n)$ be the manifold of $n$-tuples $(x_1,\ldots,x_n)\in(\mathbb{R}^d)^n$ having non-$k$-equal coordinates. We show that, for $d\geq2$, $M^{(3)}_{d}(n)$ is rationally formal if and only if $n\leq 6$. This stands in sharp…

We describe the compact objects in the $\infty$-category of $\mathcal C$-valued sheaves $\text{Shv} (X,\mathcal C)$ on a hypercomplete locally compact Hausdorff space $X$, for $\mathcal C$ a compactly generated stable $\infty$-category.…

In this article, we extend an argument of Vogtmann in order to show homology stability of the Euclidean orthogonal group $O_n(A)$ when $A$ is a valuation ring subject to arithmetic conditions on either its residue or its quotient field. In…

We investigate the equivariant topological rigidity of complex and quaternionic moment--angle manifolds. By reducing the classification to the equivariant rigidity of their quasitoric (or quoric) quotients and the classification of the…

The complex of discrete Morse matchings $\M(K)$, introduced by Chari and Joswig, is a simplicial complex whose simplices are the acyclic matchings on the Hasse diagram of $K$. Its homotopy type is known in only a handful of cases. In this…

For a field $\mathbb{F}$ and a triangulated compact $\mathbb{F}$-orientable manifold, consider the homology of the associated Moment-Angle ccomplex $H_*(\mathcal{Z}_{\mathcal{K}})$. We show the total homology rank…

Many real-world dynamics exhibit chaos, a phenomenon in which neighboring trajectories in the state space of a dynamical system diverge exponentially over time. A common measure used for quantifying the degree of this divergence is the…

Preference cycles are prevalent in problems of decision-making, and are contradictory when preferences are assumed to be transitive. This contradiction underlies Condorcet's Paradox, a pioneering result of Social Choice Theory, wherein…

We show a first rectification result for homotopy chain coalgebras over a field. On the one hand, we consider the $\infty$-category obtained by localizing differential graded coalgebras over an operad with respect to quasi-isomorphisms; on…

We study the action of the Steenrod--Milnor operation $\mathrm{St}^{\emptyset,\Delta_i}$ on the Dickson algebra $D_n$ over $\mathbb{F}_p$. Our main observation is that normalizing by the Dickson invariant $Q_{n,0}$ yields a genuine…

We compute the spoke-graded $C_3$-equivariant stable homotopy groups of spheres $\pi_{i, j}^{C_3}$, for stems less than 25 (i.e. $i\leq 25$) and for weights between -16 and 16 (i.e. $-16\leq j\leq 16$). In particular, for $j=2k$, this…

Persistent homology, the study of holes that appear in data as one thickens balls centered around its points over time, has theoretically guaranteed stability. That is, small data perturbations guarantee small changes in the lifetimes of…

For a $G$-equivariant fibration $p \colon E\to B$, we introduce and study the invariant analogue of Cohen, Farber and Weinberger's parametrized topological complexity, called the invariant parametrized topological complexity. This notion…

We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…

Smith homomorphisms are maps between bordism groups that change both the dimension and the tangential structure. We give a completely general account of Smith homomorphisms, unifying the many examples in the literature. We provide three…

We study two problems concerning the Stiefel manifolds $V_{n,2}$ and their products with spheres. First, we address a rigidity problem: we determine, for most values of~$n$, all self-maps of $V_{n,2}$ that are homotopic to an almost…

We prove that the profinite completion of a pseudomanifold is the Artin-Mazur's etale homotopy type construction on its branched covers, which was implicitly conjectured by Sullivan in his MIT note (page 247) around 1970. This is a…

Determining whether two graphs are isomorphic is a fundamental problem with practical applications in areas such as molecular chemistry or social network analysis, yet it remains a challenging task, with exact solutions often being…

If a finite group $G$ acts on a rational homology manifold, then the orbit space is well-known to be a rational homology manifold again. We consider here actions on spaces that may be much more singular. If the $G$-space is a Witt…