arXiv subjects
Publications and source records attributed to Brian R. Williams.
We classify central extensions of the dg Lie algebra of derived global sections of the tangent sheaf on the punctured, formal d-disk for d > 2. (The d=2 case has appeared in previous work). We also prove a local, universal form of the Grothendieck-Riemann-Roch theorem for families of d-dimensional complex varieties.
We appeal to the theory of Jouanolou torsors to model the coherent cohomology of configuration spaces of points in d-dimensional affine space. Using this model, we develop the operadic notion of chiral operations, thus generalizing the notion of chiral algebras of Beilinson and Drinfeld to higher dimensions. To produce examples, we use a higher-dimensional conceptualization of the residue which is inspired by Feynman graph integrals. One of our main results is the realization, using higher chiral operations, of the higher-dimensional Kac--Moody and Virasoro algebras.
We classify central extensions of the dg Lie algebra of derived global sections of the tangent sheaf on the punctured, formal 2-disk. We then prove a local and universal form of the Grothendieck--Rieman--Roch theorem for families of two-dimensional complex varieties.
Topological field theories and holomorphic field theories naturally appear in both mathematics and physics. However, there exist intriguing hybrid theories that are topological in some directions and holomorphic in others, such as twists of supersymmetric field theories or Costello's 4-dimensional Chern-Simons theory. In this paper, we rigorously prove the ultraviolet (UV) finiteness for such hybrid theories on the model manifold $\mathbb{R}^{d'} \times \mathbb{C}^d$, and present two significant vanishing results regarding anomalies: in the case $d'=1$, the odd-loop obstructions to quantization on $\mathbb{R}^{d'} \times \mathbb{C}^d$ vanish; in the case $d'>1$, all obstructions disappear, allowing us to define a factorization algebra structure for quantum observables. Previous versions circulated under the title "Factorization algebras from topological-holomorphic field theories".
We propose a non-perturbative description of the moduli spaces encoding p-form generalized Maxwell theories in any dimension, using derived differential geometry. Our approach synthesizes the Batalin--Vilkovisky formalism with differential cohomology. Within this framework we formulate Dirac charge quantization and show how such charge-quantized moduli spaces exhibit abelian duality between generalized Maxwell theories of different types. We also describe the compactification of generalized Maxwell theories along closed Riemannian manifolds by computing the pushforward of the underlying sheaves of cochain complexes that model differential cohomology.
Twists of four-dimensional supersymmetric quantum field theories (SQFTs) isolate protected sectors with rich algebraic structures. We develop a unified framework for analyzing symmetries and anomalies in four-dimensional holomorphically twisted SQFTs, combiningcomplex-geometric and algebraic perspectives. This approach clarifies the connections between existing formulations in the literature and resolves several open questions left unanswered in the first installment of this series. We place particular emphasis on theories with extended supersymmetry, where the holomorphic twist gives rise to enhanced algebraic and geometric structures. We explain how these features emerge and govern the organization of the twisted theory. Furthermore, we demonstrate how a superconformal deformation of the twisted theory naturally leads to the associated vertex operator algebra, clarifying how the higher algebraic structures of the holomorphically twisted theory give rise to vertex algebras structures.
Aimed at complex geometers and representation theorists, this survey explores higher dimensional analogues of the rich interplay between Riemann surfaces, Virasoro and Kac-Moody Lie algebras, and conformal blocks. We introduce a panoply of examples from physics -- field theories that are holomorphic in nature, such as holomorphic Chern-Simons theory -- and interpret them as (derived) moduli spaces in complex geometry; no comfort with physics is presumed. We then describe frameworks for quantizing such moduli spaces, offering a systematic generalization of vertex algebras and conformal blocks via factorization algebras, and we explain how holomorphic field theories generate examples of these higher algebraic structures. We finish by describing how the conjecture of Seiberg duality predicts a surprising relationship between holomorphic gauge theories on algebraic surfaces and how it suggests analogues of the Hori-Tong dualities already studied by algebraic geometers.
Given a supermanifold equipped with an odd distribution of maximal dimension and constant symbol, we construct the formal moduli problem of deformations of the distribution. This moduli problem is described by a local super dg Lie algebra that provides both a resolution of the structure-preserving vector fields on superspace and a derived enhancement of superconformal symmetry. Applying our construction in standard physical examples returns the conformal supergravity multiplet in every known example, in any dimension and with any amount of supersymmetry$\unicode{x2014}$whether or not a superconformal algebra exists. We discuss new examples related to twisted supergravity, higher Virasoro algebras, and exceptional super Lie algebras. The compatibility of our techniques with twisting also leads to a computation of every twist of the stress tensor multiplet of a superconformal theory, including universal operator product expansions. Our approach uses a derived model for the space of functions constant along the distribution, which is applicable even when the distribution is non-involutive; we construct other natural multiplets, such as Kähler differentials, that appear naturally through this lens on superspace geometry.
In this work, we revisit and elaborate on twisted holography for AdS$_3 \times S^3 \times X$ with $X= T^4$, K3, with a particular focus on K3. We describe the twist of supergravity, identify the corresponding (generalization of) BCOV theory, and enumerate twisted supergravity states. We use this knowledge, and the technique of Koszul duality, to obtain the $N \rightarrow \infty$, or planar, limit of the chiral algebra of the dual CFT. The resulting symmetries are strong enough to fix planar 2 and 3-point functions in the twisted theory or, equivalently, in a 1/4-BPS subsector of the original duality. This technique can in principle be used to compute corrections to the chiral algebra perturbatively in $1/N$.
We discuss the properties of quarter-BPS local operators in four dimensional ${\cal N}=1$ supersymmetric Yang-Mills theory using the formalism of holomorphic twists. We study loop corrections both to the space of local operators and to algebraic operations which endow the twisted theory with an infinite symmetry algebra. We classify all single-trace quarter-BPS operators in the planar approximation for $SU(N)$ gauge theory and propose a holographic dual description for the twisted theory. We classify perturbative quarter-BPS operators in $SU(2)$ and $SU(3)$ gauge theories with sufficiently small quantum numbers and discuss possible non-perturbative corrections to the answer. We set up analogous calculations for some theories with matter.
We show that the action of residual supersymmetries in holomorphic-topological twists of $N = 2$ theories in three dimensions naturally extends to the action of certain infinite dimensional Lie superalgebras. We demonstrate this in a range of examples, including $N = 4$ Yang-Mills theories and superconformal Chern-Simons theories, describing how the symmetries are implemented at the level of local operators.
We propose a method for extracting the Higgs and Coulomb branches of a three-dimensional N = 4 quantum field theory from the algebra of local operators in its holomorphic-topological twist using the formalism of raviolo vertex algebras. Our construction parallels that of the chiral ring and twisted chiral ring of an N = 2 superconformal vertex operator algebra.
We develop an algebraic structure modeling local operators in a three-dimensional quantum field theory which is partially holomorphic and partially topological. The geometric space organizing our algebraic structure is called the raviolo (or bubble) and replaces the punctured disk underlying vertex algebras; we refer to this structure as a raviolo vertex algebra. The raviolo has appeared in many contexts related to three-dimensional supersymmetric gauge theory, especially in work on the affine Grassmannian. We prove a number of structure theorems for raviolo vertex algebras and provide simple examples that share many similarities with their vertex algebra counterparts.
In this article, we introduce basic aspects of the algebraic notion of Koszul duality for a physics audience. We then review its appearance in the physical problem of coupling QFTs to topological line defects, and illustrate the concept with some examples drawn from twists of various simple supersymmetric theories. Though much of the content of this article is well-known to experts, the presentation and examples have not, to our knowledge, appeared in the literature before. Our aim is to provide an elementary introduction for those interested in the appearance of Koszul duality in supersymmetric gauge theories with line defects and, ultimately, its generalizations to higher-dimensional defects and twisted holography.
We present a conjectural description of the space of local operators on a stack of finitely many fivebranes in $M$ theory at the level of the holomorphic twist. Our approach is through the lens of twisted holography and utilizes a description of the minimal twist of eleven-dimensional supergravity. We find that the spaces of local operators are modules for the exceptional linearly compact super Lie algebra $E(3|6)$. From the conjectural description of local operators we deduce closed formulas for the superconformal index of six-dimensional $\mathcal{N}=(2,0)$ theories of type $A_{N-1}$.
We formulate the abelian six-dimensional $\mathcal{N}=(2,0)$ theory perturbatively, in a generalization of the Batalin-Vilkovisky formalism. Using this description, we compute the holomorphic and non-minimal twists at the perturbative level. This calculation hinges on the existence of an $L_\infty$ action of the supersymmetry algebra on the abelian tensor multiplet, which we describe in detail. Our formulation appears naturally in the pure spinor superfield formalism, but understanding it requires developing a presymplectic generalization of the BV formalism, inspired by Dirac's theory of constraints. The holomorphic twist consists of symplectic-valued holomorphic bosons from the $\mathcal{N}=(1,0)$ hypermultiplet, together with a degenerate holomorphic theory of holomorphic coclosed one-forms from the $\mathcal{N}=(1,0)$ tensor multiplet, which can be interpreted as representing the intermediate Jacobian. We check that our formulation and our results match with known ones under various dimensional reductions, as well as comparing the holomorphic twist to Kodaira-Spencer theory. Matching our formalism to five-dimensional Yang-Mills theory after reduction leads to some issues related to electric-magnetic duality; we offer some speculation on a nonperturbative resolution.
In this note, we study, formalize, and generalize the pure spinor superfield formalism from a rather nontraditional perspective. To set the stage, we review the notion of a multiplet for a general super Lie algebra, working in the context of the BV and BRST formalisms. Building on this, we explain how the pure spinor superfield formalism can be viewed as constructing a supermultiplet out of the input datum of an equivariant graded module over the ring of functions on the nilpotence variety. We use the homotopy transfer theorem and other computational techniques from homological algebra to relate these multiplets to more standard component-field formulations. Physical properties of the resulting multiplets can then be understood in terms of algebrogeometric properties of the nilpotence variety. We illustrate our discussion with many examples in various dimensions.
We show that four-dimensional superconformal algebras admit an infinite-dimensional derived enhancement after performing a holomorphic twist. The type of higher symmetry algebras we find are closely related to algebras studied by Faonte-Hennion-Kapranov, Hennion-Kapranov, and the second author with Gwilliam in the context of holomorphic QFT. We show that these algebras are related to the two-dimensional chiral algebras extracted from four-dimensional superconformal theories by Beem and collaborators; further deforming by a superconformal element induces the Koszul resolution of a plane in $\mathbb{C}^2 \cong \mathbb{R}^4$. The central charges at the level of chiral algebras arise from central extensions of the higher symmetry algebras.