The irreducible hypersurface Pythagoras-number conjecture

Let f(x,y,z)R[x,y,z]f(x,y,z)\in\mathbb{R}[x,y,z] be an irreducible polynomial. The irreducible hypersurface Pythagoras-number conjecture. concerns the Pythagoras number p(A)p(A) of the coordinate ring A=R[x,y,z]/(f(x,y,z))A=\mathbb{R}[x,y,z]/(f(x,y,z)), namely the least number of squares needed to represent every sum of squares in AA, if such a finite number exists. The polynomial ff is indefinite when it changes sign on R3\mathbb{R}^3; equivalently, the ideal (f(x,y,z))(f(x,y,z)) is real.

Irreducible hypersurface Pythagoras-number conjecture. The following conditions are equivalent:

p(R[x,y,z]/(f(x,y,z)))=+p\left(\mathbb{R}[x,y,z]/(f(x,y,z))\right)=+\infty

and f(x,y,z)f(x,y,z) is indefinite.

This would classify the irreducible hypersurface coordinate rings in three variables according to whether their Pythagoras number is finite or infinite. The surrounding discussion presents this as an expectation based on the cases established in the paper; no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Kacper Błachut and Tomasz Kowalczyk, “Sums of squares on hypersurfaces”, arXiv:2308.00095 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.