Past Abstracts

This page contains abstracts from previous Calf seminars, listed alphabetically by speaker. Please contact one of the organisers if you spot any errors or dead links. Mohammad Akhtar (Imperial College) Mutations and Fano Varieties. This talk is an introduction to the theory of mutations. We will discuss two closely related viewpoints on the subject: the algebraic approach interprets mutations as birational transformations, and is concerned with their action on Laurent polynomials. The combinatorial approach sees mutations as operations on lattice polytopes, and allows one to construct deformations of the corresponding toric varieties. We will explain the role played by algebraic mutations in the program to classify Fano 4-folds. We also discuss recent results concerning combinatorial mutations of weighted projective surfaces. The contents of this talk are joint work with Tom Coates, Alexander Kasprzyk and Sergey Galkin. Oliver E. Anderson (University of Liverpool) Chow sheaves and h-representability. Abstract: We start by giving an introduction to Suslin and Voevodsky's theory of relative cycles and h-topologies. After this is done we briefly describe Kollar's theory of families of algebraic cycles before proving that Suslin and Voevodsky?s presheaf of effective relative cycles of dimension r and degree d is h-represented by Kollar?s coarse moduli space Chow_{r,d}(X/S). As an application we give a modern proof of the following classical result: Let X be a scheme over an algebraically closed field (of arbitrary characteristic), then two cycles Z,Z' on X are algebraically equivalent if and only if there is a cycle W such that Z + W and Z' + W are both positive and there passes an irreducible curve through the corresponding points of the Chow scheme. Elizabeth Baldwin (University of Oxford) Introduction to Deligne-Mumford Stacks; Parts I & II. Stacks are a more general object than schemes. Their definition is very abstract; they are in fact categories, and only after some work can their geometric structure be understood. We will start part I by defining categories fibred in groupoids, with emphasis on examples and moduli interpretations. From there we will move on to Deligne-Mumford stacks, and define the etale topology on these. In part II we review the definition of categories fibered in groupoids. We then go on to look at how these may be assigned geometric properties, via representable morphisms, and define Deligne-Mumford stacks. Moduli of stable maps as a GIT quotient. The moduli space of curves is one of the most fundamental objects in attempts to classify algebraic varieties or schemes. This may be generalised to the moduli space of pointed curves, and futher to moduli spaces of pointed maps (where the maps are from curves to a specified space). Geometric invariant theory is a powerful tool for creating quotients in algebraic geometry. It is hence a way to construct moduli spaces. An early construction of the moduli space of curves was done in this way, by Gieseker. Along with David Swinaski, I have extended his method to construct the moduli space of pointed maps. We will review the definitions of the spaces in question, and of geometric invariant theory, before going through an outline of the method. Federico Barbacovi (UCL) Flops and derived equivalences. In algebraic geometry every time we encounter a flop we expect to find a derived equivalence. Many examples of this phenomenon are known, and more are appearing. In this talk I will start explaining the case of the Atiyah flop and its generalisations, so to get a flavour of how to tackle the problem of proving the derived equivalence. Then, I will talk about the Abuaf flop, an example of 5-folds flop. To conclude, I will survey the reasons why understanding the derived equivalence is interesting from a purely geometric point of view. SemiOrthogonal Decompositions, gluing, and spherical twists. Since their introduction, SemiOrthogonal Decompositions have played an important role in the study of derived categories. The reason is that they allow to “chop up” the category is smaller (generally easier) pieces. We will start by defining a SOD and working through some examples. Then, we will see how to glue two categories in such a way to get a SOD, and finally, if time permits, I will explain how this all fits into the picture of gluing spherical functors. To make things explicit, we will use the example of the category of modules over an algebra. Marta Benozzo (University College London) A canonical bundle formula in positive characteristic An important problem in birational geometry is trying to relate in a meaningful way the canonical bundles of the source and the base of a fibration. The first result in this area is Kodaira’s canonical bundle formula for elliptic fibrations on surfaces. Until recent developments, in characteristic 0 more general results had been established only thanks to Hodge theory which is a tool that we cannot use in positive characteristic. One of the main differences between characteristic 0 and positive characteristic is the presence of purely inseparable maps. The Frobenius can be an enemy of algebraic geometers, giving counterexamples to many conjectures, but it can also be a powerful tool. During the talk, we will see how we can exploit the Frobenius to get a canonical bundle formula in positive characteristic, following the work of Das-Schwede. Gergely Berczi (University of Budapest) Multidegrees of Singular Maps. Let G be a compact, semisimple Lie group. Given a affine algebraic variety in a complex vector space, invariant under the linear G-action on the vector space, one can ask for the multidegree of the variety, which is an element of the equivariant cohomology ring of the vector space. This is a polynomial in dimT variables (T is the maximal torus), which stores more information about the variety than the ordinary degree of the projective closure of it. The goal is to show a toy example for calculating multidegrees coming from singularities of maps, using equivariant localization, and show how nonreductive quotients come into the picture. Fabio Bernasconi (Imperial College) Some remarks on singular Fano threefolds in positive characteristic. According to the Minimal model Program, Fano varieties constitute one of the building blocks of algebraic varieties. Over the complex numbers we now have a good understanding of their behavior, e.g. we know the vanishing of the cohomology groups of the structure sheaf, that they are rationally connected varieties and, with some assumptions on the singularities, that they are bounded. However their geometry is still shrouded in mystery over fields of positive characteristic. We will survey some of the known results, explaining where difficulties and subtleties arise and I will discuss some of my recent work aimed to bound their possible pathological behavior. Alberto Besana (University of Milan) Symplectic aspects of framed knots. We propose an interpretation of the topological framing of a knotas a generating function for a Lagrangian submanifold of a symplectic manifold; the setting is Brylinski's space of knots (embedding of S^1 in R^3) and Maslov theory for Lagrangian submanifold. Examples and applications to existence of linear bundles with prescribed curvature will be given. Valentin Boboc (University of Manchester) Stability of Cotangent Bundles of Weierstrass Fibrations. Constructing Hermite-Einstein metrics on the tangent bundles of differentiable manifolds is a long-standing question with many geometric and physical implications. By the Kobayashi-Hitchin correspondence, this question is connected to the stability of the tangent bundle in the sense of Mumford and Takemoto. Whilst a fair amount is known about Fano and Calabi-Yau manifolds, in this talk we will discuss some new results concerning certain elliptic surfaces which can be obtained as Galois covers of ruled surfaces. For the sake of simplicity, we will restrict ourselves to smooth Weierstrass fibrations over the projective line. This is work for my PhD thesis, supervised by Hendrik Süß. Arkadij Bojko (University of Oxford) Computing with virtual fundamental classes of Hilbert schemes on Calabi--Yau 4-folds. Joyce introduced a new approach to wall-crossing for \C-linear enumerative theories by constructing a vertex algebra on the homology of the stack of coherent sheaves. A conjectural application of this theory is a wall-crossing formula of virtual fundamental cycles in Calabi--Yau 4-folds which were introduced in recent years. We apply this framework to virtual fundamental classes of Hilbert schemes, by considering an insertion given by the top Chern class of a tautological vector bundle $L^{[n]}$ associated to any line bundle $L$ on $X$. We prove that the conjectural formula of Cao--Kool for these invariants holds for any $L$ if it is true for any smooth divisor. Assuming this, we also give an explicit expression of the virtual fundamental class of Hilbert schemes and 0-dimensional sheaves, which allows us to compute with other insertions. Matt Booth (University of Edinburgh) Contraction algebras and noncommutative derived geometry. Given a threefold flopping contraction, one can associate to it a finite-dimensional noncommutative algebra, the contraction algebra, which controls the noncommutative deformation theory of the flopping curves. If the threefold was smooth, this algebra is conjectured to determine the complete local geometry of the base. I'll talk about a new invariant, the derived contraction algebra (which has an interpretation in terms of derived deformation theory), and explain (via singularity categories) why the derived version of the above conjecture holds. Time permitting, I'll talk about the flop-flop autoequivalence and indicate some aspects of the theory for surfaces. Pawel Borowka (University of Bath) Abelian surfaces and genus 4 curves. I would like to present some basic facts on abelian varieties. In particular I am interested in (1,3) polarised abelian surfaces. In analogy with the theta divisor I will distinguish a curve in the linear system of polarization. Using an idea of Andreotti and Mayer I will prove that on a genaral surface the resulting curve is smooth. An easy exercise or an open problem? In my talk I will present the paper of H. Graf von Bothmer et. al. (arXiv:math/0605090v2). Using a nice scheme theory they partially proved the Casas Alvero question about polynomials in one variable. Non-simple abelian varieties. Abstract: In dimension two, the locus of non-simple principally polarised abelian varieties have infinitely many irreducible components called Humbert surfaces. I will briefly explain the situation there and show how to generalise the notion of Humbert surface to higher dimensions to find irreducible components of the locus of non-simple principally polarised abelian varieties. Nathan Broomhead (University of Bath) Cohomology of line bundles on toric varieties. One of the reasons for studying toric varieties is the ability to do certain computations simply, using the combinatoric structure. In this talk we consider an example of this. We recall with reference to P2 the usual construction of a toric variety from its fan. We then introduce Cech cohomology, and use this to look at the cohomology of line bundles on toric varieties in terms of cohomology calculated on the support of the fan. As an example of its use, we prove a vanishing theorem for toric varieties. The Dimer Model and Calabi-Yau Algebras. From dimer models, first studied in physics, we can produce a class of Calabi-Yau algebras which are candidates for non-commutative crepant resolutions of Gorenstein 3-fold affine toric singularities. In this talk I will introduce, via examples, dimers and their corresponding toric varieties. I will then talk briefly about the "consistency" condition that underlies the Calabi-Yau property. Tim Browning (University of Oxford) Arithmetic of del Pezzo surfaces. Del Pezzo surfaces provide beatiful examples of rational surfaces. Whilst their geometry is classical, they are still somewhat myserious from the point of view of a number theorist. A basic property of such surfaces is that there are infinitely many rational points on the surface provided there is at least one. I will discuss two basic questions: 1) When does there exist a rational point? 2) Whenever the set of rational points is non-empty, how dense is it? Jaroslaw Buczynski (University of Warsaw) Linear sections of some Segre products. I will explicitly describe and identify general linear sections of some products of varieties (mainly P^1 \times P^n and P^1 \times \Q^{n-1}) under their the Segre embeddings. Legendrian varieties. For given a vector space V with a symplectic form we define a subvariety in P(V) to be legendrian if its affine cone has a Lagrangian tangent space at each smooth point. We can prove that the ideal defining a legendrian subvariety is a Lie subalgebra of the ring of functions on V with Poisson bracket. Specially interesting is the case where the ideal is generated by quadratic functions - then we can restrict our considerations to a finite dimensional Lie algebra which happens to be isomorphic to the symplectic algebra of V. Next we prove that the subgroup of Sp(V) corresponding to the subvariety act transitively on smooth points of the subvariety (in particular, if it is smooth then it is homogeneous). The next goal is fully classify legendrian subvarieties generated by quadrics. There are not to many examples: twisted cubic in P^3, product P^1 times Q_{n-2} in P^{2n-1} (where Q_{n-2} is a smooth quadric in P^{n-1} and the embedding is Segre embedding) and four more exceptional examples. This list appears in a paper of Landsberg and Manivel and also in Mukai "Legendre varieties and simple Lie algebras". The conjecture is that these are all possible smooth legendrian subvarieties generated by quadrics. Moreover no singular example is known - so possibly the assumption of smoothness is not necessary. For more details see the preprint math.AG/0503528. Vittoria Bussi (Oxford) Categorification of Donaldson-Thomas invariants and of Lagrangian intersections. We study the behaviour of perverse sheaves of vanishing cycles under action of symmetries and stabilization, and we investigate to what extent they depend on the function which defines them. We investigate the relation between perverse sheaves of vanishing cycles associated to isomorphic critical loci with their symmetric obstruction theories, pointing out the necessity for an extra "derived data". Similar results are proved for mixed Hodge modules and motivic Milnor fibres. These results will be used to construct perverse sheaves and mixed Hodge modules on moduli schemes of stable coherent sheaves on Calabi-Yau 3-folds equipped with ‘orientation data’, giving a categorification of Donaldson-Thomas invariants. This will be a consequence of the more general fact that a quasi-smooth derived scheme with a (-1)-shifted symplectic structure and orientation data has a "categorification". Finally we categorify intersections of Lagrangians in a complex symplectic manifold, describing the relation with Fukaya categories and deformation-quantization. Paul Cadman (University of Warwick) Deformations of singularities and the intersection form. The nonsingular level manifolds of a miniversal deformation of a singularity carry an intersection pairing in homology which can be thought of geometrically as intersection of cycles. By a procedure of Givental' and Varchenko it is possible to use a nondegenerate intersection pairing to furnish the base space of the deformation with a closed 2-form. This is a symplectic form if the base space is even dimensional. The symplectic form identifies a Lagrangian submanifold in the discriminant of the deformation over which level sets share the same degeneracy type. I will explain this construction, give examples of the computation of these symplectic forms and discuss the relationship between the coefficients of the form and the equations of the Lagrangian submanifold. Livia Campo (University of Nottingham) Birational non-rigidity of codimension 4 Fano 3-folds. As possible outcomes of the Minimal Model Program, Mori fibre spaces play a crucial role in Birational Geometry, and is therefore important to study how they are connected to each other. The Sarkisov Program provides tools to analyse birational transformations between Mori fibre spaces. In this talk we examine the case of codimension 4 Fano 3-folds with Fano index 1 and explain how we link them to other Mori fibre spaces. Francesca Carocci (Imperial College) Homological projective duality and blow ups. Kuznetsov's homological projective duality is a powerful tool for investigating semiorthogonal decompositions of algebraic varieties, which in turn are interesting as they seem to contain a lot of information about the geometry of the variety in question. I will recall the notion of homological projective duals and present a new example of geometric HP duals. Its construction is a special case of a more general story coming from blowing up base loci of linear systems. The example also highlights an interesting phenomenon: starting with a noncommutative HP dual pair one can obtain a commutative HP dual via the blowing up process. This example is a generalisation of other people's work on rationality of cubic fourfolds. This is joint work with Zak Turcinovic, Imperial College. Gil Cavalcanti (University of Oxford) Massey products in Symplectic Geometry. For complex manifolds the "ddbar" lemma implies that the massey products vanish and this is how it is proved that Kaehler manifolds are formal. For symplectic manifolds satisfying the Lefschetz property Merkulov proved a similar lemma using symplectic operators analogous to d and dbar. The question that arises is "do Massey products vanish for such manifolds?" I intend to give an example of symplectic manifold satisfying the Lefschetz property with nonvanishing Massey products. Notes for this talk are available. Examples of generalized complex structures. I'll introduce generalized complex structures and go through their basic properties, as determined by Gualtieri in his thesis. I'll show how symplectic and complex structures fit into this generalized setting. Then I'll present some results about existence of such structures on manifolds that do not admit either complex or symplectic structures. I'll also go through a classification of generalized structures on 6-nilmanifolds and give results about their moduli space. Notes for this talk are available. Andrew Chan (Warwick) Gröbner Bases over Fields with Valuations. Gröbner bases have several nice properties that mean that certain problems in algebraic geometry can be reduced to the construction of a Gröbner basis. For example Gröbner bases allows us to easily determine whether a polynomial lives in some ideal, find the solutions to systems of polynomial equations, as well as having applications in robotics. In this talk I shall introduce Gröbner bases and see the problems that arise when trying to adapt this theory to polynomial rings over fields with valuations. We shall discuss how these Gröbner bases are interesting to algebraic geometers and how they have important applications to tropical geometry. Emily Cliff (Oxford) Universal D-modules. A universal D-module of dimension n is a rule assigning to every family of smooth n-dimensional varieties a family of D-modules, in a compatible way. This seems like a huge amount of data, but it turns out to be entirely determined by its value over a single formal disc. We begin by recalling (or perhaps introducing) the notion of a D-module, and proceed to define the category M_n of universal D-modules. Following Beilinson and Drinfeld we define the Gelfand-Kazhdan structure over a smooth variety (or family of varieties) of dimension n, and use it to build examples of universal D-modules and to exhibit a correspondence between M_n and the category of modules over the group-scheme of continuous automorphisms of formal power series in n variables. Giulio Codogni (Cambridge) Curves, Jacobians and Modular Forms. In the first part of the talk, I will introduce the classical theory of Jacobians. In particular, I will stress the relations between the singularities of the Theta divisor and the projective geometry of the curve. In the second part, I will focus on the Schottky problem and on modular forms. I will discuss modular forms arising from lattices: these might provide upper bound on the slope of the moduli space of curves. Alex Collins (University of Bath) Representations of quivers and weighted projective lines. Gaia Comaschi (Université des Sciences et Technologies de Lille 1) Pfaffian representations of cubic threefolds and instanton bundles. Given a hypersurface X ⊂ P^n, we can determine whether its equation might be expressed as the determinant of a matrix of linear forms, by showing the existence of certain ACM sheaves on X. One of the most ecient way to produce these sheaves is to use Serre's correspondence, starting from AG subschemes of X. In this talk I will treat the case where X is a cubic threefold. I will illustrate how we can construct explicitly AG curves corresponding to Pfaffian representations of X and how Serre's correspondence yields a component of the moduli space of instanton bundles on X. Barrie Cooper (University of Bath) Koszul Duality and Twisted Group Algebras. Let V be a representation of a finite group G. Then the symmetric (S) and exterior (L) algebras of V are Koszul dual (over k), in the sense that S \otimes L^* is a bigraded algebra with a natural differential ofdegree (1,-1) which is exact (except in degree (0,0)). The exactness ofthe differential gives a well-known recurrence for the symmetric powers of a representation in terms of tensor products of exterior and symmetric powers. In particular, this gives a recurrence on the McKay matrices of these representations. In order to see how the matrix recurrence arises in a more direct way, we should consider the following: Given a left kG-module W, define a twisted bimodule structure on Twist(W) = W \otimes kG, where the right action is (right) multiplication in kG and the left action is both the left action on W and (left) multiplication in kG. The McKay matrix of W now coincides with its decomposition matrix in terms of the irreducible kG-bimodules. Furthermore, it can be shown that Twist(S) and Twist(L) are Koszul dual rings (over kG). Hence, the recurrence on the McKay matrices reflects the fact that the differential respects the grading induced by the projectors onto the irreducible kG-bimodules. We also discuss the related theory of almost-Koszul rings and their connection with periodic recurrences. An introduction to Derived Categories. The derived category is a powerful homological tool and is the correct way of understanding derived functors such as Tor and Ext. Many important papers in algebraic geometry and mathematical physics are now being written in the language of derived categories, most notably Bridgeland, King and Reid's "Mukai implies McKay: the McKay correspondence as an equivalence of derived categories". We begin by discussing abelian categories, which satisfy precisely the axioms needed to define homology. Next we encounter a problem for which homology isn't quite powerful enough to find a solution - this leads naturally to the definition of the derived category of an abelian category. The algebraic structure of the derived category is that of a triangulated category and we finish by trying to understand the interplay between abelian, derived and triangulated categories. McKay Matrices, CFT Graphs, and Koszul Duality (Part I). To a finite subgroup of SL(n) we associate a graph. We explore the possibility of classifying such graphs, and representation theory highlights a recurrence relation for which these graphs exhibit unusual behaviour. We reduce the qualitative behaviour under this recurrence to a quantitative test, which the rational conformal field theory graphs also appear to satisfy. In subsequent talks we discuss how this test may betray the existence of a pair of Koszul or almost-Koszul dual algebras associated to the path algebra of the graph. George Cooper (University of Oxford) Compactified Universal Jacobians over Stacks of Stable Curves via GIT. Associated to any smooth projective curve C is its degree d Jacobian variety, parametrising isomorphism classes of degree d line bundles on C. Letting the curve vary as well, one is led to the universal Jacobian stack. This stack admits several compactifications over the stack of marked stable curves, depending on the choice of a stability condition. In this talk I will introduce these compactified universal Jacobians, and explain how their moduli spaces can be constructed using Geometric Invariant Theory (GIT). Stephen Coughlan (University of Warwick) Introduction to graded rings and varieties. Graded rings are a basic component in studying the birational geometry of algebraic surfaces and 3-folds. I illustrate graded rings and their relation to (weighted) projective space via the Proj construction. I will go on to describe some algebraic varieties using graded ring methods. Alice Cuzzucoli (Warwick) A glimpse at the classification of Orbifold del Pezzo surfaces. In this talk, we will discuss the main ingredients involved in the classification of del Pezzo surfaces with orbifold points, i.e. complex projective varieties of dimension 2 admitting log terminal singularities. The smooth case is a well-known classical topic: indeed, a smooth del Pezzo is either $\mathbb{P}^1\times\mathbb{P}^1$ or $\mathbb{P}^2$ blown up in $9-d$ points, and the proof dates back to the 19th century. In the singular case we are still missing a classification just as complete. Nevertheless, in the case of cyclic quotient singularities we can still have some interesting constructions. We will introduce the most crucial aspects of such constructions, which are divided in two main steps: with the help of Mori Theory, we can give a first representation of our birational models; secondly, by having a brief look at the toric case, we will describe how toric degenerations come into play in this classification. Ultimately, we can use graded rings methods to recreate analogous constructions to the cascade of blow ups for the smooth case by means of qG-deformations. Dougal Davis (LSGNT) Some stacks of principal bundles over elliptic curves and their shifted symplectic geometry. In a 2015 paper, I. Grojnowski and N. Shepherd-Barron give a recipe which produces an algebraic variety from the ingredients of an elliptic curve E, a simple algebraic group G, and an unstable principal G-bundle on E. In the case where G = D_5, E_6, E_7 or E_8, they show that a particular choice of G-bundle yields a del Pezzo surface of the same type as G. It is an open question which varieties arise for different choices of G-bundle. In this talk, I will describe how certain stacks of principal bundles on E, which are the main players in this construction, carry natural shifted symplectic and Lagrangian structures over the locus of semi-stable bundles. Time permitting, I will show how a very crude study of the degeneration of these structures at the unstable locus gives a much more direct computation of some of the canonical bundles appearing in the Grojnowski-Shepherd-Barron paper, which works for all groups and all bundles. Hannah Dell (University of Edinburgh) Stability conditions on free abelian quotients. Stability conditions on triangulated categories were introduced by Bridgeland in 2007, and have been applied throughout algebraic geometry. Stability conditions on derived categories of surfaces have been particularly useful, for example for studying hyper-Kähler varieties, moduli spaces of sheaves, and Brill—Noether theory. In this talk, I will discuss two approaches to studying stability conditions on surfaces that are free quotients by finite abelian groups. One method is via Le Potier functions, which characterise the existence of slope-semistable sheaves. The second method uses Deligne’s notion of group actions on triangulated categories: Bridgeland showed that the space of stability conditions on a triangulated category can be viewed as a complex manifold. Using group actions, I will describe a connected component of so-called geometric stability conditions inside the stability manifold of these finite free abelian quotients. A consequence of this is a disproof of the expectation that surfaces with irregularity 0 always admit a wall of the geometric chamber. Ruadhaí Dervan (Cambridge) An introduction to K-stability. A central problem in complex geometry is to find necessary and sufficient conditions for the existence of a constant scalar curvature Kahler metric on an ample line bundle. The Yau-Tian-Donaldson conjecture states that this is equivalent to the algebro-geometric notion of K-stability, related to geometric invariant theory. I will give a gentle introduction to K-stability and time permitting there will be some applications. Carmelo Di Natale (Cambridge) A period map for global derived stacks. In the sixties Griffiths constructed a holomorphic map, known as the local period map, which relates the classification of smooth projective varieties to the associated Hodge structures. Fiorenza and Manetti have recently described it in terms of Schlessinger's deformation functors and, together with Martinengo, have started to look at it in the context of Derived Deformation Theory. In this talk we propose a rigorous way to lift such an extended version of Griffiths period map to a morphism of derived deformation functors and use this to construct a period morphism for global derived stacks. Will Donovan (Imperial College) Tilting, derived categories and non-commutative algebras. We can describe the derived categories of coherent sheaves on certain simple spaces by a method called tilting. This gives an equivalence of the derived category with another category built from a certain non-commutative algebra. We will work this out in some simple cases. The McKay Correpsondence. Kleinian surfaces singularities are obtained by taking a quotient of the affine plane, under the action of a finite subgroup G of SL(2). There exist certain minimal resolutions of such singularities: the McKay correspondence tells us that the geometry of the resolution remembers some of the representation theory of G, albeit in a subtle manner. In particular, the irreducible components of the exceptional locus turn out to be in bijection with non-trivial irreps of G. This is part of a long (and continuing) story, bridging geometry and algebra in deep ways, which I will not have time to go into. However I will explain, following Bridgeland-King-Reid, how derived categories can give us an elegant insight into this correspondence. Bradley Doyle (UCL) Non-commutative crepant resolutions. Instead of looking for a geometric resolution of a singular space, one could instead look for an algebraic (or categorical) resolution, these are known as NC(C)Rs. I will briefly introduce NC(C)R’s and then will explain a method to find NC(C)R’s for quotients by reductive groups. This method was found by Špenko and Van den Bergh. Finally I will sketch how these techniques can be strengthened to find NC(C)R’s for the affine cone of the Grassmannian. Vivien Easson (University of Oxford) Applying algebraic geometry to 3-manifold topology. In the study of 3-dimensional manifolds, two of the most useful structures to have are hyperbolic geometric structures and essential surfaces lying in the manifold. Each of these relates to a different kind of representation of the fundamental group. A series of papers by Marc Culler and Peter Shalen has examined the interaction between these, using some algebraic geometry of the character variety to provide the connection. Culler-Shalen theory continues to provide new insights and deep theorems in 3-manifold topology. I intend to give an accessible introduction to the various ideas involved. Notes for this talk are available. Vladimir Eremichev (University of Warwick) G-Hilbert schemes and related constructions. Let X be a complex quasiprojective variety and G a finite group acting on X by automorphisms. The resulting quotient space X/G is singular. In dimensions 2 and 3 we have a prefered crepant (symplectic) resolution, namely the G-Hilbert scheme, defined by Nakamura as the moduli space of G-clusters. In dimensions 4 and higher the situation is more complicated -- G-Hilb X usually fails to resolve singularities and crepant resolutions exist only in very special cases. In my talk I will introduce the G-Hilb, explain that it is a resolution in lower dimensions and show what goes wrong in higher dimensions, including possible ways of fixing it. Erroxe Etxabarri Alberdi (University of Nottingham) Fano 3-folds with 1-dimentional K-moduli. We give a friendly introduction to K-stability, and the motivation behind it. We will see how to study and completely describe all one-dimensional components of the K-moduli of smooth Fano 3-folds. And we will finish giving some specific examples for family 3.12. This result is in collaboration with Abban, Cheltsov, Denisova, Kaloghiros, Jiao, Martinez-Garcia and Papazachariou. Daniel Evans (University of Liverpool) Birationally rigid complete intersections. In this talk I will introduce the method of maximal singularities and how it is applied to prove birational (super)rigidity of Fano varieties. In particular, I will consider the case of Fano complete intersections of index one with certain singularities. Andrea Fanelli (Imperial College London) Lifting Theorems in Birational Geometry. In this talk, I will try to convince you of how important lifting pluri-canonical sections is. Two main approaches can be used: the algebraic one, based on vanishing and injectivity theorems, and the analytic one, which relies on Ohsawa-Takegoshi type L^2-extension theorems. Bypassing as much as possible the birational mumbo jumbo, I will eventually discuss the Dlt Extension Conjecture proposed by Demailly, Hacon and Păun. Enrico Fatighenti (University of Warwick) Hodge Theory via deformations of affine cones. Hodge Theory and Deformation Theory are known to be closely related: many example of this phenomenon occurs in the literature, such as the theory of Variation of Hodge Structure or the Griffiths Residues Calculus. In this talk we show in particular how part of the Hodge Theory of a smooth projective variety X with canonical bundle either ample, antiample or trivial can be reconstructed by looking at some specific graded component of the infinitesimal deformations module of its affine cone A. In an attempt of a global reconstruction theorem we then move to the study of the Derived deformations of the (punctured) affine cone, showing how to find amongst them the missing Hodge spaces. Oscar Finegan (Cardiff University) Derived Intersection Products. The structure sheaf for an intersection of subschemes is given by taking the tensor product of the structure sheaves of the subschemes that you are intersecting. Derived algebraic geometry (more or less) says that if we replace all of our sheaves by complexes of sheaves, the derived structure complex of the intersection will be the derived tensor product of the original structure complexes. Morally speaking, this new complex "should" encode geometric information about the intersection, namely how badly and in which ways the intersection fails to be transverse, and the question is "What does this complex explicitly look like?" In this talk I will discuss some setup and existing results in this area, as well as my progress on the problem. Aeran Fleming (University of Liverpool) Kähler packings of projective, complex manifolds. In this talk I will introduce the notion of Kähler packings and explore their connections to multipoint Seshadri constants and Nagata's conjecture. I will then briefly present a general strategy to explicitly construct Kähler packings on projective, complex manifolds and if time permits discuss some examples of blow ups of the complex projective plane. Joel Fine (Imperial College London) Constant scalar curvature Kahler metrics on fibred complex surfaces. I will spend half the talk motivating the search for constant scalar curvature Kahler metrics. In particular I will explain why these special metrics should be of use in studying "the majority of" smooth algebraic varieties (i.e. stably polarised ones). In the other half of the talk I will explain how to use an analytic technique called an adiabatic limit to prove the existence of constant scalar curvature Kahler metrics on a special type of complex surface. This talk is based on the preprint math.DG/0401275. Slides for this talk are available. Peter Frenkel (Budapest University of Technology & Economics) Fixed point data of finite groups acting on 3-manifolds. We consider fully effective orientation-preserving smooth actions of a given finite group G on smooth, closed, oriented 3-manifolds. We investigate the relations that necessarily hold between the numbers of fixed points of various non-cyclic subgroups. All such relations are in fact equations mod 2, and the number of independent equations yields information concerning low-dimensional equivariant cobordism groups. We determine all the equations for non-cyclic subgroups G of SO(3). This talk is based on the preprint math.AT/0301159. Tarig Abdel Gaidr (University of Glasgow) [A^n /G] from the McKay quiver. Take G an abelian subgroup of SL(n,C) (n<4), it is well known that the moduli space of certain representations of the McKay quiver of G is isomorphic to G-Hilb (a crepant resolution of A^n/G). We will use the McKay quiver to recover the stack [A^n/G] (a noncommutative crepant resolution) and relate it to G-Hilb by a finite number of wall crossings in some GIT chamber decomposition. Tim Grange (Loughborough) A glimpse at the classification of Orbifold del Pezzo surfaces. The classification of Mori Dream Spaces is an open problem in algebraic geometry. Castravet and Tevelev gave a criterion to determine whether the blow-up of products of projective spaces of the form (ℙ^a)^b at points in general position are Mori Dream Spaces. The case of blowing up points in very general position in arbitrary products of projective spaces remains largely unknown. In this talk, I will discuss results in this direction, compute cones of effective divisors, and describe the Cox rings of some of these varieties. Jacob Gross (Oxford) Homology of moduli stacks of complexes. There are many known ways to compute the homology of the moduli space of algebraic vector bundles on a curve. For higher-dimensional varieties however, this problem is very difficult. It turns out that the moduli stack of objects in the derived category of a variety X, however, is topologically simpler than the moduli stack of vector bundles on X. We compute the rational homology of the moduli stack of complexes in the derived category of a smooth complex projective variety. For a certain class of varieties X including curves, surfaces, flag varieties, and certain 3- and 4-folds we get that the rational cohomology is freely generated by Künneth components of Chern characters of the universal complex––this allows us to identify Joyce's vertex algebra construction with a super-lattice vertex algebra on the rational cohomology of X in these cases. Tiago Guerreiro (Loughborough University) On Singular Fano 3-folds complete intersections and their birational geometry. The Minimal Model Program aims at finding good representatives in a birational equivalence class. Starting from a 3-dimensional smooth projective variety W, Mori has shown that W can be dismantled by a sequence of birational transformation to a either a Minimal Model or a Mori Fibre Space. The outcomes of the minimal model program are rarely unique although relations between minimal models are well understood in general. On the other hand, Mori Fibre Spaces relate to each other in more complicated and unexpected ways. In this talk I will aim to give a flavour of these relations and explain how this problem relates to rationality questions. Giulia Gugiatti (LSGNT) Hyperelliptic integrals and mirrors of the Johnson-Kollár del Pezzo surfaces. In this talk I will consider the regularised I-function of the family of del Pezzo surfaces of degree 8k+4 in P(2,2k+1,2k+1,4k+1), first constructed by Johnson and Kollár, and I will ask the following two equivalent questions: 1) Is this function a period of a pencil of curves? 2) Does the family admit a Landau-Ginzburg (LG) mirror? After some background on the Fano-LG correspondence, I will explain why these two questions are interesting on their own, and I will give a positive answer to them by explicitly constructing a pencil of hyperelliptic curves of genus 3k+1 as a LG mirror. To conclude, I will sketch how to find this pencil starting from the work of Beukers, Cohen and Mellit on hypergeometric functions. This is a joint work with Alessio Corti. Pierre Guillot (University of Cambridge) Algebraic cycles in the cohomology of finite groups. The classifying space BG of an algebraic group G can be approximated by algebraic varieties and therefore has a well-defined Chow ring CH^*BG, which is useful in the study of varieties acted on by G. Conjecturally this is the same as another ring defined topologically, namely using complex cobordism. These rings come equipped with a natural map to the ordinary cohomology ring. After explaining this in some detail I will give some examples of computations, using tools like the Steenrod algebra or the Morava K-theories. Eloïse Hamilton (University of Oxford) Moduli spaces for Higgs bundles, semistable and unstable. The aim of this talk is to describe the classification problem for Higgs bundles and to explain how a combination of classical and Non-Reductive Geometric Invariant Theory (GIT) might be used to obtain moduli spaces for these objects. I will start by defining Higgs bundles and explaining the classification problem for Higgs bundles. This will involve introducing the "stack" of Higgs bundles, a purely formal object which allows us to consider all isomorphism classes of Higgs bundles at once. Then, I will explain how this stack can be described geometrically. As we will see, the stack of Higgs bundles can be decomposed into disjoint strata, each consisting of Higgs bundles of a given "instability type". I will explain how classical GIT can be used to obtain a moduli space for the substack of semistable Higgs bundles, and how non-reductive GIT might be applied to obtain moduli spaces for the remaining unstable strata. Michael Hallam (University of Oxford) Stability of fibrations through geodesic analysis. A celebrated result in geometry is the Kobayashi--Hitchin correspondence, which states that a holomorphic vector bundle on a compact Kähler manifold admits a Hermite--Einstein metric if and only if the bundle is slope polystable. Recently, Dervan and Sektnan have conjectured an analogue of this correspondence for fibrations whose fibres are compact Kähler manifolds admitting Kähler metrics of constant scalar curvature. Their conjecture is that such a fibration is polystable in a suitable sense, if and only if it admits an optimal symplectic connection. In this talk, I will provide an introduction to this theory, and describe my recent work on the conjecture. Namely, I show that existence of an optimal symplectic connection implies polystability with respect to a large class of fibration degenerations. The techniques used involve analysing geodesics in the space of relatively Kähler metrics of fibrewise constant scalar curvature, and convexity of the log-norm functional in this setting. This is work for my PhD thesis, supervised by Frances Kirwan and Ruadhaí Dervan. Umar Hayat (University of Warwick) Gorenstein Quasi-homogeneous Affine Varieties. We study quasi-homogeneous affine algebraic varieties, in particular their tangent bundle and canonical class, with the aim of characterising the case in which the variety is Gorenstein. Thomas Hawes (University of Oxford) GIT for non-reductive groups. Geometric invariant theory (GIT) is concerned with the question of constructing quotients of algebraic group actions within the category of varieties. This problem turns out to be sensitive to the kind of group being considered. When a reductive group G acts on a projective variety X, Mumford showed how to find an open subset X^s of X (depending on a linearisation of the action) that admits an honest orbit space variety X^s/G. Moreover, this admits a canonical compactification X//G, obtained by taking Proj of the finitely generated ring of invariant sections of the linearisation. This rather nice picture breaks down when the group G is not reductive, since there is the possibility of non-finitely generated rings of invariants. This talk will look at work being done to describe a similar Mumford-style picture for non-reductive group actions. After reviewing Mumford's result for reductive groups, we will look at the work done by Doran and Kirwan on GIT for unipotent group actions, which provide the key for formulating GIT for general algebraic groups. We will finish by looking at work in progress on how to extend the ideas of Doran and Kirwan to the case where the group is not unipotent. David Holmes (University of Warwick) Jacobians of hyperelliptic curves. Jacobians of curves are the natural higher-dimensional analogues of elliptic curves, and many of the familiar properties of elliptic curves carry over. In particular, the Mordell Weil theorem (that the group of rational points over a number field is finitely generated) holds on any Jacobian, and the proof is again based on a theory of heights. After giving basic definitions, we will look at how to use this to find an algorithm to compute the torsion part of the Mordell-Weil group of the Jacobian of a hyperelliptic curve, giving a method to explicitly construct the Jacobian and exploring why this isn't enough. Julian Holstein (University of Cambridge) Preserving K(pi,1)'s - Hyperplane arrangements and homotopy type. Katzarkov, Pantev and Toen define schematic homotopy types as algebraic models for topological spaces. In this talk I will look at some properties of their construction in the case of hyperplane arrangements. Vicky Hoskins (University of Oxford) An introduction to stacks. Stacks are needed to give a geometric space to moduli functors that are not representable by a scheme, e.g. M_g the stack of smooth curves of genus g. In this sense we can see stacks as generalisations of schemes. In this talk we approach stacks from two different viewpoints. Firstly we view them as pseudofunctors from the category of schemes to the 2-category of groupoids; this point of view originates from our motivation, moduli functors. Secondly we describe the slightly more common definition, using categories fibred over groupoids. The aim is by the end of the talk to give the definition of a Deligne-Mumford stack and also give some examples. Daniel Hoyt (University of Cardiff) Braided categories and TQFTs. Topological quantum field theories (TQFTs) have proven an interesting tool in topology, providing invariants of 3-manifolds; to every (three-dimensional) TQFT there is a "quantum invariant". But how does one construct a TQFT? One solution is through using categories with extra structure, such as a tensor product. In this talk I plan to define both TQFTs and an important class of category (braided categories) that can be used in the construction of TQFTs. I will also give a few examples that demonstrate how familiar braided categories really are. Austin Hubbard (University of Bath) Hyperpolygon spaces and their crepant resolutions. Hyperpolygon spaces are algebraic symplectic varieties that arise in numerous contexts. We will discuss their construction as Nakajima quiver varieties and present results that describe the birational geometry of their crepant resolutions. Anton Isopoussu (Cambridge) K-stability, convex cones and fibrations. Test configurations are a basic object in the study of canonical metrics and K-stability. We introduce two ideas into the theory. We extend the convex structure on the ample cone to the set of test configurations. The asymptotics of a filtration are described by a convex transform on the Okounkov body of a polarisation. We describe how these convex transforms change under a convex combination of test configurations. We also discuss the K-stability of varieties which have a natural projection to a base variety. Our construction appears to unify several known examples into a single framework where we can roughly classify degenerations of fibrations into three different types: degenerations of the cocycle, degenerations of the general fibre and degenerations of the base. Seung-Jo Jung (Warwick) Moduli of representations of McKay quiver. This talk describes representations of McKay quiver and moduli spaces of them. Specially, for a finite group A in SL(3), I introduce A-HilbC^3 in terms of moduli space of McKay quiver representations. If time permits, we can discuss moduli spaces of McKay quiver for a finite groups in GL(3). Anne-Sophie Kaloghiros (Cambridge) The defect of terminal quartic 3-folds. Let $X \subset \mathbb{P}4$ be a quartic 3-fold with terminal singularities. The Grothendieck Lefschetz theorem states that any Cartier divisor on X is the restriction of a Cartier divisor on $\mathbb{P}4$. However, no such result holds for Weil divisor. If the quartic X is not assumed to be $\mathbb{Q}$-factorial, very little is known about its group of Weil divisors. $\mathbb{Q}$-factoriality is a global topological property, and very ''simple" quartics fail to be $\mathbb{Q}$-factorial. More generally, one could consider Gorenstein terminal Fano 3-folds of Picard rank 1. Can one bound the rank of the group of Weil divisors of a terminal Gorenstein quartic (Fano) 3-fold of Picard rank 1? I will give such a bound for quartics and for some Fanos. I will also show that if a quartic is not $\mathbb{Q}$-factorial, then it contains a (Weil non Cartier) surface of low degree. There is a finite number of possibilities for these surfaces. Grzegorz Kapustka and Michal Kapustka (Jagiellonian University, Krakow) Some geometric properties of singular del Pezzo surfaces. In this talk we study geometric properties of singular del Pezzo surfaces with log terminal singularities of index less then or equal to 2. We study their (in some way) canonical embedding and use it to describe them with equations in some weighted projective space. Grzegorz Kapustka (Jagiellonian University, Krakow) Linear systems on an Enriques surface. The aim of the talk is to describe linear systems of an irreducible curve on an Enriques surface, and the maps associated with these linear systems. We ask when a map is a morphism, what is the degree of this morphism, and describe the eventual singularities by looking at the image. Michal Kapustka (Jagiellonian University, Krakow) Linear Systems on a K3 surface. The aim of this talk is to describe linear systems on K3 surfaces. We are mostly concerned with their base points (or components), the morphism associated with them and its image. We also try to introduce the notion of Seshadri constants and we show some examples of linear systems on some K3 surface where we can compute them. Alexander Kasprzyk (University of Bath) Introduction to Toric Varieties. Toric varieties form an important class of algebraic varieties whose particular strength lies in methods of construction via combinatorial data. Understanding this construction has led to the development of a rich dictionary allowing combinatorial statements to be translated into algebraic statements, and vice versa. In the first talk the basic details of the combinatorial approach to constructing toric varieties are given. The construction is motivated by specific examples from which the more general methods can be deduced. The second talk will concentrate on the torus action on the variety. We will discuss the orbit closure and introduce the "star" construction. Finally, we shall apply what we have learnt to toric surfaces, analysing the singularities and seeing how they are resolved. Notes for the first talk are available. Recognising toric Fano singularities. It is a well known fact that toric Fano varieties of dimension n correspond to convex polytopes in R^n. In particular, if the variety has at worst terminal singularities, then the associated polytope is a lattice polytope P such that P\cap Z^n consists of the vertices of P and the origin. A similar condition on the polytope exists when the variety is allowed to possess canonical singularities. In this talk I intend to review the definitions of the singularities involved, and hopefully shed some light on these equivalencies. Some basic knowledge of toric geometry will be assumed. What little I know about Fake Weighted Projective Space. At the December 2003 Calf in Warwick, Weronika Krych introduced me to the idea of fake (or false) weighted projective space. These are objects which arise naturally in the context of toric geometry, and are quotients of bona fide weighted projective space. Fake weighted projective spaces also arise in toric Mori theory. Loosely speaking, they appear as the fibres of an elementary contraction. We shall see that a great deal of information about the singularities of a fake weighted projective space can be deduced from weighted projective space. We shall also establish bounds on how ``far away'' these fake weighted projective spaces can be from weighted projective space whilst still remaining sufficiently ``nice''. Jonathan Kirby (University of Oxford) Model Theory and Geometry - An Introduction. The talk will be in two parts. In the first I will explain what model theory is, and how it can be thought of as a generalization of the study of zeros of polynomials (aka Algebraic Geometry). In the second I will explain how simple geometric ideas crop up naturally in model theory. The aim is to give an overview of the ideas rather than any technicalities, and no familiarity with logic will be assumed. Weronika Krych (University of Warsaw) False weighted projective spaces and Mori theorem for orbifolds. We define false weighted projective spaces as toric varieties with fan constructed from vectors v_0,...,v_n in lattice Z^n with sum_{i=0}^n (a_i * v_i) = 0 for some integers a_i. The only difference of this fan and the one of weighted projective space is that the v_i's do not span the lattice. False weighted projective space are quotients of P(a_0,...,a_n) by the action of a finite group. We distinguish false ones by introducing the fundamental group in codimension 1 and proving it is non-trivial exactly for false ones. False projective spaces are quotients of P^n and they are orbifolds. We conjecture a generalization of Mori theorem characterizing P^n as the only projective varieties with ample tangent bundle. Felix Küng (University of Liverpool) Twisted Hodge diamonds give rise to non-Fourier-Mukai functors. We apply computations of twisted Hodge diamonds to construct an infinite number of non-Fourier-Mukai functors. To do this we first recall the construction by Rizzardo, Van den Bergh, and Neeman of the passing through by a non-geometric deformation of a variety along a Hochschild cocycle of suitably large degree. We then use twisted Hodge diamonds to control the dimensions of the Hochschild cohomology of hypersurfaces in projective space and prove that there are a large number of Hochschild cohomology classes that allow this type of construction. In particular we can use these calculations to construct non-Fourier-Mukai functors for abitrary degree hypersurfaces in arbitrary high dimensions. Roberto Laface (Leibniz Universität Hannover) Decompositions of singular Abelian surfaces. Inspired by a work of Ma, in which he counts the number of decompositions of abelian surfaces by lattice-theoretical tools, we explicitly find all such decompositions in the case of singular abelian surfaces. This is done by computing the transcendental lattice of products of isogenous elliptic curves with complex multiplication, generalizing a technique of Shioda and Mitani, and by studying the action of a certain class group act on the factors of a given decomposition. Incidentally, our construction provides us with an alternative and simpler formula for the number of decompositions, which is obtained via an enumeration argument. Also, we give an application of this result to singular K3 surfaces. Alyosha Latyntsev (University of Oxford) BPS states, vertex algebras and torus localisation. To understand the ideas coming from string theory, mathematicians have noticed the importance of moduli spaces (of objects in a category). By this method the physics notions of 1. BPS states/D-branes, 2. a conformal field theory, 3. \Pi stability, ... have been turned into 1. cohomological Hall algebras, 2. vertex/chiral algebras, 3. Bridgeland stability conditions, ... , all of which are extremely rich mathematical objects. In this talk, I will a. explain what a cohomological Hall algebra and vertex algebra is (and why you should care), b. sketch their physics analogues (no physics knowledge required!), c. show how they are connected. The main tool used for c. is a new version of the torus localisation which works for singular/derived spaces. Loosely, torus localisation methods "turn geometry into combinatorics", and are an important tool in Gromov Witten theory, toric geometry, and Donaldson Thomas theory. Before indicating how this works, I will d. give a quick algebraic-geometric proof of torus localisation for smooth spaces (and explain how to use it). Marco Lo Giudice (University of Bath, and University of Milan) Scheme-theoretic projective geometry. We will introduce projective geometry in the language of schemes. Starting from the projective spectrum of a graded ring we will explain some basic properties of projective varieties. Introduction to schemes. People tend to think about "schemes" to be synonymous with "Algebraic Geometry" but this is not quite true. As a result learning the machinery can be really frustrating, as our geometric intuition doesn't seem to fit into the picture. Actually the theory of schemes is far more general than Algebraic Geometry, and many concepts arising in the geometric context make sense only for a particular kind of schemes usually called "algebraic schemes". I will define algebraic varieties from this point of view, avoiding too much abstract nonsense and retaining the geometric point of view in evidence. Detailed notes on scheme theory are available. Artin level algebras. Artin level algebras are zero dimensional graded algebras, they are a generalization of Gorenstein algebras. I will describe their Hilbert function and their graded minimal resolution. Cormac Long (University of Southampton) Some results on Coxeter groups. We give necessary conditions for the {3,5,3} Coxeter group to surject onto PSL(2,p^n). We also look at some of the manifolds arising from the low index normal subgroups of this group. Andrew MacPherson (Imperial College London) Mirror Symmetry is T-duality. The SYZ conjecture suggests that mirror manifolds should admit fibrations by dual special Lagrangian tori. I'll talk about some of the motivation for, and consequences of, this conjecture, and then I'll say something about what some people are trying to do about it. Be warned that this talk will be both i) very imprecise and ii) not particularly algebraic. A non-archimedean analogue of the SYZ conjecture. The SYZ conjecture is a statement, or rather, a framework of statements, about the geometry of the large complex structure and large radius limit points of the moduli space of CY n-folds, and the mirror involution that exchanges them. Following proposals of Kontsevich, I'll talk about how non-Archimedean geometry can be used to study this limit in a more algebro-geometric setting. Aimeric Malter (University of Birmingham) A derived equivalence of the Libgober-Teitelbaum and the Batyrev-Borisov Mirror Constructions. In this talk we study the use of Variations of Geometric Invariant Theory (VGIT) to provide equivalences between derived categories of varieties associated to chambers of a GKZ fan . In particular, we will use methods of Favero and Kelly to study a mirror construction to the complete intersection of two cubics in P^5 due to Libgober and Teitelbaum, providing a derived equivalence to the Batyrev-Borisov mirror of the same complete intersection. Diletta Martinelli (Imperial College London) Semiampleness of line bundles in positive characteristic. I will explain why the property of semiampleness is very important in algebraic geometry and I will present some sufficient conditions for the semiampleness of a line bundle on a variety defined over the algebraic closure of a finite fields. In the second part of the talk I will present some results that are part of a joint work with Jakub Witaszek and Yusuke Nakamura. Mirko Mauri (LSGNT) Dual complexes of log Calabi-Yau pairs and Mori fibre spaces. Dual complexes are CW-complexes, encoding the combinatorial data of how the irreducible components of a simple normal crossing pair intersect. They have been finding useful applications for instance in the study of degenerations of projective varieties, mirror symmetry and nonabelian Hodge theory. In particular, Kollár and Xu conjectures that the dual complex of a log Calabi-Yau pair should be a sphere or a finite quotient of a sphere. It is natural to ask whether the conjecture holds on the end products of minimal model programs. In this talk, we will validate the conjecture for Mori fibre spaces of Picard rank two. Francesco Meazzini (Sapienza Università di Roma) Quiver Representations and Gorenstein-projective modules. We consider a finite acyclic quiver Q and a quasi-Frobenius ring R. We then characterise Gorenstein-projective modules over the path algebra RQ in terms of the corresponding quiver representations over R, generalising the work of X.-H. Luo and P. Zhang to the case of not necessarily finitely generated RQ-modules. We recover the stable category of Gorenstein-projective RQ-modules as the homotopy category of a certain model structure on quiver representations over R. Caitlin McAuley (University of Sheffield) The spaces of stability conditions of the Kronecker quiver. It is well known that the space of stability conditions of a triangulated category is a complex manifold. In fact, mirror symmetry predicts that this space carries a richer geometric structure: that of a Frobenius manifold. From a quiver, one can construct a sequence of triangulated categories which are indexed by the integers. It is then natural to study the stability manifolds of these categories, and in particular to consider any changes to the manifolds as the integer indexing the triangulated category varies. We will study this construction for the Kronecker quiver, and discuss how the results provide evidence for a Frobenius structure on these stability manifolds. Carl McTague (University of Cambridge) The Cayley plane genus. I will give a new geometric characterization of the Witten genus. Ciaran Meachan (University of Edinburgh) Moduli of Bridgeland-stable objects. In the spirit of Arcara & Bertram, we investigate wall-crossing phenomena in the stability manifold of an irreducible principally polarized abelian surface for objects with the same invariants as (twists of) ideal sheaves of points. In particular, we construct a sequence of fine moduli spaces which are related by Mukai flops and observe that the stability of these objects is completely determined by the configuration of points. Finally, we use Fourier-Mukai theory to show that these moduli are projective. Simen Moe (Imperial College London) Stable rationality of polytopes Stable rationality specializes in smooth families, as shown by Nicaise--Shinder. Using toric geometry to construct degenerations, Nicaise--Ottem provided new examples of stably irrational hypersurfaces in projective space, such as very general quartic fivefolds. Their strategy uses the motivic volume as a stable birational invariant. However, this requires controlling the stable birational type of the strata in the degeneration. This can be obtained, for example, if a stratum has a strong type of variation of stable birational type. In this context, I will describe a large class of hypersurfaces in algebraic tori that exhibit a strong type of variation of stable birational types. This leads to a purely combinatorial strategy for proving the non-stable rationality of hypersurfaces in tori. As an application, I will discuss many new examples of stably irrational hypersurfaces in projective space. Ben Morley (University of Cambridge) Motivating mirror symmetry and the Gross-Siebert program. I'll try to explain why mirror symmetry is an interesting phenomenon, and motivate (parts of) the current Gross-Siebert approach to constructing and understanding mirrors. Very little knowledge of mirror symmetry or anything symplectic will be assumed. Jasbir Nagi (University of Cambridge) Graded Riemann spheres. Riemann spheres are extremely useful in the study of two-dimensional conformal field theories. One can ask what is the corresponding structure to look at if one wishes to study a superconformal field theory. One way of introducing anti-commuting co-ordinates is to consider the sheaf functions on the Riemann sphere, and extend them by anti-commuting variables. This can be more useful than a superspace formalism, since there is still a notion of a "patching function" on intersections of "co-ordinate patches". This talk is based on the preprint hep-th/0309243. Oliver Nash (University of Oxford) An Introduction to Twistor Theory. An introduction to the Penrose twistor corresponce will be presented. We will begin by discussing the correspondence between conformal four-manifolds and appropriate complex three-manifolds. In particular, our discussion will include the usual Penrose transform in this case. We will then discuss the various generalisations of the correspondence to other dimensions and geometric structures. We will conclude by describing some of the applications of twistor theory to gauge theory (monopoles and instantons), existence of complex structures and deformations of hypercomplex structures. Igor Netay (HSE, Moscow) On A-infinity algebras of highest weight orbits. I will present recent results on syzygy algebras. For any algebraic variety X --> P^n with an embedding to projective space the syzygy spaces have a natural structure of an A-infinity algebra. I will discuss the case of projectivization of highest weight orbits in irreducible representations of reductive groups. Alvaro Nolla de Celis (University of Warwick) Introduction to cyclic quotient singularities. I will introduce quotient singularities and their resolution, in particular I will talk about Du Val singularities or rational double points, giving a descriptions of their resolution in terms of Hirzebruch-Jung continued fractions and Dynkin diagrams. Claudio Onorati (University of Bath) Moduli spaces of generalised Kummer varieties are not connected. Using the recent computation of the monodromy group of irreducible holomorphic symplectic (IHS) manifolds deformation equivalent to generalised Kummer varieties, we count the number of connected components of the moduli space of both marked and polarised such manifolds. After recalling basic facts about IHS manifolds, their moduli spaces and parallel transport operators, we show how to construct a monodromy invariant which translates this problem in a combinatorial one and eventually solve this last problem. John Christian Ottem (University of Cambridge) Ample subschemes. We discuss how various notions of positivity of vector bundles is related to the geometry of subschemes. Asymptotic cohomological functions.. Asymptotic cohomological functions were introduced by Demailly and Küronya to measure the growth rate of the cohomology of high tensor powers of a line bundle L. These functions generalize the volume function of a line bundle and capture a lot of the positivity properties of L. In this talk I will review some recent results on them by Demailly, Küronya and Matsumura and explain how they compare with other notions of weaker positivity of a line bundle. Kyriakos Papadopoulos (University of Liverpool) Reflection Groups, Generalised Cartan Matrices & Kac-Moody Algebras. This talk will be the continuation of my talk in the Calf seminar in Liverpool (January 2005). I will spend a few minutes talking about reflection groups in integral hyperbolic lattices, and use this machinery to define the geometric realisation of a generalised Cartan matrix. There will be a short introduction to infinite-dimensional Lie algebras, based on the theory that we will give for generalised Cartan matrices. Notes for this talk are available. Reflection groups of integral hyperbolic lattices. This is an introductory talk on reflection groups of integral hyperbolic symmetric bilinear forms. Lobachevskii (hyperbolic) geometry is a strong tool in mathematics, and lots of problems which appeared in algebraic geometry have been attacked using this tool. We will divide the lecture into two parts; in the first one we will present all the preliminaries, and in the second part we will formulate Vinberg's algorithm. This algorithm permits us to find all cells of a polyhedron C of an acceptable set P(C) of orthogonal vectors to C, where C is the fundamental chamber for a subgroup W of the group W(M) (the group generated by reflections in all elements of M), where S:MxM -> Z is a given quadratic form. Hopefully, this material will be used as a basis, for a future lecture on hyperbolic Kac-Moody algebras. Nebojsa Pavic (University of Sheffield) Quotient singularities and Grothendieck groups. We study the K-groups of the singularity category for quasi-projective schemes. Particularly, we show for isolated quotient singularities that the Grothendieck group of the singularity category is finite torsion and that rational Poincare duality is satisfied on the level of Grothendieck groups. We consider also consequences for the resolution of singularities of such quotient singularities and study dual properties in this setting. More concretely, we prove a conjecture of Bondal and Orlov in the case of (not necessarily isolated) quotient singularities. Andrea Petracci (Imperial College London) On the quantum periods of del Pezzo surfaces. I will discuss a conjecture, due to Coates, Corti, Kasprzyk et al., which relates the quantum cohomology of del Pezzo surfaces with isolated cyclic quotient singularities to combinatorial data coming from lattice polygons and Laurent polynomials. I will present evidence for this conjecture in the case of del Pezzo surfaces with 1/3(1,1) singularities. The ideas discussed are in the spirit of recent work by Coates-Corti-Galkin-Kasprzyk, who used quantum cohomology to reproduce the Iskovskikh-Mori-Mukai classification of smooth Fano 3-folds. This is joint work with A. Oneto. James Plowman (Warwick) The Witt complex of a scheme with a dualising complex. The Witt complex of a scheme can be thought of as the negative part of a Grothendieck-Witt analogue to the Gersten resolution of algebraic K-theory. Grothendieck-Witt theory can be described as K-theory "with duality" - and direct constructions of Witt complexes rely upon careful manipulation of the local dualising objects involved. The main aim of this talk is to present a construction of a Witt complex in greater generality than is currently available in the literature by extracting the local dualities required from residual complexes - which are the minimal injective resolutions of dualising complexes. Flora Poon (University of Bath) Kuga-Satake varieties of families of K3 surfaces of Picard rank 14. In the 60s, Kuga and Satake constructed a weight one Hodge structure from a weight two Hodge structure of K3 type, which gives us a polarised abelian variety called the Kuga-Satake (KS) variety associated to a lattice polarised K3 surface. In the project, we study the KS varieties associated to K3 surfaces polarised by lattices of rank 14. Specifically, we have constructed the simple abelian subvarieties in the KS varieties associated to K3 surfaces in three special families, and discovered that they are dense in some moduli spaces of polarised abelian 8-folds of PEL type. We believe the dominant map we found from moduli spaces of K3 surfaces of Picard rank 14 to that of the simple factors of the associated KS varieties demonstrates how the type II_4 locally symmetric domains are associated to the type IV_6 ones. Joseph Prebble (Loughborough University) Mirror moduli spaces of lattice-polarised K3s mirrors of del Pezzo surfaces. Much discussion on the moduli space of lattice-polarised K3 surfaces begins with Igor Dolgachev's construction of a mirror lattice for such a surface. We will cover the elementary Hodge structure of a K3 surface and explore an example of a mirror moduli surface in the case of the lattice M. Meanwhile, weak del Pezzo surfaces, smooth varieties with nef and big anticanonical divisors, may be endowed with a lattice polarisation in an analogous way, and there exists a mirror construction on them. We will note a conjecture on the correspondence between L-polarised del Pezzo surfaces and rational elliptic surfaces polarised by the negative definite mirror lattice and conclude with its compatibility with the lattice polarisation on an M-polarised K3 surface. Matthew Pressland (University of Bath) Labelled Seeds and Mutation Groups. This talk will introduce labelled seeds, whose definition is a modification of that of seeds of a cluster algebra. Under this new definition, the cluster algebra itself will be unchanged, but the set of labelled seeds will form a homogeneous space for a a group of mutations and permutations. We will study the automorphism group of this space, and conclude that for certain mutation classes, the orbits of this automorphism group consist of seeds with "the same cluster combinatorics", in the sense that their quivers are all related by opposing some connected components. Knowledge of cluster algebras will not be assumed, and indeed one goal is to provide an introduction to the subject, albeit in a slightly esoteric way. Ice Quivers with Potential and Internally 3CY Algebras. A dimer model, which is a bipartite graph on a closed orientable surface, gives rise to a Jacobian algebra. Under consistency conditions on the dimer model, this algebra satisfies a very strong symmetry condition; it is 3-Calabi-Yau. However, the consistency condition forces the surface to be a torus. This can be avoided by allowing surfaces with boundary, on which dimer models give rise to frozen Jacobian algebras. We define a suitable modification of the 3-Calabi-Yau property for these algebras, and explain some interesting cluster-theoretic results that follow from it. Thomas Prince (Cambridge) From scattering diagrams to Gromov-Witten theory. This talk will be a survey of the paper of Gross, Pandharipande and Siebert on enumerative consequences of their scattering diagram calculations. In particular recalling the notions of scattering diagrams, tropical curves and the Kontsevich-Soibelman lemma before discussing the holomorphic analogues of the tropical curve counts. This is also supposed to be valuable background material for reading recent papers of Gross Hacking and Keel on mirror symmetry for log Calabi-Yaus. Qiu Yu (University of Bath) Stability space of quivers/species of two vertices. I'm going to describe the stability space (in the sense of Bridgeland) of the quiver A_2. As a comparison, I will show that this space 'contains' the fundamental domain of stability space of the Kronecker quiver P_2 (or equivalently, of the projective space of dimension 1) in some sense. Then I will explain the folding techniques to describe the stability space of the species of type B_2=C_2 and G_2. Lisema Rammea (University of Bath) Some Interesting Surfaces of General Type in Projective 4-space. A well known theorem of Gieseker says that there exists a quasi-projective coarse moduli scheme for canonical models of surfaces of general type S with fixed K^{2}_{S} and c_{2}(S). However there are some classical inequalities which a surface of general type must satisfy. Beyond these numerical restrictions the study of surfaces of general type largely consist of studying examples in : (1) "Geography"--deciding which Chern numbers or other topological invariants arise as the invariants of a minimal surface of general type, and (2)"Botany"--for decribing all the deformation types within a fixed topological type. In this talk we look at (1). Construction of Non-General Type surfaces in P^4_w. We wish to generate smooth Non-General Type surfaces in four dimensional weighted projective space, P^{4}_w. For trivial weights (all weights equal to 1), a lot of work has been done by various people. In this case it is known that all surfaces of degree greater or equal to 52 are of general type. The conjectured bound is 15. Decker et al generated examples of smooth Non-General Type surfaces using an earlier version of the computer algebra system Macaulay2 in the case of trivial weights. We study their construction methods to try and come up with an efficient method to generate Non-General Type surfaces in P^{4}_w, where not all the weights equal one. For now we insist that our weights are pairwise coprime. Nontrivial weights lead naturally to cyclic quotient singularities. Examples of K3 surfaces have been found by Altinok et al in P^{4}_w. We discuss construction of an Enriques' surface in P^{4}_w by taking an example with w=(1,1,1,1,2). Nils Henry Rasmussen (University of Bergen) The dimension of W^1_d(C) where C is a smooth curve on a K3 surface. Jorgen Rennemo (Imperial College) Gottsche's Ex-Conjecture and the Hilbert Scheme of Points on a Surface. Consider a smooth, projective surface with a line bundle L on it. We say a curve is d-nodal if it has d singular points that are nodes and no other singularities. The Göttsche Conjecture (now a theorem) is a statement about the number of d-nodal curves in a d-dimensional linear system of divisors of class L. The first aim of this talk will be to explain this statement in some detail. I will then introduce the Hilbert scheme of points on a surface and show how the conjecture can be reduced to the computation of a cohomology class on the Hilbert scheme. This is the first step in one of the known proofs of the conjecture. Sönke Rollenske (Imperial College London) Some very non-Kahler manifolds. In the first part of the talk I want to give an elementary solution to the classical question how much de Rham and Dolbeault cohomology can differ on a compact complex manifold (cf. [Griffith-Harris78], p.444). In the second part I will explain how this fits into the more general framework of nilmanifolds with left-invariant complex structures and how these can be used to produce manifolds with interesting properties. (reference: arXiv:0709.0481) Fredrik Vaeng Rotnes (Imperial College London) Foliations and birational Geometry. In a single breath, a foliation is a partitioning of a manifold into submersed submanifolds all of the same codimension, called the leaves of the foliation. In this talk we'll explore holomorphic foliations from a birational point of view. The main case is surface foliations, which are defined simply by holomorphic differential equations on the plane. But instead of going about solving these equations to find particular solutions, our interest is in a qualitative understanding of the geometry of a foliation. There'll hopefully be many examples to display the different geometric behaviours, like the geometry of the leaves or the holonomies around singular points. In this way we can try to abstract out features shared among groups of foliations, for the purpose of a classification that in the surface case very much resembles the classical Kodaira-Enriques classification. The goal towards the end will be to explain one major helpful tool in this direction: The development of a Minimal Model Program foliations. Taro Sano (University of Warwick) Deformation theoretic approach to the classification of singular Fano 3-folds. Smooth Fano 3-folds are classified classically and there are around 100 different families of them. If I allow terminal singularities on Fano 3-folds, things get much complicated and the classification is not completed. I will explain difficulties in the classification of those Fano 3-folds and how to make the classification easier by considering their deformations. Deformations of weak Fano manifolds. The Kuranishi space of a projective variety is the parameter space of small deformations of the variety. It is important in the study of moduli spaces of projective varieties. In many cases, the Kuranishi space is singular. However, it is smooth in some important cases. I will explain when the smoothness holds. Shu Sasaki (Imperial College London) Crystalline cohomology and crystals. Crystalline cohomology originated from the observation that l-adic cohomology groups of a smooth projective (connected) variety over an algebraically closed field of characteristic p=l are "miserable" in comparison to p\neq l case. Roughly speaking, Grothendieck's idea (outlined in his lectures at IHES in 1966) was to lift varieties to characteristic zero and then take the de Rham cohomology to obtain "nice" (p-adic) cohomology. However, still some questions remained. Most notably: Is it always the case that one can lift varieties? To remedy this situation, we needed more sophisticated and subtle theory. The answer was... the theory of crystalline cohomology! In my talk, I'd like to explain why this crystalline cohomology is the "right" one and if time permitting, I would hope to talk about things like F-crystals to illustrate how mind-boggling this theory can sometimes be. I shall start from very basics such as Grothendieck topology so don't be scared of what I've just said above. Danny Scarponi (Oxford/Tolouse) The degree zero part of the motivic polylogarithm and the Deligne-Beilinson cohomology.. Last year, G. Kings and D. R ̈ossler related the degree zero part of the on abelian schemes pol0 with another object previously defined by V. Maillot and D. R ̈ossler. More precisely, the canonical class of currents constructed by Maillot and R ̈ossler provides us with the realization of pol0 in analytic Deligne cohomology. I will show that, adding some properness conditions, it is possible to give a refinement of Kings and R ̈ossler’s result involving Deligne-Beilinson instead of analytic Deligne cohomology. Sebastian Schlegel Mejia (University of Edinburgh) On BPS Cohomology. Since its inception 20 years ago as an enumerative theory of sheaves on Calabi-Yau 3-folds, Donaldson-Thomas theory has evolved and reached far beyond its original domain with applications in subjects such as quantum groups, cluster algebras, and nonabelian Hodge Theory. A key role in many of these applications is played by BPS invariants and BPS cohomology which intuitively are a count of simple objects in certain abelian categories of homological dimension no more than 3. My talk is an introduction to BPS cohomology. There will be examples and computations. Time permitting I will talk about the (mostly conjectural) chi-independence phenomenon for BPS cohomology and its applications. Dirk Schlueter (University of Oxford) DM stacks in toric geometry and moduli theory. This talk will be a follow-up to last term's introduction to stacks. The aim will be to show algebraic stacks in action: as a first example, I will discuss weighted projective spaces and toric geometry from the point of view of Deligne- Mumford stacks. The second part of the talk will focus on how algebraic stacks come up in moduli problems and in what sense they record more information than the classical coarse moduli schemes. As a guiding example, I will discuss moduli spaces of (marked) curves and some of the maps between them. Chris Seaman (Cardiff) An introduction to H-schobers. The group of autoequivalences of a given derived category of coherent sheaves on a variety X, D^b(X), has been the subject of much study. In this talk I will start by recalling some well-known results about Aut(D^b(X)), then introduce some more recent technology in the form of schobers on a hyperplane arrangement \mathcal{H}. These can be thought of as `categorifications’ of perverse sheaves on the same space. Ed Segal (Imperial College London) Operads and the Moduli of Curves. This talk will be an (attempted) explanation of Kevin Costello's paper math.AG/0402015. I'll go through the definition of A-infinity algebras and show how the universal structure (operad) describing them relates to moduli spaces of riemann surfaces with boundary. We'll see that up to homotopy equivalence, these moduli spaces have a simple combinatorial description. Crepant resolutions and quiver algebras. A resolution of a singularity is called 'crepant' if it's canonical bundle is trivial. For some singularities it's possible to find a non-commutative algebra A, which we can draw as a quiver, such that modules over A are 'the same' as sheaves on a crepant resolution of the singularity (the derived categories are equivalent). In Van den Bergh's terminology A is a 'non-commutative resolution'. I'll describe the ways that this can be done and discuss the various interpretations of the resulting quivers and their representations. If time permits I might explain the conjectural significance of A_infinity deformation theory in this context. Despite some the high-tech material in the above paragraph, most of this talk will be about a simple example. Superpotential algebras from three-fold singularities. The orbifold X = C^3 / Z_3 is a simple but interesting example of a (non-compact) Calabi-Yau threefold. Physicists predict that type II string theory on X reduces in the low-energy limit to a gauge theory, which is described by a quiver and a superpotential. We'll discuss how these objects arise mathematically. Lars Sektnan (Imperial College) Algebro-geometric obstructions to the existence of cscK metrics on toric varieties. The existence of constant scalar curvature (cscK) metrics on Kähler manifolds is a central problem in Kähler geometry. There are several known obstructions to the existence of such metrics and the algebro-geometric notion of K-stability is conjectured to be equivalent to this. We will present a classical obstruction, the Futaki invariant, in the toric setting and use it to show that the blow-up of P^2 with its anti-canonical polarisation does not admit a cscK metric. We will then show that this is not enough, by exhibiting an example due to Wang-Zhou of a toric variety with vanishing Futaki invariant, which is not K-stable. Along the way we will introduce filtrations of the homogeneous coordinate ring of a polarised projective variety and discuss how these relate to K-stability and also give a stronger stability criterion. I will begin with a reminder on toric geometry. Yuhi Sekiya (University of Nagoya) Moduli spaces of McKay quiver representations. The derived category of the minimal resolution of a Kleinian singularity is equivalent to the derived category of a certain non-commutative algebra. I will illustrate that the minimal resolution is recovered as a moduli space of modules over the non- commutative algebra. Michael Selig (Warwick University) Orbifold Riemann-Roch in high dimensions. We are interested in explicit constructions of 3-folds and 4-folds with given invariants. We use the following well-known graded ring construction: given a polarised variety (X,D), under certain assumptions the graded ring R(X,D) = ⊕ n≥0H0(X,nD) gives an embedding XProj(R(X,D)) ∈ wℙ. It is well known that the numerical data of (X,D) is encoded in the Hilbert series PX(t) := ∑ n≥0h0(X,nD)tn. We aim to break down the Hilbert series into terms associated to the orbifold loci of X. The talk should be fairly introductory. I will explain the ideas behind the work from scratch, exhibit some results in 3-D and explain some ideas for the 4-D case. Orbifold Riemann-Roch and Hilbert Series. Given a polarised orbifold (X,D) and its associated graded ring R = R(X,D) its numerical invariants (such as the plurigenera and the singularity basket) are encoded in its Hilbert series P_X(t). Studying the Hilbert series is therefore a sensible thing, as we could hope to use it to find generators and relations for the graded ring R. We deconstruct the Hilbert series into a sum of terms where each term corresponds clearly to an orbifold locus; using these methods we find a similar more general deconstruction of rational functions with poles only at roots of unity. Kenneth Shackleton (University of Southampton) Tightness and Computing Distances in the Curve Complex. We give explicit bounds on the intersection number between any curve on a tight geodesic and the two ending curves. We use this to construct all tight geodesics and so conclude that distances are computable. The algorithm applies to all surfaces. The central argument makes no use of the geometric limit arguments seen in the recent work of Bowditch (2003) and Masur-Minsky (2000). From this we recover the finiteness result of Masur-Minsky for tight geodesics. This talk is based on the preprint math.GT/0412078. Alexander Shannon (University of Cambridge) Twistor D-modules. A desire to extend Hodge theory to ever more general general geometric settings necessitates a corresponding generalisation in the structures we use to describe it. I will review some aspects of Saito's theory of Hodge modules, which play the role of sheaves of Hodge structures on varieties, and give an indication of how the algebraic data can be recast in a more geometric way to give the more flexible twistor D-modules of Sabbah. Geometry without geometry. We all know how to compute the (topological) cohomology of an elliptic curve in various standard ways, but let's pretend we've forgotten, and all we know about is a small piece of the derived category of coherent sheaves (I'll start with a reminder of what this is), but large enough that it generates the whole thing. Then we can get the answer purely algebraically, along with the Hodge structure and its variation with the parameter defining the elliptic curve, by looking at structures on the cyclic homology of what turns out to be a fairly small (and thus easy to work with explicitly) dg category. Time permitting, I shall try to suggest why this is a potentially interesting point of view for exploring ways of how elliptic curves might degenerate in the world of non-commutative geometry. YongJoo Shin (Sogang University) Classification of involutions on a surface of general type with p_g=q=0. We would like to understand involutions on a minimal surface of general type with p_g=q=0. Especially, for the surface with K^2=7 we give a table classified branched divisors and birational models of the quotient surface induced by an involution. And we explain how to get the table, and which cases are supported by examples. James Smith (University of Warwick) Introduction to K3 surfaces. The two talks will cover some basic aspects of K3 surfaces with the following aims: First, to say what a K3 surface is and how to recognise one. Examples will be given and the difficult question of why K3s are interesting may be tackled. Second, to become familiar with some of the methods used in the study of K3 surfaces such as lattice theory and Hodge structures. Time permitting, we may look at some deeper aspects of the subject and try and build an understanding of the moduli space of K3 surfaces. In the second talk, by looking at explicit examples, we shall illustrate some general properties of K3 surfaces. In particular, we look at variations of Hodge structure, periods and the associated Picard-Fuchs differential equation, and use these to visualise the moduli space of certain one-parameter families of K3 surfaces. Notes for the second part of this talk are available. K3s as quotients of symmetric surfaces. We consider the action of finite subgroups of SO(4) on P^3. Recent work of W. Barth and A. Sarti provides three examples of families of K3 surfaces that arise as the quotient of invariant surfaces modulo this group action. We describe an easy way to prove this and to find more examples using graded ring methods and invariant theory. This talk will cover a basic introduction to algebraic K3 surfaces and will demonstrate the use of graded rings and weighted projective spaces to their study. David Stern (University of Sheffield) Tilting T-structures, Mutating Exceptional Collections, Seiberg Duality... It's all quivers to me. In this I will working in the context of the bounded derived categories of coherent sheaves of a fano surface Z and it's canonical bundle \omega_{Z} which is a Calabi Yau 3-fold. I will breifly state how quivers relate to t-structures and tilting them, to exceptional collections and their mutations, and if any physists are present to seiberg duality. I will then use this to explain Tom Bridgeland's result in "T-structures on some local Calabi-Yau varieties" and if all goes well give a brief description of my current work. Vocabulary made easy. The aim of this talk is to provide an alternative understanding of derived categories, focusing on using the formal definitions of a t-structure and the heart of a t-structure to get visual understanding of what a derived category is, even for those with little prior knowedge. Then depending on time and peoples interest I will use this 'picture' to give simple explainations, of things like torsion pairs, tilting with respect to torsion pairs, stability conditions (Tom Bridgelands description), etc. Liam Stigant (Imperial College London) Minimal Models in Mixed characteristic. The Minimal Model Program (MMP) has been a hugely successful endeavour in characteristic 0, particularly in low dimensions where it is essentially complete. These ideas have been adapted to a wide range of situations and extensions of the original problem. Most notably for this talk is the recent work of Bhatt et al which establishes the bulk of the MMP program for a large class of three-dimensional schemes in mixed characteristic - specifically klt threefold pairs which are projective and surjective over an excellent normal ring, which admits a dualising complex and has residue fields of characteristic p > 5. In this talk I will present a conceptual overview of the MMP and its aims, before focusing on the mixed characteristic setting and some of the specific difficulties that arise here. I will also discuss some of the ways in which the study of threefolds in mixed characteristic is easier than for varieties of the same dimension over a field, in particular giving sketches of some relatively simple proofs of termination and abundance for threefolds. These results are traditionally very difficult even in dimension 3 over a field, in fact they remain unknown in full generality for positive characteristic threefolds. The proof of abundance is part of some joint work with Fabio Bernasconi and Iacopo Brivio. Jacopo Stoppa (Imperial College) Stability and blowups. We show that K- and and Chow- stability of the blowup of some polystable variety along a 0-cycle is related to the Chow stability of the cycle itself. This can be used to give almost a converse to a well known result of Arezzo and Pacard in the theory of constant scalar curvature Kaehler metrics. Andrew Strangeway (Imperial College) A Reconstruction Theorem for the Quantum Cohomology of Fano Bundles. A vector bundle E is said to be Fano if the projectivisation P(E) is a Fano Manifold. I will present a reconstruction theorem for Fano vector bundles, which recovers the small quantum cohomology of the projectivisation of the bundle from a small number of low degree Gromov-Witten invariants. In special cases the quantum cohomology is entirely determined by this theorem. I will give an example where the theorem is used to calculate the quantum cohomology of a certain Fano 9-fold. Tom Sutherland (University of Oxford) Stability conditions for the one-arrow quiver. Stability conditions are needed in order to construct nice moduli spaces, the classical example being vector bundles over a curve. Spaces of stability conditions of Calabi-Yau threefolds are also important in studying mirror symmetry which is a duality for Calabi-Yau threefolds arising in string theory. In this talk we will give an introduction to stability conditions in algebraic geometry and then study the space of stability conditions of a particularly simple CY3 category described by the one-arrow quiver. Affine cubic surfaces and cluster varieties. In this talk we will consider affine cubic surfaces obtained as the complement of three lines in a cubic surface where it intersects a tritangent plane. We will interpret certain families of these affine cubic surfaces as moduli spaces of local systems on the punctured Riemann sphere. We will see how to draw quivers on the sphere so that the associated cluster variety is related to the total space of these families. Rosemary Taylor (University of Warwick) Constructions of Fano 3-folds using unprojections. The Graded Ring Database uses numerical data to create a list of the Fano 3-folds in weighted projective space which could exist. In codimensions 1, 2 and 3 we know those that exist. But what do we know of codimension 4? Unprojections provide a method for constructing explicit examples of these Fano varieties. This talk will provide an overview of the current research, beginning with an introduction to unprojections and concluding with recent progress in type II1 unprojections. Elisa Tenni (University of Warwick) Surface fibrations and their relative canonical algebras. The aim of this talk is to introduce some properties of the relative canonical algebra of a surface fibration. It has been shown (by works of Konno, Reid, Catanese and Pignatelli, and others) that this algebra encodes important information about the geography of the surface. In particular I will show how such methods apply to the case of a fibration with genus 5 fibres, and I will prove a relation between the most important invariants of the surface. Alan Thompson (University of Oxford) Tjurina and Milnor numbers of matrix singularities. The Tjurina and Milnor numbers are two numbers that arise in the study of the singularity theory of composed mappings. This talk aims firstly to define these numbers and provide the means to calculate them in specific examples. This will then lead into a discussion of the fascinating relationship between the two numbers, focussing specifically on the case where the spaces in consideration are spaces of matrices and one of the functions to be composed is the determinant function. Here one can obtain explicit formulas relating the two numbers in certain dimensions, but little is known about the general case. Models for Threefolds Fibred by K3 surfaces of Degree Two. It is well known that a K3 surface of degree two can be seen as a double cover of the complex projective plane ramified over a smooth sextic curve. This talk will be concerned with finding explicit birational models for threefolds that admit fibrations by such surfaces. It will be shown that the nature of K3 surfaces of degree two allows these models to be constructed as double covers of rational surface bundles, a structure which in turn enables many of their properties to be explicitly calculated. Andrey Trepalin (HSE, Moscow) Rationality of the quotient of P^2 by a finite group of automorphisms over an arbitrary field of characteristic zero. It's well known that any quotient of P^2 by a finite group is rational over an algebraically closed field. We will prove that any quotient of P^2 is rational over an arbitrary field of characteristic 0. Karoline van Gemst (University of Sheffield) Frobenius manifolds and a one-dimensional mirror theorem. Frobenius manifolds were first formally defined by Boris Dubrovin in the early 90’s in order to analyse and understand the geometry of 2-dimensional topological field theories. Roughly speaking, a Frobenius manifold is a complex manifold with a specific algebraic structure on its tangent bundle, plus some additional structure and compatibility conditions. The topic of Frobenius manifolds bridges very different parts of mathematics such as singularity theory, enumerative geometry and integrable systems, and one can formulate a type of mirror symmetry as isomorphisms of such manifolds. In this talk I will introduce the concept of a Frobenius manifold, and try to explain the different ways one would go about making one. I will connect the topic to mirror symmetry, and give a unified mirror construction for a certain class of Frobenius manifold previously constructed by Dubrovin and Zhang, on the orbit space of a certain extension of affine Weyl groups. I will also mention some applications of this result. This is joint work with Andrea Brini (Sheffield). Jorge Vitoria (University of Warwick) t-structures and coherent sheaves. Let D be the derived category of coherent sheaves on a projective variety X. In this talk we will study methods of constructing t-structures on D and explore examples. Thomas Wennink (University of Liverpool) A reconstruction theorem for genus 2 Gromov-Witten invariants. One can use relations in the tautological ring of the moduli space of curves to obtain relations among Gromov-Witten invariants. This method has been used to give reconstruction theorems for Gromov-Witten invariants in genus 0 (Kontsevich-Manin) and in genus 1 (Getzler). We use Pixton's tautological relations to prove a reconstruction theorem for genus 2 Gromov-Witten invariants.We also calculate genus 2 Gromov-Witten invariants of P^2 blown up in a finite number of points in general position. Anna Lena Winstel (TU Kaiserlautern) The Relative Tropical Inverse Problem for Curves in a Fixed Plane. Tropical Geometry is a rather new tool in algebraic geometry, in which an algebraic variety is assigned a polyhedral complex, called its tropical variety. By studying these tropical varieties, one can obtain information about the original algebraic variety. Since these new objects are combinatorial, problems can often be solved more easily. There is hope to find new results in algebraic geometry by looking at the tropical counterpart and then transferring the result into algebraic geometry. However, it is not always clear how this transformation from tropical into algebraic geometry can work. This problem is called the Tropical Inverse Problem: given a polyhedral complex, one asks if it is the tropical variety of an algebraic variety. So far, there are answers to this problem for special cases such as a polyhedral complex of codimension one or a polyhedral fan of dimension one, but there is no general solution. One may also ask the question in a relative setting: given an algebraic variety X and a polyhedral complex which is set-theoretically contained in the tropical variety trop(X) assigned to X, does there exists a subvariety of X such that this polyhedral complex is the tropical variety of this subvariety? This question is called the Relative Tropical Inverse Problem. It is the aim of this talk to present an algorithm able to decide the Relative Tropical Inverse Problem in the case that X is the projective plane V(x+y+z+w). John Wunderle (University of Liverpool) Properties of higher genus curves. We will investigate some of the geometric and number theoretic properties of curves of genus two, which admit various types of isogenies. We will look at these via covering techniques and go on to extend some of the results regarding curves with bad reduction at 2 and p, where p is some prime. Jacobians of hyperelliptic curves. The resolution of Diophantine equations over the rationals is one with a deep history. In this talk I will consider ways to solve a general family of curves - specifically the Fermat Quartic curves ($x^4+y^4=c$). We present work from Flynn and Wetherell and expand upon their work. We consider a "flow diagram" approach to solving these curves and present explicit examples as well as a general method for approaching the curves. Finally we explain how these methods can be adopted to suit other diophantine equations over the rationals. Christian Wuthrich (University of Cambridge) On p-adic heights in families of elliptic curves. About twenty years ago, following an initial idea of Bernardi and Neron, Perrin-Riou and Schneider found a canonical p-adic height pairing on an elliptic curve defined over a number field. The associated p-adic regulator appears in the p-adic version of the conjecture of Birch and Swinnerton-Dyer, but it is still unknown if this pairing is non-degenerate except for special cases. Following the work done for the real-valued pairing, one can analyse the behaviour of the p-adic height as a point varies in a family of elliptic curves, and get so new information about this pairing. Xiong Yirui (University of Sheffield) Tilting objects on cotangent bundle of the projective plane. Tilting object is a powerful tool in the study of derived category (more generally triangulated category), which induces an equivalence between the original category and derived categories of an algebra (usually noncommutative). In the talk, I will show how to construct tilting objects in the derived category of the total space of cotangent bundle on a projective plane, therefore induce a family of bounded t-structures in the associated 4-Calabi-Yau category.