Related papers: Formality of function spaces

We completely characterize the pairs of connected Lie groups $G > K$ such that $\mathrm{rank}(G) - \mathrm{rank}(K) = 1$ and the left action of $K$ on $G/K$ is equivariantly formal. The analysis requires us to correct and extend an existing…

We exhibit a map f between aspherical spaces X and Y such that f induces an isomorphism on homotopy groups but, with natural topologies, X and Y fail to have homeomorphic fundamental groups. Thus the topological fundamental group has the…

We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory…

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…

Let $M^{(k)}_{d}(n)$ be the manifold of $n$-tuples $(x_1,\ldots,x_n)\in(\mathbb{R}^d)^n$ having non-$k$-equal coordinates. We show that, for $d\geq2$, $M^{(3)}_{d}(n)$ is rationally formal if and only if $n\leq 6$. This stands in sharp…

Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same…

Given based cellular spaces X and Y, X compact, we define a sequence of increasingly fine equivalences on the based-homotopy set [X,Y].

We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the…

Let $M$ be a monoid and $G:\mathbf{Mon} \to \mathbf{Grp}$ be the group completion functor from monoids to groups. Given a collection $\mathcal{X}$ of submonoids of $M$ and for each $N\in \mathcal{X}$ a collection $\mathcal{Y}_N$ of…

Using approximation by continuous functions we prove the following statements to types of tightness in a space $Q_p(X, \mathbb{R})$ of all quasicontinuous real-valued functions with the topology $\tau_p$ of pointwise convergence: the…

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…

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…

Positive Quaternion Kaehler Manifolds are Riemannian manifolds with holonomy contained in Sp(n)Sp(1) and with positive scalar curvature. Conjecturally, they are symmetric spaces. We offer a new approach to this field of study via Rational…

We prove an analogous Hanner's Inequality of $L^p$ spaces for positive semidefinite matrices. Let $||X||_p=\text{Tr}[(X^\ast X)^{p/2}]^{1/p}$ denote the $p$-Schatten norm of a matrix $X\in M_{n\times n}(\mathbb{C})$. We show that the…

If F is a collection of topological spaces, then a homotopy class \alpha in [X,Y] is called F-trivial if \alpha_* = 0: [A,X] --> [A,Y] for all A in F. In this paper we study the collection Z_F(X,Y) of all F-trivial homotopy classes in [X,Y]…

Let M be a compact, connected and simply-connected Riemannian manifold, and suppose that G is a compact, connected Lie group acting on M by isometries. The dimension of the space of orbits is called the cohomogeneity of the action. If the…

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.…

We characterise simply-connected biquotients which potentially admit metrics of holonomy G_2. We prove that there are at most three real homotopy types of rationally elliptic such manifolds---all of them being formal. In the course of this…

We define unstable $p$-completion in general $\infty$-topoi and the unstable motivic homotopy category, and prove that the $p$-completion of a nilpotent sheaf or motivic space can be computed on its Postnikov tower. We then show that the…

$\Gamma$-structures are weak forms of multiplications on closed oriented manifolds. As shown by Hopf the rational cohomology algebras of manifolds admitting $\Gamma$-structures are free over odd degree generators. We prove that this…