{"id":6,"date":"2010-10-12T11:39:44","date_gmt":"2010-10-12T11:39:44","guid":{"rendered":"http:\/\/geometry.ma.ic.ac.uk\/seminar\/?page_id=6"},"modified":"2014-09-28T20:00:43","modified_gmt":"2014-09-28T20:00:43","slug":"autumn-term-2010","status":"publish","type":"page","link":"http:\/\/coates.ma.ic.ac.uk\/seminar\/?page_id=6","title":{"rendered":"Autumn Term 2010"},"content":{"rendered":"<p>&nbsp;<br \/>\n<em>Richard Thomas (Imperial). <\/em><strong>The G\u00f6<\/strong><strong>ttsche conjecture. <\/strong>Friday October 8th. Huxley 130, 1.30-2.30pm.<\/p>\n<p>Fix a complex surface S with a sufficiently positive holomorphic line bundle L. The zeros of sections of L are complex curves in S. A general (d+1)-dimensional subspace of the sections of L gives a d-dimensional family of curves on S. They are generically smooth, but nodal curves appear in codimension-1, twice nodal curves in codimension-2, etc. (and more singularities besides). There should be a finite number of curves with d nodes. It is a classical question how many there are. I will outline a proof that the answer is topological, given by a universal degree d polynomial in the four numbers <img src='http:\/\/s.wordpress.com\/latex.php?latex=c_1%28L%29%5E2%2C%20c_1%28L%29.c_1%28S%29%2C%20c_1%28S%29%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c_1(L)^2, c_1(L).c_1(S), c_1(S)^2' title='c_1(L)^2, c_1(L).c_1(S), c_1(S)^2' class='latex' \/> and <img src='http:\/\/s.wordpress.com\/latex.php?latex=c_2%28S%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='c_2(S)' title='c_2(S)' class='latex' \/>.<\/p>\n<p><em>Amin Gholampour (Imperial)<\/em><strong>. Counting invariants for the ADE McKay quivers<\/strong>. Friday October 15th. Huxley 130, 1.30-2.30pm.<\/p>\n<p>We study the moduli space of the McKay quiver representations Q associated to the finite subgroups <img src='http:\/\/s.wordpress.com\/latex.php?latex=G%20%3C%20SU%283%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='G &lt; SU(3)' title='G &lt; SU(3)' class='latex' \/>. Let <img src='http:\/\/s.wordpress.com\/latex.php?latex=Y%3DHilb_G%28%5Cmathbb%7BC%7D%5E3%29%20&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='Y=Hilb_G(\\mathbb{C}^3) ' title='Y=Hilb_G(\\mathbb{C}^3) ' class='latex' \/> be the natural Calabi-Yau resolution of <img src='http:\/\/s.wordpress.com\/latex.php?latex=%5Cmathbb%7BC%7D%5E3%2FG&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\mathbb{C}^3\/G' title='\\mathbb{C}^3\/G' class='latex' \/>. In the cases where the fibers of p are at most 1 dimensional, there is an equivalence of the abelian categories of such representations and the perverse sheaves on Y relative to p. By defining certain stability conditions on these abelian categories, the moduli spaces of Donaldson-Thomas and Pandharipande-Thomas invariants on Y , and of Szendroi invariants on Q are recovered. In the special case where <img src='http:\/\/s.wordpress.com\/latex.php?latex=G%20%3C%20SU%282%29%20%3C%20SU%283%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='G &lt; SU(2) &lt; SU(3)' title='G &lt; SU(2) &lt; SU(3)' class='latex' \/>, we prove a relation between these invariants by means of the wall crossing. This gives explicit formulas for the invariants which allows verifying the conjectural Gromov-Witten\/Donaldson-Thomas correspondence for\u00a0Y,\u00a0and\u00a0the\u00a0Donaldson-Thomas\u00a0Crepant\u00a0Resolution Conjecture for p.<\/p>\n<p><em>Victor Pidstrygach (Gottingen). <\/em><strong>Nonlinear Dirac operato<\/strong><strong>r<\/strong><strong>.<\/strong><strong> <\/strong>Friday October 22nd. Huxley 130, 1.30-2.30pm.<\/p>\n<p>One can define nonlinear analog of Dirac operator on a 4-manifold by replacing the clifford module with a hyperkahler manifold equipped with the suitable action of the spinor group. \u00a0We shall consider examples of suitable hyperkahler manifolds and discuss properties of harmonic spinors and some applications in gauge theory and geometry.<\/p>\n<p><em>Song Sun (Imperial). <strong><span style=\"font-style: normal;\">Uniqueness of constant scalar curvature Kahler metrics. <span style=\"font-weight: normal;\">Friday October 29th. Huxley 130, 1.30-2.30pm.<\/span><\/span><\/strong><\/em><\/p>\n<p><em><strong><span style=\"font-style: normal;\"><span style=\"font-weight: normal;\">We show that constant scalar curvature Kahler(cscK) metric &#8220;adjacent&#8221; to a given integral Kahler class is unique up to isomorphism. This generalizes the previous uniqueness heorems of \u00a0Donaldson and Chen-Tian, where the Kahler class itself is assumed to admit a cscK metric. This is also an infinite dimensional analogue of the Kempf-Ness theorem for semi-stable orbits. In this talk we shall emphasize this analogue. The techinal tools used in the proof are the Calabi flow and the metric geometry of the space of Kahler metrics. Joint with X-X Chen.<\/span><\/span><\/strong><\/em><\/p>\n<p><strong><span style=\"font-style: normal;\"><span style=\"font-weight: normal;\"><em>Vlad Lazic (Imperial).<\/em> <strong>New outlook on Mori theory.<\/strong><strong> <\/strong>Friday November 5th. Huxley 130, 1.30-2.30pm. <\/span><\/span><\/strong><\/p>\n<p>I will give a gentle introduction into Mori theory and then sketch how finite generation of certain algebras (proved by a self-contained argument in a paper by Paolo Cascini and me) implies in a straightforward way all the main results of Mori theory. This gives a new and much more efficient organisation of the theory. This is joint work with Alessio Corti.<\/p>\n<p><em>Yunfeng Jiang (Imperial). <\/em><strong>Quantum orbifold cohomology under toric flops.<\/strong><strong> <\/strong>Friday November 12th. Huxley 130, 1.30-2.30pm.<\/p>\n<p>Let <img src='http:\/\/s.wordpress.com\/latex.php?latex=%5Cmathcal%7BX%7D%5Cto%20%5Coverline%7BX%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\mathcal{X}\\to \\overline{X}' title='\\mathcal{X}\\to \\overline{X}' class='latex' \/> and <img src='http:\/\/s.wordpress.com\/latex.php?latex=%5Cmathcal%7BX%7D%5E%5Cprime%5Cto%5Coverline%7BX%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\mathcal{X}^\\prime\\to\\overline{X}' title='\\mathcal{X}^\\prime\\to\\overline{X}' class='latex' \/> be two contraction morphisms of smooth Deligne-Mumford stacks.\u00a0Let <img src='http:\/\/s.wordpress.com\/latex.php?latex=a%3D%28a_0%2C%5Ccdots%2Ca_n%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a=(a_0,\\cdots,a_n)' title='a=(a_0,\\cdots,a_n)' class='latex' \/> and <img src='http:\/\/s.wordpress.com\/latex.php?latex=b%3D%28b_0%2C%5Ccdots%2Cb_m%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='b=(b_0,\\cdots,b_m)' title='b=(b_0,\\cdots,b_m)' class='latex' \/> be two sequences of positive integers. \u00a0We assume that\u00a0<img src='http:\/\/s.wordpress.com\/latex.php?latex=%5Csum_%7Bi%3D0%7D%5E%7Bn%7Da_i%3D%5Csum_%7Bj%3D0%7D%5E%7Bm%7Db_%7Bj%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\sum_{i=0}^{n}a_i=\\sum_{j=0}^{m}b_{j}' title='\\sum_{i=0}^{n}a_i=\\sum_{j=0}^{m}b_{j}' class='latex' \/>. A rational morphism <img src='http:\/\/s.wordpress.com\/latex.php?latex=f%3A%20%5Cmathcal%7BX%7D%5Cto%5Cmathcal%7BX%7D%5E%5Cprime&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f: \\mathcal{X}\\to\\mathcal{X}^\\prime' title='f: \\mathcal{X}\\to\\mathcal{X}^\\prime' class='latex' \/> is called a toric flop if the flopping locus <img src='http:\/\/s.wordpress.com\/latex.php?latex=Z&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='Z' title='Z' class='latex' \/> is isomorphic to a weighted projective bundle over a subscheme <img src='http:\/\/s.wordpress.com\/latex.php?latex=S%5Csubset%20%5Coverline%7BX%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='S\\subset \\overline{X}' title='S\\subset \\overline{X}' class='latex' \/>, with fibre the weighted projective space <img src='http:\/\/s.wordpress.com\/latex.php?latex=%5Cmathbb%7BP%7D%28a_0%2C%5Ccdots%2Ca_n%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\mathbb{P}(a_0,\\cdots,a_n)' title='\\mathbb{P}(a_0,\\cdots,a_n)' class='latex' \/> such that the normal bundle <img src='http:\/\/s.wordpress.com\/latex.php?latex=N_%7BZ%2F%5Cmathcal%7BX%7D%7D%7C_%7BZ_%7Bs%7D%7D%5Ccong%20%5Coplus_%7Bi%3D0%7D%5E%7Bm%7D%5Cmathcal%7BO%7D%28-b_i%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='N_{Z\/\\mathcal{X}}|_{Z_{s}}\\cong \\oplus_{i=0}^{m}\\mathcal{O}(-b_i)' title='N_{Z\/\\mathcal{X}}|_{Z_{s}}\\cong \\oplus_{i=0}^{m}\\mathcal{O}(-b_i)' class='latex' \/> on the side of <img src='http:\/\/s.wordpress.com\/latex.php?latex=%5Cmathcal%7BX%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\mathcal{X}' title='\\mathcal{X}' class='latex' \/>, and on the side of <img src='http:\/\/s.wordpress.com\/latex.php?latex=%5Cmathcal%7BX%7D%5E%5Cprime&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\mathcal{X}^\\prime' title='\\mathcal{X}^\\prime' class='latex' \/>, the flopping locus <img src='http:\/\/s.wordpress.com\/latex.php?latex=Z%5E%5Cprime&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='Z^\\prime' title='Z^\\prime' class='latex' \/> is isomorphic to a weighted projective bundle over a subscheme <img src='http:\/\/s.wordpress.com\/latex.php?latex=S%5Csubset%20%5Coverline%7BX%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='S\\subset \\overline{X}' title='S\\subset \\overline{X}' class='latex' \/>, with fibre the weighted projective <img src='http:\/\/s.wordpress.com\/latex.php?latex=%5Cmathbb%7BP%7D%28b_0%2C%5Ccdots%2Cb_m%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\\mathbb{P}(b_0,\\cdots,b_m)' title='\\mathbb{P}(b_0,\\cdots,b_m)' class='latex' \/> such that the normal bundle <img src='http:\/\/s.wordpress.com\/latex.php?latex=N_%7BZ%5E%5Cprime%2F%5Cmathcal%7BX%7D%7D%7C_%7BZ%5E%7B%5Cprime%7D_%7Bs%7D%7D%5Ccong%20%5Coplus_%7Bi%3D1%7D%5E%7Bn%7D%5Cmathcal%7BO%7D%28-a_i%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='N_{Z^\\prime\/\\mathcal{X}}|_{Z^{\\prime}_{s}}\\cong \\oplus_{i=1}^{n}\\mathcal{O}(-a_i)' title='N_{Z^\\prime\/\\mathcal{X}}|_{Z^{\\prime}_{s}}\\cong \\oplus_{i=1}^{n}\\mathcal{O}(-a_i)' class='latex' \/>. \u00a0In the case of <img src='http:\/\/s.wordpress.com\/latex.php?latex=m%3Dn&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='m=n' title='m=n' class='latex' \/> and <img src='http:\/\/s.wordpress.com\/latex.php?latex=a_i%3Db_i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_i=b_i' title='a_i=b_i' class='latex' \/>, the toric flop satisfies the so called \u00a0&#8220;Hard Lefschetz condition&#8221;. \u00a0In this talk I will talk about how \u00a0quantum orbifold cohomology changes under such toric flops.<\/p>\n<p><em><strong><span style=\"font-style: normal;\"><span style=\"font-weight: normal;\"><em>Yaroslav Kurylev (UCL).<span style=\"font-style: normal;\"> <\/span><strong><span style=\"font-style: normal;\">Geometric convergence and inverse spectral problems<\/span>. <\/strong><span style=\"font-style: normal;\">Friday November 19th. Huxley 130, 1.30-2.30pm.<\/span><\/em><\/span><\/span><\/strong><\/em><\/p>\n<p><em><strong><span style=\"font-style: normal;\"><span style=\"font-weight: normal;\"><em> <\/em><strong><span style=\"font-weight: normal;\">We consider the inverse problems of the reconstruction of a Riemannian manifold from its spectral data (say, heat kernel) given on a part of the boundary or internal subdomain. In the first part of the talk we discuss the uniqueness in this problem while in the second part consider the question of stability and its relations to the issue of geometric convergence in proper classes of Riemannian manifolds.<\/span><\/strong><\/span><\/span><\/strong><\/em><\/p>\n<p><em>Ken Millett (University of California, Santa Barbara). <\/em><strong>Knots, Ephemeral Knots and, Slipknots. <\/strong>Friday November 26th. Huxley 130, 1.30-2.30pm.<\/p>\n<p>Knots, ephemeral knots and, slipknots occur with increasing probability and complexity as the length of random arcs increase. It is difficult, in practice, to locate them and to assess their size. Computer simulations give one a sense of what it true butthere are still many obscure aspects. \u00a0In addition, rigorous argument remains beyond present reach. \u00a0I will point out some examples of challenging open problems and a few conjectures.<\/p>\n<p><em><strong><span style=\"font-style: normal;\"><span style=\"font-weight: normal;\"><strong><em><span style=\"font-weight: normal;\">Reto Mueller (Scuola Normale Superiore, Pisa). <span style=\"font-style: normal;\"><strong>A compactness theorem for complete Ricci shrinkers. <\/strong>Friday December 3rd. Huxley 130, 1.30-2.30pm.<\/span><\/span><\/em><\/strong><\/span><\/span><\/strong><\/em><\/p>\n<p>We prove precompactness in an orbifold Cheeger-Gromov sense of complete gradient Ricci shrinkers with a lower bound on their entropy and a local integral Riemann bound. Contrary to previous work (for the compact case), we do not need any pointwise curvature assumptions, volume or diameter bounds. In dimension four, under a technical assumption, we can replace the local integral Riemann bound by an upper bound for the Euler characteristic. The proof relies on a Gauss-Bonnet with cutoff argument. This is joint work with\u00a0Robert Haslhofer.<\/p>\n<p><em><em>Andriy Haydys (Imperial).<\/em><strong><strong><em> <\/em><\/strong><\/strong><\/em><strong>Fukaya-Seidel category and gauge theory<\/strong><strong><strong><strong>.<\/strong><\/strong><\/strong><em><strong><strong><em><strong> <\/strong><\/em><\/strong><\/strong><\/em>Friday December 10th. Huxley 130, 1.30-2.30pm.<\/p>\n<p>In this talk I will first outline a new construction of the Fukaya-Seidel category, which is associated to a symplectic manifold\u00a0 equipped with a compatible almost complex structure J and a J-holomorphic Morse function.\u00a0 Then this construction will be applied in an in finite dimensional case of holomorphic Chern-Simons functional. The corresponding construction conjecturally associates a Fukaya-Seidel-type category to a smooth three-manifold.<\/p>\n<p><em>Shing-Tung Yau (Harvard). <\/em><strong>The shape of Inner Space.<\/strong> Imperial College <a href=\"http:\/\/www3.imperial.ac.uk\/mathematics\/about\/colloquia\">Colloquium<\/a>, Wednesday December 8th. Room G16, Sir Alexander Fleming Building, Imperial College, 6.30-7.30pm.<\/p>\n<p><span style=\"color: #ff0000;\">Previous talks<\/span>:\u00a0<a href=\"oldsem.html#2009\">2009<\/a>,\u00a0<a href=\"oldsem.html#2008\">2008<\/a>,\u00a0<a href=\"oldsem.html#2007\">2007<\/a>,\u00a0<a href=\"oldsem.html#2006\">2006<\/a>,\u00a0<a href=\"oldsem.html#2005\">2005<\/a>,\u00a0<a href=\"oldsem.html#2004\">2004<\/a>,\u00a0<a href=\"oldsem.html#2003\">2003<\/a>, <a href=\"oldsem.html#2002\">2002<\/a>, <a href=\"oldsem.html#2001\">2001<\/a>,\u00a0<a href=\"oldsem.html\">2000<\/a>, and <a href=\"http:\/\/www.mth.kcl.ac.uk\/events\/geomtop\/geomtop_past.html\">earlier<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>&nbsp; Richard Thomas (Imperial). The G\u00f6ttsche conjecture. Friday October 8th. Huxley 130, 1.30-2.30pm. Fix a complex surface S with a sufficiently positive holomorphic line bundle L. The zeros of sections of L are complex curves in S. A general (d+1)-dimensional subspace of the sections of L gives a d-dimensional family of curves on S. They &#8230;<\/p>\n<p><a href=\"http:\/\/coates.ma.ic.ac.uk\/seminar\/?page_id=6\" class=\"more-link\">Continue reading &lsquo;Autumn Term 2010&rsquo; &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":40,"comment_status":"open","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-6","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/coates.ma.ic.ac.uk\/seminar\/index.php?rest_route=\/wp\/v2\/pages\/6","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/coates.ma.ic.ac.uk\/seminar\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/coates.ma.ic.ac.uk\/seminar\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/coates.ma.ic.ac.uk\/seminar\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/coates.ma.ic.ac.uk\/seminar\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=6"}],"version-history":[{"count":51,"href":"http:\/\/coates.ma.ic.ac.uk\/seminar\/index.php?rest_route=\/wp\/v2\/pages\/6\/revisions"}],"predecessor-version":[{"id":780,"href":"http:\/\/coates.ma.ic.ac.uk\/seminar\/index.php?rest_route=\/wp\/v2\/pages\/6\/revisions\/780"}],"wp:attachment":[{"href":"http:\/\/coates.ma.ic.ac.uk\/seminar\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=6"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}