With the discovery of a binary neutron star coalescence in
gravitational waves, and the discovery of an associated short
gamma-ray burst, and the discovery of an associated optical
afterglow, we have finally entered the era of
gravitational-wave...
We consider the coherent cohomology of toroidal compactifications
of Shimura varieties with coefficients in the canonical extensions
of automorphic vector bundles and show that they can be computed as
relative Lie algebra cohomology of automorphic...
Proof complexity studies the problem computer scientists and
mathematicians face every day: given a statement, how can we prove
it? A natural and well-studied question in proof complexity is to
find upper and lower bounds on the length of the...
In joint work with Buryak, Pandharipande and Tessler (in
preparation), we define equivariant stationary descendent integrals
on the moduli of stable maps from surfaces with boundary to
$(\mathbb{CP}^1,\mathbb{RP}^1)$. For stable maps of the disk...