бирациональные автоморфизмы k3 Раз K3 минимальны, то бирациональные морфизмы в себя бирегулярны.
А если у меня бирациональое _отображение_ из k3 в себя, оно будет везде определено?
если нет, то что про них вообще можно сказать?
раз уж начал: у Манина в книжке про кубические формы, странное
утверждение: что если в
бирациональном классе единственная минимальная модель, то автоморфизмы поля это тоже
самое, что автоморфизмы (бирегулярные) этой модели. И это "следует легко из
определений". Как от бирационального отображения минимальной модели перейти к
бирациональному морфизму, и при чём тут единственность минимальных моделей?