代数拓扑

In this paper, we describe a novel way of identifying Adams spectral sequence $E_2$-terms in terms of homological algebra of quiver representations. Our method applies much more broadly than the standard techniques based on…

Proving Koszulness of a properad can be very hard, but sometimes one can look at its Koszul complex to look for obstructions for Koszulness. In this paper, we present a method and tools to prove non-Koszulness of many properads in a family…

We exhibit a homotopy theoretic proof of the Fundamental Theorem of Poincar\'e surgery in the simply connected case. We also deduce the Poincar\'e transversality exact sequence.

In $G$-equivariant stable homotopy theory, it is known that the equivariant Eilenberg-Mac Lane spectra representing ordinary equivariant cohomology have nontrivial $RO(G)$-graded homotopy corresponding to the equivariant (co)homology of…

This paper constructs a graded-commutative, associative, differential Transverse Intersection Algebra TIA {on the torus (in any dimension) with its cubical decomposition by using a probabilistic wiggling interpretation. This structure…

In this paper, we compute the concordance inertia group of the product $M \times \mathbb{S}^k$, where $M$ is a simply connected, closed, smooth 6-manifold, for $1 \leq k \leq 10$, using known low-dimensional computations of the stable…

Using the Harpaz-Nuiten-Prasma interpretation of the Dwyer-Kan-Smith cohomology of a simplicial category $\mathcal{X}$, we obtain a cochain complex for the Andr\'{e}-Quillen cohomology groups in which the $k$-invariants for $\mathcal{X}$…

For a finitely dominated Poincar\'e duality space $M$, we show how the author's total obstruction to the existence of a Poincar\'e embedding of the diagonal map $M \to M \times M$ relates to the Reidemeister trace of the identity map of…

We prove a stability theorem for spaces of smooth concordance embeddings. From it we derive various applications to spaces of concordance diffeomorphisms and homeomorphisms.

We discuss several versions of the Family Signature Theorem: in rational cohomology using ideas of Meyer, in $KO[\tfrac{1}{2}]$-theory using ideas of Sullivan, and finally in symmetric $L$-theory using ideas of Ranicki. Employing recent…

We use Cisinski's machinery to construct and study model structures on the category of simplicial sets whose classes of fibrant objects generalize quasi-categories. We identify a lifting condition which captures the homotopical behavior of…

Ishizaka classified up to conjugacy hyperelliptic periodic automorphisms of a surface. Here, an involution $I$ on a surface $\Sigma_{g}$ is hyperelliptic if and only if $\Sigma_{g}/\langle I \rangle$ is homeomorphic to $S^2$. In this…

For a group $G$ of not prime power order, Oliver showed that the obstruction for a finite CW-complex $F$ to be the fixed point set of a contractible finite $G$-CW-complex is the Euler characteristic $\chi(F)$. He also has the similar…

We give a simple sufficient condition for Quinn's "bordism-type" spectra to be weakly equivalent to commutative symmetric ring spectra. We also show that the symmetric signature is (up to weak equivalence) a monoidal transformation between…

Topological data analysis (TDA) has emerged as an effective approach in data science, with its key technique, persistent homology, rooted in algebraic topology. Although alternative approaches based on differential topology, geometric…

Most algorithms for computing persistent homology do so by tracking cycles that represent homology classes. There are many choices of such cycles, and specific choices have found different uses in applications. Although it is known that…

In this paper, we study pointwise finite-dimensional (p.f.d.) $2$-parameter persistence modules where each module admits a finite convex isotopy subdivision. We show that a p.f.d. $2$-parameter persistence module $M$ (with a finite convex…

We introduce and study the sequential analogue of Grant's parametrized topological complexity of group epimorphisms, which generalizes the sequential topological complexity of groups. We derive bounds for sequential parametrized topological…

Intending to introduce a method for the topological analysis of fields, we present a pipeline that takes as an input a weighted and based chain complex, produces a factored chain complex, and encodes it as a barcode of tagged intervals…

We encode the real homotopy type of an $n$-dimensional $(r-1)$-connected compact manifold $M$, $ r\ge 2$ into a minimal unital $C_\infty$-structure on $H^* (M,\mathbb R)$, obtained via homotopy transfer of the unital DGCA structure of the…