Rank bound for a nonsingular complex bilinear map
ID: rank-bound-for-a-nonsingular-complex-bilinear-map
Let be nonzero finite-dimensional complex vector spaces, and let have injective restrictions when either nonzero factor is fixed. It induces a map from to , where , , and . Pullback of the degree-two generator is , since both factor restrictions are projective linear embeddings. Its th power is in integral cohomology. The target must therefore have complex dimension at least . Positivity of both factor dimensions is necessary; a zero factor can make the claimed inequality false.
New to topics? Read the docs here!