Lagrangian fixed locus of an anti-symplectic involution
= Lagrangian fixed locus of an anti-symplectic involution
{c}
= Lagrangian fixed loci of anti-symplectic involutions
{c}
{synonym}
A nonempty <fixed-point set> of an <anti-symplectic involution> is a <Lagrangian submanifold>. Local linearization identifies its <tangent space> with the $+1$ <eigenspace> of the derivative.