Given a nested pair X and Y of complex projective varieties, there is a single positive integer e which measures the singularity type of X inside Y. This is called the Hilbert-Samuel multiplicity of Y along X, and it appears in the formulations of several standard intersection-theoretic constructions including Segre classes, Euler obstructions, and various other multiplicities. The standard method for computing e requires knowledge of the equations which define X and Y, followed by a (super-exponential) Grobner basis computation. In this talk we will connect the HS multiplicity to complex links, which are fundamental invariants of (complex analytic) Whitney stratified spaces. Thanks to this connection, the enormous computational burden of extracting e from polynomial equations reduces to a simple exercise in clustering point clouds. In fact, one doesn't even need the polynomials which define X and Y: it suffices to work with dense point samples. This is joint work with Martin Helmer.

In this talk, I will work on a smooth projective threefold X which satisfies the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the projective space P^3 or the quintic threefold. I will show certain moduli spaces of 2-dimensional torsion sheaves on X are smooth bundles over Hilbert schemes of ideal sheaves of curves and points in X. When X is Calabi-Yau this gives a simple wall crossing formula expressing curve counts (and so ultimately Gromov-Witten invariants) in terms of counts of D4-D2-D0 branes. This is joint work with Richard Thomas. 

Materials made from a mixture of liquid and solid are, instinctively, very obviously complex. From dilatancy (the reason wet sand becomes dry when you step on it) to extreme shear-thinning (quicksand) or shear-thickening (cornflour oobleck) there is a wide range of behaviours to explain and predict. I'll discuss the seemingly simple case of solid spheres suspended in a Newtonian fluid matrix, which still has plenty of surprises up its sleeve.

It has long been known that many elliptic partial differential equations can be reformulated as Fredholm integral equations of the second kind on the boundaries of their domains. The kernels of the resulting integral equations are weakly singular, which has historically made their numerical solution somewhat onerous, requiring the construction of detailed and typically sub-optimal quadrature formulas. Recently, a numerical algorithm for constructing generalized Gaussian quadratures was discovered which, given 2n essentially arbitrary functions, constructs a unique n-point quadrature that integrates them to machine precision, solving the longstanding problem posed by singular kernels.

When the domains have corners, the solutions themselves are also singular. In fact, they are known to be representable, to order n, by a linear combination (expansion) of n known singular functions. In order to solve the integral equation accurately, it is necessary to construct a discretization such that the mapping (in the L^2-sense) from the values at the discretization points to the corresponding n expansion coefficients is well-conditioned. In this talk, we present exactly such an algorithm, which is optimal in the sense that, given n essentially arbitrary functions, it produces n discretization points, and for which the resulting interpolation formulas have condition numbers extremely close to one.

---

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please send email to @email.

One of the standard methods for the solution of elliptic boundary value problems calls for reformulating them as systems of integral equations.  The integral operators that arise in this fashion typically have singular kernels, and, in many cases of interest, the solutions of these equations are themselves singular.  This makes the accurate discretization of the systems of integral equations arising from elliptic boundary value problems challenging.

Over the last decade, Generalized Gaussian quadrature rules, which are n-point quadrature rules that are exact for a collection of 2n functions, have emerged as one of the most effective tools for discretizing singular integral equations. Among other things, they have been used to accelerate the discretization of singular integral operators on curves, to enable the accurate discretization of singular integral operators on complex surfaces and to greatly reduce the cost of representing the (singular) solutions of integral equations given on planar domains with corners.

We will first briefly outline a standard method for the discretization of integral operators given on curves which is highly amenable to acceleration through generalized Gaussian quadratures. We will then describe a numerical procedure for the construction of Generalized Gaussian quadrature rules.

Much of this is joint work with Zydrunas Gimbutas (NIST Boulder) and Vladimir Rokhlin (Yale University).

A link for this talk will be sent to our mailing list a day or two in advance.  If you are not on the list and wish to be sent a link, please send email to @email.

This is a report on joint work with Martijn Kool. 

Recently, Marian-Oprea-Pandharipande established a generalization of Lehn’s conjecture for Segre numbers associated to Hilbert schemes of points on surfaces. Extending work of Johnson, they provided a conjectural correspondence between Segre and Verlinde numbers. For surfaces with holomorphic 2-form, we propose conjectural generalizations of their results to moduli spaces of stable sheaves of higher rank. 

Using Mochizuki’s formula, we derive a universal function which expresses virtual Segre and Verlinde numbers of surfaces with holomorphic 2-form in terms of Seiberg- Witten invariants and intersection numbers on products of Hilbert schemes of points. We use this to  verify our conjectures in examples.