arXiv research

We give a proof of Ilmanen's lemma, which asserts that between a locally semi-convex and a locally semi-concave function it is possible to find a C$^{1,1}$ function.

Solves local minima problems on smooth manifolds.

We extend to the framework of locally $L^0$-convex modules some results from classical convex analysis. Namely, randomized versions of Mazur lemma and Krein-Smulian theorem under mild stability properties are provided.

Ricci limit spaces are semi-locally simply connected.

The Morse function $f$ near a non-degenerate critical point $p$ is understood topologically, in the light of Morse's lemma. However, Morse's lemma standardizes the function $f$ itself, providing little information of how the gradient $\nabla f$ behaves. In this paper, we prove an analytical analogue of Morse's lemma, s…

Paper extends Weyl's lemma to RCD(K,N) spaces.

In this paper we prove the Poincaré lemma on some $n$-dimensional corank 1 sub-Riemannian structures, formulating the $\frac{(n-1)n(n^2+3n-2)}{8}$ necessarily and sufficiently 'curl-vanishing' compatibility conditions. In particular, this result solves partially an open problem formulated by Calin and Chang. Our proof …

Arithmetic spaces simplified to simplicial complexes.

Algorithm learns CNF formulas from random solutions under specific conditions.

We prove a categorified version of the Poincaré lemma. The natural setting for our result is that of $\infty$-local systems. More precisely, we show that any smooth homotopy between maps $f$ and $g$ induces an $\mathsf{A}_\infty$-natural transformation between the corresponding pullback functors. This transformation is…

Explores local structure of morphisms and formal submanifolds in formal manifolds theory.

Prove a global shadow lemma for Patterson-Sullivan measures associated with relatively Morse subgroups in higher-rank semisimple Lie groups.

By use of a natural map introduced recently by the first and third authors from the space of pure-type complex differential forms on a complex manifold to the corresponding one on the small differentiable deformation of this manifold, we will give a power series proof for Kodaira-Spencer's local stability theorem of Kä…

By use of a natural extension map and a power series method, we obtain a local stability theorem for p-Kähler structures with the $(p,p+1)$-th mild $\partial\bar\partial$-lemma under small differentiable deformations.

In this paper we deduce a local deformation lemma for uniform embeddings in a metric covering space over a compact manifold from the deformation lemma for embeddings of a compact subspace in a manifold. This implies the local contractibility of the group of uniform homeomorphisms of such a metric covering space under t…

In our previous paper in \cite{C}, we generalized the almost-Schur lemma of De Lellis and Topping for closed manifolds with nonnegative Rcci curvature to any closed manifolds. In this paper, we generalize the above results to symmetric $(2,0)$-tensors and give the applications including $r$th mean curvatures of closed …

Simplified Milnor-Schwarz lemma for geometric group theory.

We prove the transversality result necessary for defining local Morse chain complexes with finite cyclic group symmetry. Our arguments use special regularized distance functions constructed using classical covering lemmas, and an inductive perturbation process indexed by the strata of the isotropy set. A global existen…

Gradient descent converges linearly for overparameterized linear networks.

We prove the non-abelian Poincare lemma in higher gauge theory in two different ways. The first method uses a result by Jacobowitz which states solvability conditions for differential equations of a certain type. The second method extends a proof by Voronov and yields the explicit gauge parameters connecting a flat loc…

New applications of trace embedding lemma show exotic 4-manifolds properties.

v2: An additional assumption was added in Theorem 4.8. In order to show that a connected abelian group is admissible on the site of locally compact spaces we must in addition assume that it is locally topologically divisible. This condition is used in the proof of Lemma 4.62.

A locally conformally Kahler (LCK) manifold is a complex manifold with a Kahler structure on its covering and the deck transform group acting on it by holomorphic homotheties. One could think of an LCK manifold as of a complex manifold with a Kahler form taking values in a local system $L$, called the conformal weight …

New algorithm for precise changepoint localization without assumptions.

Study shows critical width for rigidity of equatorial zones on spheres.

Sharp estimate for nodal domains intersecting a ball on a Riemannian manifold.

The paper proves a logarithmic partial derivative lemma and applies it to several geometric problems.

We study a class of fourth-order geometric problems modelling Willmore surfaces, conformally constrained Willmore surfaces, isoperimetrically constrained Willmore surfaces, bi-harmonic surfaces in the sense of Chen, among others. We prove several local energy estimates and derive a global gap lemma.

Counterexample shows Ito integrand needn't be locally square integrable.

Explains the Schwarz lemma in lecture notes.

We consider the local analytic behavior for a family of holomorphic differentials on a family of degenerating annuli. Three results and discussion are presented. The first is the normal families Lemma 1. The second is an isomorphism of sheaves, formula (3), giving a direct description of families of regular $k$-differe…

Author provides an alternate proof of the free ribbon lemma.

The paper extends Schwarz's lemma to RC-positivity and complex manifolds.

We show how the classical Moser Lemma from symplectic geometry extends to generalized complex structures (GCS) on arbitrary Courant algebroids. For this, we extend the notion of Lie derivative to sections of the tensor bundle $(\otimes^i E)\otimes(\otimes^j E^*)$ with respect to sections of the Courant algebroid $E$ us…

Survey on strong closing lemmas in Hamiltonian dynamics.

Unified Schwarz lemma in Kähler and Hermitian geometry.

Paper generalizes Schwarz Lemma for VT harmonic maps with conditions.

Formulates Index III lemma and Rauch III theorem with applications.

New Schwarz Lemma for Bergman metrics in bounded domains.

Globalisation theorem for Lorentzian spaces with curvature bounds.

Proves Hawking's theorem for less smooth spacetime metrics.

Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd mapping theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rel…

Paper proves a discrete Schwarz-Pick lemma for generalized circle packings.

The paper improves Zakalyukin's lemma for frontals and applies it to surface singularities.

Meridian lemma extended to fully alternating links in thickened surfaces.

Proves a quantitative closing lemma for negatively curved manifolds.

Paper generalizes Schwarz lemma for harmonic maps between Riemannian manifolds.

Extends Margulis Lemma to RCD(K,N) spaces.