Genuinely ramified maps and pseudo-stable vector bundles
Abstract
Let X and Y be irreducible normal projective varieties, of same dimension, defined over an algebraically closed field, and let f : Y → X be a finite generically smooth morphism such that the corresponding homomorphism between the \'etale fundamental groups f*:π et1(Y) →π et1(X) is surjective. Fix a polarization on X and equip Y with the pulled back polarization. For a point y0∈ Y, let (Y, y0) (respectively, (X, f(y0))) be the affine group scheme given by the neutral Tannakian category defined by the strongly pseudo-stable vector bundles of degree zero on Y (respectively, X). We prove that the homomorphism (Y, y0) → (X, f(y0)) induced by f is surjective. Let E be a pseudo-stable vector bundle on X and F ⊂ f*E a pseudo-stable subbundle with μ(F)= μ(f*E). We prove that f*E is pseudo-stable and there is a pseudo-stable subbundle W ⊂ E such that f*W = F as subbundles of f*E.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.