Related papers: Smooth Structures on a Fake Real Projective Space

This is an expository proof that, if $M$ is a compact $n$-manifold with no boundary, then the set of holonomies of strictly-convex real-projective structures on $M$ is a subset of $\operatorname{Hom}(\pi_1M,\operatorname{PGL}(n+1,\mathbb…

A fake projective plane is a complex surface with the same Betti numbers as $\mathbb{C} P^2$ but not biholomorphic to it. We study the fake projective plane $\mathbb{P}_{\operatorname{fake}}^2 = (a = 7, p = 2, \emptyset, D_3 2_7)$ in the…

We prove an equivalence of categories from formal complex structures with formal holomorphic maps to homotopy algebras over a simple operad with its associated homotopy morphisms. We extend this equivalence to complex manifolds. A complex…

We show that if $M$ and $N$ have the same homotopy type of simply connected closed smooth $m$-manifolds such that the integral and mod-$2$ cohomologies of $M$ vanish in odd degrees, then their homotopy inertia groups are equal. Let $M^{2n}$…

We study a notion of strict pseudoconvexity in the context of topologically (often unsmoothably) embedded 3-manifolds in complex surfaces. Topologically pseudoconvex (TPC) 3-manifolds behave similarly to their smooth analogues, cutting out…

We show that every effective smooth action of a Lie group G on a manifold M is a diffeomorphism from G onto its image in Diff(M), where the image is equipped with the subset diffeology of the functional diffeology.

We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…

Four observations compose the main results of this note. The first records the existence of a smoothly embedded 2-sphere $S$ inside $\mathbb{R} P^2\times S^2$ such that performing a Gluck twist on $S$ produces a manifold $Y$ that is…

Let $ M^{n+1} $ ($ n \ge 2 $) be a simply-connected space form of sectional curvature $ -\kappa^2 $ for some $ \kappa \geq 0 $, and $ I $ an interval not containing $ [-\kappa,\kappa] $ in its interior. It is known that the domain of a…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

In this paper we present the notion of smooth CW complexes given by attaching cubes on the category of diffeological spaces, and we study their smooth homotopy structures related to the homotopy extension property.

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

We show that an odd dimensional closed manifold with positive curvature cannot contain an incompressible real projective plane in the sense that there is no map of the projective plane into the manifold which is nontrivial on both first and…

Let M be a smooth connected compact surface, P be either the real line R^1 or the circle S^1. For a subset X of M denote by D(M,X) the group of diffeomorphisms of M fixed on X. In this note we consider a special class F of smooth maps…

We prove that any topological loop homeomorphic to a sphere or to a real projective space and having a compact-free Lie group as the inner mapping group is homeomorphic to the circle. Moreover, we classify the differentiable $1$-dimensional…

Let $M$ be a smooth compact connected surface, $P$ be either the real line $\mathbb{R}$ or the circle $S^1$ and $f:M\to P$ be a Morse map. Denote by $\mathcal{S}(f)$ and $\mathcal{O}(f)$ the corresponding stabilizer and orbit of $f$ with…

We show that a closed simply connected 8-manifold (9-manifold) of positive sectional curvature on which a 3-torus (4-torus) acts isometrically is homeomorphic to a sphere, a complex projective space or a quaternionic projective plane…

It is an important question whether it is possible to put a geometry on a given manifold or not. It is well known that any simply connected closed manifold admitting a real projective structure must be a sphere. Therefore, any simply…

Given a compact connected Riemann surface $X$ equipped with an antiholomorphic involution $\tau$, we consider the projective structures on $X$ satisfying a compatibility condition with respect to $\tau$. For a projective structure $P$ on…

This paper is motivated by the real symplectic isotopy problem : does there exists a nonsingular real pseudoholomorphic curve not isotopic in the projective plane to any real algebraic curve of the same degree? Here, we focus our study on…