Unipotent quotient in a Deligne-Lusztig variety

ID: unipotent-quotient-in-a-deligne-lusztig-variety

Choose rational , a representative , and with . Set and . Then is rational, and
The map sends to . Quotienting only by the finite group leaves fibres isomorphic to the positive-dimensional unipotent intersection when that intersection is nontrivial. For in , this is an affine-line fibre over each rational flag, so the missing quotient cannot be ignored in a variety isomorphism.

New to topics? Read the docs here!