The fundamental group-scheme
type: Item
instance of: scholarly article
title: The fundamental group-scheme
zbMATH Open document ID: 0586.14006
DOI: 10.1007/BF02967978
author: Madhav V. Nori
published in: Proceedings of the Indian Academy of Sciences. Mathematical Sciences
publication date: 1982-01-01T00:00:00Z
review text: For a connected reduced scheme X over an arbitrary field k the fundamental group scheme is constructed and studied (which is a group scheme over k) and its connection with principal G-fiberings, where G is a finite (or nilpotent) group scheme, and finite linear fiberings on X is investigated. For X and its fixed k-point \(\chi_ 0:\quad Spec k\to X\) a triple \((P,\pi (X,\chi_ 0),*)\) is constructed (where \(\pi (X,\chi_ 0)\) is the group k-scheme which is the projective limit of finite group schemes, P is the principal \(\pi (X,\chi_ 0)\) fibering over X with marked point * lying over \(\chi_ 0)\) which has the universality property with respect to principal G-fiberings on X, where G is a finite group k-scheme with marked point lying over \(\chi_ 0\). The group k-scheme \(\pi (X,\chi_ 0)\) is called the fundamental group scheme of the scheme X and possesses many natural properties. The case of a complete scheme X over a perfect field k was considered by the author earlier and is connected with finite and essentially finite vector bundles over X which are multidimensional generalizations of one- dimensional bundles corresponding to the finite order points on the Jacobian of a curve [the author, Compos. Math. 33, 29-41 (1976; Zbl 0337.14016)]. Owing to the consideration of non-complete schemes the author carries over these results to linear, parabolic (defined by Seshadri) essentially finite bundles over a smooth projective curve X with a finite set S of points deleted. Such bundles are constructed by k- linear representations of the group \(\pi (X-S,\chi_ 0)\), where \(\chi_ 0\not\in S\), which are passed through representations of finite group schemes over k. The last chapter is devoted to the study of a nilpotent fundamental group-scheme \(U(X,\chi_ 0)\) (it is constructed if \(\Gamma\) (X,\({\mathcal O}_ X)=k)\). If char k\(>0\) and \(\dim H^ 1(X,{\mathcal O}_ X)<\infty\) then \(U(X,\chi_ 0)\) is a factor of \(\pi (X,\chi_ 0)\). The connection of \(U(X,\chi_ 0)\) …
Mathematics Subject Classification ID: 14E20
Mathematics Subject Classification ID: 14L15
Mathematics Subject Classification ID: 14F35
Mathematics Subject Classification ID: 14A15
zbMATH DE Number: 3939489
zbMATH Keywords: finite-dimensional representations of affine group scheme
zbMATH Keywords: fundamental group scheme
zbMATH Keywords: non-commutative formal groups
zbMATH Keywords: characteristic p
MaRDI profile type: Publication
cites work: Vector Bundles Over an Elliptic Curve
cites work: Characterizations of Regular Local Rings of Characteristic p
cites work: Categories tannakiennes
cites work: On 𝑝-extensions
cites work: Space of unitary vector bundles on a compact Riemann surface
cites work: Moduli of vector bundles on curves with parabolic structures
cites work: Généralisation des fonctions abéliennes
full work available at URL: https://doi.org/10.1007/bf02967978
OpenAlex ID: W2061027914
description: scientific article; zbMATH DE number 3939489