Connections in Geometry and Physics 2010

I will discuss recent joint work with A. Ionescu and S. Klainerman on the black hole uniqueness problem. A classical result of Hawking (building on earlier work of Carter and Robinson) asserts that any vacuum, stationary black hole exterior region must be isometric to the Kerr exterior, under the restrictive assumption that the space-time metric shouldbe analytic in the entire exterior region. We prove that Hawking's theorem remains valid without the assumption of analyticity, for black hole exteriors which are apriori assumed to be ''close'' to the Kerr exterior solution in a very precise sense. Our method of proof relies on certain geometric Carleman-type estimates for the wave operator. Time permitting, some more recent developments will also be surveyed.

The Petrov classification of the Weyl tensor is an important tool in the study of exact solutions of the Einstein equation in 4d. For example, the Kerr solution was discovered in a study of spacetimes with algebraically special Weyl tensors. Algebraic classification of the Weyl tensor has been extended to higher dimensions. I shall review this classification and describe known families of algebraically special solutions. Recent progress towards obtaining a higher dimensional generalization of the Goldberg-Sachs theorem will be described.

There appear to be only two essentially distinct ways to understand intersection numbers on moduli spaces of curves --- via Hurwitz numbers or symplectic volumes. In this talk, we will consider polynomials defined by Norbury which bridge the gap between these two pictures. They appear in the enumeration of lattice points in moduli spaces of curves and it appears that their coefficients store interesting information. We will also describe a connection between these polynomials and the topological recursion defined by Eynard and Orantin.

We will discuss the notion of categorical Lie algebra actions, as introduced by Rouquier and Khovanov-Lauda. In particular, we will give examples of categorical Lie algebra actions on derived categories of coherent sheaves. We will show that such categorical Lie algebra actions lead to actions of braid groups.

The topological recursion of Eynard and Orantin has found many applications in various areas of mathematics. In this talk I will discuss the recursion from the point of view of Hurwitz numbers and local mirror symmetry. I will explain the mathematics underlying the recursion, its relation with the cut-and-join equation, and explore first steps towards proving (and understanding geometrically) the appearance of the recursion in local mirror symmetry.

We introduce a projective hypersurface ''normal form'' for a class of K3 surfaces which generalizes the classical Weierstrass normal form for complex elliptic curves. A geometric two-isogeny relates these K3 surfaces to the Kummer K3 surfaces of principally polarized abelian surfaces, with the normal form coefficients naturally identifying with the Igusa basis of Siegel modular forms of degree two. These results are reinterpreted through the lens of the Kuga-Satake Hodge Conjecture, and seen as a prediction coming from mirror symmetry.

There have been many attempts to define quasilocal mass for a spacelike 2-surface in a spacetime by the Hamilton-Jacobi method. The essential difficulty in this approach is the choice of the background configuration to be subtracted from the physical Hamiltonian. The quasilocal mass should be positive for general surfaces, but on the other hand should be zero for surfaces in the flat spacetime. In this talk, I shall describe how to use isometric embeddings into the Minkowski space to overcome this difficulty and propose a new definition of gauge-independent quasi-local mass that has the desired properties, in addition to other natural requirements for a mass. This talk is based on a joint work with Shing-Tung Yau at Harvard.

Clifford algebras arose in Dirac's work on the relativistic wave equation in quantum mechanics. Using the Clifford algebra associated to a quadratic form on a finite dimensional vector space, one can reduce the relativistic wave equation, a PDE of order two, to a system of linear PDEs. Similarly, one can use matrix representations of generalized (i.e. higher degree) Clifford algebras to reduce a PDE of higher degree. These generalized Clifford algebras have been the subject of ongoing research since late 1980s. In this talk, we will discuss generalized Clifford algebras, known results about their representations, and results of ongoing work in this direction.

The Hilbert scheme X[n] of n points on variety X parameterizes length n, zero dimensional subschemes of X. When X is a smooth surface, X[n] is also smooth and a beautiful formula for its motive was determined by Gottsche. When X is a threefold, X[n] is in general singular, of the wrong dimension, and reducible. However if X is a smooth Calabi-Yau threefold, X[n] has a canonical virtual motive --- a motification of the degree zero Donaldson-Thomas invariants. We give a formula analogous to Gottsche's for the virtual motive of X[n]. The key computation gives a q-refinement of the classical formula of MacMahon which counts 3D partitions.

The Hilbert scheme X[n] of n points on variety X parameterizes length n, zero dimensional subschemes of X. When X is a smooth surface, X[n] is also smooth and a beautiful formula for its motive was determined by Gottsche. When X is a threefold, X[n] is in general singular, of the wrong dimension, and reducible. However if X is a smooth Calabi-Yau threefold, X[n] has a canonical virtual motive --- a motification of the degree zero Donaldson-Thomas invariants. We give a formula analogous to Gottsche's for the virtual motive of X[n]. The key computation gives a q-refinement of the classical formula of MacMahon which counts 3D partitions.