Derived Torelli theorem for K3 surfaces
Olsson, Martin
Classical Torelli theorems are in their very formulation restricted to complex algebraic varieties. In this talk I will discuss a Torelli-type theorem for K3 surfaces in positive characteristic using the derived category of coherent sheaves as a substitute for the integral structure on Betti cohomology. I will also discuss various arithmetic consequences. This is joint work with Max Lieblich.
 Thank you very much. Thank you to the organizers. It's really a great pleasure to be here and to speak. I want to revisit some old questions about Tarelli theorems that Arthur of course has and very influential papers, especially with the super singular k3s. And I want to try to sort of rethink a little bit how we might phrase Tarelli theorems in positive characteristics. So I'll talk about joint work with Max Lieblich. I came up in the previous talk. And just to get ideas fixed, let me begin by reviewing some basic Tarelli theorems over the complex numbers. And I'll say, I have in mind other Tarelli theorems, but let me talk about k3 surfaces for this lecture. But so let's say we have a k3 surface. And so what do you consider? You first consider the lattice, which is the singular homology z coefficients, which has an inner product. And so there's sort of two bits of data. There's this, which is sort of the analytic part. And then there's the Hodge filtration, which is somehow the algebraic part. So for the k3, of course, it just looks like, yeah, well, there's really just one piece. Really, you just need to know this, which is the H0 of xkx. From that and the inner product, you can get the F1. And so the Tarelli theorem in its standard formulation says the following. So two k3 surfaces, x and y, are isomorphic if and only if there exists an isomorphism lambda x. So that means including the inner product, preserving the filtrations. But it doesn't mean that you can leave the isomorphism. No, no. So this is a delicate question. So as people were going to, I think, some of, yeah, so as Ofer says, so let me remark. And this is an, actually, I'm glad you asked because I want to discuss this point in positive characteristics. So if in general, you needed to take a Kailer class to a Kailer class. So if, so let me give it a name, let's say sigma. If sigma takes a Kailer class to a Kailer class, then sigma lifts to an isomorphism. Let me put a sigma tilde, x to y. This is what you were asking, I think. And also it is unique, the next thing. If it's unique. Let me not say anything on the spot. I'm not sure. On my feet. No, I'm not precisely. It's probably easier. A harm of x to y goes to harm of x to y. You say that, but that sets. Oh, I saw the next one. Yeah, yeah, yeah. That's the question, right? Is it, is it injective, right? No, that's the question. Yeah, I don't, I, maybe not say something wrong. Okay and so, right. And so in general, you can arrange this, after, can arrange this by reflecting across minus two curves. This is somehow a very classical story. And so, I mean, you see in the very formulation, it's not clear what you should do in positive characteristic because of this integral lattice, right? So, of course, August proved a Torelli theorem for super singular k threes, which is really the only result I know which uses comology as sort of the, you know, you have a, if you have an isomorphism of comology respecting some structure, then you have isomorphic varieties. Okay, so sort of the rough idea. So when you say you can arrange this, I think you also need maybe to apply minus one. Oh no, I'm not sure because the reflection along minus two curves cannot be enough if there are no minus. So you could have the, the automorphism minus one, minus the identity. Yeah. Certainly. Ah, ah, yes. And minus one is for a reason. Let's see. Let me just. Yes, I'm sure you're right. Let me, let me, so, yeah, let me put it. You are just put minus one, minus one. Let me, let me just put it like that. Okay, so, yeah. Okay, so, so the rough idea here is to try to make a formulation even in positive characteristic will replace lambda x here by the derived category of, category of coherent sheaves on x. And the Hatch filtration will get replaced by, so what filtration can you put on something coming out of the derived category? Well, you can go to the growth and degroup, tensor q, which by Riemann-Roch is the Chao group tensor q. And there you have a filtration, which is filtration, I mean, it's graded, so, gets replaced by the co-dimension filtration here. Now, this is a very, you know, loose sort of analogy, but I'll explain a Torelli theorem for k3s in this context and deduce consequences. Okay, so, but in general, I don't know to what extent, I mean, it could be that this is a much stronger kind of result, or condition that you could have Torelli theorems sort of in the derived sense when it might not hold there. So, will the result you're trying to explain give a new proof of the complex numbers? No, in fact, this is, I'll explain, sketch the argument for the proof, which will reduce to the complex case, unfortunately. All right, so, let me give a precise statement. Okay, so k, let's say it's algebraically closed and characteristic not to, for some technical reasons. And so, x over k is a k3 surface. And so, there's, some of this came up in the previous talk, but let me get it on the board. These are x and y are called Fourier-Makai partners. If we have an equivalence of triangulated categories between the bounded derived categories of coherent sheaves. And so, and as I said, so there's one point which is, which I'll come back to later, but if you take the growth and degroup of the triangulated category, you have to choose this isomorphism in the right way. But you have an isomorphism here with Chao groups. And actually, for the theorems I'm going to discuss, I could pass to numerical equivalence, but anyway, that's not too important. So I view this as being filtered. And so, this is the f2, f1, f0. But if x and y are k3 surfaces over k, and there exists an equivalence of triangulated categories, d of x, d of y, preserving the filtration, then x is isomorphic to y. So it is, at least with this analogy, between viewing the derived category as an integral structure plus the hot filtration, then you have isomorphism. And the equivalence of triangulated categories is supposed to be K linear or? Ah, yes. Otherwise, you could twist by the morphism of k. Yes, yes, yes. Thank you. And if you just under the category in the old sense, not in the, any infinity. No, no infinity. No. Yeah, just derived category of coherent shoes. So what about the previous question? And after that, isomorphism is x to y to the equivalence of k? So this, I don't know the answer to. This is a very interesting question, which is, and yeah, so I'll sketch the argument because it involves, you know, deformation theory and sort of a lot of the classical tools of deformation theory of K3 surfaces, but the proof does not in any way tell how the isomorphism you produce is related to the equivalence. Yeah, could you remind us what's known for services of other kinds? Is there a whole class of services where isomorphism is the right category of isomorphism? Ah, so if either the canonical sheaf is ample or an anti-ample, then you know it already. But then you don't need the filtration. OK, so what's interesting here, maybe I'll put it here, remark is that, and I'll explain exactly what the examples are, d of x equivalent to d of y is not enough. So this is sort of very classical Moukai orlov, many people. So you need, you can't just ask for equivalence of triangulated categories. This is not enough to imply that x and y are isomorphic. But actually this result, as I'll explain, will tell you exactly to what extent that fails. OK. Do you need to assume that y is a K3 surface? Now that follows from having the equivalence of triangulated categories here. So let me review, there's sort of two ingredients that came up in Francois's talk, but let me review just a few basics. So x, y are smooth, projective over K. If I have an object of the derived category of the product, I get such a functor by sending K to rp2 lower star p. So that's sort of the standard transform, pullback, tensor, and pushdown. And the theorem of orlov, which is really the sort of key thing to get things off the ground, is that if I have an equivalence of triangulated categories of K linear, I get K. Then f is of this form, pi p for some p. So this tells you not only, well, it gives you some geometry. It also tells you the candidates, I mean, how you produce as came up in Francois's talk. What you do is, I mean, how could you have a complex on the product, the most natural thing is to take y to be a modulate space of sheaves on x, and then p to be the universal family. And dx is dp-coherent? Yes. All the derived categories will be the derived categories of coherent sheaves on smooth, projective varieties, so there's no issue about finite, I mean, they're regular, yeah, yeah, bounded. Okay, so what are exactly the modulo spaces? Yeah, so I want to actually write down, so x over k is a k3 surface. And so then let me fix normalization. So for a complex, you have the Mokai vector, which is the churn character times the Todd class of x square root. And I view this as being an element of, and for k3, it's defined integrally. In general, you would have to put some denominators, but for k3, it's there. And it just, I mean, has a very simple description. It's a rank c1 of e, and then the rank plus c1 of e squared over 2 minus c2 of e. Okay, that's the formula. And then we also fix a polarization on x, so an ample class. And then you can consider the stack of, so Giesiger, Sevastable, sheaves on x with Mokai vector, this vector, a given, okay, so you fix your nu, and then you make these moduli spaces. And then, so for good, as Francois mentioned, what do you have? We have A, every semi-stable sheave is stable, which means that this thing here is a GM gerb over some algebraic space, and in fact is a trivial GM gerb over a k3 surface, which I'll denote in Roman font like that. And so, I mean, where the universal sheave lives on the product of x with a stack, but since it's a trivial gerb, you can descend the universal sheave to, so I'll put universal sheave, E on x cross, so now you have two k3 surfaces and a sheave on it induces an equivalent of this phi E, E of x, E of mh, okay, so this gives a supply of four Mokai partners for a k3 surface. Let's see, oh, there's another board. So, let me state a theorem, which is that every four Mokai partner, meaning k3 surface with equivalent derived category of x is of this form. Does it mean that the equivalence is up to a sum of, is it given by the universal sheave or that there is another equivalent? Another equivalence, yeah, so I'll explain actually how this follows from the other theorem, which already that ambiguity is present. So I'm not saying anything about, I don't know how to relate the equivalence to, I don't know how to lift the equivalence on the derived category to an isomorphism, yeah, in either case, okay. So what is that of this formula, for some phi in the corresponding mean, you said? Let me put it here, is a mhv for some vnh, okay. So I should say over C, this is somehow classical, let's see there are many names here I should put there, so, but I want to sketch in the spirit of these minus two curves, how I view this in relation to the filtered result. Okay. So that's by the following proposition. So let's suppose I have two k3 surfaces and phi from d of x to d of y, an equivalence of triangulated categories, of derived categories, then there exists choice, then there exists mhv and, sorry let me say it the way it's written here. Then after pre-composing phi with an auto equivalence of d of x and an equivalence d mhv of x, so arising in that way, you can arrange for the equivalence to be filtered. Okay, so you start out with something which is not a filtered equivalence, but then you have these basic steps you can do, you can apply the auto equivalence of d of x and you can do this game of replacing x by mod y space of sheeps. So once you do that, then you can make, and this is just playing games with the sort of invariance of the, on the Chao groups and so then the corollary is this result. So that implies this theorem here. So once you have the result that two filtered, if you have a filtered equivalence, then there is some morphic, then from this proposition you get that every Furi-Muqai partner is a modernized space of sheeps. And this mhv is on the x side, right? Yeah, I mean I could do it on the other side too, but I have to, yeah, I want y to be mhv, so I pre-compose to make it filtered. Okay. All right, so let me state another theorem. So, which is more subtle and which is there are only finitely many, for a given x, there are only finitely many, finitely many Furi-Muqai partners. And two, if x is super singular, so for a positive characteristic, then no nontrivial Furi-Muqai partners. Okay, so even though I think this condition about preserving the co-dimension filtration looks very strong, in the case of K3 surfaces you can recover what's known about Furi-Muqai partners of K3 surfaces from that one sort of Torelli theorem. Okay, so I want to discuss that. The idea of the proofs and slash deformation theory of K3's and K3's with the Furi-Muqai transforms and so on. So, let me give sort of the idea over C. I think the filtered derived equivalence gives an isomorphism follows very easily from the classical Torelli theorem. So why is that? The point is that if you have x and y, then you get this phi p which is given by pullback tensor and pushdown. So that passes to any comology theory. And so phi p induces an isomorphism on this what Franz Swach deducted H tilde. And I think my normalization is slightly different than his. I think if I change it now I'll get confused. So let me put it. I think you had a shift by one. Okay, so you do this Muqai lattice. And so H tilde, so this is, sorry, my board work is not good. So I define it in this way, so you get an isomorphism on these Muqai lattices. And the filtered condition tells you that it induces an isomorphism on H2. So filtered implies you get an isomorphism on H2 preserving the hot filtration. And so we're done by the usual Torelli. In some sense, this is a much stronger, we're imposing a much stronger condition than the usual Torelli condition. Let me just remark over here. I should have said this before. In this case, so if you think about it, if I have a point here, let's say K of z, I look at the skyscraper sheaf of a point z in this modularized space, the corresponding sheaf over here is the sheaf corresponding to the point z. So the ranks in general get messed up. So here, when you have this kind of equivalence, it's not going to preserve the filtration. I should have remarked that. So in general, these things get scrambled up. But once you preserve the filtration, then you're in the usual Torelli theorem setting. So what do you do in characteristic P? So now we're in a bit of a delicate deformation theory problem of K3 surfaces. We want to think about how to deform x, y, and p, the triple consisting of two K3 surfaces and object and then derived category in the product. And so how do you do that? Well, you'd consider this very strange stack, which is the stack of perfect complexes on x cross y, sorry, on x, which are simple. And I'll put it universally glueable. So what this P is, some object of the derived category. So simple means that the automorphism functor is just gm. So it looks like a simple sheath. And this universally glueable means that the negative x, so functors, P, P is 0 for i less than 0. So you impose some condition, and if you impose these conditions, then this is an old paper of Lieblich, which is that this is an algebraic stack. So you have some geometric object to work with, because it's big and non-separated and all that kind of thing. But well, in general, if you don't put the simple condition, but the simple condition actually gives us a reasonable space here. So the simple condition implies that this thing dx is a gm gerb and algebraic space, which maybe I'll roll with on dx. So given a Fourier-Makai equivalence P, so phi P from d of x to d of y. So you have this P in the product. You can view it sort of asymmetrically as being, if you think about y here, and then here's x cross y, you can view it as a family of complexes on x parametrized by y. So here's P. And so if you look at a point, you basically have to compute x i of P y P y. So for these conditions, you have to x 0 and the negative x, and this is happening in the derived category of x. But because this is a Fourier-Makai equivalence, this is the same as x i d of y, k of y, k of y. So you compute the, you can bring it to the triangulated category on the other side. So these conditions are actually easy to verify when you have a Fourier-Makai equivalence. And so what you end up with is a map from y to the stack, which is this mu given, that's a mu P. So it gives you this map and let me call this mu P bar. The condition that phi P is an equivalence, actually is fully faithful, is equivalent to this mu P bar is an open immersion. So you somehow translate the condition to have a Fourier-Makai equivalence to sort of a map from this thing to this algebraic space. So all right. So what can you do with this? Let me state a proposition. Well let's consider now the deformation functor of x. So we have a k3 surface, we have its deformation functor, which we know everything about. So A goes to the liftings. Dx isn't separated, is that the point? The Roman font? Yeah, nothing is separated. I mean, I'm not saying anything about global geometry. So we have the deformation functor of x and I'll put it over here. So the opposite, there's an isomorphism of functors. I mean, these are program presentables. So this is of deformation functors, so that's not such a big deal, but such that for every l in the Picard group of x, so I'd say x and y are k3 surfaces, k3, and I have a Fourier-Makai equivalence dx to dy. And ah, sorry, you're right. And let me further assume, ah, OK. Sorry, I'm getting ahead of myself. OK, sorry, thank you. So when you're in this situation, so you can, after changing your choice, changing the choice of p. So you always have to do these kind of basic operations, can arrange that 1, 5p100 is 100. And so I'm assuming this is filtered also. Sorry. So I'm putting a lot of conditions, but once you have that, you can arrange that and that the, it takes the ample cone of x to the plus or minus of the ample cone of y. So now you see why there's really not much control over, you start with some general equivalence, make it filtered, and then you do more operations to make further, so there's not much control. So once you do this, the proposition is that you, Is this involved in some sort of reflection? Yeah, reflection. It's sort of like the, I mean, I view it by very rough analogy with the classical theory as making reflections and things like that. So then you have an isomorphism of deformation functors, delta from the deformation function of x to the deformation function of y, such that for every l in the Picard group. So we're looking at k3, so the deformation functor of x with a line bundle is a sub functor. And so you can ask what it does. So delta of this deformations of the pair xl maps isomorphically to the deformations of the pair y5l. So and because of the way I set it up, this is the class of a line bundle. So in other words, you can use the form of chi transform to identify the deformation spaces in a way that matches up the line bundle. So I'll explain. Maybe I should say there's the basic problem we encounter, which I think I'll have time to mention. In the super singular case, you run into the, so here, so in the classical literature, like in your papers, you consider deformations of x and an l, but you could also consider deformations of x with a bunch of line bundles. And that gets more and more complicated, the more line bundles you consider. But this is an important problem, I think, because there's a number of situations where you might try to deform, if you have a high rank k3, you might want to deform the k3 plus a, well, of course, if it's super singular, you can't deform the whole lattice, but you might want a big lattice, a big pick hard of the generic fiber. OK. Right, so how's this going to work? So the construction of delta. Yeah, so, well, I think it's basically this picture. So you take, let's say I have A as an artinian local w algebra, and I have xA over A. All right, so then I get a lifting of the dx and the dy. So I get, let me do it on, I get dxA, and then here I have the dx that I started with. And then here's my y, which maps here, this is the mu p bar, and this is open. And so, well, open subsets lift uniquely. So this is open. So there it is. That's the deformation. OK, so this defines delta. Do you know the y-dancing reaction? No. It doesn't matter. I just have an open subset and I have a new po-think, a new po-thickening of, dx could be as bad as you want. It is nice in the sense that it is locally a finite type. Sure, yeah. Or the stuff over A is essentially flat over A. Yeah, so there's a subtle point which is special to the K3, which is that I need to know this is flat over A. Yeah. Locally a finite type and so on. Yeah, that's right. I'm sweeping a lot under the rug, but the main subtle point is, I mean, why couldn't this just be dx? Maybe it was, you need the flatness of this over A. Generally, it doesn't satisfy any separation. No, I don't believe so, no. There are several of such wide spaces. Certainly it is quite separated. Yes. But not locally separated or not. I'd have to sit down and think about it. Yeah, but it's an important point that it doesn't actually, I mean, you have to bear as by that it has some reasonable properties, but it doesn't have to be a projective variety or anything. You're lifting open subsets. Okay. Now, in fact, there's a little bit more here which is you can lift the P. So you see there's an annoying thing which is that the Roman font dx is something like a coarse-modulized space. So you want to lift the Phorimokai transform too. So in fact, this takes a little more work, can lift the P, which is really the, I mean, this is this map mu P to PA over in the xa cross over a. So this takes some more work, but let me not dwell on that. And so now how do you proceed, you use this here because we want to lift the characteristic zero. You better preserve some ample line bundles so you can algebraize and get the whole thing. So now, so the conclu... So what do you get? And deformations x, y, p over v lifting x, y, p. And then... Yeah, I know. Yes, absolutely. So I need that I have at least one map to a mixed characteristic DVR. So and that'll mention a related point. Right. And so then generic fibers and actually, I mean, there's a lot to check, but this deformation here, actually, if I start out with a filtered equivalent satisfying those conditions, this deformation is also going to be a filtered equivalence. Okay. Is it unique? Is it unique? Is it unique to PA or scripting? This thing here? Let's see. So I have to calculate... Do you need it unique or... No, I don't need it to be unique. Yeah. I mean, it has to do with this sort of germ there and whether there could be a comalogical, I mean, a torsor that... Yeah. So how do you get this thing? Well, okay, so what do I do? I choose my... An ample line bundle on x and then I look at the deformation space of xl and then it gets paired up here and then the only thing I have not sort of discussed is why you actually get this... an actual P because you only have a map to the Roman font. So I have a map to the coarse-module space. I have to trivialize a germ over that to get the actual P. Okay. All right. So then generic farmers admit a filtered for Maka'i equivalence and so then you have to replace V by another extension to get the generic fibers isomorphic and then you go back down because using some minimality of K3 surfaces. Okay. And then use characteristic zero result, zero result, and then go back to closed fiber. Okay. So there's a lot of technical points here, but I think the key idea is this kind of... Sorry, yeah, I should make a complete DVR. So the... Exactly. It preserves the filtration automatically in this case. Nothing to impose. No, it's not something... Yeah, it just follows from the... It comes from this... From the big stack here. Okay. All right. So let me make a remark. So that gives... That if you have a filtered equivalence and there is a morphic, the finiteness result, how do you get the finiteness result and the... I think the super singular case is maybe the most interesting because how could you prove that in fact that if you have a super singular K3, then any form of chi-partner has to be itself. This argument that I just sketched does not lend itself very well to that, but the problem you encounter, so for a super singular K3, so people who do lattice theory know that if you have a neuron severity which has ranked at least three in characteristic zero, then you don't have non-trivial form of chi-partners. So now the game becomes deform K3 surface plus a rank... Plus a rank three subgroup E inside neuron severity. There's a lot to do, but that's the basic deformation theory problem you encounter. And so in this case, you can calculate using the deformation theory of polarized K3s that you do still have a characteristic zero point of the deformation space, but maybe I'll put it as a question in general. I don't know in general. I don't know how to describe deformations. This way deformations of XE. So we're going to fix the groups on Arthur's paper. First discussion of if you have a... You can get a quadratic thing, you know, make a quadratic extension in Dilean's article and so on. But in general, what does the deformation space of something like that look like? I don't know. All right. It might not have any characteristic zero points. Yeah. Yeah. For a super... Yeah. I mean, take the super singular case. Yeah. And this thing about this P and PA, so there was a GM gel there. And when you have this, the opinion, the local ring deformation, it could be that you're talking about characteristic species. So it could be that you don't know that the H2 class is zero over an opinion. So the point is that you do some trick with the determinant of the P and relate that to the obstruction class. So there is a serious argument there. I mean, it's not... But you have to do... You're right. There is an obstruction in general. But if you calculate what that obstruction is, you can relate it to the determinant of P. And so if you do it... If you set it up right, you can arrange for that obstruction to vanish. The determinant of the... I mean, you can... Because it's a one-dimensional obstruction space and you can... You have to relate what that obstruction is to something having to do with P. So it's a non-trivial point. Yeah. Okay. Let's see. Two or three minutes. Okay. So maybe I'll just mention sort of a couple more questions here. So I don't know how to do this in general. The other point is, which was raised several times, is the way this is set up. The isomorphism... Construct the isomorphism. Right? I mean, from D of X. I don't know how to just take the derived equivalents and then construct the map. This seems... I don't know where to do it. It's tempting to think about the Chao group of zero cycles and sort of... If it's filtered, you get a map on zero cycles, but that sort of looks like you should just see the morphism, but I don't know how to do that. Yeah. And I guess the other question I won't write it is, I don't know in general whether filtered equivalents is a much stronger condition... Derived equivalents is much stronger than sort of classical Tarelli. There seems to be promising progress in the hypersurface case, but I think that's about where we're at right now. Thank you. So, is the last problem... The problem in generalizing to no larger vitro cost space here? No, the problem is that sort of the way I've presented, the way I understand it, I don't know... I mean, in the honest Tarelli situation, you know a lot about the isomorphism in relationship to what we do in cosmology, right? So you have some transformations that you understand, and then you can lift it to an isomorphism if it takes the Cayley class and so on. But here I think it's a total mess. What is the relationship between the isomorphism and the equivalent of triangular categories? I don't know. Which isomorphism is cross-fond of the disease specifically by morphism? Right. So, given you take this thing, how could you even... Maybe you could impose some condition that says then there's an actual map. Right, that gives it... I don't know. Very nice question. So, we discussed the super-singularity. Yes. So, the object you have the ordinary case. Yeah. And then the form is modular. It's in the group structure. Formatura. Ah, yes. And then what is the formation theory where? I don't see it because either it's local or global and not so sure. Could you repeat the question? What is the story for ordinary? Well, yes, in the ordinary case we know DX is really clear. From DEFX, not DX. Oh, DEFX. Yeah, yeah, yeah. DEFX, yes. Yes. So, what happens under this delta? Well... What is the story then? Yeah, I don't know because I don't understand sort of the general 5P. Right, so, I mean somehow... The basic ingredient was the dependent space in woman DX and it was X1. That's right, yeah. So, that was the basic ingredient to get you... Yeah, so then I have to see what these churn classes do as it moves over to the other side. Yes. The ordinary case. Ah, I see, I see. As you've suggested and I think this is another promising, it may work to prove it using Arthur's theorem on super... Deformed to the super singular... Okay, three, this is... Any more questions? Thank you again. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you.
 Thank you very much.  Thank you to the organizers.  It's really a great pleasure to be here and to speak.  I want to revisit some old questions about Tarelli theorems that Arthur of course has  and very influential papers, especially with the super singular k3s.  And I want to try to sort of rethink a little bit how we might phrase Tarelli theorems in  positive characteristics.  So I'll talk about joint work with Max Lieblich.  I came up in the previous talk.  And just to get ideas fixed, let me begin by reviewing some basic Tarelli theorems over  the complex numbers.  And I'll say, I have in mind other Tarelli theorems, but let me talk about k3 surfaces  for this lecture.  But so let's say we have a k3 surface.  And so what do you consider?  You first consider the lattice, which is the singular homology z coefficients, which has  an inner product.  And so there's sort of two bits of data.  There's this, which is sort of the analytic part.  And then there's the Hodge filtration, which is somehow the algebraic part.  So for the k3, of course, it just looks like, yeah, well, there's really just one piece.  Really, you just need to know this, which is the H0 of xkx.  From that and the inner product, you can get the F1.  And so the Tarelli theorem in its standard formulation says the following.  So two k3 surfaces, x and y, are isomorphic if and only if there exists an isomorphism  lambda x.  So that means including the inner product, preserving the filtrations.  But it doesn't mean that you can leave the isomorphism.  No, no.  So this is a delicate question.  So as people were going to, I think, some of, yeah, so as Ofer says, so let me remark.  And this is an, actually, I'm glad you asked because I want to discuss this point in positive  characteristics.  So if in general, you needed to take a Kailer class to a Kailer class.  So if, so let me give it a name, let's say sigma.  If sigma takes a Kailer class to a Kailer class, then sigma lifts to an isomorphism.  Let me put a sigma tilde, x to y.  This is what you were asking, I think.  And also it is unique, the next thing.  If it's unique.  Let me not say anything on the spot.  I'm not sure.  On my feet.  No, I'm not precisely.  It's probably easier.  A harm of x to y goes to harm of x to y.  You say that, but that sets.  Oh, I saw the next one.  Yeah, yeah, yeah.  That's the question, right?  Is it, is it injective, right?  No, that's the question.  Yeah, I don't, I, maybe not say something wrong.  Okay and so, right.  And so in general, you can arrange this, after, can arrange this by reflecting across minus  two curves.  This is somehow a very classical story.  And so, I mean, you see in the very formulation, it's not clear what you should do in positive  characteristic because of this integral lattice, right?  So, of course, August proved a Torelli theorem for super singular k threes, which is really  the only result I know which uses comology as sort of the, you know, you have a, if you  have an isomorphism of comology respecting some structure, then you have isomorphic varieties.  Okay, so sort of the rough idea.  So when you say you can arrange this, I think you also need maybe to apply minus one.  Oh no, I'm not sure because the reflection along minus two curves cannot be enough if  there are no minus.  So you could have the, the automorphism minus one, minus the identity.  Yeah.  Certainly.  Ah, ah, yes.  And minus one is for a reason.  Let's see.  Let me just.  Yes, I'm sure you're right.  Let me, let me, so, yeah, let me put it.  You are just put minus one, minus one.  Let me, let me just put it like that.  Okay, so, yeah.  Okay, so, so the rough idea here is to try to make a formulation even in positive characteristic  will replace lambda x here by the derived category of, category of coherent sheaves  on x.  And the Hatch filtration will get replaced by, so what filtration can you put on something  coming out of the derived category?  Well, you can go to the growth and degroup, tensor q, which by Riemann-Roch is the Chao  group tensor q.  And there you have a filtration, which is filtration, I mean, it's graded, so, gets  replaced by the co-dimension filtration here.  Now, this is a very, you know, loose sort of analogy, but I'll explain a Torelli theorem  for k3s in this context and deduce consequences.  Okay, so, but in general, I don't know to what extent, I mean, it could be that this  is a much stronger kind of result, or condition that you could have Torelli theorems sort of  in the derived sense when it might not hold there.  So, will the result you're trying to explain give a new proof of the complex numbers?  No, in fact, this is, I'll explain, sketch the argument for the proof, which will reduce  to the complex case, unfortunately.  All right, so, let me give a precise statement.  Okay, so k, let's say it's algebraically closed and characteristic not to, for some technical  reasons.  And so, x over k is a k3 surface.  And so, there's, some of this came up in the previous talk, but let me get it on the board.  These are x and y are called Fourier-Makai partners.  If we have an equivalence of triangulated categories between the bounded derived categories  of coherent sheaves.  And so, and as I said, so there's one point which is, which I'll come back to later, but  if you take the growth and degroup of the triangulated category, you have to choose  this isomorphism in the right way.  But you have an isomorphism here with Chao groups.  And actually, for the theorems I'm going to discuss, I could pass to numerical equivalence,  but anyway, that's not too important.  So I view this as being filtered.  And so, this is the f2, f1, f0.  But if x and y are k3 surfaces over k, and there exists an equivalence of triangulated  categories, d of x, d of y, preserving the filtration, then x is isomorphic to y.  So it is, at least with this analogy, between viewing the derived category as an integral  structure plus the hot filtration, then you have isomorphism.  And the equivalence of triangulated categories is supposed to be K linear or?  Ah, yes.  Otherwise, you could twist by the morphism of k.  Yes, yes, yes.  Thank you.  And if you just under the category in the old sense, not in the, any infinity.  No, no infinity.  No.  Yeah, just derived category of coherent shoes.  So what about the previous question?  And after that, isomorphism is x to y to the equivalence of k?  So this, I don't know the answer to.  This is a very interesting question, which is, and yeah, so I'll sketch the argument  because it involves, you know, deformation theory and sort of a lot of the classical  tools of deformation theory of K3 surfaces, but the proof does not in any way tell how  the isomorphism you produce is related to the equivalence.  Yeah, could you remind us what's known for services of other kinds?  Is there a whole class of services where isomorphism is the right category of isomorphism?  Ah, so if either the canonical sheaf is ample or an anti-ample, then you know it already.  But then you don't need the filtration.  OK, so what's interesting here, maybe I'll put it here, remark is that, and I'll explain  exactly what the examples are, d of x equivalent to d of y is not enough.  So this is sort of very classical Moukai orlov, many people.  So you need, you can't just ask for equivalence of triangulated categories.  This is not enough to imply that x and y are isomorphic.  But actually this result, as I'll explain, will tell you exactly to what extent that  fails.  OK.  Do you need to assume that y is a K3 surface?  Now that follows from having the equivalence of triangulated categories here.  So let me review, there's sort of two ingredients that came up in Francois's talk, but let me  review just a few basics.  So x, y are smooth, projective over K. If I have an object of the derived category of  the product, I get such a functor by sending K to rp2 lower star p.  So that's sort of the standard transform, pullback, tensor, and pushdown.  And the theorem of orlov, which is really the sort of key thing to get things off the  ground, is that if I have an equivalence of triangulated categories of K linear, I get  K. Then f is of this form, pi p for some p.  So this tells you not only, well, it gives you some geometry.  It also tells you the candidates, I mean, how you produce as came up in Francois's talk.  What you do is, I mean, how could you have a complex on the product, the most natural  thing is to take y to be a modulate space of sheaves on x, and then p to be the universal  family.  And dx is dp-coherent?  Yes.  All the derived categories will be the derived categories of coherent sheaves on smooth,  projective varieties, so there's no issue about finite, I mean, they're regular, yeah,  yeah, bounded.  Okay, so what are exactly the modulo spaces?  Yeah, so I want to actually write down, so x over k is a k3 surface.  And so then let me fix normalization.  So for a complex, you have the Mokai vector, which is the churn character times the Todd  class of x square root.  And I view this as being an element of, and for k3, it's defined integrally.  In general, you would have to put some denominators, but for k3, it's there.  And it just, I mean, has a very simple description.  It's a rank c1 of e, and then the rank plus c1 of e squared over 2 minus c2 of e.  Okay, that's the formula.  And then we also fix a polarization on x, so an ample class.  And then you can consider the stack of, so Giesiger, Sevastable, sheaves on x with Mokai  vector, this vector, a given, okay, so you fix your nu, and then you make these moduli  spaces.  And then, so for good, as Francois mentioned, what do you have?  We have A, every semi-stable sheave is stable, which means that this thing here is a GM  gerb over some algebraic space, and in fact is a trivial GM gerb over a k3 surface, which  I'll denote in Roman font like that.  And so, I mean, where the universal sheave lives on the product of x with a stack, but  since it's a trivial gerb, you can descend the universal sheave to, so I'll put universal  sheave, E on x cross, so now you have two k3 surfaces and a sheave on it induces an equivalent  of this phi E, E of x, E of mh, okay, so this gives a supply of four Mokai partners for a  k3 surface.  Let's see, oh, there's another board.  So, let me state a theorem, which is that every four Mokai partner, meaning k3 surface  with equivalent derived category of x is of this form.  Does it mean that the equivalence is up to a sum of, is it given by the universal sheave  or that there is another equivalent?  Another equivalence, yeah, so I'll explain actually how this follows from the other theorem,  which already that ambiguity is present.  So I'm not saying anything about, I don't know how to relate the equivalence to, I don't  know how to lift the equivalence on the derived category to an isomorphism, yeah, in either  case, okay.  So what is that of this formula, for some phi in the corresponding mean, you said?  Let me put it here, is a mhv for some vnh, okay.  So I should say over C, this is somehow classical, let's see there are many names here I should  put there, so, but I want to sketch in the spirit of these minus two curves, how I view  this in relation to the filtered result.  Okay.  So that's by the following proposition.  So let's suppose I have two k3 surfaces  and phi from d of x to d of y, an equivalence of triangulated categories, of derived categories,  then there exists choice, then there exists mhv and, sorry let me say it the way it's  written here.  Then after pre-composing phi with an auto equivalence of d of x and an equivalence d mhv of x,  so arising in that way, you can arrange for the equivalence to be filtered.  Okay, so you start out with something which is not a filtered equivalence, but then you  have these basic steps you can do, you can apply the auto equivalence of d of x and you  can do this game of replacing x by mod y space of sheeps.  So once you do that, then you can make, and this is just playing games with the sort of  invariance of the, on the Chao groups and so then the corollary is this result.  So that implies this theorem here.  So once you have the result that two filtered, if you have a filtered equivalence, then there  is some morphic, then from this proposition you get that every Furi-Muqai partner is a  modernized space of sheeps.  And this mhv is on the x side, right?  Yeah, I mean I could do it on the other side too, but I have to, yeah, I want y to be mhv,  so I pre-compose to make it filtered.  Okay.  All right, so let me state another theorem.  So, which is more subtle and which is there are only finitely many, for a given x, there  are only finitely many, finitely many Furi-Muqai partners.  And two, if x is super singular, so for a positive characteristic, then no nontrivial  Furi-Muqai partners.  Okay, so even though I think this condition about preserving the co-dimension filtration  looks very strong, in the case of K3 surfaces you can recover what's known about Furi-Muqai  partners of K3 surfaces from that one sort of Torelli theorem.  Okay, so I want to discuss that.  The idea of the proofs and slash deformation theory  of K3's and K3's with the Furi-Muqai transforms and so on.  So, let me give sort of the idea over C. I think the filtered derived equivalence gives  an isomorphism follows very easily from the classical Torelli theorem.  So why is that?  The point is that if you have x and y, then you get this phi p which is given by pullback  tensor and pushdown.  So that passes to any comology theory.  And so phi p induces an isomorphism on this what Franz Swach deducted H tilde.  And I think my normalization is slightly different than his.  I think if I change it now I'll get confused.  So let me put it.  I think you had a shift by one.  Okay, so you do this Muqai lattice.  And so H tilde, so this is, sorry, my board work is not good.  So I define it in this way, so you get an isomorphism on these Muqai lattices.  And the filtered condition tells you that it induces an isomorphism on H2.  So filtered implies you get an isomorphism on H2 preserving the hot filtration.  And so we're done by the usual Torelli.  In some sense, this is a much stronger, we're imposing a much stronger condition than the  usual Torelli condition.  Let me just remark over here.  I should have said this before.  In this case, so if you think about it, if I have a point here, let's say K of z, I  look at the skyscraper sheaf of a point z in this modularized space, the corresponding  sheaf over here is the sheaf corresponding to the point z.  So the ranks in general get messed up.  So here, when you have this kind of equivalence, it's not going to preserve the filtration.  I should have remarked that.  So in general, these things get scrambled up.  But once you preserve the filtration, then you're in the usual Torelli theorem setting.  So what do you do in characteristic P?  So now we're in a bit of a delicate deformation theory problem of K3 surfaces.  We want to think about how to deform x, y, and p, the triple consisting of two K3 surfaces  and object and then derived category in the product.  And so how do you do that?  Well, you'd consider this very strange stack, which is the stack of perfect complexes  on x cross y, sorry, on x, which are simple.  And I'll put it universally glueable.  So what this P is, some object of the derived category.  So simple means that the automorphism functor is just gm.  So it looks like a simple sheath.  And this universally glueable means that the negative x, so functors, P, P is 0 for i less  than 0.  So you impose some condition, and if you impose these conditions, then this is an old paper  of Lieblich, which is that this is an algebraic stack.  So you have some geometric object to work with, because it's big and non-separated and  all that kind of thing.  But well, in general, if you don't put the simple condition, but the simple condition  actually gives us a reasonable space here.  So the simple condition implies that this thing dx is a gm gerb  and algebraic space, which maybe I'll roll with on dx.  So given a Fourier-Makai equivalence P,  so phi P from d of x to d of y.  So you have this P in the product.  You can view it sort of asymmetrically as being, if you think about y here, and then  here's x cross y, you can view it as a family of complexes on x parametrized by y.  So here's P. And so if you look at a point, you basically have to compute x i of P y P  y.  So for these conditions, you have to x 0 and the negative x, and this is happening in  the derived category of x.  But because this is a Fourier-Makai equivalence, this is the same as x i d of y, k of y, k  of y.  So you compute the, you can bring it to the triangulated category on the other side.  So these conditions are actually easy to verify when you have a Fourier-Makai equivalence.  And so what you end up with is a map from y to the stack, which is this mu given, that's  a mu P. So it gives you this map and let me call this mu P bar.  The condition that phi P is an equivalence, actually is fully faithful, is equivalent  to this mu P bar is an open immersion.  So you somehow translate the condition to have a Fourier-Makai equivalence to sort  of a map from this thing to this algebraic space.  So all right.  So what can you do with this?  Let me state a proposition.  Well let's consider now the deformation functor of x.  So we have a k3 surface, we have its deformation functor, which we know everything about.  So A goes to the liftings.  Dx isn't separated, is that the point?  The Roman font?  Yeah, nothing is separated.  I mean, I'm not saying anything about global geometry.  So we have the deformation functor of x and I'll put it over here.  So the opposite, there's an isomorphism of functors.  I mean, these are program presentables.  So this is of deformation functors, so that's not such a big deal, but such that for every  l in the Picard group of x, so I'd say x and y are k3 surfaces, k3, and I have a Fourier-Makai  equivalence dx to dy.  And ah, sorry, you're right.  And let me further assume, ah, OK.  Sorry, I'm getting ahead of myself.  OK, sorry, thank you.  So when you're in this situation, so you can, after changing your choice, changing the choice  of p.  So you always have to do these kind of basic operations, can arrange that 1, 5p100 is 100.  And so I'm assuming this is filtered also.  Sorry.  So I'm putting a lot of conditions, but once you have that, you can arrange that and that  the, it takes the ample cone of x to the plus or minus of the ample cone of y.  So now you see why there's really not much control over, you start with some general  equivalence, make it filtered, and then you do more operations to make further, so there's  not much control.  So once you do this, the proposition is that you,  Is this involved in some sort of reflection?  Yeah, reflection.  It's sort of like the, I mean, I view it by very rough analogy with the classical theory  as making reflections and things like that.  So then you have an isomorphism of deformation functors, delta from the deformation  function of x to the deformation function of y, such that for every l in the Picard  group.  So we're looking at k3, so the deformation functor of x with a line bundle is a sub functor.  And so you can ask what it does.  So delta of this deformations of the pair xl maps isomorphically to the deformations  of the pair y5l.  So and because of the way I set it up, this is the class of a line bundle.  So in other words, you can use the form of chi transform to identify the deformation  spaces in a way that matches up the line bundle.  So I'll explain.  Maybe I should say there's the basic problem we encounter, which I think I'll have time  to mention.  In the super singular case, you run into the, so here, so in the classical literature,  like in your papers, you consider deformations of x and an l, but you could also consider  deformations of x with a bunch of line bundles.  And that gets more and more complicated, the more line bundles you consider.  But this is an important problem, I think, because there's a number of situations where  you might try to deform, if you have a high rank k3, you might want to deform the k3 plus  a, well, of course, if it's super singular, you can't deform the whole lattice, but you  might want a big lattice, a big pick hard of the generic fiber.  OK.  Right, so how's this going to work?  So the construction of delta.  Yeah, so, well, I think it's basically this picture.  So you take, let's say I have A as an artinian local w algebra, and I have xA over A. All  right, so then I get a lifting of the dx and the dy.  So I get, let me do it on, I get dxA, and then here I have the dx that I started with.  And then here's my y, which maps here, this is the mu p bar, and this is open.  And so, well, open subsets lift uniquely.  So this is open.  So there it is.  That's the deformation.  OK, so this defines delta.  Do you know the y-dancing reaction?  No.  It doesn't matter.  I just have an open subset and I have a new po-think, a new po-thickening of, dx could  be as bad as you want.  It is nice in the sense that it is locally a finite type.  Sure, yeah.  Or the stuff over A is essentially flat over A.  Yeah, so there's a subtle point which is special to the K3, which is that I need to  know this is flat over A. Yeah.  Locally a finite type and so on.  Yeah, that's right.  I'm sweeping a lot under the rug, but the main subtle point is, I mean, why couldn't  this just be dx?  Maybe it was, you need the flatness of this over A.  Generally, it doesn't satisfy any separation.  No, I don't believe so, no.  There are several of such wide spaces.  Certainly it is quite separated.  Yes.  But not locally separated or not.  I'd have to sit down and think about it.  Yeah, but it's an important point that it doesn't actually, I mean, you have to bear  as by that it has some reasonable properties, but it doesn't have to be a projective variety  or anything.  You're lifting open subsets.  Okay.  Now, in fact, there's a little bit more here which is you can lift the P. So you see there's  an annoying thing which is that the Roman font dx is something like a coarse-modulized  space.  So you want to lift the Phorimokai transform too.  So in fact, this takes a little more work, can lift the P, which is really the, I mean,  this is this map mu P to PA over in the xa cross over a.  So this takes some more work, but let me not dwell on that.  And so now how do you proceed, you use this here because we want to lift the characteristic  zero.  You better preserve some ample line bundles so you can algebraize and get the whole thing.  So now, so the conclu...  So what do you get?  And deformations x, y, p over v lifting x, y, p.  And then...  Yeah, I know.  Yes, absolutely.  So I need that I have at least one map to a mixed characteristic DVR.  So and that'll mention a related point.  Right.  And so then generic fibers and actually, I mean, there's a lot to check, but this deformation  here, actually, if I start out with a filtered equivalent satisfying those conditions, this  deformation is also going to be a filtered equivalence.  Okay.  Is it unique?  Is it unique?  Is it unique to PA or scripting?  This thing here?  Let's see.  So I have to calculate...  Do you need it unique or...  No, I don't need it to be unique.  Yeah.  I mean, it has to do with this sort of germ there and whether there could be a comalogical,  I mean, a torsor that...  Yeah.  So how do you get this thing?  Well, okay, so what do I do?  I choose my...  An ample line bundle on x and then I look at the deformation space of xl and then it  gets paired up here and then the only thing I have not sort of discussed is why you actually  get this... an actual P because you only have a map to the Roman font.  So I have a map to the coarse-module space.  I have to trivialize a germ over that to get the actual P. Okay.  All right.  So then generic farmers admit a filtered for Maka'i equivalence and so then you have to  replace V by another extension to get the generic fibers isomorphic and then you go  back down because using some minimality of K3 surfaces.  Okay.  And then use characteristic zero result, zero result, and then go back to closed fiber.  Okay.  So there's a lot of technical points here, but I think the key idea is this kind of...  Sorry, yeah, I should make a complete DVR.  So the...  Exactly.  It preserves the filtration automatically in this case.  Nothing to impose.  No, it's not something...  Yeah, it just follows from the...  It comes from this...  From the big stack here.  Okay.  All right.  So let me make a remark.  So that gives...  That if you have a filtered equivalence and there is a morphic, the finiteness result,  how do you get the finiteness result and the...  I think the super singular case is maybe the most interesting because how could you prove  that in fact that if you have a super singular K3, then any form of chi-partner has to be  itself.  This argument that I just sketched does not lend itself very well to that, but the problem  you encounter, so for a super singular K3, so people who do lattice theory know that  if you have a neuron severity which has ranked at least three in characteristic zero, then  you don't have non-trivial form of chi-partners.  So now the game becomes deform K3 surface plus a rank...  Plus a rank three subgroup E inside neuron severity.  There's a lot to do, but that's the basic deformation theory problem you encounter.  And so in this case, you can calculate using the deformation theory of polarized K3s that  you do still have a characteristic zero point of the deformation space, but maybe I'll  put it as a question in general.  I don't know in general.  I don't know how to describe deformations.  This way deformations of XE.  So we're going to fix the groups on Arthur's paper.  First discussion of if you have a...  You can get a quadratic thing, you know, make a quadratic extension in Dilean's article  and so on.  But in general, what does the deformation space of something like that look like?  I don't know.  All right.  It might not have any characteristic zero points.  Yeah.  Yeah.  For a super...  Yeah.  I mean, take the super singular case.  Yeah.  And this thing about this P and PA, so there was a GM gel there.  And when you have this, the opinion, the local ring deformation, it could be that you're  talking about characteristic species.  So it could be that you don't know that the H2 class is zero over an opinion.  So the point is that you do some trick with the determinant of the P and relate that to  the obstruction class.  So there is a serious argument there.  I mean, it's not...  But you have to do...  You're right.  There is an obstruction in general.  But if you calculate what that obstruction is, you can relate it to the determinant of  P. And so if you do it...  If you set it up right, you can arrange for that obstruction to vanish.  The determinant of the...  I mean, you can...  Because it's a one-dimensional obstruction space and you can...  You have to relate what that obstruction is to something having to do with P. So it's  a non-trivial point.  Yeah.  Okay.  Let's see.  Two or three minutes.  Okay.  So maybe I'll just mention sort of a couple more questions here.  So I don't know how to do this in general.  The other point is, which was raised several times, is the way this is set up.  The isomorphism...  Construct the isomorphism.  Right?  I mean, from D of X.  I don't know how to just take the derived equivalents and then construct the map.  This seems...  I don't know where to do it.  It's tempting to think about the Chao group of zero cycles and sort of...  If it's filtered, you get a map on zero cycles, but that sort of looks like you should just  see the morphism, but I don't know how to do that.  Yeah.  And I guess the other question I won't write it is, I don't know in general whether filtered  equivalents is a much stronger condition...  Derived equivalents is much stronger than sort of classical Tarelli.  There seems to be promising progress in the hypersurface case, but I think that's about  where we're at right now.  Thank you.  So, is the last problem...  The problem in generalizing to no larger vitro cost space here?  No, the problem is that sort of the way I've presented, the way I understand it, I don't  know...  I mean, in the honest Tarelli situation, you know a lot about the isomorphism in relationship  to what we do in cosmology, right?  So you have some transformations that you understand, and then you can lift it to an  isomorphism if it takes the Cayley class and so on.  But here I think it's a total mess.  What is the relationship between the isomorphism and the equivalent of triangular categories?  I don't know.  Which isomorphism is cross-fond of the disease specifically by morphism?  Right.  So, given you take this thing, how could you even...  Maybe you could impose some condition that says then there's an actual map.  Right, that gives it...  I don't know.  Very nice question.  So, we discussed the super-singularity.  Yes.  So, the object you have the ordinary case.  Yeah.  And then the form is modular.  It's in the group structure.  Formatura.  Ah, yes.  And then what is the formation theory where?  I don't see it because either it's local or global and not so sure.  Could you repeat the question?  What is the story for ordinary?  Well, yes, in the ordinary case we know DX is really clear.  From DEFX, not DX.  Oh, DEFX.  Yeah, yeah, yeah.  DEFX, yes.  Yes.  So, what happens under this delta?  Well...  What is the story then?  Yeah, I don't know because I don't understand sort of the general 5P.  Right, so, I mean somehow...  The basic ingredient was the dependent space in woman DX and it was X1.  That's right, yeah.  So, that was the basic ingredient to get you...  Yeah, so then I have to see what these churn classes do as it moves over to the other side.  Yes.  The ordinary case.  Ah, I see, I see.  As you've suggested and I think this is another promising, it may work to prove it using Arthur's  theorem on super...  Deformed to the super singular...  Okay, three, this is...  Any more questions?  Thank you again.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.  Thank you.
Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_0_3779.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_3780_6203.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_6204_8735.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_8736_10211.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_10212_10703.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_10704_14339.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_14340_17747.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_17748_21587.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_21588_22955.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_22956_31715.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_31716_33383.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_33384_33839.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_33840_36527.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_36528_45887.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_45888_48659.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_48660_48779.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_48780_50063.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_50064_53207.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_53208_55355.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_55356_63887.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_63888_66179.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_66180_67331.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_67332_67943.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_67944_70043.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_70044_70559.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_70560_71279.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_71280_72251.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_72252_72839.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_72840_74939.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_74940_76571.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_76572_77603.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_77604_78443.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_78444_82127.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_82128_84239.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_84240_84431.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_84432_84563.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_84564_85835.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_85836_85943.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_85944_86063.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_86064_86375.png Martin_Olsson_-_Derived_Torelli_theorem_for_K3_surfaces_86376_90804.png
Thank you very much. Thank you to the organizers. It's really a great pleasure to be here and to speak. I want to revisit some old questions about Tarelli theorems that Arthur of course has and very influential papers, especially with the super singular k3s. And I want to try to sort of rethink a little bit how we might phrase Tarelli theorems in positive characteristics. So I'll talk about joint work with Max Lieblich. I came up in the previous talk. And just to get ideas fixed, let me begin by reviewing some basic Tarelli theorems over the complex numbers. And I'll say, I have in mind other Tarelli theorems, but let me talk about k3 surfaces for this lecture. But so let's say we have a k3 surface. And so what do you consider? You first consider the lattice, which is the singular homology z coefficients, which has an inner product. And so there's sort of two bits of data. There's this, which is sort of the analytic part. And then there's the Hodge filtration, which is somehow the algebraic part. So for the k3, of course, it just looks like, yeah, well, there's really just one piece. Really, you just need to know this, which is the H0 of xkx. From that and the inner product, you can get the F1. And so the Tarelli theorem in its standard formulation says the following. So two k3 surfaces, x and y, are isomorphic if and only if there exists an isomorphism lambda x. So that means including the inner product, preserving the filtrations. But it doesn't mean that you can leave the isomorphism. No, no. So this is a delicate question. So as people were going to, I think, some of, yeah, so as Ofer says, so let me remark. And this is an, actually, I'm glad you asked because I want to discuss this point in positive characteristics. So if in general, you needed to take a Kailer class to a Kailer class. So if, so let me give it a name, let's say sigma. If sigma takes a Kailer class to a Kailer class, then sigma lifts to an isomorphism. Let me put a sigma tilde, x to y. This is what you were asking, I think. And also it is unique, the next thing. If it's unique. Let me not say anything on the spot. I'm not sure. On my feet. No, I'm not precisely. It's probably easier. A harm of x to y goes to harm of x to y. You say that, but that sets. Oh, I saw the next one. Yeah, yeah, yeah. That's the question, right? Is it, is it injective, right? No, that's the question. Yeah, I don't, I, maybe not say something wrong. Okay and so, right. And so in general, you can arrange this, after, can arrange this by reflecting across minus two curves. This is somehow a very classical story. And so, I mean, you see in the very formulation, it's not clear what you should do in positive characteristic because of this integral lattice, right? So, of course, August proved a Torelli theorem for super singular k threes, which is really the only result I know which uses comology as sort of the, you know, you have a, if you have an isomorphism of comology respecting some structure, then you have isomorphic varieties. Okay, so sort of the rough idea. So when you say you can arrange this, I think you also need maybe to apply minus one. Oh no, I'm not sure because the reflection along minus two curves cannot be enough if there are no minus. So you could have the, the automorphism minus one, minus the identity. Yeah. Certainly. Ah, ah, yes. And minus one is for a reason. Let's see. Let me just. Yes, I'm sure you're right. Let me, let me, so, yeah, let me put it. You are just put minus one, minus one. Let me, let me just put it like that. Okay, so, yeah. Okay, so, so the rough idea here is to try to make a formulation even in positive characteristic will replace lambda x here by the derived category of, category of coherent sheaves on x. And the Hatch filtration will get replaced by, so what filtration can you put on something coming out of the derived category? Well, you can go to the growth and degroup, tensor q, which by Riemann-Roch is the Chao group tensor q. And there you have a filtration, which is filtration, I mean, it's graded, so, gets replaced by the co-dimension filtration here. Now, this is a very, you know, loose sort of analogy, but I'll explain a Torelli theorem for k3s in this context and deduce consequences. Okay, so, but in general, I don't know to what extent, I mean, it could be that this is a much stronger kind of result, or condition that you could have Torelli theorems sort of in the derived sense when it might not hold there. So, will the result you're trying to explain give a new proof of the complex numbers? No, in fact, this is, I'll explain, sketch the argument for the proof, which will reduce to the complex case, unfortunately. All right, so, let me give a precise statement. Okay, so k, let's say it's algebraically closed and characteristic not to, for some technical reasons. And so, x over k is a k3 surface. And so, there's, some of this came up in the previous talk, but let me get it on the board. These are x and y are called Fourier-Makai partners. If we have an equivalence of triangulated categories between the bounded derived categories of coherent sheaves. And so, and as I said, so there's one point which is, which I'll come back to later, but if you take the growth and degroup of the triangulated category, you have to choose this isomorphism in the right way. But you have an isomorphism here with Chao groups. And actually, for the theorems I'm going to discuss, I could pass to numerical equivalence, but anyway, that's not too important. So I view this as being filtered. And so, this is the f2, f1, f0. But if x and y are k3 surfaces over k, and there exists an equivalence of triangulated categories, d of x, d of y, preserving the filtration, then x is isomorphic to y. So it is, at least with this analogy, between viewing the derived category as an integral structure plus the hot filtration, then you have isomorphism. And the equivalence of triangulated categories is supposed to be K linear or? Ah, yes. Otherwise, you could twist by the morphism of k. Yes, yes, yes. Thank you. And if you just under the category in the old sense, not in the, any infinity. No, no infinity. No. Yeah, just derived category of coherent shoes. So what about the previous question? And after that, isomorphism is x to y to the equivalence of k? So this, I don't know the answer to. This is a very interesting question, which is, and yeah, so I'll sketch the argument because it involves, you know, deformation theory and sort of a lot of the classical tools of deformation theory of K3 surfaces, but the proof does not in any way tell how the isomorphism you produce is related to the equivalence. Yeah, could you remind us what's known for services of other kinds? Is there a whole class of services where isomorphism is the right category of isomorphism? Ah, so if either the canonical sheaf is ample or an anti-ample, then you know it already. But then you don't need the filtration. OK, so what's interesting here, maybe I'll put it here, remark is that, and I'll explain exactly what the examples are, d of x equivalent to d of y is not enough. So this is sort of very classical Moukai orlov, many people. So you need, you can't just ask for equivalence of triangulated categories. This is not enough to imply that x and y are isomorphic. But actually this result, as I'll explain, will tell you exactly to what extent that fails. OK. Do you need to assume that y is a K3 surface? Now that follows from having the equivalence of triangulated categories here. So let me review, there's sort of two ingredients that came up in Francois's talk, but let me review just a few basics. So x, y are smooth, projective over K. If I have an object of the derived category of the product, I get such a functor by sending K to rp2 lower star p. So that's sort of the standard transform, pullback, tensor, and pushdown. And the theorem of orlov, which is really the sort of key thing to get things off the ground, is that if I have an equivalence of triangulated categories of K linear, I get K. Then f is of this form, pi p for some p. So this tells you not only, well, it gives you some geometry. It also tells you the candidates, I mean, how you produce as came up in Francois's talk. What you do is, I mean, how could you have a complex on the product, the most natural thing is to take y to be a modulate space of sheaves on x, and then p to be the universal family. And dx is dp-coherent? Yes. All the derived categories will be the derived categories of coherent sheaves on smooth, projective varieties, so there's no issue about finite, I mean, they're regular, yeah, yeah, bounded. Okay, so what are exactly the modulo spaces? Yeah, so I want to actually write down, so x over k is a k3 surface. And so then let me fix normalization. So for a complex, you have the Mokai vector, which is the churn character times the Todd class of x square root. And I view this as being an element of, and for k3, it's defined integrally. In general, you would have to put some denominators, but for k3, it's there. And it just, I mean, has a very simple description. It's a rank c1 of e, and then the rank plus c1 of e squared over 2 minus c2 of e. Okay, that's the formula. And then we also fix a polarization on x, so an ample class. And then you can consider the stack of, so Giesiger, Sevastable, sheaves on x with Mokai vector, this vector, a given, okay, so you fix your nu, and then you make these moduli spaces. And then, so for good, as Francois mentioned, what do you have? We have A, every semi-stable sheave is stable, which means that this thing here is a GM gerb over some algebraic space, and in fact is a trivial GM gerb over a k3 surface, which I'll denote in Roman font like that. And so, I mean, where the universal sheave lives on the product of x with a stack, but since it's a trivial gerb, you can descend the universal sheave to, so I'll put universal sheave, E on x cross, so now you have two k3 surfaces and a sheave on it induces an equivalent of this phi E, E of x, E of mh, okay, so this gives a supply of four Mokai partners for a k3 surface. Let's see, oh, there's another board. So, let me state a theorem, which is that every four Mokai partner, meaning k3 surface with equivalent derived category of x is of this form. Does it mean that the equivalence is up to a sum of, is it given by the universal sheave or that there is another equivalent? Another equivalence, yeah, so I'll explain actually how this follows from the other theorem, which already that ambiguity is present. So I'm not saying anything about, I don't know how to relate the equivalence to, I don't know how to lift the equivalence on the derived category to an isomorphism, yeah, in either case, okay. So what is that of this formula, for some phi in the corresponding mean, you said? Let me put it here, is a mhv for some vnh, okay. So I should say over C, this is somehow classical, let's see there are many names here I should put there, so, but I want to sketch in the spirit of these minus two curves, how I view this in relation to the filtered result. Okay. So that's by the following proposition. So let's suppose I have two k3 surfaces and phi from d of x to d of y, an equivalence of triangulated categories, of derived categories, then there exists choice, then there exists mhv and, sorry let me say it the way it's written here. Then after pre-composing phi with an auto equivalence of d of x and an equivalence d mhv of x, so arising in that way, you can arrange for the equivalence to be filtered. Okay, so you start out with something which is not a filtered equivalence, but then you have these basic steps you can do, you can apply the auto equivalence of d of x and you can do this game of replacing x by mod y space of sheeps. So once you do that, then you can make, and this is just playing games with the sort of invariance of the, on the Chao groups and so then the corollary is this result. So that implies this theorem here. So once you have the result that two filtered, if you have a filtered equivalence, then there is some morphic, then from this proposition you get that every Furi-Muqai partner is a modernized space of sheeps. And this mhv is on the x side, right? Yeah, I mean I could do it on the other side too, but I have to, yeah, I want y to be mhv, so I pre-compose to make it filtered. Okay. All right, so let me state another theorem. So, which is more subtle and which is there are only finitely many, for a given x, there are only finitely many, finitely many Furi-Muqai partners. And two, if x is super singular, so for a positive characteristic, then no nontrivial Furi-Muqai partners. Okay, so even though I think this condition about preserving the co-dimension filtration looks very strong, in the case of K3 surfaces you can recover what's known about Furi-Muqai partners of K3 surfaces from that one sort of Torelli theorem. Okay, so I want to discuss that. The idea of the proofs and slash deformation theory of K3's and K3's with the Furi-Muqai transforms and so on. So, let me give sort of the idea over C. I think the filtered derived equivalence gives an isomorphism follows very easily from the classical Torelli theorem. So why is that? The point is that if you have x and y, then you get this phi p which is given by pullback tensor and pushdown. So that passes to any comology theory. And so phi p induces an isomorphism on this what Franz Swach deducted H tilde. And I think my normalization is slightly different than his. I think if I change it now I'll get confused. So let me put it. I think you had a shift by one. Okay, so you do this Muqai lattice. And so H tilde, so this is, sorry, my board work is not good. So I define it in this way, so you get an isomorphism on these Muqai lattices. And the filtered condition tells you that it induces an isomorphism on H2. So filtered implies you get an isomorphism on H2 preserving the hot filtration. And so we're done by the usual Torelli. In some sense, this is a much stronger, we're imposing a much stronger condition than the usual Torelli condition. Let me just remark over here. I should have said this before. In this case, so if you think about it, if I have a point here, let's say K of z, I look at the skyscraper sheaf of a point z in this modularized space, the corresponding sheaf over here is the sheaf corresponding to the point z. So the ranks in general get messed up. So here, when you have this kind of equivalence, it's not going to preserve the filtration. I should have remarked that. So in general, these things get scrambled up. But once you preserve the filtration, then you're in the usual Torelli theorem setting. So what do you do in characteristic P? So now we're in a bit of a delicate deformation theory problem of K3 surfaces. We want to think about how to deform x, y, and p, the triple consisting of two K3 surfaces and object and then derived category in the product. And so how do you do that? Well, you'd consider this very strange stack, which is the stack of perfect complexes on x cross y, sorry, on x, which are simple. And I'll put it universally glueable. So what this P is, some object of the derived category. So simple means that the automorphism functor is just gm. So it looks like a simple sheath. And this universally glueable means that the negative x, so functors, P, P is 0 for i less than 0. So you impose some condition, and if you impose these conditions, then this is an old paper of Lieblich, which is that this is an algebraic stack. So you have some geometric object to work with, because it's big and non-separated and all that kind of thing. But well, in general, if you don't put the simple condition, but the simple condition actually gives us a reasonable space here. So the simple condition implies that this thing dx is a gm gerb and algebraic space, which maybe I'll roll with on dx. So given a Fourier-Makai equivalence P, so phi P from d of x to d of y. So you have this P in the product. You can view it sort of asymmetrically as being, if you think about y here, and then here's x cross y, you can view it as a family of complexes on x parametrized by y. So here's P. And so if you look at a point, you basically have to compute x i of P y P y. So for these conditions, you have to x 0 and the negative x, and this is happening in the derived category of x. But because this is a Fourier-Makai equivalence, this is the same as x i d of y, k of y, k of y. So you compute the, you can bring it to the triangulated category on the other side. So these conditions are actually easy to verify when you have a Fourier-Makai equivalence. And so what you end up with is a map from y to the stack, which is this mu given, that's a mu P. So it gives you this map and let me call this mu P bar. The condition that phi P is an equivalence, actually is fully faithful, is equivalent to this mu P bar is an open immersion. So you somehow translate the condition to have a Fourier-Makai equivalence to sort of a map from this thing to this algebraic space. So all right. So what can you do with this? Let me state a proposition. Well let's consider now the deformation functor of x. So we have a k3 surface, we have its deformation functor, which we know everything about. So A goes to the liftings. Dx isn't separated, is that the point? The Roman font? Yeah, nothing is separated. I mean, I'm not saying anything about global geometry. So we have the deformation functor of x and I'll put it over here. So the opposite, there's an isomorphism of functors. I mean, these are program presentables. So this is of deformation functors, so that's not such a big deal, but such that for every l in the Picard group of x, so I'd say x and y are k3 surfaces, k3, and I have a Fourier-Makai equivalence dx to dy. And ah, sorry, you're right. And let me further assume, ah, OK. Sorry, I'm getting ahead of myself. OK, sorry, thank you. So when you're in this situation, so you can, after changing your choice, changing the choice of p. So you always have to do these kind of basic operations, can arrange that 1, 5p100 is 100. And so I'm assuming this is filtered also. Sorry. So I'm putting a lot of conditions, but once you have that, you can arrange that and that the, it takes the ample cone of x to the plus or minus of the ample cone of y. So now you see why there's really not much control over, you start with some general equivalence, make it filtered, and then you do more operations to make further, so there's not much control. So once you do this, the proposition is that you, Is this involved in some sort of reflection? Yeah, reflection. It's sort of like the, I mean, I view it by very rough analogy with the classical theory as making reflections and things like that. So then you have an isomorphism of deformation functors, delta from the deformation function of x to the deformation function of y, such that for every l in the Picard group. So we're looking at k3, so the deformation functor of x with a line bundle is a sub functor. And so you can ask what it does. So delta of this deformations of the pair xl maps isomorphically to the deformations of the pair y5l. So and because of the way I set it up, this is the class of a line bundle. So in other words, you can use the form of chi transform to identify the deformation spaces in a way that matches up the line bundle. So I'll explain. Maybe I should say there's the basic problem we encounter, which I think I'll have time to mention. In the super singular case, you run into the, so here, so in the classical literature, like in your papers, you consider deformations of x and an l, but you could also consider deformations of x with a bunch of line bundles. And that gets more and more complicated, the more line bundles you consider. But this is an important problem, I think, because there's a number of situations where you might try to deform, if you have a high rank k3, you might want to deform the k3 plus a, well, of course, if it's super singular, you can't deform the whole lattice, but you might want a big lattice, a big pick hard of the generic fiber. OK. Right, so how's this going to work? So the construction of delta. Yeah, so, well, I think it's basically this picture. So you take, let's say I have A as an artinian local w algebra, and I have xA over A. All right, so then I get a lifting of the dx and the dy. So I get, let me do it on, I get dxA, and then here I have the dx that I started with. And then here's my y, which maps here, this is the mu p bar, and this is open. And so, well, open subsets lift uniquely. So this is open. So there it is. That's the deformation. OK, so this defines delta. Do you know the y-dancing reaction? No. It doesn't matter. I just have an open subset and I have a new po-think, a new po-thickening of, dx could be as bad as you want. It is nice in the sense that it is locally a finite type. Sure, yeah. Or the stuff over A is essentially flat over A. Yeah, so there's a subtle point which is special to the K3, which is that I need to know this is flat over A. Yeah. Locally a finite type and so on. Yeah, that's right. I'm sweeping a lot under the rug, but the main subtle point is, I mean, why couldn't this just be dx? Maybe it was, you need the flatness of this over A. Generally, it doesn't satisfy any separation. No, I don't believe so, no. There are several of such wide spaces. Certainly it is quite separated. Yes. But not locally separated or not. I'd have to sit down and think about it. Yeah, but it's an important point that it doesn't actually, I mean, you have to bear as by that it has some reasonable properties, but it doesn't have to be a projective variety or anything. You're lifting open subsets. Okay. Now, in fact, there's a little bit more here which is you can lift the P. So you see there's an annoying thing which is that the Roman font dx is something like a coarse-modulized space. So you want to lift the Phorimokai transform too. So in fact, this takes a little more work, can lift the P, which is really the, I mean, this is this map mu P to PA over in the xa cross over a. So this takes some more work, but let me not dwell on that. And so now how do you proceed, you use this here because we want to lift the characteristic zero. You better preserve some ample line bundles so you can algebraize and get the whole thing. So now, so the conclu... So what do you get? And deformations x, y, p over v lifting x, y, p. And then... Yeah, I know. Yes, absolutely. So I need that I have at least one map to a mixed characteristic DVR. So and that'll mention a related point. Right. And so then generic fibers and actually, I mean, there's a lot to check, but this deformation here, actually, if I start out with a filtered equivalent satisfying those conditions, this deformation is also going to be a filtered equivalence. Okay. Is it unique? Is it unique? Is it unique to PA or scripting? This thing here? Let's see. So I have to calculate... Do you need it unique or... No, I don't need it to be unique. Yeah. I mean, it has to do with this sort of germ there and whether there could be a comalogical, I mean, a torsor that... Yeah. So how do you get this thing? Well, okay, so what do I do? I choose my... An ample line bundle on x and then I look at the deformation space of xl and then it gets paired up here and then the only thing I have not sort of discussed is why you actually get this... an actual P because you only have a map to the Roman font. So I have a map to the coarse-module space. I have to trivialize a germ over that to get the actual P. Okay. All right. So then generic farmers admit a filtered for Maka'i equivalence and so then you have to replace V by another extension to get the generic fibers isomorphic and then you go back down because using some minimality of K3 surfaces. Okay. And then use characteristic zero result, zero result, and then go back to closed fiber. Okay. So there's a lot of technical points here, but I think the key idea is this kind of... Sorry, yeah, I should make a complete DVR. So the... Exactly. It preserves the filtration automatically in this case. Nothing to impose. No, it's not something... Yeah, it just follows from the... It comes from this... From the big stack here. Okay. All right. So let me make a remark. So that gives... That if you have a filtered equivalence and there is a morphic, the finiteness result, how do you get the finiteness result and the... I think the super singular case is maybe the most interesting because how could you prove that in fact that if you have a super singular K3, then any form of chi-partner has to be itself. This argument that I just sketched does not lend itself very well to that, but the problem you encounter, so for a super singular K3, so people who do lattice theory know that if you have a neuron severity which has ranked at least three in characteristic zero, then you don't have non-trivial form of chi-partners. So now the game becomes deform K3 surface plus a rank... Plus a rank three subgroup E inside neuron severity. There's a lot to do, but that's the basic deformation theory problem you encounter. And so in this case, you can calculate using the deformation theory of polarized K3s that you do still have a characteristic zero point of the deformation space, but maybe I'll put it as a question in general. I don't know in general. I don't know how to describe deformations. This way deformations of XE. So we're going to fix the groups on Arthur's paper. First discussion of if you have a... You can get a quadratic thing, you know, make a quadratic extension in Dilean's article and so on. But in general, what does the deformation space of something like that look like? I don't know. All right. It might not have any characteristic zero points. Yeah. Yeah. For a super... Yeah. I mean, take the super singular case. Yeah. And this thing about this P and PA, so there was a GM gel there. And when you have this, the opinion, the local ring deformation, it could be that you're talking about characteristic species. So it could be that you don't know that the H2 class is zero over an opinion. So the point is that you do some trick with the determinant of the P and relate that to the obstruction class. So there is a serious argument there. I mean, it's not... But you have to do... You're right. There is an obstruction in general. But if you calculate what that obstruction is, you can relate it to the determinant of P. And so if you do it... If you set it up right, you can arrange for that obstruction to vanish. The determinant of the... I mean, you can... Because it's a one-dimensional obstruction space and you can... You have to relate what that obstruction is to something having to do with P. So it's a non-trivial point. Yeah. Okay. Let's see. Two or three minutes. Okay. So maybe I'll just mention sort of a couple more questions here. So I don't know how to do this in general. The other point is, which was raised several times, is the way this is set up. The isomorphism... Construct the isomorphism. Right? I mean, from D of X. I don't know how to just take the derived equivalents and then construct the map. This seems... I don't know where to do it. It's tempting to think about the Chao group of zero cycles and sort of... If it's filtered, you get a map on zero cycles, but that sort of looks like you should just see the morphism, but I don't know how to do that. Yeah. And I guess the other question I won't write it is, I don't know in general whether filtered equivalents is a much stronger condition... Derived equivalents is much stronger than sort of classical Tarelli. There seems to be promising progress in the hypersurface case, but I think that's about where we're at right now. Thank you. So, is the last problem... The problem in generalizing to no larger vitro cost space here? No, the problem is that sort of the way I've presented, the way I understand it, I don't know... I mean, in the honest Tarelli situation, you know a lot about the isomorphism in relationship to what we do in cosmology, right? So you have some transformations that you understand, and then you can lift it to an isomorphism if it takes the Cayley class and so on. But here I think it's a total mess. What is the relationship between the isomorphism and the equivalent of triangular categories? I don't know. Which isomorphism is cross-fond of the disease specifically by morphism? Right. So, given you take this thing, how could you even... Maybe you could impose some condition that says then there's an actual map. Right, that gives it... I don't know. Very nice question. So, we discussed the super-singularity. Yes. So, the object you have the ordinary case. Yeah. And then the form is modular. It's in the group structure. Formatura. Ah, yes. And then what is the formation theory where? I don't see it because either it's local or global and not so sure. Could you repeat the question? What is the story for ordinary? Well, yes, in the ordinary case we know DX is really clear. From DEFX, not DX. Oh, DEFX. Yeah, yeah, yeah. DEFX, yes. Yes. So, what happens under this delta? Well... What is the story then? Yeah, I don't know because I don't understand sort of the general 5P. Right, so, I mean somehow... The basic ingredient was the dependent space in woman DX and it was X1. That's right, yeah. So, that was the basic ingredient to get you... Yeah, so then I have to see what these churn classes do as it moves over to the other side. Yes. The ordinary case. Ah, I see, I see. As you've suggested and I think this is another promising, it may work to prove it using Arthur's theorem on super... Deformed to the super singular... Okay, three, this is... Any more questions? Thank you again. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you. Thank you.
talk about joint work with Max Lieblich. I came discuss this point in positive characteristics. derived category of, category of coherent sheaves explain a Torelli theorem for k3s in this context derived category as an integral structure plus know the answer to. This is a very interesting be the derived categories of coherent sheaves on because using some minimality of K3 surfaces.