For a nonzero vector and nonzero linear functional vanishing on , this invertible map fixes the hyperplane pointwise and has determinant one. Its inverse is , since . A symplectic transvection is obtained by taking for a nondegenerate alternating bilinear form.
New to topics? Read the docs here!