Friday, 13 August 2010

ag.algebraic geometry - lisse sheaf on complex varieties

Dear Shenghao, If you really do mean a lisse sheaf on the etale site of X, then it doesn't make sense a priori to evaluate it on analytic open subsets of X(mathbbC), since these are not in the etale site of the algebraic variety X. However, F corresponds to a representation of the (profinite) etale pi1 of X, which in turn is the profinite completion of the
topological pi1 of X(mathbbC). So there is a corresponding locally constant (in the analytic topology) mathbbZell
sheaf on X(mathbbC), which, being locally constant, will be constant on sufficiently small analytic open subsets.

No comments:

Post a Comment