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

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

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

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

Сообщества

Настроить S2

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



Пишет Misha Verbitsky ([info]tiphareth)
@ 2017-10-02 09:51:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Complex Numbers - Земное Притяжение
Entry tags:hse, math, obit

Воеводский
Написал для официальных целей по просьбе начальства.
Сохраню, чтобы не потерялось.

* * *

Володя Воеводский был года на два старше меня,
но в Гарвард мы поступили одновременно. К моменту
поступления у Воеводского были приличные публикации
о теории dessin d'enfant Гротендика, полученные под
руководством Юры Шабата, вдохновившего его на занятие
математикой (об истории этого знакомства было прекрасное
рассказано в совместном интервью Воеводского и Шабата:
http://polit.ru/article/2006/08/22/voevod/ ). Одна
из публикаций получила одобрительный отзыв от Гротендика,
который стал отшельником примерно тогда же, но немного
погодя. В результате у Воеводского появилась статья
с автографом Гротендика, возможно, одним из последних
прижизненных; Володя был весьма горд этим обстоятельством,
что и понятно. На мехмате он появлялся редко, и
был исключен оттуда примерно тогда же, когда поступил
в Гарвард.

Прямо перед поступлением Володя работал
в основном с Мишей Капрановым, с которым они написали
потрясающие работы про высшие категории, но у него уже
был свой собственный проект, который он блестяще реализовал
в диссертации. Идея была достаточно проста - реализовать
на схемном языке триангулированную категорию, естественно
явленную в гомотопической топологии посредством точной
последовательности Пуппе, но на пути ее реализации Володе
пришлось преодолеть несколько колоссальных препятствий.
Мы довольно много общались, обретаясь в Гарварде почти
ежедневно (Воеводский какое-то время даже жил в своем офисе,
ибо ленился снимать квартиру), и он рассказывал о прогрессе
своих исследований почти ежедневно; было очевидно, что
готовится один из крупных прорывов алгебраической геометрии.
За работой Воеводского с огромным интересом следили
профессора Гарварда: Дима Каждан (который был его научным
руководителем не только формально, но и фактически немало
помогал), но и даже люди, далекие от алгебры, такие, как
Шин-Тунг Яу, знаменитый дифференциальный геометр.

Воеводский закончил свою диссертацию и немедленно получил
позицию Fellow of Harvard; это постдок, вся обязанность которого
состоит в еженедельном посещении совместного ужина исследовательского
товарищества. После Гарварда Володя уехал в Чикаго, где
ему очень помогли Андрей Суслин и Эрик Фридлендер, в тот
момент основные эксперты в алгебраической К-теории. С их
поддержкой, Воеводский смог применить категорию производных
мотивов, которую он построил, к алгебраической К-теории, и
решить несколько гипотез, которые на тот момент казались
нереально трудными. Таким образом его теория, и без того
нереально красивая, нашла практические приложения.

В скором времени Володя получил филдсовскую премию
и стал знаменитостью, так что в 2000-х мы общались
весьма мало. Роман Михайлов записал чудесные интервью
Воеводского, доступные тут:

https://web.archive.org/web/20120812023416/https://baaltii1.livejournal.com/198675.html
https://web.archive.org/web/20120812023457/http://baaltii1.livejournal.com/200269.html

В те 2-3 раза, что мы встречались, Воеводский
рассказывал о своем проекте по уничтожении математических
исследований; он считал, что комплекс программ, над
которыми он работал в 2000-е, уничтожит саму профессию
математика-исследователя. Было это довольно занятно.

Теперь он умер, и я даже не знаю отчего.

Привет



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


[info]tiphareth
2017-10-03 00:06 (ссылка)
нет, он говорил (личная беседа), что видит своей задачей уничтожение математики
ссылки нет

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


[info]kaledin
2017-10-03 01:19 (ссылка)
Формальная причина известна и задокументирована: "потрясающая работа про высшие категории" была неверная, на что Симпсон указал в 98 году, а в 2013 Володя это даже признал и выпустил типа ерратум; и с тех пор по крайней мере, публично утверждал, что математикой без proof assitant не занимается (с подтекстом что и вы не занимайтесь).

Мораль наверно понятно какая: нефига придумывать сложные доказательства, природу надо не насиловать, а изучать.

Впрочем, не знаю.

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


[info]tiphareth
2017-10-03 02:15 (ссылка)
там сразу целая пачка работ про высшие категории, не одна
и что неправильная, ну хуле, зато красивая
вот у Анд. Т-ва все статьи после 1990-го неправильные,
это не делает его менее великим математиком

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


[info]kaledin
2017-10-03 02:44 (ссылка)
>зато красивая

Я видел две -- правильную, но бессодержательную (про строгие полигрупоиды), и неправильную, но да, симпатичную (про 2-векторные пространства). Впрочем, это было таки 25 лет назад, так что я уже не уверен; может это было две части одной и той же. Оно было все равно препринт, а на сети нет. В принципе, некоторое завершение этого всего есть у Капранова в 96 году, в статье из Grothendieck Festschrift, без дураков гениальной и непонятой до сих пор.

>это не делает его менее великим математиком

Сколько угодно, мне совершенно не жалко кого угодно признать великим математиком, я вообще не хочу на личности переходить. Я про статьи.

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


(Анонимно)
2017-10-03 14:05 (ссылка)
Ошибка была конкретно в доказательстве гомотопической гипотезы (которая вроде как важна, чтобы дать независмое от модели определение (∞,1)-категории, но это видимо нереально) , то есть про ∞-группоиды:

https://mathoverflow.net/questions/234492/what-is-the-mistake-in-the-proof-of-the-homotopy-hypothesis-by-kapranov-and-voev

По ссылке есть в том числе и ссылка на саму оригинальную статью Воеводского и Капранова.

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


[info]kaledin
2017-10-03 22:20 (ссылка)
Ок, thnx.

У меня уже настолько голова не варит, что я выше перепутал Grothendieck Festschrift и том в честь Гельфанда (Functional Analysis on the Eve of 21 century или как-то так, и не 96 год, а 93). До того я читал Капранова-Воеводского про уравнения Замолодчикова (на тот момент казалось симпатично), и еще что-то про строгие полигрупоиды, мутное, с кучей сложных диаграм. В принципе, что в нем ошибку не нашли, неудивительно, потому что строгие полигрупоиды не годятся -- там все равно приходится что-то обращать; а раз так, то зачем и огород городить, чем плохи обычные симпл. множества. Т.е. оно было непонятно, о чем. Оснащенные категории нормально как раз определить вполне можно, через дериваторы, а вот группоиды по-видимому действительно нельзя. В любом случае, я еще не видел статьи по теории категорий, где бы были сложные диаграммы, но при этом реально все было доказано. Если вам недостаточно amscd, you're doing something wrong.

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


(Анонимно)
2017-10-04 04:01 (ссылка)
>Оснащенные категории нормально как раз определить вполне можно, через дериваторы

Да, но, как пишет в том числе и Лури, пользоваться такой моделью (∞,1)-категории (то есть как категории, оснащенной над категорией топологических пространств) нельзя. Уж если формализм квазикатегорий по Жоялю (который использовал Лури, и который сейчас доминирует) является сильно техничным с ещё более техничными доказательствами, то тут, видимо, вообще что-то невообразимо кошмарное.

Сейчас Эмили Риль из JHU и Доминик Верити из австралийской категорной школы пытаются построить 2-категорные основания для всего этого, чтобы была более простая в плане доказательств и техники, а также по возможности независимая от модели теория, но это work in progress, как говорится. Тем не менее, такие вот пусть не особо прорывные, но хотя бы сравнительно реалистичные проекты вдохновляют больше, нежели чем желание переписать всю математику под "гомотопическо-конструктивно-высшегруппоидную логику" (то, чем занимался Воеводский, хотя и с немного другой целью).

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


[info]kaledin
2017-10-04 05:36 (ссылка)
>то есть как категории, оснащенной над категорией топологических пространств

Это еще зачем? ужас какой.

>является сильно техничным

Не столько "техничным", сколько уродливым и неестественным, отчего и доказательства такие же; если уж надо обязательно обращать "слабые эквивалентности", то надо было брать complete Segal spaces (что все в общем-то знали уже в начале 2000х). Complete Segal spaces это хотя бы красиво. Я впрочем думаю, что обращать вообще ничего не надо, обычных категорных эквивалентностей достаточно, если умеючи. Посмотрим.

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


(Анонимно)
2017-10-04 19:45 (ссылка)
>Это еще зачем? ужас какой.

О, это я тупанул с терминологией. Вы про enhanced, а я сдуру подумал подумал про enriched ("обогащенные"), хех. Прошу прощения.

А я имел в виду, что топологические категории (enriched over Top) - одна из моделей (∞,1)-категорий, но это действительно "ужас", даже по сравнению с квазикатегориями.

>то надо было брать complete Segal spaces (что все в общем-то знали уже в начале 2000х). Complete Segal spaces это хотя бы красиво

Да, наверное. Интересно бы почитать, почему Лури выбрал именно квазикатегории. Я смотрел введение в его книжку, там даже неформального сравния моделей нет (кроме вышеупомянутых топологических категорий, которые упоминаются лишь для педагогический целей). Остальные обзоры на эту тему, которые попадались, были написаны скорее категорщиками, а их прикладная сторона особо не волнует. С Лури теперь проблема ещё с социальная: заменить квазикатегории на другую, даже потенциально лучшую модель в общественном сознании будет трудно, хотя плевать, кто ищет, тот найдет (лишь бы было, что искать, а не как сейчас).

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


[info]kaledin
2017-10-04 21:23 (ссылка)
>О, это я тупанул с терминологией. Вы про enhanced, а я сдуру подумал подумал про enriched ("обогащенные"), хех.

Это потому, что с терминологией вообще беда. Я специально пишу enhanced, а не \infty, потому что 1. \infty довольно неудачный термин (намекает на существование иерархии n-категорий, к чему никаких свидетельств в пророде нет), и 2. \infty, пусть по социальным причинам, уже имеет фиксированный смысл, ну и ладушки.

>Интересно бы почитать, почему Лури выбрал именно квазикатегории.

Да ступил просто. Ему было лет 20, в конце концов, и ему (как и всем) оно само по себе нафиг не было нужно -- у него были в уме конкретные приложения.

А понятие красоты в математике он вроде бы вообще отказывается обсуждать. Я даже не пробовал, мне с ним вообще дико трудно говорить, и невозможно без конкретики, он по половине параметров робот. Но мне рассказывали те, кто пробовал.

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


(Анонимно)
2017-10-14 03:48 (ссылка)
В социальном плане с Лури всё замечательно: взял одну пригодную для работы модель и проработал все-все основы, избавив народ от проверки этой нудятины и отбив желание заниматься бессмысленным размножением моделей. Следующий и последний шаг - построение модельно-независимой теории, в которой проблемы будут сведены исключительно к содержательным.

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


[info]kaledin
2017-10-14 20:27 (ссылка)
>Следующий

Он не следующий, он предыдущий. Выходим из идиотского тупика, куда нас завели, и идем уже куда надо.

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


(Анонимно)
2017-10-04 19:47 (ссылка)
*точнее, "тупанул" не с "терминологией", а с переводом терминологии.

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


[info]der_kluge_star
2017-10-03 21:42 (ссылка)
Про ошибки он пишет тут: https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2014_IAS.pdf

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


[info]der_kluge_star
2017-10-03 22:06 (ссылка)
>у Анд. Т-ва все статьи после 1990-го неправильные

Я слышал, что он серьёзно болел (то есть чем-то, что препятствовало занятиям математикой).

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


[info]apkallatu
2017-10-03 20:59 (ссылка)
эстетически такой подход конечно привлекателен.

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

а в процессе изучения природы может понадобиться какое-нибудь разрешение особенностей, и как поверить, что в нём нет лажи? я доказательства хиронаки, и даже влодарчика, не читал, и я думаю я не один, из пользующихся.

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


[info]kaledin
2017-10-03 21:57 (ссылка)
Разрешение особенностей и Калаби-Яу, да; два стандартных черных ящика. Делать нечего, но радости в этом мало.

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


[info]apkallatu
2017-10-03 22:36 (ссылка)
Калаби-Яу теперь научились довольно концептуально доказывать вариационными методами (Берман-Буксом-Эйсидьё-Гуэдж-Зериахи)

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

анализ состоит из сложных доказательств чуть менее, чем полностью.

ну то есть не знаю, мечта о проверке доказательств, как сейчас есть проверка типов в языках программирования, может быть и long shot, но не такая уж и дурацкая. положим, математиков такая прилада работы не лишит, но позволит не совершать глупых ляпов в больших доказательствах. есть ещё люди (типа меня), кто психологически так устроены, что себе в технических местах с большим количеством деталей верят с большим трудом.

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


[info]kaledin
2017-10-03 22:45 (ссылка)
>наверняка в коммутативной алгебре полно (не таких важных) мутных технических доказательств

Полно, да, но не таких непробиваемых.

В принципе, это старая телега, еще из переписки Серра с Гротендиком, где Серр пенял Гротендику на метод доказательства "методом поднимающегося моря" (доказываешь много тривиальностей, понемногу заполняется все) и указывал, что в алгебре такое не сработает. Алгебра надо полагать имелась в виду коммутативная. Однако я бы сказал, что одно дело коммутативная алгебра, другое дело теория категорий и гомотопическая топология. Везде, где можно без сложностей, лучше без.

Анализ же это вообще не наука, а искусство. Местами просто восхитительное, но вещь в себе. По крайней мере, если кто в статье по комплексной геометрии начинает применять Хана-Банаха, ищи ошибку.

>себе в технических местах с большим количеством деталей верят с большим трудом

Я себе в таких местах вообще не верю (and for a good reason). Но я бы и компьютеру не поверил.

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


[info]der_kluge_star
2017-10-03 22:57 (ссылка)
>По крайней мере, если кто в статье по комплексной геометрии начинает применять Хана-Банаха, ищи ошибку.

А известны примеры где в таких рассуждениях точно есть ошибки? Вроде в статьях Харви-Лоусона и Ламари таковых не обнаружено.

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


[info]kaledin
2017-10-03 23:09 (ссылка)
Эээ... это деликатный момент.

Скажем так, все такие ошибки, мне известные, давно заделаны.

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


[info]apkallatu
2017-10-05 18:29 (ссылка)
> я бы и компьютеру не поверил.

я про тот вариант, когда компьютер не будет совершать никаких нетривиальных
действий. просто заставлять прописывать всё без leap of faith.

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


[info]tiphareth
2017-10-05 22:09 (ссылка)
алгебраическое определение это костыль
оно некрасивое и неестественное
(до того, что алгебраическое доказательство
многих утверждений появились через 20 лет
после аналитического, и они во много раз более гадкие)

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


(Анонимно)
2017-10-07 20:16 (ссылка)
анализ рано или поздно прикончит алгебру алгебра станет частью анализа

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


[info]polytheme
2017-10-08 01:19 (ссылка)
даже есть такой предмет в школе: "Алгебра и начала анализа"

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


[info]sasha_a
2017-10-08 05:04 (ссылка)
анализ ... прикончит алгебру
"Алгебра и начала анализа"
следовательно, "Анализ и конец алгебры".
А геометрия затем с неизбежностью уничтожит анализ (геометрия в союзе с блядской топологией, разумеется).

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


[info]polytheme
2017-10-08 07:16 (ссылка)
ну они как бы одно за другим идут.
конец алгебры деликатно и трепетно присунут в самые аналы за.
в лучших традициях феминизма !

а потом, да, пришел лесник и выгнал всех нахуй, например.
в СССР секса нет.

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


[info]sasha_a
2017-10-08 15:30 (ссылка)
Тоже красиво (c)

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


(Анонимно)
2017-10-08 11:55 (ссылка)
нет. не так! когда алгебраическая геометрия выработает свои методы, укоренится то в нее войдут(начнут проникать) методы комплексной геометрии и полностью ее перепишут. Это очевидно. и об этом ДБК пишет, что если методы анализа в аг встречаешь, то 100% ошибка, т.к. уже долго пытаются но ни у кого не выходит пока. от себя добавлю. что не выходит, потому что конвенция аг не выработана до конца, такой конвенции пока нет, а есть много "изьебов".

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


(Анонимно)
2017-10-08 11:10 (ссылка)
не об этом. Комплексная геометрия, вытеснит алгебраическую, потому что в ней много "подгоночных коэффициентов" и притянутых за уши абстракций. (мндукцияскоробудет)

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


[info]polytheme
2017-10-11 21:45 (ссылка)
Это очень муторно, если серьезно;реалистичный сценарий - это обучить нейросетку всяким стандартным приёмам в духе компьютерных шахмат и альфа го - и пусть заполняет пробелы сама, но чтобы можно было глянуть.

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


[info]der_kluge_star
2017-10-03 22:52 (ссылка)
Ну всё же гладкость решений вариационными методами не докажешь (если я не ошибаюсь).

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


[info]apkallatu
2017-10-03 22:55 (ссылка)
да, но это точно не легче, чем оригинальные C^2 оценки?

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


[info]der_kluge_star
2017-10-03 23:00 (ссылка)
Доказательство существования решений в BEGZ точно проще, чем у Яу.

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


[info]polytheme
2017-10-04 06:30 (ссылка)
ну да, но насколько Homotopy Type Theory хотя бы даже теоретически могла бы помочь верифицировать доказательства из анализа ? она же вроде изначально под топологию и алгем заточена, нет ?

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


(Анонимно)
2017-10-14 03:56 (ссылка)
Изначально она заточена под теорию типов и проверку программ, гомотопии и алгем идут приятным бесплатным бонусом. Поскольку теория множеств в ней легко выразима, препятствие одно: людям лень писать код. Публиковать теоремы же приятнее, чем верифицировать их.

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


[info]maph33333.livejournal.com
2017-10-17 14:17 (ссылка)
А ссылки на эту работу Берман-Буксом-Эйсидьё-Гуэдж-Зериахи у вас нету?
Любопытно.

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


[info]apkallatu
2017-10-03 22:49 (ссылка)
и да, вот из свежего и актуального: весь технический аппарат, сопровождающий теорию адических пространств это какой-то ад кромешный, простите за каламбур.

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


[info]kaledin
2017-10-03 23:10 (ссылка)
Потому что Шольце молодой еще, и ему нравится применять зубодробительную технику (сам говорил). Собственно, я поэтому этого дела пока и не читал. Пусть они там разберутся сначала, приведут в божеский вид.

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


(Анонимно)
2017-10-03 23:41 (ссылка)
Дмитрий Борисович, а как на этапе знакомства сразу понять, любит ли девочка ебаться? Дайте совет.

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


[info]kaledin
2017-10-04 02:53 (ссылка)
Если ее имя кончается на mp4, то любит, а других тебе все равно не светит.

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


(Анонимно)
2017-10-04 17:14 (ссылка)
>Если ее имя кончается на mp4, то любит

Дмитрий борисович! а много ли вы знаете таких девочек?

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


(Анонимно)
2017-10-05 00:25 (ссылка)
.mp4 как enigma. enigma.mp4 с тысячью дисками. все придумано в рейхе

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


(Анонимно)
2017-10-05 18:08 (ссылка)
>Если ее имя кончается на mp4
Каледин не безнадежен оказывается.

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


(Анонимно)
2017-10-07 13:31 (ссылка)
А если на jpg? Например, вот эта:
http://bidla.net/uploads/posts/2015-11/thumbs/1448055515_6607433.jpg
Как вы думаете?

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


[info]azrt
2017-10-04 04:03 (ссылка)
> Разрешение особенностей и Калаби-Яу

http://www.ams.org/mathscinet/search/publdoc.html?pg1=INDI&s1=288958&sort=Newest&vfpref=html&r=26&mx-pid=1487237

А этого недостаточно на практике?

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


[info]kaledin
2017-10-04 04:59 (ссылка)
paywall

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


[info]azrt
2017-10-04 05:19 (ссылка)
Там статья
MR1487237 (99b:14016) Reviewed
Abramovich, D.(1-BOST); de Jong, A. J.(1-PRIN)
Smoothness, semistability, and toroidal geometry.
J. Algebraic Geom. 6 (1997), no. 4, 789–801.
14E15 (14E05 14L30)

Я её не читал, но вроде там утверждается, что используя альтерации можно доказать слабую форму теоремы Хиронаки.

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


[info]apkallatu
2017-10-04 14:31 (ссылка)
где-то может быть и достаточно

но куда деваться, когда *определения* понятий (терминальные особенности, например) начинаются с "возьмём разрешение особенностей"?

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


[info]tiphareth
2017-10-04 19:26 (ссылка)
там есть другое определение, в терминах интегрируемости формы объема
каноническая особенность - голоморфная форма объема интегрируема и те де

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


[info]kaledin
2017-10-04 19:34 (ссылка)
>и те де

И те де что?

Есть четыре выделенных класса особенностей (канонические, терминальные, лог-канонические, лог-терминальные), определяются через Хиронаку. Одно из четырех, возможно, можно интерпретировать через форму объема, но это, если и верно, не определение, а теорема (причем не очень полезная). Хиронака конечно не работает в char p, но размышления над "формой объема" в любом случае применимы только над C.

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


(Анонимно)
2017-10-04 19:36 (ссылка)
++++

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


[info]tiphareth
2017-10-04 21:35 (ссылка)

>но это, если и верно, не определение, а теорема
> причем не очень полезная

мальчик, девочка, какая разница
тебе лично может и не полезная, а люди работают

вот тут оно дается как определение (для лог-канонических и лог-терминальных пар)
http://wwwf.imperial.ac.uk/~jw2214/project1.pdf

>не очень полезная

не следить за наукой неполезно в первую очередь

я читал курс, где все эти особенности (которые иначе
все равно запомнить невозможно) определялиъ через пучки
мультипликаторов, при этом большинство теорем доказываются
много проще

>Одно из четырех, возможно, можно интерпретировать

да все можно, конечно, тут есть например
http://wwwf.imperial.ac.uk/~jw2214/project1.pdf

>но размышления над "формой объема" в любом случае применимы только над C.

KLT, PLT, LT и LC все можно переговорить без Хиронаки
http://www.ams.org/journals/jag/2002-11-02/S1056-3911-01-00306-X/
на той версии мультипликаторных идеалов, которая доступна в char=p
это, конечно, не вполне L^2-интегрируемость/мультипликаторы, но
для практических целей более-менее она

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


[info]kaledin
2017-10-04 22:00 (ссылка)
>вот тут оно дается как определение (для лог-канонических и лог-терминальных пар)
http://wwwf.imperial.ac.uk/~jw2214/project1.pdf

Даже не на архиве.

Ок, ок, пусть цветут все цветы, тысячи их.

>которые иначе все равно запомнить невозможно

Ну что ты не запомнил, я вижу.

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


[info]tiphareth
2017-10-04 22:57 (ссылка)
>Даже не на архиве.

это, есличо, research project
(гражрданин в этом году заканчивает аспирантуру, ищет постдок)
пересказывает общеизвестное, исходник мне искать лениво

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


[info]kaledin
2017-10-05 00:03 (ссылка)
Ну посмотрел на него, раз так. Молодежь надо уважать.

Озбор как обзор, плюс-минус аккуратный, таких много.

Определения терминальных, канонических, лог-терминальных и лог-канонических особенностей там разумеется нет.

>исходник мне искать лениво

Это ничего; хуже, что тебе лениво читать по собственным ссылкам.

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


[info]tiphareth
2017-10-05 03:59 (ссылка)
определение 2.3

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

(без темы) - [info]kaledin, 2017-10-05 04:38:38
(без темы) - [info]tiphareth, 2017-10-05 12:49:57
(без темы) - [info]kaledin, 2017-10-05 13:25:55
(без темы) - (Анонимно), 2017-10-05 18:51:09
(без темы) - [info]oort, 2017-10-06 14:25:42
(без темы) - [info]tiphareth, 2017-10-06 14:32:45
(без темы) - (Анонимно), 2017-10-06 15:56:14
(без темы) - [info]deevrod, 2017-10-05 15:50:38
(без темы) - [info]tiphareth, 2017-10-05 17:19:09
(без темы) - [info]deevrod, 2017-10-05 18:06:10
(без темы) - [info]kaledin, 2017-10-05 23:22:14
(без темы) - (Анонимно), 2017-10-14 05:07:17
(без темы) - [info]deevrod, 2017-10-17 04:51:43
(без темы) - [info]kaledin, 2017-10-05 04:42:40

[info]apkallatu
2017-10-05 18:24 (ссылка)
наверное вопрос вкуса, но мультипликаторные идеалы, если я правильно понимаю, в ту же цену, что и разные виды особенностей: есть как аналитическое определение, так и алгебраическое, и последнее первым делом берёт разрешение особенностей.

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


[info]kaledin
2017-10-07 16:51 (ссылка)
Нет, это разные вещи.

Мультипликаторные идеалы появились у Наделя в теореме об обращении в ноль, просто как поправочный сомножитель в формуле, без которого она неверна (почему они так и называются). Т.е. исходное определение аналитическое. Для вычислений оно плохо пригодно, поэтому быстро придумали алгебраическое определение, которое требует разрешения особенностей. Потом оказалось, что нечто в характеристике p, возникшее вообще из коммутативной алгебры, с мультипликаторным идеалом плюс-минус совпадает -- хотя точно сформулировать это трудно, потому что в char p разрешения нет. А также выяснилось, что мультипликаторный идеал связан с лог-каноническими и лог-терминальными особенностями и лог-каноническими порогами.

Сами же классы особенностей, как и MMP, были существенно раньше, и анализ там вообще ни при чем.

Собственно, и до сих пор MMP вещь чисто алгебраическая, анализ там впрямую не применяется (скажем, в статье BCHM никакого анализа и близко нет). Разговоры про то, что вот а сейчас мы применим анализ, да поток Риччи, да еще что-нибудь, ведутся уже лет 40, но до сих пор они аболютно ни о чем. Опосредованно анализ конечно применяется очень сильно -- через vanishing theorems и подобное. В принципе, у большинства таких теорем сейчас есть два доказательства, одно аналитическое, другое через char p, но у некоторых есть только аналитическое, а у некоторых только через char p. На практике, понятное дело что нужно и то, и другое, а базовая наука при этом остается чисто алгебраической. Никакой версии MMP в комплексной геометрии, например, нет, и вряд ли будет (что-то есть, но существенно более слабое).

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


(Анонимно)
2017-10-07 17:30 (ссылка)
++

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


[info]tiphareth
2017-10-07 17:55 (ссылка)
>Никакой версии MMP в комплексной геометрии, например, нет

Да есть же
https://arxiv.org/pdf/1701.01653

Abstract. We describe the recently established minimal model program for
(non-algebraic) K¨ahler threefolds as well as the abundance theorem for these spaces.

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


[info]kaledin
2017-10-07 18:00 (ссылка)
>for (non-algebraic) K¨ahler threefolds

Для сравнения: алгебраическая MMP в размерности 3 была полностью закончена году так к 85му.

Т.е. ровно как я сказал: что-то есть, но сильно меньше и сильно позже.

Я не понимаю, нафиг тебе с таким упорством отрицать банальности. Но дело твое.

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


(Анонимно)
2017-10-07 19:18 (ссылка)
+++

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


[info]apkallatu
2017-10-08 18:38 (ссылка)
спасибо за проясняющий комментарий.

> нечто в характеристике p, возникшее вообще из коммутативной алгебры

это речь про Frobenius splitting и test ideals?

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

(без темы) - [info]kaledin, 2017-10-08 20:31:38
(без темы) - [info]tiphareth, 2017-10-08 22:50:11
(без темы) - [info]kaledin, 2017-10-09 02:05:03
(без темы) - [info]tiphareth, 2017-10-09 12:54:18
(без темы) - [info]kaledin, 2017-10-09 13:52:28
(без темы) - [info]tiphareth, 2017-10-09 15:06:08
(без темы) - [info]kaledin, 2017-10-09 15:29:20
(без темы) - [info]tiphareth, 2017-10-09 16:02:24
(без темы) - [info]kaledin, 2017-10-09 16:56:32
(без темы) - [info]kaledin, 2017-10-09 17:00:10
(без темы) - [info]tiphareth, 2017-10-09 19:15:23
(без темы) - [info]kaledin, 2017-10-09 20:51:44
(без темы) - [info]tiphareth, 2017-10-09 23:08:30
(без темы) - [info]deevrod, 2017-10-09 23:11:46
(без темы) - [info]tiphareth, 2017-10-09 23:31:44
(без темы) - [info]deevrod, 2017-10-10 01:20:59
(без темы) - (Анонимно), 2017-10-10 01:55:31
(без темы) - [info]tiphareth, 2017-10-10 03:03:12
(без темы) - [info]deevrod, 2017-10-10 03:17:22
(без темы) - [info]oort, 2017-10-10 09:19:59
(без темы) - [info]kaledin, 2017-10-10 14:20:10
(без темы) - [info]tiphareth, 2017-10-10 16:12:35
(без темы) - [info]kaledin, 2017-10-10 21:19:54
(без темы) - [info]kaledin, 2017-10-09 23:20:20
(без темы) - [info]tiphareth, 2017-10-09 23:30:26
(без темы) - [info]kaledin, 2017-10-09 23:44:39
(без темы) - [info]tiphareth, 2017-10-10 03:14:39
(без темы) - [info]kaledin, 2017-10-10 14:11:31
(без темы) - [info]kaledin, 2017-10-09 23:22:12
(без темы) - [info]apkallatu, 2017-10-13 14:27:15
(без темы) - [info]kaledin, 2017-10-09 17:04:53
(без темы) - [info]der_kluge_star, 2017-10-10 11:04:51
(без темы) - [info]kaledin, 2017-10-10 14:12:34
(без темы) - [info]deevrod, 2017-10-10 18:22:02
(без темы) - (Анонимно), 2017-10-08 23:27:03

[info]azrt
2017-10-04 21:31 (ссылка)
Я плохо знаю как работает определения терминальных особенностей, но статья выше доказывает наличие разрешения особенностей в хар 0. (Это не статья про альтерации)

Они доказывают следующий факт:
Пусть X -- многообразие над алгебраически замкнутым полем k характеристики 0, и Z \subset X замкнутое подмножество, тогда существует модификация (собственный, бирациональный морфизм) f:X' \to X, такой что X'--гладкое многообразие и f^{-1}(Z)_{red} дивизор с нормальным пересечением.

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

Если я понимаю что-то неправильно, то поправьте меня.

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


[info]kaledin
2017-10-04 22:05 (ссылка)
>она не утверждает, что f может быть получено как последовательность раздутий в гладких центрах

Не-не, там хуже проблема: там нет контроля над кратностями компонент ({red} в формуле). Поэтому для вычисления дискрепантностей и пр. оно применимо плохо.

Были еще тексты Богомолова-Пантева на ту же тему, и того же примерно времени -- действительно, после того, как де Йонг придумал альтерации и что полезно смотреть на универсальную кривую, стало понятно, что такую ослабленную форму Хиронаки можно внятно доказать тем же методом. Но этого не хватает.

Я-то грешным делом один раз использовал не только Хиронаку, а еще и каноническое разрешение (Бирстоун-Мильман, Энсинас-Вийямайор и т.д.) Никак иначе не получалось -- нужно было разрешение, на которое поднимаются векторные поля с базы.

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


[info]apkallatu
2017-10-05 18:22 (ссылка)
> Не-не, там хуже проблема: там нет контроля над кратностями компонент ({red} в формуле).

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

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


[info]kaledin
2017-10-07 17:00 (ссылка)
Ок, сам запутался, спросил у эксперта (у Тони). В общем, ситуация такая. У Хиронаки тоже кратности, но они в каком-то смысле контролируемые. Здесь они совершенно не контролируемые. Более того, образ исключительного множества может быть сильно больше, чем сингулярный локус. Т.е. что "последовательность раздутий с гладкими центрами в сингулярном локусе" само по себе не критично, но имеет практические следствия типа вот этого вот контроля за кратностями. Ну и оно совершенно не каноническое, т.е. эквивариантное разрешение, например, так не получить (а из Хиронаки его получили).

Однако же чисто формально, для определения типов особенностей например, разрешение Богомолова-Пантева вполне годится (и Абрамовича-де Йонга тоже, оно формально другое, но похожее). Т.е. если бы оно было в char p, например, это бы сильно помогло. Однако там в последний момент требуется убивать какое-то там ветвление, и это работает только в char 0.

State-of-the-art по состоянию на 2005 есть в обзоре Коллара, arXiv:math/0508332, и с тех ничего существенного не поменялось. Коллар пишет, что на самом деле доказательство Хиронаки сейчас уже сильно упростили и улучшили, и все реально рассказать за 2 недели в конце аспирантского курса по алг. геометрии (конкретно он имеет в виду доказательство Влодарчика). Но я не читал, так что сам не знаю.

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


[info]deevrod
2017-10-05 22:52 (ссылка)
Ньюлэндер -- Ниренберг ещё.

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


[info]kaledin
2017-10-06 02:29 (ссылка)
Там как раз все понятно вроде бы.

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


[info]polytheme
2017-10-04 00:23 (ссылка)
вот, кстати, вопрос - надо ли было Белому доказывать
теорему Белого, техническим трюком, или детские рисунки
и так бы понялись и концептуализировались ?

говорят, Гротендик очень воодушевился этим результатом.

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


[info]kaledin
2017-10-04 02:52 (ссылка)
Там нет никакого технического трюка, и неважно совершенно, как оно доказывается -- важно, что оно вообще есть. Это просто открытие, совершенно штучный товар. Такая же еще жесткость Суслина.

Из молодых, такого сорта вещи умеет находить Бхатт (меньшего масштаба разумеется, но зато регулярно).

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


[info]polytheme
2017-10-04 03:33 (ссылка)
надо посмотреть в книжке Ландо наконец, там вроде все просто, про трюк я прочитал где-то то ли у Манина, то ли ещё у кого.

в том же тексте, как я помню, было написано, что Гротендик начал рисовать графы на поверхностях в связи с Gal(\bar{Q}/Q) раньше, чем эта теорема появилась, и доказательство неочевидно, но наличие доказанного факта Гротендика крайне вдохновило.

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

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


[info]polytheme
2017-10-04 03:33 (ссылка)
P.S. у самого Белого же доказательств минимум два

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


(Анонимно)
2017-10-05 11:17 (ссылка)
Гомер??
И сюда дотянулся, толстяк.

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


(Читать комментарии) -