Nori-semistable vector bundle
In mathematics, a Nori semistable vector bundle is a particular type of vector bundle whose first definition has been first implicitly suggested by Madhav V. Nori,[1][2] as one of the main ingredients for the construction of the fundamental group scheme. The original definition given by Nori was obviously not called Nori semistable. Also, Nori's definition was different from the one suggested nowadays.[3] The category of Nori semistable vector bundles contains the Tannakian category of essentially finite vector bundles, whose naturally associated group scheme is the fundamental group scheme [math]\displaystyle{ \pi_1(X,x) }[/math].
Definition
Let [math]\displaystyle{ X }[/math] be a scheme over a field [math]\displaystyle{ k }[/math] and [math]\displaystyle{ V }[/math] a vector bundle on [math]\displaystyle{ X }[/math]. It is said that [math]\displaystyle{ V }[/math] is Nori semistable if for any smooth and proper curve [math]\displaystyle{ C }[/math] over [math]\displaystyle{ \bar k }[/math] and any morphism [math]\displaystyle{ j:C\to X }[/math] the pull back [math]\displaystyle{ j^*(V) }[/math] is semistable of degree 0.[4]
Difference with Nori's original definition
Nori semistable vector bundles were called by Nori semistable causing a lot of confusion with the already existing definition of semistable vector bundles. More importantly Nori simply said that the restriction of [math]\displaystyle{ V }[/math] to any curve in [math]\displaystyle{ X }[/math] had to be semistable of degree 0. Then for instance in positive characteristic a morphism [math]\displaystyle{ j }[/math] like the Frobenius morphism was not included in Nori's original definition. The importance of including it is that the above definition makes the category of Nori semistable vector bundles tannakian and the group scheme associated to it is the [math]\displaystyle{ S }[/math]-fundamental group scheme[5] [math]\displaystyle{ \pi^S(X,x) }[/math]. Instead, Nori's original definition didn't give rise to a Tannakian category but only to an abelian category.
Notes
- ↑ Nori, Madhav V. (1976). "On the Representations of the Fundamental Group". Compositio Mathematica 33 (1): 29–42. http://www.numdam.org/item/CM_1976__33_1_29_0.pdf.
- ↑ Szamuely, Tamás (2009). Galois Groups and Fundamental Groups. 117. Cambridge Studies in Advanced Mathematics. doi:10.1017/CBO9780511627064. ISBN 9780521888509.
- ↑ Biswas, Indranil; Hai, Phùng Hô; Dos Santos, João Pedro (2021). "On the fundamental group schemes of certain quotient varieties". Tohoku Mathematical Journal 73 (4): 565-595. doi:10.2748/tmj.20200727.
- ↑ Deligne, P.; Milne, J. M. (1982). "Tannakian Categories". Hodge Cycles, Motives, and Shimura Varieties. Lecture Notes in Mathematics. 900. doi:10.1007/978-3-540-38955-2. ISBN 978-3-540-11174-0. https://books.google.com/books?id=gW5rCQAAQBAJ&pg=PA147.
- ↑ Langer, Adrian (2011). "On the [math]\displaystyle{ S }[/math]-fundamental group scheme". Annales de l'Institut Fourier 61 (5): 2077–2119. doi:10.5802/aif.2667.
 |  |
