Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $A$ be an abelian scheme over a base scheme $S$ and $\omega$ a global section of the differential module $\Omega^1_{A\times_S A/S}$.

Suppose that $\omega$ is zero when restricted to $A\times S$ and $S\times A$, both times via the zero section and the identity.

Then why can one conclude that $\omega$ itself is already zero?

share|improve this question
add comment

1 Answer

up vote 5 down vote accepted

It has nothing to do with abelian schemes. Just use the ``product rule'' of differentiation. This is a natural isomorphism:

$$ p_1^*\Omega^1_{A/S}\oplus p_2^*\Omega^1_{A/S}\to \Omega^1_{A\times_S A/S} $$

The zero section of $A$ affords an inverse to this natural map: if $s_1 : A\to A\times_S A$ is the inclusion in the first coordinate and $s_2$ the analogous inclusion in the second coordinats, then since $p_is_i = id$ we see that $s_1\oplus s_2 : \Omega^1_{A\times_S A}\to p_1^*\Omega^1_{A/S}\oplus p_2^*\Omega^1_{A/S}$ is the inverse of the above isomorphism.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.