Maximal proper extremal subset in the crystal basis of a finite-dimensional irreducible module

The notion of extremal subsets was introduced by Assaf, Dranowski, and González as a natural generalization of Demazure crystals. In this paper, we show that the crystal basis of a finite-dimensional irreducible module over a quantum group of finite type has a unique maximal proper extremal subset, whose complement is the set of elements that generate the whole crystal basis as an extremal subset. We conjecture that this complement consists of all nonzero elements obtained by successively applying the lowering Kashiwara operators to a distinguished element, which is constructed from the lowest element of the crystal basis. We prove this conjecture in type A.