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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2009-05-09 06:43:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: tired
Музыка:Kebnekaise -- Kebnekaise
Entry tags:math, mccme

Лекция 5: пространства Монтеля, лекция 6: кэлеровы потоки
Выложил конспект и задачи к прошлок лекции по
комплексным поверхностям

двойную порцию, так уж вышло.

Лекция 5: пространства Монтеля, лекция 6:
кэлеровы потоки и $\6\bar\6$-лемма.

[ pdf | ps ]

Лекция пять целиком про бочечные пространства
и теорему Банаха-Штейнгауза. Составляя задачи,
наткнулся на чудесную заметку Гротендика, 1957-го
года, где он определяет пучки Фреше-Монтеля. Это пучки
пространств Фреше, причем сужение на относительно
компактное подмножество дает компактный оператор
ограничения пространств сечений. Легко видеть, что любые
когерентные пучки на комплексном многообразии таковы.
Также ясно, что относительно компактное измельчение
карты многообразия задает компактный оператор
на соответствующих когомологиях комплекса Чеха.
Если многообразие компактно, а пучки
локально ацикличны (чтобы когомологии Чеха
вычислялись), измельчение задает изоморфизм
когомологий Чеха. Но изоморфизм может быть
компактным оператором, только если пространство
конечномерно (теорема Рисса). Таким образом
в три строчки получается теорема Серра-Картана
о конечномерности когомологий когерентных пучков.
По-моему офигительно.

Вообще, такое ощущение, что 80% интересных вещей
в функциональном анализе после смерти Банаха придумали
Бурбаки, а из них половину - Гротендик.

Вот прошлые лекции

[ surfaces4.pdf | surfaces4.ps | surfaces3.pdf | surfaces3.ps |
surfaces2.pdf | surfaces2.ps | surfaces1.pdf | surfaces1.ps ]

Оно же на сайте НМУ:
http://ium.mccme.ru/s09/complex.html

В понедельник буду рассказывать теорему Богомолова
о поверхностях класса VII. Занятно, что современное
доказательство ее использует классификацию
гиперкомплексных поверхностей, которая в
свою очередь вытекает из классификации
вайсмановых многообразий.

Привет



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


(Анонимно)
2009-05-09 10:16 (ссылка)
Я уже сменил своего кумира Гитлера, на Путина-голодомора, поскольку самая страшная смерть от голода, ведь если тебя застрелят на войне, мучиться долго не будешь, так что Гитлер гуманист, а наш горячо любимый генсек хуже Гитлера, так что Путин мой кумир, но еврейский народ, куда круче всех этих кровавых диктаторов, поскольку они уничтожили и деструктировали целые народы и цивилизации, в отличие от диктаторов, которые лишь жалким образом измывались над своим народом. Так что не нужен мне ни Гитлер, и ни Сталин и даже Пол Пот, а нужен мне еврей, как художнику и русскому человеку. И я как русский холоп, теперь буду любить только еврея, и его одного, еврея, поскольку мне, русскому гою, нужен хозяин с железным кулаком

(Ответить)


(Анонимно)
2009-05-10 00:25 (ссылка)
Дайте пожалуйста ссылку на эту работу Гротендика. Может она есть online?
Большое спасибо.

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


[info]tiphareth
2009-05-10 02:08 (ссылка)
Вот тут есть ссылка и детали доказательства
http://www.ams.org/proc/1996-124-11/S0002-9939-96-03765-3/S0002-9939-96-03765-3.pdf

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


(Анонимно)
2009-05-10 06:29 (ссылка)
Спасибо!

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


[info]priest_dimitriy
2009-05-10 11:02 (ссылка)
Жесть.

(Ответить)


(Анонимно)
2009-05-11 00:23 (ссылка)
Миша, а осмысленно ли продвинутое изучение разных абстрактно-алгебраических вещей (всяких квазигрупп, полугруд, луп, кольцоидов и тп)? В смысле полезности таких понятий для современной науки за пределами абстрактной алгебры

+

А что, в семидесятые в МИЭМ было какое-то параллельное МГУ математическое образование? В сети есть конспект лекций Манина по математической логике, аналогичных по духу "Доказуемое и недоказуемое", при этом прочитанный именно в МИЭМ. МИЭМ вроде как дыра, и непонятно, отчего Манину читать там лекции

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


[info]tiphareth
2009-05-11 00:46 (ссылка)
Про МИЭМ в 1970-е ничего не слыхал, но вполне возможно.
Такие флюктуации были.

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

По типу дескриптивной теории множеств и теории недостижимых
кардиналов, но там хотя бы есть знатоки, которым не лень
написать все про эти науки в Википедию, так что даже
интересно почитать.

http://en.wikipedia.org/wiki/Large_cardinal_property
http://en.wikipedia.org/wiki/Pointclass

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

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


(Анонимно)
2009-05-11 03:21 (ссылка)
Миша, а что ты думаешь об алгебраических группах?

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


[info]tiphareth
2009-05-11 03:23 (ссылка)
алгебраические группы это хорошо

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