This option computes the maps from natural free bundles which generates the Beilinson bundles Ua to natural free bundles which contains the Beilinson bundles Ua as subbundles. In other words, this option provides a map between free modules ∧a+1W⊗S(-1)→∧aW⊗S which factors through Ua where W=S1. In particular, it represents a natural embedding of Ua into the corresponding free bundle.
The object MapsBetweenFreeBundles is a symbol.