Global inverse function theorem proved easily using Riemannian geometry.
problem Global inverse function theorem in Riemannian geometry.
method Hopf--Rinow theorem in Riemannian geometry.
result Hadamard's global inverse function theorem is proven easily.
The Hopf-Rinow theorem is extended to sub-Finslerian geometry.
problem Extending the Hopf-Rinow theorem to sub-Finslerian manifolds.
method Investigation of sub-Finslerian bundle, exponential map, and Legendre transformation.
result Established a relation between completeness, geodesic completeness, and compactness in sub-Finslerian geometry.
Extends Hopf-Rinow theorem to semi-Riemannian spacetimes.
problem Generalizing Hopf-Rinow theorem to compact Lorentzian manifolds.
method Develops null distance for proper cone structures and (n−ν,ν)-spacetimes. result Generalizes Hopf-Rinow theorem to a new class of semi-Riemannian manifolds.
Study magnetic geodesics on half-Lie groups, proving Hopf-Rinow theorem for energies above critical value.
problem Investigate magnetic geodesics on half-Lie groups using Riemannian and two-form structures.
method Define Mañé's critical value, prove Finsler geodesic flow equivalence, and apply Hopf-Rinow theorem.
result Hopf-Rinow theorem holds for energies above Mañé's critical value on magnetic geodesics.
Geodesic connectedness proved for statistical manifolds with divisible cubic forms.
problem Geodesic connectedness of affine connections on statistical manifolds with divisible cubic forms.
method Analogy with Hopf-Rinow theorem in Riemannian geometry, establishing geodesic completeness.
result Geodesic connectedness established for statistical manifolds with divisible cubic forms.
The paper defines a critical value for a magnetic system and extends solutions beyond blow-up.
problem Analyzing blow-up behavior and extending solutions for a magnetic system.
method Formulated as a magnetic geodesic equation on an infinite-dimensional Lie group, computed Mañé's critical value, established Hopf-Rinow theorem.
result Computed Mañé's critical value for the magnetic two-component Hunter-Saxton system and extended solutions beyond blow-up.
Study on Banach half-Lie groups and their properties.
problem Characterizing and understanding the properties of half-Lie groups in infinite dimensions.
method Investigation of Banach half-Lie groups, their extensions, and right invariant strong Riemannian metrics.
result The full Hopf--Rinow theorem holds for Banach half-Lie groups, a surprising result.
New principles prove precompactness of domains with lower Ricci curvature bound.
problem Proving precompactness of domains with lower Ricci curvature bound.
method Quantitative Hopf-Rinow theorem and doubling property.
result New precompactness principles applicable to incomplete Riemannian manifolds.
In this paper we will investigate the global properties of complete Hilbert manifolds with upper and lower bounded sectional curvature. We shall prove the Focal Index Lemma that we will allow us to extend some classical results of finite dimensional Riemannian geometry such as Rauch and Berger Theorems and the Topogono…
In this paper, we study the theory of geodesics with respect to the Tanaka-Webster connection in a pseudo-Hermitian manifold, aiming to generalize some comparison results in Riemannian geometry to the case of pseudo-Hermitian geometry. Some Hopf-Rinow type, Cartan-Hadamard type and Bonnet-Myers type results are establi…
After defining generalizations of the notions of covariant derivatives and geodesics from Riemannian geometry for reductive Cartan geometries in general, various results for reductive Cartan geometries analogous to important elementary results from Riemannian geometry are proven using these generalizations. In particul…
A method to generalize results from Riemannian Geometry to Finsler geometry is presented. We use the method to generalize several results that involve only metric conditions. Between them we show that the topology induced by the Finsler structure is equivalent to the manifold topology, we provide a new proof of the Hop…
Develops a lifting theory for exponential maps in semi-Riemannian geometry.
problem Overcoming singularities in exponential maps to prove geodesic connectivity.
method Lifting theory for semi-Riemannian manifolds with path-continuation property.
result General path-lifting theorem extending globally under certain conditions.
Introduce sub-Randers metrics by adding a one-form to a sub-Riemannian metric
problem Define a new class of sub-Finsler metrics
method Derive equations for sub-Randers normal geodesics
result Prove a Hopf-Rinow type theorem for sub-Randers manifolds
Proves globally hyperbolic spacetimes via null distance completeness.
problem No Hopf-Rinow Theorem in Lorentzian Geometry.
method Observation of null distances and their behavior with time functions.
result Proves globally hyperbolic spacetimes via null distance completeness.
Metrics on Lie groupoids and differentiable stacks have been introduced recently, extending the Riemannian geometry of manifolds and orbifolds to more general singular spaces. Here we continue that theory, studying stacky curves on Riemannian stacks, measuring their length using stacky metrics, and introducing stacky g…
Paper surveys balanced metrics and proves a geodesic convexity result.
problem Understanding balanced metrics and stability in algebraic geometry.
method Survey and proof of geodesic convexity result.
result Geodesically convex function on a complete Riemannian manifold admits a critical point if and only if its asymptotic slope at infinity is positive.
The present note deals with the dynamics of metric connections with vectorial torsion, as already described by E. Cartan in 1925. We show that the geodesics of metric connections with vectorial torsion defined by gradient vector fields coincide with the Levi-Civita geodesics of a conformally equivalent metric. By pullb…
The paper extends completeness notions to low-regularity spacetimes.
problem Defining completeness conditions for spacetimes with low-regularity metrics.
method Extending Beem's completeness notions to Lorentzian length spaces and proving relationships between them.
result Equivalence of completeness conditions for globally hyperbolic C1-spacetimes under certain conditions. Given a complex structure J on a real (finite or infinite dimensional) Hilbert space H, we study the geometry of the Lagrangian Grassmannian Λ(H) of H, i.e. the set of closed linear subspaces L⊂H such that J(L)=L⊥. The complex unitary group U(HJ), consisting of the elements of the orthogona…
For a given Hilbert space H, consider the space of self-adjoint projections P(H). In this paper we study the differentiable structure of a canonical sphere bundle over P(H) given by $$ \mathcal R=\{\, (P,f)\in \mathcal P(\mathcal H)\times \mathcal H \, : \, Pf=f , \, \…
Study magnetic geodesics on odd spheres, computing critical energy values.
problem Understanding magnetic geodesics on odd-dimensional spheres.
method Explicit computation and analysis of submanifolds and symmetries.
result Energy values determine magnetic geodesic connectivity on spheres.
The paper characterizes global hyperbolicity in Lorentzian manifolds without relying on manifold topology.
problem Characterizing global hyperbolicity in smooth Lorentzian manifolds without assuming manifold topology.
method Two formulations of global hyperbolicity: one using chronological diamonds and the other using properties of the Lorentzian distance function.
result The second formulation is equivalent to the definition of `Lorentzian metric space' and introduces the concept of d-reflectivity. Let U2(H) be the Banach-Lie group of unitary operators in the Hilbert space H which are Hilbert-Schmidt perturbations of the identity 1. In this paper we study the geometry of the unitary orbit {upu∗:u∈U2(H)}, of an infinite projection p in H. This orbit coincides with t…
AI generates theorems and proofs for training theorem provers.
problem Limited human-written theorems and proofs for supervised learning.
method Proposes a neural generator to automatically synthesize theorems and proofs.
result Synthetic data improves automated theorem proving in Metamath.
A new comparison theorem for geometric spaces.
problem Geometric space comparison theorems.
method Relative form of Toponogov comparison theorem.
result New geometric space comparison theorem established.
Paper develops formulas and theorems in Hermitian geometry.
problem None explicitly stated in the abstract.
method Develops second variational formulas and index forms in Hermitian geometry.
result Establishes results analogous to classical theorems in Riemannian geometry.
The paper proves three circles theorems and Liouville type theorems for subharmonic and holomorphic functions.
problem Establishing theorems for subharmonic and holomorphic functions on specific geometric structures.
method Using subharmonic and holomorphic functions on Riemannian manifolds and gradient shrinking Ricci solitons.
result Proves Liouville type theorems as applications of the established theorems.
Revises a theorem by Thurston, finding a counter-example and a weaker version.
problem The bounded image theorem in Haken manifolds.
method Providing a counter-example and a weaker version of the second statement of Thurston's theorem.
result A counter-example and a weaker version of the second statement of Thurston's theorem are presented.
Proofs for Moon's theorem and its generalization.
problem Proving Moon's theorem and its generalization.
method Proofs based on key lemmas.
result Generalization of the four-vertex theorem.
Analyzes Saito vanishing theorem using L2 methods.
problem Proving the Saito vanishing theorem.
method Uses L2-methods to prove the theorem. result Analytic proof of the Saito vanishing theorem.
Investigates proving geometric theorems over complex and real numbers using tilings.
problem Proving incidence theorems over C and R using the master theorem.
method Formalizes tiling proofs and introduces a hierarchy of theorems based on topological spaces.
result Identifies which theorems can or cannot be proved over C and R.
Extends symplectic reduction and theorem to Lie algebroids.
problem Symplectic reduction and theorem for Lie algebroids.
method Extends Marsden-Weinstein reduction and Darboux-Moser-Weinstein theorems.
result Obtained coisotropic embedding theorem for symplectic Lie algebroids.
Paper generalizes complex Brunn-Minkowski theory and proves new extension theorems.
problem Complex Brunn-Minkowski theory and extension theorems.
method Hilbert bundle approach to complex Brunn-Minkowski theory.
result Generalizes Guan's sharp strong openness theorem and sharp Ohsawa-Takegoshi extension theorem.
Proves Thurston's bounded image theorem for Haken manifolds.
problem Proving Thurston's bounded image theorem for Haken manifolds.
method Using recent developments in Kleinian group theory.
result A proof of Thurston's original bounded image theorem.
Method upgrades limit theorems to mixing limit theorems for dynamical systems.
problem Improving limit theorems for dynamical systems.
method General method for upgrading limit theorems to mixing limit theorems.
result Mixing limit theorems for specific subbundles of the Kontsevich-Zorich cocycle.
Formulates Index III lemma and Rauch III theorem with applications.
problem Develops new mathematical theorems based on existing ones.
method Formulation of Index III lemma and Rauch III theorem based on Index I, II lemmas and Rauch I, II theorems.
result Presented Rauch's type theorem and volume comparison result as 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.
problem Understanding the distinction between incidence theorems over division rings and fields.
method Extending the surface-graph approach to noncommutative settings, the paper analyzes the topological properties of graphs embedded on surfaces of different genera.
result Theorems associated with graphs on the sphere hold over any division ring, while those on surfaces of positive genus typically hold only if the ground ring is a field.
Proves two theorems on odd-dimensional manifolds with boundary.
problem Proving theorems on manifolds with boundaries.
method Proof of theorems using mathematical techniques.
result Proved the general Kastler-Kalau-Walze and Dabrowski-Sitarz-Zalecki type theorems.
Sharp convergence theorem for sphere submanifolds proved.
problem Sphere submanifolds in spheres.
method Proved a sharp convergence theorem.
result New differentiable sphere theorem for submanifolds in spheres.
INT benchmark tests theorem proving agents' ability to generalize to unseen theorems.
problem Evaluating theorem proving agents' ability to generalize to unseen theorems.
method INT benchmark based on a theorem generation and proof procedure with adjustable knobs for measuring 6 types of generalization.
result MCTS can help agents prove new 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.
problem Generalizing inverse mapping theorem for non-smooth maps.
method Introduces property A and applies it to non-smooth maps.
result Generalized inverse mapping theorems for non-smooth maps.
Atiyah-Singer theorem links math fields, predicts topological insights.
problem Understanding the interplay between analysis, geometry, and topology.
method Analyzes and generalizes topological invariants in differential geometry.
result Predicts the index of elliptic operators based on topology.
Paper generalizes a theorem for real analytic singularities.
problem No specific problem stated; focuses on generalization.
method Generalization of a theorem for complex singularities.
result Generalized Join theorem for real analytic singularities.
The paper proves injectivity and vanishing theorems on compact Kahler manifolds.
problem Injectivity and vanishing theorems on compact Kahler manifolds.
method Hodge theory, Bochner-Kodaira-Nakano identity, analytic method, transcendental method, Demailly-Peternell-Schneider equisingular approximation theorem, Hormander L2 estimates.
result The main injectivity theorem implies several Nadel type vanishing theorems.
Several proofs of Fáry--Milnor theorem are presented.
problem Fáry--Milnor theorem
method Sketches several proofs
result Proofs of Fáry--Milnor theorem