MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


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?


share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.