代数拓扑

Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups…

Let the compact torus $T^{n-1}$ act on a smooth compact manifold $X^{2n}$ effectively with nonempty finite set of fixed points. We pose the question: what can be said about the orbit space $X^{2n}/T^{n-1}$ if the action is cohomologically…

For an action of a compact torus $T$ on a smooth compact manifold~$X$ with isolated fixed points the number $\frac{1}{2}\dim X-\dim T$ is called the complexity of the action. In this paper we study certain examples of torus actions of…

An arrow matrix is a matrix with zeroes outside the main diagonal, first row, and first column. We consider the space $M_{St_n,\lambda}$ of Hermitian arrow $(n+1)\times (n+1)$-matrices with fixed simple spectrum $\lambda$. We prove that…

We study the space $X_h$ of Hermitian matrices having staircase form and the given simple spectrum. There is a natural action of a compact torus on this space. Using generalized Toda flow, we show that $X_h$ is a smooth manifold and its…

Any manifold with boundary gives rise to a Poincare duality algebra in a natural way. Given a simplicial poset $S$ whose geometric realization is a closed orientable homology manifold, and a characteristic function, we construct a manifold…

Let $X$ be a $2n$-manifold with a locally standard action of a compact torus $T^n$. If the free part of action is trivial and proper faces of the orbit space $Q$ are acyclic, then there are three types of homology classes in $X$: (1)…

We consider the orbit type filtration on a manifold $X$ with locally standard action of a compact torus and the corresponding homological spectral sequence $(E_X)^r_{*,*}$. If all proper faces of the orbit space $Q=X/T$ are acyclic, and the…

We introduce the notion of a polygonic spectrum which is designed to axiomatize the structure on topological Hochschild homology $\mathrm{THH}(R,M)$ of an $\mathbb{E}_1$-ring $R$ with coefficients in an $R$-bimodule $M$. For every polygonic…

We derive rational (Sullivan) models for configuration spaces of points on manifolds purely from algebraic considerations via obstruction theory, essentially without the use of analytic or geometric techniques.

We construct effective GKM $T^3$-actions with connected stabilizers on the total spaces of the two $S^2$-bundles over $S^6$ with identical GKM graphs. This shows that the GKM graph of a simply-connected integer GKM manifold with connected…

Building on the foundations in our previous paper, we study Segal conditions that are given by finite products, determined by structures we call cartesian patterns. We set up Day convolution on presheaves in this setting and use it to give…

We determine topological complexity of a series of finite spaces which is weakly homotopy equivalent to a circle $S^1$, and give a finite space $X$ satisfying the inequality tc$(X) <$ cat$(X {\times} X)$. This answers two conjectures on…

In analogy with the origin of the additive structure of $K$-theory, we construct an $E_\infty$ structure on the matroid Grassmannian (the space of oriented matroids) for which the underlying binary operation is the direct sum of matroids.…

We compute the equivariant cohomology $H^*_{T_I}(\mathcal Z_K)$ of moment-angle complexes $\mathcal Z_K$ with respect to the action of coordinate subtori $T_I \subset T^m$. We give a criterion for the equivariant formality of $\mathcal Z_K$…

We give a correct statement and a complete proof of the criterion obtained by Grbi\'c, Panov, Theriault and Wu for the face ring $\Bbbk[K]$ of a simplicial complex $K$ to be Golod over a field $\Bbbk$. (The original argument depended on the…

We study how to obtain partial matchings using the block function $\mathcal{M}_f$, induced by a morphism $f$ between persistence modules. $\mathcal{M}_f$ is defined algebraically and is linear with respect to direct sums of morphisms. We…

We describe a method for approximating a single-variable function $f$ using persistence diagrams of sublevel sets of $f$ from height functions in different directions. We provide algorithms for the piecewise linear case and for the smooth…

The primary goal of this article is to set up a general theory of coherent cellular approximations of the diagonal for families of polytopes by developing the method introduced by N. Masuda, A. Tonks, H. Thomas and B. Vallette. We apply…

We develop a theory of minimal models for algebras over an operad defined over a commutative ring, not necessarily a field, extending and supplementing the work of Sagave in the associative case.