Let f:X→Yf:X→Y be a proper morphism of normal varieties with f∗OX=OYf∗OX=OY. If XX is toric, then YY is toric and ff is a toric morphism for some toric structures on XX and YY.
生成讲解博客的中文版本
生成AI智能校验的中文版本