![[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-13 04:44 am (UTC)no subject
Date: 2011-10-13 06:37 am (UTC)Когда я изучал СД, очень раздражало то, что они большую часть времени не рассматривают конкретные категории мотивов, а, вместо это, изучают возможные мотивные теории аксиоматически. Но Вам это, как раз, должно быть на руку?
no subject
Date: 2011-10-13 09:24 am (UTC)Можно попробовать соединить аргумент, на который вы указали, с моим. Пусть p -- плоский конечный морфизм между схемами, в который могут быть нильпотенты. Верно ли, что для любого мотива M на базе схеме существует пара морфизмов M → p*p*M *→ M с композицией, равной умножению на степень p? Если да, то это влекло бы желаемую консервативность.
Что мне нужно, это сложный вопрос. Абстрактное обсуждение возможных теорий мотивов -- это хорошо, а конкретная теория с шестью (или хотя бы тремя) операциями, для конечных коэффициентов -- это было бы еще лучше. C и D вроде говорят, что построить такую теорию им удалось не вполне. Я, конечно, в любом случае предпочел бы сравнивать свою точную категорию не с какой-то конкретной триангулированной, а с любой, имеющей определенные свойства. Если бы у CD такая теория уже была, это было бы интереснее. Если еще нет, значит, придется подождать.
no subject
Date: 2011-10-13 09:29 am (UTC)no subject
Date: 2011-10-13 11:26 am (UTC)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)