arXiv research

Study on regularity of exceptional actions and moduli of continuity for circle diffeomorphisms.

The elliptic 3-manifolds are the closed 3-manifolds that admit a Riemannian metric of constant positive curvature, that is, those that have finite fundamental group. The (Generalized) Smale Conjecture asserts that for any elliptic 3-manifold M, the inclusion from the isometry group of M to the diffeomorphism group of M…

It is a celebrated result of Mather that the group of $C^k$--diffeomorphisms of an $n$--manifold is simple, provided that a mild isotopy condition is satisfied, with the possible exception of $k=n+1$. The purpose of this article is mostly expository, and in it we give a detailed account of Mather's proof in the case wh…

We determine all the normal subgroups of the group of C^r diffeomorphisms of R^n, r = 1,2,...,infinity, except when r=n+1 or n=4, and also of the group of homeomorphisms of R^n (r=0). We also study the group A_0 of diffeomorphisms of an open manifold M that are isotopic to the identity. If M is the interior of a compac…

This is a "software upgrade" to a paper originally published in 1976, with cleaner statements and improved proofs. The main result is that, in a Haken 3-manifold, the space of all incompressible surfaces in a single isotopy class is contractible, except when the surface is the fiber of a surface bundle structure, in wh…

In this paper, we are concerned with interactions between isoparametric theory and differential topology. Two foliations are called equivalent if there exists a diffeomorphism between the foliated manifolds mapping leaves to leaves. Using differential topology, we obtain several results towards the classification probl…

Study shows Hamiltonian diffeomorphisms form a connected component in $C^0$-topology for most symplectic rational surfaces.

New Virasoro-like structures for circle diffeomorphisms with breaks.

As our main theorem, we prove that a Lipschitz map from a compact Riemannian manifold $M$ into a Riemannian manifold $N$ admits a smooth approximation via immersions if the map has no singular points on $M$ in the sense of F.H. Clarke, where $\dim M \leq \dim N$. As its corollary, we have that if a bi-Lipschitz homeomo…

New compact mean convex hypersurfaces found for positive λ.

We study the topology of closed, simply-connected, 6-dimensional Riemannian manifolds of positive sectional curvature which admit isometric actions by $SU(2)$ or $SO(3)$. We show that their Euler characteristic agrees with that of the known examples, i.e. $S^6$, $\mathbb{CP}^3$, the Wallach space $SU(3)/T^2$ and the bi…

In the double field theory, gauge symmetries are realized as generalized diffeomorphisms in the doubled spacetime. By consistency of the theory, dependence of tensor fields on the doubled coordinates is strongly constrained. This causes finite transformation law highly complicated, both technically and conceptually. In…

In this paper we define the analogue of Calabi--Yau geometry for generic $D=4$, $\mathcal{N}=2$ flux backgrounds in type II supergravity and M-theory. We show that solutions of the Killing spinor equations are in one-to-one correspondence with integrable, globally defined structures in $E_{7(7)}\times\mathbb{R}^+$ gene…

Study equivariant isotopy in higher dimensions, finding exceptions.

Many conservative partial differential equations correspond to geodesic equations on groups of diffeomorphisms. Stability of their solutions can be studied by examining sectional curvature of these groups: negative curvature in all sections implies exponential growth of perturbations and hence suggests instability, whi…

The paper proves infinitely many strong symplectic fillings for cusp singularity links.

We investigate a class of Leibniz algebroids which are invariant under diffeomorphisms and symmetries involving collections of closed forms. Under appropriate assumptions we arrive at a classification which in particular gives a construction starting from graded Lie algebras. In this case the Leibniz bracket is a deriv…

The long-standing Alekseevskii conjecture states that a connected homogeneous Einstein space G/K of negative scalar curvature must be diffeomorphic to R^n. This was known to be true only in dimensions up to 5, and in dimension 6 for non-semisimple G. In this work we prove that this is also the case in dimensions up to …

The study explores smooth structures on specific four-manifolds with cyclic groups, finding many admit infinitely many smooth structures.

New proof shows no negative curvature Einstein metrics in specific dimensions.

In this paper we introduce the notion of cofrontal mappings, as the dual objects to frontal mappings, and study their basic local and global properties. Cofrontals are very special mappings and far from generic nor stable except for the case of submersions. It is observed that any smooth mapping can be $C^0$-approximat…

Modulo trivial exceptions, we show that smoothly nontrivial symplectic sums of symplectic 4-manifolds along surfaces of positive genus are never rational or ruled, and we enumerate each case in which they have Kodaira dimension zero (i.e., are blowups of symplectic 4-manifolds with torsion canonical class). In particul…

Akbulut has recently shown that an infinite family of Cappell-Shaneson homotopy 4-spheres is diffeomorphic to the standard 4-sphere. In the present paper, a strictly larger family is shown to be standard by a simpler method. This new approach uses no Kirby calculus except through the relatively simple 1979 paper of Akb…

Classifies surfaces with T-singularities and ample canonical class.

For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic anti-canonical hypersurfaces along the three rational curves can be deformed to smooth t…

The Generalized Smale Conjecture asserts that if M is a closed 3-manifold with constant positive curvature, then the inclusion of the group of isometries into the group of diffeomorphisms is a homotopy equivalence. For the 3-sphere, this was the classical Smale Conjecture proved by A. Hatcher. N. Ivanov proved the Gene…

Study shows Einstein structures on 4-manifolds are rigid.

Free finite group actions on non-positively curved 3-manifolds

The paper computes inertia groups of certain high-dimensional manifolds.

A visible action on a complex manifold is a holomorphic action that admits a $J$-transversal totally real submanifold $S$. It is said to be strongly visible if there exists an orbit-preserving anti-holomorphic diffeomorphism $σ$ such that $σ|_S = \mathrm{id}$. In this paper, we prove that for any Hermitian symmetric sp…

We develop a powerful new analytic method to construct complete non-compact G2-manifolds, i.e. Riemannian 7-manifolds (M,g) whose holonomy group is the compact exceptional Lie group G2. Our construction starts with a complete non-compact asymptotically conical Calabi-Yau 3-fold B and a circle bundle M over B satisfying…

Questions of geography of various classes of $4$-manifolds have been a central motivating question in $4$-manifold topology. Baykur and Korkmaz asked which small, simply connected, minimal $4$-manifolds admit a genus $2$ Lefschetz fibration. They were able to classify all the possible homeomorphism types and realize al…

This paper proves properties of uniformly hyperbolic sets and constructs Markov partitions.

Self dual symmetric R-spaces have special curves, called circles, introduced by Burstall, Donaldson, Pedit and Pinkall in 2011, whose definition does not involve the choice of any Riemannian metric. We characterize the elements of the big transformation group G of a self dual symmetric R-space M as those diffeomorphism…

A new quantum relation connects exceptional Lie algebras and knots.

Classifies exceptional Legendrian realizations of Hopf link connected sums.

Study maximal antipodal sets in exceptional symmetric spaces.

Complete exceptional surgeries identified for two-bridge links.

A closed hyperbolic 3-manifold is exceptional if its shortest geodesic does not have an embedded tube of radius $\ln(3)/2$. D. Gabai, R. Meyerhoff and N. Thurston identified seven families of exceptional manifolds in their proof of the homotopy rigidity theorem. They identified the hyperbolic manifold known as Vol3 in …

We give a complete classification of umbilical submanifolds of arbitrary dimension and codimension of $\Sf^n\times \R$, extending the classification of umbilical surfaces in $\Sf^2\times \R$ by Rabah-Souam and Toubiana as well as the local description of umbilical hypersurfaces in $\Sf^n\times \R$ by Van der Veken and …

Combining M-algebra and hyperbolic involutory algebra extends exceptional tangent spaces to 11 dimensions.

Unified solution to M-theory problems using super-exceptional geometry.

We give a complete classification of exceptional surgeries on hyperbolic alternating knots in the 3-sphere. As an appendix, we also show that the Montesinos knots M (-1/2, 2/5, 1/(2q + 1)) with q at least 5 have no non-trivial exceptional surgeries. This gives the final step in a complete classification of exceptional …

Study braid group actions on exceptional sequences using branched coverings.

The study bounds exceptional surgeries for hyperbolic knots.

Study of exceptional algebroids in relation to type IIB superstrings.

We study exceptional quotient singularities. In particular, we prove an exceptionality criterion in terms of the $α$-invariant of Tian, and utilize it to classify four-dimensional and five-dimensional exceptional quotient singularities.

This paper concerns the truly or purely cosmetic surgery conjecture. We give a survey on exceptional surgeries and cosmetic surgeries. We prove that the slope of an exceptional truly cosmetic surgery on a hyperbolic knot in $S^3$ must be $\pm 1$ and the surgery must be toroidal but not Seifert fibred. As consequence we…