Develops Llarull type theorems for 3D and 4D bands with spectral scalar curvature bounds.
problem Bounding scalar curvature and metric on 3D and 4D bands simultaneously.
method Warped μ-bubble method result Establishes Llarull type theorems for 3D and 4D bands with spectral scalar curvature bounds.
Extends Llarull's theorem to noncompact manifolds with boundary.
problem Generalizing Llarull's theorem to noncompact manifolds with boundary.
method Extends previous results to include compact boundaries.
result Generalized theorem to noncompact manifolds with compact boundaries.
Paper generalizes scalar curvature theorem to weighted manifolds.
problem Generalizing scalar curvature rigidity theorem to weighted manifolds.
method Proves a refinement of Llarull's theorem for P-scalar curvature.
result Establishes a Llarull type theorem for SkimesTn−k. New theorem on spheres with punctures using infinity metric.
problem Rigidity of metrics on spheres with punctures.
method Proof of Llarull's theorem for L∞ metrics on spheres with finitely many points removed. result The rigidity theorem holds for L∞ metrics on spheres with finitely many points removed. New proof of Llarull's rigidity theorem in odd dimensions via spectral flow.
problem Rigidity of smooth maps from compact spin manifolds to spheres.
method Spectral flow argument for odd dimensions, generalization to convex hypersurfaces.
result Generalization of Llarull's theorem to arbitrary smooth strictly convex hypersurfaces.
Paper extends noncompact Llarull's theorem to manifolds with boundary.
problem Finding upper bounds for scalar curvature infimum in noncompact manifolds.
method Using deformed Dirac operators to relax boundary conditions.
result Upper bound for scalar curvature infimum in terms of Laplacian spectrum.
3D spheres with certain properties approach the round sphere.
problem Flexibility of Llarull's Theorem in dimension 3.
method Proof based on spacetime harmonic functions.
result 3D spheres with bounded Cheeger isoperimetric constant and scalar curvatures tending to 6 approach the round sphere.
The round sphere is stable among spin manifolds with a specific scalar curvature bound.
problem Stability of the round sphere among spin manifolds with scalar curvature below a certain threshold.
method Showed that if the scalar curvature is bounded from below by n(n−1)−ε, the manifold is C0-close to a finite number of spheres outside a small bad set. result The spherical stability problem is completely solved.
Theorem proves spectral rigidity of warped product metrics.
problem Spectral rigidity of warped product metrics.
method Spinor and spacetime harmonic function methods.
result Proves spectral Llarull theorem for warped product metrics.
The degree condition affects the rigidity of maps between manifolds.
problem Investigating the degree condition for scalar curvature rigidity.
method Analyzing maps between Riemannian manifolds with scalar curvature constraints.
result The degree condition is necessary for scalar curvature rigidity but not for Ricci curvature rigidity.
In this paper we consider Llarull's theorem in the foliation case and get a lower bound of the Lipschitz constant of the map M→Sn in the foliation case under the spin condition.
Maps are shown to be Riemannian products with Ricci-flat fibers.
problem Understanding maps between manifolds and their geometric properties.
method Spin geometry and representation theory of curvature operators.
result Scalar-rigid maps are essentially Riemannian products of base and Ricci-flat fibers.
New examples of manifolds with lower scalar curvature bounds and submanifold collapse.
problem Stability of scalar curvature rigidity phenomena.
method Constructing Riemannian manifolds with specific curvature and collapse properties.
result Examples demonstrating stability and rigidity of scalar curvature.
Proves rigidity in product spaces using index theory.
problem Scalar curvature rigidity in product spaces.
method Fredholm family index theorem.
result Recover corresponding results of Clifford-linear index theory.
Paper solves long neck problem on odd-dimensional spin manifolds.
problem Long neck problem on odd-dimensional spin manifolds.
method Spectral flow of Callias operators.
result Complete answer to Gromov's long neck problem.
A theorem on odd dimensional noncompact manifolds shows curvature bounds.
problem Understanding curvature bounds on noncompact manifolds.
method Analyzing scalar curvature and maps with specific properties.
result Curvature lower bound is negative under given conditions.
Formula for spectral flow connects manifold properties to index theorem.
problem Establishing a formula for spectral flow on manifolds.
method Reduction to Atiyah-Patodi-Singer index theorem for manifolds with boundary.
result Formula for spectral flow expressed in manifold and connection properties.
New rigidity found for 3D warped product domains.
problem Finding rigidity conditions for warped product domains.
method Developed scalar curvature rigidity for a general class of domains.
result Identified domains satisfying a boundary condition analogous to logarithmic concavity.
A classic result by Gromov and Lawson states that a Riemannian metric of non--negative scalar curvature on the Torus must be flat. The analogous rigidity result for the standard sphere was shown by Llarull. Later Goette and Semmelmann generalized it to locally symmetric spaces of compact type and nontrivial Euler chara…
Survey on scalar curvature stability and related questions.
problem Understanding scalar curvature stability and rigidity phenomena.
method Survey and discussion of existing tools and questions.
result Survey of known results and open questions in scalar curvature stability.
Extends index theory results to manifolds with boundaries.
problem Applying index theory to manifolds with boundaries.
method Extends results of Llarull and Goette-Semmelmann.
result Results extended to manifolds with boundaries.
New rigidity theorems for spin fill-ins with non-negative scalar curvature.
problem Mean curvature rigidity for spin fill-ins with non-negative scalar curvature.
method Two spinorial techniques: extending boundary spinors and comparison using index theory.
result New Witten-type integral inequality for the mass of asymptotically Schwarzschild manifolds.
Rigidity theorem for scalar curvature on odd-dimensional singular manifolds.
problem Understanding scalar curvature on manifolds with cone-like singularities.
method Analysis of abstract cone operators, spectral flow argument, and twisted Dirac operators.
result Lipschitz rigidity for scalar curvature on Riemannian spin manifolds with cone-like singularities in odd dimensions.
The paper proves manifold rigidity for specific scalar curvature conditions.
problem Proving rigidity of manifolds with positive scalar curvature.
method Using maps to model spaces and degree theory.
result Compact manifolds with specific scalar curvature conditions are locally isometric.
We prove that the round metric on the sphere has the largest first eigenvalue of the Dirac operator among all metrics that are larger than it. As a corollary, this gives an alternative proof of an extremality result for scalar curvature due to M. Llarull.
A map between manifolds is an isometry if it's Lipschitz and scalar curvature bounded.
problem Characterizing maps between manifolds based on their scalar curvature and Lipschitz continuity.
method Spectral properties of Dirac operators and index theory for low regularity metrics and bundles.
result A 1-Lipschitz map between manifolds is an isometry if it has bounded scalar curvature.
Scalar curvature rigidity for products of convex hypersurfaces
problem Rigidity of scalar curvature in products of convex hypersurfaces
method Clifford-linear family index theory
result Scalar curvature inequality implies isometry
The paper explores geometric relationships in manifolds with curvature constraints, proving new inequalities and rigidity results.
problem Understanding geometric features of manifolds with curvature constraints.
method Comparison theorems and spacetime harmonic functions.
result Partial resolution of Gromov's conjecture and new characterizations of geometries.
New rigidity results for warped product domains.
problem Scalar curvature rigidity of domains in warped products.
method Developed a new connection on a twisted spinor bundle and associated Dirac operator.
result Obtained Llarull type scalar curvature rigidity for a general class of domains in a warped product.
New examples show scalar curvature's role in sphere stability.
problem Characterizing sphere stability through scalar curvature.
method Improving Gromov-Lawson tunnel construction and sewing techniques.
result Constructs sequences demonstrating sphere stability under scalar curvature.
We generalize Llarull's scalar curvature comparison to Riemannian manifolds admitting metric connections with parallel and alternating torsion and having a nonnegative curvature operator on 2-vectors. As a byproduct, we show that Euler number and signature of such manifolds are determined by their global holonomy repre…
In the first part we use Gromov's K--area to define the K--area homology which stabilizes into singular homology on the category of pairs of compact smooth manifolds. The second part treats the questions of certain curvature gaps. For instance, the L∞--curvature gap of complex vector bundles on a compact manif…
Researchers prove rigidity of convex polytopes in hyperbolic space using spinor techniques.
problem Proving rigidity of convex polytopes in hyperbolic space.
method Spinor techniques and recent smoothing constructions of Brendle-Wang.
result Scalar curvature rigidity for parabolic convex polytopes in hyperbolic space.
Proves rigidity of maps between manifolds with scalar curvature constraints.
problem Lipschitz rigidity problem in scalar curvature geometry.
method Harmonic map heat flow coupled with Ricci flow.
result Continuous maps between manifolds with scalar curvature constraints are either isometries or have scalar curvature strictly less than the sphere.
Abstract cone operators prove scalar curvature comparisons on singular manifolds.
problem Proving scalar curvature inequalities on manifolds with cone singularities.
method Using index theory for twisted Dirac operators on Lipschitz bundles.
result Lipschitz rigidity for scalar curvature on odd-dimensional manifolds.
Upper estimate of Dirac eigenvalue linked to hyperspherical radius.
problem Estimating the smallest eigenvalue of the Dirac operator.
method Proved an upper estimate of the smallest eigenvalue in terms of hyperspherical radius.
result Combining with known lower estimates, geometric consequences are derived.
The paper proves rigidity for certain product spaces and bounds for band widths.
problem Proving rigidity for product spaces and bounds for band widths.
method Combining stable weighted slicing with a spectral Dirac operator argument.
result Closed spin (Mn,g) is isometrically covered by Sn−mimesRm under certain conditions. New rigidity result for non-orientable manifolds with scalar curvature constraints.
problem Area rigidity for non-orientable manifolds with scalar curvature constraints.
method Developed a technique to extract from a non-vanishing higher index a geometrically useful family of almost D-harmonic sections. result Area rigidity for non-orientable manifolds with scalar curvature constraints.
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.