This series consists of talks in the area of Mathematical Physics.
In the context of geometric quantisation, one starts with the data of a symplectic manifold together with a pre-quantum line bundle, and obtains a quantum Hilbert space by means of the auxiliary structure of a polarisation, i.e. typically a Lagrangian foliation or a Kähler structure. One common and widely studied problem is that of quantising Hamiltonian flows which do not preserve it.
This is practice for a talk at Berkeley, so it will involve explaining stuff many people here probably already know. I'll try to summarize what I've learned about 3 dimensional N=4 supersymmetric quantum field theories, their twists and how these manifest in terms of interesting objects in mathematics. If nothing else, hopefully there will be some comedy value in my attempt.
In a synthetic approach to geometry and physics, one attempts to formulate an axiomatic system in purely logical terms, abstracting away from irrelevant "implementation details". In this talk, I will explain how intuitionistic logic and topos theory provide a synthetic theory of space, and then consider a (naive version of) Euclidean QFTs in terms of a conjectural elegant synthetic reformulation: a Euclidean QFT is nothing but a probability space in intuitionistic logic, extended by suitable modalities formalizing compact regions of space.
The Heisenberg algebra plays a vital role in many areas of mathematics and physics. We will describe a family of quantum Heisenberg categories, depending on a choice of central charge, that categorify this algebra. When the central charge is nonzero, these categories act on modules for cyclotomic quotients of the affine Hecke algebra. In central charge zero, we obtain an affinization of the HOMFLY-PT skein category, which acts on modules for $U_q(\mathfrak{gl}_n)$. We will also discuss how the categories can be generalized by adding a Frobenius superalgebra into the construction. This
Principal bundles and their moduli have been important in various aspects of physics and geometry for many decades. It is perhaps not so well-known that a substantial portion of the original motivation for studying them came from number theory, namely the study of Diophantine equations. I will describe a bit of this history and some recent developments.
I discuss a geometric interpretation of the twisted indexes of 3d (softly broken) $\cN=4$ gauge theories on $S^1 \times \Sigma$ where $\Sigma$ is a closed genus $g$ Riemann surface, mainly focussing on quivers with unitary gauge groups. The path integral localises to a moduli space of solutions to generalised vortex equations on $\Sigma$, which can be understood algebraically as quasi-maps to the Higgs branch. I demonstrate that the twisted indexes computed in previous work reproduce the virtual Euler characteristic of the moduli spaces of twisted quasi-maps.
I will review the geometric approach to the description of Coulomb branches and Chern-Simons terms of gauge theories coming from compactifications of M-theory on elliptically fibered Calabi-Yau threefolds. Mathematically, this involves finding all the crepant resolutions of a given Weierstrass model and understanding the network of flops connecting them together with computing certain topological invariants. I will further check that the uplifted theory in 6d is anomaly-free using Green-Schwartz mechanism.
Continued discussion to the two informal talks given by Dylan Butson on January 21st and 28th.
The Heisenberg algebra plays an important role in many areas of mathematics and physics. Khovanov constructed a categorical analogue of this algebra which emphasizes its connections to representation theory and combinatorics. Recently, Brundan, Savage, and Webster have shown that the Grothendieck group of this category is isomorphic to the Heisenberg algebra. However, applying an alternative decategorification functor called the trace to the Heisenberg category yields a richer structure: a W-algebra, an infinite-dimensional Lie algebra related to conformal field theory.
This seminar will be a continued discussion on the topic of last week's seminar:
I will describe some general mathematical structures expected to arise from field theories with boundary conditions in terms of factorization algebras, and outline some results and future directions in the study of boundary chiral algebras for 3d N=4 theories following the work of Costello and Gaiotto.
Given by Dylan Butson.