基变换映射$U\times_{X}X\rightarrow U\times_{Y}Y$
我的提问：令$X,Y$是概形。令$X\rightarrow Y,X\rightarrow X, Y\rightarrow Y$为概形态射。为什么态射$U\times_{X}X\rightarrow U\times_{Y}Y$是$X\rightarrow X\times_{Y}Y$通过$U\times_{Y}Y\rightarrow Y$的基变换。这是我尝试的图，其中三角形是交换的。但是我发现$(U\times_{Y}Y)\times_{Y}(X\times_{Y}Y)=U\times_{Y}X\times_{Y}Y=U\times_{Y}X$，即我无法得到想要的$U\times_{X}X$。我这是犯了什么错误？这是问题的上下文，来自朱歆文的论文Affine Grassmannians and the geometric Satake in mixed characteristic (arXiv link)：引理 A.2. 对任何代数空间的平展态射$X\to Y$，由$\sigma_X$导出的相对Frobenius态射$X\to X\times_{Y,\sigma_Y}Y$是一个同构。证 ...
运动与健康