In mathematics, an essentially finite vector bundle is a particular type of vector bundle defined by Madhav Nori, as the main tool in the construction of the fundamental group scheme. Even if the definition is not intuitive there is a nice characterization that makes essentially finite vector bundles quite natural objects to study in algebraic geometry. So before recalling the definition we give this characterization:
Contents
Characterization
Let
Definition
Let X be a scheme and E a vector bundle on X. For
A vector bundle E is called finite if there are two distinct polynomials f, g for which f(E) is isomorphic to g(E). A bundle is essentially finite if it's a subquotient of a finite vector bundle.