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

We compare the invariants of flat vector bundles defined by Atiyah et al. and Jones et al. and prove that, up to weak homotopy, they induce the same map, denoted by $e$, from the $0$-connective algebraic $K$-theory space of the complex…

We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives…

Diffeological spaces are generalizations of smooth manifolds. In this paper, we study the homotopy theory of diffeological spaces. We begin by proving basic properties of the smooth homotopy groups that we will need later. Then we introduce…

In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…

We construct a new infinite-dimensional family of homogeneous quasimorphisms on the group of Hamiltonian diffeomorphisms of the two-sphere. Moreover, for any constant $K$ less than the total area of the sphere, we produce unbounded…

We determine $\pi_*(BDiff_\partial(D^{2n})) \otimes \mathbb{Q}$ for $2n \geq 6$ completely in degrees $* \leq 4n-10$, far beyond the pseudoisotopy stable range. Furthermore, above these degrees we discover a systematic structure in these…

We study the rational homotopy types of classifying spaces of automorphism groups of smooth simply connected manifolds of dimension at least five. We give dg Lie algebra models for the homotopy automorphisms and the block diffeomorphisms of…

We study when a smooth variety $X$, embedded diagonally in its Cartesian square, is the zero scheme of a section of a vector bundle of rank $\dim(X)$ on $X\times X$. We call this the diagonal property (D). It was known that it holds for all…

The configuration space of k points on a manifold carries an action of its diffeomorphism group. The homotopy quotient of this action is equivalent to the classifying space of diffeomorphisms of a punctured manifold, and therefore admits…

We prove that a real analytic pseudo-rotation $f$ of the disc or the sphere is never topologically mixing. When the rotation number of $f$ is of Brjuno type, the latter follows from a KAM theorem of R\"ussmann on the stability of real…

We construct homotopically non-trivial maps from S^m to S^n with arbitrarily small 3-dilation for certain pairs (m,n). The simplest example is m=4, n=3. Other examples include arbitrarily large values of m and n. We show that a homotopy…

Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense…

If $G$ is a finitely generated group with generators $\{g_1,..., g_s\}$, we say an infinite-order element $f \in G$ is a distortion element of $G$ provided that $\displaystyle \liminf_{n \to \infty} \frac{|f^n|}{n} = 0$, where $|f^n|$ is…

We compute the Eells-Kuiper invariant of the Berger manifold SO(5)/SO(3) and determine that it is diffeomorphic to the total space of an S^3-bundle over S^4. This answers a question raised by K. Grove and W. Ziller.

Let $M$ be a manifold and $T^*M$ be the cotangent bundle. We introduce a 1-cocycle on the group of diffeomorphisms of $M$ with values in the space of linear differential operators acting on $C^{\infty} (T^*M).$ When $M$ is the…

We prove that a circle bundle over a closed oriented aspherical manifold with hyperbolic fundamental group admits a self-map of absolute degree greater than one if and only if it is virtually trivial. This generalizes in every dimension the…

Let $M^n$, $n\geq 3$, be a closed orientable $n$-manifold and $\mathbb{D}_k(M^n;a,b,c)$ the set of axiom A diffeomorp\-hisms $f: M^n\to M^n$ satisfying the following conditions: (1) $f$ has $k\geq 1$ nontrivial basic sets each is either an…

This paper gives the classifications of certain manifolds $\mathcal{M}$ of dimension $13$ up to diffeomorphism, homeomorphism, and homotopy equivalence, whose cohomology rings are isomorphic to $H^\ast(\mathrm{CP}^3\times S^7;\mathbb{Z})$.…

The main goal of this article is to construct some geometric invariants for the topology of the set $\mathcal{F}$ of flat connections on a principal $G$-bundle $P\,\longrightarrow\, M$. Although the characteristic classes of principal…

Donaldson has shown that the moduli space of monopoles $M_k$ is diffeomorphic to the space $\Rat_k$ of based rational maps from the two-sphere to itself. We use this diffeomorphism to give an explicit description of the bundle on $\Rat_k$…