 Oh, thank you so much to the organizers for the invitation. So the talk is a Modulay of p-divisible groups. In a way, it's complementary to the last talk. It concerns more the super-cuspital region of Schmore varieties rather than the ordinary ones. Good job on the ordering of the talks, I would say. This is with Peter Schulze. And the setup is as follows. So let's say k is a perfect field of characteristic p. And let's start with a p-divisible group. And I'll call it H0 over k, p-divisible group. And we'll be interested in deformation problems related to this H0. How do you deform H0 to an H? Let's say over some local ring of residue field k. So the work of Rappapour-Zinc, they study this problem rather intensively. And they consider a certain deformation problem of H0, which they show is representable by a formal scheme over the ring of bit vectors of k. So I'm not being perfectly precise here, but I'm not being perfectly precise in order to head off questions about what sorts of rings and what category it's on. OK, representable by a formal scheme. So I'll write Roman m H0 for this formal scheme over the ring of bit vectors. And the next thing to do is to take this formal scheme and pass to the generic fiber to obtain a rigid analytic space. So let me do that. And I'll write with a script n sub H0. So let's pass to the generic fiber. This is topologically a finite type. So you've got a rather well-behaved rigid space right here. And then what you do is you add level structures to this problem. You consider deformations of H0 equipped with a basis for its p to the n torsion. So let's denote by this. So it's a covering of this rigid space. And they're arranged in a tower. And this is the space you get by adding a p to the m level structure. So again, a rigid space, this covers m H0. And these guys are structured in a tower. This guy individually has an action of the group gln z mod p to the mz. And what's the n? n is the height, height of H0. And the goal here is to construct a space, which is going to be the inverse limit of all of these guys at once. So that could only reasonably be called m H0 infinity. And it should be the inverse limit of these individual spaces. And this, oh, so I want to show that this makes sense. It can't possibly make sense as a rigid space. It's just too big. But it does make sense in Peter Schultz's new category of perfectoid spaces. So space. And it even admits a simpler description in terms of linear algebra. And that idea is going to be the goal of the talk. And furthermore, the reason I might be interested in this space is that it admits an action of the group gln, not zp, but actually all of qp, this whole group. And the cohomology of this space should realize the local Langlands correspondence for this group. And by now, that sort of thing is known by what we know about these individual spaces. I mean, the cohomology here is the direct limit of the cohomologies here. But I should also remark that you can adapt to the situation to get rapopore-zinc spaces at infinite level for other reductive groups. G over qp. OK. All right. Very good. So yes. I guess I have two additional remarks. So one is that I'm going to spend a little bit of time at the end, considering the case of Lubentate. So by the Lubentate case, I mean the simplest possible h0. So that means that h0 is connected and one-dimensional. Let's call its height n once again. I'll remark that this mh0 without any level structure is a disc. Sorry, it's a ball. It's an open ball of dimension n minus 1. n minus 1. And the tower of covers mh0n is each one is a tall over the last. So I'll focus. All right, components. OK. So it depends on what your deformation problem is. If its deformation is up to isogyny, then you actually get z copies of this open ball. Actually, that's maybe a better point of view. I like thin things are symmetric, and then you actually do get an action of the whole thing. So I like that comment enough that I will even adapt z copies of the open ball. So that's just one example here. All right, good. Excellent. Oh, and then, yeah, I guess one thing I'd like to say. In order to try to convince you that this can't possibly be anything reasonable like a rigid space, the analogy that I like to think about is another inverse limit. Let's take a manifold like s1. So this is a manifold with the structure of a group. And let's take its inverse limit under a map like x goes to x to the p. And this is an etal map from s1 to itself. But the inverse limit is not a manifold. It's this rather awful thing. So r cross zp modulo z. So a neighborhood of a point, really, no matter how small a neighborhood it is, doesn't look like anything reasonable. It still has this fractal nature to it. And in a rather similar vein, you expect this mh0 infinity to have a fractal nature to it. And that's what perfector spaces look like. They don't have tangent spaces, by the way. OK, good. All right, so I'll just say that again. So when you do this limit of, let us say, smooth things with finite etal, in the limit, does the tangent bundle make sense? It should be the pullback from the tensors, or it doesn't make sense? Right, so the question is about the tangent bundle at the top of this tower. And it doesn't really make sense. It has to be 0, if anything. But think of this, I mean, just think of this example. What's the tangent space to the origin of that space? It just doesn't look like any open subset of r around the origin. So it really can't be a tangent space. I want to push this up even further. Well, I think that's OK. All right, so we need to first talk about p-divisible groups over, yeah, there it goes. Yeah, that's what I feared would happen. Yeah, if I stop in the middle. So I can't ever leave anything in the middle. No, you can leave something in the middle. But if you put it here, you should go for it automatically. You should stop it. Oh, I see. Oh, I see, there's some imaginary line. I can't think. OK, all right. All right, so let's have the next section be p-divisible groups over k, where k is still a perfect field in a characteristic p. And here, the situation is extremely well known. So I'll just do this to fix notations. So the category of p-divisible groups over k is equivalent to a category of do-to-name modules. And for this talk, the do-to-name modules will be covariant. So this is an equivalence, not an anti-equivalence. And on the other side of k, the do-to-name part means that they're equipped with an f and a v, and f times v equals p. And it's rather aesthetic that I'm choosing the covariance formulation, but it just makes my life a little bit easier for the rest of the talk. But it produces this, well, maybe you're not used to this kind of thing, but here, the constant p-divisible group, it's do-to-name module, its f is p, and its v is 1. So maybe the opposite of what it is for the contra-variant module, so here it's the opposite. So the multiplicative p-divisible group works the other way. All right, so there's different equivalent formulations of how to construct the do-to-name module. So Professor Fontaine has all booked on the subject. But I want to do the point of view of messing in terms of universal vector extensions of a p-divisible group. So I will construct the do-to-name module in terms of universal vector extensions. OK, the idea is this. So if r is a k-algebra, I can just take, and h is a p-divisible group, I can take h and just evaluate it on r, and I get an abelian group. And what does this mean? So it means so h is composed of h-n's, which are group schemes over k. I can take any one of them and evaluate them on r, and now I just take the forward limit, OK? So h is going to be a functor from k-algebras to abelian groups. All right, so now I need the hook. So maybe that's close enough. So the idea is to take h, I actually wanted to notate by h0, my p-divisible group. Imagine it's h0 in both of those places. So let's lift h0 over k to h over w of k. And then this h fits into an exact sequence like so. No, I'll just put v here. v for vector. So this is the universal vector extension like this. And so what are these things? So these are also functors from r-algebras to abelian groups. But this one is isomorphic to some number of copies of the additive group. So you can consider the category of such extensions. And then the initial object of such a category will be the universal vector extension. And we can just consider this as a black box. But then the deodorant A module of h0 is defined to be the Lie algebra of Eh. Yes, yes, so that's the black box I'm referring to. So this is m of h0, not m of h. This does not depend on the lift that you chose. So this only depends on h0. And in fact, you get a functor from h0 to duty name modules. And this is what the duty name module is, the covariant one. And for all this to work out, the only things that were necessary about k and w of k is that this map between them, wk to k, is a pd thickening. So the kernel has divided powers. So we can actually place this whole discussion in a more general context. And when we do that, we get the notion of the dune and a crystal. So OK. Yeah, periodically complete, separated, nil-potent pd thickening. I hope I haven't missed any adjectives. No, not nil-potent. No, not nil-potent. Oh, sorry, sorry, sorry. Ah, no, no, no, you don't. Sorry, sorry, sorry. But what I'm next going to say, I'll introduce the crystalline period rings. So let's suppose R. So what we do now is replace k with a ring R. And R will be a ring in characteristic p. So it's an Fp algebra, which I assume to be not perfect, but semi-perfect, meaning that the Frobenius map from R to R is surjective. That's what semi-perfect means. So that simplifies the discussion of dune and a crystals considerably. Because you consider the category of pd thickenings, and it has this initial element due to Fontaine. So there exists a universal pd thickening, a chrysivar to R. And then you can copy everything here. If you have a pdivisible group over R, you can lift it to a chrysivar, consider the universal vector extension, take the ly algebra of the center, and then you get the dune and a module. So I'll just write that as m of h0. And this is a projective module over this ring. And it has the F and the V. So that's the more general dune and a module. All right, so now I need one of these boards again, so I want this in the middle and this here. Yeah, OK. All right, so now we have this functor from pdivisible groups to dune and a modules over the crystalline period ring. Unfortunately, the situation is not as nice as for perfect fields. That functor is not going to be an equivalence of categories in general. But we can ask for something a little less strong, namely, is this functor fully faithful? And so now we have our first theorem. So I assume the ring is slightly, it's a slightly stronger condition than R being semi-perfect. So the condition is F semi-perfect. And that means that R is a quotient like so where S is perfect, perfect ring and characteristic p. And I is a finitely generated ideal. So such a ring is always semi-perfect because it's a quotient of something perfect. But the quotient is by a finitely generated ideal. And an example of this would be the ring OCP modulo p. So it's a very large ring. This is the quotient of, well, now this is known by OCP flat modulo, some uniformizing element like p-flat, OK? So this is a good example to keep in mind. All right, then the theorem states that this due to name module functor is fully faithful. H0 of H0 is fully faithful. That is, as a functor from p-divisible groups over R to due to name modules over a Chris of R, OK? Good. Up to I start. Oh, yes, yes, there. I really do. Up to I start, Janice. Janice. Yeah, OK. With some stronger conditions, we can get it on the nose. But I must say up to I start, Janice. So that is hams from H0 to G0, tensed with Qp. This maps onto hams, which can be with Frobenius of H0. All right, so I want to specialize a little bit to the situation where the first p-divisible group is constant. And we'll see what the consequence is. So this will really send to the top. Yes. All right, so now the role of the first p-divisible group will be played by the constants, Qp mod Zp. And the second one, well, OK, so this will be my H0 base change to R. So yeah, so I should have said this before. So let's say H0 is a p-divisible group over a perfect field K. And let's say that R is a semi-perfect K algebra. OK, so under those conditions, now we have two p-divisible groups. I'm going to consider them over R. The first is the constants, and the second is H0 base change to R. So this, oh, yes, of course, isogenes, yes. This will be the same as Ham's, which can be with Frobenius of M of Qp mod Zp, M of H0 R, tensor Qp, yes. R is F, thank you. R is, I forgot the F, F semi-perfect so that I can apply the theorem. And let's evaluate the left-hand side first. So here, well, 1 over p has to go to a p-torsion point. 1 over p squared has to go to a p-squared torsion point. So what you get is a tower of p-torsion points. So you get an element here of the inverse limit of H0 with torsion and p to the n evaluated at R. And this is still tensed with Qp. And so, but this is quite the same thing as the inverse limit of just H of R itself. Remember, you can just take H and apply it to R. It's essentially the union of all of the p to the n torsion points. And so if you have a tower like this, well, because R is p-torsion, every element eventually is torsion for some high enough power of p. So everything here lives in here. And then conversely, it's pretty easy to see that every element here lives in here. But then this is a Qp vector space. So this is the map from x goes to px. You can take any abelian group you like and do this to it. And then you get a Qp vector space. So of course, it extends from this Zp module to this Qp vector space. So this is an isomorphism. And I'm going to give this a name. I'm going to call this functor. When you send R to this guy evaluated at R, I'll call that H tilde of R. And I will call H tilde the universal cover. Just consider it as a functor on k-algebra. I forgot the 0. I forgot the 0 everywhere. All right, so that's the left side. The right side. So m of Qp mod Zp, I said was this. So the thing is, I want to kind of put the Qp inside. So this is going to be a Chris of R tensor with Qp. So that's B Chris plus plus of R times some basis element. And F acts on this basis element as P. So that's what this part is. This part. All right, so this arises from base extension from something that lives over k, the perfect field. So did any modules work well with respect to base change? So this is just m of H0, which is a w of k-algebra. Tensored over w of k with B plus Chris. OK, well, this is a little misleading. I mean that this tensored with Qp is this. And so hams from this into this, they have to respect Frobenius. So the basis element here has to land somewhere where Frobenius acts as P. And so the whole thing just goes down to m of H0, tensored with B plus Chris. I should really be put the R there. R. So it lives in the part where phi. So I'm going to write this as phi equals P. But the understanding is that phi acts on the left factor as F and on the right factor as phi. OK, yeah, so far so good. So as an example, when H0 is constant, you recover a familiar result, Zp. Well, the universal cover is actually just Qp. When you take the inverse limit of this with respect to P, you get Qp. And now this is telling us that Qp is isomorphic to, all right, so there the due to name module has Frobenius acting as P. And so divide by P and you just get Frobenius acting as 1. So phi equals 1, OK. So this is known when R is OCP, and now we know it for more generally. And then for H0 equals mu P infinity, so that you get mu P infinity tilde of R, which is sequences of nil-topologically, no, just nil-potent elements of R compatible under Pth power maps. This is the same as B plus Chris phi equals P, because now the due to name module has F acting as 1. So phi equals P just puts phi equals P there, OK. All right, so these results are maybe not such a huge surprise. So in certain situations, for instance, when R is like OCP mod P, isomorphisms like these, and more generally, like even when phi is p to the n, you get a p-divisible group of height n here. So these were investigated by the recent paper of Farrag and Fontaine as applications to their fundamental curve of Piata-Coch theory. All right, so that's my discussion of p-divisible groups over rings of characteristic p. I now want to lift the situation to characteristic 0, because in the end, we really want some object which classifies p-divisible groups over characteristic 0 rings, because I want something on the generic fiber. I want a rigid space over Qp. This goes up. So p-divisible groups over characteristic 0 rings, all right, OK. So once again, k is a perfect field. And the kinds of characteristic 0 rings I want to investigate, they fit into pairs like this, RR+, so this is meant to evoke the notation of attic spaces. So here RR+, so R plus, I want to be a p-torsion-free W of k-algebra, which should be p-addically complete. And I want R plus mod p to be f-summi-perfect, semi-perfect, which is, by the way, the situation you get when this is a perfectoid, aphenoid, but just as an example, certainly. Oh, and I didn't say what R was. R is merely R plus tensor Qp. So R plus is a subring of R. And so Cpo, Cp is certainly an example of this. So under these circumstances, once you have something in characteristic 0, then the Hodge theoretic objects have filtrations. So first example, so we have this map. No, it's R plus mod p to R. And so this is the map called theta, so familiar from piatic Hodge theory. And let's let H0 over k be a p-divisible group. And let's let H be a lift of it. Well, the right way to say it would be a lift of the base change to R plus mod p. So H0 is over k. H0 base change to R plus mod p is over R plus mod p. And let's lift that to just R plus. So now it's really in characteristic 0. Then, well, it makes sense to define the universal cover of H applied to just R plus. So again, it's this inverse limit under the p multiplication by p-map of H applied to R plus. This should go in the middle. But I realize I can't really recover the back one. The back one just stuck there forever. Suggestions, anyone? You have to lower every. Yeah, it's like the tower of Hanoi problem. Just undo. So by what I just said, all right, OK, OK. So one little Emma is that when you take the universal cover of H and apply it to R, so you can just plus. You can, of course, you get a reduction map like this. But this is an isomorphism. So right. And I won't prove this, but it's really reminiscent of various computations you do in Piata-Cochter. So for instance, you can take OCP and map this to OCP mod p. That's a reduction map. And you take the inverse limit of this guy under Frobenius and the inverse limit of this guy. So this is just a monoid, but this is a ring. But this is an isomorphism. So the proof follows exactly the same logic. And then, of course, this is one of the intermediate steps involved in the construction of the period ring. So what we get as a result of this, so we get a map from H tilde of R plus goes to H tilde naught of R plus mod p. But this is the same by the full faithfulness theorem as Dironet module of H0. Tensor v-christ plus of R plus mod p, p equals p. And then I have this map theta. So I'll just apply it. So that's the map 1 tensor theta. And this now lands in M of H0 tensor R. So now by doing this, I've certainly introduced denominators. So this map from H tilde of R plus to M of H0 tensor R. So this is all called the quasi logarithm map, H0. So Q log stands for quasi logarithm. And I've labeled it by H0 because this map does not depend on the lift from H0 to H. I mean, of course, R, it depends on the lift R of R plus mod p, but not on the lift H. So that's an important point. I have an alternate interpretation of this quasi logarithm map, which will be important. So I'll need some room for this. So the other interpretation, quasi logarithm, OK. So just remember what the student A module was. So we have this lift H of H0 to R plus. And so it can be put in the center. So I can put it into an exact sequence like this. But I want to evaluate it on R plus. So this was the universal vector extension of H over R plus. Here's zero. OK. I want to put another exact sequence above it. This will be the universal cover of H applied to R plus. And the map between them, so this is a set of p-compatible sequences of elements of this. And I just project them to the first one. The kernel of that is the set of sequences where the first element is zero. So the following elements are p-torsion, then p-square, torsion, and so forth. So that's just the tape module. So I'll write just th0. It's not guaranteed to be surjective. And then there's a third row here. So from H of R plus, there's a logarithm, log H, which lands in the Lie algebra of H. But the logarithm introduces denominators. So now I really have to tensor with R. And then here is the Lie algebra of EH. But that's, by definition, the geode name module of H0, tensored with R. And this map is the log that comes from EH. This thing I'll call fill one, zero. All right, so here is this map from H tilde of R. So the fact that there exists, well, maybe I'll put a dotted line here. Because it's not totally obvious that it exists. But I'll sketch a proof just orally. So this is a sequence of elements of this guy, which are p-compatible. Lift them all haphazardly here. And now we have a sequence of elements here. They're not p-compatible. But you do this smoothing process involving a limit procedure, which is what you do over and over again in Piata-Coch theory. And then you get an element here, which really does lie above the element here that you started with. And this is actually going to be well-defined. Because the ambiguity you get from lifting from here to here is measured by an element here. And that limit process involves multiplying by high powers of p. But since this is additive, that kills the element here. So there's my short oral proof of why there exists such a map here. OK, so this map exists. And this composition is the quasi logarithm, h0. So it does not depend on the choice of lift. This whole center column doesn't depend on the choice of lift. It's just the filtrations that depend on the choice of lift. All right? All right, so this will bring up. Yeah, I'll actually do the thing I said I was going to do. So that goes up. I'll bring this up to the back one down. I have to do it sometime. So this quasi logarithm map, so it's defined whenever you have such a pair, r, r plus. And so I mentioned something about attic spaces. Attic spaces are built out of attic affinoids of this form, spa r, r plus. So that's a set of continuous valuations on r, a valuation less than or equal to 1 on r plus. So I'm not going to go into a diversion on attic spaces, but I just want to mention that because of what we've just done, that is for every pair, we've constructed a map from h tilde of r plus to m of h0 to tensor r. What we do is we get a morphism. Well, it's like this. So h tilde is something like a formal scheme, but you can take its generic fiber. It's attic generic fiber. And then once you've done that, then you can go ahead and apply this quasi logarithm map coming from h0. And it lands in m of h0 tensor r. I'll write it this way. You get a map to the additive group. Yeah. And well, it's rather like this. I mean, I can even put this into a commutative square where I can project onto the first coordinate. So this is just h attic. Here's the logarithm map coming from h. And that lands in the Lie algebra tensor ga. So OK. So this is maybe this more classical thing. If h0 is connected, then this is a ball, an open ball. And if h0 is connected, so it's a map. I mean, it does what a logarithm should. It takes an open, it maps an open ball into the additive group. Yeah. OK. So this, again, once again, does not depend on the choice of lift. Nothing here does. But then this does depend on the choice of lift. OK. And one more little observation. So let's let n be the height of h0. And so originally, this talk was about moduli of deformations of p-divisible groups. So let's say one of those is given. That's our h. And now let's also add a level structure into the mix. So let's suppose that h is given together with a level structure. So what would that mean? That would mean a basis. So I want n basis vectors to be inside of. So I'll let vh of r plus be a basis. So this is the rational tape module. And at most, it could be have dimension n. Well, I mean, assuming this is connected, so OK. That's dimension n. So let's suppose you have a full level structure. OK. Then. So you're starting h0 is over your perfect field. And r plus is related to some affinoid in the moduli space. What is r plus? So r plus is like a, yeah. So again, it's like our test object. Oh, maybe it's underneath. So r r plus is some given affinoid w of k algebra. And I'm saying let's suppose we have a deformation of h0 to that test object together with a level structure. So this means that in r plus mod p, it is h0? Or r plus on one thing, it is h0? What was the question? So when you say deformation. Yes. You have the map from r plus to k, no. Oh, OK, yeah, OK. So the right way to set things up is to have a map from, yeah, the right thing. I mean, I hadn't planned on going on to this. But somehow, the right thing to do is to say something like this, p2h. So really, a deformation should be a pair, h rho, where this is a quasiisogony, together with an alpha. And an alpha is those n basis vectors. So a point of this moduli space at infinite level valued in r r plus really should be this kind of data. There's even a white lie there, too. But I could tell you about it. So yeah, OK, OK. Really, you want to do these things locally on spa r r plus. You really want to cover it. And then in general, this might not be a bounded subring. Well, there are various white lies in this discussion. But I can tell you about them later. So let's follow it. OK, so where do these alphas live? So they live in the Tate module, but maybe they have denominators. But if you follow them through this diagram here, they land in this filtration, which means that they can't really. So this thing is n dimensional, but our n vectors in here can't span this n dimensional space. They actually have to lie in this space of co-dimension whatever the dimension of h is. So because of this diagram, so this guy has dimension d, where d is the dimension of h itself. Pull this up. And this guy has dimension n. And the observation I want to make is that when you take quasi logarithms, they lie in a subspace of co-dimension n, d. d, where d is the dimension of the original p-divisible group, just by that diagram. All right, so now we're actually ready to define the moduli space at infinite level. So the deformation h disappears from the discussion. All that we have are elements alpha 1 through alpha n, and they are just some abstract elements floating in here, in the middle, in the part that doesn't depend on h. And the condition that we put on these n elements in here is exactly the condition I just wrote down. They're quasi logarithms span a space of co-dimension d, rather than filling up this whole space of dimension n. There's n of them, vectors. All right, so this here. All right, so the idea now is to define a functor, which we'll call, I mean, so this is going to be the desired object, m h0 infinity. And it will take, OK, so it will be defined on such pairs with the proviso that you know I'm telling a slight white lie about this. Yes? All right, so the correct, OK, so to define an attic space, well, that's one of them. Right, so if I say that this is an affinoid w of k 1 over p algebra, then part of that definition is that r plus is integrally closed in r, and it's open and contains this bounded subring. But I also want to assume that r plus is bounded. So there are these instances where r plus might not be, but it has to contain a bounded subring. So the white lie has to rather to do with that. But glossing that over, this functor will take the following value on this. So I want it to be the set of, I'll do alphas, yeah, n tuples, which lie in h tilde of r plus. And by the way, even though I've written an h here, that doesn't mean that I've already lifted h0, because I could have just as easily written h0 tilde of r plus mod p. Or you could just say, pick any lift and form its universal cover, and then that's where these alphas live. So I want to impose some conditions here. One of them is the condition I just wrote. So this lives in m of h0, tensored with r over w of k. These span a space of co-dimension d. So if you like, you get a matrix out of this guy. Actually, what I'll do is I'll put parentheses around here, and now it's an n tuple of elements, so it lives there. And then after having picked a basis for this guy, it's really n squared elements of r. And I want that matrix, n by n matrix, to have rank n minus d over r, n minus d. Remember, n is the height of h0 and d is the dimension. This actually makes sense. So I mean, you want certain minors to vanish, and that makes sense in r. And then you want other minors not to vanish. So you want the ideal generated by those other minors to be the unit ideal. Or you could just say, for every maximal ideal of r plus, of r, it really is a matrix of rank n minus d. I need actually one more condition, because for it to actually be a level structure, it should be linearly independent. I mean, yeah. So it should be linearly independent inside of a vector space. I don't think it's good enough to just say that those things are, well, yeah, OK, that these are linearly independent on h tilde. I want to do it point-wise. So I'll say it this way. For all x, for all points of spa rr plus, maybe the residue field is like so kk plus. When you take alpha and apply it to x, you get an element of h tilde of k plus. And this is a qp vector space. And I want these to be linearly independent. So they're linearly independent everywhere. So yes, yes, over qp, yeah, exactly. They're qp linearly independent. So this, so h of k plus is a Boolean group. h tilde of k plus is a qp vector space. h tilde of anything is a qp vector space. So I mean for them to be linearly independent over qp, just like if you were defining a modular curve x of p infinity, it should be elliptic curves together with a qp basis for the rational tape module. So all right, so then next main theorem. Oh, no, I can pull it all the way. Yeah, I know. Let's put this down. So the next main theorem is just that this mh0 infinity does what we want it to do. But I have to be a slightly vague about that. So mh0 infinity really does parameterize deformations of h0 with level structure. So a deformation with level structure is one of these triples, h rho alpha, over there, yeah. And OK, maybe that's just part one. Part two is slightly technical. So if you have an attic space, Schultz has a notion of one attic space being similar to an inverse limit of a tower of attic spaces. And this notion means a lot of things. But one of the consequences of it is that as a topological space, this is the inverse limit of these topological spaces. They're homeomorphic. And you also get an isomorphism, an equivalence of 8th-hall sites. So as far as comology goes, this is really the limit of the comologies of these guys. And finally, well, yeah, I want to say something like this is a perfectoid space. But a perfectoid space requires a perfectoid field for it to be perfectoid over. But when you base change to some perfectoid field, you get a perfectoid space. What? To sum up to any when you change it. For sum, for any, actually, yeah, yeah, for any field k. And this last one, I mean, this is proved by first observing that the way that I've set this up, mh0 infinity, lies inside of this space h tilde, well, n times, generic fiber. Because a point of this guy is n elements of h tilde. So yes, at least it's a subset as far as functors go. But as a subspace, it's locally closed. Why locally closed? Well, the conditions I've placed, well, the linear independence condition is an open condition. And the condition about the vanishing of those minors is a closed condition. So it's an intersection of an open and a closed. So it's a locally closed subspace of this space. And then the last thing you've got to observe is that when you take this space and base change to some perfectoid field, this is really a perfectoid space. So for instance, in just the case where h is connected, well, then h-addict is just a ball. But then h tilde-addict is something like a perfectoid ball. It's the inverse limit of balls under this etal map, which corresponds to multiplication by p in the p-divisible group. And that inverse limit has the structure of a perfectoid space. That's not hard to see. I go till half past, right? OK. So I had planned something like an explicit formula. So let's see how far I get here. So in the Lubin-Tate case, so in the Lubin-Tate case, so the dimension of h0 is 1. It's connected and has height n. And I want some matrix, which is an n by n matrix, to have rank n minus 1. And that just means the determinant vanishes. So as far as determinants go, what I can tell you is that the determinant map, which I'll notate as delta, even exists on a level of formal schemes. So I haven't passed the generic fiber yet. So there exists an alternating map such that when you pass to generic fibers, well, you get this map. Here, there's a logarithm. It's the usual logarithm. Here, there's the quasi-logarithm applied n times. And so it lands in GA. The Lie algebra is one-dimensional, but there's n of them. But I'm sorry. The geodinomodule is n-dimensional, and there's n of them. So here's n squared. And then this is the determinant. So that's why I'm calling this thing a determinant. OK. OK. All right, I'll go over here. And I even know what this quasi-logarithm is. Ah, not eta, delta. Oh, sorry. Oh, well, OK. Perhaps I'll just write some formulas. And if you have questions, you can ask me. So I don't know what to say in three minutes. But the quasi-logarithms are all known. When you read the paper of Gross-Hopkins, he computes the quasi-logarithms for h. And then you have to transfer them over to the universal cover. So h tilde, sorry, so h tilde, as a formal scheme, is actually w of k double brackets, t 1 over p infinity. And the quasi-logarithm from h tilde to the geodinomodule, which is like, oof. So I want n coordinates because this is like g a to the n. So it sends t somewhere. It sends t, in fact, to g of t, g of t to the p, g of p to the n minus 1. And g of t is a wonderful formula appears in the paper of Fargon Fontaine. So sum i is in z. Really overall integers of t to the p to the ni divided by p to the i. There we go. So what I've written down is a power series that converges on the perfectoid open ball. Notice that it involves an extracting arbitrary p-thrutes of t. And then in order for this diagram to commute, what's that? So i ranges over all integers, positive and negative. So for negative ones, you've got to extract p-thrutes. So in order for this delta to really make sense of it, so basically delta of x1 through xn, if these are my coordinates on h tilde to the n, this is something like x of the determinant of g of xi to the p to the j. And by an incredible miracle, this has no denominators, where g is that power series, which certainly has denominators. If you believe this theorem, and it follows from the full faithfulness result, you get this delta out of working with period rings, and you believe the commutativity of this diagram, then this delta is the x of a log. So yeah, it's got to be true. And then the lubentate space is defined somehow by, it's defined by setting delta equal to a system of roots of unity. That's all I'll say. Thank you. OK, so thank you very much. Any questions? Yeah, this question. In the different case, you have a problem, which is not this type of g, that this theory works or something. Yes, the question is about the Drinfeld Tower, which, as I doesn't actually fit into this paradigm, but that relates to the remark I made that you can adapt this construction to give you wrap-up or zinc spaces with EL structures. That's all you need for this. So the E means endomorphisms, and your endomorphisms could include an action of this division algebra. And so yes, the Drinfeld space at infinite level works into this paradigm. And you actually get a proof of the isomorphism between the two towers this way. You get a new proof of the endomorphism. Yes, yes. I mean, it's natural, because both spaces now exist. So it actually says this thing that there's an isomorphism between two perfective spaces. It reduces to linear algebra. It was a question. So the question is about an abelian variety. And the beginning is perfect. Yes. So why are there other interpretations? Of the quasi-logarithmet. Yes, and the construction and the way you are also when with the partition or you've got some extensions and so on and so on and then so on and so on and so on. And then so do you have further results in this case? No, no. So I think you're getting at if this quasi-logarithmet but compatible with other constructions that come from the fact that it's an abelian variety. No, I haven't thought about that. But that's going to be a variety that will suit the abelian variety. Of course. Yeah, as Fontan says, the abelian variety is also fit into this universal vector extension. Then you have the filtration. Yes, yes. Oh, so you want to relate to this universal vector extension to the Hodge filtration of the H1 of the abelian variety. Yes, it must be compatible. Yes, of course. But as Jean-Marc says, it should be tautological. I don't know if I'm going to be able to do that. OK, so I'm going to answer. I'm just going to say it. OK, so let's sum it up. OK.