 OK. Well, thank you very much for inviting me. So my title is indeed Figma Modules and Locally Analytic Vectors. And what I'd like to tell you about is joint work with Pierre Colmez. And it's really a short report about the attempt to define Figma Modules, but in the lube-intate setting. And so there will be some overlap with what Peter Schneider talked about. So let me first remind you of what I mean by in the lube-intate setting. So the basic idea, as you know, the basic idea of pelic rush theory is that we start from a finite extension k of qp. And we are interested in the representations of the Galois group of qp bar over k, so gk. And the way that we do that is that we defined an intermediate extension k infinity, which is between k and qp bar. And we try to choose this extension k infinity so that most of the ramification of qp bar over k is contained in k infinity over k. So this translates into the fact that qp bar over k infinity is almost et al. And so let me denote this Galois group by hk and this one by gamma sub k. And we also try to choose k infinity so that the Galois group gamma sub k is as simple as possible. Now, of course, the canonical choice for k infinity is to take the cyclotomic extension. Extension, OK, and in this case, the cyclotomic character realizes gamma sub k as an open subgroup of zp cross. And once you have made that choice, you have all the theories that we have in the study of pelic representation. So for example, Saint theory, a pelic rush theory, the theory of the gamma modules, and so on and so forth. And what we'd like to do with a view, of course, towards the pelic local langauge correspondence for gl2f is to replace this choice, so this cyclotomic extension, with the extension generated by the torsion points of a Lubin-Tate formal module. So what happens if k infinity over k is a Lubin-Tate extension? So what are the new phenomena that arise? And in order to tell you about this, let me set up some notation. So I'm going to work in the simplest possible setting. So let f be the unramified extension of qp of degree h. Let me choose p as the uniformizer of of. So this will simplify some of the things that I'll talk about. And let me denote, like Peter did, by LT the formal of module attached to p. And k sub n is the extension of k generated by the p-to-the-n torsion points of LT. No, f is f. And it's probably helpful if f is contained in k. Pardon? I mean, the f LT is defined by qp in recipe. But for the time being, k is not f. I mean, k is, you can think of it as something bigger. It's probably helpful if it contains f. Later in the talk, indeed, k will be equal to f, because that will make my life simpler. So you are anticipating on the sequel. OK, k infinity is what you imagine. And then the lubintate character, k sub f, realizes gamma sub k as an open subgroup of of cross. So what I'd like to tell you first is what happens if we do sin theory, not using the cyclotomic extension, but the lubintate extension. So let me start with sin theory. And first of all, let me very quickly remind you of what I mean by sin theory in the classical cyclotomic case. So classical case. So for now, k infinity over k is the cyclotomic extension. And the part of sin theory that I'm really interested about is the following. So you start from v, a finite dimensional qp representation of g sub k. You let w be cp tensor v invariance under hk. So of course, now this is a k vector space with an action of gamma sub k. And what sin did was the following. So we define d sin of v to be the set of finite vectors of w. So this is the set of w's of vectors whose orbit under gamma sub k lies inside a finite dimensional k vector space. So orbit of w is inside a finite dimensional k vector space. So you said cp and not qp bar there. There? Yes, it's really important that this is the completion of qp bar. Otherwise, probably all the vectors would be finite, but if you don't, yeah, yeah, yeah. OK, so this is a sense definition of a set of finite vectors. And of course, this is a very restrictive condition. There's no reason why a random vector would be finite. So there's no reason why this space would be different from 0. The only thing that you can see, a priori, is that this is a k infinity vector space. And then sin theorem is the following. That this k infinity vector space is large, but not too large. So cp tensor d sin of v over k infinity is the same as cp tensor v. So you recover cp tensor v from this construction. So you have enough finite vectors in w. OK, and of course, you know that the point is that because the vectors inside d sin of v are finite vectors and there is an action of gamma sub k on this space, you can differentiate the action of gamma sub k. You get an action of the Lie algebra of gamma k. And because gamma k is one dimensional, the action of the Lie algebra is really given by one operator, which is sense operator. And that's really the point of sense theory is to be able to define this sense operator, which is then used to define the generalized hot state weights of your representation v. But of course, this is a known definition of sense that dates probably from 30 years ago. And if you're interested in having gamma sub k act, and if you are doing this now, you probably would not look at the set of finite vectors, but you would look at the more modern definition, the more modern notion due to Schneider and Taitelbaum of locally analytic vectors. Because after all, being locally analytic is a more natural condition if you want to look at the action of the Lie algebra of gamma sub k. So w is the same w as here. It is a k vector space with a continuous action of gamma sub k. And then we set w and to be the set of locally analytic vectors. So the set of vectors of their volume such that the orbit map from gamma sub k to their volume. So this orbit map is locally analytic on this group as a locally analytic structure because it's an open subgroup of Zp cross. And so this definition makes sense. And it's a more natural definition if you're interested in doing differential algebra. And the first theorem is that in this setting, so in the cyclotomic setting, this definition is the same as the previous one. So the set of locally analytic vectors is precisely equal to a descent of v. So you don't get anything new. And why is this the case? Let me tell you very briefly the principle behind the proof. So sense theorem and a little bit of Galois homology tells you that w is precisely k infinity hat. So the periodic completion of k infinity tensor descent of v. And then it's not difficult to see that the set of local analytic vectors is precisely equal to this. So the set of local analytic vectors of k infinity hat tensor descent of v. So this is the first step. And the second step is to see that this set of local analytic vectors of k infinity hat is precisely equal to k infinity. And you do this using the taste normalized traces. OK, and it seems that if you want to replace the cyclotomic extension by the lubintate extension, this definition is the right definition. Or at least it gives something interesting. So let me assume now that we are in the lubintate setting. Lubintate k infinity over k now is the lubintate extension that is above. Lubintate extension. So once again, w is Cp tensor v invariance under HK. And this is still, by an easy argument of Galois descent, a k infinity hat vector space of dimension d. And it is, of course, still equipped with an action of gamma k. And before I state. Sorry? Yes, d is the dimension of v, thank you. I didn't say that. So the same dimension as v. And before I state the second theorem, let me tell you the following. So we have k infinity hat. And I can still look at the set of locally analytic vectors for the action of gamma k. And it's not hard to see that this is always a field, regardless of the gamma k that is acting on k infinity hat. So here is the second theorem. So the set of locally analytic vectors in this setting is also of the right size. So we have the precise analog of sense theorem. So w and is a k infinity hat and vector space. And when you tensor, you extend scalars to Cp, you recover Cp tensor v. So we have a sort of analog of sense construction, but now in the lube-inted setting. And no, that's just for simplicity, but this is true regardless of whatever lube-inted group you choose, thank you. OK, so we have this w and, which is a k infinity hat and vector space of the right dimension. Of course, when you see this, I guess the first question that you ask is, what does this field k infinity hat and look like? What does it look like? So let me give you a brief answer to this question. So we have this extension f over Qp. And let me take an embedding tau of f inside Qp bar, so from f to f, because f is Galois. And you know that this tau is different from the identity. Then there is a period in Cp for tau composed with k sub f. So there exists an element x tau in Cp, but actually then in f infinity hat non-zero, such that tau, so g of x tau is tau composed with k sub f times x tau. So this goes back at least to ser, I think, about 50 years ago. And of course, you know that if tau is the identity embedding, there is no such element. So this really reflects the fact that this character k sub f has h state weights, h minus 1 of them being equal to 0. So this gives you those elements. And one of them being equal to 1, which tells you there is no corresponding element when tau is the identity embedding. And then the theorem, and I apologize for its formulation. So the field k infinity hat n is generated. And I'd rather not say precisely what I mean by generated because it would take me a long time by k infinity and those h minus 1 elements. Yes, it's the degree of f log. So the logs of these elements for tau are different from the identity. Yes, locally Qp analytic. I'll come back to that in a second. No, no, no, that's what Fontaine was asking. It's not necessary at all. It makes my life easier, and it will make my life much easier in the sequel. You don't want to explain it generated? Yes, yes, yes. I'll say something in a, well, I don't want to say too much because if I give the precise definition, this will take me too much time. But it's basically power series in this log of x tau. And of course, if you think of a field of power series, this is not going to be a field. But you know that there are such objects like if you take the local point of a Berkovich point of type 4, it really looks like a set of power series. And it's also a field. So this field k infinity hat analytic is some kind of h minus 1 dimensional extension of k infinity. And the upshot of this, of this sun theory for the Lubin-Ted extension, so that you start from v. And you attach to it a vector space over this k infinity hat. What means a compression for a suitable norm? For a suitable norm, yes, it depends what you mean by suitable. But yeah. So which is that this field is some kind of h minus 1 dimensional extension of k infinity. So in particular, you see, if you have the piadik-Langlans correspondence in mind and you want to construct three gamma modules over rings of power series in h variables, where h now is the degree of f, which is something that you might want to do in order to relate those three gamma modules to gl2 of f. And this looks like a good start. Using the Lubin-Ted setting, you can construct vector spaces over fields that, in some sense, have h minus 1 variables in them. And let me finish briefly by saying that, as Vita said, so this Wn is really the set of a locally Qp analytic vector. So you look at the analytic structure on OF cross that comes from the fact that locally it's isomorphic to H copies of Zp. This is your local analytic structure. But of course, you can look at Wf analytic using the fact that, in this case, OF cross is a one-dimensional f analytic group, analytic vector. And it turns out that this is also of the right size. So let me tell you what happens. If I look at the set of f analytic vectors of k infinity hat, then I recover k infinity. And if I take a general representation V, and I do this construction, I also recover Cp tensor V. So you have a choice that you can either get this set of locally Qp analytic vectors. And this is a vector space over a field generated by H minus 1 variables. Or you can say that you're only interested in the set of f analytic vectors. And this still gives you something meaningful. And what I'd like to do is to have us bear this in mind as a template for what I'm going to explain now about Figma modules, which is a sort of generalization of sense theory, but a little bit more technical. So let me tell you about some objects that Peter Schneider talked about in his lecture, although I'm going to give a slightly different presentation because I have a sort of different point of view about them. So Kissin-Ren Figma modules. And from now on, I'm going to assume that k is equal to f, because this now really makes my life simpler. And so let me start by recalling the definition of the rings of power series over which Fontaine's Figma modules are going to be defined. So af is the set of power series in a variable y. So usually, when you use this x, but then I use y to differentiate the fact that x is the cyclotomic variable and y is the lubintate variable. So ai is in f, in OF, sorry. And ai goes to 0, as i goes to minus infinity. And bf is af inverse p. So you have this local ring and this two-dimensional local field. And these two rings are endowed with an action of gamma f. And the gamma f acts, you use the formulas that come from the lubintate formal module, LT. So g of y is the power series coming from the lubintate module in kf of g applied to y. And then you extend this action to make it into a ring homomorphism of, endomorphism of af. And it doesn't act on the coefficient. You're right, yes, g is f linear. And likewise, so if q is p to the h, and I look at the Frobenius phi sub q, so the h power of the absolute Frobenius, this will also act linearly on f. And phi q of y is bracket p of y. So I have those rings of power series that are familiar from Fontaine's constructions with the lubintate action instead of the cyclotomic action. And of course, if f is equal to qp, then I recover the cyclotomic rings except with a different choice of the variable because of the way I've said things. And so here is a fact that I'm really going to use as a black box. So there exists an element u in this ring a tilde plus. So one of Fontaine's rings of periods. So a tilde plus is the width vectors over this limit of ocp over p. So I'm sorry I haven't adopted the more modern terminology. I'm sure I could put a tilt somewhere here, and everything will be done. But plug, plug, plug, such that. So a tilde plus is one of these rings of periods of Fontaine, and in particular it comes equipped with Frobenius and action of Galois. And the point is that there exists an element here, such that the action of Galois and Frobenius are precisely given by these formulas. The tensor is OF, no? Sorry? The tensor is OF, no? Well, no, because f is on Rami's side, so it's already included inside. I mean, yes, if I wanted to be very precise, I would say OF tensor OF tilde plus. Such that g of u, yes, yes, yes. So if g is in gf, and phi q of u is p of u, and actually there are many such elements, and you can choose one such u with a prescribed reduction modulo p. So plus a prescribed reduction mod p. And is it unique, no? Yes, if you prescribe the reduction modulo p, then it's unique. So you can find this in papers of Colmey's. I'm not sure. I haven't done my homework, so I'm not sure if Colmey's was the first to notice this or not. I mean, it's an easy generalization of the principle of construction of Colman-Barr series. And the point of the existence of this element is that you can lift the field of norms. So this allows you lift of the field of norms. And this allows you to apply Fontaine's machinery of phi gamma modules. So you can apply Fontaine's machine of phi gamma modules. And you get the following precise theorem, that there exists an equivalence of categories. So equivalence of categories. So between, on the left hand side, the F linear representations of g sub F. So a category of F linear galois representations. On the right hand side, a category of et al phi gamma modules over B sub F. So et al. And now to be precise, it's phi q, the same phi q here, and gamma F modules over B sub F. So this is really a straightforward consequence of Fontaine's construction and the existence of this element U. So I'm not sure who to attribute this to. It's certainly a theorem of Fontaine. But the first people to really write this down precisely in this setting were Kissen and Renn, which is why I called my chapter on Kissen and Renn phi gamma modules. Yes, the notation is not there anymore. But GF is the Galois group of QP bar over F. In fact, they are GF acts through gamma F. Yeah, absolutely. So K sub F of G really means that GF acts through gamma sub F, yes. OK, so so far, I mean maybe you're a bit disappointed because the loop-intent situation is precisely the same as in the cyclotomic situation, except that, of course, now we have phi q gamma sub F module, and gamma sub F is a bigger group than ZP cross. But apart from that, the story is really the same. But as you know, the next chapter in the story of cyclotomic phi gamma modules was to ask which of those phi gamma modules are over-convergent? Over-convergent. OK, so these phi gamma modules, if you choose a basis, then you can look at the matrices of phi on of the elements of gamma. And their entries are elements of B sub F. And the elements of B sub F are power series that, a priori, converge nowhere. There is no reason why there would be any domain of convergence. And the over-convergent means you can choose a basis such that the entries of these matrices are power series that do have a non-empty domain of convergence. The point being that then you can evaluate those power series. And this allows you to relate phi gamma modules and PLH theory. And the good news in the cyclotomic case was the following is that if F is equal to QP, so if we are in the cyclotomic setting, then all phi gamma modules are over-convergent. So if F is equal to QP, all of them are over-convergent. So this is a theorem of Charbonnian-Colmes. And the answer to this question when F is different from QP is that not all of them are over-convergent. So if F is different from QP, so not all of them. And I think this was also suspected at first by Colmes and the fact that they are not over-convergent was proved by Foucault. And it's in a paper Foucault-Anchier. So let me call this Foucault-Anchier. And let me tell you a bit more precisely about those phi gamma modules that are not over-convergent. So what Foucault-Anchier proves precisely is that there exists a character delta, say, from gamma sub F to OF cross and an extension, V of F by F delta. So a two-dimensional F linear representation of QF, that is an extension of F by F delta, such that this extension is not over-convergent. So the corresponding phi gamma module is not over-convergent. That is not over-convergent. But it is a piece of paper that the over-convergent means that when you choose all the indefinite F into F, which are the two-dimensional ones. That's what I'm going to say right now. Yes, thank you. OK, so now I'm going to do what Fontaine was saying. So I'm going to tell you about the reasons that make representations over-convergent or not. OK, so let me start from V and F representation of GF. And now if I choose an embedding, once again, an embedding of F into QP bar, so tau from F to F, then I can look at the same theory, so the classical same theory of V, but at this embedding. OK, so what I do is I tensor, I extend scalars from F to Cp, but using this embedding tau, so F tau, and this gives you the classical same theory, but at tau. And let me say that V is F analytic. So if this Cp tensor V is always trivial, so V is always Cp admissible at all the embeddings tau that are different from the identity. So if at every tau different from the identity, so V is hot state with weight 0, or Cp admissible if you want. It's the same condition. So at each embedding, V has to be hot state and the hot state weights have to be 0. So it's a rather strong condition. So for example, if you take F twisted by the lube-inted character, this is an example of an F analytic representation. At the identity embedding, there is one weight which is one, but at all the others, the weights are indeed equal to 0. So this is OK. But say if you twist F by the cyclotomic character, then of course at all the embeddings, there is a weight equal to 1. So this is not going to work if F is different from Cp. So this is a rather restrictive condition. And here is a theorem which I think really explains the relevance of this definition to the theory of over-convergent lube-inted Figma module, so theorem. So if V is absolutely irreducible, sorry, if V is an absolutely irreducible representation of GF, which is over-convergent, then there exists a character delta from gamma F to OF cross such that V twisted by delta is F analytic. OK, if you have an over-convergent Figma module, you can always twist it by a character of gamma and still get an over-convergent Figma module. So you really have to have some condition like this. But then the theorem says that up to this condition, there are no other irreducible over-convergent Figma module. So the over-convergent here is in which sense? In the lube-inted sense. Otherwise it would be a vacuous condition. I'm sorry, what's the exact relation between F analytic and over-convergent in both ways? No, if you are over-convergent, then some twist is F analytic. But that's the only thing that can happen. It's twisting. OK, so this gives you a lot of examples, of course, on non-over-convergent representation. So this is somehow orthogonal to Foucault and Shea because here I assume that my representation is irreducible. So I'm sure that with a bit of extra work, you can drop the irreducible condition and get a complete characterization of over-convergent representations. But I think I'm a bit too lazy. So I haven't gotten up to that yet. Very good question. That's what I'm going to write next. So unfortunately, the converse is not a theorem. It's a conjecture. And what I'd like to do, one of the points of the rest of my lecture is to explain some evidence for this conjecture. So here's the conjecture. So if V is F analytic, then it is over-convergent. Yes, so that's what we conjecture. And let me mention some particular cases, so theorem. So Kissen and Rehn prove this conjecture under the additional assumption that V is crystalline. So if V is a crystalline F analytic representation, then it is over-convergent by a theorem of Kissen and Rehn. When you say over-convergent, it means the big gamma module as an over-convergent. Absolutely, yeah. It means that the. I should write a big date of the convergent. That's what I put here. But is the over-convergent extension unique when you say over-convergent? Yes, yes, yes, yes. Yes, then there is a unique, I mean, if you have two bases in which the matrices are over-convergent, you can go from one basis to the other by an over-convergent matrix. So the extension is unique, yeah. So this is true if V is crystalline. And Foucault and Shea also prove some cases of this conjecture for representations that are two-dimensional reducible representations. So two-dimensional reducible representations. Not reducible, tri-onguling, OK, thank you. Yes, the Figma module is reducible. OK, so there is a lot of evidence for this conjecture. And what I would like to do now is to tell you about Figma modules and their relationship with local genetic vectors, which I haven't done yet, and explain why I think that this is evidence for this conjecture. So third part, Figma modules and locally analytic vectors. Well, at least I'm going to explain what I think is the right way of proving this conjecture, because if you are in a hurry, there's probably a quicker way. But I won't talk about this. So let me say a few things about classical over-convergent Figma modules. So let me go back to over-convergent Figma modules, but in a cyclotomic case. So over-convergent Figma modules, so in the cyclotomic setting. So let me give you a few reminders about the objects that I'm going to talk about. So let I be a subinterval of 0 plus infinity. And I can look at this set of power series BF, but now look at those that satisfy some convergent condition related to I. So this is the set of power series, except now I'm back with the variable X, because I'm in the cyclotomic setting. So with AI in F, and I want the power series to converge for, and I think this is the right condition, the valuation, sorry, the norm of X is P to the minus 1 over R whenever R is in the interval. Interval maybe finite or interval I, extent to plus infinity, or it can be. Yeah, you can if you want. It's just that you cannot have plus infinity inside it. But yeah, it can go all the way to, it's not bounded. It can also be a finite interval. Yeah, yeah, yeah. Any sum interval that you want, it corresponds to an analysis. Yeah, absolutely, it corresponds to an analysis. When R goes to zero, these three corresponds to the radius to the norm of X going to zero. And when R goes to infinity, this corresponds to the norm of X going to one, OK? So if you take for I the whole of this interval, then you get power series that converge on the open unit disk. That's what you got, you got always an analysis. Otherwise it's an analysis, absolutely. And this is a Banach algebra for the norm that you imagine if, of course, I is closed. And let me recall briefly that the over-convergent Figma modules that we're interested in are modules over B. Sorry? But infinity is excluded in any case. Closed and bounded. Ah, no, yes, yes, yes, yes, thank you. OK, so the usual Figma modules that we work with, for example, the ones that Gabriel used in his lecture, are defined over an annulus that is as inner radius R and is open with outer radius one. And because this is not a closed and bounded interval, this leads to a little bit of trouble. And it was an observation of Schneider on titlebomb and also of Kedlaya that you can see modules over this ring as vector bundles on the corresponding annulus. And in particular, as a compatible set of modules on the closed subannually of the open annulus. OK, modules, so they correspond to vector bundles. And in practical terms, this means that a module M over this ring will correspond to a collection, so M of, sorry, free of rank D. So a free B something module of rank D will correspond to a collection of M sub S, where M S is a free B, F, R, S module of rank D, with, of course, the gluing conditions that you imagine. OK, yeah, it's a project, a vector bundle. I mean, there's no content. And the reason I remind you of this is because these rings are now a Banach algebra, and this will make what I say a little bit easier to understand. So in particular, if you combine Fontaine's construction and Charbonnier and Colmett's theorem, so the construction of over-convergent Figma modules, so you start from V representation of G sub F. And to this, you can attach, so a vector bundle like this, so a collection of D, R, S, V. So for S, at least equal to R. And so if I write I for I, R, S for brevity, then D, I, V is a B, I, F, V module. It's free of rank D. So once again, D is the dimension of V. And of course, because it's a Figma module, there is also an action of gamma on this module, and the Frobenius phi that will send D, I, of V to D, I prime of V, where I prime is the right interval because Frobenius changes also deannually with an action of gamma k and so on and so forth. And so how does one construct these modules? So you start from another of Fontaine's rings of periods, so B tilde I, which is the completion of A tilde plus we already had. So we invert P. You invert the Taichmuller of any uniformizer, so let me take P tilde, so the same as in Weinstein's lecture. So it's the completion of this ring for some norm that depends on I and is the one that you imagine on the ring of power series. And so you have this big ring of periods of Fontaine. Inside this, you have B F tilde I, which is B tilde I invariance under HF. And if you know a little bit of Pi-decker's theory, you can see that these rings BFI without the tilde are contained inside this one. So BFI, not only BFI, but also phi to the minus n of BFP to the n times I, which I denote by BFNI. So I think at this point, unless you already know what I'm talking about, this looks very confusing. And it's an observation of Cullman's really that this very confusing situation looks very much like sense theory. You have this big ring of periods B tilde I, which is a sort of analog of Cp. Inside it, you have this B, this invariance under HF. That's F infinity. And each of these rings of power series in phi to the minus n of X looks like the finite layers of this cyclotomic extension, so F and the F ends. And in particular, you can apply the same kind of methods as in sense theory to construct this overconvergent Figma module. That's really Cullman's proof of the Charbonnier-Cullman's theory. So you start from V. You extend scalar, so not to Cp, but to this bigger ring. And you get this D tilde I of V. And inside this D tilde I of V, you construct the analog of Dsen, which is going to be the union of this D I of V, where this notation reflects this notation. So here, by some decomposition process. So these are the objects that appear when you apply the Cullman's-Sentate method to a Figma module. You take invariance, and then you descend to a finite level. But what I told you within the framework of sense theory, that you could replace these normalized traces, these descent, with the construction of locally analytic vectors, is still true for Figma modules. So theorem. So if I start from these invariants, so this is a Banach space with a continuous action of gamma sub F. So I can look at the locally analytic vectors inside this. And this is the union of this D I N of V. Or if you prefer, the union of the phi to the minus N of D P N I of V. So the upshot is that once again, you can construct the classical overconvergent Figma modules, the ones that we use all the time in the Piedic Langlands for GL2QP, using locally analytic vectors. And so if you want to construct Figma modules in the Lubin-Ted setting, well, let's try to see what happens if we do this construction. OK, so let me now go back to the Lubin-Ted extension. Yeah? So is this all OK for arbitrary animals I, or do you have to take r sufficiently close to infinity? Yeah, yeah, r sufficiently close to infinity. It's the same as in, no, you don't gain anything. I mean, you have to be sufficiently close to infinity. You don't gain any radius of convergence by doing this. I mean, in order to prove this in any way, I used the Charbonnier-Colmes theorem. And what happens in the Lubin-Ted setting is the following. So I do the same construction. So the set of local analytic vectors, but now for the action of the Lubin-Ted gamma F. And what I get is a free dF tilde i analytic module of rank d, so the dimension of v. And now, of course, you are in the same situation as we were when we were talking about centering. This looks nice, except you have no idea what this ring is made of. So in the same setting, in the setting of centering, this was this h minus 1 dimensional extension of k infinity. Here, my third things are a little bit more complicated. No, no, no. Even in the cyclotomic case, it's not a field. So I'm going to give you a lot of examples of elements of this ring. So let me, once again, take an embedding tau of f from f to f, and then there exists an element y tau in this ring that has the following property. So if I look at g of y tau, so it's going to be bracket of k sub f of g, but now twisted by the embedding tau. And phi q of y tau is still p of y tau. So I told you about this element y in the chapter on Kissing-Ren Figma Modules that satisfy this property for the identity embedding. So in this ring now, there are analogous elements that satisfy this formula for all the embeddings of f into f. So you get h elements y tau, and these elements are algebraically independent. They are even power series equally independent. And so inside this big ring, you get a lot of multivariable power series in these h variables. So bf in contains multivariable, no, no, in this case it's perfectly symmetric in the y tau. Yes, so tau. So what you get is a ring that looks like a ring of multivariable power series in h variable. So we are getting closer to our objective of constructing Figma Modules over rings of power series in h variables, in as many variables as the degree of the extension. So unfortunately, there seem to be more elements in this ring, and it's still an open question to figure out exactly what is this ring, what is it made of. So I still don't have a complete description of the elements of this ring. Yes, in some sense, yeah. So I mean, it's a question that I find very interesting. And once it's solved, I think we'll have made some progress towards the construction of these Figma Modules in several variables. So I'd like to take the last few minutes to tell you how this seems to relate to the Kissing-Ren Figma Modules on the conjecture that I had at the end of the chapter on Kissing-Ren Figma Modules. So I'd like to call this Piedic-Monodromi conjecture. I think I'll call it a Piedic-Monodromi question, because I have no other evidence for it other than the fact that if it was true, it would be very nice. And I'm glad that Kiran is in the audience, because he's shown that he's good at solving monodromi conjecture, so I hope you can solve this one. OK, so let me go back. So now I'm back in the Lubin-Ted setting. I'm still in the Lubin-Ted setting. So I have this set of local analytic vectors. In particular, I have this action of gamma sub f, and gamma sub f is isomorphic to o f cross. So in particular, for every embedding tau of f into f, I have a derivative in the direction of tau. So this is the element of the Lie algebra that corresponds to taking derivative in the direction of tau. And how does it act, for example, on a power series in those h variables? So that's a little exercise that's easy to do. So it is log LT, so the Lubin-Ted logarithm in the variable y sub tau, times some unit that we don't really care about, times the derivative of f with respect to the variable y tau. And so this log, just like the cyclotomic log, so this element T, if you want, in Pythagoras theory, this log of 1 plus x, is an unbounded power series. It has a lot of zeros, so it's a little bit annoying. But the part on the right-hand side is a genuine differential operator. And so for each embedding tau, you have a differential operator, partial tau. And if you have a differential operator, of course, you hope to be able to use the theory of Pialic differential equations. And so as I said, I can't really describe this whole ring, but what I can do is the following. I can describe not all of the QP analytic vectors, but the sub-ring of F analytic vectors. So this is the same as the set of analytic vectors that are killed by all the derivatives in all the directions tau different from the identity. So nabla tau equals 0 for all tau different from the identity. And this is the following. It's the union of the BFn, i. So rings of power series in one variable with coefficients in F in the variable y identity. So y. So what I get is a nice ring of power series in this one variable y identity. That was the y from the chapter on keys in random Figma modules. And let me now finish. Once you do this, once you kill all the other directions. So let me finish by writing down my question and telling you why I think it implies the conjecture in the keys in random chapter. So question. And it's a sort of multi-dimensional analog of the classical conjecture of Kru. So if M is a BF tilde i analytic module of rank, so free of rank D, that is endowed with differential operators partial tau like this and the Frobenius. So with a set of partial tau and a compatible Frobenius in some certain sense, be careful that this changes the interval i. Then the conjecture is that M has a full set of solutions. Once you add the log of the white house, then is M generated by horizontal sections. So after adding the log of the variables. So if you know Kru's conjecture in one dimension, the classical monodromy theorem for PDC differential equations, this really is the analog in higher dimension, a finite extension. So no, in this case, you don't have to make a finite extension because you're left with a set of solutions that is defined over a ring that is big enough that Hilbert's theorem 90 will allow you to descend the solutions as you wish. OK, so this is the question that I want to ask. And in the final two minutes, let me tell you why I think, so theorem with a little star. So star means it will really be a theorem. Once I've sat down, I'll return the proof. So if this is true, if the answer is yes, then every F-analytic representation is over-convergent. Thank you. Representation is lube-intate over-convergent. Yeah, so now let me finish by explaining the steps of the proof and then one just has to fill the gaps. So you start by constructing this d tilde i of v, so the invariance of v. So if you want the analog of w in same theory, you take the local analytic vectors. And this, I told you, is free of rank d over b tilde f i n. And now you have to use the condition that v is F-analytic. So as I said, this d tilde i v n is equipped with those derivatives, nabla tau in the direction of tau. And if v is F-analytic, so v is F-analytic, if and only if you can divide this nabla tau by the lube-intate log of y tau. So if and only if this partial tau operator preserves this set of analytic vectors, the nabla tau respects it. But then if you divide by log of y tau, you divide by a partial series that has an infinite number of zeros, and this is not going to respect it. But then it's an easy thing to see, once you know how to do it in the cyclotomy case. But this condition that v as h is 0 is precisely the one that says that when you divide nabla tau by this log of y tau, what you get is still in d tilde i analytic. And then once you know that, you apply the positive answer to this question. And this tells you that d tilde i v n nabla tau equals 0 for tau d from the identity is 3 b f n i in y module of rank t. And now you have to see that once you get a module over this kissing-run ring of power series in one variable, you're basically done. So I hope I've convinced you that looking at local analytic vectors is a good idea if you want to try to generalize sensory and figama modules from the one dimensional setting to the multidimensional setting. And I also hope that somebody will be interested in this question. And therefore allow us to make some progress towards this conjecture. So thank you for your attention. I have a question. It's a thing about these extra elements. If you take something which is killed by all the derivative outside of identity, you don't get extra elements this time. That's true. So they're not killed by any derivative. No, but in some sense. In some sense, yeah. But you see, I can tell you exactly what the problem is. So this contains this power series in the white house. But it also contains, of course, the cyclotomic x. The cyclotomic x is a local analytic vector. And x is indeed a power series in the white house, but it never has the required radius or convergence. So there is some strange. I think that's all there is. So these elements that look, that want to be in there, that want to be a multivariable power series, but are not for some reason. Yeah. So to follow up on this, I guess so there's this space, the space sort of defined by this power series. So this bring a power series back to the usual big ring in the P. The B tilde bridge. And so this sort of defines a Berger-Wittch point and you can kind of localize around that. And does that, does those give you more of these kind of elements? Basically, sort of asking for less, yeah, you're sort of asking for some kind of restricted convergence. So is that the kind of elements you're seeing? It's definitely a problem to do with the convergence. So I'm not sure. I don't see areas that don't converge on the full disk, but they converge in some. Yeah, we can talk more about this. Maybe I didn't get anything. You seem to insist to take the QP analytic vectors instead of F analytic vector to have a multi-dimensional setting. But in the beginning, you said that F analytic vectors are sufficient to recover the original orientation. So why don't you work all the way through in one So no, you're absolutely right to ask this. So the reason I mentioned this at the end of the chapter of cent theory was also some evidence why this should work, because this is precisely also the set of F analytic vectors. No, you're right. I should have said this. So this is also d tilde i v Fn. And of course, now the question is, is this of the right dimension? So in cent theory, I know it is. But as you're right to point out, in this setting, I don't know. But I hope the analog of the construction will work. That is precisely my motivation. Yeah. So there we go. So if you have a question, I'd like to ask you that.