On the Grothendieck-Lefschetz theorem for a family of varieties

DOI10.1016/J.BULSCI.2011.12.005zbMATH Open1277.14034arXiv1111.3003OpenAlexW2963356296MaRDI QIDQ428765FDOQ428765

Authors: Marco Antei, Vikram B. Mehta 

Publication date: 25 June 2012

Published in: Bulletin des Sciences Mathématiques (Search for Journal in Brave)

Abstract: Let $k$ be an algebraically closed field of characteristic $p>0$, $W$ the ring of Witt vectors over $k$ and $R$ the integral closure of $W$ in the algebraic closure $$ of $K:=Frac(W)$; let moreover $X$ be a smooth, connected and projective scheme over $W$ and $H$ a relatively very ample line bundle over $X$. We prove that when $dim(X/W)geq2$ there exists an integer $d_0$, depending only on $X$, such that for any $dgeq{d}_0$, any $Yin|H^{otimesd}|$ connected and smooth over $W$ and any $yinY(W)$ the natural $R$-morphism of fundamental group schemes $p{i}_1(Y_R,y_R)op{i}_1(X_R,y_R)$ is faithfully flat, $X_R$, $Y_R$, $y_R$ being respectively the pull back of $X$, $Y$, $y$ over $Spec(R)$. If moreover $dim(X/W)geq3$ then there exists an integer $d_1$, depending only on $X$, such that for any $dgeq{d}_1$, any $Yin|H^{otimesd}|$ connected and smooth over $W$ and any section $yinY(W)$ the morphism $p{i}_1(Y_R,y_R)op{i}_1(X_R,y_R)$ is an isomorphism.

Full work available at URL: https://arxiv.org/abs/1111.3003

Recommendations

• Simple connectedness of projective varieties
• Birational invariance of the \(S\)-fundamental group scheme
• The fundamental group scheme of a smooth projective variety over a ring of Witt vectors
• The Grothendieck-Lefschetz theorem for normal projective varieties
• Grothendieck-Lefschetz for ample subvarieties

zbMATH Keywords

essentially finite vector bundlesfundamental group schemeGrothendieck-Lefschetz theorem

Mathematics Subject Classification ID

Vector bundles on surfaces and higher-dimensional varieties, and their moduli (14J60) Divisors, linear systems, invertible sheaves (14C20) Arithmetic varieties and schemes; Arakelov theory; heights (14G40) Group schemes (14L15)

Cites Work

• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• The fundamental group-scheme
• On the fundamental group scheme
• Title not available (Why is that?)
• Some remarks on the local fundamental group scheme
• Title not available (Why is that?)
• Comparison of fundamental group schemes of a projective variety and an ample hypersurface
• Heights of vector bundles and the fundamental group scheme of a curve
• On Tannakian duality over valuation rings
• The fundamental group scheme of a smooth projective variety over a ring of Witt vectors
• Title not available (Why is that?)
• The Frobenius action on rank 2 vector bundles over curves in small genus and small characteristic

Cited In (7)

• Grothendieck-Lefschetz for ample subvarieties
• Witt groups of projective line bundles
• Simple connectedness of projective varieties
• Distinguished varieties through the Berger-Coburn-Lebow theorem
• Projective push-forwards in the Witt theory of algebraic varieties
• Projective varieties covered by isotrivial families
• The fundamental group scheme of a smooth projective variety over a ring of Witt vectors

This page was built for publication: On the Grothendieck-Lefschetz theorem for a family of varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q428765)