 Okay, so I'd like to thank the organizers for the invitation to speak at this wonderful workshop So yes today, I'll speak about Donaldson Thomas invariance of local elliptic surfaces. So I should say this is all joint work with Jim Bryan So I'll start with some general comments on Hilbert schemes on three-folds since not everyone in this audience Might be working with them on a daily basis So we'll start quite general So Let X be a smooth three-fold over complex numbers And we'll denote by beta a two-cycle on X and Kai will be some integer Then the modular space will be considering in this talk the Hilbert scheme Curves on X in class beta and with Euler characteristic Kai. So what is this? you spell it out so these are Closed sub-schemes set max of dimension less than or equal to one Which I mean set is allowed to have zero-dimensional components as well as one-dimensional So I'm not insisting on X to have to be projective so I'm sure Also be fixing some invariance here. So we want the algebraic cycle determined by set to be beta and The holomorphic Euler characteristic of the ring of functions to be this fixed number Kai So it's a space of all one-dimensional sub-schemes in X with this data And the Hilbert scheme So since not everyone may be working with these very often. Let's treat an example. So example suppose The simplest three-folds X is just affine three space Then giving a closed sub-scheme of X is the same as specifying the equations which define The sub-scheme in other words specifying Z and X is the same thing as specifying the ideal of equations Defining X defining Z So I'm using here global coordinates X Y and Z on affine space So here's a picture of a one-dimensional closed sub-scheme So here the ideal we're having is the ideal generated by X Y squared X Z Y Z and Z squared So what I'm drawing here is the weight spaces of the structure sheaf of Z in the character letters so this guy here has These four generators So there's one infinite lag extending in this direction another one here. So this one has a multiplicity two and Then here we see something special This curve here has an embedded point So what this means is if we look at the ideal of this point Z inside the Ring of functions on Z Then the interesting thing is that this ideal is zero-dimensional Rest this object here is one-dimensional and if you take the co-kernel here You get exactly the structure sheaf of the curve which is drawn here. So this is the curve Z, this is the curve C We see here that we have removed the embedded point So in mathematical terminology we say that Z Is not co in Macaulay, which means It's structure sheaf is not pure one-dimensional So which means intuitively that Z may have embedded points or floating points But C on the other hand is co in Macaulay and We will refer to see as the maximal co in Macaulay sub curve of Z so C in Z is the maximal Sub curve with no embedded points or zero-dimensional components How you did how you determine this well in practice that could be quite hard in fact But will be mostly at some point in this talk be considering the ones which are fixed by the torus action like the ones I drew here and there it's a bit easier So yeah note incidentally that there is an obvious action of the three torus on this geometry Just the standard action and actually the examples I've given here are all fixed or invariant under this action So these are both Teen variant So I'm only giving you Teen variant examples here because they'll come back later Okay, so this is some general setup. So now let's specialize To the geometry we'll consider today. So today will momentarily go to a surface So S over some base B is an elliptic surface where We assume two things we assume first of all that the surface has a section so with section B and S the section will denote by B as well and We only assume the simplest type of singularities of the codire classification. So with only rational nodal Singular fibers a little topological computation then shows that the number of these is Exactly the topological Euler characteristic of your surface and we'll assume there's at least one singular fiber So the picture of this guy is as follows We've got a surface here with a section Generic fiber is a smooth elliptic curve and then there's a finite number of these rational nodal fibers And this maps down to some base B. So this is the picture, but then we want to do three-fold theory So the X the three-fold X will be considering Is the simplest Calabi out three-fold you can construct out of this geometry? It's the total space of the canonical bundle over this surface Actually Calabi out won't play a role in any of what I'm going to do in this talk So so what we'll do is we'll study Hilbert schemes on here. So what is the curve class we look at? So the curve class is we always take one time the section and then a multiple of the fiber class So here we see the class of the section Here the class of the fiber so all the fibers have the same class So this is the class will be considering and what we'll do is we'll look at the simplest Invariant you can attach to To this Hilbert scheme will just take the topological Euler characteristic So consider the topological Euler characteristic of Hilbert schemes on this X in this class Section plus a multiple of the fiber. So this here is just ordinary topological Euler characteristic and we'll group these all together in the generating series summing both over multiples of the fiber d and over holomorphic Euler characteristic Using a variable p and q q for the fiber and we'll call this generating series dt hat of X So this is the main object of study and we'll also study another dt hat vibrate fiber X Which is the same thing except that we take as a curve class Not b plus a multiple of the section of the fiber, but just only multiples of the fiber So the same generating function, but only multiples of the fiber So the reason this is written as dt hat is because these are related to so-called Donaldson-Thomas invariance So if I remove the hat I'll actually be talking about actual Donaldson-Thomas invariance So most of the talk or almost the entire talk I'll talk about these naïve dt invariance But how do you get the actual Donaldson-Thomas invariance? So you do the same so again this generating series But instead of the naïve Euler characteristic you weigh by constructable function known as Beeren's constructable function So this is some constructable function which keeps track of the scheme structure of your Hilbert scheme If you happen to include it you get the actual Donaldson-Thomas invariance, but again I'll be talking mostly about these and then of course there's a Fiber version of this as well So what is the main theorem I want to talk about? so Maybe one more piece of notation For the theorem, I'll use two modular forms. I'll use Datacint-Eta function and the Jacobi-Theta function So what is the main theorem? The main theorem is that this generating series dt of x Well, let's look at the hat version After dividing out by the fiber part it's just given by Well after eliminating this front factor eta to the power minus the Euler characteristic of the surface and then theta minus the Euler characteristic of the base And the second part of the theorem which I won't talk about is assuming a conjecture on the Beeren function a conjecture star if there's time I say something about it We can get a formula for the actual Donaldson-Thomas invariance So geometrically dividing by this fiber by this fiber generating series means you take the connected Donaldson-Thomas invariance which are only defined formally And it turns out if you include this Beeren function you get the same formula up to some signs You get a sign in front times the same formula where you have to make one replacement you have to replace p by minus p So in this talk, I'll be talking about this first item only I should say a few things In some sense the interesting part perhaps of this theorem is not the formula itself but rather the way we derive this So what we do is I'm actually going to present to you a method of reducing this expression here purely to an expression in terms of the topological vertex to something purely combinatorial And then that combinatorial expression can be written in this form So this may be a bit surprising because the geometry here is not toric So you'll see how I'll nevertheless force in some toric geometry here So in the case of a K3 surface if you like, this gives a new way of getting to the Katz-Klem-Vava formula which was first derived in primitive classes by this K3 The first proof in mathematics of the Katz-Klem-Vava formula was given by Maulik-Panry-Panry-Thomas in a primitive case Since I'm not taking a multiple of the section I'll only talk about the primitive case as well And then the general proof of KKV was given not so long ago in a monumental paper by Panry-Panry-Thomas So this is all curve classes The interesting thing is that both of these proofs make use of the so-called Kavay-Yoshio-Ka formula and we won't be using that So this will be purely a calculation with the topological vertex I should also mention another thing The methods I'll talk about today are also quite effective in other geometries Other geometries other three-folds with an elliptic vibration So there have already been two equations to axis K3 times an elliptic curve by Jim Bryan and axis the product of three elliptic curves by Brian Oberdeek, Panry-Panry and Yin So I'll talk now about how to get to this formula So actually the only moves I'll be making are the most naive moves you can make with a topological Euler characteristic following So the topological Euler characteristic E of a space or of a scheme if you like has the following properties the cut-paste property if you have a closed sub-scheme of another scheme then the Euler characteristic of X is just let's say the Euler characteristic of X removes E is just the Euler characteristic of X the second property I'll be using is if you have two schemes of varieties Euler characteristic of the product is the product of the Euler characteristics I'll also be using that if you happen to have a C-stire action on X then the Euler characteristic is just the Euler characteristic of the fixed locus and the final property is that if you have a bijective morphism so a morphism which is bijective so I'm not insisting on an isomorphism here then their Euler characteristics are also the same so in particular if you have a scheme it's Euler characteristic it's just the Euler characteristic of the underlying reduced scheme the underlying reduced variety so this is all we need so now let's go to the geometry we're considering so what are we having we're having X the total space of the canonical bundle over this elliptic surface so this has an obvious C-stire action namely scaling of the fibers of the vector bundle of this line bundle so this action lifts to the modular space to the Hilbert scheme so here I'll write a bullet by which I mean I actually group them all together so the curve class is fixed but I'm just taking the union over all possible holomorphic Euler characteristics so I'm grouping them all together just for a brevity of notation so we have this torus action so what we do now is we take an element in here some sub-scheme and we assume its torus fixed so remember we only have to calculate the Euler characteristic of the fixed locus here so let's see what these sub-schemes look like so suppose we have a one-dimensional curve here a one-dimensional sub-scheme which is C-stire fixed so what can we say about it so the first obvious thing is that the underlying reduced curve has to lie in the zero section of your vector bundle now comes the important one so what can we say so if we look at the ideal this ideal has a C-stire action which means it decomposes into weight spaces so we have a decomposition into weight spaces and the summons of this decomposition have a specific form they are themselves ideal sheaves of schemes on the surface up to some global twists which you need for gluing so there is a decomposition like this where this here appearing at the different weight levels actually form a nesting so we have a nesting here of one-dimensional schemes and finally what we know is the curve class is the section plus a multiple of the fiber so we know that if we take the sum of all the classes of these z i's we have to get our curve class back so in particular this sum can only be finite so this decomposition here only goes up to some level so imagine this as stack of pancakes which become smaller and smaller so one the bottom one is to contain the next one etc so this is still quite general so still quite hard but it becomes easier if we look at z without embedded points so now we are going to look at C-stire fixed curves which are cone Macaulay so let's see the cone Macaulay sub-curve of C so I am removing all zero-dimensional components and all embedded points so this C actually can be drawn in a very geometric picture so I am now going to draw a picture which will be the main picture so imagine the zero section S surface inside our three-fold so here we have the section B and what does such a C look like well the underlying reduced curve has to be just one time the section and then a bunch of fibers let's say fibers above points so a bunch of smooth fibers fx1 up to fxm and then a bunch of singular fibers fy1 to fyn this is the underlying reduced curve so what does the actual cone look like so what you do is because of this nesting property in the cone Macaulay case each of these here are just divisors on the surface so the way you should imagine this is let's start with this fiber here you thicken this fiber at weight level zero some direction in the surface then at weight level one you do the same etc what I'm doing here is I'm thickening this fiber here infinitesimally in both the surface direction and the fiber direction according to some partition some partition lambda one and then I thicken the whole curve according to this partition and the same for all other fibers with possibly some other partitions here these partitions are just the cross-sections of what your cone Macaulay curve looks like so this is the picture the section only appears with multiplicity one so here you should think of like a little box this is just not thickened at all so here I'm putting the partition of size one so the thickening is really in terms of the ideal if say locally this is defined by some x you just take x to some power L and do that at each level in the surface they are all just infinitesimal thickenings and these are all possible pictures of all maximal cone Macaulay sub curves so the idea now is to just stratify the entire Hilbert scheme according to these pictures so note by the way that the sizes of these partitions all have to sum up to the fixed curve class which I just wiped out so now the main claim is that if you look at okay so let's call let's give some name to the stratum of all sub-schemes with underlying fixed cone Macaulay curve so whatever I fixed here I fixed a bunch of points above which we have smooth fibers bunch of points above which we have singular fibers so this is at most the Euler characteristic of the surface and then I fixed a number of partitions so I'll denote by sigma the stratum of all elements in the fixed locus of the Hilbert scheme where the underlying cone Macaulay curve is that picture buying maximal cone Macaulay curve determined by the points x, y and the partitions lambda and mu so this is the stratum of all one-dimensional schemes where the underlying cone Macaulay curve is this picture so now the main claim is that when we fix this data the Euler characteristic does not depend on the precise location of these points xi and yj this is perhaps not so surprising but that's somehow the main the main claim so the Euler characteristic of this stratum so I'm using here abbreviation this bullet remember is I'm summing always over all holomorphic Euler characteristics so these Euler characteristics only depend on the partitions of each type and what partitions they are so this only depends on lambda and mu so I'll call this quantity here since it doesn't depend on x and y I'll just call it E of lambda and mu and the form of variable we're having here is P yes so this stratum is this stratum and with the dot I actually mean that I'm taking the union over all possible holomorphic Euler characteristics chi so chi I'm grouping them all together so the curved glass is always fixed but those I all group together so what does this imply well since our modular space is just the union over the stratum the disjoint union you already get some sort of formula for your DT invariant so you choose any number of smooth fibers M and then any number of singular fibers N remember you can only choose at most Euler characteristic of the surface singular fibers and then what do you get so then you get a big sum over partitions lambda one up to lambda M mu one up to mu N so I'm summing here over all possible strata sigma that can occur and then what do you have so you just have q to the total size of these partitions total size of these partitions determines the multiple of the fiber times so this is the number of ways in which we can choose M smooth fibers so Euler characteristic of the base minus the number of smooth of singular fibers so this may be negative using the usual conventions of binomial coefficients and the number of ways in which we can choose a singular fiber is just Euler characteristic of the surface choose N and then the final factor is this E here so I've done nothing really here just stratify the moduli space into these strata and sum their Euler characteristics up so the key point now is to prove the claim for the Euler characteristic of such a stratum any questions at this stage yes, which is in here okay, so let's calculate this okay, so I should keep this picture okay, so we're now reduced to a stratum of the moduli space where the underlying maximal cone Macaulay curve is this picture and then we're looking at all possible ways of putting in embedded points and floating points and we want the Euler characteristic of that so we are reduced so fix such a stratum sigma xy lambda mu so in particular this fixes some cm curve c determined by this data the picture you see here so we now want to calculate the Euler characteristic of this of this stratum so the point now is that we're going to use a cover an open cover of our three fold so take an open cover which I'm going to describe u alpha of our three fold x so what are the elements of this open cover so first of all so what we're going to do is we're going to take really small balls around all the interesting points in this geometry which means around all the singularities of the underlying reduced curve so we take a small ball everywhere where the fiber hits the section and we take a small ball around the nodes so small open balls the singularities of the underlying reduced curve so actually we're doing algebraic geometry here so taking small balls is perhaps not the right thing so really what I'm doing here is for the algebraic geometers I'm taking a so-called FPQC cover Fidelman plat a quasi-compact so what it means here instead of open balls really what I'm taking is I'm just looking at the local rings at those points and I'm taking their completion I'm just taking speck of the completion of the local ring so really what this just is if you choose coordinates this is speck of the formal power series ring in three variables so instead of open balls I'm actually really taking formal neighborhoods around all the interesting singular points of the underlying reduced curve and here we see where the torus comes in because now we have a three-dimensional torus which is acting on here just the standard torus action so that is where the topological vertex will come from so what else am I going to take I'm going to take tubular neighborhoods of what's left so I take this curve and I remove all the singularities so then you get these open tubular neighborhoods etc also here for the singular fibers so really again I'm just taking formal tubular neighborhoods of this underlying reduced curve but I'll just I just want you to think of it as small analytic open neighborhoods and then what's left there's one big, so risky open left just the three-fold remove the entire underlying curve so this is the cover so now let's see how we can calculate on this cover so the point now is that we have a restriction map so we have our stratum here we fix this underlying curve and we've got a restriction map to a bunch of Hilbert's scheme on these local pieces of the cover so I'm just taking some one-dimensional sub-scheme with this underlying cone Macaulay curve and I'm looking at what it induces on all the pieces of this cover so now comes the key observation since we already fixed the underlying cone Macaulay curve there is no gluing here anymore so when you do the restriction you lose no information gluing is only determined by how the underlying cone Macaulay curve glues but that's one we fixed already so by restricting to these open pieces we already have here a bijective map again the underlying cone Macaulay curve is all that comes in when you glue because when you look on overlaps of patches the embedded points and the floating points are simply not there so this restriction map is bijective so to be precise it's a bijective constructable morphism it's not actually a morphism but for Euler characteristic reasons this is fine, this means it's a morphism on a certain stratification of sigma so we reduce now to just calculating the Euler characteristics on these local pieces so let's do one example let's look at this open neighborhood here so I'm going to call this point p here and let's call this partition simply mu so I'm dropping the superscript so here we have some open neighborhood u alpha so let's see what happens on there so what happens on this open piece so we're now on this open piece around such a node with the partition mu coming in so what we want to calculate is the Euler characteristic of this local piece and as I said now suddenly we have a full three-dimensional torus so this is just the Euler characteristic of the full C star cubed fixed locus but this modular space has isolated fixed points which are just parameterized by 3D partitions so I'll draw a picture in a minute so this is just the sum over all 3D partitions pi with asymptotics and then pi to the size of p so let me draw the picture so the C star cubed fixed elements are just all 3D partitions which at some point limit to our fixed partition mu on both sides and here there's no lag so the underlying cone McCauley curve locally just looks like making this come together and then the way you put in embedded points is you just stack boxes here further on top so these are the elements we sum over so this object is very well known in physics so I should maybe also say what is pi here so pi is the size of the partition which is a little tricky for infinite lags because this extends infinitely so this is what's known as the renormalized volume so it's the sum over all boxes if a box appears in more than one leg you subtract the number of legs it appears in so this is the well known topological vertex which you can find in for example you can find in okunkov so the reason I'm putting here this symbol in front is that the two coincide with the overall factor of p which has to do with the way you normalize so there's some overall factor of p here in front so now what have we achieved if we put this all together say again what's asymptotic sorry I couldn't hear does the partition need to have oh what does the asymptotic mean oh so I just wiped out the picture so we fixed some partition mu 2D partition and in this case there are two infinite legs and if you take a cross section these two infinite legs it has to be this fixed partition this fixed 2D partition mu so that's what it means so only in a finite box stuff happens and then outside that box you just have mu extended and empty extended I mean in the paper a priori you could put here any lambda mu nu but for this geometry this is the most complicated which comes up and for those working with the topological vertex if you follow the conventions in here you have to take strictly speaking the transpose partition here so what do we get now we get a formula for the Euler characteristic of this stratum so this also proves that it will be independent the locations of our points so what is this Euler characteristic well so we just take a product over all the opens in our stratification so then we as sadly I take this picture but because of lack of blackboard space I had to so I'm now just writing the local contribution for all the small balls where the fiber hits the section then there's a local contribution so where smooth fiber hits the section then there's a local contribution where each singular fiber hits the section remember we also chose a small ball every singularity of a singular fiber so this is the total contribution of all the small open balls but then of course there's more I didn't talk at all about the tubular neighborhoods so there is a contribution of the tubular neighborhoods and the contribution of the big Savisky open subset which is the complement of the curve so this is the other contributions of the other opens but again it turns out that you can by looking at such a tubular neighborhood and recording the locations of the embedded points you can use a further stratification to also express those in terms of the topological vertex so if you put it all together you get the following final formula for the DT invariant so I'm taking the formula which I derived earlier the one where E was still appearing and then I plug in this formula and then what do you get you get some front factor this front factor don't worry about those halves this is always even so those halves disappear and then there are two contributions one from the smooth fibers so the sum over all possible 2D partitions of some factor so let me comment on this so which part have we seen so we've seen this part all the rest you're seeing here appears from the fiber contribution so this comes from the fiber from the tubular neighborhoods of the fibers and this one here too and this one comes from the tubular neighborhood of the punctured section and then what's the contribution of the and this also comes from the tubular neighborhood of the section and then what's left for the singular fibers is this expression and this is this part this part here you don't have to worry that was I was telling you that the topological vertex and the Euler characteristics of the strata differ up to some overall power of Q of P that's this power here again this comes from the section this comes from the punctured fiber so this is the final formula and these are purely combinatorial objects so in principle you can put this in the computer and then you'll find numerically that this is the KKV formula for K3 for example but to actually prove that takes some work so it turns out that if you express this one in terms of sure functions that this one is actually known in the literature this one appears in a paper by Bloch Okunkov and it gives rise to a theta function now this one turned out to be new or at least we couldn't find it in the literature so took us quite a while to get this one so we actually needed the specialist here namely in joint work with Ben Young this one was expressed in terms of of an operator on Fox Space, the infinite wedge space so this part was really largely due to Ben Young he got the main ideas there then if you calculate this one you again see some explicit expression with thetas and it all combines to the theorem in the beginning now since I see that there are few minutes left still in actually calculating this one no so it turned out what you could do here is so this entire expression turns out to be you have this infinite wedge space you write down some operators on there because of this mu here this q to the mu you can somehow see there's some natural operator which has this as its expression and then the way to calculate it is you play so once you've written it in this way so there's a bunch of operators here let's say a, b, c and all you have to use is the commutation relations between these operators which are already known in the literature because most of them are just the ordinary vertex operator and then there's one which has to do with this Blokhov operator so you use two ingredients the standard commutation relations and the cyclicity of trace and it turns out that only these two ingredients by playing them out against each other in a clever way which was Ben-Yan you actually find that expression so there's actually a separate combinatorial paper on this so maybe in the remaining four minutes let me only do one thing let me just write down for completeness I was telling to get the actual Donaldson-Thomas invariance we need a conjecture so all I'll do is write down this conjecture and the Toric case of this conjecture is known so let X be any three-fold this time we do want Calabiow and let C be any cone-McCauley curve in it and to be on the safe side we assume that the only singularities which the underlying reduced curve has is something Toric so either locally there's some smooth curve or a node or three coordinate axes coming together but conceivably there may be more general situations where this holds then let's look at a stratum of the Hilbert space of the entire Hilbert scheme so we look at again as we did here so we look at all sub-schemes where the underlying cone-McCauley curve is inside the entire Hilbert scheme I'm suppressing here that we also have some curve class maybe I should put that in and then what is the conjecture so then the Bearent function we want to be on the safe side again so we integrate the Bearent function over this stratum so this is the Bearent function of the entire Hilbert scheme on the three-fold and the claim is that this is just the Hilbert scheme the Bearent function at the underlying cone-McCauley curve times minus one to the number of embedded points times the actual Euler characteristic of the stratum so you could even conjecture something more refined you could even say the Bearent function at Z the Z lies in here is nothing but the Bearent function of the underlying cone-McCauley curve at the end that would be an even stronger thing to conjecture and the final thing which we can do actually is this part we can compute so this gives rise to this this front factor so this actually calculating the Bearent function at these curves turns out to be quite delicate unexpectedly these curves actually turn out to be smooth points of your Hilbert scheme which leads to this particular sign but we can't this is all we can do and of course you can list some evidence for this irreducible curve classes this appears in work of Poundary-Pounder-Thomas the TORI case this is known perhaps in the stable pairs case more is known but for us it's just to conjecture this and then we get the formula okay that was it