Related papers: The universal $n$-pointed surface bundle only has …

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

We propose a generalization of Sullivan's de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same…

Let $S_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We identify a finite rigid subgraph $X_{g,n}$ of the pants graph $\mathcal P (S_{g,n})$, that is, a subgraph with the property that any simplicial embedding of…

Suppose that $N_1$ and $N_2$ are closed smooth manifolds of dimension $n$ that are homeomorphic. We prove that the spaces of smooth knots $Emb(S^1, N_1)$ and $Emb(S^1, N_2)$ have the same homotopy $(2n-7)$-type. In the 4-dimensional case…

Let D = {D_{1},...,D_{l}} be an arrangement of smooth hypersurfaces with normal crossings on the complex projective space P^n and let \Omega^{1}_{P^n}(log D) be the logarithmic bundle attached to it. Following [1], we show that…

Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups…

The point-pushing subgroup P(S) of the mapping class group Mod(S) of a surface with marked point is an embedding of \pi_1(S) given by pushing the marked point around loops. We prove that for g>=3, the subgroup P(S) is the unique normal,…

We study the infinite generation in the homotopy groups of the group of diffeomorphisms of $S^1 \times D^{2n-1}$, for $2n \geq 6$, in a range of degrees up to $n-2$. Our analysis relies on understanding the homotopy fibre of a linearisation…

We prove that a locally nilpotent group $G$ of $C^{1}$ diffeomorphisms of a compact surface $S$ of non-vanishing Euler characteristic has a finite orbit ${\mathcal O}$ whose cardinal is bounded by above by a function of the characteristic…

Let $\pi:Z\rightarrow\mathbb{P}^{n-1}$ be a general minimal $n$-fold conic bundle with a hypersurface $B_Z\subset\mathbb{P}^{n-1}$ of degree $d$ as discriminant. We prove that if $d\geq 4n+1$ then $-K_Z$ is not pseudo-effective, and that if…

The aim of this article is to make a first step towards the classification of complex normal affine $\mathbb G_a$-threefolds $X$. We consider the case where the restriction of the quotient morphism $\pi\colon X\to S$ to $\pi^{-1}(S_*)$,…

We prove that, for any infinite-type surface $S$, the integral homology of the closure of the compactly-supported mapping class group $\overline{\mathrm{PMap}_c(S)}$ and of the Torelli group $\mathcal{T}(S)$ is uncountable in every positive…

We show that a continuously-normed Banach bundle $\mathcal{E}$ over a compact Hausdorff space $X$ whose space of sections is algebraically finitely-generated (f.g.) over $C(X)$ is locally trivial (and hence the section space is projective…

We study the moduli space of congruence classes of isometric surfaces with the same mean curvature in 4-dimensional space forms. Having the same mean curvature means that there exists a parallel vector bundle isometry between the normal…

Let M be a simply-connected closed oriented N-dimensional manifold. We prove that for any field of coefficients there exists a natural homomorphism of commutative graded algebras $\Psi : H_\ast (\Omega {aut}_1 M) \to H_{\ast +N}(M^{S^1})$…

We study the rational homotopy of the moduli space ${\mathcal N}_X$ of stable vector bundles of rank two and fixed determinant of odd degree over a compact connected Riemann surface $X$ of genus $g\geq 2$. The symplectic group…

We obtain complete geometric invariants of cobordism classes of oriented simple fold maps of (n+1)-dimensional manifolds into an n-dimensional manifold N in terms of immersions with prescribed normal bundles. We compute that this cobordism…

Let $\mathcal{C}$ be the moduli space of smooth complex cubic surfaces and let $\pi_1(\mathcal{C})$ be its (orbifold) fundamental group. We prove that the ``divisor subgroup'' of $\pi_1(\mathcal{C})$ is characteristic. This can be…

Let T(\gamma) be the total space of the canonical line bundle \gamma over CP^1 and r an integer which is greater than one and coprime to six. We prove that L_r^3\times T(\gamma) admits an infinite sequence of metrics of nonnegative…

Let $S$ be a closed surface of genus $g \geq 2$. We study the cocompact domain of discontinuity $\Omega_{\rho}$ in the Einstein universe $\mathrm{Ein}^{p-1,p}$ defined by Guichard-Wienhard and Kapovich-Leeb-Porti for a class of $p$-Anosov…