Related papers: Sharp quantitative stability of the M\"obius group…
In this paper we prove a strong two-scale approximation result for sphere-valued maps in $L^2(\Omega;W^{1,2}_0(Q_0;\mathbb{S}^2))$, where $\Omega\subset \mathbb{R}^3$ is an open domain and $Q_0\subset Q$ an open subset of the unit cube…
We provide an isoperimetric comparison theorem for small volumes in an $n$-dimensional Riemannian manifold $(M^n,g)$ with strong bounded geometry, as in Definition $2.3$, involving the scalar curvature function. Namely in strong bounded…
We prove a strong form of the quantitative Sobolev inequality in $\mathbb{R}^n$ for $p\geq 2$, where the deficit of a function $u\in \dot W^{1,p} $ controls $\| \nabla u -\nabla v\|_{L^p}$ for an extremal function $v$ in the Sobolev…
The purpose of this paper is to study a complete orientable minimal hypersurface with finite index in an $(n+1)$-dimensional Riemannian manifold $N$. We generalize Theorems 1.5-1.6 (\cite{Seo14}). In 1976, Schoen and Yau proved the…
Assume $n\geq3$ and $u\in \dot{H}^1(\mathbb{R}^n)$. Recently, Piccione, Yang and Zhao \cite{Piccione-Yang-Zhao} established a nonlocal version of Struwe's decomposition in \cite{Struwe-1984}, i.e., if $\Gamma(u):=\left\|\Delta…
We establish Liouville type theorems for elliptic systems with various classes of non-linearities on $\mathbb{R}^N$. We show among other things, that a system has no semi-stable solution in any dimension, whenever the infimum of the…
Let $q>1$, $(1-\frac{1}{q})a\geq 1$ and let $\Omega\subset \mathbb{R}^2$ be Lipschitz domain. We show that planar mappings in the second order Sobolev space $f\in W^{2,q}(\Omega,\mathbb{R}^2)$ with $|J_f|^{-a}\in L^1(\Omega)$ are…
Let S^n be the standard n-sphere embedded in R^{n+1}. A mapping T: S^n \to S^n, not assumed continuous or even measurable, nor injective, is called weakly circle-preserving if the image of any circle under T is contained in some circle in…
We introduce a curvature atlas for left-invariant metrics on SU(2), based on the inertial curvature field derived from the Euler-Poincare equations. We prove that the classical integrable cases of the heavy top--spherical, Lagrange,…
We prove a Liouville type theorem for entire maximal $m$-subharmonic functions in $\mathbb C^n$ with bounded gradient. This result, coupled with a standard blow-up argument, yields a (non-explicit) a priori gradient estimate for the complex…
The Borell-Brascamp-Lieb inequality is a classical extension of the Pr\'ekopa-Leindler inequality, which in turn is a functional counterpart of the Brunn-Minkowski inequality. The stability of these inequalities has received significant…
For dimensions $n \geq 3$, we classify singular solutions to the generalized Liouville equation $(-\Delta)^{n/2} u = e^{nu}$ on $\mathbb{R}^n \setminus \{0\}$ with the finite integral condition $\int_{\mathbb{R}^n} e^{nu} < \infty$ in terms…
Let $X, Y$ be complete, simply connected Riemannian surfaces with pinched negative curvature $-b^2 \leq K \leq -1$. We show that if $f : \partial X \to \partial Y$ is a Moebius homeomorphism between the boundaries at infinity of $X, Y$,…
Given an arbitrary planar $\infty$-harmonic function $u$, for each $\alpha>0$ we establish a quantitative local $W^{1,2}$-estimate of $|Du|^\alpha $, which is sharp as $\alpha\to0$. We also show that the distributional determinant of $u$ is…
The classical Arnold-Liouville theorem describes the geometry of an integrable Hamiltonian system near a regular level set of the moment map. Our results describe it near a nondegenerate singular level set: a tubular neighborhood of a…
We prove that level $5$ Witten-Reshetikhin-Turaev $\mathrm{SO}(3)$ quantum representations, also known as the Fibonacci representations, of mapping class groups are locally rigid. More generally, for any prime level $\ell$, we prove that…
The first main result is a topological rigidity theorem for complete immersed hypersurfaces of spherical space forms which extends similar results due to do Carmo/Warner, Wang/Xia and Longa/Ripoll. Under certain sharp conditions on the…
We prove a rigidity result for certain $p$-complete \'etale $\mathbf{A}^{1}$-invariant sheaves of anima over a qcqs finite-dimensional base scheme $S$ of bounded \'etale cohomological dimension with $p$ invertible on $S$. This generalizes…
We identify the images of the comparision maps from ordinary homology and Sobolev homology, respectively, to the $l^1$-homology of a word-hyperbolic group with coefficients in complete normed modules. The underlying idea is that there is a…
In this paper, we prove sharp gradient estimates for positive solutions to the weighted heat equation on smooth metric measure spaces with compact boundary. As an application, we prove Liouville theorems for ancient solutions satisfying the…