The paper proves a rigidity theorem for non-compact convex sets in hyperbolic 3-space.
problem Determining a closed convex set in hyperbolic 3-space by its boundary metric.
method Pogorelov's rigidity theorem, Hausdorff measure, and complex analysis techniques.
result The intrinsic path metric on the boundary determines a closed convex set up to isometry under certain conditions.
Non-compact convex sets in hyperbolic 3-space are rigid under isometries.
problem Rigidity of non-compact convex sets in hyperbolic 3-space
method Proving rigidity using Pogorelov's theorem and properties of locally convex surfaces
result Any intrinsic isometry between the boundaries of two non-compact closed convex subsets extends to a global isometry of the ambient space
We prove some Bernstein theorems for entire space-like submanifolds in pseudo-Euclidean spaces and, as a corollary, we obtain a new proof of the Calabi-Pogorelov theorem on global solutions of Monge-Ampere equations.
This article presents a proof of Pogorelov's result that there exists a C2,1 metric with no local C2 realization in R3. It also construct in a very elementary way a C1,1 realization of this metric. Pogorelov's result is somewhat controversial among the community of researchers that study isomet…
Life and the mathematical legacy of the great mathematician A.V. Pogorelov.
Paper derives estimates for Hessian equations under concavity assumptions.
problem Estimating solutions to Hessian equations with concavity constraints.
method Exploiting concavity of sums of Hessian operators, deriving Pogorelov estimates.
result Entire admissible solutions in R^n with quadratic growth are quadratic polynomials.
Researchers provide counterexamples to Pogorelov and Toponogov's questions about saddle surfaces.
problem Existence of closed asymptotic curves in saddle surfaces with nonpositive curvature.
method Explicit counterexamples and corrected statements of the original questions.
result Proved a corrected version of the original questions.
The paper establishes Pogorelov type estimates for solutions to Hessian quotient equations in hyperbolic space.
problem Estimating solutions to Hessian quotient equations in Lorentz-Minkowski space.
method Using a priori estimates, the paper establishes Pogorelov type estimates for k-convex solutions.
result Pogorelov type estimates for k-convex solutions to Hessian quotient equations in hyperbolic space.
It is shown that any smooth strictly convex global solution of det(∂ξi∂ξj∂2u)=exp{−∑i=1ndi∂ξi∂u−d0}, where d0, d1,...,dn are constants, must be a quadratic polynomial. This extends a well-known theorem of Jö…
Interior C2 estimates for sum Hessian quotient equations on Riemannian manifolds
problem Interior C2 estimates for sum Hessian quotient equations on Riemannian manifolds method Interior C2 estimates for sum Hessian quotient equations on Riemannian manifolds result Interior C2 estimates at the center of a geodesic ball We prove that any simply connected special Kaehler manifold admits a canonical immersion as a parabolic affine hypersphere. As an application, we associate a parabolic affine hypersphere to any nondegenerate holomorphic function. Also we show that a classical result of Calabi and Pogorelov on parabolic spheres implies …
The paper proves a Bonnesen-type inequality for the real projective plane.
problem Proving an inequality for the real projective plane.
method Using Pu's systolic inequality, John ellipsoids, and Pogorelov's rigidity theorem.
result Generalized Pu's systolic inequality for positively-curved metrics.
Closed surfaces minimize total curvature in curved spaces.
problem Minimizing total curvature in curved spaces.
method Isometric embedding via holonomy and Pogorelov's theory.
result Closed surfaces bound flat convex bodies.
Paper proves rigidity of convex hypersurfaces in various spaces.
problem Proving the uniqueness of convex hypersurfaces in multidimensional spaces.
method Generalizing Senkin's theorem to higher dimensions and constant curvature spaces.
result Rigidity of convex hypersurfaces in En+1, n≥3. Revisits Weyl's problem on isometric immersions of spheres into 3D manifolds.
problem Isometric immersions of S² into 3D Riemannian manifolds with non-negative Gauss curvature.
method Utilizes the framework of J-holomorphic curves developed by Labourie.
result Exhibits a sufficient condition for the existence of global C¹¹ isometric immersions.
We present constructions inspired by the Ma-Schlenker example of~\cite{Ma:2012hl} that show the non-rigidity of spherical inversive distance circle packings. In contrast to the use in~\cite{Ma:2012hl} of an infinitesimally flexible Euclidean polyhedron, embeddings in de Sitter space, and Pogorelov maps, our elementary …
In this paper we prove the existence of complete, noncompact convex hypersurfaces whose p-curvature function is prescribed on a domain in the unit sphere. This problem is related to the solvability of Monge-Ampère type equations subject to certain boundary conditions depending on the value of p. The special case of…
We show the uniqueness of strictly convex closed smooth self-similar solutions to the α-Gauss curvature flow with (1/n)<α<1+(1/n). We introduce a Pogorelov type computation, and then we apply the strong maximum principle. Our work combined with earlier works on the Gauss Curvature flow imply that the α-Gauss c…
In this paper, we prove W1,p (p>n) and C0,α (0<α<1) precompactness for classes of Riemannian n-manifolds with boundary satisfying uniform L∞ bounds on curvature, mean curvature, diameter, and the (n−1)-volume of the boundary. In particular, we identify a class of convex manifolds and a cl…
A classical theorem, mainly due to Aleksandrov and Pogorelov, states that any Riemannian metric on S2 with curvature K>−1 is induced on a unique convex surface in H3. A similar result holds with the induced metric replaced by the third fundamental form. We show that the same phenomenon happens with yet another …
The paper studies the topology and geometry of simple orbifolds, generalizing concepts from simple polytopes.
problem Understanding the topology and geometry of simple orbifolds.
method Generalizing concepts from simple polytopes to simple orbifolds, focusing on simple handlebodies.
result Characterization of orbifold-aspherical properties and the existence of rank-two free abelian subgroups in terms of combinatorics.
A family of closed manifolds is called cohomologically rigid if a cohomology ring isomorphism implies a diffeomorphism for any two manifolds in the family. We establish cohomological rigidity for large families of 3-dimensional and 6-dimensional manifolds defined by 3-dimensional polytopes. We consider the class P of 3…
A pseudo-edge graph of a convex polyhedron K is a 3-connected embedded graph in K whose vertices coincide with those of K, whose edges are distance minimizing geodesics, and whose faces are convex. We construct a convex polyhedron K in Euclidean 3-space with a pseudo-edge graph with respect to which K is not unfoldable…
Smooth solutions found for a curvature problem in hyperbolic space.
problem Existence of smooth complete hypersurfaces with prescribed curvature in hyperbolic space.
method Utilized Pogorelov type interior second order estimate.
result Affirmative answers for specific curvature cases in hyperbolic space.
New geometric approach gives apriori estimate for optimal transport maps.
problem Proving regularity of optimal transport maps under Ma--Trudinger--Wang condition.
method Geometric derivation using pseudo-Riemannian geometry.
result New derivation of C1 interior estimate for optimal maps. Solves a long-standing convex geometry problem about mixed volumes.
problem Characterizing the support of mixed area measures.
method Geometric approach to convex bodies in R^n and R^3.
result Resolved one direction of Schneider's conjecture for arbitrary convex bodies.
Celebrated work of Alexandrov and Pogorelov determines exactly which metrics on the sphere are induced on the boundary of a compact convex subset of hyperbolic three-space. As a step toward a generalization for unbounded convex subsets, we consider convex regions of hyperbolic three-space bounded by two properly embedd…
The Weyl problem is extended to hyperbolic and anti-de Sitter spaces, connecting geometry, analysis, and group theory.
problem The classical Weyl problem for surfaces in hyperbolic and anti-de Sitter spaces.
method Generalizations of the Weyl problem to unbounded convex subsets and convex surfaces, focusing on thin and thick asymptotic boundaries.
result Connections to Kleinian groups, complex analysis, circle packings, and grafting on the hyperbolic disk.
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.
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.
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.