Title: Topological Recursion and Enumerative Geometry Abstract: Given a holomorphic curve in the complex 2-plane together with a suitably normalized symmetric meromorphic bilinear differential, the Chekhov-Eynard-Orantin Topological Recursion defines an infinite sequence of symmetric...
Read more
The theory of stable pairs (PT) with descendents, defined on a 3-fold X, is a sheaf theoretical curve counting theory. Conjecturally, it is equivalent to the Gromov-Witten (GW) theory of...
Read more
In the moduli space of one variable complex cubic polynomials with a marked critical point, given any $p \ge 1$, we prove that the loci formed by polynomials with the...
Read more
't Hooft anomalies provide a unique handle to study the nonperturbative infrared dynamics of strongly-coupled theories. Recently, it has been realized that higher-form global symmetries can also become anomalous, leading...
Read more
An evil mathematician has kidnapped the Harvard Pilgrim! To win his freedom, a group of undergrads must each find their name in a row of boxes. The odds look dire—but...
Read more
Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built....
Read more
In the talk, I will present an equidistribution result for families of (non-degenerate) subvarieties in a (general) family of abelian varieties. This extends a result of DeMarco and Mavraki for...
Read more
We introduce the concepts of a symmetry-protected sign problem and symmetry-protected magic, defined by the inability of symmetric finite-depth quantum circuits to transform a state into a nonnegative real wave...
Read more
A disc potential function plays an important role in studying a symplectic manifold and its Lagrangian submanifolds. In this talk, I will explain how to compute the disc potential function of...
Read more
In complex algebraic geometry, the decomposition theorem asserts that semisimple geometric objects remain semisimple after taking direct images under proper algebraic maps. This was conjectured by Kashiwara and is proved...
Read more