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, andThe 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!