The algebraic Version of Riemann Hilbert Correspondence - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T08:08:15Z http://mathoverflow.net/feeds/question/65636 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/65636/the-algebraic-version-of-riemann-hilbert-correspondence The algebraic Version of Riemann Hilbert Correspondence unknown 2011-05-21T09:42:17Z 2011-05-21T12:22:42Z <p>It is well known that if I have a differentialable manifold (holomorphic maniford) $M$, then I have a functor from the categroy of vector bundles on $M$ with flat connections to the categroy of local systems on $M$, given by $$(V,\nabla)\mapsto V^{\nabla}$$ and this functor is an equivalence of categories.</p> <p>Now if I change the setting a little bit. I assume $X$ is a smooth scheme over a field $k$ of characteristic 0. Do I still have a functor like the above? Or in other words, is it true that for any vector bundle $(V,\nabla)$ on $X$ the sheaf of horizontal sections $V^{\nabla}$ (i.e. the kernel of $\nabla$ as $k$-vector spaces) is still a locally constant sheaf of $k$-vector spaces?</p> <p>I think it is true, and it should be written somewhere, could you tell me the reference for that?</p> http://mathoverflow.net/questions/65636/the-algebraic-version-of-riemann-hilbert-correspondence/65639#65639 Answer by YBL for The algebraic Version of Riemann Hilbert Correspondence YBL 2011-05-21T11:06:28Z 2011-05-21T11:06:28Z <p>Obviously you can still define the functor. But it won't have nice properties because the Zariski open sets are just too big for the concept of locally constant sheaf to apply in an interesting way and the solutions of algebraic differential equations are not algebraic functions in general. </p> <p>Just take a trivial vector bundle $O_X^2$ on $X = \mathbb{G}_m$ with connection $$\nabla \begin{pmatrix} f_1 \cr f_2\end{pmatrix} = d\begin{pmatrix} f_1 \cr f_2\end{pmatrix} - \begin{pmatrix} 0 &amp; 0 \cr 1 &amp; 0 \end{pmatrix} \begin{pmatrix} f_1 \cr f_2\end{pmatrix} \frac{dz}{z}$$ Holomorphic horizontal sections are linear combinations $A \begin{pmatrix} 0 \cr 1 \end{pmatrix} + B \begin{pmatrix} 1 \cr log(z) \end{pmatrix}$. You get a rank 2 local system.</p> <p>But if you look at algebraic horizontal sections you will only get the constant sheaf $A \begin{pmatrix} 0 \cr 1 \end{pmatrix}$. </p> <p>PS: For the same reason (Zariski open sets are too big), one needs to use the hypercohomology of the algebraic de Rham complex to define a reasonnable algebraic de Rham cohomology. Also for the same reason (not enough algebraic solutions) only the holomorphic solution complex or the holomorphic de Rham complex of a D-module are relevant to the Riemann-Hilbert correspondance. </p> http://mathoverflow.net/questions/65636/the-algebraic-version-of-riemann-hilbert-correspondence/65644#65644 Answer by Niels for The algebraic Version of Riemann Hilbert Correspondence Niels 2011-05-21T12:22:42Z 2011-05-21T12:22:42Z <p>As the previous answer points out you have to consider local systems for a finer topology than the Zariski topology. It is natural to consider the étale topology. The category of étale local systems of finite dimensional $k$-vector spaces form a tannakian category whose group is the étale fundamental group (more precisely it is a pro-(constant finite) algebraic group). You can find this and much more in Saavedra's book on tannakian categories LNM Volume 265. </p> <p>see <a href="http://www.springerlink.com/content/978-3-540-05844-1/" rel="nofollow">http://www.springerlink.com/content/978-3-540-05844-1/</a></p> <p>The category of bundles with connexion (with a regularity condition at infinity if needed) also form a tannakian category (if $X$ is smooth over an algebraically closed field of characteristic zero say), but the corresponding pro-algebraic group is much larger (Deligne call this the <em>algebraic</em> fundamental group). He computes this group in the example of the affine line in his famous article "Le Groupe Fondamental de la Droite Projective Moins Trois Points" </p> <p>see <a href="http://www.math.ias.edu/files/deligne/GaloisGroups.pdf" rel="nofollow">http://www.math.ias.edu/files/deligne/GaloisGroups.pdf</a></p> <p>So to an étale local system of finite dimensional $k$-vector space you can associate a bundle with connexion, and this will give you a fully faithful Riemann-Hilbert functor, but in this way you will obtain only those bundles with connexion whose monodromy group is finite and étale (in other words those trivialized by an étale cover).</p>