Jump to content

Nori-semistable vector bundle

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by ArtistoY (talk | contribs) at 18:45, 13 August 2023 (ArtistoY moved page Nori-semistable to Nori-semistable vector bundle: Uniformizing in affinity with other pages, e.g., essentially-finite vector bundle, or stable vector bundle). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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 .

Definition

[edit]

Let be a scheme over a field and a vector bundle on . It is said that is Nori semistable if for any smooth and proper curve over and any morphism the pull back is semistable of degree 0.[4]

Difference with Nori's original definition

[edit]

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 to any curve in had to be semistable of degree 0. Then for instance in positive characteristic a morphism 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 -fundamental group scheme[5] . Instead, Nori's original definition didn't give rise to a Tannakian category but only to an abelian category.

Notes

[edit]
  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 -fundamental group scheme". Annales de l'Institut Fourier. 61 (5): 2077–2119. arXiv:0905.4600. doi:10.5802/aif.2667. S2CID 53506862.