  We prove an explicit degree formula for certain unitary Deligne-Lusztig
varieties. Combining with an alternative degree formula in terms of Schubert
calculus, we deduce several algebraic combinatorial identities which may be of
independent interest.
