Related papers: Enumerating Smooth Structures on $\mathbb{C}P^3\ti…
Let M be a closed simply connected n-manifold of positive sectional curvature. We determine its homeomorphism or homotopic type if M also admits an isometric elementary p-group action of large rank. Our main results are: There exists a…
We compute the monodromy group of irreducible holomorphic symplectic manifolds of OG10 type, confirming a conjecture of Markman.
A 3 dimensional analogue of Sakai's theory concerning the relation between rational surfaces and discrete Painlev\'e equations is studied. For a family of rational varieties obtained by blow-ups at 8 points in general position in ${\mathbb…
The smooth (resp. metric and complex) Nielsen Realization Problem for K3 surfaces $M$ asks: when can a finite group $G$ of mapping classes of $M$ be realized by a finite group of diffeomorphisms (resp. isometries of a Ricci-flat metric, or…
We classify constant mean curvature surfaces invariant by a 1-parameter group of isometries in the Berger spheres and in the special linear group Sl(2, R). In particular, all constant mean curvature spheres in those spaces are described…
We construct a version of differential $K$-theory based on smooth Banach manifold models for the homotopy types $B \mathrm U\times Z$ and $\mathrm U$ that appear in the topological $K$-theory spectrum. These manifolds carry natural…
We prove that a Kleinian surface groups is determined, up to conjugacy in the isometry group of $\mathbb H^3$, by its simple marked length spectrum. As a first application, we show that a discrete faithful representation of the fundamental…
Let ${\cal M}_{g,n}$, for $2g-2+n>0$, be the moduli stack of $n$-pointed, genus $g$, smooth curves. For a family $C\to S$ of such curves over a connected base and a geometric point $\xi$ on $S$, the associated monodromy representation is…
The author has already proven that the space $\Delta(\Pi_n)/G$ is homotopy equivalent to a wedge of spheres of dimension $n-3$ for all natural numbers $n\geq 3$ and all subgroups $G\subset S_1\times S_{n-1}$. We construct an $S_1\times…
We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not…
The {\em topological symmetry group} of an embedding $\Gamma$ of an abstract graph $\gamma$ in $S^3$ is the group of automorphisms of $\gamma$ which can be realized by homeomorphisms of the pair $(S^3, \Gamma)$. These groups are motivated…
In this paper we prove that the problem of deciding contractibility of an arbitrary closed curve on the boundary of a 3-manifold is in NP. We emphasize that the manifold and the curve are both inputs to the problem. Moreover, our algorithm…
In this paper we compute the mapping class group of simply-connected closed smooth manifolds $M$ with integral homology $H_{*}(M) \cong \mathbb Z \oplus \mathbb Z \oplus \mathbb Z$ provided that $\dim M \ne 4$.
We show that for a smooth, closed 2-connected manifold $M$ of dimension $d \geq 6$, the topological mapping class group $\pi_0 \mathrm{Homeo}(M)$ is residually finite, in contrast to the situation for the smooth mapping class group $\pi_0…
We classify primitive non-symplectic automorphisms of order 6 on K3 surfaces. We show how their study can be reduced to the study of non-symplectic automorphisms of order 3 and to a local analysis of the fixed loci. In particular, we…
Two positive scalar curvature metrics $g_0$, $g_1$ on a manifold $M$ are psc-isotopic if they are homotopic through metrics of positive scalar curvature. It is well known that if two metrics $g_0$, $g_1$ of positive scalar curvature on a…
In this note we prove that, for any integer n, there exist a smooth 4-manifold, homotopic to a K3 surface, defined by applying the link surgery method of Fintushel-Stern to a certain 2-component graph link, which admits n inequivalent…
We give a concrete method to explicitly compute the rational cohomology of the unordered configuration spaces of connected, oriented, closed, even-dimensional manifolds of finite type which we have implemented in Sage [S+09]. As an…
Let $M^n(n\geq3)$ be an $n$-dimensional compact Riemannian manifold with harmonic curvature and positive scalar curvature. Assume that $M^n$ satisfies some integral pinching conditions. We give some rigidity theorems on compact manifolds…
We compute the \v{C}ech homotopy groups of the $m$-dimensional infinite earring space $\mathbb{E}_m$, i.e. a shrinking wedge of $m$-spheres. In particular, for all $n,m\geq 2$, we prove that $\check{\pi}_n(\mathbb{E}_m)$ is isomorphic to a…