[personal profile] posic
алгебраическая геометрия = когерентные пучки
топология алгебраических многообразий = конструктивные пучки
? = D-модули (в том числе, не обязательно голономные)

Тавтологический ответ "алгебраические системы линейных дифференциальных уравнений в частных производных" ужасен. Нельзя ли придумать чего-нибудь получше?

Date: 2013-03-31 08:53 pm (UTC)
From: [identity profile] roma.livejournal.com
топология алгебраических многообразий в Де Рамовской реализации?
Топология Де Рама?

Date: 2013-03-31 09:06 pm (UTC)
From: [identity profile] posic.livejournal.com
Но ведь это только голономные D-модули, да?

Date: 2013-03-31 09:51 pm (UTC)
From: [identity profile] posic.livejournal.com
Я имею в виду, что вот D-модуль D (кольцо D как модуль над самим собой) -- он ведь к топологии отношения не имеет. С другой стороны, дерамовская интерпретация у него есть, конечно, как и у всякого D-модуля (можно применить функтор решений, получится пучок O).

Так что, наверное, правильный термин -- "дерамовская алгебраическая геометрия". В которой внутри содержится дерамовская топология алгебраических многообразий (в смысле подкатегории голономных D-модулей).

Вот, придумали; спасибо за подсказку!

Date: 2013-04-01 12:31 am (UTC)
From: [identity profile] roma.livejournal.com
да, "дерамовская алгебраическая геометрия" звучит отлично!

Date: 2013-04-01 07:51 am (UTC)
From: [identity profile] xaxam.livejournal.com
Diffiety theory ;-)

Первое изложение этой науки начиналось с длинной цитаты из Алисы, про "пуговки для сюртуков", поэтому рукопись в обиходе так и называлась "Алиса". Можно, наверное, вывести отсюда название для теории. - Alicean geometry...

Date: 2013-04-01 08:11 am (UTC)
From: [identity profile] posic.livejournal.com
Судя по http://ncatlab.org/nlab/show/diffiety , diffiety -- это что-то другое. Скорее уж тогда http://ncatlab.org/nlab/show/D-geometry

Date: 2013-04-01 08:31 am (UTC)
From: [identity profile] xaxam.livejournal.com
Ну, мне трудно судить: в те годы, когда меня учили этой самой Alice geometry, концепция была, если не перевираю всё начисто, построить аналог аффинной алгебраической геометрии, но с (некоммутативной) алгеброй Вейля вместо коммутативной алгебры полиномов в качестве основного объекта. До пучков и глобализации тогда дело ещё не дошло, а потом я сбежал с этой галеры ;-)

June 2025

S M T W T F S
1 2 3 4 56 7
8 9 10 11121314
15161718192021
22232425262728
2930     

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 12th, 2025 08:49 pm
Powered by Dreamwidth Studios