Sums of Squares: From Real to Commutative Algebra

Grigoriy Blekherman (Georgia Institute of Technology)

14-Jan-2021, 21:30-23:00 (3 years ago)

Abstract: A real polynomial is called nonnegative if it takes only nonnegative values. A sum of squares or real polynomials is clearly nonnegative. The relationship between nonnegative polynomials and sums of squares is one of the central questions in real algebraic geometry. A modern approach is to look at nonnegative polynomials and sums of squares on a real variety X, where unexpected links to complex algebraic geometry and commutative algebra appear.

In the first half of the talk I will review the history of the problem, do some examples, and provide a brief overview of the results. Our two guiding questions will be: the relationship between nonnegative polynomials and sums of squares, and the number of squares needed to write any sum of squares on X. I will explain the connection between these questions and properties of the free resolution of the ideal of X: the number of of steps that the resolution only has linear syzygies (property $N_{2,p}$) and the number of steps that linear syzygies persist (the length of the linear strand).

In the second half, I will concentrate on the number of squares, and introduce an invariant of X we call quadratic persistence. Quadratic persistence of X is equal to the least number of points in X such that after projecting from (the span of) these points the ideal of the resulting variety has no quadrics. I will explain how quadratic persistence connects real algebraic geometry and commutative algebra. Joint work with Rainer Sinn, Greg Smith and Mauricio Velasco.

commutative algebra

Audience: researchers in the topic


Fellowship of the Ring

Series comments: Description: National Commutative Algebra Seminar

You have to register to attend the seminar; the registration link is on the webpage. But you only have to register once. Once you register for a seminar, your registration will be carried over (in theory!) to future seminars.

Organizers: Srikanth B. Iyengar*, Karl E. Schwede
*contact for this listing

Export talk to