代数拓扑

We define a generalization of Massey products for algebras over a Koszul operad in characteristic zero, extending Massey's and Allday's and Retah's in the associative and Lie cases, respectively. We establish connections with minimal models…

We find a necessary and sufficient condition for a compact 7-manifold to admit a $\tilde G_2$-structure. As a result we find a sufficient condition for an open 7-manifold to admit a closed 3-form of $\tilde G_2$-type.

Local data structures are systems of neighbourhoods within data sets. Specifications of neighbourhoods can arise in multiple ways, for example, from global geometric structure (stellar charts), combinatorial structure (weighted graphs),…

The purpose of this survey is to present in a uniform way the notion of equivalence between strict $n$-categories or $(\infty,n)$-categories, and inside a strict $(n+1)$-category or $(\infty,n+1)$-category.

Special generic maps are generalizations of Morse functions with exactly two singular points on spheres and canonical projections of unit spheres. They restrict the manifolds of the domains strongly in considerable cases and are important…

This paper is the extended version of some results in [13, 14]. Let H be a subgroup of fundamental group. The first paper of the paper is devoted to studying weaker conditions under which homotopically Hausdorff relative to H becomes…

Let $n \geq 1$, $p$ a prime, and $T(n)$ any representative of the Bousfield class of the telescope $v_n^{-1}F(n)$ of a finite type $n$ complex. Also, let $E_n$ be the Lubin-Tate spectrum, $K(E_n)$ its algebraic $K$-theory spectrum, and…

The (co)homological dimension of homomorphism $\phi:G\to H$ is the maximal number $k$ such that the induced homomorphism is nonzero for some $H$-module. The following theorems are proven: THEOREM 1. For every homomorphism $\phi:G\to H$ of a…

We define a cellular approximation for the diagonal of the Forcey--Loday realizations of the multiplihedra, and endow them with a compatible topological cellular operadic bimodule structure over the Loday realizations of the associahedra.…

We prove that Mann-Robalo's construction of the brane action extends to general coherent $\infty$-operads, with possibly multiple colors and non-contractible spaces of unary operations. This requires to establish two results regarding…

$\Gamma$-symmetric spaces are a vast generalization of symmetric spaces. Previous results make it conceivable that their isotropy action is equivariantly formal, and we provide evidence for this in case that $\Gamma =…

This paper aims to develop a simple procedure to reduce and control the condition number of random matrices, and investigate the effect on the persistent homology (PH) of point clouds of well- and ill-conditioned matrices. For a square…

We compute ku^*(K(Z/p,2)) and ku_*(K(Z/p,2)), the connective KU-cohomology and connective KU-homology groups of the mod-p Eilenberg-MacLane space K(Z/p,2), using the Adams spectral sequence. We obtain a striking interaction between…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

In \cite{G}, G. Lupton conjectured that the group of self-homotopy equivalences of an $F_0$-space inducing the identity on the homotopy groups is finite. Thus, the aim of this paper is to establish this conjecture.

A real moment-angle complex is a CW complex defined by the combinatoric information of a simplicial complex, and has a standard action of $2$-torus. For each subtorus $G$ of $2$-torus, we describe invariants corcerning this action, the…

Persistent homology is a branch of computational algebraic topology that studies shapes and extracts features over multiple scales. In this paper, we present an unsupervised approach that uses persistent homology to study divergent behavior…

The purpose of this paper is to introduce $N_k(\ell)$-maps ($1\le k,\ell\le\infty$), which describe higher homotopy normalities, and to study their basic properties and examples. An $N_k(\ell)$-map is defined with higher homotopical…

We compare three definitions of the equivariant cohomological dimension of a group with operators, coming from Takasu, Adamson and Bredon relative group cohomologies, giving examples of strict inequality in all cases where it can occur. We…

Let $P_k$ be the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$ with the degree of each generator $x_i$ being 1, where $\mathbb F_2$ denote the prime field with two elements. The hit problem of Frank Peterson asks for a…