quaternionic projective line