Related papers: Enumerating Smooth Structures on $\mathbb{C}P^3\ti…
We study the topology of the inertia space of a smooth $G$-manifold $M$ where $G$ is a compact Lie group. We construct an explicit Whitney stratification of the inertia space, demonstrating that the inertia space is a triangulable…
In this paper, we study topological concordance modulo local knotting, or almost-concordance, of knots in 3-manifolds $M\neq S^3$. A. Levine, Celoria (arXiv:1602.05476v4), and Friedl-Nagel-Orson-Powell (arXiv:1611.09114v2) conjecture that,…
In this paper we classify complex K3 surfaces with non-symplectic automorphism of order 8 that leaves invariant a smooth elliptic curve. We show that the rank of the Picard group is either 10, 14 or 18 and the fixed locus is the disjoint…
We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data.…
Recent work has shown that if an isostatic bar and joint framework possesses non-trivial symmetries, then it must satisfy some very simply stated restrictions on the number of joints and bars that are `fixed' by various symmetry operations…
We prove that the moduli space of mathematical instanton bundles on ${\Bbb P}^3$ with $c_2=5$ is smooth.
Given a compact surface $M$, consider the natural right action of the group of diffeomorphisms $\mathcal{D}(M)$ of $M$ on $\mathcal{C}^{\infty}(M,\mathbb{R})$ defined by the rule: $(f,h)\mapsto f\circ h$ for $f\in…
We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $\theta$-groups, it…
We study the topological structure of the symmetry group of the standard model, $G_{SM}=U(1)\times SU(2)\times SU(3)$. Locally, $G_{SM}\cong S^1\times (S^3)^2\times S^5$. For SU(3), which is an $S^3$ bundle over $S^5$ (and therefore a local…
We show that the group of smooth homotopy $7$-spheres acts freely on the set of smooth manifold structures on a topological manifold $M$ which is homotopy equivalent to the real projective $7$-space. We classify, up to diffeomorphism, all…
In this paper, we prove several rigidity results for complete noncompact manifolds with nonnegative intermediate curvatures. We show that when either $3\leq n\leq 5$, $1\leq m\leq n-1$, or $6\leq n\leq 7$, $m\in \{1,n-1,n-2\}$, any manifold…
Let $M, N$ the be smooth manifolds, $\mathcal{C}^{r}(M,N)$ the space of ${C}^{r}$ maps endowed with weak $C^{r}$ Whitney topology, and $\mathcal{B} \subset \mathcal{C}^{r}(M,N)$ an open subset. It is proved that for $0\leq r<s\leq\infty$…
We prove that group homology of the diffeomorphism group of $\#^g S^n \times S^n$ as a discrete group is independent of $g$ in a range, provided that $n>2$. This answers the high dimensional version of a question posed by Morita about…
Let M be a closed 5-manifold of pinched curvature 0<\delta\le \text{sec}_M\le 1. We prove that M is homeomorphic to a spherical space form if M satisfies one of the following conditions: (i) \delta =1/4 and the fundamental group is a…
Kreck proved that two $2q$-manifolds are stably diffeomorphic if and only if they admit normally bordant normal $(q-1)$-smoothings over the same normal $(q-1)$-type $(B,\xi)$. We show that stable diffeomorphism can be replaced by…
We study the isometry groups of compact spherical orientable $3$-orbifolds $S^3/G$, where $G$ is a finite subgroup of $\mathrm{SO}(4)$, by determining their isomorphism type. Moreover, we prove that the inclusion of $\mbox{Isom}(S^3/G)$…
For a closed smooth manifold $M$ admitting a symplectic structure, we define a smooth topological invariant $Z(M)$ using almost-K\"ahler metrics, i.e. Riemannian metrics compatible with symplectic structures. We also introduce $Z(M,…
The main result of this paper states that a symplectic s-cobordism of elliptic 3-manifolds is diffeomorphic to a product (assuming a canonical contact structure on the boundary). Based on this theorem, we conjecture that a smooth…
We generalize the Manolescu-Owens smooth concordance invariant delta(K) of knots K in the 3-sphere to invariants delta_{p^n}(K) obtained by considering covers of order p^n, with p prime. Our main result shows that for any odd prime p, the…
For any smooth compact manifold $W$ of dimension at least two we prove that the classifying spaces of its group of diffeomorphisms which fix a set of $k$ points or $k$ embedded disks (up to permutation) satisfy homology stability. The same…