L3

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.

Abstract: Quantales are ordered algebras which can be thought of as pointfree noncommutative topologies. In recent years, their connections have been studied with fundamental notions in noncommutative geometry such as groupoids and C*-algebras. In particular, the setting of quantales corresponding to étale groupoids has been very well understood: a bijective correspondence has been defined between localic étale groupoids and inverse quantale frames. We present an equivalent but independent way of defining this correspondence for topological étale groupoids and we extend this correspondence to a non-étale setting.

Both parts will deal with spherical objects in the bounded derived

category of coherent sheaves on K3 surfaces. In the first talk I will

focus on cycle theoretic aspects. For this we think of the Grothendieck

group of the derived category as the Chow group of the K3 surface (which

over the complex numbers is infinite-dimensional due to a result of

Mumford). The Bloch-Beilinson conjecture predicts that over number

fields the Chow group is small and I will show that this is equivalent to

the derived category being generated by spherical objects (which

I do not know how to prove). In the second talk I will turn to stability

conditions and show that a stability condition is determined by its

behavior with respect to the discrete collections of spherical objects.