Related papers: Rational formality of function spaces

In this paper, we show that for a simply connected CW complex $Y$ with $H^{*}(Y;\mathbb{Q})$ of finite dimension, if $H^{*}(Y;\mathbb{Q})$ is concentrated in degrees $\leq 3$, then the rationalization $Y_\mathbb{Q}$ is formal. As an…

Let $X$ be a locally symmetric space $\Gamma\backslash G/K$ where $G$ is a connected non-compact semisimple real Lie group with trivial centre, $K$ is a maximal compact subgroup of $G$, and $\Gamma\subset G$ is a torsion-free irreducible…

In this paper we study the rational homotopy of the space of immersions, $Imm\left(M,N\right)$, of a manifold $M$ of dimension $m\geq 0$ into a manifold $N$ of dimension $m+k$, with $k\geq 2$. In the special case when $N=\mathbb{R}^{m+k}$…

The path component space of a topological space $X$ is the quotient space $\pi_0(X)$ whose points are the path components of $X$. We show that every Tychonoff space $X$ is the path-component space of a Tychonoff space $Y$ of weight…

In this article, we prove that a smooth projective complex surface $X$ which is regular (i.e. such that $h^1(X,\mathcal O_X)=0$) and which has a $\mathbb{R}$-divisor $\Delta$ such that $(X,\Delta)$ is a KLT Calabi-Yau pair has finitely many…

Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present…

We show that there are homotopy equivalences $h:N\to M$ between closed manifolds which are induced by cell-like maps $p:N\to X$ and $q:M\to X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of…

We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the…

We study the deformations of a holomorphic symplectic manifold $M$, not necessarily compact, over a formal ring. We show (under some additional, but mild, assumptions on $M$) that the coarse deformation space exists and is smooth,…

We introduce several homotopy equivalence relations for proper holomorphic mappings between balls. We provide examples showing that the degree of a rational proper mapping between balls (in positive codimension) is not a homotopy invariant.…

Let G = S^d, d = 0, 1 or 3, act freely on a finitistic connected space X. This paper gives the cohomology classification of X if a mod 2 or rational cohomology of the orbit space X/G is isomorphic to the product of a projective space and…

Isomorphisms of separable Hilbert spaces are analogous to isomorphisms of n-dimensional vector spaces. However, while n-dimensional spaces in applications are always realized as the Euclidean space R^n, Hilbert spaces admit various useful…

We establish certain conditions which imply that a map $f:X\to Y$ of topological spaces is null homotopic when the induced integral cohomology homomorphism is trivial; one of them is: $H^*(X)$ and $\pi_*(Y)$ have no torsion and $H^*(Y)$ is…

An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…

Let $X$ be a connected space. An element $[f]\in \pi_n(X)$ is called rationally inert if $\pi_*(X)\otimes \mathbb Q \to \pi_*(X\cup_fD^{n+1})\otimes \mathbb Q$ is surjective. We extend the results obtained in the simply connected case, and…

We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of fibrations with fiber an Eilenberg-Mac Lane space are…

The normalized cochain complex of a simplicial set N^*(Y) is endowed with the structure of an E_{infinity} algebra. More specifically, we prove in a previous article that N^*(Y) is an algebra over the Barratt-Eccles operad. According to M.…

Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie…

These notes are based on a series of three lectures given (online) by the first named author at the workshop "Higher Structures and Operadic Calculus" at CRM Barcelona in June 2021. The aim is to give a concise introduction to rational…

We define Homotopy quantum field theories (HQFT) as Topological quantum field theories (TQFT) for manifolds endowed with extra structure in the form of a map into some background space X. We also build the category of homotopy cobordisms…