Hi friends,

Let me ask you about connexions having regular singularities. So imagine $X$ is some smooth algebraic variety over a subfield $k \subset \mathbb{C}$ and you have a locally free $\mathcal{O}_X$-module $\mathcal{E}$ with a flat connection $\nabla: \mathcal{E} \to \mathcal{E} \otimes \Omega^1$. This defines a complex $DR(\mathcal{E}, \nabla)$ and you can consider

$H^n(X, (\mathcal{E}, \nabla)):=\mathbb{H}^n(X, DR(\mathcal{E}, \nabla)).$

On the other hand, there is an associated analytic connection $(\mathcal{E}^{an}, \nabla^{an})$ on $X^{an}$ and the corresponding cohomology

$H^n(X^{an}, (\mathcal{E}^{an}, \nabla^{an})).$

There is of course a morphism (*)

$H^n(X,(\mathcal{E}, \nabla)) \otimes_k \mathbb{C} \to H^n(X^{an}, (\mathcal{E}^{an}, \nabla^{an}))$.

When $(\mathcal{E}, \nabla)$ is the trivial connection $(\mathcal{O}_X, d)$, then you just get algebraic and analytic de Rham cohomology, which are isomorphic by Grothendieck's theorem. In general, easy examples show that the above morphism is not an isomorphism.

The condition needed to guarantee that it (*) is an isomorphism is that the connection has regular singularities, meaning that there exists a logarithmic extension

$$ \nabla^{ext}: \mathcal{E}^{ext} \longrightarrow \mathcal{E}^{ext} \otimes \Omega^1(\log D) $$ to a good compactification $\bar{X}$ including $X$ as the complement of a normal crossings divisor.

Then Deligne proved that if $(\mathcal{E}, \nabla)$ has regular singularities, there is an isomorphism

$H^n(X,(\mathcal{E}, \nabla)) \otimes_k \mathbb{C} \stackrel{\sim}{\longrightarrow} H^n(X^{an}, (\mathcal{E}^{an}, \nabla^{an}))$.

I'm trying to understand what does it mean for a very simple connection, constructed on the trivial bundle on $\mathbb{G}_{m, k}$. To give a connection on $\mathcal{O}$ is the same as giving a differential $1$-form, so assume

$\nabla(1)=\alpha \frac{dt}{t}$

for some element $\alpha \in k^\times$. I would say that this connection has regular singularities because $\frac{dt}{t}$ has simple poles at $0$ and $\infty$, so $\mathcal{O}$ of $\mathbb{P}^1$ with $\nabla(1)=\alpha \frac{dt}{t} \in \Omega^1(\log (0+\infty))$ is a logarithmic extension.

My question is: how does one see that this two cohomologies are isomorphic in this particular case? And what is a description of the local system $\ker(\nabla^{an})$ underlying the connection?

Thanks!