Algebraic vector bundles on punctured affine spaces and smooth quadrics (Q2445856)

For \(n\geq 1\), one denotes \(Y_n=\mathrm{SL}_{n+1}/\mathrm{SL}_n\) and \(X_n= {\mathbb C}^{n+1}- \{0\}\), where \(\mathrm{SL}_n=\mathrm{SL}(n, {\mathbb C})\). Let \(p:Y_n \rightarrow X_n\) be the projection which maps an \((n+1)\times (n+1)\) matrix to its first row. Then \(p\) is a fiber bundle with fibers isomorphic to \({\mathbb C}^n\). From the point of view of the \({\mathbb A}^1\)-homotopy theory, \(p\) is an \({\mathbb A}^1\)-homotopy weak equivalence. The authors put the following natural question: { Question 1.1.} Does there exists a pair of non-isomorphic algebraic vector bundles \((E_1,\; E_2)\) on \(X_n\) such that their pull-backs to \(Y_n\) satisfy \(p^*(E_1)\cong p^*(E_2)\) ? In this paper one gives an affirmative answer to this question. Let \(\pi :X_n \rightarrow {\mathbb P}^n\) be the natural projection and denotes \(\rho =\pi \circ p\). Then one proves the following main result: {Theorem 1.1.} Given an integer \(r\geq n\), there exists an algebraic vector bundle \(E\) on \({\mathbb P}^n\) of rank \(r\) with \(\pi^* E\) non-trivial and \(\rho^* E\) trivial. Moreover, one has: { Theorem 1.2.} There exist continuous families of arbitrarily large dimension of rank \(n\) algebraic vector bundles on \(X_n\) satisfying that the bundles in each family are pairwise non-isomorphic and their pull-backs to \(Y_n\) are trivial bundles.