Гауссова кривизна – характеристика поверхности в точке, не меняющаяся при (изометрических, т. е. сохраняющих расстояния) изгибаниях поверхности. Знание этого понятия помогает при поедании пиццы (статья «Ломтик пиццы»), понимании картографических проекций (фильмы серии «Картографические проекции» и статья «Картографические проекции»), понимании, почему футбольный мяч составляют из разных панелей (статья «Футбольный мяч»).

Познакомиться с понятием гауссовой кривизны геометрически можно в новом сюжете «Гауссова кривизна» https://etudes.ru/etudes/Gaussian-curvature/ проекта «Математические этюды».

Открытая лекция

«Гипотеза о восстановлении графов: от классики до последних результатов»
Д. Карпов

25 декабря в 17:00
Наб. р. Фонтанки, 27, ауд. 311

Колода графа G — это набор D(G) из всех графов, которые получаются из G удалением одной его вершины. В 1957 году П. Келли предположил, что граф на хотя бы 3 вершинах восстанавливается по его колоде. Это утверждение, до сих пор в общем случае не доказанное, и называется Гипотезой о восстановлении графов. Будет рассказано о классических и современных результатах по гипотезе, а также о том, где может быть возможность для дальнейших продвижений.

Как понять лемму Йонеды

Изучая сложную тему, легко увязнуть в деталях и не увидеть лес за деревьями. Лемма Йонеды из теории категорий — идеальный пример. Но её изучение можно превратить из зубрёжки в увлекательное путешествие, если следовать структуре таксономии Блума.

А если хотите настоящей эффективности, сразу начинайте с пятого уровня и спускайтесь к первому!

Вот как может выглядеть освоение на каждом уровне:

Уровень 1: запоминание

Выучите формулу Nat(Hom(-, X), F) ≅ F(X) и значение всех используемых в ней символов

Запомните, что правило X→Hom(X,-) задает вложение C^op→Set^C в категорию предпучков

Уровень 2: понимание

• Объясните своими словами. Например:

Лемма (вложение) Йонеды утверждает, что объект любой категории полностью определяется информацией о том, как в него отображаются все остальные объекты

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

• Проложите мосты, придумайте аналогии, подберите метафоры:

Скажи мне, кто твой друг, и я скажу, кто ты

Уровень 3: применение

Выведите из леммы теорему Кэли в теории групп

Выведите из леммы свойство вложения

Докажите лемму Йонеды

Уровень 4: анализ

Проанализируйте, какую роль играет условие естественности преобразования

Сравните ковариантную и контравариантную версии

Сравните лемму Йонеды с концепцией универсальных свойств

Уровень 5: оценка

На какой исследовательский вопрос отвечает лемма Йонеды?

Как в примере симплициальной категории (объекты: конечные ординалы; морфизмы: монотонные функции) утверждение леммы начинает играть новыми красками (вложение в категорию симплициальных множеств) и становится очевидным?

Является ли лемма Йонеды тривиальной, если её доказательство состоит всего из нескольких строк?

Насколько убедительно утверждение, что в математике объект определяется своими взаимоотношениями с другими объектами? Оцените философскую значимость леммы Йонеды

Проанализируйте роль и использование леммы Йонеды в контексте теории топосов

Уровень 6: синтез

Разработайте новый пример категории и функтора из этой категории в Set, который был бы непредставимым. Используя лемму Йонеды, постройте естественное преобразование из представимого функтора в ваш непредставимый функтор и опишите, какую информацию о структуре вашей категории это преобразование выявляет

Подумайте, можно ли в лемме Йонеды заменить категорию Set на другие обогащённые категории. Какие новые трудности возникают в этом случае?

Как может выглядеть версия леммы Йонеды для ∞-категорий?

Представьте, что вы разрабатываете курс по теории категории для начинающих математиков. Составьте образовательную траекторию, где кульминацией будет собственное открытие леммы Йонеды студентами

Придумайте способ визуализации леммы Йонеды (например, через диаграммы или геометрические образы)

Лемма Йонеды описывает морфизмы из представимого функтора. Исследуйте двойственное гипотетическое утверждение («лемму ко-Йонеды») о том, как морфизмы из объекта в объект сводятся к морфизмам из представимого функтора

Как бы вы стали объяснять лемму Йонеды? Делитесь в комментариях!

Художественный фильм «Не узел»

00:00 Определение узлов и зацеплений
02:18 Теорема Гордона—Люке о дополнении узла
03:20 Геометрия конических особенностей
04:38 Фундаментальная область
06:50 Переход от конуса к цилиндру
07:45 Дополнение колец Борромео
09:19 его фундаментальная область
10:56 переход к гиперболическому додекаэдру
13:23 истинное обличие
14:21 Жесткость Мостова—Прасада и геометризация Тёрстона

Также смотрите: «Флатландия» и «Форма пространства»

(источник + перевод)