Related papers: On the Smale Conjecture for Diff$(S^4)$
It is well know that $SLE_\kappa$ curves exhibit a phase transition at $\kappa=4$. For $\kappa\le 4$ they are simple curves with probability one, for $\kappa>4$ they are not. The standard proof is based on the analysis of the Bessel SDE of…
A 2018 paper by A. Levine and T. Lidman outlines a proof of the following interesting result in topology of manifolds: there is a compact smooth 4-manifold $W$ with boundary such that $W$ is homotopy equivalent to $S^2$ but there does not…
Perron and Quinn gave independent proofs in 1986 that every topological pseudo-isotopy of a simply-connected, compact topological 4-manifold is isotopic to the identity. Another result of Quinn is that every smooth pseudo-isotopy of a…
In this paper, we examine the homotopy classes of positive loops in Sp(2) and Sp(4). We show that two positive loops are homotopic if and only if they are homotopic through positive loops.
Let M be a closed orientable Seifert fibered 3-manifold with a hyperbolic base 2-orbifold, or equivalently, admitting a geometry modeled on H^2 \times R or the universal cover of SL(2,R). Our main result is that the connected component of…
The experimental results obtained in the last few years on kaon decays (K$\to2\pi$ and, above all, Ke4 decays) allow a reliable, model independent determination of low energy $\pi\pi$ scattering in the S0 wave. Using them and, eventually,…
We prove the Lie ring equivalent of the Cherlin-Zilber conjecture -- in characteristic 0, for any rank and -- in characteristic not 2, 3 for rank less than or equal to 4. Both are open in the group case.
We prove a concordance analogue of Gabai's $4$-dimensional light bulb theorem. That is, we show that when $R$ and $R'$ are homotopically (smoothly) embedded $2$-spheres in a $4$-manifold $X^4$ where $\pi_1(X^4)$ has no $2$-torsion and one…
This note serves to record examples of diffeomorphisms of closed smooth $4$-manifolds $X$ that are homotopic but not pseudoisotopic to the identity, and to explain why there are no such examples when $X$ is orientable and its fundamental…
Connected components of $\Map(S^4,B\SU(2))$ are the classifying spaces of gauge groups of principal $\SU(2)$-bundles over $S^4$. Tsukuda [Tsu01] has investigated the homotopy types of connected components of $\Map(S^4,B\SU(2))$. But…
Let $G$ be a complex reductive group and $H=G^{\theta}$ be its fixed point subgroup under a Galois involution $\theta$. We show that any $H$-distinguished representation $\pi$ (i.e $\mathrm{dim}_{\mathbb{C}}\left(\pi^{*}\right)^{H}\neq0$)…
We show that the group ${\Cal D}(M)$ of pseudoisotopy classes of diffeomorphisms of a manifold of dimension $\geq 5$ and of finite fundamental group is commensurable to an arithmetic group. As a result $\pi_0(\text{{\it Diff\,M}})$ is a…
We investigate the possibility of using the 4 dimensional $O(4)$ symmetric $\phi^4$ model as an effective theory for the sigma-pion system. We carry out lattice Monte Carlo simulations to establish the triviality bound in the case of…
Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In seeking to extend this result to other contexts Rosicky observed a key point to be that each…
Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain…
We classify and construct all irreducible positive energy representations of the loop group of a compact, connected and simple Lie group and show that they admit an intertwining action of Diff(S^{1}).
The present paper presents a counterexample to the sequentially weak density of smooth maps between two manifolds $M$ and $N$ in the Sobolev space $W^{1, p} (M, N)$, in the case $p$ is an integer. It has been shown that, if $p<\dim M $ is…
A flow is homotopy continuous if it is indefinitely divisible up to S-homotopy. The full subcategory of cofibrant homotopy continuous flows has nice features. Not only it is big enough to contain all dihomotopy types, but also a morphism…
We prove a localization theorem for exotic diffeomorphisms, showing that every diffeomorphism of a compact simply-connected 4-manifold that is isotopic to the identity after stabilizing with one copy of $S^2 \times S^2$, is smoothly…
We prove a weaker version of Zassenhaus Lemma (also known as Margulis Lemma) for subgroups of Diff(I). We also show that a group with commutator subgroup containing a free subsemigroup does not admit a C_0-discrete faithful representation…