3:45PM: Schur Functors and Free ResolutionsJerzy WeymanI will report on one half of the recent proof of BoijSoderberg conjectures on Betti numbers of graded modules, proved in a joint paper "The Existence of Pure Free Resolutions" with Eisenbud and Floystad, arXiv:0709.1529 . The other half was done by Eisenbud and Schreyer in the paper "Betti Numbers of Graded Modules and Cohomology of Vector Bundles" arXiv:0712.1843. A minimal free resolution of a graded module $M$ of finite length over a polynomial ring $A = K[X_1 ,\ldots ,X_n ]$ is pure if the $i$th term $F_i$ of the resolution is a free module generated in one degree $d_i$. We show using representation theory of general linear group that for every $n$ and for every sequence ${\underline d}= (d_0,\ldots ,d_n )$ there exists a pure resolution with the $i$th term generated in degree $d_i$ for $i=0,\ldots ,n$.

5:00PM: (Conjectural) triply graded link homology groups of the Hopf link and Hilbert schemes of points on the planeHiraku NakajimaGukov et al. suggested triply graded link homology groups via refined BPS counting on the deformed conifold. Through large N duality they identify their Poincar\'e polynomials for the Hopf link as refined topological vertices. I further apply the geometric engineering to interpret them as holomorphic Euler characteristics of natural vector bundles over Hilbert schemes of points on the affine plane. Then they perfectly make sense mathematically.

7:15PM: Noncommutative differential operators, unparametrized paths and Hodge structuresMikhail KapranovA noncommutative differential operator (NCDO) on a manifold X is a compatible system of linear differential operators acting in all vector bundles with connections on X. The ring of such operators can be seen as a highly noncommutative version of the mildly noncommutative ring of usual differential operators: the partial derivatives are replaced by formal covariant derivatives which no longer commute and account for the curvature data. The talk will explain the relation of NCDO with the space of formal germs of unparametrized paths. In particular, we will make precise the statement that a connection is uniquely defined, up to a formal germ of isomorphism, by all the higher covariant derivatives of the curvature evaluated at one point. This relation allows us to give a ``gaugetheoretic' description of the category of mixed Hodge structures.
