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:
A vector bundle is essentially finite if it is a subquotient of a finite vector bundle in the category of Nori-semistable vector bundles.[1]
Propertiesedit
Let be a reduced and connected scheme over a perfect field endowed with a section . Then a vector bundle over is essentially finite if and only if there exists a finite-group scheme and a -torsor such that becomes trivial over (i.e. , where ).
When is a reduced, connected and proper scheme over a perfect field with a point then the category of essentially finite vector bundles provided with the usual tensor product , the trivial object and the fiber functor is a Tannakian category.
^ abNori, Madhav V. (1976). "On the Representations of the Fundamental Group". Compositio Mathematica. 33 (1): 29–42. MR 0417179.
^Szamuely, T. (2009). Galois Groups and Fundamental Groups. Vol. 117. Cambridge Studies in Advanced Mathematics.
^N. Borne, A. Vistoli The Nori fundamental gerbe of a fibered category, J. Algebr. Geom. 24, No. 2, 311-353 (2015)
April 17, 2024
essentially, finite, vector, bundle, mathematics, essentially, finite, vector, bundle, particular, type, vector, bundle, defined, madhav, nori, main, tool, construction, fundamental, group, scheme, even, definition, intuitive, there, nice, characterization, th. 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 Andre Weil and will be needed to define essentially finite vector bundles Contents 1 Finite vector bundles 2 Definition 2 1 According to Borne and Vistoli 2 2 The original definition of Nori 3 Properties 4 NotesFinite vector bundles editLet X displaystyle X nbsp be a scheme and V displaystyle V nbsp a vector bundle on X displaystyle X nbsp For f a0 a1x anxn Z 0 x displaystyle f a 0 a 1 x ldots a n x n in mathbb Z geq 0 x nbsp an integral polynomial with nonnegative coefficients define f V OX a0 V a1 V 2 a2 V n an 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 nbsp Then V displaystyle V nbsp is called finite if there are two distinct polynomials f g Z 0 x displaystyle f g in mathbb Z geq 0 x nbsp for which f V displaystyle f V nbsp is isomorphic to g V displaystyle g V nbsp Definition editThe following two definitions coincide whenever X displaystyle X nbsp is a reduced connected and proper scheme over a perfect field According to Borne and Vistoli edit A vector bundle is essentially finite if it is the kernel of a morphism u F1 F2 displaystyle u F 1 to F 2 nbsp where F1 F2 displaystyle F 1 F 2 nbsp are finite vector bundles 3 The original definition of Nori edit A vector bundle is essentially finite if it is a subquotient of a finite vector bundle in the category of Nori semistable vector bundles 1 Properties editLet X displaystyle X nbsp be a reduced and connected scheme over a perfect field k displaystyle k nbsp endowed with a section x X k displaystyle x in X k nbsp Then a vector bundle V displaystyle V nbsp over X displaystyle X nbsp is essentially finite if and only if there exists a finite k displaystyle k nbsp group scheme G displaystyle G nbsp and a G displaystyle G nbsp torsor p P X displaystyle p P to X nbsp such that V displaystyle V nbsp becomes trivial over P displaystyle P nbsp i e p V OP r displaystyle p V cong O P oplus r nbsp where r rk V displaystyle r rk V nbsp When X displaystyle X nbsp is a reduced connected and proper scheme over a perfect field with a point x X k displaystyle x in X k nbsp then the category EF X displaystyle EF X nbsp of essentially finite vector bundles provided with the usual tensor product OX displaystyle otimes mathcal O X nbsp the trivial object OX displaystyle mathcal O X nbsp and the fiber functor x displaystyle x nbsp is a Tannakian category The k displaystyle k nbsp affine group scheme p1 X x displaystyle pi 1 X x nbsp naturally associated to the Tannakian category EF X displaystyle EF X nbsp is called the fundamental group scheme Notes edit a b Nori Madhav V 1976 On the Representations of the Fundamental Group Compositio Mathematica 33 1 29 42 MR 0417179 Szamuely T 2009 Galois Groups and Fundamental Groups Vol 117 Cambridge Studies in Advanced Mathematics N Borne A Vistoli The Nori fundamental gerbe of a fibered category J Algebr Geom 24 No 2 311 353 2015 Retrieved from https en wikipedia org w index php title Essentially finite vector bundle amp oldid 1113185934, wikipedia, wiki, book, books, library,