On the S-fundamental group scheme (Q416018): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
There have been several generalizations of the concept of a fundamental group for algebraic varieties. Grothendieck defined the étale fundamental group by considering finite étale covers of the variety. In the complex case, under suitable hypotheses, this turns out to be the profinite completion of the topological fundamental group. Later, Nori defined the fundamental group scheme of a scheme \(X\) over a perfect field \(k\) as the affine group scheme associated to the neutral Tannaka category of essentially finite vector bundles over \(X\). If \(k\) is algebraically closed, this has the étale fundamental group as its quotient, and is in fact equal to it if \(k\) has characteristic 0. In addition to these two fundamental groups, Simpson defined the universal complex pro-algebraic group as the inverse limit of the directed system of representations \(\rho: \pi_1(X,x) \to G\) for complex algebraic groups \(G\), such that the image of \(\rho\) is Zariski-dense in \(G\). This group can also be described as being associated to the neutral Tannaka category of semistable Higgs bundles with vanishing rational Chern classes. \textit{I. Biswas}, \textit{A. J. Parameswaran} and \textit{S. Subramanian} [Duke Math. J. 132, No. 1, 1--48 (2006; Zbl 1106.14032)] defined the S-fundamental group scheme of a smooth, projective curve \(X\) over an algebraically closed field as the affine group scheme associated to the neutral Tannaka category of strongly semistable vector bundles of degree zero over \(X\). In the paper under review, the author seeks to study the S-fundamental group scheme for a general complete, connected, reduced \(k\)-scheme \(X\). This is defined as the affine group scheme associated to the neutral Tannaka category of strongly semistable vector bundles with vanishing Chern classes over \(X\), directly generalizing the definition given in Biswas. We note that, for a smooth and projective variety \(X\), this category can also be described as the category of numerically flat vector bundles. Here, a vector bundle \(E\) on \(X\) is called numerically flat if both \(E\) and \(E^*\) are nef. For \(G\) a connected reductive \(k\)-group and \(E_G\) a numerically flat principal \(G\)-bundle on \(X\), the monodromy group scheme of \(E_G\) is defined and it is shown that this is the smallest subgroup scheme of \(G\) to which \(E_G\) has a reduction of structure group. Next, the author discusses basic properties of the S-fundamental group scheme. Among these, we have that the S-fundamental group scheme of the projective space is trivial, and the S-fundamental group scheme is well-behaved under blow-ups and base change. The author also conjectures that the S-fundamental group scheme of a product of complete \(k\)-varieties is the product of the corresponding S-fundamental group schemes. (The author proves this result in a sequel to this paper.) After two vanishing theorems for the cohomology of strongly semistable sheaves with vanishing Chern classes, the author proves Lefschetz-type theorems for the S-fundamental group scheme, with similar statements for Nori's and étale fundamental groups deriving as a corollary. | |||
Property / review text: There have been several generalizations of the concept of a fundamental group for algebraic varieties. Grothendieck defined the étale fundamental group by considering finite étale covers of the variety. In the complex case, under suitable hypotheses, this turns out to be the profinite completion of the topological fundamental group. Later, Nori defined the fundamental group scheme of a scheme \(X\) over a perfect field \(k\) as the affine group scheme associated to the neutral Tannaka category of essentially finite vector bundles over \(X\). If \(k\) is algebraically closed, this has the étale fundamental group as its quotient, and is in fact equal to it if \(k\) has characteristic 0. In addition to these two fundamental groups, Simpson defined the universal complex pro-algebraic group as the inverse limit of the directed system of representations \(\rho: \pi_1(X,x) \to G\) for complex algebraic groups \(G\), such that the image of \(\rho\) is Zariski-dense in \(G\). This group can also be described as being associated to the neutral Tannaka category of semistable Higgs bundles with vanishing rational Chern classes. \textit{I. Biswas}, \textit{A. J. Parameswaran} and \textit{S. Subramanian} [Duke Math. J. 132, No. 1, 1--48 (2006; Zbl 1106.14032)] defined the S-fundamental group scheme of a smooth, projective curve \(X\) over an algebraically closed field as the affine group scheme associated to the neutral Tannaka category of strongly semistable vector bundles of degree zero over \(X\). In the paper under review, the author seeks to study the S-fundamental group scheme for a general complete, connected, reduced \(k\)-scheme \(X\). This is defined as the affine group scheme associated to the neutral Tannaka category of strongly semistable vector bundles with vanishing Chern classes over \(X\), directly generalizing the definition given in Biswas. We note that, for a smooth and projective variety \(X\), this category can also be described as the category of numerically flat vector bundles. Here, a vector bundle \(E\) on \(X\) is called numerically flat if both \(E\) and \(E^*\) are nef. For \(G\) a connected reductive \(k\)-group and \(E_G\) a numerically flat principal \(G\)-bundle on \(X\), the monodromy group scheme of \(E_G\) is defined and it is shown that this is the smallest subgroup scheme of \(G\) to which \(E_G\) has a reduction of structure group. Next, the author discusses basic properties of the S-fundamental group scheme. Among these, we have that the S-fundamental group scheme of the projective space is trivial, and the S-fundamental group scheme is well-behaved under blow-ups and base change. The author also conjectures that the S-fundamental group scheme of a product of complete \(k\)-varieties is the product of the corresponding S-fundamental group schemes. (The author proves this result in a sequel to this paper.) After two vanishing theorems for the cohomology of strongly semistable sheaves with vanishing Chern classes, the author proves Lefschetz-type theorems for the S-fundamental group scheme, with similar statements for Nori's and étale fundamental groups deriving as a corollary. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Emre Coskun / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14J60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14L15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6032135 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fundamental group | |||
Property / zbMATH Keywords: fundamental group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positive characteristic | |||
Property / zbMATH Keywords: positive characteristic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
numerically flat bundles | |||
Property / zbMATH Keywords: numerically flat bundles / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Lefschetz type theorems | |||
Property / zbMATH Keywords: Lefschetz type theorems / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3122126255 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0905.4600 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An analogue of the Narasimhan-Seshadri theorem in higher dimensions and some applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tensor Products of Ample Vector Bundles in Characteristic p / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparison of fundamental group schemes of a projective variety and an ample hypersurface / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monodromy group for a strongly semistable principal bundle over a curve / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Numerically flat principal bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: There is no Bogomolov type restriction theorem for strong semistability in positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On deep Frobenius descent and flat bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3977509 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relèvements modulo \(p^ 2\) et décomposition du complexe de de Rham. (Lifting modulo \(p^ 2\) and decomposition of the de Rham complex) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3932925 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4294359 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strong Bertini Theorems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342000 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Positive polynomials for ample vector bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable vector bundles and the frobenius morphism / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083552 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5596003 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3312347 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3128810 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A descent problem of vector bundles and its applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4440466 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4859907 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semistable sheaves in positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semistable principal \(G\)-bundles in positive characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3622194 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vanishing theorems for ample vector bundles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on the local fundamental group scheme / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semistable sheaves on homogeneous spaces and abelian varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Restriction of stable sheaves and representations of the fundamental group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the fundamental group scheme / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The fundamental group-scheme / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vector bundles on complex projective spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A smooth counterexample to Nori’s conjecture on the fundamental group scheme / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on the instability flag / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fundamental group schemes for stratified sheaves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2712596 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Higgs bundles and local systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3859917 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Toroidal varieties and the weak factorization theorem / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:47, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the S-fundamental group scheme |
scientific article |
Statements
On the S-fundamental group scheme (English)
0 references
9 May 2012
0 references
There have been several generalizations of the concept of a fundamental group for algebraic varieties. Grothendieck defined the étale fundamental group by considering finite étale covers of the variety. In the complex case, under suitable hypotheses, this turns out to be the profinite completion of the topological fundamental group. Later, Nori defined the fundamental group scheme of a scheme \(X\) over a perfect field \(k\) as the affine group scheme associated to the neutral Tannaka category of essentially finite vector bundles over \(X\). If \(k\) is algebraically closed, this has the étale fundamental group as its quotient, and is in fact equal to it if \(k\) has characteristic 0. In addition to these two fundamental groups, Simpson defined the universal complex pro-algebraic group as the inverse limit of the directed system of representations \(\rho: \pi_1(X,x) \to G\) for complex algebraic groups \(G\), such that the image of \(\rho\) is Zariski-dense in \(G\). This group can also be described as being associated to the neutral Tannaka category of semistable Higgs bundles with vanishing rational Chern classes. \textit{I. Biswas}, \textit{A. J. Parameswaran} and \textit{S. Subramanian} [Duke Math. J. 132, No. 1, 1--48 (2006; Zbl 1106.14032)] defined the S-fundamental group scheme of a smooth, projective curve \(X\) over an algebraically closed field as the affine group scheme associated to the neutral Tannaka category of strongly semistable vector bundles of degree zero over \(X\). In the paper under review, the author seeks to study the S-fundamental group scheme for a general complete, connected, reduced \(k\)-scheme \(X\). This is defined as the affine group scheme associated to the neutral Tannaka category of strongly semistable vector bundles with vanishing Chern classes over \(X\), directly generalizing the definition given in Biswas. We note that, for a smooth and projective variety \(X\), this category can also be described as the category of numerically flat vector bundles. Here, a vector bundle \(E\) on \(X\) is called numerically flat if both \(E\) and \(E^*\) are nef. For \(G\) a connected reductive \(k\)-group and \(E_G\) a numerically flat principal \(G\)-bundle on \(X\), the monodromy group scheme of \(E_G\) is defined and it is shown that this is the smallest subgroup scheme of \(G\) to which \(E_G\) has a reduction of structure group. Next, the author discusses basic properties of the S-fundamental group scheme. Among these, we have that the S-fundamental group scheme of the projective space is trivial, and the S-fundamental group scheme is well-behaved under blow-ups and base change. The author also conjectures that the S-fundamental group scheme of a product of complete \(k\)-varieties is the product of the corresponding S-fundamental group schemes. (The author proves this result in a sequel to this paper.) After two vanishing theorems for the cohomology of strongly semistable sheaves with vanishing Chern classes, the author proves Lefschetz-type theorems for the S-fundamental group scheme, with similar statements for Nori's and étale fundamental groups deriving as a corollary.
0 references
fundamental group
0 references
positive characteristic
0 references
numerically flat bundles
0 references
Lefschetz type theorems
0 references
0 references
0 references
0 references