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

We give a transport proof of a discrete version of the displacement convexity of entropy on integers (Z), and get, as a consequence, two discrete forms of the Pr{\'e}kopa-Leindler Inequality : the Four Functions Theorem of Ahlswede and…

We prove the $l^2$ Decoupling Conjecture for compact hypersurfaces with positive definite second fundamental form and also for the cone. This has a wide range of important consequences. One of them is the validity of the Discrete…

It is shown that any finite list of smooth closed simply-connected 4-manifolds homeomorphic to a given one X can be obtained by removing a single compact contractible submanifold (or cork) from X, and then regluing it by powers of a…

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 $M$ be a unitary $S^1$-manifold with only isolated fixed points such that $M$ is not a boundary. We show that $4\chi(M)>\dim M$, where $\chi(M)$ is the Euler characteristic of $M$. This gives an affirmative answer of Kosniowski…

We formulate ``Witten'' matching conditions for confining gauge theories. The conditions are analogous to 't Hooft's, but involve Witten's global SU(2) anomaly. Using a group theoretic result of Geng, Marshak, Zhao and Okubo, we show that…

We study the spectrum of simplicial volume for closed manifolds with fixed fundamental group and relate the gap problem to rationality questions in bounded (co)homology. In particular, we show that in many cases this spectrum has a gap at…

It is an open problem whether Kirk's $\sigma$ invariant is the complete obstruction to a link map $S^2\cup S^2\to S^4$ being link homotopically trivial. With the objective of constructing counterexamples, Li proposed a link homotopy…

Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum…

We present a new short proof of the explicit formula for the group of links (and also link maps) in the 'quadruple point free' dimension. Denote by $L^m_{p,q}$ (respectively, $C^{m-p}_p$) the group of smooth embeddings $S^p\sqcup S^q\to…

We examine the following fourth order H\'enon equation \label{pipe} \Delta^2 u = |x|^\alpha u^p \qquad \text{in}\ \IR^N, where $ 0 < \alpha$. Define the Hardy-Sobolev exponent $ p_4(\alpha):= \frac{N+4 + 2 \alpha}{N-4}$. We show that in…

This paper adresses the question whether the $LS$-sequences constructed by Carbone yield indeed a new family of low discrepancy sequences. While it is well known that the case $S=0$ corresponds to van der Corput sequences, we prove here…

In this paper we prove a general vanishing result for Kohlhaase's higher smooth duality functors $S^i$. If $G$ is any unramified connected reductive $p$-adic group, $K$ is a hyperspecial subgroup, and $V$ is a Serre weight, we show that…

We establish the existence of a pair of exotic surfaces in a punctured $K3$ which remains exotic after one external stabilization and have diffeomorphic complements. A key ingredient in the proof is a vanishing theorem of the family…

A $4$-move is a local operation for links consisting in replacing two parallel arcs by four half twists. At the present time, it is not known if this induces an unkotting operation for knots. Studying the Dabkowski-Sahi invariant, we prove…

In this note we prove the following useful fact that seems to be missing from the literature: the $\infty$-category of coherent ordinary topoi (in the sense of SGA4) is equivalent to the $\infty$-category of coherent $1$-localic…

A remarkable conjecture of Feige (2006) asserts that for any collection of $n$ independent non-negative random variables $X_1, X_2, \dots, X_n$, each with expectation at most $1$, $$ \mathbb{P}(X < \mathbb{E}[X] + 1) \geq \frac{1}{e}, $$…

In [3], after defining notions of LS category in the simplicial context, the authors show that the geometric simplicial LS category is non-decreasing under strong collapses. However, they do not give examples where it increases strictly,…

In 2001 W. Gosper introduced a constant Pi_{q} and conjectured without proofs many intriguing identities on this constant. In this paper we establish some modular equations of degrees 3 and 5. From these modular equations we confirm two…

In this article we investigate a pair of surjective local ring maps $S_1\leftarrow R\to S_2$ and their relation to the canonical projection $R\to S_1\otimes_R S_2$, where $S_1,S_2$ are Tor-independent over $R$. Our main result asserts a…