The Ambrose-Singer theorem is extended to cohomogeneity one Riemannian manifolds.
problem Characterizing isometric actions with specific orbit properties.
method Using a linear connection with covariant equations similar to the Ambrose-Singer theorem.
result Isometric cohomogeneity one foliations described in terms of such connections.
Study on special Hermitian manifolds with specific connection properties.
problem Compact Hermitian manifolds with a particular Chern connection.
method Proved structure theorems for manifolds with parallel torsion and curvature.
result Structure theorems for manifolds with these properties.
Let Q→M be a principal G-bundle, and B0 a connection on Q. We introduce an infinitesimal homogeneity condition for sections in an associated vector bundle Q×GV with respect to B0, and, inspired by the well known Ambrose-Singer theorem, we prove the existence of a connection which satisfies a syst…
Analyzes canonical reductive decomposition of extrinsic homogeneous submanifolds.
problem Understanding the reductive decomposition of extrinsic homogeneous submanifolds.
method Examines Lie subgroups and reductive decompositions of homogeneous structures.
result Establishes a connection with the Ambrose-Singer theorem and homogeneous structures.
Ambrose and Singer characterized connected, simply-connected and complete homogeneous Riemannian manifolds as Riemannian manifolds admitting a metric connection such that its curvature and torsion are parallel. The aim of this paper is to extend Ambrose-Singer Theorem to the general framework of locally homogeneous pse…
Characterizes group connections on group bundles.
problem Understanding connections on group bundles.
method Characterizes connections as affine spaces and uses the Ambrose-Singer theorem.
result Group connections form an affine space over cocycles.
Study on BAS manifolds with parallel torsion and curvature.
problem Characterizing and classifying BAS manifolds.
method Canonical reduction theorem, classification in homogeneous settings, construction of combined geometries.
result Classification of BAS manifolds in various settings.
The paper classifies Hermitian manifolds with specific connection properties.
problem Classifying Hermitian manifolds with specific connection properties.
method Algebraic consideration of holonomy systems, structure theorems, and classification theorems.
result The universal cover of such Hermitian manifolds is the product of a complex Lie group and Hermitian symmetric spaces.
In this paper, we start from an extension of the notion of holonomy on diffeological bundles, reformulate the notion of regular Lie group or Frölicher Lie groups, state an Ambrose-Singer theorem that enlarges the one stated in \cite{Ma2}, and conclude with a differential geometric treatment of KP hierarchy. The example…
In this article, we give a theorem of reduction of the structure group of a principal bundle P with regular structure group G. Then, when G is in the classes of Lie groups defined by T.Robart [13], we define the closed holonomy group of a connection as the minimal closed Lie subgroup of G for which the previous theorem…
This paper is concerned with the holonomy of a class of spaces which includes Landsberg spaces of Finsler geometry. The methods used are those of Lie groupoids and algebroids as developed by Mackenzie. We prove a version of the Ambrose-Singer Theorem for such spaces. The paper ends with a discussion of how the results …
Study how algebraic conditions on isotropy group affect Lorentzian homogeneous space geometry.
problem Understand how algebraic conditions on isotropy group affect the geometry and curvature of Lorentzian homogeneous spaces.
method Prove that a Lorentzian locally homogeneous space is locally isometric to a plane wave if it admits an Ambrose--Singer connection with indecomposable, non-irreducible holonomy.
result Generalize existing results about Lorentzian homogeneous spaces with irreducible isotropy and prove results about Lorentzian connections with parallel torsion and 2-symmetric connections.
Research covers geometry, analysis, and integration on infinite-dimensional spaces.
problem Exploring geometric and analytical structures in infinite-dimensional settings.
method Analyzes numerical schemes, Lie groups, connections, and integration theory.
result Developed new methods for integration and analysis on infinite-dimensional manifolds.
We introduce horizontal holonomy groups, which are groups defined using parallel transport only along curves tangent to a given subbundle D of the tangent bundle. We provide explicit means of computing these holonomy groups by deriving analogues of Ambrose-Singer's and Ozeki's theorems. We then give necessary and suf…
The main result of this article provides a characterization of reductive homogeneous spaces equipped with some geometric structure (non necessarily pseudo-Riemannian) in terms of the existence of certain connection. The result generalizes the well-known result of Ambrose and Singer for Riemannian homogeneous spaces, as…
The paper introduces controllable principal connections and estimates distances between bundles and spaces.
problem Estimating distances between bundles and spaces using controllable connections.
method Combining orbit theorem, Ambrose-Singer theorem, and controllable principal connections.
result Proves convergence of metrics to normal reductive homogeneous spaces.
The classical Wilson loop is the gauge-invariant trace of the parallel transport around a closed path with respect to a connection on a vector bundle over a smooth manifold. We build a precise mathematical model of the super Wilson loop, an extension introduced by Mason-Skinner and Caron-Huot, by endowing the objects o…
We provide a new perspective on parallel 2-transport and principal 2-group bundles with 2-connection. We define parallel 2-transport as a 2-functor from the thin fundamental 2-groupoid to the 2-category of 2-group torsors. The definition of the 2-category of 2-group torsors is new, and we develop the tools necessary fo…
Paper shows spectra can't distinguish naturally reductive manifolds.
problem Cannot distinguish naturally reductive manifolds using Laplace-Beltrami spectrum.
method Characterized naturally reductive 2-step nilpotent Lie groups via Ambrose-Singer's structures; constructed isospectral pairs of 9-dimensional nilmanifolds.
result Spectra of Laplace-Beltrami operator can't distinguish naturally reductive manifolds from non-naturally reductive ones.
Classification of 3-symmetric spaces with Ricci solitons.
problem Classifying 3-symmetric spaces and their Ricci solitons.
method Detailed analysis of Riemannian 3-symmetric spaces, including explicit constructions and moduli spaces.
result Explicit construction of expanding Ricci solitons on Type III spaces and generalization to any effective Lie group representation.
New connections found in higher-dimensional geometries with skew-torsion.
problem Finding metric connections with skew-torsion on metric f-manifolds. method Analyzing properties of Reeb vector fields and Nijenhuis tensor to construct a unique connection.
result A natural generalization of adapted connections in higher dimensions, including parallel skew-torsion.
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.
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.
We consider the task of automated theorem proving, a key AI task. Deep learning has shown promise for training theorem provers, but there are limited human-written theorems and proofs available for supervised learning. To address this limitation, we propose to learn a neural generator that automatically synthesizes the…
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
Reidemeister's theorem proved using smooth functions and transversality.
problem Proving Reidemeister's theorem
method Using smooth functions and transversality
result Reidemeister's theorem proved
Proves an analytic Bertini theorem, generalizing previous work.
problem Generalizing previous results in algebraic geometry.
method Analytic Bertini theorem proof.
result Generalizes previous results in algebraic geometry.