polytheme: ПИЗДЕЦ (слоупок проснулся)

ПИЗДЕЦ (слоупок проснулся)
https://arxiv.org/abs/1610.09366

87 лет чуваку. ебать.

Заодно ознакомился с вопросом некоего Misha Verbitsky по поводу построения комплексной
структуры на S⁶ неким Габором Этези.

Удивительно вообще, доказательство занимает одну страницу и ни одной формулы,
на википедии оно фигурирует, как сделанный результат, ни одной ссылки
(кроме ещё одной работы Атьи с учеником) на эту статью нет, в совокупности
это ультрачарующе.

Интересно, что думает про это некий Misha Verbitsky.

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

	apkallatu 2017-01-03 07:33 (ссылка)
	> в общем, кампф Воеводского в общих чертах понятен. а мне не понятно, чем понятен. может пояснишь? (Ответить) (Уровень выше) (Ветвь дискуссии)

polytheme
2017-01-03 07:50 (ссылка)

ну как, Воеводский очень беспокоился, вдруг где-то у него в доказательстве гипотезы Блоха дырка (а ведь они наверняка там есть, другой вопрос, уничтожают ли они доказательство), и вся жизнь прошла зря. вот тут мы имеем довольно выпуклый пример: про S⁶ существует множество доказательств, что на нём нет комплексных структур, а также построения этих комплексных структур на S⁶ в количестве наличествуют. если бы существовал chess-like помогатель, способный хотя бы эти дырки отчетливо обводить вокруг красным, дабы все видели: ага, ну это, более-или менее, очевидно; или - ой, а это мне не пришло в голову - совсем даже другие были бы порядки (реалистичности создания такого помогателя я не касаюсь за некомпетентностью, заметь - но мне кажется, что Воеводский движется в эту сторону).

случая Атьи это, вероятно, не касается (и очень жаль, если так), но в раскладах по типу "мемуара Дюлака" самое оно, по-моему (хотя он толстый вроде). нужен, конечно, именно assistant, а не checker.

по-простому, я бы не пожалел полчаса, чтобы прогнать через assistant утверждение, что точки некомпактного сепарабельного многообразия - это в точности подпространство максимального спектра с полем вычетов R (если я не ошибаюсь памятью, это ты выразил сомнения по поводу); не важно, что это задача из Милнора-Сташефа, ошибки бывают и у мастеров.

причем какие-то успехи в этом направлении есть, правда, не у Воеводского и про checker: например, теорема Фрейденталя формально проверена про гомотопические группы сфер, это, как мне всегда казалось, не вполне тривиальное геометрическое рассуждение.

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

	apkallatu 2017-01-04 13:25 (ссылка)
	всё-таки статьи про комплексную структуру на S^6 это другой порядок сложности можно и без помогатора (Ответить) (Уровень выше)

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