Комментарий к собранию сочинений - 1
Jul. 29th, 2012 03:10 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicКак уже писалось (может быть, под замком) в этом журнале, мои работы в целом подразделяются на
(0) спорадические работы (их немного -- прежде всего, это самая первая статья 1991 года и никогда не публиковавшийся в рецензируемых изданиях архивный препринт 1995 года, а также статья 2002 года с двумя соавторами);
(1) работы по однородным квадратичным/кошулевым алгебрам (это в основном книжка Quadratic algebras и статья 1995 года с довольно известным контрпримером);
(2) работы, традиционно публикуемые в Архиве по разделу math.CT (выросшие из статьи 1993 года о неоднородных кошулевых алгебрах с соотношениями в степенях 2, 1, 0); и
(3) работы, публикуемые в Архиве по разделу math.KT (выросшие из статьи 1995 года о, по существу, неоднородных кошулевых алгебрах с соотношениями в степенях 2, 3, 4, 5, ...)
Ниже в этом постинге речь пойдет о направлении номер (2).
О том, что в неоднородной квадратичной двойственности возникает неожиданное и естественное обобщение DG-алгебр -- CDG-алгебры, или "искривленные DG-алгебры" -- я знал где-то с конца весны 1991 года, кажется. В августе, лежа в больнице, я в первый (но далеко не в последний) раз пытался проделать пресловутое вычисление неоднородных квадратичных деформаций тензорного произведения симметрической и внешней алгебр, а осенью появились "классы Чженя" CDG-алгебр (которые на самом деле, конечно, характер Чженя).
Примерно с этого момента я смутно ощущал или должен был ощущать, что передо мной стоит задача построения второй математики, параллельной уже существующей. То есть, это неправильно так говорить, конечно, а правильно говорить -- задача восстановления недостающей половины математики, упущенной классиками.
Постфактум, на нынешнем пике интереса к DG-алгебрам и DG-категориям, уже никто не сомневается, что на языке DG-алгебр может быть выражена более-менее вся алгебра (алгебраическая геометрия, алгебраическая топология), по крайней мере, если либо избавиться от коммутативности, либо ограничиться рациональными коэффициентами. Поскольку CDG-алгебры ничем не хуже DG-алгебр -- а они, конечно, на своем месте ничем не хуже -- следует сформулированный выше вывод.
... Двадцать лет спустя, мы имеем нечто вроде разработанных в целом оснований этой второй половины математики. Так же, как со времен Ф.Б. и Д.Л. можно приставить -- не ко всякому, конечно, но ко многим словам -- приставку "супер-", и откроется новый мир, одновременно похожий и непохожий на то, что было раньше -- так и теперь можно дописать в какой-нибудь оборот слова "искривленный", "второго рода", приставку "контра-", иногда "полу-" -- и откроется новый мир.
И.М. Гельфанд говорил, что в математике каждые десять лет меняется язык, но основные объекты изучения остаются неизменными. Я не мыслю на уровне "основных объектов" в этом смысле, для меня они слишком конкретны. Мой излюбленный уровень общности -- это классы объектов, такие как проконечные группы, например, или когерентные пучки, или конструктивные пучки.
Это то, что в приведенной цитате подразумевалось под "языком"; но, поскольку я в этом живу, я не вижу, чтобы там что-нибудь менялось за десять лет, или даже за тридцать. Возможно, для чувствующего колебания моды человека ситуация должна выглядеть так, как ее описывал И.М.; я не чувствую колебаний моды. С другой стороны, И.М. прав в том смысле, что основные объекты (примеры), в конечном итоге, важнее языка (определений).
Так или иначе, я занимался и занимаюсь (в этой своей деятельности) развитием языка, добавлением к нему новых слов и словообразовательных механизмов. Какое значение приобретет новый мир, который таким образом создается, будет зависеть от того, какие из гельфандовских "основных объектов математики" там удастся обнаружить или хотя бы удобно поселить. Но я не занимаюсь примерами, так что, скорее всего, это уже задача не для меня, а для кого-то другого.
(0) спорадические работы (их немного -- прежде всего, это самая первая статья 1991 года и никогда не публиковавшийся в рецензируемых изданиях архивный препринт 1995 года, а также статья 2002 года с двумя соавторами);
(1) работы по однородным квадратичным/кошулевым алгебрам (это в основном книжка Quadratic algebras и статья 1995 года с довольно известным контрпримером);
(2) работы, традиционно публикуемые в Архиве по разделу math.CT (выросшие из статьи 1993 года о неоднородных кошулевых алгебрах с соотношениями в степенях 2, 1, 0); и
(3) работы, публикуемые в Архиве по разделу math.KT (выросшие из статьи 1995 года о, по существу, неоднородных кошулевых алгебрах с соотношениями в степенях 2, 3, 4, 5, ...)
Ниже в этом постинге речь пойдет о направлении номер (2).
О том, что в неоднородной квадратичной двойственности возникает неожиданное и естественное обобщение DG-алгебр -- CDG-алгебры, или "искривленные DG-алгебры" -- я знал где-то с конца весны 1991 года, кажется. В августе, лежа в больнице, я в первый (но далеко не в последний) раз пытался проделать пресловутое вычисление неоднородных квадратичных деформаций тензорного произведения симметрической и внешней алгебр, а осенью появились "классы Чженя" CDG-алгебр (которые на самом деле, конечно, характер Чженя).
Примерно с этого момента я смутно ощущал или должен был ощущать, что передо мной стоит задача построения второй математики, параллельной уже существующей. То есть, это неправильно так говорить, конечно, а правильно говорить -- задача восстановления недостающей половины математики, упущенной классиками.
Постфактум, на нынешнем пике интереса к DG-алгебрам и DG-категориям, уже никто не сомневается, что на языке DG-алгебр может быть выражена более-менее вся алгебра (алгебраическая геометрия, алгебраическая топология), по крайней мере, если либо избавиться от коммутативности, либо ограничиться рациональными коэффициентами. Поскольку CDG-алгебры ничем не хуже DG-алгебр -- а они, конечно, на своем месте ничем не хуже -- следует сформулированный выше вывод.
... Двадцать лет спустя, мы имеем нечто вроде разработанных в целом оснований этой второй половины математики. Так же, как со времен Ф.Б. и Д.Л. можно приставить -- не ко всякому, конечно, но ко многим словам -- приставку "супер-", и откроется новый мир, одновременно похожий и непохожий на то, что было раньше -- так и теперь можно дописать в какой-нибудь оборот слова "искривленный", "второго рода", приставку "контра-", иногда "полу-" -- и откроется новый мир.
И.М. Гельфанд говорил, что в математике каждые десять лет меняется язык, но основные объекты изучения остаются неизменными. Я не мыслю на уровне "основных объектов" в этом смысле, для меня они слишком конкретны. Мой излюбленный уровень общности -- это классы объектов, такие как проконечные группы, например, или когерентные пучки, или конструктивные пучки.
Это то, что в приведенной цитате подразумевалось под "языком"; но, поскольку я в этом живу, я не вижу, чтобы там что-нибудь менялось за десять лет, или даже за тридцать. Возможно, для чувствующего колебания моды человека ситуация должна выглядеть так, как ее описывал И.М.; я не чувствую колебаний моды. С другой стороны, И.М. прав в том смысле, что основные объекты (примеры), в конечном итоге, важнее языка (определений).
Так или иначе, я занимался и занимаюсь (в этой своей деятельности) развитием языка, добавлением к нему новых слов и словообразовательных механизмов. Какое значение приобретет новый мир, который таким образом создается, будет зависеть от того, какие из гельфандовских "основных объектов математики" там удастся обнаружить или хотя бы удобно поселить. Но я не занимаюсь примерами, так что, скорее всего, это уже задача не для меня, а для кого-то другого.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2012-07-29 09:00 am (UTC)Всегда считал математику инструментом. А тут - явная самоцель. ИЛИ?? Жаль - В.Гейзенберг преставился - вот бы порадовался старик - его "новояз" в действии ))) Шучу, конечно, однако - при всем уважении - освоить "инструмент" не всякой жизни хватит. А когда им пользоваться? И для чего??
Кто-то из древних германцев сказал: достигнув вершины, отбрось лестницу, по которой на нее взобрался". А тут - такая груда лестниц... "супер"...
no subject
Date: 2012-07-29 09:24 am (UTC)no subject
Date: 2012-07-29 09:29 am (UTC)no subject
Date: 2012-07-29 09:32 am (UTC)no subject
Date: 2012-07-29 09:35 am (UTC)no subject
Date: 2012-07-29 09:56 am (UTC)no subject
Date: 2012-07-29 10:18 am (UTC)