Conjecture on rank comparison over a field and its algebraic closure

About 6 years old · traced to

Let KK be a field, let V=V1×⋯×VdV=V_1\times\dots\times V_d, and let P:V→KP:V\to K be a multilinear polynomial of degree dd. Write rK(P)r_K(P) for the Schmidt rank of PP, and let Kˉ\bar K be the algebraic closure of KK. For any d≥2d\geq 2, rank-comparison conjecture. there exists κd>0\kappa_d>0 such that

rK(P)≤κdrKˉ(P).r_K(P)\leq\kappa_d r_{\bar K}(P).

The claim is known for d=2d=2, with κ2=1/2\kappa_2=1/2, and for d=3d=3 because Schmidt rank equals slice rank and the required comparison follows from the cited results. The general statement remains open.

References

Primary source

David Kazhdan and Tamar Ziegler, “Applications of Algebraic Combinatorics to Algebraic Geometry”, arXiv:2005.12542 (2021).

Progress summary

Refreshed
Claimed progress

The conjecture is settled in low degree and has weaker higher-degree bounds, but the general comparison remains open.

The conjecture asks whether Schmidt rank over any field can be bounded by a degree-dependent multiple of Schmidt rank over its algebraic closure. The cases d=2d=2 and d=3d=3 are known, but no result settles all degrees and fields.

Known results

  • d=2d=2: settled immediately.
  • d=3d=3: Schmidt rank equals slice rank; the source records rK(P)≤32rKˉ(P)r_K(P)\leq \frac{3}{2}r_{\bar K}(P) (Dersken).
  • Quartics: over perfect fields of characteristic different from 22, a bound rK(P)≤c(rKˉ(P))r_K(P)\leq c(r_{\bar K}(P)) is proved, but not a degree-only linear bound.
  • For number, finite, and function fields, polynomial bounds in rKˉ(P)r_{\bar K}(P) are available for homogeneous forms.

January 31, 2024 field-restricted bounds

A revised paper gives polynomial field-restricted bounds and states that, before this work, no such bound was known in degrees d>4d>4. This is substantial progress but does not establish a constant κd\kappa_d uniform over all fields.

Current status (as of October 2026): The conjecture is settled for d=2d=2 and d=3d=3, has weaker or field-restricted higher-degree results, and remains open in general.

Sources

Solutions 0

No solutions have been posted yet.