Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Oh, ok thanks! I think that the formulation was not good. I think you mean that we can take $X = Y$ (regular) and f the absolute Frobenius, because it is flat (Kunz) and df^p = 0 for every function... In the first step of the construction of the splitting, I need to show that the pullback map to $Y =\mathbb{P}(\mathcal{E}^{*})$ is injective. Is that true?