We define a notion of formal quantum field theory and associate a formal quantum field theory to K-theoretical intersection theories on Hilbert schemes of points on algebraic surfaces. This enables us to find an effective way to compute K-theoretical intersection theories on Hilbert schemes via a connection to Macdonald polynomials and vertex operators.

We propose some conjectures on the generating series of (equivariant) Euler characteristics of some vector bundles constructed from the tautological bundles on Hilbert schemes of points on affine $k$-spaces. We establish the surface case of these conjectures and present some verifications of the higher dimensional cases.

We show that each limiting semiclassical measure obtained from a sequence of eigenfunctions of the Laplacian on a compact hyperbolic surface is supported on the entire cosphere bundle. The key new ingredient for the proof is the fractal uncertainty principle, first formulated by Dyatlov-Zahl and proved for porous sets in Bourgain-Dyatlov.

No abstract uploaded!

No abstract uploaded!