Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth) в [info]ljr_math
@ 2009-02-24 20:33:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
относительный класс Тодда раздутия
Пусть $p: M \arrow X$ - раздутие подмногообразия
$Z\subset X$, не обязательно гладкого,
а $E\subset M$ - прообраз $Z$ (дивизор).
Меня интересует относительный класс Тодда
отображения p. Я долго его вычислял,
и прошел к выводу, что он должен быть
полиномом он фундаментального класса
дивизора $E$.

Правда ли это? И где бы найти ссылку
на подобное утверждение? И наконец, чему
равен этот полином?

Заранее очень признателен за любые советы.

Привет


(Добавить комментарий)

совет дилетанта
[info]relf.livejournal.com
2009-02-27 23:00 (ссылка)
я совсем не в теме, поэтому заранее извиняюсь, если скажу глупость

если упомянутый полином (и его степень, в частности) зависит от какого-то параметра (например, размерности или что-нибудь в этом духе), то можно попробовать повычислять его для маленьких значений этого параметра, и затем пробить вычисленные коэффициенты по он-лайновой энциклопедии
http://www.research.att.com/~njas/sequences/
может вылезти что-нибудь интересное (и даже ссылки на литературу).

(Ответить)

относительный класс Тодда раздутия
(Анонимно)
2009-02-28 04:49 (ссылка)
Не понял в чем проблема? Для раздутий с гладким центром это стандартное вычисление которое сразу следует из двух обычных точных последовательностей для изключительного дивизора. А если центр особый, то нужно представит вложение как композицию гладкого морфизма и регулярного вложения и свести к гладкому случаю. Тони

(Ответить) (Ветвь дискуссии)

Re: относительный класс Тодда раздутия
[info]tiphareth
2009-02-28 21:30 (ссылка)
Тони, привет,
я не встречал это вычисление (и не уверен,
что умею воспроизвести). Самое лучшее, что я нашел -
статья, где доказывается, что прямой образ
относительного Тодда при бирациональном
отображении равен нулю. Но это я как раз умею.

Если все так, это было бы чрезвычайно хорошо,
но разные люди, которых я спрашивал (Долгачев, Бейлинсон)
ничего на этот счет не знают.

Такие дела
Миша

Такие дела
Миша

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: относительный класс Тодда раздутия
(Анонимно)
2009-03-01 06:17 (ссылка)
Привет Миша,

О каком вычислении идет речь? Когда центр гладкий или когда любой?
Если мы раздуваем гладкое $Z \subset X$ тогда исключительный дивизор раздутия будет проективизацией $E = \mathbb{P}(N)$ нормального расслоения $N = N_{Z/X}$. Если $\pi : Y \to X$ отображение раздутия то $\pi^{*}T_{X}$ и $T_{Y}$ отличаются на пучке сосредоточенном на $E$. Точнее имеем точную последовательность

\[
0 \to T_{Y} \to \pi^{*}T_{X} \to i_{*} V \to 0
\]

где $i : E \hookrightarrow X$ ето вложение, а $V$ eто векторное расслоение на $E$ заданное тавтологической последовательности векторных расслоений на
$E$:


\[
0 \to \mathcal{O}_{N}(-1) \to p^{*}N \to V \to 0,
\]

а $p : E \to Z$ ето стандартная проекция. А отсюда все следует. Или я опять чтото не понял в вопроссе?

Тони



(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: относительный класс Тодда раздутия
[info]tiphareth
2009-03-19 02:51 (ссылка)

Спасибо! Прекрасно.
Долго тормозил, потому что думал над твоим
советом. Этот ответ продублирую емэйлом.

Кажется, можно эту конструкцию дополнительно
упростить. Если мы раздули гладкий центр в
гладком многообразии, классы Черна нормального
расслоения к центру раздутия выражаются через O(E),
где E - дивизор раздутия. А именно, прямой образ в
когомологиях от характера Черна от O(E) даст
характер Черна нормального расслоения, с точностью
до каких-то коэффициентов (поправь меня, если я вру).
Это потому, что через c_1(O(1)) на проективизации
расслоения V можно выразить классы Черна
расслоения V.

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

Для раздутий с особым центром я подобного доказать не смог,
но по крайней мере могу сформулировать гипотезу.

ГИПОТЕЗА.
Пусть $M \arrow X$ бирациональный морфизм
гладких, проективных многообразий над C,
причем X получено из M стягиванием дивизоров
E_1, ..., E_n с нормальными пересечениями.
Рассмотрим минимальную градуированную
подалгебру $A^* \subset H^*(M)$, содержающую
фундаментальные классы [E_i], и замкнутую
относительно отображения прямого образа
в $H^*(X)$. Тогда $A^*$ содержит относительный
класс Тодда.

Когда все центры раздутий гладкие, твой аргумент,
кажется, эту гипотезу доказывает.

Гипотеза решает все мои проблемы, то есть
если я могу ее доказать - могу доказать эффективность
неф-расслоений на гиперкэлеровых многообразиях.

Такие дела
Миша

(Ответить) (Уровень выше)