代数拓扑

We propose a definition of the profinite normal structure set for the set of all manifolds in a fixed profinite homotopy type. Using this framework, we prove that the Galois action of $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ on the…

We present Topological Point Cloud Clustering (TPCC), a new method to cluster points in an arbitrary point cloud based on their contribution to global topological features. TPCC synthesizes desirable features from spectral clustering and…

In this paper we prove the existence of an algebraic model for quasi-coherent sheaves on certain non-connective geometric stacks arising in stable homotopy theory and spectral algebraic geometry using the machinery of adapted homology…

The concept of $P_F$-frames was introduced by Ngoako [24] as a point-free extension of $P_F$-spaces. We observe that the open cozero quotient of a $P_F$-frame is itself a $P_F$-frame. The class of $P_F$-frames contains the class of…

The Poincar\'e-Hopf theorem for line fields, as described in a paper of Crowley and Grant, is interpreted as a special case of a Poincar\'e-Hopf theorem for $n$-valued sections of a vector bundle over a closed manifold of the same…

Let $X$ be a compact Riemann surface of genus $g$ and let $x \in X$. We derive the classical presentation of $\pi_1(X,x)$ (i.e the one given by $2g$ generators $a_1,b_1, \dots, a_g,b_g$ and the relation $\prod_{i=1}^g[a_i,b_i] = 1$) from…

We study the concepts of the $\ell_p$-Vietoris-Rips simplicial set and the $\ell_p$-Vietoris-Rips complex of a metric space, where $1\leq p \leq \infty.$ This theory unifies two established theories: for $p=\infty,$ this is the classical…

We provide a straightening-unstraightening adjunction for $\infty$-operads in Lurie's formalism, and show it establishes an equivalence between the $\infty$-category of operadic left fibrations over an $\infty$-operad $\mathcal{O}^\otimes$…

We introduce, for the first time, a cohomology-based Gromov-Hausdorff ultrametric method to analyze 1-dimensional and higher-dimensional (co)homology groups, focusing on loops, voids, and higher-dimensional cavity structures in simplicial…

We study the realization problem of finite groups as the group of homotopy classes of self-homotopy equivalences of finite spaces. Let $G$ be a finite group. Using an infinite family of pairwise non weakly homotopic asymmetric spaces we…

We construct and study a bicategory of super 2-line bundles over graded Lie groupoids, providing a unified framework for geometric models of twistings of (Real) K-theory. The core of our work is to exhibit a wide range of models from the…

For all positive integers $n$ and all homotopy modules $M_*$, we define certain operations $\underline{\operatorname{K}}^{\operatorname{MW}}_n \rightarrow M_*$ and show that these generate the $M_*(k)$-module of all (in general…

Motivated by his work on the stable rank filtration of algebraic K-theory spectra, Rognes defined a simplicial complex called the common basis complex and conjectured that this complex is highly connected for local rings and Euclidean…

We prove that the set of concordance classes of sections of an infinity-sheaf on a manifold is representable, extending a theorem of Madsen and Weiss. This is reminiscent of an h-principle in which the role of isotopy is played by…

We prove that the element $h_6^2$ is a permanent cycle in the Adams spectral sequence. As a result, we establish the existence of smooth framed manifolds with Kervaire invariant one in dimension 126, thereby resolving the final case of the…

In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to Zenodo. Detailed proofs of the machine-generated results are…

We investigate the higher-order connectivity of scale-free networks using algebraic topology. We model scale-free networks as preferential attachment graphs, and we study the algebraic-topological properties of their clique complexes. We…

We undertake a systematic study of the Hochschild homology, i.e. (the geometric realization of) the cyclic nerve, of $(\infty,1)$-categories (and more generally of category-objects in an $\infty$-category), as a version of factorization…

We prove that any group $G$ occurs as $\E(X)$, where $X$ is CW-complex of finite dimension and $\E(X)$ denotes its group of self-homotopy equivalence. Thus, we generalize a well know-theorem due to Costoya and Viruel \cite{CV} asserting…

This paper provides an overview of the applications of sheaf theory in deep learning, data science, and computer science in general. The primary text of this work serves as a friendly introduction to applied and computational sheaf theory…