Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Conjecture

Bass-Quillen Conjecture

Algebra

The Bass-Quillen conjecture relates vector bundles over a regular Noetherian ring A to vector bundles over the polynomial ring formed by adjoining variables to A. It is named for Hyman Bass and Daniel Quillen, who formulated it: Bass presented the idea in 1973 in a paper on problems in classical algebraic K-theory, and Quillen published related work on projective modules over polynomial rings in 1976.

Facts
Statement
For a regular Noetherian ring A, sending a module M to M tensored over A with the polynomial ring A adjoin t_1 through t_n gives a bijection between rank r vector bundles over A and rank r vector bundles over A adjoin t_1 through t_n. 1
Proposed Year
1973 1
Progress Toward Resolution
The conjecture was proved by Lindel in 1981 for the case that A is a smooth algebra over a field k. 1
Classification
Resolution Status
Open 1
Prize Status
Prize Status (category)
No Prize Offered 1
Sources
1. Bass-Quillen Conjecture, Wikipedia
  • Statement of the conjecture section
    The conjecture asserts that for a regular Noetherian ring A the assignment M maps to M tensor_A A[t1, ..., tn] yields a bijection Vect_r A to Vect_r(A[t1, ..., tn]).
  • References section, Bass citation
    Bass, H. (1973), Some problems in 'classical' algebraic K-theory. Algebraic K-Theory II
  • Known cases section
    The conjecture was shown by Lindel (1981) in the case that A is a smooth algebra over a field k.
  • Lead section
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.