Home
tagdghaca's Journal

> recent entries
> calendar
> friends
> profile
> previous 20 entries

Advertisement

Wednesday, October 24th, 2007
10:05 pm - ?
Чему препятствует третий класс Штиффеля-Уитни? w_1 - ориентируемость, w_2 - спинорная структура... а дальше?

(10 comments | comment on this)

6:40 pm - Теорема об униформизации
Замечательно простое, чисто топологическое доказательство теоремы Пуанкаре-Кебе приведено на стр. 44-45 восьмой главы книги Demailly J.-P. Complex analytic and algebraic geometry. К сожалению, я сейчас не обладаю временем, чтобы все продумать, но выглядит очень симпатично.

(5 comments | comment on this)

Saturday, October 20th, 2007
6:14 am - Голоморфная проективная связность: кадр первый, дубль второй
Голоморфная проективная связность мне встретилась в статьях Тюрина, Ганнинга, Кобаяши. Описывается она там неким коциклом Чеха, преобразующимся добавление производной Шварца функции перехода комплексного атласа. Из такого определение понятно только то, что оно совсем непонятно, уродливо итп. Скажем, что если мне не удобно пользоваться какими-то атласами и вообще у меня структурный пучок все задает? Первая попытка была описать все это на языке связностей Картана. Все описалось, но оказалось переводом с одного непонятного языка на другой, еще более непонятный и патологический. Вторая мысль такая.

Пусть F - локально свободный пучок, конечного ранга, тогда всегда можно устроить пучок связностей Conn_X(F). Голоморфные связности это элементы из H^0(X, Conn_X(F)), они бывают, если класс Атьи a(F)=0. Очень интересно понять, что в таких терминах значат проективные связности. Я даже немножко знаю ответ: встретилась статья, где проективные связности выделяются когомологическим условием на класс Атьи. Но такое условие, как определение, тоже берется с потолка, так что надо придумать нечто естественное из чего оно следует.

(8 comments | comment on this)

Friday, September 21st, 2007
4:57 am
Можно ли увидеть, что на гиперэллиптической кривой (g>1) нет морфизма степени три в прямую, не прибегая к представлению y^2=P(x)? Используя только дивизоры, Римана-Роха и все такое...

(18 comments | comment on this)

Sunday, September 16th, 2007
2:56 pm - Пара вопрос про римановы поверхности.
1. Можно решать задачу обращения Якоби в терминах тета-функции Римана: нули \theta(A(x)-e-K) - решения для e, если е+K не является сдвигом тета-дивизора, содержащим образ кривой при отображении Абеля. Я знаю только одно доказательство этого факта, и оно конкретно уродливое и не помогает в понимании факта нисколько: надо резать риманову поверхность и считать интегралы. Может быть есть другое?

Вообще это решение через нули тета-функции для меня всегда было очень загадочным: как раз когда решений меньше всего т.е. размерность линейной системы (эффективных дивизоров, отображающихся g-ой симметрической степенью Абеля в данную точку якобиана) нуль есть такое загадочное тета-функциональное решение, а когда размерность линейной системы положительна такое решение нулевое.

Впрочем, видимо польза для самой задачи обращения Якоби от такого явного решения не велика, гораздо интереснее, что из этого очень просто выводится теорема Римана о тета-дивизоре. С этим связан второй вопрос.

2. Можно ли вывести теорему Римана не используя задачи обращения Якоби?

(12 comments | comment on this)

2:35 pm

Тревожит пара вопросов, возможно весьма бестолковых.

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

2. Короткая точная экспоненциальная последовательнось 0->Z-i->O-exp->O^*->0 дает длинную когомологическую, в ней меня интересует H^2(i) : H^2(X, Z) -> H^2(X, O)=H^{0,2}(X, C) как оно устроено? На первый взгляд мне покалось, что это вложение (0,2)-части, при этом остальные две части идут в нуль, но тогда не понятно что происходит с (2,0) компонентой, потому что образ предыдущего отображения - (1,1) классы в H^2(X, Z).

(2 comments | comment on this)

Friday, August 24th, 2007
9:42 pm - История физики
От чего умер Вадим Книжник в 25 лет?

(3 comments | comment on this)

Sunday, August 12th, 2007
10:52 pm - Uniformization via Ricci flow
Теорему униформизации для компактных римановых поверхностей можно доказать при помощи потока Риччи: существует предел в бесконечности, который как раз метрика постоянной кривизны. Вроде бы сейчас уже есть совсем простые аргументы для размерности два: An elementary proof of the convergence of Ricci flow on compact surfaces. Только в тексте по ссылке мне понять ничего не удалось, т.к. там вроде бы очень просто передоказывается какая-то лемма из работы Гамильтона "The Ricci flow on surfaces", остальные леммы только формулируются со ссылкой на Гамильтон. Но Гамильтон опубликовал свои результаты про поверхности не в журнале, а в какой-то серии Contemporary Mathematics, которая online не доступна (или доступна, но только последние выпуски и только владельцам подписки), а значит прочитать это мне не удастся. Расстроен до невозможности.

current mood: sad

(5 comments | comment on this)

Monday, August 6th, 2007
2:20 am - Конечность группы изометрий в размерности два
Навеяно этим постом в ru_math.

На компактном римановом многообразии с отрицательной Риччи кривизной по теореме Бохнера группа изометрий конечна. С другой стороны конечна группа изометрий любой римановой метрики на компактной ориентируемой поверхности отрицательной эйлеровой характеристики, по теореме Шварца. Одно и тоже явление, но причины для него разные (кривизна римановой метрики на поверхности может быть знакопеременна, ориентируемость в теореме Бохнера не нужна).

Вопрос возникает такой: верно ли, что конечна группа изометрий любой метрики на компактной, но не обязательно ориентируемой поверхности?

(3 comments | comment on this)

Sunday, August 5th, 2007
5:52 pm - Гиперэллиптичность, фуксовы группы; анализ на штанах
Список не очень умных вопросов, что меня тревожат

  1. Есть ли критерий в терминах фуксовых групп для гиперэллиптичности кривой? Т.е. такой чтоб не обращаться к фундаментальной области, в терминах фундаментальной области гиперэллиптичность может быть распознана, но область тоже надо еще найти, что обычно сложно. В частности, можно ли доказать, что размерность гиперэллиптического локуса в пространстве модулей 2g-1 чисто фуксово.


  2. Есть ли обозримые формулы для коэффициентов полинома P(x) (гиперэллиптическая кривая задается в форме Вейерштрасса w^2=P(x)) в терминах фуксовой группы. Это что-то вроде задачи обратной к задаче униформизации, т.е. должна решаться. Можно, конечно, говорить так: по группе посторим накрытие J: H -> X, по J вычислим акцессорные параметры, по акцессорным параметрам коэффициенты полинома. Такое решение считается не обозримым. Обозримым считаеся, скажем, эллиптический случай - коэффициенты это значения пе-функции в трех точках.


  3. Можно ли написать явную формулу для гиперболической метрики на штанах, когда длины граничных компонент не нулевые? Я знаю только ответ для нулевых длин.


  4. Можно ли написать явную формулу для функции Грина и heat kernel на штанах (хотя бы когда границы выраждаются в проколы)?

(2 comments | comment on this)

Monday, July 30th, 2007
9:16 pm - Доказательство Натанзона теоремы Тейхмюллера
Вот тут рассказывают про доказательство Натанзона теоремы Тейхмюллера. Что-то я такого не слышал раньше. Может кто подскажет какая это работа?

(41 comments | comment on this)

Tuesday, July 24th, 2007
10:28 pm - Двумерный периодический (автоморфный) оператор Шредингера
Одномерный оператор Шредингера с периодическим потенциалом (оператор Штурма-Лиувилля, Хилла) можно считать достаточно хорошо исследованным как в контексте прямой, так и обратной спектральной задачи. В прямой задаче мы имеем зонный абсолютно непрерывный спектр, теорию Флоке и все такое. В обратной - формулу Матвеева-Итса для конечнозонного потенциала или формулы следа для общего периодического потенциала.

В размерности два прямая задача для периодического оператора Шредингера также досконально изучена. В обратной задаче формулы типа Матвеева-Итса были получены в 80-е. Формул следа я тут не видел, но подозреваю, что они есть. Однако, в размерности два кроме периодического параболического случая (т.е. торов) есть еще периодический гиперболический случай. Можно рассматривать оператор Шредингера на верхней полуплоскости H с автоморфной функцией, относительно фуксовой группы, в качестве потенциала. Было бы очень интересно посмотреть на прямую (сохранится ли зонная структура спектра?) и обратную задачи (бывают тут формулы Матвеева-Итса? Формулы следа?) для таких операторов. По-моему, информация о таких задачах крайне скудна (я сужу только потому что мне ничего не удалось найти в сети через гугл, а в случае торов ссылок крайне много).

Последнее, что интересно, я не смог придумать ни одного периодического потенциала (в любой размерности и смысле), для которого функция Грина, обращающая оператора Шредингера на R^n или H, вычислялась бы явно (в терминах спец. функций, рядов, интегралов). Может физики могут подсказать такой пример?

current mood: tired
current music: Агата Кристи - Гетеросексуалист

(5 comments | comment on this)

Tuesday, July 10th, 2007
9:54 pm - Вопрос по анализу
Сохряняет ли функтор Шура классы Шаттена-Неймана?

(2 comments | comment on this)

9:52 pm - Пара вопросов про представления групп Ли
Пусть G простая группа Ли, которая предствлена на H^0(G/B,L_\lambda), B - подгруппа Бореля, L_\lambda обильное линейное расслоение, построенное по доминантному весу \lambda.

Тут возникают такие вопросы:
1. Как из геометрии многообразия флагов вывести формулу Вейля для характера?

2. Какой геометрический смысл на этом многообразии имеют модули Верма? Ходят слухи о связи с инваринатными дифференциальными операторами, но ничего конкретного я не знаю.

http://community.livejournal.com/ru_math/531836.html

(comment on this)

Wednesday, April 25th, 2007
3:49 am - Ошибки в стандартных учебниках?
Как мне кажется, в двух книжках: "совгеоме" и "Baez J.C., Muniain J.P. Gauge theories, knots, and gravity" содержится неверное определение классов Чженя. В обоих местах они определяются через связности и для c_i ошибочно берется i степень матрицы кривизны (как оператора) вместо i-ой внешней степени.

Если кому-то не лень убедиться, то у Баеза это стр. 280-282, в совгеоме стр. 185 (того издания, которое в колхозе).

(20 comments | comment on this)

Friday, April 20th, 2007
3:27 am
Второй день в большом восторге от лекции Вавилова по группам Шевалле, причем одновременно и от самого предмета, стиля изложения, обаяние лектора.

Пара смешных цитат:
"Самое главное достижения математики за последнюю тысячу лет – создание списка A_n, B_n, C_n, D_n, E_6, E_7, E_8, F_4, G_2"
"В математике не бывает совпадений… в теории чисел бывают, в математике – нет"

Что особенно порадовало – последние достижения в области связаны с комбинаторикой. Еще одно подтверждение моего предчувствия, что комбинаторика должна проникнуть повсеместно и следующие сто лет будут веком комбинаторики.

Из технических вопросов: меня смущает, распараллеливание всего хорошего в ФМК и "Инвариант".

(28 comments | comment on this)

Tuesday, April 17th, 2007
4:18 am - "Странные" полиномы Шура
Кроме обычных полиномов Шура (определенных как у Макдональда или Фултона) часто встречаются полиномы Шура, заданные производящей функцией exp(\sum_i t^i x_i). Чем последние заслужили свое название? На первый взгляд они совсем не похожи на s_\lambda.

(8 comments | comment on this)

Saturday, April 14th, 2007
5:47 pm - Исчисление Шуберта на грассманиане
Интересно, есть пакет который умеет считать subj, т.е. раскручивает выражение по Пьери и Джамбелли?

(7 comments | comment on this)

Thursday, April 12th, 2007
11:38 pm - Теорема Ботта?
Сегодня встретил теорему о когомологиях пучка O(k) на P^n, названной теоремой имени Ботта. Интересно почему так? Я всегда был уверен, что она имени Серра.

(1 comment | comment on this)

Monday, March 19th, 2007
3:28 pm - Пара вопросов по коммутативной алгебре

  1. Привести пример морфизма конечного типа колец f : A -> B, такого что коморфизм f^* Spec B -> Spec A имеет конечные слои, но сам f не конечен.

  2. Пример не нетерова кольца с нетеровым спектром в любой размерности. Т.е. это очень просто сделать в размерности нуль, а как конструировать такие примеры в любой размерности?

(18 comments | comment on this)


> previous 20 entries
> top of page
LiveJournal.com