(Translated by https://www.hiragana.jp/)
[2008.08864] Bigrassmannian permutations and Verma modules