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

We give estimates for the probability that a chordal, radial or two-sided radial SLE$_\kappa$ curve retreats far from its terminal point after coming close to it, for $\kappa \leq 4$. The estimates are uniform over all initial segments of…

Low energy theorems have been derived for the coefficients of the effective range expansion in s-wave nucleon-nucleon scattering valid to leading nontrivial order in an expansion based $Q$ counting, a scheme in which both $m_\pi$ and $1/a$…

We show that in every dimension greater than or equal to 4, there exist compact Kaehler manifolds which do not have the homotopy type of projective complex manifolds. Thus they a fortiori are not deformation equivalent to a projective…

We study connections between the $W^1_p$-differentiability and the $L_p$-differentiability of Sobolev functions. We prove that, $W^1_p$-differentiability implies the $L_p$-differentiability, but the opposite implication is not valid. The…

We develop functoriality for Morse theory, namely, to a pair of Morse-Smale systems and a generic smooth map between the underlying manifolds we associate a chain map between the corresponding Morse complexes, which descends to the correct…

Let $\pi$ be a group satisfying the Farrell-Jones conjecture and assume that $B\pi$ is a 4-dimensional Poincar\'e duality space. We consider topological, closed, connected manifolds with fundamental group $\pi$ whose canonical map to $B\pi$…

We present a sorry-free Lean 4/mathlib4 formalization of Stokes' theorem for smooth singular cubes in arbitrary dimension, using true differential-form pullback via the Frechet derivative. The development also includes a bridge to…

Given a curve X of the form y^p = h(x) over a number field, one can use descents to obtain explicit bounds on the Mordell-Weil rank of the Jacobian or to prove that the curve has no rational points. We show how, having performed such a…

In a seminal 1994 paper, Lusztig extended the theory of total positivity by introducing the totally non-negative part (G/P)_{\geq 0} of an arbitrary (generalized, partial) flag variety G/P. He referred to this space as a "remarkable…

Recent claims of the Seattle group of evidence of "slope difference between CD [Coulomb Dissociation] and direct [capture] results" are based on wrong and selective data. When the RIKEN2 data are included correctly, and previously published…

Let $M$ be a smooth compact surface, orientable or not, with boundary or without it, $P$ either the real line $R^1$ or the circle $S^1$, and $Diff(M)$ the group of diffeomorphisms of $M$ acting on $C^{\infty}(M,P)$ by the rule $h\cdot…

In this paper, we obtain a fractional Hardy inequality in the case $Q<sp$ on homogeneous Lie groups, and as an application we show the corresponding uncertainty principle. Also, we show a fractional Hardy-Sobolev type inequality on…

As the reviewer have pointed out, the proof of Roelke Conjecture contains an error. For cofinite groups, we obtain a formula connecting the discrete spectrum of Laplace operator and the resonance spectrum. Using this formula, we give a…

We show that the local Langlands conjecture for $Sp(2n)$ follows from that for $GSp(2n)$. In particular, we prove the local Langlands conjecture for $Sp(4)$, based on our previous work on the local Langlands conjecture for $GSp(4)$. We also…

The aim of this paper is to give an $s$-cobordism classification of topological $4$-manifolds in terms of the standard invariants using the group of homotopy self-equivalences. Hambleton and Kreck constructed a braid to study the group of…

We study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in [T. Hyttinen, On nonstructure of elementary submodels of a stable homogeneous structure, Fundamenta Mathematicae, 156(1998):…

The homotopy theory of small functors is a useful tool for studying various questions in homotopy theory. In this paper, we develop the homotopy theory of small functors from spectra to spectra, and study its interplay with…

In classical homotopy theory, two spaces are homotopy equivalent if one space can be continuously deformed into the other. This theory, however, does not respect the discrete nature of graphs. For this reason, a discrete homotopy theory…

In a recent work with Kindler and Wimmer we proved an invariance principle for the slice for low-influence, low-degree functions. Here we provide an alternative proof for general low-degree functions, with no constraints on the influences.…

We compare the isoperimetric profiles of $S^2 \times \re^3$ and of $S^3 \times \re^2$ with that of a round 5-sphere (of appropriate radius). Then we use this comparison to obtain lower bounds for the Yamabe constants of $S^2 \times \re^3$…