![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Если Аллаху будет угодно, я буду рассказывать про мотивы (Артина-)Тейта с конечными коэффициентами через неделю, в пятницу, в Стекловке и через полторы недели, во вторник, в НМУ/Понселе. Темы двух докладов очень близки, но первый (в Стекловке) планируется быть посложнее. Что не вполне оптимально, поскольку в случае, если аудитории пересекаются, лучше сначала рассказывать о том же самом на более простом уровне, а потом на более сложном, а не наоборот. Но, видимо, ничего не поделаешь. Мой доклад в Понселе планировался быть в ближайший вторник, но, насколько я понял, он будет перенесен на неделю из-за конференции памяти Тюрина в той же Стекловке в ближайший вторник.
Oct. 23rd, 2010
Майер-Вьеторис и локальные кольца
Oct. 23rd, 2010 02:51 amДопустим, у меня есть некий сайт, разумного размера. Типа (малого) сайта Зарисского алгебраического многообразия. Ну или не Зарисского, а Нисневича.
Можно определить понятие "теории когомологий" на сайте. Ну, это значит последовательность контравариантных функторов на открытых множествах, занумерованных неотрицательными целыми числами, для которых есть последовательность Майера-Вьеториса для покрытия одного открытого множества двумя другими.
Дальше, есть понятие точек сайта. Что бы оно ни значило в общем случае, для сайта Зарисского это спектры локальных колец точек схемы. А для Нисневича -- спектры гензелизаций этих локальных колец. А для этального -- спектры строгих гензелизаций. В общем, идея должна быть понятна.
Теперь, допустим, что у меня есть морфизм теорий когомологий на сайте Нисневича алгебраического многообразия. Я могу распространить эти теории на точки топологии (спектры гензелизаций локальных колец), просто перейдя к прямому пределу. Допустим, мой морфизм теорий когомологий является изоморфизмом на точках. Следует ли из этого, что он изоморфизм на открытых множествах?
(Трудно все-таки жить во тьме безграмотности. Ничего-то я не понимаю про топологии Гротендика. А решать пытаюсь вот эту задачу -- http://posic.livejournal.com/436839.html )
Update: http://mathoverflow.net/questions/43345/grothendieck-topologies-mayer-vietoris-and-points
Можно определить понятие "теории когомологий" на сайте. Ну, это значит последовательность контравариантных функторов на открытых множествах, занумерованных неотрицательными целыми числами, для которых есть последовательность Майера-Вьеториса для покрытия одного открытого множества двумя другими.
Дальше, есть понятие точек сайта. Что бы оно ни значило в общем случае, для сайта Зарисского это спектры локальных колец точек схемы. А для Нисневича -- спектры гензелизаций этих локальных колец. А для этального -- спектры строгих гензелизаций. В общем, идея должна быть понятна.
Теперь, допустим, что у меня есть морфизм теорий когомологий на сайте Нисневича алгебраического многообразия. Я могу распространить эти теории на точки топологии (спектры гензелизаций локальных колец), просто перейдя к прямому пределу. Допустим, мой морфизм теорий когомологий является изоморфизмом на точках. Следует ли из этого, что он изоморфизм на открытых множествах?
(Трудно все-таки жить во тьме безграмотности. Ничего-то я не понимаю про топологии Гротендика. А решать пытаюсь вот эту задачу -- http://posic.livejournal.com/436839.html )
Update: http://mathoverflow.net/questions/43345/grothendieck-topologies-mayer-vietoris-and-points