On Universal Abelian surfaces over a Shimura curve.

Question

Let ${\cal O}, {\cal O}'$ be two order in ${\mathrm M}_2({\Bbb R})$ that are sets of all $2 \times 2$ matrices over real number ${\Bbb R}$. Assume that we have the relation ${\cal O}' = a{\cal O}a^{-1}$ with $a \in {\mathrm GL}_2({\Bbb R})$. Then it is seen that both ${\cal O}[\tau,1]^t$ and ${\cal O}'[\tau,1]^t$ are lattices in ${\Bbb C}^2$ of ${\Bbb Z}$-rank $4$.

Question: How can one make a natural isomorphism ${\Bbb C}^2/{\cal O}[\tau,1]^t \cong {\Bbb C}^2/{\cal O}'[\tau,1]^t$ ?

This is concerned on the moduli theoretic viewpoint of Shimura curve $C$ associated quaternion algerba $D$ and its maximal order ${\cal O}$. The above question arose to make up the ambiguity of ${\cal O}$ up to inner automorphisms od $D$.

Answer 1

Let $\tau^\prime=a^{-1}(\tau)$. Then the linear transformation $$ \binom{z_1}{z_2}\mapsto j(a^{-1},\tau)^{-1}a \binom{z_1}{z_2} $$ tranforms the lattice $\cal O\binom{\tau^\prime}{1}$ into $a\cal Oa^{-1}\binom{\tau}{1}$.

---

You shouldn't expect to realize the isomorphism with $\tau^\prime=\tau$. To identify $\cal O\otimes\Bbb R$ with $\Bbb C^2$ via action on $\binom\tau1$ amounts to endow $\cal O\otimes\Bbb R$ with a complex structure. In general conjugation on a real space doesn't preserve a complex structure.