
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 ${\bar{K}}$ 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})\geq 2$ there exists an integer $d_0$, depending only on $X$, such that for any $d\geq d_0$, any $Y\in |H^{\otimes d}|$ connected and smooth over ${W}$ and any $y\in Y({W})$ the natural ${R}$-morphism of fundamental group schemes $��_1(Y_R,y_R)\to ��_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})\geq 3$ then there exists an integer $d_1$, depending only on $X$, such that for any $d\geq d_1$, any $Y\in |H^{\otimes d}|$ connected and smooth over ${W}$ and any section $y\in Y({W})$ the morphism $��_1(Y_R,y_R)\to ��_1(X_R,y_R)$ is an isomorphism.
11 pages
Mathematics(all), Group schemes, Essentially finite vector bundles, 14J60, 14L15, Fundamental group scheme, Grothendieck-Lefschetz theorem, Mathematics - Algebraic Geometry, 516, FOS: Mathematics, Grothendieck–Lefschetz theorem, Divisors, linear systems, invertible sheaves, Arithmetic varieties and schemes; Arakelov theory; heights, essentially finite vector bundles, Vector bundles on surfaces and higher-dimensional varieties, and their moduli, fundamental group scheme, Algebraic Geometry (math.AG)
Mathematics(all), Group schemes, Essentially finite vector bundles, 14J60, 14L15, Fundamental group scheme, Grothendieck-Lefschetz theorem, Mathematics - Algebraic Geometry, 516, FOS: Mathematics, Grothendieck–Lefschetz theorem, Divisors, linear systems, invertible sheaves, Arithmetic varieties and schemes; Arakelov theory; heights, essentially finite vector bundles, Vector bundles on surfaces and higher-dimensional varieties, and their moduli, fundamental group scheme, Algebraic Geometry (math.AG)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
