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

Hi,

Let $\Delta$ be a quaternion algebra over $\mathbf Q$ and let $\mathcal O_\Delta$ be a maximal order in $\Delta$. Recall that a false elliptic curve over a field $K$ is a pair $(A/K,i)$ consisting of an abelian surface $A/K$ and a ring homomorphism $i : \mathcal O_\Delta\to End_K(A)$. Suppose that $\Delta$ is indefinite, i.e., $\Delta\otimes\mathbf R \simeq M_2(\mathbf R)$. There is an involution $*:\Delta\to\Delta$ that coincides with taking transpose under the previous isomorphism. It is well-known (easy?) that if $K$ is of characteristic zero there is a polarization of $A/K$ such that the corresponding Rosatti involution in $End_K(A)\otimes\mathbf Q$ corresponds to $* : \Delta\to\Delta$ by $i$. Moreover, this polarization is unique up to a rational number.

Question 1: is it possible to find a (necessarily unique) principal polarization with this property?

Question 2: is it possible to find such a (principal) polarization over a field $K$ of non-zero characteristic?

Thanks!

share|improve this question
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.