highest weight vector