Related papers: On formality of diagrams of Eilenberg-MacLane spac…

In this paper, we compute the Chevalley-Eilenberg cohomology of the three-dimensionnal Heisenberg Lie algebra with values in its universal enveloping algebra. We also compte the Schouten brackets on cochains and cohomology level in order to…

Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…

We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group.…

Let $X$ be a simply connected path connected topological space which is formal in the sense of rational homotopy theory. Let $Y=X\cup_\alpha\mathbb{D}^{n}$ where $\alpha:\mathbb{S}^{n-1}\to X$ is a non-torsion element. Then we obtain a…

Let $X$ be a nilpotent space such that there exists $p\geq 1$ with $H^p(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>p$. Let $Y$ be a m-connected space with $m\geq p+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

We explain a new relationship between formal group laws and ring spectra in stable homotopy theory. We study a ring spectrum denoted DB which depends on a commutative ring B and is closely related to the topological Andre-Quillen homology…

We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…

Let $X$ be a nilpotent space such that there exists $N\geq 1$ with $H^N(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>N$. Let $Y$ be a m-connected space with $m\geq N+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

Let $k =\mathbb{F}_q$ be the finite field of $q$ elements and $E$ an elliptic curve over $k$. Let $F = k(E)$ be the function field over $E$ and let $\mathcal{O} = k[E]$ be the ring of integers. We fix the place at $\infty$ of $F$ and let…

We study the loop and suspension functors on the category of augmented $\mathbb{E}_n$-algebras. One application is to the formality of the cochain algebra of the $n$-sphere. We show that it is formal as an $\mathbb{E}_n$-algebra, also with…

Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…

The aim of this paper is to prove the following result. For any commutative formal group ${\frak F}(x\otimes 1,1\otimes x),$ which is considered as a formal group over $H_\mathbb{Q},$ there exists a homomorphism to a formal group of the…

The paper is devoted to study the space of multiplicative maps from the Eilenberg-MacLane spectrum $H\Z$ to an arbitrary ring spectrum $R$. We try to generalize the approach of Schwede from "Formal groups and stable homotopy of commutative…

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…

This paper studies formality of the differential graded algebra $RHom(E,E)$, where $E$ is a semistable sheaf on a K3 surface. The main tool is Kaledin's theorem on formality in families. For a large class of sheaves $E$, this DG algebra is…

In this paper we study some generalization of the notion of a formal group over ring, which may be called a formal group over Hopf algebra (FGoHA). The first example of FGoHA was found under the study of cobordism's ring of some $H$-space…

We provide two criteria for discarding the formality of a differential graded Lie algebra in terms of higher Whitehead brackets, which are the Lie analogue of the Massey products of a differential graded associative algebra. We also show…

Let $G$ be a complex connected reductive algebraic group that acts on a smooth complex algebraic variety $X$, and let $E$ be a $G$-equivariant algebraic vector bundle over $X$. A section of $E$ is regular if it is transversal to the zero…

For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2,…

We develop the theory of probabilistic variants of the one-category and diagonal topological complexity, which bound the classical LS-category and topological complexity from below. Unlike any other classical or probabilistic invariants,…