Теорема Квиллена – Суслина - Quillen–Suslin theorem

Теорема Квиллена – Суслина
Поле	Коммутативная алгебра
Предполагается	Жан-Пьер Серр
Предполагается в	1955
Первое доказательство	Дэниел Квиллен; Андрей Суслин
Первое доказательство в	1976

В Теорема Квиллена – Суслина, также известный как Проблема Серра или же Гипотеза Серра, это теорема в коммутативная алгебра относительно отношений между бесплатные модули и проективные модули над кольца многочленов. В геометрическом контексте это утверждение о тривиальности векторных расслоений на аффинном пространстве.

Теорема утверждает, что каждое конечно порожденное проективный модуль через кольцо многочленов является свободный.

История

Фон

Геометрически конечно порожденные проективные модули над кольцом ${ Displaystyle R [x_ {1}, dots, x_ {n}]}$ соответствуют векторные пакеты над аффинное пространство ${ displaystyle mathbb {A} _ {R} ^ {n}}$ , где свободные модули соответствуют тривиальным векторным расслоениям. Это соответствие (от модулей к (алгебраическим) векторным расслоениям) задается функтором 'глобализации' или 'твиддификации', отправляя ${ displaystyle M to { widetilde {M}}}$ (процитируйте Hartshorne II.5, стр. 110). Аффинное пространство топологически стягиваем, поэтому не допускает нетривиальных топологических векторных расслоений. Простой аргумент с использованием экспоненциальная точная последовательность и лемма Пуанкаре о d-стержне показывает, что он также не допускает нетривиальных голоморфных векторных расслоений.

Жан-Пьер Серр в его статье 1955 г. Faisceaux algébriques cohérents, заметил, что соответствующий вопрос не известен для алгебраических векторных расслоений: «Неизвестно, существуют ли проективные А-модули конечного типа, которые не являются свободными ".^[1] Здесь ${ displaystyle A}$ это кольцо многочленов над полем, то есть ${ displaystyle A}$ = ${ Displaystyle к [х_ {1}, точки, х_ {п}]}$ .

К ужасу Серра, эта проблема быстро стала известна как гипотеза Серра. (Серр писал: «Я как мог возражал [против имени]».^[2]) Утверждение не следует непосредственно из доказательств, данных в топологическом или голоморфном случае. Эти случаи только гарантируют, что существует непрерывная или голоморфная тривиализация, но не алгебраическая тривиализация.

Серр добился определенного прогресса в решении в 1957 году, когда он доказал, что каждый конечно порожденный проективный модуль над кольцом многочленов над полем является стабильно бесплатно, что означает, что после образования его прямой суммы с конечно порожденным свободным модулем он стал свободным. Проблема оставалась открытой до 1976 г., когда Дэниел Квиллен и Андрей Суслин независимо доказал результат. Куиллен был награжден Медаль Филдса в 1978 г. - частично для доказательства гипотезы Серра. Леонид Васерштейн позже дал более простое и гораздо более короткое доказательство теоремы, которое можно найти в работе Сержа Ланга. Алгебра.

Обобщение

Обобщение, связывающее проективные модули над регулярными нётеровыми кольцами А и их кольца многочленов известны как Гипотеза Басса – Квиллена.

Обратите внимание, что хотя ${ displaystyle GL_ {n}}$ -расслоения на аффинном пространстве тривиальны, это неверно для G-расслоений, где G - общая редуктивная алгебраическая группа.

Примечания

^ "При игнорировании существующих проектов A-модулей, завершающих этапы работы". Серр, FAC, п. 243.
^ Напольная лампа. 1

Рекомендации

Серр, Жан-Пьер (Март 1955 г.), "Faisceaux algébriques cohérents", Анналы математики, Вторая серия, 61 (2): 197–278, Дои:10.2307/1969915, JSTOR 1969915, МИСТЕР 0068874
Серр, Жан-Пьер (1958), "Модули проекций и пространств, волокон на векторные волокна", Séminaire P. Dubreil, M.-L. Dubreil-Jacotin et C.Pisot, 1957/58, Fasc. 2, Exposé 23 (На французском), МИСТЕР 0177011
Квиллен, Дэниел (1976), "Проективные модули над кольцами многочленов", Inventiones Mathematicae, 36 (1): 167–171, Дои:10.1007 / BF01390008, МИСТЕР 0427303
Суслин, Андрей А. (1976), Проективные модули над кольцами многочленов свободны [Проективные модули над кольцами многочленов свободны], Доклады Академии Наук СССР (на русском), 229 (5): 1063–1066, МИСТЕР 0469905. Переведено на «Проективные модули над кольцами многочленов свободны», Советская математика, 17 (4): 1160–1164, 1976.
Ланг, Серж (2002), Алгебра, Тексты для выпускников по математике, 211 (Пересмотренное третье изд.), Нью-Йорк: Springer-Verlag, ISBN 978-0-387-95385-4, МИСТЕР 1878556

Отчет по этой теме предоставлен:

Лам, Т. Ю. (2006), Проблема Серра о проективных модулях, Монографии Спрингера по математике, Берлин; Нью-Йорк: Springer Science + Business Media, стр. 300с., ISBN 978-3-540-23317-6, МИСТЕР 2235330

[1] "При игнорировании существующих проектов A-модулей, завершающих этапы работы". Серр, FAC, п. 243.

[2] Напольная лампа. 1

[1]

[2]