![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
posicПусть K → L -- конечное чисто несепарабельное расширение полей, и p: Spec L → Spec K -- соответствующий морфизм схем. Пусть A -- кольцо коэффициентов, в котором обратим элемент char K. Рассмотрим мотив над K с коэффициентами A, соответствующий схеме Spec L. Можно обозначать его через p*A, или даже через p!A. Хотелось бы сказать, что этот мотив совпадает с A (т.е. с мотивом спектра K над K).
Какова природа этого утверждения? Из каких общемотивных соображений оно выводится или не выводится?
Ввиду сопряженности функторов p* и p*, есть естественное отображение φ: A → p*A. Заменяя базу с помощью морфизма p, мы обнаруживаем, что отображение мотивных пучков p*φ связано с морфизмом схем, являющимся изоморфизмом с точностью до нильпотентов. Если мы почему-то предполагаем, что такие морфизмы схем должны индуцировать эквивалентности категорий мотивных пучков, получается, что морфизм p*φ является изоморфизмом.
Морфизм p плоский и сюръективный. Если мы почему-то предполагаем, что обратный образ при плоском сюръективном морфизме должен быть консервативным функтором, отсюда, наконец, следует, что φ -- изоморфизм.
Нельзя ли объяснить все это как-нибудь получше? Я могу, конечно, просто потребовать, чтобы универсальные гомеоморфизмы схем индуцировали эквивалентности моих триангулированных категорий мотивных пучков, но хотелось бы лучше понимать основания и импликации таких требований.
Какова природа этого утверждения? Из каких общемотивных соображений оно выводится или не выводится?
Ввиду сопряженности функторов p* и p*, есть естественное отображение φ: A → p*A. Заменяя базу с помощью морфизма p, мы обнаруживаем, что отображение мотивных пучков p*φ связано с морфизмом схем, являющимся изоморфизмом с точностью до нильпотентов. Если мы почему-то предполагаем, что такие морфизмы схем должны индуцировать эквивалентности категорий мотивных пучков, получается, что морфизм p*φ является изоморфизмом.
Морфизм p плоский и сюръективный. Если мы почему-то предполагаем, что обратный образ при плоском сюръективном морфизме должен быть консервативным функтором, отсюда, наконец, следует, что φ -- изоморфизм.
Нельзя ли объяснить все это как-нибудь получше? Я могу, конечно, просто потребовать, чтобы универсальные гомеоморфизмы схем индуцировали эквивалентности моих триангулированных категорий мотивных пучков, но хотелось бы лучше понимать основания и импликации таких требований.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2011-10-14 08:42 pm (UTC)Мне этого не хватит, потому что у них там рациональные коэффициенты. Но, собственно говоря, мне нужно было не сослаться, а понять, в чем дело. Этого я до какой-то степени добился, спасибо.
Дальше, вставить условие в свой список условий я и без ссылки могу, а шесть операций с конечными коэффициентами не построены все равно у CD (если верить их собственным словам).
no subject
Date: 2011-10-15 04:22 am (UTC)no subject
Date: 2011-10-15 06:54 am (UTC)no subject
Date: 2011-10-15 12:55 pm (UTC)