Bass–Quillen conjecture

In mathematics, the Bass–Quillen conjecture relates vector bundles over a regular Noetherian ring A and over the polynomial ring ${\displaystyle A[t_{1},\dots ,t_{n}]}$. The conjecture is named for Hyman Bass and Daniel Quillen, who formulated the conjecture.^[1][2]

Statement of the conjecture

The conjecture is a statement about finitely generated projective modules. Such modules are also referred to as vector bundles. For a ring A, the set of isomorphism classes of vector bundles over A of rank r is denoted by ${\displaystyle \operatorname {Vect} _{r}A}$.

The conjecture asserts that for a regular Noetherian ring A the assignment

${\displaystyle M\mapsto M\otimes _{A}A[t_{1},\dots ,t_{n}]}$

yields a bijection

${\displaystyle \operatorname {Vect} _{r}A\,{\stackrel {\sim }{\to }}\operatorname {Vect} _{r}(A[t_{1},\dots ,t_{n}]).}$

Known cases

If A = k is a field, the Bass–Quillen conjecture asserts that any projective module over ${\displaystyle k[t_{1},\dots ,t_{n}]}$ is free. This question was raised by Jean-Pierre Serre and was later proved by Quillen and Suslin; see Quillen–Suslin theorem. More generally, the conjecture was shown by Lindel (1981) in the case that A is a smooth algebra over a field k. Further known cases are reviewed in Lam (2006).

Extensions

The set of isomorphism classes of vector bundles of rank r over A can also be identified with the nonabelian cohomology group

${\displaystyle H_{Nis}^{1}(Spec(A),GL_{r}).}$

Positive results about the homotopy invariance of

${\displaystyle H_{Nis}^{1}(U,G)}$

of isotropic reductive groups G have been obtained by Asok, Hoyois & Wendt (2018) by means of A¹ homotopy theory.