代数拓扑
Using the cohomology of the $G_2$-flag manifolds $G_2/U(2)_{\pm}$, and their structure as a fiber bundle over the homogeneous space $G_2/SO(4)$, we compute the $\mathbb{Z}_2$ Fadell-Husseini index of such fiber bundles, for the…
This article has two goals. First, we hope to give an accessible introduction to persistent equivariant cohomology. Given a topological group $G$ acting on a filtered space, persistent Borel equivariant cohomology measures not only the…
We describe the variety of `symmetric' left actions of the mod 2 Steenrod algebra $\mathcal{A}$ on its subalgebra $\mathcal{A}(2)$. These arise as the cohomology of $\text{v}_2$ self maps $\Sigma^7 Z \longrightarrow Z$, as in…
In this article, we use the Bruhat and Schubert cells to calculate the cellular homology of the maximal compact subgroup $K$ of a connected semisimple Lie group $G$ whose Lie algebra is a split real form. We lift to the maximal compact…
We define a notion of a homotopy chiral algebra (HCA), which means a chiral algebra up to higher homotopies, and prove that the Cech complex of a sheaf of chiral algebras admits a structure of a HCA.
In [Discrete differential calculus on simplicial complexes and constrained homology, Chin. Ann. Math. Ser. B 44(4), 615-640, 2023], the constrained (co)homology for simplicial complexes and independence hypergraphs is constructed via…
A significant part of modern topological data analysis is concerned with the design and study of algebraic invariants of poset representations -- often referred to as multi-parameter persistence modules. One such invariant is the minimal…
We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…
The Vietoris-Rips filtration, the standard filtration on metric data in topological data analysis, is notoriously sensitive to outliers. Sheehy's subdivision-Rips bifiltration $\mathcal{SR}(-)$ is a density-sensitive refinement that is…
Motivated by applications to crystalline materials, we generalize the merge tree and the related barcode of a filtered complex to the periodic setting in Euclidean space. They are invariant under isometries, changing bases, and indeed…
The complement of the hyperplanes $\{x_i=x_j\}$, for all $i\neq j$ in $M^n$, for $M$ an aspherical $2$-manifold, is known to be aspherical. Here we consider the situation, when $M$ is a $2$-dimensional orbifold. We prove this complement to…
In this article, we introduce a notion of polygraphic homology of a strict $\omega$-category with coefficients in a local system, generalizing the polygraphic homology with coefficients in $\mathbb Z$, introduced by Fran\c{c}ois M\'etayer.…
We study the uniqueness of enhancements of tensor-triangulated categories. To do so, we provide conditions under which these enhancements interact well with categorical decompositions. As an application we obtain new results about the…
In this thesis, we construct a new version of orthogonal calculus for functors $F$ from $C_2$-representations to $C_2$-spaces, where $C_2$ is the cyclic group of order 2. For example, the functor $BO(-)$, which sends a $C_2$-representation…
We determine explicitly the stable homotopy groups of Moore spaces up to the range 7, using an equivalence of categories which allows to consider each Moore space as an exact couple of $\mathbb Z$-modules.
We define digital $m-$homotopic distance and its higher version. We also mention related notions such as $m-$category in the sense of Lusternik-Schnirelmann and $m-$complexity in topological robotics. Later, we examine the homotopy…
We study the size of Sheehy's subdivision bifiltrations, up to homotopy. We focus in particular on the subdivision-Rips bifiltration $\mathcal{SR}(X)$ of a metric space $X$, the only density-sensitive bifiltration on metric spaces known to…
We build a functorial pipeline for persistent homology. The input to this pipeline is a filtered simplicial complex indexed by any finite metric lattice and the output is a persistence diagram defined as the M\"obius inversion of its…
In this paper, we study the geometric decomposition of the degree-$0$ Persistent Homology Transform (PHT) as viewed as a persistence diagram bundle. We focus on star-shaped objects as they can be segmented into smaller, simpler regions…
In algebraic topology, we usually represent surfaces by mean of cellular complexes. This representation is intrinsic, but requires to identify some points through an equivalence relation. On the other hand, embedding a surface in a…