Let be a connected, semisimple, simply connected algebraic group over an algebraically closed field of positive characteristic. For each restricted dominant weight , there is the associated principal indecomposable -module , where is the first infinitesimal subgroup of . The assertion that, for every such , there exists a -module whose restriction to is isomorphic to is known as the Humphreys–Verma Conjecture. For groups of rank , it was shown in \cite{BNPS1} that the Humphreys–Verma Conjecture holds in all cases except one, namely when is of type , the characteristic is , and . This case remained completely open. Moreover, in every previously resolved case, the module could be realized as the restriction of a suitable tilting module. However, in \cite{BNPS2} it was shown that for in characteristic cannot arise as the restriction of a tilting module, thereby providing the first counterexample to a conjecture of the first author. In this paper, we construct a -module whose restriction to is , thereby establishing the Humphreys–Verma Conjecture in the last remaining rank case. Our construction provides the first known example of a -structure on a principal indecomposable -module that does not arise from a tilting module. This reveals a new phenomenon in the study of the Humphreys–Verma Conjecture and suggests new directions for understanding -structures on principal indecomposable -modules.

生成讲解博客的中文版本

生成AI智能校验的中文版本