Misplaced Pages

Nori-semistable vector bundle

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Nori-semistable) Type of 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, 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. 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 π 1 ( X , x ) {\displaystyle \pi _{1}(X,x)} .

Definition

Let X {\displaystyle X} be a scheme over a field k {\displaystyle k} and V {\displaystyle V} a vector bundle on X {\displaystyle X} . It is said that V {\displaystyle V} is Nori semistable if for any smooth and proper curve C {\displaystyle C} over k ¯ {\displaystyle {\bar {k}}} and any morphism j : C X {\displaystyle j:C\to X} the pull back j ( V ) {\displaystyle j^{*}(V)} is semistable of degree 0.

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 V {\displaystyle V} to any curve in X {\displaystyle X} had to be semistable of degree 0. Then for instance in positive characteristic a morphism j {\displaystyle j} 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 S {\displaystyle S} -fundamental group scheme π S ( X , x ) {\displaystyle \pi ^{S}(X,x)} . Instead, Nori's original definition didn't give rise to a Tannakian category but only to an abelian category.

Notes

  1. Nori, Madhav V. (1976). "On the Representations of the Fundamental Group" (PDF). Compositio Mathematica. 33 (1): 29–42. MR 0417179. Zbl 0337.14016.
  2. Szamuely, Tamás (2009). Galois Groups and Fundamental Groups. Vol. 117. Cambridge Studies in Advanced Mathematics. doi:10.1017/CBO9780511627064. ISBN 9780521888509.
  3. 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. arXiv:1809.06755. doi:10.2748/tmj.20200727. S2CID 54217282.
  4. Deligne, P.; Milne, J. M. (1982). "Tannakian Categories". Hodge Cycles, Motives, and Shimura Varieties. Lecture Notes in Mathematics. Vol. 900. doi:10.1007/978-3-540-38955-2. ISBN 978-3-540-11174-0.
  5. Langer, Adrian (2011). "On the S {\displaystyle S} -fundamental group scheme". Annales de l'Institut Fourier. 61 (5): 2077–2119. arXiv:0905.4600. doi:10.5802/aif.2667. S2CID 53506862.


Stub icon

This algebraic geometry–related article is a stub. You can help Misplaced Pages by expanding it.

Categories: