Abstract:For connected reductive groups together with a Frobenius root $F$ that preserves the set of simple reflections, we show that for every tuple $(w_1,\ldots, w_r)$ of Weyl group elements there exists a minimal length element in an $F$-conjugacy class in $W$ such that the cohomology of the structure sheaf and the canonical sheaf for the associated compactified Deligne--Lusztig varieties are isomorphic respectively.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether, under specific conditions, for the compactified Deligne - Lusztig varieties \(X(w_1,\ldots,w_r)\) associated with the connected reductive group \(G\) and the Frobenius root \(F\), the cohomology groups of the structure sheaf and the canonical sheaf can be reduced to the cohomology group of a certain minimal - length element in the \(F\)-conjugacy class. Specifically, the goal of the paper is to prove that for any tuple \((w_1,\ldots,w_r)\) of Weyl group elements, there exists an \(F\)-conjugacy class \(C\) and a minimal - length element \(x_0\) in this class, such that for all \(i\geq0\), there is the following \(G^F\)-equivariant isomorphism:
\[H^i(X(w_1,\ldots,w_r),\mathcal{F})\cong H^i(X(x_0),\mathcal{F}),\]
where \(\mathcal{F}\) can be the structure sheaf \(O\) or the canonical sheaf \(\omega\).
The significance of this result lies in the fact that it provides a method to understand the more complex cohomology properties of Deligne - Lusztig varieties by studying the cohomology of minimal - length elements, thereby simplifying the study of these varieties. In addition, the paper also discusses geometric properties such as the connectedness of these compactified Deligne - Lusztig varieties, \(F_p\)-rational singularities, etc., and gives a list of their smoothness under certain conditions.