代数拓扑
In this work, we show that the \'{e}tale sectional number (\text{\'{E}tale-sec$(-)$}), i.e., the sectional number in the category of topological spaces with the \'{e}tale quasi Grothendieck topology (as defined in arXiv:2410.22515), is…
Motivated by applications in the medical sciences, we study finite chromatic sets in Euclidean space from a topological perspective. Based on the persistent homology for images, kernels and cokernels, we design provably stable homological…
The classical Hopf invariant is defined for a map f: S^r -> X. Here we define `hcat' which is some kind of Hopf invariant built with a construction in Ganea's style, valid for maps not only on spheres but more generally on a `relative…
In this paper, we introduce fundamental notions of homotopy theory, including homotopy excision and the Freudenthal suspension theorem. We then explore framed cobordism and its connection to stable homotopy groups of spheres through the…
For a discrete colored operad $P$, we construct an adjunction between the category of dendroidal sets over the nerve of $P$ and the category of simplicial $P$-algebras, and prove that when $P$ is $\Sigma$-free it establishes a Quillen…
To any rigid analytic space (in the sense of Fujiwara-Kato) we assign an $\mathbb{A}^1$-invariant rigid analytic homotopy category with coefficients in any presentable category. We show some functorial properties of this assignment as a…
We give a self-contained and streamlined rendition of Andrea Bianchi's recent proof of the Mumford conjecture using moduli spaces of branched covers.
We prove that the Madsen-Tillmann spectrum $MT\theta_n$ splits into the sum of spectra $\Sigma^{-2n}MO\langle n+1 \rangle \oplus \Sigma^{\infty-2n}\mathbb{R} P^\infty_{2n}$ after Postnikov trunctation $\tau_{\leq \ell}$ for $\ell = \lfloor…
We are interested in computing the Bredon cohomology with coefficients in the constant Mackey functor $\underline{ \mathbb{F}_2}$ for equivariant $\text{Rep}(C_2)$ spaces, in particular for Grassmannian manifolds of the form…
We prove an analog of the Deligne conjecture for prestacks. We show that given a prestack $\mathbb A$, its Gerstenhaber--Schack complex $\mathbf{C}_{\mathsf{GS}}(\mathbb A)$ is naturally an $E_2$-algebra. This structure generalises both the…
Given a graph $G$, we define a filtration of simplicial complexes associated to $G$, $\mathcal{F}_0(G)\subseteq\mathcal{F}_1(G)\subseteq\cdots\subseteq\mathcal{F}_\infty(G)$ where the first complex is the independence complex and the last…
Hochschild homology is a classical invariant of rings that plays an important role because of its connection to algebraic $K$-theory via the Dennis trace. At level zero, the Dennis trace is induced by the Hattori-Stallings trace. In this…
We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…
We define a cobordism category of topological manifolds and prove that if $d \neq 4$ its classifying space is weakly equivalent to $\Omega^{\infty -1} MTTop(d)$, where $MTTop(d)$ is the Thom spectrum of the inverse of the canonical bundle…
We consider a generalization of Sperner's lemma for a triangulation $T$ of $(m+1)$-discs $D$ whose vertices are colored in $n+2$ colors. A proper coloring of $T$ on the boundary of $D$ determines a simplicial mapping $f:S^m \to S^n$ and the…
We prove that Hill's characteristic function $\chi$ for transfer systems on a lattice $P$ surjects onto interior operators for $P$. Moreover, the fibers of $\chi$ have unique maxima which are exactly the saturated transfer systems. In order…
Using a canonical topology on differential K-theory induced from the Frech\'et space topology on differential forms and the discrete topology on topological K-theory, we prove that differential K-theory is uniquely determined by the…
Graphcodes were recently introduced as a technique to employ two-parameter persistence modules in machine learning tasks (Kerber and Russold, NeurIPS 2024). We show in this work that a compressed version of graphcodes yields a description…
We study the Gelfand-Fuks cohomology of smooth vector fields on $S^d$ relative to $\mathrm{SO}(d+1)$ following a method by Haefliger that uses tools from rational homotopy theory. In particular, we show that…
A survey of some results and open questions related to the following algebraic invariants of compact complex manifolds, that can be obtained from differential forms: cohomology groups, Chern classes, rational homotopy groups, and higher…