代数拓扑
The Pontryagin-Thom theorem gives an isomorphism between the cobordism group of framed $n$-dimensional manifolds, $\omega_n$, and the $n^{th}$ stable homotopy group of the sphere spectrum, $\pi_n(\mathbb{S})$. The equivariant analogue of…
We survey the role of Lie algebras in the study of unstable homotopy groups.
At the prime $2$, let $\mathcal{B}$ denote the secondary Steenrod algebra in the sense of Baues, Baues--Jibladze, Nassau, and Baues--Frankland. We determine the secondary Ext groups of the secondary cohomology objects of the three fibers…
We determine when an exotic sphere $\Sigma$ of dimension $d\not \equiv 1 (4)$ can be detected through the homotopy type of its truncated Disc-presheaf. The latter records the diagram of framed configuration spaces of bounded cardinality in…
One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these…
This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this…
We introduce Mayer path homology, a new homology theory for directed path complexes obtained by equipping path complexes with an $N$-nilpotent differential. The main novelty of this work is the introduction of an $N$-differential on path…
Borel--Serre proved that for a number ring $R$ with fraction field $K$, the symplectic group $\text{Sp}_{2n}(R)$ is a virtual duality group of degree quadratic in $n$, and that the symplectic Steinberg module $\text{St}^\omega_{2n}(K)$ is…
In this article, we extend the computation of topological Hochschild homology (THH) of the Adams summand $\ell$ of $p$-local connective complex topological K-theory ($ku$) to $ku$ itself. We leverage the relation $u^{p-1} = v_1$, where $u$…
We combine standard persistent homology with image persistent homology to define a novel way of characterizing shapes and interactions between them. In particular, we introduce: (1) a mixup barcode, which captures geometric-topological…
Let $X(P,\lambda)$ be a 4-dimensional toric orbifold associated to a polygon $P$ and a characteristic function $\lambda$. Assuming that $X(P,\lambda)$ is locally smooth over a vertex of $P$, we determine the integral cohomology ring…
We define the algebraic cobordism of $\infty$-categories equipped with universal line bundle data as an initial oriented functor in the associated span category. In the standard motivic framework, this recovers the Thom spectrum model…
We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…
One of the central problems in the topology of hyperplane arrangements is determining whether the complement is a $K(\pi,1)$-space. In this paper, we study Manin--Schechtman arrangements, introduced as higher-dimensional analogs of the…
The computational cost of persistent homology is often dominated by the growth of the underlying simplicial filtrations. Many different filtrations exist, each with its own assumptions and trade-offs, but all face some form of this growth…
Lusternik-Schnirelmann category (LS-category) of a topological space is the least integer $n$ such that there is a covering of $X$ by $n+1$ open sets, each of them being contractible in $X$. The cone length is the minimum number of…
The Generalized Nash Equilibrium Problem refers to the question of the existence of a Nash equilibrium in an abstract economy. This model is due to Kenneth J. Arrow and Gerard Debreu in their pioneering work from 1954. An abstract economy…
Let kq denote the very effective cover of the motivic Hermitian K-theory spectrum. We analyze the ring of cooperations $\pi^\mathbb{R}_{**}(\text{kq} \otimes \text{kq})$ in the stable motivic homotopy category $\text{SH}(\mathbb{R})$,…
Persistent homology is a topological data analysis tool that has been widely generalized, extending its scope beyond the field of topology. Among its extensions, steady and ranging persistence were developed to study a wide variety of graph…
This paper investigates stable cohomotopy groups in codimensions two and three from complementary algebraic and geometric viewpoints. For general CW complexes, we give a complete characterization of stable cohomotopy in codimension two and…