CMSA

D-critical structure(s) on Quot schemes of points of Calabi-Yau 3-folds
2021-10-19 13:00 - 14:00 (America/New_York) | MA
Abstract: D-critical schemes and Artin stacks were introduced by Joyce in 2015, and play a central role in Donaldson-Thomas theory. They typically occur as truncations of (-1)-shifted symplectic derived schemes, but the problem of constructing the d-critical structure on a “DT moduli space” without passing through derived geometry is wide open. We discuss this problem, and new results in this direction, when the moduli space is the Hilbert (or Quot) scheme of points on a Calabi-Yau 3-fold. Joint work with Michail Savvas.

Tropical disk counts
2021-10-19 20:30 - 21:30 | MA
Abstract: (joint with S. Venugopalan) I will describe version of the Fukaya algebra that appears in a tropical degeneration with the Lagrangian being one of the “tropical fibers”. An example is the count of “twenty-one disks in the cubic surface” (suggested by Sheridan) which is an open analog of the twenty-seven lines. As an application, I will explain why the Floer cohomology of such tropical fibers is well-defined; this is a generalization fo a result of Fukaya-Oh-Ohta-Ono for toric varieties.

Categorification and applications
2021-10-20 09:30 - 10:30 | Virtual
Speaker: Peng Shan (Tsinghua University)

Title: Categorification and applications
Abstract: I will give a survey of the program of categorification for quantum groups, some of its recent development and applications to representation theory.

Electric-magnetic duality and the Geometric Langlands duality
2021-10-21 15:30 - 17:00 | Virtual
Title: Electric-magnetic duality and the Geometric Langlands duality
Abstract: I will give a pedagogical review of the connection between electric-magnetic duality and the Geometric Langlands duality.

10/21/2021 Interdisciplinary Science Seminar
2021-10-21 18:44 - 20:44 | MA
Title: Mathematical resolution of the Liouville conformal field theory.
Abstract: The Liouville conformal field theory is a well-known beautiful quantum field theory in physics describing random surfaces. Only recently a mathematical approach based on a well-defined path integral to this theory has been proposed using probability by David, Kupiainen, Rhodes, Vargas.
Many works since the ’80s in theoretical physics (starting with Belavin-Polyakov-Zamolodchikov) tell us that conformal field theories in dimension 2 are in general « Integrable », the correlations functions are solutions of PDEs and can in principle be computed explicitely by using algebraic tools (vertex operator algebras, representations of Virasoro algebras, the theory of conformal blocks). However, for Liouville Theory this was not done at the mathematical level by algebraic methods.
I’ll explain how to combine probabilistic, analytic and geometric tools to give explicit (although complicated) expressions for all the correlation functions on all Riemann surfaces in terms of certain holomorphic functions of the moduli parameters called conformal blocks, and of the structure constant (3-point function on the sphere). This gives a concrete mathematical proof of the so-called conformal bootstrap and of Segal’s gluing axioms for this CFT. The idea is to break the path integral on a closed surface into path integrals on pairs of pants and reduce all correlation functions to the 3-point correlation function on the Riemann sphere $S^2$. This amounts in particular to prove a spectral resolution of a certain operator acting on $L^2(H^{-s}(S^1))$ where $H^{-s}(S^1)$ is the Sobolev space of order -s<0 equipped with a Gaussian measure, which is viewed as the space of fields, and to construct a certain representation of the Virasoro algebra into unbounded operators acting on this Hilbert space.
This is joint work with A. Kupiainen, R. Rhodes and V. Vargas.

The Large D Limit of Einstein’s Equations
2021-10-22 09:30 - 10:30 | MA
Abstract: Taking the large dimension limit of Einstein’s equations is a useful strategy for solving and understanding the dynamics that these equations encode. I will introduce the underlying ideas and the progress that has resulted in recent years from this line of research. Most of the discussion will be classical in nature and will concern situations where there is a black hole horizon. A main highlight of this approach is the formulation of effective membrane theories of black hole dynamics. These have made possible to efficiently study, with relatively simple techniques, some of the thorniest problems in black hole physics, such as the non-linear evolution of the instabilities of black strings and black branes, and the collisions and mergers of higher-dimensional black holes. Open directions and opportunities will also be discussed. To get a flavor of what this is about, you may read the first few pages of the review (with C.P. Herzog) e-Print: 2003.11394.

Wall-crossing from Higgs bundles to vortices
2021-10-22 09:30 - 10:30 | MA
Speaker: Du Pei
Title: Wall-crossing from Higgs bundles to vortices
Abstract: Quantum field theories can often be used to uncover hidden algebraic structures in geometry and hidden geometric structures in algebra. In this talk, I will demonstrate how such “wall-crossing” can relate the moduli space of Higgs bundles with the moduli space of vortices.

Exploring the Holographic Swampland
2021-10-25 13:00 - 14:00 | MA
Abstract: I describe our work looking at `traditional’ scenarios of moduli stabilisation from a holographic perspective. This reveals some interesting structure that is not apparent from the top-down perspective. For vacua in the extreme regions of moduli space, such as LVS in type IIB or the DGKT flux vacua in type IIA, the dual moduli conformal dimensions reduce to fixed values – in a certain sense, the low-conformal dimension part of the CFT is unique and independent of the large number of flux choices. For the DGKT flux vacua these conformal dimensions are also integer, for reasons we do not understand.

The n-queens problem
2021-10-26 09:00 - 10:00 | MA
Abstract: The n-queens problem asks how many ways there are to place n queens on an n x n chessboard so that no two queens can attack one another, and the toroidal n-queens problem asks the same question where the board is considered on the surface of a torus. Let Q(n) denote the number of n-queens configurations on the classical board and T(n) the number of toroidal n-queens configurations. The toroidal problem was first studied in 1918 by Pólya who showed that T(n)>0 if and only if n is not divisible by 2 or 3. Much more recently Luria showed that T(n) is at most ((1+o(1))ne^{-3})^n and conjectured equality when n is not divisible by 2 or 3. We prove this conjecture, prior to which no non-trivial lower bounds were known to hold for all (sufficiently large) n not divisible by 2 or 3. We also show that Q(n) is at least ((1+o(1))ne^{-3})^n for all natural numbers n which was independently proved by Luria and Simkin and, combined with our toroidal result, completely settles a conjecture of Rivin, Vardi and Zimmerman regarding both Q(n) and T(n).
In this talk we’ll discuss our methods used to prove these results. A crucial element of this is translating the problem to one of counting matchings in a 4-partite 4-uniform hypergraph. Our strategy combines a random greedy algorithm to count `almost’ configurations with a complex absorbing strategy that uses ideas from the methods of randomised algebraic construction and iterative absorption.
This is joint work with Peter Keevash.

On singular Hilbert schemes of points
2021-10-26 13:00 - 14:00 | MA
Abstract: It is well known that the Hilbert schemes of points on smooth surfaces are smooth. In higher dimensions the Hilbert schemes of points are in general singular. In this talk we will present some examples and conjectures on the local structures of the Hilbert scheme of points on $mathbb{P}^3$. As an application we study a conjecture of Wang-Zhou on the Euler characteristics of the tautological sheaves on Hilbert schemes of points.

Anisotropy, biased pairing theory and applications
2021-10-27 09:30 - 10:30 | MA
Speaker: Karim Adiprasito, Hebrew University and University of Copenhagen
Title: Anisotropy, biased pairing theory and applications
Abstract: Not so long ago, the relations between algebraic geometry and combinatorics were strictly governed by the former party, with results like log-concavity of the coefficients of the characteristic polynomial of matroids shackled by intuitions and techniques from projective algebraic geometry, specifically Hodge Theory. And so, while we proved analogues for these results, combinatorics felt subjugated to inspirations from outside of it.
In recent years, a new powerful technique has emerged: Instead of following the geometric statements of Hodge theory about signature, we use intuitions from the Hall marriage theorem, translated to algebra: once there, they are statements about self-pairings, the non-degeneracy of pairings on subspaces to understand the global geometry of the pairing. This was used to establish Lefschetz type theorems far beyond the scope of algebraic geometry, which in turn established solutions to long-standing conjectures in combinatorics.
I will survey this theory, called biased pairing theory, and new developments within it, as well as new applications to combinatorial problems. Reporting on joint work with Stavros Papadaki, Vasiliki Petrotou and Johanna Steinmeyer.

Why explain mathematics to computers?
2021-10-27 14:00 - 15:00 | MA
Speaker: Patrick Massot, Laboratoire de Mathématiques d’Orsay and CNRS
Title: Why explain mathematics to computers?
Abstract: A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant softwares. This process is called formalization. In this talk I’ll describe what formalization looks like, what kind of things it teaches us, and how it could even turn out to be useful (in our usual sense of “useful”). This will not be a talk about foundations of mathematics, and I won’t assume any prior knowledge about formalization.

The classical interior of charged black holes with AdS asymptotics
2021-10-28 09:30 - 10:30 | MA
Abstract: The gravitational dual to the grand canonical ensemble of a large N holographic theory is a charged black hole. These spacetimes can have Cauchy horizons that render the classical gravitational dynamics of the black hole interior incomplete. We show that a (spatially uniform) deformation of the CFT by a neutral scalar operator generically leads to a black hole with no inner horizon. There is instead a spacelike Kasner singularity in the interior. For relevant deformations, Cauchy horizons never form. We then consider charged scalars, which are known to condense at low temperatures, thus providing a holographic realization of superconductivity. We look inside the horizon of these holographic superconductors and find intricate dynamical behavior. The spacetime ends at a spacelike Kasner singularity, and there is no Cauchy horizon. Before reaching the singularity, there are several intermediate regimes which we study both analytically and numerically. These include strong Josephson oscillations in the condensate and possible `Kasner inversions’ in which after many e-folds of expansion, the Einstein-Rosen bridge contracts towards the singularity. Due to the Josephson oscillations, the number of Kasner inversions depends very sensitively on temperature, and diverges at a discrete set of temperatures that accumulate at the critical temperature. Near this discrete set of temperatures, the final Kasner exponent exhibits fractal-like behavior.

Drivers of Morphological Complexity
2021-10-28 13:00 - 14:30 | MA
Abstract: During development, organisms interact with their natural habitats while undergoing morphological changes, yet we know little about how the interplay between developing systems and their environments impacts animal morphogenesis. Cnidaria, a basal animal lineage that includes sea anemones, corals, hydras, and jellyfish, offers unique insight into the development and evolution of morphological complexity. In my talk, I will introduce our research on “ethology of morphogenesis,” a novel concept that links the behavior of organisms to the development of their size and shape at both cellular and biophysical levels, opening new perspectives about the design principle of soft-bodied animals. In addition, I will discuss a fascinating feature of cnidarian biology. For humans, our genetic code determines that we will grow two arms and two legs. The same fate is true for all mammals. Similarly, the number of fins of a fish or legs and wings of an insect is embedded in their genetic code. I will describe how sea anemones defy this rule.
References
Anniek Stokkermans, Aditi Chakrabarti, Ling Wang, Prachiti Moghe, Kaushikaram Subramanian, Petrus Steenbergen, Gregor Mönke, Takashi Hiiragi, Robert Prevedel, L. Mahadevan, and Aissam Ikmi. Ethology of morphogenesis reveals the design principles of cnidarian size and shape development. bioRxiv 2021.08.19.456976
Ikmi A, Steenbergen P, Anzo M, McMullen M, Stokkermans M, Ellington L, and Gibson M (2020). Feeding-dependent tentacle development in the sea anemone Nematostella vectensis. Nature communications, Sept 02; 11:4399
He S, Del Viso F, Chen C, Ikmi A, Kroesen A, Gibson MC (2018). An axial Hox code controls tissue segmentation and body patterning in Nematostella vectensis. Science, Vol. 361, Issue 6409, pp. 1377-1380.
Ikmi A, McKinney SA, Delventhal KM, Gibson MC (2014). TALEN and CRISPR/Cas9 mediated genome editing in the early-branching metazoan Nematostella vectensis. Nature communications. Nov 24; 5:5486.

ARCH: Know What Your Machine Doesn’t Know
2021-10-28 18:45 - 20:45 | MA
Speaker: Jie Yang, Delft University of Technology
Title: ARCH: Know What Your Machine Doesn’t Know
Abstract: Despite their impressive performance, machine learning systems remain prohibitively unreliable in safety-, trust-, and ethically sensitive domains. Recent discussions in different sub-fields of AI have reached the consensus of knowledge need in machine learning; few discussions have touched upon the diagnosis of what knowledge is needed. In this talk, I will present our ongoing work on ARCH, a knowledge-driven, human-centered, and reasoning-based tool, for diagnosing the unknowns of a machine learning system. ARCH leverages human intelligence to create domain knowledge required for a given task and to describe the internal behavior of a machine learning system; it infers the missing or incorrect knowledge of the system with the built-in probabilistic, abductive reasoning engine. ARCH is a generic tool that can be applied to machine learning in different contexts. In the talk, I will present several applications in which ARCH is currently being developed and tested, including health, finance, and smart buildings.

The complex Monge-Ampere equation in K”ahler geometry
2021-10-29 09:30 - 10:30 | MA
Speaker: Freid Tong
Title: The complex Monge-Ampere equation in Kahler geometry
Abstract: The complex Monge-Ampere equations occupies an central role in K”ahler geometry, beginning with Yau’s famous solutions of the Calabi conjecture. Later developments has led to many interesting geometric applications and opening of new fields. In this talk, I will introduce the complex Monge-Ampere equation and discuss the interplay between their analysis and geometry, with a particular focus on the a priori C^0 estimates and their various applications. In the end, I will also try to discuss some recent work with B. Guo and D.H. Phong on a new approach for proving sharp C^0 estimates for complex Monge-Ampere equations, this new approach avoids the machinery of pluripotential theory that was previously necessary and has the advantage of generalizing to a large class of fully nonlinear equations.

Anomaly resolution via decomposition
2021-10-29 12:00 - 13:00 | Virtual
Speaker: Eric Sharpe (Virginia Tech)
Title: Anomaly resolution via decomposition
Abstract: In this talk we will discuss a method of anomaly resolution due to Wang-Wen-Witten in the special case of (1+1) dimensional theories. Briefly, for our purposes, Wang-Wen-Witten argued that an ill-defined anomalous orbifold [X/G] could be resolved by extending G to a larger group and adding suitable phases. We analyze this process from the perspective of decomposition, a property of (1+1)-dimensional theories with “one-form symmetries” first described in 2006. Examples of such theories include orbifolds with trivially-acting subgroups, of which the extensions of [X/G] are examples. After a review of decomposition, we will see that decomposition implies that in (1+1) dimensions, the Wang-Wen-Witten procedure results in orbifolds that are equivalent to disjoint unions of orbifolds of X by explicitly nonanomalous subgroups of G.

Integrability and chaos of 1+1d chiral edge states
2021-10-29 12:00 - 13:00 | MA
Speaker: Biao Lian (Princeton)
Title: Integrability and chaos of 1+1d chiral edge states
Abstract: I will talk about the integrability and chaos of 1+1d interacting chiral edge states, which may arise on the edge of 2+1d topological phases. We show that integrable chiral Luttinger liquid is not always a good low energy description of the edge states, and marginal interactions can significantly affect their spectrum and integrability. We first study N identical chiral Majorana fermion modes with random 4-fermion interactions, where we show that the system undergoes a transition from integrable to quantum chaotic as N increases. The large N limit defines a chiral SYK model where the Lyapunov exponent in the out-of-time-ordered correlation can be solved analytically. I will also present a chiral SY model consisting of N interacting SU(M)_1 WZW models, which host anyons and exhibits similar quantum chaos for Abelian anyons. Lastly, I will talk about the analytical and numerical study of the 4/3 FQH edge theory, which shows unusual behavior in its integrability.

Bubble instability of mIIA on AdS_4 x S^6
2021-11-01 13:00 - 14:00 | MA
Speaker: Pieter Bomans, Princeton
Title: Bubble instability of mIIA on AdS_4 x S^6
Abstract: Recently, a set of non-supersymmetric AdS_4 vacua of massive type IIA string theory has been constructed. These vacua are perturbatively stable with respect to the full KK spectrum of type mIIA supergravity and furthermore, they are stable against a variety of non-perturbative decay channels. Hence, at this point, they represent a serious challenge to the AdS swampland conjecture. In my talk, I will review in detail the construction of these vacua as well as introduce a new decay channel, ultimately sealing their fate as being unstable.

Counting invariant curves on a Calabi-Yau threefold with an involution
2021-11-02 09:30 - 10:30 | MA
Abstract: Gopakumar-Vafa invariants are integers n_beta(g) which give a virtual count of genus g curves in the class beta on a Calabi-Yau threefold. In this talk, I will give a general overview of two of the sheaf-theoretic approaches to defining these invariants: via stable pairs a la Pandharipande-Thomas (PT) and via perverse sheaves a la Maulik-Toda (MT). I will then outline a parallel theory of Gopakumar-Vafa invariants for a Calabi-Yau threefold X with an involution. They are integers n_beta(g,h) which give a virtual count of curves of genus g in the class beta which are invariant under the involution and whose quotient by the involution has genus h. I will give two definitions of n_beta(g,h) which are conjectured to be equivalent, one in terms of a version of PT theory, and one in terms of a version of MT theory. These invariants can be computed and the conjecture proved in the case where X=SxC where S is an Abelian or K3 surface with a symplectic involution. In these cases, the invariants are given by formulas expressed with Jacobi modular forms. In the case where S is an Abelian surface, the specialization of n_beta(g,h) to h=0 recovers the count of hyperelliptic curves on Abelian surfaces first computed by B-Oberdieck-Pandharipande-Yin. This is joint work with Stephen Pietromonaco.

Gauss-Manin connection in disguise: Quasi Jacobi forms of index zero
2021-11-02 13:00 - 14:00 | MA
Abstract: We consider the moduli space of abelian varieties with two marked points and a frame of the relative de Rham cohomology with boundary at these points compatible with its mixed Hodge structure. Such a moduli space gives a natural algebro-geometric framework for higher genus quasi Jacobi forms of index zero and their differential equations which are given as vector fields. In the case of elliptic curves we compute explicitly the Gauss-Manin connection and such vector fields. This is a joint work with J. Cao and R. Villaflor. (arXiv:2109.00587)

Hitchin map as spectrum of equivariant cohomology
2021-11-03 09:30 - 10:30 | MA
Speaker: Tamás Hausel (IST Austria)
Title: Hitchin map as spectrum of equivariant cohomology
Abstract: We will explain how to model the Hitchin integrable system on a certain Lagrangian upward flow as the spectrum of equivariant cohomology of a Grassmannian.

Non-Invertible Duality Defects in 3+1 Dimensions
2021-11-03 14:00 - 15:30 | Virtual
Speaker: Clay Cordova (U Chicago)
Title: Non-Invertible Duality Defects in 3+1 Dimensions
Abstract: For any quantum system invariant under gauging a higher-form global symmetry, we construct a non-invertible topological defect by gauging in only half of spacetime. This generalizes the Kramers-Wannier duality line in 1+1 dimensions to higher spacetime dimensions. We focus on the case of a one-form symmetry in 3+1 dimensions and determine the fusion rule. From modular invariance and a direct analysis of one-form symmetry-protected topological phases, we show that the existence of certain kinds of duality defects is intrinsically incompatible with a trivially gapped phase. By further assuming time-reversal symmetry, we find that the presence of certain duality defects implies that the low-energy phase has to be gapless unless the one-form symmetry is spontaneously broken. We give an explicit realization of this duality defect in the free Maxwell theory where the duality defect is realized by a Chern-Simons coupling between the gauge fields from the two sides.

When Computer Algebra Meets Satisfiability: A New Approach to Combinatorial Mathematics
2021-11-03 17:12 - 18:12 | MA
Speakers: Curtis Bright, School of Computer Science, University of Windsor and Vijay Ganesh, Dept. of Electrical and Computer Engineering, University of Waterloo
Title: When Computer Algebra Meets Satisfiability: A New Approach to Combinatorial Mathematics
Abstract: Solvers for the Boolean satisfiability (SAT) problem have been increasingly used to resolve problems in mathematics due to their excellent search algorithms. This talk will describe a new method for mathematical search that couples SAT solvers with computer algebra systems (CAS), thereby combining the expressiveness of CASs with the search power of SAT solvers. This paradigm has led to a number of results on long-standing mathematical questions such as the first computer-verifiable resolution of Lam’s problem and the discovery of a new infinite class of Williamson matrices.

Fusion Category Symmetries in Quantum Field Theory
2021-11-04 10:30 - 12:00 | MA
Speaker: Yifan Wang (NYU)
Title: Fusion Category Symmetries in Quantum Field Theory
Abstract: Topological defects provide a modern perspective on symmetries in quantum field theory. They generalize the familiar inverti

ble symmetries described by groups to non-invertible symmetries described by fusion categories. Such generalized symmetries are ubiquitous in quantum field theory and provide new constraints on renormalization group flows and the IR phase diagram. In this talk I’ll review some recent progress in identifying and understanding fusion category symmetries in 1+1d conformal field theories. Time permitting, I’ll also comment on higher dimensional generalizations.

The stability of charged black holes
2021-11-04 13:00 - 14:00 | MA
Abstract: Black holes solutions in General Relativity are parametrized by their mass, spin and charge. In this talk, I will motivate why the charge of black holes adds interesting dynamics to solutions of the Einstein equation thanks to the interaction between gravitational and electromagnetic radiation. Such radiations are solutions of a system of coupled wave equations with a symmetric structure which allows to define a combined energy-momentum tensor for the system. Finally, I will show how this physical-space approach is resolutive in the most general case of Kerr-Newman black hole, where the interaction between the radiations prevents the separability in modes.

11/4/21 CMSA Interdisciplinary Science Seminar
2021-11-04 18:46 - 20:46 | MA
Title: Exploring Invertibility in Image Processing and Restoration
Abstract: Today’s smartphones have enabled numerous stunning visual effects from denoising to beautification, and we can share high-quality JPEG images easily on the internet, but it is still valuable for photographers and researchers to keep the original raw camera data for further post-processing (e.g., retouching) and analysis. However, the huge size of raw data hinders its popularity in practice, so can we almost perfectly restore the raw data from a compressed RGB image and thus avoid storing any raw data? This question leads us to design an invertible image signal processing pipeline. Then we further explore invertibility in other image processing and restoration tasks, including image compression, reversible image conversion (e.g., image-to-video conversion), and embedding novel views in a single JPEG image. We demonstrate that customized invertible neural networks are highly effective in these inherently non-invertible tasks.

The Greene-Plesser Construction Revisited
2021-11-05 09:30 - 11:30 | MA
Member Seminar
Speaker: Chuck Doran
Title: The Greene-Plesser Construction Revisited
Abstract: The first known construction of mirror pairs of Calabi-Yau manifolds was the Greene-Plesser “quotient and resolve” procedure which applies to pencils of hypersurfaces in projective space. We’ll review this approach, uncover the hints it gives for some more general mirror constructions, and describe a brand-new variant that applies to pencils of hypersurfaces in Grassmannians. This last is joint work with Tom Coates and Elana Kalashnikov (arXiv:2110.0727).

Cosection localization for virtual fundamental classes of d-manifolds and Donaldson-Thomas invariants of Calabi-Yau fourfolds
2021-11-09 10:30 - 11:30 | MA
Abstract: Localization by cosection, first introduced by Kiem-Li in 2010, is one of the fundamental techniques used to study invariants in complex enumerative geometry. Donaldson-Thomas (DT) invariants counting sheaves on Calabi-Yau fourfolds were first defined by Borisov-Joyce in 2015 by combining derived algebraic and differential geometry.
In this talk, we develop the theory of cosection localization for derived manifolds in the context of derived differential geometry of Joyce. As a consequence, we also obtain cosection localization results for (-2)-shifted symplectic derived schemes. This provides a cosection localization formalism for the Borisov-Joyce DT invariant. As an immediate application, the stable pair invariants of hyperkähler fourfolds, constructed by Maulik-Cao-Toda, vanish, as expected.

Cosection localization for virtual fundamental classes of d-manifolds and Donaldson-Thomas invariants of Calabi-Yau fourfolds
2021-11-09 10:30 - 22:30 | MA
Speaker: Michail Savvas, UT Austin
Title: Cosection localization for virtual fundamental classes of d-manifolds and Donaldson-Thomas invariants of Calabi-Yau fourfolds
Abstract: Localization by cosection, first introduced by Kiem-Li in 2010, is one of the fundamental techniques used to study invariants in complex enumerative geometry. Donaldson-Thomas (DT) invariants counting sheaves on Calabi-Yau fourfolds were first defined by Borisov-Joyce in 2015 by combining derived algebraic and differential geometry.
In this talk, we develop the theory of cosection localization for derived manifolds in the context of derived differential geometry of Joyce. As a consequence, we also obtain cosection localization results for (-2)-shifted symplectic derived schemes. This provides a cosection localization formalism for the Borisov-Joyce DT invariant. As an immediate application, the stable pair invariants of hyperkähler fourfolds, constructed by Maulik-Cao-Toda, vanish, as expected.

event

Organizer: Seminars
