Related papers: Stokes Theorem for Lipschitz forms on a smooth man…

We prove the positive mass theorem on conical manifold with small cone angle and co-dimensional two singularities under the assumption that the ambient manifold admits a spin structure and locally conformal flat

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…

We prove a Morse index theorem for action functionals on paths that are allowed to reflect at a hypersurface (either in the interior or at the boundary of a manifold). Both fixed and periodic boundary conditions are treated.

We study the Stokes phenomenon for the solutions of general homogeneous linear moment partial differential equations with constant coefficients in two complex variables under condition that the Cauchy data are holomorphic on the complex…

The mean curvature flow is the gradient flow of volume functionals on the space of submanifolds. We prove a fundamental regularity result of the mean curvature flow in this paper: a Lipschitz submanifold with small local Lipschitz norm…

We study the stationary Stokes system with variable coefficients in the whole space, a half space, and on bounded Lipschitz domains. In the whole and half spaces, we obtain a priori $\dot W^1_q$-estimates for any $q\in [2,\infty)$ when the…

We obtain global and local theorems on the existence of invariant manifolds for perturbations of non autonomous linear difference equations assuming a very general form of dichotomic behavior for the linear equation. The results obtained…

In this paper we introduce the notion of a smooth structure on a stratified space, the notion of a Poisson smooth structure and the notion of a weakly symplectic smooth structure on a stratified symplectic space, refining the concept of a…

We prove a rigidity theorem in Poisson geometry around compact Poisson submanifolds, using the Nash-Moser fast convergence method. In the case of one-point submanifolds (fixed points), this immediately implies a stronger version of Conn's…

We prove local Strichartz estimates on compact manifolds with boundary. Our results also apply more generally to compact manifolds with Lipschitz metrics.

We prove a reflection principle for minimal surfaces in smooth (non necessarily analytic) three manifolds and we give an explicit application when the ambient space is just a smooth manifold.

We extend the famous Erd\H{o}s-Szekeres theorem to $k$-flats in ${\mathbb{R}^d}$

We show that if a manifold M admits a contact structure, then so does M\times S^2. Our proof relies on surgery theory, a theorem of Eliashberg on contact surgery and a theorem of Bourgeois showing that if M admits a contact structure then…

We prove the Proportionality Principle for the Lipschitz simplicial volume without any restriction on curvature. Our argument is based on the construction of a suitable \emph{pseudostraightening} for simplices.

We prove a splitting theorem for a smooth noncompact manifold with (possibly noncompact) boundary. We show that if a noncompact manifold of dimension $n\geq 2$ has $\lambda_1(-\alpha\Delta+\operatorname{Ric})\geq 0$ for some…

We prove the so called Liv\v{s}ic theorem for cocycles taking values in the group of $C^{1+\beta}-diffeomorphisms of any closed manifold of arbitrary dimension. Since no localization hypothesis is assumed, this result is completely global…

Using the concept of a twisted trace density on a cyclic groupoid, a trace is constructed on a formal deformation quantization of a symplectic orbifold. An algebraic index theorem for orbifolds follows as a consequence of a local…

In this paper, we prove that Bloch's conjecture holds for all smooth, complex, projective surfaces with $p_g=q=0$ and $K^2=9$.

In this article, we give an overview on known as well as new results on the boundedness of the $H^{\infty}$-calculus of the Stokes operator in rough as well as in unbounded (smoother) domains. We present a special case of an abstract…

We develop a Nitsche-based formulation for a general class of stabilized finite element methods for the Stokes problem posed on a pair of overlapping, non-matching meshes. By ex- tending the least-squares stabilization to the overlap…