相关论文: Rational formality of function spaces

We consider the moduli space $\mathfrak{M}_{g,n}$ of Riemann surfaces of genus $g\ge0$ with $n\ge1$ ordered and directed marked points. For $d\ge 2g+n-1$ we show that $\mathfrak{M}_{g,n}$ is homotopy equivalent to a component of the…

We study Whitehead products in the rational homotopy groups of a general component of a function space. For the component of any based map f: X \to Y, in either the based or free function space, our main results express the Whitehead…

We discuss families of hypersurfaces with isolated singularities in projective space with the property that the sum of the ranks of the rational homotopy and the homology groups is finite. They represent infinitely many distinct homotopy…

A topological space (not necessarily simply connected) is said to have finite homotopy rank-sum if the sum of the ranks of all higher homotopy groups (from the second homotopy group onward) is finite. In this article, we consider Stein…

Let $\rm{Aut}(p)$ denote the space of all self-fibre homotopy equivalences of a principal $G$-bundle $p: E\rightarrow X$ of simply connected CW complexes with $E$ finite. When $G$ is a compact connected topological group, we show that there…

This paper takes its starting point in an idea of Grothendieck on the representation of homotopy types. We show that any locally finite nilpotent homotopy can be represented by a simplicial set which is a finitely generated free group in…

Let $G$ be a finite group. For a based $G$-space $X$ and a Mackey functor $M$, a topological Mackey functor $X\widetilde\otimes M$ is constructed, which will be called the stable equivariant abelianization of $X$ with coefficients in $M$.…

Given an uncountable algebraically closed field $K$, we proved that if partially defined function $f\colon K \times \dots \times K \dashrightarrow K$ defined on a Zariski open subset of the $n$-fold Cartesian product $K \times \dots \times…

We consider the natural A-infinity structure on the Ext-algebra $Ext^*(G,G)$ associated with the coherent sheaf $G={\cal O}_C\oplus {\cal O}_{p_1}\oplus...\oplus {\cal O}_{p_n}$ on a smooth projective curve $C$, where $p_1,...,p_n\in C$ are…

The goal of this paper is to establish a topological version of the notion of an Eilenberg-Mac Lane space. If $X$ is a pointed topological space, $\pi_1(X)$ has a natural topology coming from the compact-open topology on the space of maps…

The Hilali conjecture claims that a simply connected rationally elliptic space $X$ satisfies the inequality $\operatorname{dim} (\pi_*(X)\otimes \mathbb Q ) \leqq \operatorname{dim} H_*(X;\mathbb Q )$. In this paper we show that for any…

It is shown that any finite-dimensional homomorphic image of an inverse limit of nilpotent not-necessarily-associative algebras over a field is nilpotent. More generally, this is true of algebras over a general commutative ring k, with…

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…

Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps…

We prove that if a compact, simply connected Riemannian $G$-manifold $M$ has orbit space $M/G$ isometric to some other quotient $N/H$ with $N$ having zero topological entropy, then $M$ is rationally elliptic. This result, which generalizes…

Let F be a polarized irreducible holomorphic symplectic fourfold, deformation equivalent to the Hilbert scheme parametrizing length-two zero-dimensional subschemes of a K3 surface. The homology group H^2(F,Z) is equipped with an integral…

A topological space $X$ is said to be {\em $Y$-rigid} if any continuous map $f:X\rightarrow Y$ is constant. In this paper we construct a number of examples of regular countably compact $\mathbb R$-rigid spaces with additional properties…

Let $Y$ be a metrizable space containing at least two points, and let $X$ be a $Y_{\mathcal{I}}$-Tychonoff space for some ideal $\mathcal{I}$ of compact sets of $X$. Denote by $C_{\mathcal{I}}(X,Y)$ the space of continuous functions from…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

In this article, we prove that if $R\to S$ is a homomorphism of Noetherian rings that splits, then for every $i\geq 0$ and ideal $I\subset R$, $\Ass_R H^i_I(R)$ is finite when $\Ass_S H^i_{IS}(S)$ is finite. In addition, if $S$ is a…