Dmitri Pavlov — K-theory: topological, differential, twisted
We will review various models and definitions for K-theory, including differential K-theory and twisted K-theory.
Quantum Homotopy Seminar (31.08, 21:00 UTC+03)

Ссылка на Zoom доступна на форуме сообщества (напишите сюда, чтобы присоединиться)
Вы можете также написать Дмитрию (по почте указанной на сайте), если хотите подключиться к рассылке семинара.

Никита Голубь — «Карта модельных категорий | Лекция 7»
11 ноября, 15:00 | ПОМИ РАН, 311

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

Ссылка на плейлист с записями курса

Ссылка на Zoom-трансляцию. За курсом можно следить (в том числе спросить пароль трансляции) на форуме сообщества (отправьте модераторам сообщение с помощью бота, чтобы присоединиться)

Аршак Айвазьян — «∞-топосы»
11 ноября, 17:00 | Онлайн-cеминар «Абстрактная теория гомотопий и приложения»

Понятие бесконечность топоса Гротендика: внутренняя и внешняя характеризация, теорема Жиро–Резка–Лури

Ссылка на плейлист с записями семинара

Ссылка на zoom-трансляцию. За курсом можно следить (в том числе спросить пароль трансляции) на форуме сообщества (отправьте модераторам сообщение с помощью бота, чтобы присоединиться)

UPD. Доклад перенесен на 23 ноября, 16:30.

Dmitri Pavlov — «Functorial Field Theory | Lecture 4»
12 ноября, 19:00 (UTC +03) | Онлайн-курс

Плейлист с записями курса

Страница курса с описанием и программой

Zoom-трансляция. Пароль доступен здесь (это ссылка на сообщение на форуме сообщества — напишите нам с помощью бота, чтобы присоединиться) или его можно спросить по почте у Дмитрия (см. на странице курса)

Сегодня (24 января) в 21:00 по московскому времени (UTC+03) первое (организационное) собрание Quantum Homotopy Seminar.

В этом семестре мы будем изучать статью

Grigorios Giotopoulos, Hisham Sati. Field Theory via Higher Geometry I: Smooth Sets of Fields
arxiv.org/abs/2312.16301

The physical world is fundamentally: (1) field-theoretic, (2) smooth, (3) local, (4) gauged, (5) containing fermions, and last but not least: (6) non-perturbative. Tautologous as this may sound, it is remarkable that the mathematical notion of geometry which reflects all of these aspects – namely, as we will explain: “supergeometric homotopy theory” – has received little attention even by mathematicians and remains unknown to most physicists. Elaborate algebraic machinery is known for perturbative field theories, but in order to tackle the deep open questions of the subject, these will need to be lifted to a global geometry of physics.

Our aim in this series is, first, to introduce inclined physicists to this theory, second to fill mathematical gaps in the existing literature, and finally to rigorously develop the full power of supergeometric homotopy theory and apply it to the analysis of fermionic (not necessarily super-symmetric) field theories.

To warm up, in this first part we explain how classical bosonic Lagrangian field theory (variational Euler-Lagrange theory) finds a natural home in the “topos of smooth sets”, thereby neatly setting the scene for the higher supergeometry discussed in later parts of the series. This introductory material will be largely known to a few experts but has never been comprehensively laid out before. A key technical point we make is to regard jet bundle geometry systematically in smooth sets instead of just its subcategories of diffeological spaces or even Frechet manifolds – or worse simply as a formal object. Besides being more transparent and powerful, it is only on this backdrop that a reasonable supergeometric jet geometry exists, needed for satisfactory discussion of any field theory with fermions.

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

Dmitri Pavlov — «Functorial Field Theory | Lecture 13»
28 января, 18:00 по московскому времени (UTC+03) | Онлайн

О курсе:

The initial goal is to understand the statement of the geometric cobordism hypothesis, including the relevant background material in homotopy theory. Additional goals include constructing elementary examples of functorial field theories using GCH. Further goals include looking at more advanced examples, including geometric factorization homology.

В предыдущих лекциях:

Lecture 1: Introduction.

Lecture 2-4: Functor of points: smooth sets. C^∞-rings.

Lecture 5: Sheaves.

Lecture 6: Stacks.

Lecture 7: Čech nerves and cocycle data.

Lecture 8: Homotopy categories and categories of fractions. Sheaves of sets as a category of fractions.

Lecture 9: Homotopy theory. Simplicial sets. Nerves of categories, classifying spaces of monoids.

Lecture 10: Model categories. Transferred model structures. Model structures on simplicial presheaves.

Lecture 11: Left Bousfield localizations.

Lecture 12: Local model structures on simplicial presheaves.

Плейлист с записями.

Страница курса на сайте Дмитрия с описанием, программой и литературой.

Zoom-трансляция. Пароль доступен здесь (это ссылка на сообщение на форуме сообщества — напишите нам с помощью бота, чтобы присоединиться) или его можно спросить по почте у Дмитрия (см. на странице курса)

Quantum Homotopy Seminar: сегодня (31 января) в 21:00 (по московскому времени) первый доклад

JJ Hoo -- Bosonic field spaces as smooth sets

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

Сегодня (13 февраля) в 19:00 по московскому времени первая встреча в этом семестре Texas Tech Topology and Geometry Seminar.

Grigorios Giotopoulos (NYU Abu Dhabi) — Smooth sets as a convenient setting for Lagrangian field theory

In this talk, I will indicate how the sheaf topos of smooth sets serves as a sufficiently powerful and convenient context to host classical (bosonic) Lagrangian field theory.
As motivation, I will recall the textbook description of variational Lagrangian field theory, and list desiderata for an ambient category in which this can rigorously be phrased. I will then explain how sheaves over Cartesian spaces naturally satisfy all the desiderata, and furthermore allow to rigorously formalize several more field theoretic concepts. Time permitting, I will indicate how the setting naturally generalizes to include the description of (perturbative) infinitesimal structure, fermionic fields, and (gauge) fields with internal symmetries. This is based on joint work with Hisham Sati.

Обратите внимание, что это автор статьи, которая изучается сейчас на Quantum Homotopy Seminar.

Ссылка на Zoom доступна здесь (это сообщение на форуме сообщества -- напишите сюда, чтобы присоединиться).

Nikita Golub - Introduction to Gravity
Online | English

В этом курсе мы погрузимся в важный аспект фундаментальной физики — теория гравитации и в связанные с ней проблемы. Почему гравитация была головной болью на протяжении уже нескольких веков? Заметим, что теория Эйнштейна (или аналогичные теории гравитации в обобщенной геометрии) обладают топологической некорректностью, что является одним из концептуальных препятствием к согласованию гравитации с квантовой теорией. Некорректность означает, что при рассмотрении теорий поля взаимодействующих с гравитацией и обладающих нетривиальным топологическим классом, только решая локально уравнения Эйнштейна мы не можем склеить глобально геометрию на пространстве.
Записав гравитацию внутри формализма когезивных топосов увидим, как эта проблема разрешается с помощью поднятия гравитации до параметризованной теории поля.

План курса

1. Сеттинг когезивных топосов как язык физики
2. Основы — классическая теория поля
3. Что такое процедура квантования?
4. Башня Уайтхеда ортогональной группы и как из неё получается весь спектр М-теории?
5. Что такое общековариантный контекст и как Эйнштейн пришел к своей общей теории относительности?
6. Поймем, что гравитация и взаимодействие полей с ней имеет место в старших геометриях Картана. За счет чего мы опишем множество других теорий гравитаций: супергравитация, гетеротическая теория струн в 11d, (Анти-) де Ситтеровская гравитация, гравитация Эйнштейна и др.
7. Обсудим квантование гравитации и почему уже 100 лет проблема не решена, несмотря на многие прорывы в виде М-теории и теории струн. Что произошло в последние пару лет в этом направлении и почему, наоборот, нужно смотреть на гравитацию как на что-то в себе, к чему не нужно применять известные процедуры квантования для согласования с квантовой теорией?

В курсе лекций сделаем вклад в это направление.

8. Поставим и решим (!) задачу о поиске формализма для гравитации внутренне в когезивных топосах. Это приведет к тому, что, например, теории гравитации, такие как общая теория относительности станут тем, что мы называем параметризованными теориями поля, что разрешит топологическую некорректность теорий гравитации. В сущности это означает, что гравитационная часть лагранжиана гравитации с полями зависит от топологического класса теории поля на пространстве.
9. Изучим следствия на примерах из космологии и др теорий.

Nikita Golub — «Introduction to Gravity | Lecture 1»
29 марта в 17:00 | Online | English

В первые занятия создадим представление, что такое классическая теория поля, обсудим основные принципы современной физики: калибровочный принцип, принцип локальности и принцип суперпозиции; процедуру квантования и самое главное, что же такое гравитация, и в чем состоит проблема согласования ее с квантовой теорией. Обсудим соответствия физических понятий и конструкций в разных типах топосов.

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

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

Texas Tech Topology and Geometry Seminar: сегодня (26 марта) в 23:30 (по московскому времени)

Pelle Steffens (Technische Universität München) — Differential geometric PDE moduli spaces: derived enhancements, ellipticity and representability

All sorts of algebro-geometric moduli spaces (of stable curves, stable sheaves on a CY 3-folds, flat bundles, Higgs bundles...) are best understood as objects in derived geometry.

Derived enhancements of classical moduli spaces give transparent intrinsic meaning to previously ad-hoc structures pertaining to, for instance, enumerative geometry and are indispensable for more advanced constructions, such as categorification of enumerative invariants and (algebraic) deformation quantization of derived symplectic structures.

I will outline how to construct such enhancements for moduli spaces in global analysis and mathematical physics, that is, solution spaces of PDEs in the framework of derived C^∞ geometry and discuss the elliptic representability theorem, which guarantees that, for elliptic equations, these derived moduli stacks are bona fide geometric objects (Artin stacks at worst).

If time permits some applications to enumerative geometry (symplectic Gromov-Witten and Floer theory) and derived symplectic geometry (the global BV formalism).

Обратите внимание на такие работы докладчика как Derived C^∞-Geometry I: Foundations (2023)

Ссылка на Zoom доступна здесь (это сообщение на форуме сообщества -- напишите сюда, чтобы присоединиться).

В субботу (13 апреля) в 16:00 в 201 ауд. (14 линия В.О., дом 29Б) и в Zoom канале ID 812-916-426 (пароль стандартный, спросить у @ilya_s_alekseev):

«Теории когомологий и бесконечнократные пространства петель»
Вася Ионин

С каждым пространством X можно связать теорию когомологий Hom(-, X). Мы покажем, что так получаются все теории когомологий на гладких многообразиях, которые (а) гомотопически инвариантны; (б) удовлетворяют аксиоме склейки. Также мы покажем, что если пространство X является бесконечнократным пространством петель, то эта теория когомологий автоматически оснащается некоторой дополнительной структурой (конечными этальными трансферами), что приведёт к ещё одному решению задачи распознавания бесконечнократных пространств петель.

Специальных знаний от слушателей не предполагается, все термины из аннотации будут определены на докладе!

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