Runned by: Prof. Francesco Baldassarri and Andrés Sarrazola Alzate.
The aim of the seminar is to give an introduction to the theory of representations of padic locally analytic groups and the theory of Dcapmodules for smooth rigid analytic spaces developed by ArdakovWadsley. We also aim to study localisation of admissible (locally analytic) representation in the sens of HuyghePatelSchmidtStrauch. The foundations in these subjects were done by P. Schneider, J. Teitelbaum, K. Ardakov, S. Wadsley, C. Huyghe, D. Patel, T. Schmidt , M. Strauch and S. Orlik whose articles will be our main references.

Clicking on the title of the presentation the interested reader may find the slides of the lecture.
Notes (still under construction!)
Talks
Algebraic groups and representation theory of complex semisimple Lie algebras
 1. First meeting of presentation. September 30, 2020. Andrés Sarrazola A. University of Padova.
 2. Grassmannians. October 15, 2020. Andrés Sarrazola A. University of Padova.
In this talk we review the definition of the Grassmannian (dimension, the grassmannian as a projective variety and several examples). We also introduce the flag variety.
 3. Introduction to algebraic groups, part I. October 21, 2020. Giovanna Carnovale. University of Padova.
 4. Introduction to algebraic groups, part II. October 28, 2020. Giovanna Carnovale. University of Padova.
Abstract of the first two lectures of Pr. Giovanna Carnovale:
These talks are meant to give a very basic introduction to the notions that are needed for talking about the flag variety and its properties. After defining algebraic groups and giving some examples, I will show how to embed each algebraic group into some general linear group, how to equip homogeneous spaces with the structure of a quasiprojective variety. Next, I will define semisimple and unipotent elements, tori and unipotent groups.

5. Lie algebras: basics, nilpotency and solvability. November 4, 2020. Francesco Zerman. University of Genova.
Detailed summary of the lectures.
We begin by defining the Lie algebra associated to a linear algebraic group G, that corresponds to the tangent space to G at 1. This will be a sort of motivation in order to study the structure of Lie algebras. We give the first definitions, properties and examples, studying then in detail the behaviour of nilpotent and solvable Lie algebras.

6. Semisimple Lie algebras and Jordan decomposition. November 11, 2020. Francesco Zerman. University of Genova.
We define and study the structure of semisimple Lie algebras, using the killing form. We define the abstract Jordan decomposition for elements of semisimple Lie algebras and we look at its properties. Then we skip to the study of maximal toral subalgebras, introducing the decomposition of a semisimple Lie algebra into weight spaces. Finally, as an example, we characterize the representations of the simple Lie algebra sl_2(K).

7. Root systems, Weyl groups and Bruhat order. November 18, 2020. Andrés Sarrazola A. University of Padova.
In this presentation we review the classical theory of root systems and Weyl groups. We also introduce Coxeter graphs and Dynkin diagrams. As an application we sketch how to classify semisimple complex Lie algebras. At the end, we define the Bruhat order and we give some motivations for the forthcoming presentations.

8. Geometry of the flag variety. November 25, 2020. Filippo Ambrosio. University of Padova.
In this seminar we illustrate the geometry of the complete flag variety by means of the powerful structure theory of reductive
algebraic groups. We introduce the decomposition of the flag variety into Schubert cells and we define Schubert varieties. The latter yield a stratification of the flag variety into finitely many strata whose geometry can be nicely explained in combinatorial terms. These topics are the basic ideas of Schubert calculus, a branch of algebraic geometry introduced in the nineteenth century by Hermann Schubert, in order to solve problems of enumerative geometry.
 9. Introduction to the theory of representations (part I). December 2, 2020. Francesco Esposito. University of Padova.

10. Introduction to the theory of representations (part II). December 10, 2020. Francesco Esposito. University of Padova.
Abstract of the talks of Pr. Francesco Esposito:
The lecture is intended to be an introduction to the theory of representations of semisimple algebraic groups and of their Lie
algebras. The goal is to describe the classification of irreducible representations and their structure, by algebraic means by introducing the universal enveloping algebra and the theory of weights, and by geometric means by considering global sections of line bundles on the flag variety.
Algebraic Dmodules
 11. Introduction to the theory of algebraic Dmodules and holonomic Dmodules. December 9, 2020. Luisa Fiorot. University of Padova.
The aim of this talk is to give a basic introduction to the theory of algebraic Dmodules. We start with the definitions of differential operator, Dmodule (left and right), integrable connection (with examples). We introduce the notion of good filtration for a coherent Dmodule which leads us to the notion of characteristic variety and holonomicity. Holonomic Dmodules form an abelian category which permits us to develop the tool of six Grothendieck operations, but this theory has a price to pay, we need derived categories. After a pedestrian introduction to derived categories, we introduce some Grothendieck opeartions. In particular the duality functor for Dmodules, permits us to describe holonomic Dmodules as coherent Dmodules whose dual is holonomic too.

12. Kashiwara's equivalence. December 16, 2020. Andrés Sarrazola A. University of Padova.
In the first part of this presentation we will prove that holonomicity is preserved under inverse and direct image. To make the reasoning as clear as possible, we will work on the special case where X is the affine space, and therefore D_X is the Weyl algebra. In fact, we will see that a direct computation proves that holonomicity is preserved under the inverse images of a projection, and the direct image of a standard embedding. Then we will prove the Kashiwara's equivalence (Weyl algebra edition), and using a trick due to Grothendieck, we will generalize the preceding preservation for any polynomial map between two affine spaces.
In the second part, we will explain the general statement of the Kashiwara's equivalence.
* In the notes of the presentation, the interested reader can find the classification of the irreducible representations of the first Weyl algebra given by R.E Block in his article "The irreducible representations of the Lie algebra sl(2) and of the Weyl algebra". We use the language of minimal extensions to achieve this classification.

13. Twisted differential operators. January 13, 2021. Amy Yiyue Zhu. University of Cambridge.
Recall that every integral weight gives rise to a Gequivariant line bundle on the flag variety. To begin with, we will define a sheaf of differential operators acting on a line bundle and illustrate with an example in the SL_2 case. Then we will describe a
family of sheaves of twisted differential operators parametrized by general weights. The global sections are given by a central reduction of the universal enveloping algebra U(Lie(G)).

14. BeilinsonBernsteinKashiwaraBrylinski localization theorem. January 20, 2021. Andreas Bode. Ecole Normale Supérieure de Lyon.
The localization theorem establishes an equivalence between Lie algebra representations and (twisted) Dmodules on the flag variety. After identifying the key elements of the proof, I will discuss explicitly the example of sl_2. We also lift the localization theorem to the equivariant level (i.e., with compatible group actions). Using a holonomicity result for suitable K, we then classify irreducible Kequivariant Dmodules.
padic representations

15. Basic notions on nonarchimedian functional analysis. January 27, 2021. Francesco Baldassarri. University of Padova.
I will model this presentation on Schneider's "Nonarchimedean functional analysis" (Springer 2002).
Topics: Nonarchimedean fields. Example: C_p is not maximally complete.
Locally convex spaces: lattices vs. seminorms. Limits and colimits of locally convex spaces. Banach and Fréchet spaces.
Examples from 1variable padic analysis. Boundedness and completeness.
Topological tensor products and internal Hom's. Duality. Various notions of compactness. Spaces of compact type.
FréchetStein algebras. Examples: spaces of locally analytic functions and distributions on a padic locally analytic group.

16. Locally analytic manifolds and padic Lie groups. February 3, 2021. Nicolas Dupré. University of DuisburgEssen.
In this talk, we will define the notion of locally analytic functions and use this to define locally analytic manifolds and Lie
groups. We will then describe the topology on the space of locally analytic functions on a manifold and define the corresponding dual space of distributions, recalling the necessary concepts from functional analysis. Throughout we will illustrate these definitions with examples. Time permitting, we will also define locally analytic representations of padic Lie groups and give examples again.

17. Lazard's theorem and Amice theorem. February 10, 2021. Andrés Sarrazola A. University of Padova.
In the 1960s, Amice carried out a study of the representations of the space of Kvalued, locally analytic functions on Zp and achieved a complete description of its dual, the ring of Kvalued, locally Qpanalytic distributions on Zp (when K being a complete subfield of Cp). She established a topological isomorphism (by using the padic Fourier transform) between the ring of distributions and the space of holomorphic functions on a rigid analytic variety over K parameterizing Kvalued, locally analytic characters of Zp. This rigid variety is in fact the open unit disk. This description of the ring of distributions was complemented by Lazard, who introduced a theory of divisors on the open disk and proved that if K is spherically complete, then the classes of closed, finitely generated, and principal ideals in this ring coincide.
In the first part of this talk, we will review the work of Lazard and then we will prove Amice thorem. Time permmiting, we will discuss some ideas of ScheneiderTaitelbaum to generalize Amice theorem for the ring of integers of a finite extension L of Qp.

18. Iwasawa decomposition. February 17, 2021. Stefano Morra. Université de Paris SaintDenis.
In this talk we describe classical results of Iwahori and IwahoriMatsumoto on decompositions of the Kpoints of split reductive groups in terms of parahoric subgroups (Iwasawa, Iwahori, Cartan decompositions). We will follow the work of IwahoriMatsumoto (IHES, 1965), based on the theory of BruhatTits, with focus on the GLn case.
References
 Iwahori Nagayoshi, and Hideya Matsumoto. "On some Bruhat decomposition and the structure of the Hecke rings of padic Chevalley groups." Publications Mathématiques de l'Institut des Hautes Études Scientifiques 25.1 (1965): 548.
 Tits Jacques. "Reductive groups over local fields." Automorphic forms, representations and Lfunctions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part. Vol. 1. 1979.
 The interested reader may also check this notes.

19. FréchetStein algebras and coadmissible modules. February 24, 2021. Andrés Sarrazola A. University of Padova.
This talk is supposed to give an algebraic approach of the theory of locally analytic representations of a padic Lie group. As we have remarked in the previous talks, to make manageable this theory, it is necessary to identify a finiteness condition that include fundamental examples like principal series representations and algebraic representations, but restrictive enough to avoid pathologies. In this talk, we will introduce the notion of FréchetStein algebra and its associated category of coadmissible modules. These notions are the fundamental tools to present the finiteness condition of "admissibility" for locally analytic representations.

20. Admissible locally analytic representations. March 2, 2021. Thi Minh Phuong VU. University of Rennes 1.
Let G be a locally analytic padic group. As explained in the previous talk, by adding some topological conditions, we can study locally analytic representations via the study of (topological) modules on the algebra of distributions on G (due to the works of P. Schneider and J. Teitelbaum). In this talk, we aim to give an overview of a class of locally analytic representations which has finer property: admissible locally analytic representations and also look at some concrete examples. More precisely, we will see how the distribution algebra plays the role in the case of the additive group Z_p and how the principal series of GL_2(Q_p) are (topologically) irreducible under certain additional condition.
The main reference will be the paper of Schneilder and Teitelbaum: Locally analytic distributions and padic representation theory with applications to GL_2.

21. The BernsteinGelfandGelfand category O. March 9, 2021. Giovanna Carnovale. University of Padova.
Bernstein, I. Gelfand and S. Gelfand category O is a category of representations of a semisimple Lie algebra satisfying good finiteness conditions. It contains interesting modules, including finite dimensional simple ones. After giving the definition, we will describe some of its properties and its block decomposition. The treatment will be mainly based on Chapter 1 in: J. Humphreys, "Representations of Semisimple Lie Algebras in the BGG cateogry O".

22. On JordanHölder series of some locally analytic representations. March 16, 2021. Matthias Strauch. University of Indiana.
In this talk we will give a survey of joint work done with Sascha Orlik. We will introduce a functor F^G_P from the parabolic BernsteinGelfandGelfand category O^p (or rather a subcategory thereof), where p = Lie(P), to the category of locally analytic representations. Then we will
(1) show that those functors are exact,
(2) explain how F^G_P is related to F^G_Q when the standard parabolic subgroup Q contains P, and
(3) sketch the proof of the irreducibility of F^G_P(M) for certain modules M.

23. Jacquet functors. March 23, 2021. Gabriel Dospinescu. Ecole Normale Supérieure de Lyon.
I will give an overview of the construction and key properties of Emerton’s Jacquet functor, insisting on the analogy with the case of smooth representations of padic groups.

24. On some local properties of the functor F^G_P from Lie algebras to locally analytic representations. March 30, 2021. Sascha Orlik. University of Wuppertal.
In my talk I will discuss certain properties of the functors $\cF^G_P$ introduced by Matthias Strauch in his talk. We consider the aspects of faithfulness, projective (and injective) objects in certain categories and compute some Extgroups.
* Lecture notes for the talks 22 and 24.

25. From category \mathcal{O}^\infty to locally analytic representations. April 5, 2021. Shishir Agrawal. Colorado College.
Sascha Orlik and Matthias Strauch have constructed a functor that builds locally analytic representations out of objects in the BGG category O. In this talk, we'll describe how we can use padic logarithms to expand on this construction and build locally analytic representations out of objects in the larger category O^infty, ie, the extensionclosure of category O inside the category of all Lie algebra representations. This is based on joint work with Matthias Strauch.
Dmodules on smooth rigid analytic spaces
 26. Rigid analytic spaces. April 13, 2021. Francesco Baldassarri. University of Padova.
Affinoid spaces and admissible coverings. Tate's acyclicity theorem. Coherent sheaves and their cohomology. Formal models and admissible blowingups. Other viewpoints: Berkovich, Huber, Raynaud. Sheaves of topological structures and problems of quasicoherence.
 27. Kiehl's theorem and the GAGA functor. April 23,2021. Nicolas Dupré. University of DuisburgEssen.
In this talk we will first discuss the GAGA functor which associates to any scheme locally of finite type over a nonarchimedean field K a corresponding rigid analytic space. We will then discuss Kiehl's proper mapping theorem, which states that higher direct images along a proper morphism of coherent sheaves are coherent, and sketch its proof.
 28. Dcapmodules on rigid analytic spaces. May 3, 2021. Andreas Bode. Ecole Normale Supérieure de Lyon.
Let X be a smooth rigid analytic variety. We review ArdakovWadsley’s definition of the sheaf Dcap, a 'Frechet completion' of the sheaf of differential operators on X. We show that if X is affinoid, then Dcap(X) is a Frechet—Stein algebra. A suitable theory of localization then allows us to consider coadmissible Dcapmodules (locally given as localizations of coadmissible Dcap(U)modules). This category, which should be thought of as the rigid analytic analogue of coherent Dmodules, enjoys many of the good properties satisfied by coherent Omodules on rigid analytic spaces.
 29. Equivariant Dmodules on rigid analytic spaces, part I. May 4, 2021. Konstantin Ardakov. University of Oxford.
 30. Equivariant Dodules on rigid analytic spaces, part II. May 11, 2021. Konstantin Ardakov. University of Oxford.
Abstract of the first two lectures of Pr. Konstantin Ardakov:
The algebra \wideparen{D}_X on a smooth rigid analytic space X arises naturally as a rigid analytic quantisation of the cotangent bundle T*X on X. The category of coadmissible \wideparen{D}_Xmodules is an analogue of the category of coherent Dmodules on a smooth complex algebraic variety X which permits a BeilinsonBernsteinstyle localisation theorem for the cotangent bundle of the full rigid analytic flag variety X := (G/B)^{an} of a split semisimple algebraic group G: the coadmissible \wideparen{D}_Xmodules in this case are equivalent to coadmissible modules over the ArensMichael envelope \wideparen{U(g)_0} of an appropriate central reduction U(g)_0 of the enveloping algebra U(g) of the Lie algebra g of the algebraic group G. This ArensMichael envelope is, however, only a subquotient of the locally analytic distribution algebra D(G(F)) of the group G(F) if F is a finite field extension of \mathbb{Q}_p: in order to obtain a localisation theorem for the full central reduction D(G(F))_0 of G(F), it is necessary to introduce equivariance conditions. These talks will discuss these equivariance conditions, the definition of the category of coadmissible equivariant Dmodules \mathcal{C}_{X/G(F)} on a smooth rigid analytic variety X equipped with a continuous G(F)action, and the BeilinsonBernsteinstyle localisation theorem for admissible locally analytic G(F)representations.
 31. Kashiwara's equivalence, Bernstein inequality and weak holonomicity. May 18, 2021. Simon Wadsley. University of Cambridge.
Kashiwara's Theorem and Bernstein's inequality are foundational results in the classical theory of Dmodules that were discussed earlier in this series of talks, the latter leading to the central notion of holonomicity. In this talk we will review the statements of these results and how they may be adapted when studying coadmissible Dcap modules. We will also discuss the proofs in the Dcap setting. Finally we will present the tentative notion of weak holonomicity of Ardakov, Bode and the speaker; the definition mirrors one possible definition of the classical notion of holonomicity and shares some, but not all, of its pleasant properties. We will discuss the results that can, and cannot, be obtained in this setting. Fuller details of everything in this talk can be found in 'DCap II' by Ardakov and the speaker or 'DCap III' by Ardakov, Bode and the speaker.
 32. Induction equivalence for equivariant Dmodules on rigid analytic spaces. May 25, 2021. Konstantin Ardakov. University of Oxford.
We will study support conditions on coadmissible Gequivariant Dmodules. In the case where this support is the single Gorbit of a classical point x, it is possible to show that show that the equivariant Dmodule M in question is completely determined by fibre M(x) at x of the local cohomology sheaf of M at x. In fact, in this situation, M \mapsto M(x) is an equivalence of categories. This is a special case of the combination of an Induction Equivalence and an equivariant Kashiwara equivalence. When combined with the locally analytic BeilinsonBernstein localisation theorem, these results can be used to construct new examples of irreducible admissible locally analytic representations.
 33. Equivariant Dmodules on rigid analytic spaces and the BGG category O. June 1, 2021. Tobias Schmidt. University of Rennes 1.
Let G be a connected split reductive group over a padic field F. In this talk, we will give another application of equivariant Dmodules on rigidanalytic spaces to locally analytic G(F)representations. In particular, we will work on the rigidanalytic flag variety X of G. Let Y be a Zariskiclosed subset in X and let G(F)_Y be its stabilizer in G(F). The geometric induction functor, as introduced by Konstantin Ardakov in the previous lecture, allows to build G(F)equivariant D_X modules out of equivariant D_Xmodules for the „smaller“ group G(F)_Y. More precisely, it relates G(F)_Yequivariant D_Xmodules with support Y to G(F)equivariant D_Xmodules with support G(F)Y. If Y is a classical point, then this functor is even an equivalence of categories, but there are other interesting examples with dim(Y)>0, where this remains true. As an explicit example, we will look at a certain class of rigidanalytic Schubert varieties Y. Then G(F)_Y will be a parabolic subgroup P(F) of G(F). We will explain how the locally analytic BeilisonBernstein localisation theorem relates geometric induction to the functor F_{P(F)}^{G(F)} constructed by Orlik and Strauch and discussed in some earlier lectures. This allows to reprove geometrically (and extend to nonsplit groups) some of the irreducibility results for G(F)representations, as established by Orlik and Strauch. This is work in progress with Konstantin Ardakov.
 34. Weak holonomicity for equivariant Dmodules on rigid analytic spaces. June 15, 2021. Andrés Sarrazola A. University of Padova.
The objective of this talk is to review the results obtained by Mihn Phuong Vu in her PhD thesis. More exactly, we aim to extend the dimension theory introduced by ArdakovBodeWadsley for coadmissible Dcapmodules to the category of coadmissible equivariant Dmodules, introduced by K. Ardakov.
For technical reasons (which we will explain in the talk), we will restrict our attention to the rigid analytic flag variety, and we will sketch how to prove the socalled Bernstein inequality. As in the classical case, this allows to define a full subcategory of the category of coadmissible equivariant Dmodules, whose objects are moreover weakly holonomic.
The final part of the this talk is devoted to use the previous lectures to give some examples arising from the BGG category O.