2 problems

Universal-extension compatibility conjecture. The map $\Psi$ is a map of $D$-group schemes for abelian schemes $A$.

Let $C$ be the base curve, let ${\mathcal A}$ be the abelian scheme appearing in the source, and let … The two groups are compared after tensoring with $\mathbb C$ via the de Rham–…