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 ${\displaystyle X}$ be a scheme and ${\displaystyle V}$ a vector bundle on ${\displaystyle X}$. For ${\displaystyle f=a_{0}+a_{1}x+\ldots +a_{n}x^{n}\in \mathbb {Z} _{\geq 0}[x]}$ an integral polynomial with nonnegative coefficients define

${\displaystyle f(V):={\mathcal {O}}_{X}^{\oplus a_{0}}\oplus V^{\oplus a_{1}}\oplus \left(V^{\otimes 2}\right)^{\oplus a_{2}}\oplus \ldots \oplus \left(V^{\otimes n}\right)^{\oplus a_{n}}}$

Then ${\displaystyle V}$ is called finite if there are two distinct polynomials ${\displaystyle f,g\in \mathbb {Z} _{\geq 0}[x]}$ for which ${\displaystyle f(V)}$ is isomorphic to ${\displaystyle g(V)}$.

Definition

The following two definitions coincide whenever ${\displaystyle X}$ is a reduced, connected and proper scheme over a perfect field.

Properties

• Let ${\displaystyle X}$ be a reduced and connected scheme over a perfect field ${\displaystyle k}$ endowed with a section ${\displaystyle x\in X(k)}$. Then a vector bundle ${\displaystyle V}$ over ${\displaystyle X}$ is essentially finite if and only if there exists a finite ${\displaystyle k}$-group scheme ${\displaystyle G}$ and a ${\displaystyle G}$-torsor ${\displaystyle p:P\to X}$ such that ${\displaystyle V}$ becomes trivial over ${\displaystyle P}$ (i.e. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle p^*(V)\cong O_P^{\oplus r}} , where ${\displaystyle r=rk(V)}$).

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

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

Notes