Convex Algebraic Geometry of Curvature Operators

DOI10.1137/20M1350777MaRDI QIDQ4991379zbMATH OpenFDO

Authors Renato G. Bettiol, Mario Kummer, Ricardo A. E. Mendes

Publication date 3 June 2021

Published in SIAM Journal on Applied Algebra and Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1908.03713

zbMATH Keywords

convex algebraic geometrydifferential geometrysectional curvaturesemidefinite programmingspectrahedral shadow

Mathematics Subject Classification ID

Semialgebraic sets and related spaces (14P10) Local Riemannian geometry (53B20) Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21) Semidefinite programming (90C22)

Abstract: We study the structure of the set of algebraic curvature operators satisfying a sectional curvature bound under the light of the emerging field of Convex Algebraic Geometry. More precisely, we determine in which dimensions $n$ this convex semialgebraic set is a spectrahedron or a spectrahedral shadow; in particular, for $ngeq5$, these give new counter-examples to the Helton--Nie Conjecture. Moreover, efficient algorithms are provided if $n=4$ to test membership in such a set. For $ngeq5$, algorithms using semidefinite programming are obtained from hierarchies of inner approximations by spectrahedral shadows and outer relaxations by spectrahedra.

Recommendations

• scientific article; zbMATH DE number 2144847
• Geometric consequences of algebraic conditions on curvature operators
• Geometric realizations of generalized algebraic curvature operators
• scientific article; zbMATH DE number 480253
• scientific article; zbMATH DE number 480242
• Curvature inequalities and extremal operators
• scientific article; zbMATH DE number 4131185
• Geometrical representations of equiaffine curvature operators
• scientific article; zbMATH DE number 1066437
• scientific article; zbMATH DE number 125586

Cites work

• 3264 and all that. A second course in algebraic geometry
• A Positivstellensatz for projective real varieties
• Advances in convex optimization: conic programming
• Algebraic conditions for the positivity of sectional curvature
• Algorithms in real algebraic geometry
• Comparison and rigidity theorems in semi-Riemannian geometry
• Convex geometry of orbits
• Determinantal rings
• Global optimization with polynomials and the problem of moments
• Handbook on semidefinite, conic and polynomial optimization
• scientific article; zbMATH DE number 3842680 (Why is no real title available?)
• scientific article; zbMATH DE number 5485536 (Why is no real title available?)
• scientific article; zbMATH DE number 1201576 (Why is no real title available?)
• scientific article; zbMATH DE number 729680 (Why is no real title available?)
• scientific article; zbMATH DE number 1984325 (Why is no real title available?)
• scientific article; zbMATH DE number 3421509 (Why is no real title available?)
• Information geometry
• Information geometry and its applications
• Linear matrix inequality representation of sets
• Linear Systems of Real Quadratic Forms
• Lorentz and semi-Riemannian spaces with Alexandrov curvature bounds
• Nonnegative curvature operators: Some nontrivial examples
• On symmetric and skew-symmetric determinantal varieties
• On the S-procedure and some variants
• ORBITOPES
• Pencils of complex and real symmetric and skew matrices
• Remarks on curvature and the Euler integrand
• Riemannian \(L^{p}\) center of mass: existence, uniqueness, and convexity
• Riemannian submersions need not preserve positive Ricci curvature
• Sectional curvature and Weitzenbock formulae
• Semidefinite Optimization and Convex Algebraic Geometry
• Semidefinite programming and combinatorial optimization
• Semidefinite Representation for Convex Hulls of Real Algebraic Curves
• Space-time convex functions and sectional curvature
• Spectrahedral shadows
• Strongly nonnegative curvature
• Strongly positive curvature
• Sufficient and necessary conditions for semidefinite representability of convex hulls and sets
• Sums of squares and varieties of minimal degree
• Sums of squares in Macaulay2
• The (matrix) discriminant as a determinant

Cited in

(10)

• Ricci flow does not preserve positive sectional curvature in dimension four
• Algebraic conditions for the positivity of sectional curvature
• Sharp sectional curvature bounds and a new proof of the spectral theorem
• Curvature inequalities and extremal operators
• Sectional curvature and Weitzenbock formulae
• Extremality and rigidity for scalar curvature in dimension four
• Curvature operators and rational cobordism
• Non-planar degenerations and related fundamental groups
• Spectrahedral shadows and completely positive maps on real closed fields
• Two results on the convex algebraic geometry of sets with continuous symmetries

Describes a project that uses

Uses Software

• Macaulay2
• Book3264Examples
• GitHub

This page was built for publication: Convex Algebraic Geometry of Curvature Operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4991379)