If $Q(x_0,x_1,x_2)$ is a quadratic form, how many solutions, of size at most $B$, does $Q=0$ have? How does this depend on $Q$? We apply the answers to the surface $y_0 Q_0 +y_1 Q_1 = 0$ in $P^1 x P^2$. (Joint work with Dan Loughran.)
Classical ramification theory deals with complete discrete valuation fields k((X)) with perfect residue fields k. Invariants such as the Swan conductor capture important information about extensions of these fields. Many fascinating complications arise when we allow non-discrete valuations and imperfect residue fields k. Particularly in positive residue characteristic, we encounter the mysterious phenomenon of the defect (or ramification deficiency). The occurrence of a non-trivial defect is one of the main obstacles to long-standing problems, such as obtaining resolution of singularities in positive characteristic.
Degree p extensions of valuation fields are building blocks of the general case. In this talk, we will present a generalization of ramification invariants for such extensions and discuss how this leads to a better understanding of the defect. If time permits, we will briefly discuss their connection with some recent work (joint with K. Kato) on upper ramification groups.
I will discuss the following statement, a definable version of the (p,q) theorem of Jiří Matoušek from combinatorics, conjectured by Chernikov and Simon:
Suppose that T is NIP and that phi(x,b) does not fork over a model M. Then there is some formula psi(y) in tp(b/M) such that the partial type {phi(x,b’) : psi(b’)} is consistent.
Donaldson-Thomas theory is classically defined for moduli spaces of sheaves over a Calabi-Yau threefold. Thanks to recent foundational work of Cao-Leung, Borisov-Joyce and Oh-Thomas, DT theory has been extended to Calabi-Yau 4-folds. We discuss how, in this context, one can define natural K-theoretic refinements of Donaldson-Thomas invariants (counting sheaves on Hilbert schemes) and Pandharipande-Thomas invariants (counting sheaves on moduli spaces of stable pairs) and how — conjecturally — they are related. Finally, we introduce an extension of DT invariants to Calabi-Yau 4-orbifolds, and propose a McKay-type correspondence, which we expect to be suitably interpreted as a wall-crossing phenomenon. Joint work (in progress) with Yalong Cao and Martijn Kool.
Over the last years, two different approaches to construct symmetry algebras acting on the cohomology of Nakajima quiver varieties have been developed. The first one, due to Maulik and Okounkov, exploits certain Lagrangian correspondences, called stable envelopes, to generate R-matrices for an arbitrary quiver and hence, via the RTT formalism, an algebra called Yangian. The second one realises the cohomology of Nakajima varieties as modules over the cohomological Hall algebra (CoHA) of the preprojective algebra of the quiver Q. It is widely expected that these two approaches are equivalent, and in particular that the Maulik-Okounkov Yangian coincides with the Drinfel’d double of the CoHA.
Motivated by this conjecture, in this talk I will show how to identify the stable envelopes themselves with the multiplication map of a subalgebra of the appropriate CoHA.
As an application, I will introduce explicit inductive formulas for the stable envelopes and use them to produce integral solutions of the elliptic quantum Knizhnik–Zamolodchikov–Bernard (qKZB) difference equation associated to arbitrary quiver (ongoing project with G. Felder and K. Wang). Time permitting, I will also discuss connections with Cherkis bow varieties in relation to 3d Mirror symmetry (ongoing project with R. Rimanyi).
I will talk about homological enumerative invariants for vector bundles on algebraic curves. These invariants were defined by Joyce, and encode rich information about the moduli space of semistable vector bundles, such as its volume and intersection numbers, which were computed by Witten, Jeffrey and Kirwan in previous work. I will define a notion of regularization of divergent infinite sums, and I will express the invariants explicitly as such a divergent sum in a vertex algebra.
Shrinking Ricci solitons are Ricci flow solutions that self-similarly shrink under the flow. Their significance comes from the fact that finite-time Ricci flow singularities are typically modeled on gradient shrinking Ricci solitons. Here, we shall address a certain converse question, namely, “Given a complete, noncompact gradient shrinking Ricci soliton, does there exist a Ricci flow on a closed manifold that forms a finite-time singularity modeled on the given soliton?” We’ll discuss work that shows the answer is yes when the soliton is asymptotically conical. No symmetry or Kahler assumption is required, and so the proof involves an analysis of the Ricci flow as a nonlinear degenerate parabolic PDE system in its full complexity. We’ll also discuss applications to the (non-)uniqueness of weak Ricci flows through singularities.
Labourie proved that every Hitchin representation into PSL(n,R) gives rise to an equivariant minimal surface in the corresponding symmetric space. He conjectured that uniqueness holds as well (this was known for n=2,3), and explained that if true, then the Hitchin component admits a mapping class group equivariant parametrization as a holomorphic vector bundle over Teichmüller space.
In this talk, we will define Hitchin representations, Higgs bundles, and minimal surfaces, and give the background for the Labourie conjecture. We will then explain that the conjecture fails for n at least 4, and point to some future questions and conjectures.
We study the problem of determining when a compact group can be realized as the group of isometries of a norm on a finite dimensional real vector space. This problem turns out to be difficult to solve in full generality, but we manage to understand the connected groups that arise as connected components of isometry groups. The classification we obtain is related to transitive actions on spheres (Borel, Montgomery-Samelson) on the one hand and to prehomogeneous spaces (Vinberg, Sato-Kimura) on the other. (joint work with Martin Liebeck, Assaf Naor and Aluna Rizzoli)
For positive integers $k$ and $n$ let $\sigma_k(n)$ denote the sum of the $k$th powers of the divisors of $n$. Erd\H{o}s and Kac conjectured that, for every $k$, the number $\alpha_k = \sum_{n\geq 1} \frac{\sigma_k(n)}{n!}$ is irrational. This is known conditionally for all $k$ assuming difficult conjectures like the Hardy-Littlewood prime $k$-tuples conjecture. Before our work it was known unconditionally that $\alpha_k$ is irrational if $k\leq 3$. We discuss some of the ideas in our recent proof that $\alpha_4$ is irrational. The proof involves sieve methods and exponential sum estimates.