Essentially finite vector bundle explained

In mathematics, an essentially finite vector bundle is a particular type of vector bundle defined by Madhav V. Nori,^{[1] [2]} 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. The following notion of finite vector bundle is due to André Weil and will be needed to define essentially finite vector bundles:

Finite vector bundles

Let

X be a scheme and V a vector bundle on X . For f = a _{0} + a _{1} x + \ldots + a _{n} x ^{n} \in Z _{\ge} [x] an integral polynomial with nonnegative coefficients definef(V) : = l{O} ^{⊕ a _{0}} _{X} ⊕ V ^{⊕ a _{1}} ⊕ \left(V ^{⊗} \right) ^{⊕ a _{2}} ⊕ \ldots ⊕ \left(V ^{⊗} \right) ^{⊕ a _{n}} Then V is called finite if there are two distinct polynomials f,g\in Z _{\ge} [x] for which f(V) is isomorphic to g(V) .

Definition

The following two definitions coincide whenever

X is a reduced, connected and proper scheme over a perfect field.

According to Borne and Vistoli

A vector bundle is essentially finite if it is the kernel of a morphism

u:F _{1\to} F _{2} where F _{1,} F _{2} are finite vector bundles. ^[3]

The original definition of Nori

A vector bundle is essentially finite if it is a subquotient of a finite vector bundle in the category of Nori-semistable vector bundles.

Properties

• Let

X be a reduced and connected scheme over a perfect field k endowed with a section x\in X(k) . Then a vector bundle V over X is essentially finite if and only if there exists a finite k -group scheme G and a G -torsor p:P\to X such that V becomes trivial over P (i.e. p ^{*(V)\cong} O ^{⊕ r} _{P} , where r = rk(V) ).

• When

X is a reduced, connected and proper scheme over a perfect field with a point x\in X(k) then the category EF(X) of essentially finite vector bundles provided with the usual tensor product ⊗ _{l{O} _{X}} , the trivial object l{O} _{X} and the fiber functor x ^{*} is a Tannakian category.

• The

k -affine group scheme \pi _{1(X,x)} naturally associated to the Tannakian category EF(X) is called the fundamental group scheme.

Notes

1. Nori . Madhav V. . On the Representations of the Fundamental Group . Compositio Mathematica . 33 . 1976 . 1 . 29–42 . 417179 .
2. Book: Szamuely, T. . Galois Groups and Fundamental Groups . Cambridge Studies in Advanced Mathematics . 117 . 2009.
3. N. Borne, A. Vistoli The Nori fundamental gerbe of a fibered category, J. Algebr. Geom. 24, No. 2, 311-353 (2015)