Mathematical Physics

The prototypical example of a symmetric tensor category is Rep(G) for G a compact group. The other main source of symmetric tensor categories are Deligne's interpolation categories (S_t, GL_t, and O_t) which extend a family of group representation categories defined at positive integers to all complex numbers. Harman and Snowden have developed a theory of symmetric tensor categories coming from Oligomorphic permutation groups together with a well-behaved measure on G-sets. This includes Deligne's S_t which comes from the infinite symmetric group together with a measure where the usual permutation G-set has volume t. The simplest new example of their theory is the group of order-preserving bijections of the real line with the measure given by Euler characteristic. In joint work with Harman and Snowden (arXiv:2211.15392) we give a detailed description of this new symmetric tensor category, which has a number of novel properties. We call this category the Delannoy category because the dimensions of Hom spaces are given by Delannoy numbers. In this talk I'll outline our main results, including the classification of simple objects, the tensor product rules, and a combinatorial model for the category using Delannoy paths.

---

Zoom link

This talk explains the theory of "factorisation" or "vertex algebra" analogues of the theory of quantum groups, (2312.07274).

We will first recap the theory of quantum groups and their connections to wider mathematics, due to Drinfeld, Etingof, Kazhdan, Jimbo, Reshetikhin, Turaev, and many others. We will then explain how to give a natural definition of "factorisation" version of these objects, give the basic structure theory about their categories of representations, and derive an explicit model for them. This relates to previous work of Etingof-Kazhdan and Frenkel-Reshetikhin.

We will sketch some physics heuristics for the above theory; briefly, our structures should appear on the category of line operators in 4d theories due to Costello, Witten and Yamazaki, e.g. on the representations Rep U_q(g^) of affine quantum groups.

We will then give some examples. The last part discusses the conjectures that naturally suggest themselves, for instance by analogy to the connections referred to above.

Prerequisites on chiral and vertex algebras will be given at a talk earlier in the week. (1-2pm Tuesday, Bob Room)

--- 

Zoom link

Brane Webs in Type IIB String Theory can be used to engineer 5d N=1 gauge theories and SCFTs. These brane webs can also be used to obtain so called magnetic quivers, whose 3d Coulomb branches gives the Higgs branch of the 5d theory in question. We will see how to obtain these magnetic quivers for brane webs possibly in the presence of orientifold planes. Then we will see how 3d Coulomb branch technology (such as quiver subtraction) can be used to understand Higgsings and mass deformations of 5d SCFTs.

---

Zoom link

The Hitchin systems are a remarkable family of integrable models associated to the moduli space of principal bundles on a compact Riemann surface. In this talk, I explain how the loop group uniformization of this moduli space can be used to construct an r-matrix for the Hitchin systems. This r-matrix has been previously used in the description of the Friedan-Schenker connection on the space of conformal blocks.

---

Zoom link 

For a noncommutative algebra $A$ and an antilinear automorphism $\rho$ of $A$ there is a notion of positive trace. On the physics side, positive traces are related to quantizations of superconformal field theories. On the mathematical side, positive traces are connected to spherical unitary representations of complex Lie groups. We will discuss the classification of positive traces in the case when the algebra $A$ is a deformation or a $q$-deformation of a Kleinian singularity of type A.

---

Zoom link

The moduli of Higgs bundles and the Hitchin fibration are central to many thriving research areas, such as mirror symmetry, non-abelian Hodge theory and the geometric Langlands program.  A group-theoretic or multiplicative version was introduced by Frenkel and Ngo in 2011 to give a geometric interpretation of orbital integrals and trace formulas from automorphic representation theory. Since then, there is an ongoing program to replicate the theory of Higgs bundles for the multiplicative case. One notable development is the study of multiplicative affine Springer fibers. Like the usual ones, they are local analogues of multiplicative Hitchin fibers. In this talk, I discuss my work in continuing this program and providing a multiplicative version of Z. Yun's global Springer theory. This involves the study of parabolic multiplicative Higgs bundles and affine Springer fibers. 

Counting partitions in diverse dimensions is a long-standing problem in enumerative combinatorics. It also plays a prominent role in the physics of instanton counting and in algebraic geometry through the computation of Donaldson-Thomas invariants. In this talk I will give an overview of these counting problems, and discuss how recent developments in the computation of instanton/Donaldson-Thomas partition functions clarify some open problems in the enumeration of higher-dimensional partitions.

---

Zoom link https://pitp.zoom.us/j/92547375606?pwd=VDBiTTV6QjBtWThnSjJPc0phVEI1dz09

I will discuss an explicit way to construct Hopf algebras and quasi-triangular Hopf algebras (their Drinfeld doubles) within 3d TQFT, using extended operators on boundary conditions -- dubbed `spark' algebras. The representation categories of these algebras capture boundary and bulk line operators. Overall, the construction realizes Tannakian duality geometrically; in perturbative TQFT's, it is closely connected to the holographic Koszul duality of Costello and Paquette. I'll illustrate the construction for Dijkgraaf-Witten theory (a.k.a. gauge theory with finite gauge group), and then sketch an application to the B-type topological twist of 3d N=4 gauge theories, which initially motivated these investigations. (Work in progress with T. Creutzig and W. Niu.)

---

Zoom link https://pitp.zoom.us/j/93746215441?pwd=YjdhaDNFeko3VDVKQW5ZV1MzL1cvUT09

The Monster Lie Algebra $\mathfrak m$ has two well-known avatars: It is a Borcherds' algebra that is also a quotient of the physical space of a specific tensor product of vertex algebras. In this talk, I will discuss a construction of vertex algebra elements that project to bases for subalgebras of $\mathfrak m$ isomorphic to $\mathfrak{gl}_2$, corresponding to each of the imaginary simple roots of the Monster Lie algebra.

Furthermore, for a fixed imaginary simple root, I will illustrate how the action of the Monster simple group on the Moonshine module induces an action of the Monster group on the set of the $\mathfrak{gl}_2$ subalgebras constructed this way. I will discuss this action and related open questions.

This talk is based on joint work with Darlayne Addabbo, Lisa Carbone, Elizabeth Jurisich, and Scott H. Murray.

--- 

Zoom link TBA

W-algebras are a family of vertex algebras obtained as Hamiltonian reductions of affine vertex algebras parametrized by nilpotent orbits. The W-algebras associated with regular nilpotent orbits enjoy the Feigin-Frenkel duality. More recently, Gaiotto and Rap\v{c}\'ak generalize this result to hook-type W-algebras with the triality for vertex algebras at the corner. In this talk, I will present the correspondence of representation categories for the hook-type W-superalgebras and how to gain general W-algebras in type A from hook-type W-algebras. The talk is based on joint works with my collaborators.

---

Zoom link https://pitp.zoom.us/j/92163414611?pwd=a1A5NHUrbEpxUUVuS3pEd1VYQk5kdz09

We will begin by reviewing the work of Kazhdan and Lusztig, who established an equivalence between certain affine Lie algebra representations and quantum group representations. It can be thought of as a logarithmic version of the CS-WZW correspondence. In a joint work with Lin Chen, we used factorization algebras to establish an extended version of this equivalence. We will explain the main structure of the proof, and draw some connections with Kazhdan and Lusztig's original proof. The key idea is that of Kac-Moody localization, a parametrized version of factorization homology. Time permitting, we will also explain how this idea plays a role in the recently announced proof (by Gaitsgory et al.) of the de Rham geometric Langlands conjecture.

---

Zoom link https://pitp.zoom.us/j/98932564942?pwd=WWdMLzI5WktkZnMrQmplU0J3Mk43dz09

For a simple Lie algebra \mathfrak{g}, Kazhdan-Lusztig correspondence states that for certain values of the level k, there is an equivalence between two braided tensor categories: the category of modules of the affine Lie algebra of \mathfrak{g} at level k and the category of modules of the quantum group of \mathfrak{g} at q=e^{\pi i/k}. I will report on recent work to appear with T. Creutzig and T. Dimofte proving such a statement for a class of Lie superalgebras. These Lie superalgebras and their affine VOAs arise from the study of boundary conditions in 3d \mathcal{N}=4 abelian gauge theories. I will also explain how the corresponding supergroups act on the category of matrix factorizations.

---

Zoom link https://pitp.zoom.us/j/92338197336?pwd=OG40V2p6V0FmalNCZnV2ZFF1NHAzZz09