The winning-strategy conjecture for Ideal Chomp on polynomial algebras

Let Kˉ[x1,,xn]\bar{K}[x_1,\dots,x_n] be the polynomial algebra in nn variables over an algebraically closed field Kˉ\bar{K}, with n1n\geq 1. In the Ideal Chomp Game, player A and player B alternately choose proper ideals according to the game's rules, and a player wins when the opponent has no legal move.

Winning-strategy conjecture. Player A has a winning strategy on Kˉ[x1,,xn]\bar{K}[x_1,\dots,x_n] for any n1n\geq 1.

This conjecture concerns the open question of determining the winner of the Ideal Chomp Game on polynomial algebras in arbitrary dimension. The preceding examples show winning strategies for player A in several related algebras, but the general case remains open.

Sources & referencesView supporting material

Primary source

Leopold Karl, “A Complete Classification of Ideal Chomp Games on Low-Rank Algebras”, arXiv:2511.01673 (2025).

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.