tautological subbundle