Related papers: Formality on rationalizations of simply connected …

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also…

Let $(R,\fm)$ be a local ring and $C$ be a homologically bounded and finitely generated $R$-complex. Then, we prove that $C$ is a dualizing complex of $R$ if and only if $C$ is a Cohen-Macaulay semidualizing complex of type one or…

We define the fibre-restricted Gottlieb group with respect to a fibration $\xi :X\to E\to Y$ in CW complexes. It is a subgroup of the Gottlieb group of $X$. When $X$ and $E$ are finite simply connected, its rationalized model is given by…

In this paper, we give explicit equations for homogeneous spaces corresponding to a rational isogeny of degree $3$. An explicit set of elliptic curves with elements of order $3$ in their Tate-Shafarevich group is constructed. Combining this…

We prove that a compact simply connected manifold $M$ with a variationally complete $G$-action satisfying certain mild conditions (e.g. trivial principal isotropy, or simply connected principal orbits) is rationally elliptic if and only if…

In [10] it was shown that there is a mapping class group-equivariant deformation retraction of the Teichm\"uller space of a closed surface onto a CW complex with dimension equal to the virtual cohomological dimension of the mapping class…

For a large class of finite W algebras, the defining relations of a Yangian are proved to be satisfied. Therefore such finite W algebras appear as realisations of Yangians. This result is useful to determine properties of such W algebra…

We investigate low degree rational cohomology groups of smooth compactifications of moduli spaces of curves with level structures. In particular, we determine $H^k(\sgbar, \Q)$ for $g \ge 2$ and $k \le 3$, where $\sgbar$ denotes the moduli…

Let C be a projective curve either reduced with planar singularities or contained in a smooth algebraic surface. We show that the canonical ring R(C, \omega_C)= \oplus_{k \geq 0} H^0(C, \omega_C^k is generated in degree 1 if C is…

In arXiv:0905.1675, Nik Weaver proposed a novel intuitionistic formal theory of third-order arithmetic as a formalisation of his philosophical position known as mathematical conceptualism. In this paper, we will construct a realisability…

It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds,…

We give a new proof, using comparatively simple techniques, of the Sullivan conjecture: the space of pointed maps from the classifying space of the cyclic group of order $p$ to any finite-dimensional CW complex $K$ is contractible.

In this article, we show that if $X$ is an excellent surface with rational singularities, the constant sheaf $\mathbb{Q}_{\ell}$ is a dualizing complex. In coefficient $\mathbb{Z}_{\ell}$, we also prove that the obstruction for…

For every algebraically closed field $\boldsymbol k$ of characteristic different from $2$, we prove the following: (1) Generic finite dimensional (not necessarily associative) $\boldsymbol k$-algebras of a fixed dimension, considered up to…

Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…

We express explicitly the integral closures of some ring extensions; this is done for all Bring-Jerrard extensions of any degree as well as for all general extensions of degree < 6; so far such an explicit expression is known only for…

In this paper we describe explicit $L_\infty$ algebras modeling the rational homotopy type of any component of the spaces $\map(X,Y)$ and $\map^*(X,Y)$ of free and pointed maps between the finite nilpotent CW-complex $X$ and the finite type…

We show if $A$ is a finite CW-complex such that algebraic theories detect mapping spaces out of $A$, then $A$ has the homology type of a wedge of spheres of the same dimension. Furthermore, if $A$ is simply connected then $A$ has the…

New constructions in group homology allow us to manufacture high-dimensional manifolds with controlled simplicial volume. We prove that for every dimension bigger than 3 the set of simplicial volumes of orientable closed connected manifolds…