Related papers: Cohomology $C_{\infty}$-algebra and Rational Homot…

Together with F. Morel, we have constructed in \cite{CR, Cobord1, Cobord2} a theory of {\em algebraic cobordism}, an algebro-geometric version of the topological theory of complex cobordism. In this paper, we give a survey of the…

We define a new cohomology for associative algebras which we compute for algebras with units.

In this paper we analyze some relationships between the topological complexity of a space $X$ and the category of $C_{\Delta_X},$ the homotopy cofibre of the diagonal map $\Delta_X:X\rightarrow X\times X.$ We establish the equality of the…

In this paper, first we give the controlling algebra of Lie triple systems. In particular, the cohomology of Lie triple systems can be characterized by the controlling algebra. Then using controlling algebras, we introduce the notions of…

We study a categorical construction called the cobordism category, which associates to each Waldhausen category a simplicial category of cospans. We prove that this construction is homotopy equivalent to Waldhausen's…

Using the notion of isotopy modulo $k$, with $k \in \mathbb{N}^+$, we introduce a stratification on the set of all minimal $C_\infty$-algebra enhancements of a finite-type graded commutative algebra $H^*$. We determine obstruction classes…

We give a characterization of closed, simply connected, rationally elliptic 6-manifolds in terms of their rational cohomology rings and a partial classification of their real cohomology rings. We classify rational, real and complex homotopy…

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a…

Let $P$ be an $n$-gon with $n\geq3.$ There is a formal combinatorial $A_\infty$-coalgebra structure on cellular chains $C_*(P)$ with non-vanishing higher order structure when $n\geq5$. If $X_g$ is a closed compact surface of genus $g\geq2$…

Genuine equivariant homotopy theory is equipped with a multitude of coherently commutative multiplication structures generalizing the classical notion of an $\mathbb{E}_\infty$-algebra. In this paper we study the…

Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of…

We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…

After recalling the construction of a graded Lie bracket on the space of cyclic multilinear forms on a vector space V, due to Georges Pinczon and Rosane Ushirobira, we prove this construction gives a structure of quadratic associative…

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

Torus manifolds are topological generalization of smooth projective toric manifolds. We compute the rational cohomology ring of a class of smooth locally standard torus manifolds whose orbit space is a connected sum of simple polytopes.

Let $M$ be a smooth connected orientable closed surface and $f_0\in C^\infty(M)$ a function having only critical points of the $A_\mu$-types, $\mu\in\mathbb N$. Let ${\mathcal F}={\mathcal F}(f_0)$ be the set of functions $f\in C^\infty(M)$…

In this paper, we introduce the concept of a "von Neumann regular $\mathcal{C}^{\infty}$-ring", which is a model for a specific equational theory. We delve into the characteristics of these rings and demonstrate that each Boolean space can…

It is well known that a foliation F of a smooth manifold M gives rise to a rich cohomological theory, its characteristic (i.e., leafwise) cohomology. Characteristic cohomologies of F may be interpreted, to some extent, as functions on the…

It is known that a single mapping defined on one term of a differential graded vector space extends to a strongly homotopy Lie algebra structure on the graded space when that mapping satisfies two conditions. This strongly homotopy Lie…

We determine an explicit presentation by generators and relations of the cohomology algebra $H^*(\mathbb P^2\setminus C,\mathbb C)$ of the complement to an algebraic curve $C$ in the complex projective plane $\mathbb P^2$, via the study of…