Quillen–Suslin Theorem
   HOME





Quillen–Suslin Theorem
The Quillen–Suslin theorem, also known as Serre's problem or Serre's conjecture, is a theorem in commutative algebra concerning the relationship between free modules and projective modules over polynomial rings. In the geometric setting it is a statement about the triviality of vector bundles on affine space. The theorem states that every finitely generated projective module over a polynomial ring is free. History Background Geometrically, finitely generated projective modules over the ring R _1,\dots,x_n/math> correspond to vector bundles over affine space \mathbb^n_R, where free modules correspond to trivial vector bundles. This correspondence (from modules to (algebraic) vector bundles) is given by the 'globalisation' or 'twiddlification' functor, sending M\to \widetilde (Hartshorne II.5, page 110). Affine space is topologically contractible, so it admits no non-trivial topological vector bundles. A simple argument using the exponential exact sequence and the d-bar P ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Commutative Algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideal (ring theory), ideals, and module (mathematics), modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative rings include polynomial rings; rings of algebraic integers, including the ordinary integers \mathbb; and p-adic number, ''p''-adic integers. Commutative algebra is the main technical tool of algebraic geometry, and many results and concepts of commutative algebra are strongly related with geometrical concepts. The study of rings that are not necessarily commutative is known as noncommutative algebra; it includes ring theory, representation theory, and the theory of Banach algebras. Overview Commutative algebra is essentially the study of the rings occurring in algebraic number theory and algebraic geometry. Several concepts of commutative algebras have been developed in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

List Of Important Publications In Mathematics
This is a list of publications in mathematics, organized by field. Some reasons a particular publication might be regarded as important: *Topic creator – A publication that created a new topic *Breakthrough – A publication that changed scientific knowledge significantly *Influence – A publication which has significantly influenced the world or has had a massive impact on the teaching of mathematics. Among published compilations of important publications in mathematics are ''Landmark writings in Western mathematics 1640–1940'' by Ivor Grattan-Guinness and ''A Source Book in Mathematics'' by David Eugene Smith. Algebra Theory of equations '' Baudhayana Sulba Sutra'' * Baudhayana (8th century BCE) With linguistic evidence suggesting this text to have been written between the 8th and 5th centuries century BCE, this is one of the oldest mathematical texts. It laid the foundations of Indian mathematics and was influential in South Asia. It was primarily ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Doklady Akademii Nauk SSSR
The ''Proceedings of the USSR Academy of Sciences'' (, ''Doklady Akademii Nauk SSSR'' (''DAN SSSR''), ) was a Soviet journal that was dedicated to publishing original, academic research papers in physics, mathematics, chemistry, geology, and biology. It was first published in 1933 and ended in 1992 with volume 322, issue 3. Today, it is continued by ''Doklady Akademii Nauk'' (), which began publication in 1992. The journal is also known as the ''Proceedings of the Russian Academy of Sciences (RAS)''. ''Doklady'' has had a complicated publication and translation history. A number of translation journals exist which publish selected articles from the original by subject section; these are listed below. The journal is indexed in Russian Science Citation Index. History The Russian Academy of Sciences dates from 1724, with a continuous series of variously named publications dating from 1726. ''Doklady Akademii Nauk SSSR-Comptes Rendus de l'Académie des Sciences de l'URSS, Seriya ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current (2023) managing editors are Jean-Benoît Bost (University of Paris-Sud) and Wilhelm Schlag (Yale University Yale University is a Private university, private Ivy League research university in New Haven, Connecticut, United States. Founded in 1701, Yale is the List of Colonial Colleges, third-oldest institution of higher education in the United Stat ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Academic journals established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Annals Of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as the founding editor-in-chief. It was "intended to afford a medium for the presentation and analysis of any and all questions of interest or importance in pure and applied Mathematics, embracing especially all new and interesting discoveries in theoretical and practical astronomy, mechanical philosophy, and engineering". It was published in Des Moines, Iowa, and was the earliest American mathematics journal to be published continuously for more than a year or two. This incarnation of the journal ceased publication after its tenth year, in 1883, giving as an explanation Hendricks' declining health, but Hendricks made arrangements to have it taken over by new management, and it was continued from March 1884 as the ''Annals of Mathematics''. T ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Reductive Algebraic Group
In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group ''G'' over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group ''GL''(''n'') of invertible matrices, the special orthogonal group ''SO''(''n''), and the symplectic group ''Sp''(2''n''). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive. Claude Chevalley showed that the classification of reductive groups is the same over any algebraically closed field. In particular, the simple algebraic groups are classified by Dynkin diagrams, as in the theory of compact Lie groups or complex semisimple Lie algebras. Reductive groups over an arbitrary field are harder to classify, but for many fields such as the real numbers R or a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Bass–Quillen Conjecture
In mathematics, the Bass–Quillen conjecture relates vector bundles over a regular Noetherian ring ''A'' and over the polynomial ring A _1, \dots, t_n/math>. The conjecture is named for Hyman Bass and Daniel Quillen, who formulated the conjecture. 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 \operatorname_r A. The conjecture asserts that for a regular Noetherian ring ''A'' the assignment :M \mapsto M \otimes_A A _1, \dots, t_n/math> yields a bijection :\operatorname_r A \,\stackrel \sim \to \operatorname_r(A _1, \dots, t_n. Known cases If ''A'' = ''k'' is a field, the Bass–Quillen conjecture asserts that any projective module over k _1, \dots, t_n/math> is free. This question was raised by Jean-Pierre Serre and was later proved by Quillen and Sus ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Noetherian Ring
In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals. If the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noetherian respectively. Formally, every increasing sequence I_1\subseteq I_2 \subseteq I_3 \subseteq \cdots of left (or right) ideals has a largest element; that is, there exists an n such that I_=I_=\cdots. Equivalently, a ring is left-Noetherian (respectively right-Noetherian) if every left ideal (respectively right-ideal) is finitely generated. A ring is Noetherian if it is both left- and right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered in mathematics are Noetherian (in particular the ring of integers, polynomial rings, and rings of algebraic integers in number fields), and many general theorems on rings rely heavily on the Noetherian property ( ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Regular Ring
In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal is equal to its Krull dimension. In symbols, let A be any Noetherian local ring with unique maximal ideal \mathfrak, and suppose a_1,\cdots,a_n is a minimal set of generators of \mathfrak. Then Krull's principal ideal theorem implies that n\geq\dim A, and A is regular whenever n=\dim A. The concept is motivated by its geometric meaning. A point x on an algebraic variety X is nonsingular (a smooth point) if and only if the local ring \mathcal_ of germs at x is regular. (See also: regular scheme.) Regular local rings are ''not'' related to von Neumann regular rings. For Noetherian local rings, there is the following chain of inclusions: Characterizations There are a number of useful definitions of a regular local ring, one of which is mentioned above. In particular, if A is a Noetherian local ring with maximal ideal \mathfrak, th ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Serge Lang
Serge Lang (; May 19, 1927 – September 12, 2005) was a French-American mathematician and activist who taught at Yale University for most of his career. He is known for his work in number theory and for his mathematics textbooks, including the influential ''Algebra''. He received the Frank Nelson Cole Prize in 1960 and was a member of the Bourbaki group. As an activist, Lang campaigned against the Vietnam War, and also successfully fought against the nomination of the political scientist Samuel P. Huntington to the National Academies of Science. Later in his life, Lang was an HIV/AIDS denialist. He claimed that HIV had not been proven to cause AIDS and protested Yale's research into HIV/AIDS. Early life Lang was born in Saint-Germain-en-Laye, close to Paris, in 1927. He had a twin brother who became a basketball coach and a sister who became an actress. Lang moved with his family to California as a teenager, where he graduated in 1943 from Beverly Hills High School. Afte ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Leonid Vaseršteĭn
Leonid Nisonovich Vaserstein () is a Russian- American mathematician, currently Professor of Mathematics at Penn State University. His research is focused on algebra and dynamical systems. He is well known for providing a simple proof of the Quillen–Suslin theorem, a result in commutative algebra, first conjectured by Jean-Pierre Serre in 1955, and then proved by Daniel Quillen and Andrei Suslin in 1976. Leonid Vaserstein got his Master's degree and doctorate in Moscow State University, where he was until 1978. He then moved to Europe and the United States. Alternate forms of the last name: Vaseršteĭn, Vasershtein, Wasserstein. The Wasserstein metric was named after him by R.L. Dobrushin in 1970. Biography Leonid Vaserstein grew up in the Soviet Union. In secondary school he won the second prize in the All-Russian High School Mathematical Olympiad. Vaserstein got his undergraduate, masters (1966), and doctoral degrees (1969) in mathematics from Moscow State University, w ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Fields Medal
The Fields Medal is a prize awarded to two, three, or four mathematicians under 40 years of age at the International Congress of Mathematicians, International Congress of the International Mathematical Union (IMU), a meeting that takes place every four years. The name of the award honours the Canadian mathematician John Charles Fields. The Fields Medal is regarded as one of the highest honors a mathematician can receive, and has been list of prizes known as the Nobel or the highest honors of a field, described as the Nobel Prize of Mathematics, although there are several major differences, including frequency of award, number of awards, age limits, monetary value, and award criteria. According to the annual Academic Excellence Survey by Academic Ranking of World Universities, ARWU, the Fields Medal is consistently regarded as the top award in the field of mathematics worldwide, and in another reputation survey conducted by IREG Observatory on Academic Ranking and Excellence, IR ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]