Ampleness equivalence and dominance for vector bundles (Q2417651)

Let $E$ be a vector bundle of rank $d$ on a complex projective manifold $X$ and let $s=(s_0, \dots, s_m)$ be a sequence of integers such that $0 = s_0 < s_1 < \dots < s_m=d$. For every $x \in X$ and the corresponding fiber $V=E_x$, consider the manifold $\mathcal F l_s(V)$ of incomplete flags $V=V_{s_0} \supset V_{s_1} \supset \dots \supset V_{s_m}=\{0\}$, where $V_{s_j}$ is a vector subspace of $V$ of codimension $s_j$. Their union as $x$ varies on $X$ form a manifold $\mathcal F l_s(E)$. To any partition $a=(a_1, a_2, \dots , a_l)$ of length $l \leq d$ such that $a_1=a_2= \dots =a_{s_1}$, $a_{s_1+1}=a_{s_1+2} = \dots = a_{s_2}$, $a_{s_2+1}=a_{s_2+2} = \dots = a_{s_3}$, etc. one can associate a line bundle $Q_a^s$ on $\mathcal F l_s(E)$ such that, letting $\pi:\mathcal F l_s(E) \to X$ denote the natural projection and $\mathcal S^a$ the Schur functor corresponding to $a$, for every $m \geq 0$ the following properties hold: $\pi_*\big((Q_a^s)^m\big)\cong \mathcal S_{ma}E$, and $R^q \pi_*\big((Q_a^s)^m\big) = 0$ if $q>0$. In the main result, the authors prove is that the line bundle $Q_a^s$ on $\mathcal F l_s(E)$ is ample if and only if the vector bundle $\mathcal S_aE$ on $X$ is ample. This can be regarded as a generalization to flag manifolds of the well known fact $E$ is ample if and only if its tautological line bundle $\mathcal O_{\mathbb P(E)}(1)$ is ample. Moreover, it gives as a corollary that the line bundle $\det Q$ on the Grassmann bundle $G_r(E)$ is ample if and only if the vector bundle $\bigwedge ^r E$ is ample on $X$. The proof of the ``only if'' part of the main result is deduced via the Ampleness Dominance Theorem, namely, if $a$ and $b$ are two partitions such that $b \preceq a$ in the partial dominance order, then $\mathcal S_a E$ ample implies $\mathcal S_b E$ ample. Here the authors provide a proof of this result avoiding the use of the saturation property of the Littlewood-Richardson semigroup unlike in their previous paper [Manuscr. Math. 113, No. 2, 165--189 (2004; Zbl 1048.14007)].