L3

Vopenka's Principle is a very strong large cardinal axiom which can be used to extend ZFC set theory. It was used quite recently to resolve an important open question in algebraic topology: assuming Vopenka's Principle, localisation functors exist for all generalised cohomology theories. After describing the axiom and sketching this application, I will talk about some recent results showing that Vopenka's Principle is relatively consistent with a wide range of other statements known to be independent of ZFC. The proof is by showing that forcing over a universe satisfying Vopenka's Principle will frequently give an extension universe also satisfying Vopenka's Principle.

Motivic exponential integrals are an abstract version of p-adic exponential integrals for big p. The latter in itself is a flexible tool to describe (families of) finite expontial sums. In this talk we will only need the more concrete view of "uniform in p p-adic integrals"

instead of the abstract view on motivic integrals. With F. Loeser, we obtained a first transfer principle for these integrals, which allows one to change the characteristic of the local field when one studies equalities of integrals, which appeared in Ann. of Math (2010). This transfer principle in particular applies to the Fundamental Lemma of the Langlands program (see arxiv). In work in progress with Halupczok and Gordon, we obtain a second transfer principle which allows one to change the characteristic of the local field when one studies integrability conditions of motivic exponential functions. This in particular solves an open problem about the local integrability of Harish-Chandra characters in (large enough) positive characteristic.

In 1974 Haim Gaifman conjectured that if a first-order theory T is relatively categorical over T(P) (the theory of the elements satisfying P), then every model of T(P) expands to one of T.

The conjecture has long been known to be true in some special cases, but nothing general is known. I prove it in the case of abelian groups with distinguished subgroups. This is some way outside the previously known cases, but the proof depends so heavily on the Kaplansky-Mackey proof of Ulm's theorem that the jury is out on its generality.

Symplectic cohomology is an invariant of symplectic manifolds with contact type boundary. For example, for disc cotangent bundles it recovers the

homology of the free loop space. The aim of this talk is to describe algebraic operations on symplectic cohomology and to deduce applications in

symplectic topology. Applications range from describing the topology of exact Lagrangian submanifolds, to proving existence theorems about closed

Hamiltonian orbits and Reeb chords.

I will show that given smooth embedded Lagrangian L in a Calabi-Yau, one can find a perturbation of L which lies in the same hamiltonian isotopy class and such that the correspondent solution to mean curvature flow develops a finite time singularity. This shows in particular that a simplified version of the Thomas-Yau conjecture does not hold.

In [Liang, Lyons and Qian(2009): Backward Stochastic Dynamics on a Filtered Probability Space, to appear in the Annals of Probability], the authors demonstrated that BSDEs can be reformulated as functional differential equations, and as an application, they solved BSDEs on general filtered probability spaces. In this paper the authors continue the study of functional differential equations and demonstrate how such approach can be used to solve FBSDEs. By this approach the equations can be solved in one direction altogether rather than in a forward and backward way. The solutions of FBSDEs are then employed to construct the weak solutions to a class of BSDE systems (not necessarily scalar) with quadratic growth, by a nonlinear version of Girsanov's transformation. As the solving procedure is constructive, the authors not only obtain the existence and uniqueness theorem, but also really work out the solutions to such class of BSDE systems with quadratic growth. Finally an optimal portfolio problem in incomplete markets is solved based on the functional differential equation approach and the nonlinear Girsanov's transformation.

The talk is based on the joint work with Lyons and Qian:

http://arxiv4.library.cornell.edu/abs/1011.4499

On a manifold there is the graded algebra of polyvector fields with its Lie-Schouten bracket, and the module of de Rham differentials with exterior differentiation. This package is called a "calculus". The moduli

space of sheaves (or derived category objects) on a Calabi-Yau threefold has a kind of "virtual calculus" on it, at least conjecturally. In particular, this moduli space has virtual de Rham cohomology groups, which categorify Donaldson-Thomas invariants, at least conjecturally. We describe some attempts at constructing such a virtual calculus. This is work in progress.