English
Related papers

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

200 papers

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…

Probability · Mathematics 2020-01-30 Dmitry Beliaev , Terry J. Lyons , Vlad Margarint

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…

Geometric Topology · Mathematics 2020-03-02 A. Skopenkov

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…

Geometric Topology · Mathematics 2026-03-24 David Gabai , David T. Gay , Daniel Hartman , Vyacheslav Krushkal , Mark Powell

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.

dg-ga · Mathematics 2007-05-23 Jennifer Slimowitz

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…

Geometric Topology · Mathematics 2010-05-28 Darryl McCullough , Teruhiko Soma

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,…

High Energy Physics - Phenomenology · Physics 2008-11-26 F. J. Yndurain , R. Garcia-Martin , J. R. Pelaez

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.

Logic · Mathematics 2023-09-25 Adrien Deloro , Jules Tindzogho Ntsiri

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…

Geometric Topology · Mathematics 2019-03-08 Maggie Miller

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…

Geometric Topology · Mathematics 2024-09-19 Manuel Krannich , Alexander Kupers

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…

Algebraic Topology · Mathematics 2014-02-11 Mitsunobu Tsutaya

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$)…

Representation Theory · Mathematics 2017-11-27 Itay Glazer

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…

Geometric Topology · Mathematics 2009-09-25 Georgia Triantafillou

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…

High Energy Physics - Phenomenology · Physics 2019-10-02 Gergely Markó , Zsolt Szép

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…

Category Theory · Mathematics 2022-01-31 John Bourke

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…

Geometric Topology · Mathematics 2015-11-30 James F. Davis

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}).

Quantum Algebra · Mathematics 2009-11-07 Valerio Toledano-Laredo

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…

Functional Analysis · Mathematics 2018-05-15 Fabrice Bethuel

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…

Algebraic Topology · Mathematics 2007-05-23 Philippe Gaucher

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…

Geometric Topology · Mathematics 2026-02-27 Vyacheslav Krushkal , Anubhav Mukherjee , Mark Powell , Terrin Warren

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…

Group Theory · Mathematics 2013-10-03 Azer Akhmedov