Related papers: On the Smale Conjecture for Diff$(S^4)$

In this paper, we determine the homotopy type of the Morse complex of certain collections of simplicial complexes by studying dominating vertices or strong collapses. We show that if $K$ contains two leaves that share a common vertex, then…

We show that the homotopy type of a finite oriented Poincar\'{e} 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and…

In this paper we show that for a connected compact Lie group to be acceptable it is necessary and sufficient that its derived subgroup is isomorphic to a direct product of the groups $\SU(n)$, $\Sp(n)$, $\SO(2n+1)$, $\G_2$, $\SO(4)$. We…

For embedded 2-spheres in a 4-manifold sharing the same embedded transverse sphere homotopy implies isotopy, provided the ambient 4-manifold has no $\BZ_2$-torsion in the fundamental group. This gives a generalization of the classical light…

Let \Pi\ be a cuspidal automorphic representation for GL(4) over a number field F. We obtain unconditional lower bounds on the number of places at which the Satake parameters are not "too large". In the case of self-dual \Pi\ with…

We give a new proof of the reversibility of the Schramm Loewner evolution for $\kappa \leq 4$. The main ideas used in the proof are similar to those used in the original proof of this result, given by Zhan.

We solve the differentiation problem for Lie $\infty$-groups. Our approach builds on a classical version of Cartier duality which canonically identifies the Hopf algebra of point distributions supported at the identity of a Lie group with…

We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…

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 establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the "dimension problem" by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be…

We determine the L-S category of Sp(3) by showing that the 5-fold reduced diagonal $\widebar{\Delta}_5$ is given by $\nu^2$, using a Toda bracket and a generalised cohomology theory $h^*$ given by $h^*(X,A) = \{X/A,{\mathbb S}[0,2]\}$,…

Suppose that $\eta$ is a whole-plane space-filling SLE$_\kappa$ for $\kappa \in (4,8)$ from $\infty$ to $\infty$ parameterized by Lebesgue measure and normalized so that $\eta(0) = 0$. For each $T > 0$ and $\kappa \in (4,8)$ we let…

Strong bounds are obtained for the number of automorphic forms for the group $\Gamma_0(q) \subseteq \operatorname{Sp}(4,\mathbb{Z})$ violating the Ramanujan conjecture at any given unramified place, which go beyond Sarnak's density…

We show a sharp conformally invariant gap theorem for Yang-Mills connections in dimension 4 by exploiting an associated Yamabe-type problem.

In this paper, we completely classify all compact 4-manifolds with positive isotropic curvature. We show that they are diffeomorphic to $\mathbb{S}^4,$ or $\mathbb{R}\mathbb{P}^4$ or quotients of $\mathbb{S}^3\times \mathbb{R}$ by a…

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong…

The purpose of this note is to show that, in contrast to the ${\Bbb F}_p$-case (proven in [7]), the $p$-primary and $p$-adic cases of the Isotropy Conjecture, claiming that the isotropic Chow groups with ${\Bbb Z}/p^r$, $r>1$, respectively,…

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…

We prove that a Casson tower of height 4 contains a flat embedded disc bounded by the attaching circle, and we prove disc embedding results for height 2 and 3 Casson towers which are embedded into a 4-manifold, with some additional…

We provide a sufficient condition for the nontriviality of the Lipschitz homotopy group of the Heisenberg group, $\pi_m^{Lip}(H_n)$, in terms of properties of the classical homotopy group of the sphere, $\pi_m(S^n)$. As an application we…