真分歧映射与拉回抛物丛的稳定性

设$f : X \rightarrow Y$为定义在代数闭域上的不可约光滑射影曲线之间的真分歧映射。设$P$为$Y$上的一个分支数据，使得对每一点$y \in Y$，$P(y)$与$B_f(y)$（其中$B_f$为$f$的分支数据）线性不交。进一步假设$P$为驯顺的或$f$为Galois的。则由$f$拉回的$Y$上任意关于$P$的稳定抛物丛，实际为$X$上关于$f^*P$的稳定抛物丛。