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

The class of special generic maps is a natural class of smooth maps containing Morse functions on spheres with exactly two singular points and canonical projections of unit spheres. We find new restrictions on such maps on $6$-dimensional…

Let $a_X:X\rightarrow \mathrm{Alb}\, X$ be the Albanese map of a smooth complex projective variety. Roughly speaking in this note we prove that for all $i \geq 0$ and $\alpha\in \mathrm{Pic}^0\, X$, the cohomology ranks $h^i(\mathrm{Alb}\,…

We study the moduli space of handlebodies diffeomorphic to $(D^{n+1}\times S^{n})^{\natural g}$, i.e. the classifying space $BDiff((D^{n+1}\times S^n)^{\natural g}, D^{2n})$ of the group of diffeomorphisms that restrict to the identity near…

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…

Type families on higher inductive types such as pushouts can capture homotopical properties of differential geometric constructions including connections, curvature, and vector fields. We define a class of pushouts based on simplicial…

We prove that all smooth sphere bundles that admit fiberwise 1/4-pinched metrics are induced bundles of vector bundles, so their structure groups reduce from the diffeomorphism group of the sphere to the orthogonal group. This result…

The well-known Reifenberg theorem states that if a subset of $\mathbb{R}^n$ can be well approximated by $k$-planes at every point and every scale, then it is biH\"older homeomorphic to a $k$-disk. This article concerns a subset $S$ of…

In this addendum, we give a differential form interpretation of the proof of the main theorem of arXiv:1812.02448, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the…

We present a general construction of embedded minimal and constant mean curvature surfaces in $\mathbb{S}^n$ and one-phase free boundaries joined by a smooth interpolation by capillary hypersurfaces. This framework recovers all known…

We consider the `unstable Boardman map' (homomorphism if $k>0$) $$b:\pi^{m+k}\Sigma^k\Omega^lS^{n+l}\simeq[\Omega^lS^{n+l},\Omega^kS^{m+k}]\longrightarrow \mathrm{Hom}(H_*\Omega^lS^{n+l},H_*\Omega^kS^{m+k})$$ defined by $h(f)=f_*$. We work…

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=V\setminus D$ be a smooth quasi-projective variety for some smooth projective variety $V$ and a divisor $D$ with normal crossings. Assume that $M$ is diffeomorphic to a non-compact nilmanifold $\Gamma\backslash N\times\mathbb{R}^m$.…

We extend the theory of diffeomorphism-invariant spin network states from the real-analytic category to the smooth category. Suppose that G is a compact connected semisimple Lie group and P -> M is a smooth principal G-bundle. A `cylinder…

For a connected based space $X$, let $[X,X]$ be the set of all based homotopy classes of base point preserving self map of $X$ and let $\E(X)$ be the group of self-homotopy equivalences of $X$. We denote by $\A_{\sharp}^k(X)$ the set of…

Let $G$ be a compact connected Lie group and $p : E\to \Sigma A$ be a principal G-bundle with a characteristic map $\alpha : A\to G$, where $A=\Sigma A_{0}$ for some $A_{0}$. Let $\{K_{i}{\to} F_{i-1}{\hookrightarrow} F_{i} \,|\, 1{\le} i…

Working over an algebraically closed field $k$ of characteristic $0$, we show that the motivic stable homotopy groups of the sphere spectrum can be determined entirely from the motivic homotopy groups of the $p$-completed sphere spectra and…

Motivated by problems in which data are given over covering generating families, we suggest a new cohomology theory for diffeological spaces, called diffeological \v{C}ech cohomology, which is an exact $ \partial $-functor of the section…

For an $\A^1$-connected pointed simplicial sheaf $\sX$ over a perfect field $k$, we prove that the Hurewicz map $\pi_1^{\A^1}(\sX) \to H_1^{\A^1}(\sX)$ is surjective. We also observe that the Hurewicz map for $\P^1_k$ is the abelianisation…

We construct infinite rank summands isomorphic to $\mathbb{Z}^\infty$ in the higher homotopy and homology groups of the diffeomorphism groups of certain $4$-manifolds. These spherical families become trivial in the homotopy and homology…

Let $D$ be a closed unit $2$-disk on the plane centered at the origin $O$, and $F$ be a smooth vector field such that $O$ is a unique singular point of $F$ and all other orbits of $F$ are simple closed curves wrapping once around $O$. Thus…