Deligne-Lusztig variety ($X(w)=\{B^{\prime }:(B^{\prime },F(B^{\prime }))\in O(w)\}$)

For a connected reductive algebraic group and a Weyl group element $w$, this locally closed subset of the flag variety consists of flags in relative position $w$ to their Frobenius image. For rational $B$ it is ${\mathcal{L}}_F^{-1}(B\dot{w}B)/B$, using the twisted right action identity of the Lang map. Its dimension is the length of $w$.

Choose rational $B=TU$, a representative $\dot{w}$, and $x$ with $x^{-1}F(x)=\dot{w}$. Set $T^{\prime }=xT{x}^{-1}$ and $U^{\prime }=F(xU{x}^{-1})$. Then $T^{\prime }$ is rational, andThe map sends $h$ to $hxB$. Quotienting only by the finite group $T^{\prime F}$ leaves fibres isomorphic to the positive-dimensional unipotent intersection when that intersection is nontrivial. For $w=1$ in ${\mathrm{SL}}_2$, this is an affine-line fibre over each rational flag, so the missing quotient cannot be ignored in a variety isomorphism.