Oct. 30th, 2010

Пусть X -- неприводимое комплексное алгебраическое многообразие и x -- его общая точка. Можно определить сингулярные когомологии H*(x,Q) как прямой предел H*(Y,Q) по всем открытым подмногообразиям Y ⊂ X в топологии Зарисского. Кошулева ли алгебра H*(x,Q)?

Очень оптимистически, можно было бы попытаться вывести это из гипотезы кошулевости когомологий Галуа, заменив сингулярные когомологии на l-адические (с коэффициентами в Ql) и аппроксимировав последние этальными (с Z/lrZ-коэффициентами). Только я не думаю, что это получится.

Update: ну да, конечно не получится. Грубо говоря, препятствием к тому, чтобы это получилось, является бесконечно-делимая часть в группах TorH(Z,Z) над H = H*(x,Z).

Profile

Leonid Positselski

April 2026

S M T W T F S
    12 34
56 7 8 9 1011
12131415161718
19202122232425
2627282930  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Apr. 10th, 2026 11:28 am
Powered by Dreamwidth Studios