不错的同构

不错不错!
$\mathrm{P}_{\mathrm{Spec}A}^n\cong\mathrm{Proj}A[x_0,\cdots,x_n]$,也就是$\mathrm{Proj}\Bbb Z[x_0,\cdots,x_n]\times \mathrm{Spec }A\cong\mathrm{Proj}A[x_0,\cdots,x_n]$
已邀请:

要回复问题请先登录注册