Nagatan konjektuuri

Nagatan konjektuuri on matemaattinen otaksuma, jonka mukaan polynomirenkaan k[x,y,z] Nagatan automorfismi on villi. Otaksuman esitti Masayoshi Nagata vuonna 1972. Ualbai U. Umirbaev ja Ivan P. Shestakov todistivat sen vuonna 2004 ilmestyneessä artikkelissa.

Nagatan automorfismi on

$(x,y,z)\mapsto (x-2(xz+y^{2})y-(xz+y^{2})^{2}z,y+(xz+y^{2})z,z).$