Lagrangian fixed locus of an anti-symplectic involution
ID: lagrangian-fixed-locus-of-an-anti-symplectic-involution
A nonempty fixed-point set of an anti-symplectic involution is a Lagrangian submanifold. Local linearization identifies its tangent space with the eigenspace of the derivative.
New to topics? Read the docs here!