Journal of Algebraic Geometry Journal of Algebraic Geometry

     

Comparison of fundamental group schemes of a projective variety and an ample hypersurface

Author(s): Indranil Biswas; Yogish I. Holla
Journal: J. Algebraic Geom. 16 (2007), 547-597.
Posted: March 20, 2007
Retrieve article in: PDF

Abstract | References | Additional information

Abstract: Let $ X$ be a smooth projective variety defined over an algebraically closed field, and let $ L$ be an ample line bundle over $ X$. We prove that for any smooth hypersurface $ D$ on $ X$ in the complete linear system $ \vert L^{\otimes d}\vert$, the inclusion map $ D\hookrightarrow X$ induces an isomorphism of fundamental group schemes, provided $ d$ is sufficiently large and $ \dim X \, \geq\, 3$. If $ \dim X \, =\, 2$, and $ d$ is sufficiently large, then the induced homomorphism of fundamental group schemes remains surjective. We give an example to show that the homomorphism of fundamental group schemes induced by the inclusion map of a reduced ample curve in a smooth projective surface is not surjective in general.


References:

[At]
M. F. Atiyah: Complex analytic connections in fibre bundles, Trans. Amer. Math. Soc. 85 (1957), 181-207. MR 0086359 (19:172c)

[DM]
P. Deligne and J. S. Milne: Tannakian Categories, (Hodge cycles, motives, and Shimura varieties, by P. Deligne, J. S. Milne, A. Ogus and K.-Y. Shih), pp. 101-228, Lecture Notes in Mathematics, 900, Springer-Verlag, Berlin-Heidelberg-New York, 1982. MR 0654325 (84m:14046)

[EGA3]
A. Grothendieck (rédigés avec collaboration de J. Dieudonné): Éléments de géométrie algébrique, III, Étude cohomologique des faisceaux cohérents. Inst. Hautes Études Sci. Publ. Math. 11 (1961), 1-167. MR 0163910 (29:1209)

[Ek]
T. Ekedahl: Canonical models of surfaces of general type in positive characteristic, Inst. Hautes Études Sci. Publ. Math. 67 (1988), 97-144. MR 0972344 (89k:14069)

[Gr]
A. Grothendieck: Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2), Advanced Studies in Pure Mathematics, Vol. 2. North-Holland Publishing Co., Amsterdam; Masson & Cie, Éditeur, Paris, 1968. MR 476737 (57:16294)

[Ha]
R. Hartshorne: Ample subvarieties of algebraic varieties, Lecture Notes in Mathematics, Vol. 156 Springer-Verlag, Berlin-New York, 1970. MR 0282977 (44:211)

[Ka]
N. M. Katz: Nilpotent connections and the monodromy theorem: Applications of a result of Turrittin, Inst. Hautes Études Sci. Publ. Math. 39 (1971), 175-232. MR 0291177 (45:271)

[La]
A. Langer: Semistable sheaves in positive characteristic, Ann. of Math. 159 (2004), 251-276. MR 2051393 (2005c:14021)

[Mi]
J. S. Milne: Étale Cohomology, Princeton Mathematical Series, 33, Princeton University Press, Princeton, New Jersey, 1980. MR 0559531 (81j:14002)

[Mu]
D. Mumford: Some footnotes to the work of C. P. Ramanujam, C. P. Ramanujam--a tribute, pp. 247-262, Tata Inst. Fund. Res. Studies in Math., 8, Springer, Berlin-New York, 1978. MR 0541025 (80m:14026)

[No1]
M. V. Nori: On the representations of the fundamental group scheme, Compos. Math. 33 (1976), 29-41. MR 0417179 (54:5237)

[No2]
M. V. Nori: The fundamental group-scheme, Proc. Ind. Acad. Sci. (Math. Sci.) 91 (1982), 73-122. MR 0682517 (85g:14019)

[Ra]
M. Raynaud: Contre-exemple au ``vanishing theorem'' en caractéristique $ p>0$, C. P. Ramanujam--a tribute, pp. 273-278, Tata Inst. Fund. Res. Studies in Math., 8, Springer, Berlin-New York, 1978. MR 0541027 (81b:14011)

[RR]
S. Ramanan and A. Ramanathan: Some remarks on the instability flag, Tôhoku Math. Jour. 36 (1984), 269-291. MR 0742599 (85j:14017)


Additional Information:

Indranil Biswas
Affiliation: School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400005, India
Email: indranil@math.tifr.res.in

Yogish I. Holla
Affiliation: School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay 400005, India
Email: yogi@math.tifr.res.in

PII: S 1056-3911(07)00449-3
Received by editor(s): February 16, 2006
Received by editor(s) in revised form: February 20, 2006
Posted: March 20, 2007

Journal of Algebraic Geometry
The Journal of Algebraic Geometry
is distributed by the American Mathematical Society
for University Press, Inc.
Online ISSN 1534-7486; Print ISSN 1056-3911
© 2009 University Press, Inc.
Comments: jag-query@ams.org
AMS Website