Products of positive definite quadratic forms

Seminar
Speaker
Marco Zaninelli (Universiteit Antwerpen)
Date
10/08/2023 - 11:30 - 10:30Add to Calendar 2023-08-10 10:30:00 2023-08-10 11:30:00 Products of positive definite quadratic forms In 1927, E. Artin solved Hilbert’s 17th problem and showed that real positive definite forms are exactly the quotients of sums of squares of forms, but did not provide any bound on the number of squares appearing in such sums.  In 1967, A. Pfister showed for every natural number n that all positive definite forms in R(X_1, …, X_n) are sums of 2^n squares.  When restricting to quadratic forms, this bound is easily seen not to be optimal.  In this talk, based on joint work with K. J. Becher, a sharper bound is presented for the products of positive definite real quadratic forms in n variables, for certain n.   More precisely, we use methods from classical quadratic form theory to show, for any natural k, that the product of two positive definite quadratic forms in R[X_1, …, X_n], where n = 2^{k+1} + 1, is the sum of (3n-1)/2 squares of rational functions in R(X_1, …, X_n). ================================================ https://us02web.zoom.us/j/87856132062 Meeting ID: 878 5613 2062 Third floor seminar room and Zoom אוניברסיטת בר-אילן - המחלקה למתמטיקה mathoffice@math.biu.ac.il Asia/Jerusalem public
Place
Third floor seminar room and Zoom
Abstract

In 1927, E. Artin solved Hilbert’s 17th problem and showed that real positive definite forms are exactly the quotients of sums of squares of forms, but did not provide any bound on the number of squares appearing in such sums.  In 1967, A. Pfister showed for every natural number n that all positive definite forms in R(X_1, …, X_n) are sums of 2^n squares.  When restricting to quadratic forms, this bound is easily seen not to be optimal.  In this talk, based on joint work with K. J. Becher, a sharper bound is presented for the products of positive definite real quadratic forms in n variables, for certain n.  

More precisely, we use methods from classical quadratic form theory to show, for any natural k, that the product of two positive definite quadratic forms in R[X_1, …, X_n], where n = 2^{k+1} + 1, is the sum of (3n-1)/2 squares of rational functions in R(X_1, …, X_n).

================================================

https://us02web.zoom.us/j/87856132062

Meeting ID: 878 5613 2062

תאריך עדכון אחרון : 01/08/2023