Related papers: The derivative map for diffeomorphism of disks: An…

We prove the following dichotomy: if $n=2,3$ and $f\in C^1(\mathbb{S}^{n+1},\mathbb{S}^n)$ is not homotopic to a constant map, then there is an open set $\Omega\subset\mathbb{S}^{n+1}$ such that $\mathrm{rank}\, df=n$ on $\Omega$ and…

We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its…

We construct homotopically non-trivial maps from the unit m-sphere to the unit (m-1)-sphere with arbitrarily small k-dilation for each k greater than (m + 1)/2. We prove that homotopically non-trivial maps from the unit m-sphere to the unit…

Let M be a smooth manifold which is homeomorphic to the n-fold product of S^k, where k is odd. There is an induced homomorphism from the group of diffeomorphisms of M to the automorphism group of H k (M ; Z). We prove that the image of this…

We develop a general theory for irreducible homogeneous spaces $M= G/H$, in relation to the nullity $\nu$ of their curvature tensor. We construct natural invariant (different and increasing) distributions associated with the nullity, that…

We construct a motivic homotopy theory for rigid analytic varieties with the rigid analytic affine line $\mathbb{A} ^1_\mathrm{rig}$ as an interval object. This motivic homotopy theory is inspired from, but not equal to, Ayoub's motivic…

This is a survey paper of author's results on cobordism groups and semigroups of fold maps and simple fold maps. The results include: establishing a relation between fold maps and immersions through geometrical invariants of cobordism…

We introduce the notion of translational Riemannian manifolds and define a Gauss map for orientable immersed hypersurfaces lying in these ambients, an associated translational curvature and prove a Gauss-Bonnet theorem. We also use this…

We show that all symplectically aspherical fillings of the unit cotangent bundle of a given odd-dimensional sphere are diffeomorphic to the corresponding unit co-disc bundle. The concept of fittings previously introduced is not needed.

Let $(X,o)$ be a complex normal surface singularity. We fix one of its good resolutions $\widetilde{X}\to X$, an effective cycle $Z$ supported on the reduced exceptional curve, and any possible (first Chern) class $l'\in…

We give an explicit example of a fibration $f \colon X \to Y$ between smooth projective varieties whose "orbifold base" $\Delta_f$ in the sense of Campana has the property that the induced morphism $X \to (Y, \Delta_f)$ is not a morphism of…

David Gabai recently proved a smooth 4-dimensional "Light Bulb Theorem" in the absence of 2-torsion in the fundamental group. We extend his result to 4-manifolds with arbitrary fundamental group by showing that an invariant of Mike Freedman…

We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles,…

Let $\Delta$ denote a non-degenerate $k$-simplex in $\mathbb{R}^k$. The set $\text{Sim}(\Delta)$ of simplices in $\mathbb{R}^k$ similar to $\Delta$ is diffeomorphic to $O(k)\times [0,\infty)\times \mathbb{R}^k$, where the factor in $O(k)$…

A manifold $M^n$ inherits a labeled $n$-dimensional graph $\widetilde{M}[G^L]$ structure consisting of its charts. This structure enables one to characterize fundamental groups of manifolds, classify those of locally compact manifolds with…

Let $X$ be a projective manifold, and $D$ be a normal crossing divisor of $X$. By Jost-Zuo's theorem that if we have a reductive representation $\rho$ of the fundamental group $\pi_{1}(X^{*})$ with unipotent local monodromy, where…

Let $\Sigma$ be a compact surface equipped with an area form. There is an long standing open question by Katok, which, in particular, asks whether every entropy-zero Hamiltonian diffeomorphism of a surface lies in the $C^0$-closure of the…

Motivated by the recent work of Algom-Kfir and Bestinva introducing the mapping class group of an infinite graph via proper homotopy equivalences, we give a necessary and sufficient condition for a surface to be properly homotopy equivalent…

Let $f$ be a Lipschitz map from a subset $A$ of a stratified group to a Banach homogeneous group. We show that directional derivatives of $f$ act as homogeneous homomorphisms at density points of $A$ outside a $\sigma$-porous set. At…

Using a certain well-posed ODE problem introduced by Shilnikov in the sixties, G. Minervini proved in his PhD thesis [17], among other things, the Harvey-Lawson Diagonal Theorem but without the restrictive tameness condition for Morse…