Mathematical Physics

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

I will introduce ($q$-)opers on a projective line in the presence of twists and singularities and will discuss the space of such opers. We will see how Bethe Ansatz equations for quantum spin chains and energy level equations of classical soluble models of Calogero-Ruijsenaars type naturally appear from the oper construction. Both can also be described in terms of so-called $QQ$-systems, which have their origins in algebra and representation theory. Our construction is universal and works for any simple, simply-connected complex Lie group $G$.

---

Zoom link https://pitp.zoom.us/j/94393767928?pwd=Qkg2eG5CME5sQjNEV2lDVVNyMktDQT09

Abstract TBA

---

Zoom link: https://pitp.zoom.us/j/91816652867?pwd=bnQzYzA0SXBuL3BTTmNUMFBMcEFWdz09

We study the quantum connection in positive characteristic for conical symplectic resolutions. We conjecture the equivalence of the p-curvature of such connections with (equivariant generalizations of) quantum Steenrod operations of Fukaya and Wilkins, which are endomorphisms of mod p quantum cohomology deforming the Steenrod operations. The conjecture is verified in a wide range of examples, including the Springer resolution, thereby providing a geometric interpretation of the p-curvature and a full computation of quantum Steenrod operations. The key ingredients are a new compatibility relation between the quantum Steenrod operations and the shift operators, and structural results for the mod p quantum connection recently obtained by Etingof--Varchenko.

---

Zoom link: https://pitp.zoom.us/j/91010341249?pwd=QXJuMlJrWWd0dHpPdUpDUGVqVmYvZz09

In quantum field theories, locality and unitarity are essential properties. For functorial field theories, locality is manifested through compatibility with cutting and gluing of manifolds, which can be fully encoded in the definition of fully extended functorial field theories. However, unitarity or reflection positivity (its Euclidean version) has so far only been defined for non-extended or invertible field theories. In this talk, I will address the challenge of defining reflection positivity for extended topological field theories, proposing a definition based on a version of higher dagger categories.

---

Zoom link: https://pitp.zoom.us/j/93806769415?pwd=TVJFbWlJK0JyZCtjbHMvOWYxVUlRUT09

In this talk I will explain my works with Y. Tachikawa to study anomaly in heterotic string theory via homotopy theory, especially the theory of Topological Modular Forms (TMF). TMF is an E-infinity ring spectrum which is conjectured by Stolz-Teichner to classify two-dimensional supersymmetric quantum field theories in physics. In the previous work (https://arxiv.org/abs/2108.13542), we proved the vanishing of anomalies in heterotic string theory mathematically by using TMF. Furthermore, we have a recent update (https://arxiv.org/abs/2305.06196) on the previous work. Because of the vanishing result, we can consider a secondary transformation of spectra, which is shown to coincide with the Anderson self-duality morphism of TMF. This allows us to detect subtle torsion phenomena in TMF by differential-geometric ways, and leads us to new conjectures on the relation between VOAs and TMF.

---

Zoom link: https://pitp.zoom.us/j/95550331572?pwd=OW1oYlBvUWVxaGNJRWl5aHVrS0pJZz09

A consequence of the works of Costello and Lurie is that the Hochschild chain complex of a Calabi-Yau category admit the structure of a framed E_2 algebra (the genus zero operations). I will describe a new algebraic point of view on these operations which admits generalizations to the setting of relative Calabi-Yau structures, which do not seem to fit into the framework of TQFTs. In particular, we obtain a generalization of string topology to manifolds with boundary, as well as interesting operations on Hochschild homology of Fano varieties. Time permitting, I will explain some applications to quiver varieties. This is joint work with Christopher Brav.

---

Zoom link: https://pitp.zoom.us/j/97363589637?pwd=T25YS0ZYQlBSWm5maXhQTklpSm50UT09

Unimodularity is a classical notion shows up in various fields like linear algebra, lattices, Poisson algebras, etc. In this talk, we focus on unimodular Hopf algebras and unimodular tensor categories. We will introduce unimodular module categories and use them to construct Frobenius algebras and unimodular tensor categories. These ideas will be illustrated with examples drawn from Hopf algebras.

---

Zoom link https://pitp.zoom.us/j/98477599322?pwd=UDJmTklMTGxGODJZTm1Xc1VhL2tDdz09

A tower is an infinite sequence of deloopings of symmetric monoidal ever-higher categories. Towers are places where extended functorial field theories take values. Towers are a "deeper" version of commutative rings (as opposed to "higher rings" aka E∞-spectra). Notably, towers have their own opinions about Galois theory, and think that usual Galois groups are merely shallow approximations of deeper homotopical objects. In this talk, I will describe some steps in the construction and calculation of the deeper Galois group of a characteristic-zero field. In particular, I'll explain a homotopical version of the Kummer description of abelian extensions. This is joint work in progress with David Reutter.

--

Zoom link: https://pitp.zoom.us/j/97950701035?pwd=Wk9FRSt2MkN3eWptTVltRVJncnFHdz09