Related papers: Log-Lipschitz and H\"older regularity imply smooth…
Let $M$ be a $C^{2}$-smooth Riemannian surface. A classical theorem in differential geometry states that the Gauss curvature function $K : M \to \mathbb{R}$ vanishes everywhere if and only if the surface is locally isometric to the…
We introduce and study a notion of Castelnuovo-Mumford regularity suitable for rational normal scroll surfaces. In this setting we prove analogs of some classical properties. We prove splitting criteria for coherent sheaves and a…
Local boundary smoothness of an analytic function f on the unit ball of C^n is compared to the smoothness of its modulus. We prove that different conditions imposed on the zeros of f imply different drops of the smoothness. We also show…
In this paper, we prove the Lipschitz regularity of continuous harmonic maps from an finite dimensional Alexandrov space to a compact smooth Riemannian manifold. This solves a conjecture of F. H. Lin in \cite{lin97}. The proof extends the…
We prove that, under rather general conditions, the 1-cohomology of a von Neumann algebra $M$ with values in a Banach $M$-bimodule satisfying a combination of smoothness and operatorial conditions, vanishes. For instance, we show that if…
Using recent developments in the theory of mixed motives, we prove that the log Bloch conjecture holds for an open smooth complex surface if the Bloch conjecture holds for its compactification. This verifies the log Bloch conjecture for all…
Smoothness and low dimensional structures play central roles in improving generalization and stability in learning and statistics. This work combines techniques from semi-infinite constrained learning and manifold regularization to learn…
We prove that every sense-preserving harmonic $K$--quasiconformal homeomorphism $f\colon D\to\Omega$ between Lyapunov domains (equivalently, bounded $C^{1,\alpha}$ domains) in $\mathbb{R}^n$, $\alpha\in(0,1]$, is globally Lipschitz on…
Let $\mathscr{A}$ be a connected cochain DG algebra such that $H(\mathscr{A})$ is a Noetherian graded algebra. We give some criteria for $\mathscr{A}$ to be homologically smooth in terms of the singularity category, the cone length of the…
For stationary two-valued harmonic functions with H\"older regularity, we establish their Lipschitz regularity and prove that the nodal set consists of analytic hypersurfaces away from a singular set. The main tools are the Almgren…
We prove an Allard-type regularity theorem for free-boundary minimal surfaces in Lipschitz domains locally modelled on convex polyhedra. We show that if such a minimal surface is sufficiently close to an appropriate free-boundary plane,…
We prove that every mod 2 integral cycle $T$ in a Riemannian manifold $\mathcal{M}$ can be approximated in flat norm by a cycle which is a smooth submanifold $\Sigma$ of nearly the same area, up to a singular set of codimension 3; in…
We prove the result stated in the title; it is equivalent to the existence of a regular point of the sub-Riemannian exponential mapping. We also prove that the metric is analytic on an open everywhere dense subset in the case of a complete…
Mather proved that the smooth stability of smooth maps between manifolds is a generic condition if and only if the pair of dimensions of the manifolds are 'nice dimensions' while topologically stability is a generic condition in any pair of…
Let $R$ be a standard graded algebra over a field $k$. We prove an Auslander-Buchsbaum formula for the absolute Castelnuovo-Mumford regularity, extending important cases of previous works of Chardin and R\"omer. For a bounded complex of…
We provide results on the smoothness of normalisers in connected reductive algebraic groups $G$ over fields $k$ of positive characteristic $p$. Specifically we we give bounds on $p$ which guarantee that normalisers of subalgebras of…
Let $M$ be a closed smooth connected spin manifold of even dimension $n$, let $g$ be a Riemannian metric of regularity $W^{1,p}$, $p > n$, on $M$ whose distributional scalar curvature in the sense of Lee-LeFloch is bounded below by…
We show the existence of a regular universal quotient as a smooth commutative algebraic group of the Chow group of 0-cycles on a projective reduced variety, and give over the field of complex numbers an analytic description of it. This…
We prove that Allard's regularity theorem holds for rectifiable $n$-dimensional varifolds $V$ assuming a weaker condition on the first variation. This, in the special case when $V$ is a smooth manifold translates to the following: If…
We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $\alpha$, with $0<\alpha<1$, in the vicinity of an exceptional boundary point where all such functions…