MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 corrected typo in title

Isomtery Isometry of K3 surface.
show/hide this revision's text 2 added 1 characters in body

Let $S$ be a K3 surface and $\iota$ be anti-symplectic involution of $S$. Suppose that $g$ is a Kahler-Einstein metric on $S$. My question is;

Why $\iota$ is an isometry of $S_J$ S$ with respect to $g$ for any complex structure $J$ of $S$ obtained by a hyperKahler rotation?g$? Is this statement true for any holomorphic action of $S$?

Edit $\iota$ is called anti-symplectic if it acts on $\Omega^{2,0}$ as $-id$.

show/hide this revision's text 1

Isomtery of K3 surface.

Let $S$ be a K3 surface and $\iota$ be anti-symplectic involution of $S$. Suppose that $g$ is a Kahler-Einstein metric on $S$. My question is;

Why $\iota$ is an isometry of $S_J$ with respect to $g$ for any complex structure $J$ of $S$ obtained by a hyperKahler rotation?

Is this statement true for any holomorphic action of $S$?