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).

3 corrected typo in title

# IsomteryIsometry of K3 surface.

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$.

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$?