arXiv research

We prove the Myers-Steenrod theorem for local topological groups of isometries acting on pointed $\mathcal{C}^{k,α}$-Riemannian manifolds, with $k+α>0$. As an application, we infer a new regularity result for a certain class of locally homogeneous Riemannian metrics.

New proofs confirm travel time data determine simple metrics on a disc.

We prove a version of Myers-Steenrod's theorem for Finsler manifolds under minimal regularity hypothesis. In particular we show that an isometry between $C^{k,α}$-smooth (or partially smooth) Finsler metrics, with $k+α>0$, $k\in \mathbb{N} \cup \{0\}$, and $0 \leq α\leq 1$ is necessary a diffeomorphism of class $C^{k+1…

This paper considers fundamental issues related to Finslerian isometries, submetries, distance and geodesics. It is shown that at each point of a Finsler manifold there is a distance coordinate system. Using distance coordinates, a simple proof is given for the Finslerian version of the Myers-Steenrod theorem and for t…

In this paper we prove that an isometry between orbit spaces of two proper isometric actions is smooth if it preserves the codimension of the orbits or if the orbit spaces have no boundary. In other words, we generalize Myers-Steenrod's theorem for orbit spaces. These results are proved in the more general context of s…

We prove existence of harmonic coordinates for the nonlinear Laplacian of a Finsler manifold and apply them in a proof of the Myers--Steenrod theorem for Finsler manifolds. Different from the Riemannian case, these coordinates are not suitable for studying optimal regularity of the fundamental tensor, nevertheless, we …

Theorems prove upper bounds for foliations on closed Alexandrov spaces.

AI generates theorems and proofs for training theorem provers.

Global inverse function theorem proved easily using Riemannian geometry.

A new comparison theorem for geometric spaces.

Paper develops formulas and theorems in Hermitian geometry.

The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.

Revises a theorem by Thurston, finding a counter-example and a weaker version.

Proofs for Moon's theorem and its generalization.

Analyzes Saito vanishing theorem using $L^{2}$ methods.

Investigates proving geometric theorems over complex and real numbers using tilings.

Extends symplectic reduction and theorem to Lie algebroids.

Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.

Proves Thurston's bounded image theorem for Haken manifolds.

Method upgrades limit theorems to mixing limit theorems for dynamical systems.

Formulates Index III lemma and Rauch III theorem with applications.

In LM, we proved a family version of the famous Witten rigidity theorems and several family vanishing theorems for elliptic genera. In this paper, we gerenalize our theorems LM in two directions. First we establish a family rigidity theorem for the Dirac operator on loop space twisted by general positive energy loop gr…

The paper explains the topological origin of the distinction between incidence theorems over division rings and fields.

Proves two theorems on odd-dimensional manifolds with boundary.

Sharp convergence theorem for sphere submanifolds proved.

INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.

A homological selection theorem for C-spaces, as well as, a finite-dimensional homological selection theorem is established. We apply the finite-dimensional homological selection theorem to obtain fixed-point theorems for usco homologically UV^n set-valued maps.

Abstracts a theorem for non-smooth maps in infinite dimensions.

Atiyah-Singer theorem links math fields, predicts topological insights.

Paper generalizes a theorem for real analytic singularities.

The paper proves injectivity and vanishing theorems on compact Kahler manifolds.

Several proofs of Fáry--Milnor theorem are presented.

Reidemeister's theorem proved using smooth functions and transversality.

Proves an analytic Bertini theorem, generalizing previous work.

This note explores comparison geometry concepts and theorems.

Proof of Tait-Kneser theorem and related variations using Lorentzian geometry.

Proves Skoda's Division Theorem using degeneration and positivity of direct image bundles.

We show how Latour's theorem can be understood as a natural generalization of the $s$-cobordism theorem for cohomology classes $u\in H^1(M;\mathbb{R})$. The $s$-cobordism theorem becomes a special degenerate case when $u=0$.

Generalizes symplectic reduction to cosymplectic groupoid actions.

Strong Frankel theorem for shrinkers in all dimensions.

The study establishes comparison theorems for weighted Finsler manifolds and spacetimes.

Extends three circle theorem to almost Hermitian manifolds.

This is the second of three papers about the Compression Theorem. We give proofs of Gromov's theorem on directed embeddings [M Gromov, Partial differential relations, Springer--Verlag (1986); 2.4.5 C'] and of the Normal Deformation Theorem [The compression theorem I; 4.7], arxiv:math.GT/9712235.

The Bakry-Émery-Ricci tensor is extended and comparison theorems are proven.

Theorem converse to Jordan's curve theorem says that {\it if a compact set $K$ has two complementary domains in $R^{2}$, from each of which it is at every point accessible, it is a simple closed curve}. We show that the requirement of this theorem that {\it all} points of $K$ were accessible from {\it both} complementa…

Survey on mean curvature flow with sphere theorems and Yau rigidity theory.

In the paper titled "Bockstein basis and resolution theorems in extension theory" (arXiv:0907.0491v2), we stated a theorem that we claimed to be a generalization of the Edwards-Walsh resolution theorem. The goal of this note is to show that the main theorem from (arXiv:0907.0491v2) is in fact equivalent to the Edwards-…

New theorem for nonlocal minimal surfaces in any dimension.