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 является бесконечнократным пространством петель, то эта теория когомологий автоматически оснащается некоторой дополнительной структурой (конечными этальными трансферами), что приведёт к ещё одному решению задачи распознавания бесконечнократных пространств петель.

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

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

Texas Tech Topology and Geometry Seminar: сегодня (16 апреля) в 18:00 (по московскому времени)

Adrian Clough (New York University Abu Dhabi) -- Homotopical calculi and the smooth Oka principle

I will present a new proof of Berwick-Evans, Boavida de Brito, and Pavlov’s theorem that for any smooth manifold A, and any sheaf X on the site of smooth manifolds, the mapping sheaf Hom(A,X) has the correct homotopy type. The talk will focus on the main innovation of this proof, namely the use of test categories to construct homotopical calculi on locally contractible ∞-toposes. With this tool in hand I will explain how a suitable homotopical calculus may be constructed on the ∞-topos of sheaves on the site of smooth manifolds using a new diffeology on the standard simplices due to Kihara. The main theorem follows using a similar argument that for any CW-complex A, and any topological space X the set of continuous maps Hom(A,X) equipped with compact-open topology models the mapping-homotopy-type map(A,X).

Доклад основан на статье The homotopy theory of differentiable sheaves (2023)

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

From Analysis to Homotopy Theory, конференция 13-17 мая в Грайсфальде (Германия).

Регистрация открыта, см. сайт конференции, с расписанием, аннотациями и другой информацией.

Speakers

Denis-Charles Cisinski (Universität Regensburg)
Alexander Engel (Universität Greifswald)
David Gepner (Johns Hopkins University)
Fei Han (National University of Singapore)
Daniel Kasprowski (University of Southampton)
Markus Land (LMU München)
Clara Löh (Universität Regensburg)
Matthias Ludewig (Universität Regensburg)
Dmitri Pavlov (Texas Tech University)
Paolo Piazza (Sapienza Universita` di Roma)
Thomas Schick (Universität Göttingen)
Stephan Stolz (University of Notre Dame)
Georg Tamme (Universität Mainz)
Peter Teichner (Max Planck-Institut für Mathematik)
Andreas Thom (TU Dresden)
Charlotte Wahl (Gottfried Wilhelm Leibniz Bibliothek, Hannover)
Katrin Wendland (Trinity College Dublin)
Christoph Winges (Universität Regensburg)

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

Darrick Lee (University of Oxford) -- Characterizing paths and surfaces via (higher) holonomy

Classical vector valued paths are widespread across pure and applied mathematics: from stochastic processes in probability to time series data in machine learning. Parallel transport of such paths in principal G-bundles have provided an effective method to characterise such paths. In this talk, we provide a brief overview of these results and their applications. We will then discuss recent work on extending this framework to characterizing random and possibly nonsmooth surfaces using surface holonomy. This is based on joint work with Harald Oberhauser.

Статья: Darrick Lee, Harald Oberhauser -- Random Surfaces and Higher Algebra

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

Вася Ионин — «Нестабильная теория гомотопий»
Оффлайн (Петербург, МКН) и онлайн (ID Zoom-канала 933-271-498, пароль стандартный, спросить у @jusanagi)

▪️Плейлист с записями.
▪️За курсом можно следить на форуме сообщества (отправьте модераторам сообщение с помощью бота, чтобы присоединиться).

Первая встреча состоится завтра (6 сентября) в 17:00

Можно считать, что этот курс — продолжение классического курса по теории гомотопий. Цель курса — научиться техникам, позволяющим получать качественную информацию про гомотопические типы.

Среди ярких теорем, которые мы докажем, можно выделить следующие:

Теорема Серра. Все гомотопические группы сфер конечны, кроме π_n(S^n) и π_{4n-1}(S^{2n}).

Теорема Серра. У односвязного конечного клеточного комплекса с ненулевыми приведенными гомологиями есть бесконечно много ненулевых гомотопических групп.

Теорема Джеймса. 4^n убивает 2-примарное кручение в π_*(S^{2n+1}).

Теорема Тоды. p^{2n} убивает p-примарное кручение в π_*(S^{2n+1}) для нечетных простых p.

Подробная программа в комментариях.

Виктор Лаврухин — «Стабильная теория гомотопий»
Оффлайн (Петербург, МКН) и онлайн (ID Zoom-канала 933-271-498, пароль стандартный, спросить у @jusanagi)

▪️Плейлист с записями.
▪️За курсом можно следить на форуме сообщества (отправьте модераторам сообщение с помощью бота, чтобы присоединиться).

Первая встреча состоится завтра (6 сентября) в 18:45

Центральными объектами изучения стабильной теории гомотопий являются категория спектров Spectra и её локализация, стабильная гомотопическая категория SH.

Категория SH имеет огромное значение для алгебраической топологии, гомологической и гомотопической алгебры.

Во-первых, категория SH содержит категорию "пространств с точностью до сколь угодно большой надстройки", поэтому позволяет выделять свойства пространств, стабильные, относительно действия функтора Σ.

Во-вторых, объекты SH представляют теории когомологий, а морфизмы описывают операции между ними (по теореме Брауна о представимости).

Наконец, категория Spectra в некотором смысле является аналогом категории цепных комплексов над кольцом Ch(R).

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

Подробная программа в комментариях.

Борис Шойхет — «Алгебра и теория гомотопий» | Оффлайн (311 аудитория ПОМИ) и онлайн

▪️Страница курса (пожалуйста, регистрируйтесь).
▪️Записи будут выходить на этом YouTube-канале.
▪️За курсом можно следить в этой Telegram-группе.

Первая встреча состоится 14 сентября в 16:00!

Мы обсудим различные сюжеты связанные с алгебраическим описанием гомотопического типа n-кратных пространств петель. Мы начнем с изложения работы Мэя, в которой дается характеризация n-кратных пространств петель в терминах действия операды маленьких дисков E_n. Более того, строится явное распетливание, то есть пространство Y такое что данное пространство X с действием операды E_n и некоторым условием на π_0 слабо гомотопически эквилентно n-кратному пространству петель Ω^n(Y), с помощью монадной бар-конструкции.

Далее планируется обсудить подход Сигала к той же задаче через Γ-пространства, групповое пополнение, и доказательство Сигала теоремы Барратта-Придди-Квиллена. А также категоризацию распетливания Сигала по Томасону.

Подробная программа в комментариях.

Андрей Дружинин — «Мотивная геометрия» | Оффлайн (МКН) и онлайн

▪️Плейлист с записями.
▪️За семинаром можно следить в Telegram-группе.

Семинар проходит по субботам в 12:00. Запись первой встречи уже выложена на YouTube!

О семинаре

Семинар формально посвящён в первую очередь конструкциям и описаниям мотивных гомотопических категорий, в которых представимы различные классы теорий когомологий на категориях схем. Мотивная теория гомотопий, служит как аналог топологической теории гомотопий применительно к алгеброгеометричесим многообразиям/схемам и соответствующим теориям когомологий, как алгебраическая К-теория. Эта теория воплощает видение гомотопической природы в алгеброгеометрических и теоретико-числовых объектах, конструкциях, законах, и иногда не официально именуется "мотивной геометрией". Мы будем делать акцент на слиянии алгеброгеометрических данных и техник со средствами теории категорий и теории гомотопий, и "гомотопической логики".

Классическая область исследования для мотивно-гототопических методов — это так называемые А1-инвариантные теории, примером которых служат группы Пикара и старшие когомологии Зарисского группы Gm, а также l-адические когомологии. Начало семинара будет посвящено сопоставлению А1-инвариантного подхода с исследованием более широкого класса так называемых box-инвариантных теорий, примером которых являются когомологии де Рама. Дальнейшая часть предполагает ориентацию в сторону наложения более ограничительных условий чем А1- и box-инвариантность для изучения свойств таких как точность комплексов Герстена и законы взаимности в смешанной характеристике, или иных теоретико-числовых задач.

Семинар Лаборатории алгебраической геометрии: сегодня (10 января) в 17:30, аудитория 306, матфак ВШЭ

Андрей Окуньков — Спектральный анализ рядов Эйзенштейна

Мой рассказ будет неформальным введением в наши работы с Кажданом посвященные описанию спектра операторов Лапласа и Гекке в рядах Эйзенштейна.

Будет видеозапись доклада.

Texas Tech Quantum Homotopy Seminar: сегодня (22 января) в 21:00 (по московскому времени)

Dmitri Pavlov (TTU) -- Differential geometry of the Standard Model of Particle Physics

I will give a very brief introduction to the topic and we will assign talks for the semester.

The time slot for the seminar may also be changed at the first meeting if there is an agreement among participants.

Некоторая литература уже указана на странице семинара.

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

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

Lukas Müller (Perimeter Institute) -- A Higher Spin Statistics Theorem for Invertible Quantum Field Theories

The spin-statistics theorem asserts that in a unitary quantum field theory, the spin of a particle—characterized by its transformation under the central element of the spin group, which corresponds to a 360-degree rotation—determines whether it obeys bosonic or fermionic statistics. This relationship can be formalized mathematically as equivariance for a geometric and algebraic action of the 2-group BZ_2. In my talk, I will present a refinement of these actions, extending from BZ_2 to appropriate actions of the stable orthogonal group O, and demonstrate that every unitary invertible quantum field theory intertwines these O-actions.

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

Learning Seminar Derived Algebraic Geometry

Стартует 2-го апреля в 16:00 (по Москве). Первый докладчик -- Денис Гайцгори.

The primary focus of this seminar is to read and study Gaitsgory and Rozenblyum’s «A Study in Derived Algebraic Geometry»

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

На картинке выше Денис Гайцгори и Сэм Раскин, возглавлявшие команду из девяти человек, которая доказала геометрическую гипотезу Ленглендса в мае 2024.

https://www.quantamagazine.org/monumental-proof-settles-geometric-langlands-conjecture-20240719/

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

Urs Schreiber (NYU Abu Dhabi) — Non-Lagrangian construction of abelian CS/FQH-theory via flux quantization in 2-Cohomotopy.

After briefly recalling how the analog of Dirac charge quantization in exotic (effective, higher) gauge theories, providing their global topological completion, is encoded in a choice of classifying space 𝒜 whose rationalization reflects the flux Bianchi identities, I explain how the choice 𝒜 ≔ S^2 (“flux quantization in 2-Cohomotopy”) implements effective corrections to ordinary Dirac flux quantization, which over surfaces yields exactly the topological quantum observables of fractional quantum Hall systems, traditionally described by abelian Chern-Simons theory. I close by briefly indicating how this situation is geometrically engineered on probe M5-branes if the M-theory C-field is flux-quantized in 4-Cohomotopy (“Hypothesis H”). This is joint work with Hisham Sati; for more pointers see on nlab

Урс Шрайбер — это человек, который
— создал nlab и рекордное количество страниц на нём,
— написал 1000-страничную книгу Differential cohomology in a cohesive infinity-topos (2013, 2017),
— разработал программу исследования гипотезы H, о математической формулировке M-теории (гипотетической 11-мерной теории бран, предложенной Виттеном в 1995 году, объединяющий все предыдущие теории струн и оказавшей революционное влияние на дальнейшей развитие теоретической физики и математики)

Один из самых ключевых и известных исследователей в высшей геометрии. См. его работы на личной странице и см. по теме доклада flux quantization.

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

Texas Tech Topology and Geometry Seminar: сегодня (2 апреля) в 18:00 по московскому времени

Lory Aintablian (MPIM Bonn) — Differentiation of groupoid objects in tangent categories

The infinitesimal counterpart of a Lie group(oid) is its Lie algebra(oid). I will show that the differentiation procedure works in any category with an abstract tangent structure in the sense of Rosický, which was later rediscovered by Cockett and Cruttwell. Mainly, I will construct the abstract Lie algebroid of a differentiable groupoid in a cartesian tangent category C with a scalar R-multiplication, where R is a ring object of C. Examples include differentiation of infinite-dimensional Lie groups, elastic diffeological groupoids, etc. This is joint work with Christian Blohmann.

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