Springer basic sets and modular Springer correspondence for classical types

We define the notion of basic set data for finite groups (building on set, but including an order irreducible characters as part structure), and we prove that Springer correspondence provides Weyl groups. Then use this to determine explicitly modular classical types (defined over a base field odd characteristic p, with coefficients in ℓ≠p): case is obtained restriction ordinary set. In do so, compare bipartitions introduced by Dipper James induced correspondence. provide quick proof, sorting according dimension corresponding fibre, invariant which directly computable from symbols.