告知标题：Vinberg's problem for classical Lie algebras
课程名称：李代数及其代表主 讲 人：Futorny 助教邀 请 人：景乃桓 教师授课布置：
报 告 人：亚太行山大-莫列夫 教师
by Alexander Grothendieck
My works in functional analysis (from 1949 to 1953) have been, essentially, about the theory of topological vector spaces. Among the numerous notions introduced (topological tensor products and nuclear applications [G1], Fredholm applications [G5], integral applications and its different variants ([G1], [G4]), applications of summable pth power, nuclear spaces, (DF)-spaces [G3]), the notion of nuclear space had the best fate and it has been the object of numerous seminars and publications. In particular, a volume of the treatise of I. Gelfand about the “Generalized Functions” [GV] is consecrated to nuclear spaces. One of the reasons of this success derives, without doubt, from probability theory, since, among all the topological vector spaces, in the nuclear spaces measure theory assumes its simplest form (Minlos theorem).
The results of [G4], the deepest, seem not having been assimilated by the further developments, but they seem a source of inspiration in some very recent and delicate works about the inequalities related to Banach spaces theory, such as the works of Pelczynsky.
We remember the very fine results of [G4] and [G6] about the properties of decreasing of the suites of proper values of certain operators in Hilbert spaces and in general Banach spaces.
HOMOLOGICAL ALGEBRA ([G7], [G8], [G9], [G13])
After 1955, in the role of the “usager” and not in the role of the specialist, I have been conducted to continually enlarge and improve the language of homological algebra, because of the needs of algebraic geometry (duality theory, theories of Riemann-Roch type, ℓ-adic cohomology, cohomology of De Rham type, crystalline cohomology).
We had two principal directions for these reflections:
a) the development of a non-commutative homological algebra (systematized in the thesis of Jean Giraud [Gi2]);
邀 请 人：景乃桓 教授
b) theory of derived categories, developed systematically by J.-L. Verdier [V], and exposed by R. Hartshorne [RD], L. Illusie [I] and in [SGA 4, Exp. XVIII].
These two currents of reflections are far from being completed and, without doubt, they are called to be unified to homotopical algebra (cf. the work of Quillen [Q] for a preliminary sketch), and to the theory of n-categories, particularly useful in the geometric interpretation of cohomological invariants ([Gi2] and [R]).
My early work on symmetric spaces concerned some algebraic results about their structure. This included a classification of the real symmetric spaces and their fine structure . While I was finishing my thesis I realized that the bulk of the work on the real symmetric spaces and their representations had been accomplished. I decided to commence a study of the representations associated to symmetric spaces over other base fields. Following Harish Chandras example in the groups case, a study of p-adic symmetric spaces and their representations seemed to me the most natural next case. However at that time almost nothing was known about these p-adic symmetric spaces and their structure. This made it especially difficult to study their representations, since most problems in representation theory ultimately rest on questions about the structure and geometry of the underlying spaces. It seemed to me that understanding the structure and geometry of symmetric varieties over non algebraically closed fields would be a necessary first step to studying the representations associated with these p-adic symmetric spaces.
a) Foundational works. The problem was to find a frame enough great to have a common fundament for algebraic geometry (developed by A. Weil, O. Zariski, C. Chevalley and J. - P. Serre over a general base field) and arithmetic. This is realized in EGA I, II, and some parts of EGA III and IV, with the introduction and the study of the notion of “scheme”. Some generalizations have been developed: the formal schemes (EGA I, par. 10); the theory of algebraic spaces of Michael Artin [K]; the “algebraic stacks” or “algebraic multiplicities” of Deligne and Mumford [DM]; the “relative schemes” [H] (expecting the “formal multiplicities” and the “relative algebraic varieties” over general ringed topos etc.). These generalizations show us the conceptual importance, in the language of scheme, of the notion of localization, i.e. the notion “topos” (cf. par. 7). The foundations developed in [EGA] and [SGA] are, today, the “pain quotidien” of the mostly part of algebraic geometers and their importance has been stressed by many mathematicians: O. Zariski, J.-P. Serre, D. Mumford, Y. Manin, H. Hironaka, F. Chafarevich.
Historically, advances in representation theory were only obtained after enough was known about the structure and geometry of the underlying spaces. A good example of this is the study of representations related to real symmetric spaces. The structure of the Riemannian symmetric spaces (a subset of the semisimple symmetric spaces) is relatively simple and a Plancherel formula for these symmetric spaces was given by Harish Chandra in the mid 50's. The structure of the general semisimple symmetric spaces is a lot more complicated and consequently no results about their representations were obtained until the late 70's, early 80's, when a number of results about the structure and geometry of these symmetric spaces were published. Soon after that many results about the representations associated to these semisimple symmetric spaces followed.
b) Local theory of schemes and morphisms of schemes. In this context we have the developments of commutative algebra (cf. par. 4) and the detailed study of notions as “lisse” morphisms, étale morphisms, net morphisms, plat morphisms etc. The four volumes of [EGA, Chapter IV] are consecrated to these developments, which inspired analogue developments in the theory of analytic spaces and rigid-analytic spaces.
告诉摘要：The symmetric algebra S of a Lie algebra g is equipped with the Poisson-Lie bracket.A family of Poisson commutative subalgebras can be produced by "shifting the arguments"of g-invariants of S. Vinberg's problem stated in 1988 concerns the existence of commutative subalgebras of the universal enveloping algebra U which would "quantise" these subalgebras of S.When the Lie algebra g is simple, a general solution of Vinberg's problem is provided by the vertex algebra theory. This leads to an explicit quantisation of the shift-of-argument subalgebras in the classical types via the symmetrisation map.
With this in mind I started working on the structure of symmetric spaces over non algebraically closed base fields with the aim of eventually studying the representations of p-adic symmetric spaces. This study of the structure has led me to a number of algebraic and combinatorial results, including a generalization of the fundamental work of Borel and Tits on ``reductive groups'' to symmetric spaces . Most of these results actually hold for arbitrary base fields. I also gave a partial classification of the p-adic symmetric spaces and proved a number of properties about the related maximal k-split tori (see [4,15,18]). A number of other results are given in [3,5,6,7,8,14,16,17,23,24]. A discussion of my current work on the structure of p-adic symmetric spaces is in the symmetric spaces section.
c) Construction of schemes. Among the techniques developed and by some unpublished seminars [FGA], we developed a descente theory [SGA 1, Exp. V and VI], a theory of quotient schemes, Hilbert schemes and Picard schemes, and a theory of formal moduli. We obtained an existence theorem of sheaves of algebraic moduli associated to formal moduli [EGA III, par. 5]. The new point of view is, essentially, the construction of a scheme starting by a functor that represents it. In this approach, I didn’t reach a flexible characterization of representable functors by a relative scheme (locally of finite type over a Noetherian scheme). Michael Artin resolved definitely this problem, substituting the notion of scheme with the more general and more stable notion of “algebraic space” [K]. Among other researches in this direction, inspired by my papers, we have the work of J. Murre about Picard Schemes over a field [Mu] , the work of D. Mumford and M. Raynaud about Picard schemes over general bases [Ra], and finally the work of Mumford and Seshadri about the passage to quotient.
About two and a half years ago I finally moved on to the representation theory. This has led so far to a few encouraging results about the multiplicities in the Plancherel decomposition of the Hilbert space L2 of square integrable functions on the p-adic symmetric space Gk /Hk. (see [21,23]). Besides myself there is a growing number of mathematicians working on the representation theory of these symmetric spaces over local fields. They include Jacquet, Rallis, Lai and several others. I anticipate that this area will prove a fertile ground for many interesting representation theoretical problems. See the representation theory page for more detail.
d) Fundamental Group. ([SGA 1], [SGA 2], [SGA 7, Exp 1 e 2], [FGA, n. 182], [G17]). From an algebraic-geometric point of view, after the definition of fundamental group of a general variety, everything had to be done: from descent theorems (including some formal theorems à la Van Kampen) until the calculus of fundamental group in the first not-trivial case (an algebraic curve without some points). We add the theorem of degeneration and finite presentation of fundamental group of an algebraic variety over a algebraically closed field. These results are in [SGA 1], obtained using some classical results over the complex field (obtained through transcendent methods) and a panoply of tools created for our aims (descente theory, étale morphisms, existence theorems for coherent sheaves). Other more special results are: theorems of Lefschetz type [SGA 2]; action of local monodromy groups over the fundamental group of a fiber [SGA 7, Exp. I]; calculus of some local fundamental groups [G17], via the fundamental groups of some formal schemes. These results have been used in many works and were the inspiration for the thesis of M. me Raynaud [R].
I have always been very interested in questions about invariant theory and geometry of symmetric spaces. In recent years I have studied some problems in these areas as well (see [20,22,24,28,29]) and they now form an active part of my current research. See the invariant theory page for more detail. Another aspect of these symmetric spaces which interests me concerns computational questions related to these symmetric varieties. As with Lie groups, a lot of the structure of the symmetric spaces can be described combinatorially and the corresponding computations could potentionally be done by a computer. To build such a symbolic manipulation package one needs first an algorithm which describes this structure and which can be implemented on a computer. In  I gave the first algorithms for computations related to symmetric varieties. In  I extended this algorithm to include real symmetric spaces as well. Recently, jointly with my students and coworkers, we gave several additional algorithms (see [31,33,34]). I I hope to implement these algorithms and develop such a computer algebra package over the next few years.
e) Local and global Lefschetz theorems for the Picard groups, for the fundamental group, for the coherent and étale cohomology. We have obtained a comparison between the invariants (cohomological and homotopical) of an algebraic variety and of a hyperplane section. The starting ideas are in [SGA 2]; the definitive theorems (in terms of necessary and sufficient conditions) are in the thesis of M.me Raynaud [R].
Besides the study of symmetric k-varieties and their applications, I have been active in a few other areas as well.
f) Intersection theory and Riemann-Roch theorem (for general schemes). The principal new idea is that there is almost an identity between the Chow group of classes of cycles over a variety X and a certain group of “classes of coherent sheaves” (modulo torsion), that is K(X). In a modest context this is exposed in [G10] and [G11]. In a more ambitious context it is exposed in [SGA 6]. In the same spirit cf. [SC]. Since then, the idea of reformulating a theorem of a variety (due to F. Hirzebruch) in a more general theorem about a morphism between varieties had a great success and not only in algebraic geometry but also in algebraic topology and differential topology (starting from the “Riemann-Roch differential formula” developed by M. F. Atiyah and F. Hirzebruch [AH], under the inspiration of my relative formulation of Riemann-Roch theorem [G10]).
g) Abelian schemes. In classical terms, these are the families of abelian varieties, parametrized by some scheme. The most important theorems are the “theorem of semi-stable reduction” [SGA 7, exp. IX] and its consequences and variants; the theorem of existence of morphisms of abelian schemes in [G12] and its variants (generalized by Deligne in a theorem about the cohomology of Hodge-De Rham relative of a family of non-singular complex projective varieties); and a theory of infinitesimal deformations of abelian schemes (unpublished over a general base) in terms of deformation of a Hodge filtration over the cohomology group H1 relative of De Rham (seen as a crystalline cohomology).
h) Monodromy groups. My principal contributions are contained in the first volume of [SGA 7] about the fundamental properties of the action of local monodromy group over the cohomology, as over the fundamental group of a fiber. The principal application is the semi-stable reduction theorem of abelian schemes.
A. Borel and J. Tits, Groupes reductifs, Inst. Hautes Etudes Sci. Publ. Math. 27 , 55-152.
F. Bruhat and J. Tits, Groupes reductifs sur un corps local, Inst. Hautes Etudes Sci. Publ. Math. 41 , 5-252.
A. G. Helminck, Algebraic groups with a commuting pair of involutions and semisimple symmetric spaces, Adv. in Math. 71 , 21-91.
A. G. Helminck, Tori Invariant under an Involutorial Automorphism I, Adv. in Math. 85 , 1-38.
A. G. Helminck, On the orbits of affine symmetric spaces under the action of a parabolic subgroup, Contemporary Math. 88 , 435-447.
A. G. Helminck, On groups with a Cartan involution, Proceedings of the Hyderabad conference on Algebraic Groups (Hyderabad, India), National Board for Higher Mathematics, 1992, pp. 151-192.
A. G. Helminck and S. P. Wang, On rationality properties of involutions of reductive groups, Adv. in Math. 99 , 26-96.
A. G. Helminck, Symmetric k-varieties, Algebraic Groups and Their Generalizations: Classical Methods (Providence, RI), vol. 56, Proc. Sympos. Pure Math. no. Part 1, Amer. Math. Soc, 1994, pp. 233-279.
A. G. Helminck and G.F. Helminck, Holomorphic line bundles on Hilbert flag varieties, Algebraic Groups and Their Generalizations: Quantum and Infinite-Dimensional Methods (Providence, RI), vol. 56, Proc. Sympos. Pure Math., no. Part 2, Amer. Math. Soc, 1994, pp. 349-375.
A. G. Helminck and G.F. Helminck, The structure of Hilbert Flag Varieties, Publ. Res. Inst. Math. Sci., Kyoto Univ. 30 , 401-442.
A. G. Helminck, Computing B-orbits on G/H, J. Symb. Comp. Vol. 21, 169-209.
A. G. Helminck and G.F. Helminck, Infinite dimensional flag manifolds in integrable systems, Acta Appl. Math. 41 , 99-121.
A. G. Helminck, Computing orbits of minimal parabolic k-subgroups acting on symmetric k-varieties. J. Symb. Comp. To appear.
A. G. Helminck and G.F. Helminck, A class of parabolic k-subgroups associated with symmetric k-varieties. Trans. Amer. Math. Soc. 350, , 4669-4691.
A. G. Helminck, Tori Invariant under an Involutorial Automorphism II, Adv. in Math. 131, no. 1, , 1-92.
A. G. Helminck, J. Hilgert, A. Neumann and G. Olafsson, A Conjugacy Theorem for Symmetric Spaces, Mathematische Annalen, 313, , 785-791.
A. G. Helminck, On the conjugacy of Cartan subspaces. To appear.
A. G. Helminck, Tori Invariant under an Involutorial Automorphism III, Real groups. , under revision.
A. G. Helminck, On the classification of k-involutions, Adv. in Math. 153, no. 1, , 1-117.
A. G. Helminck and G. Schwarz, Orbits and invariants associated with commuting involutions. Duke Math. Journal, Vol. 106 , No.2, 237-280.
A. G. Helminck and G.F. Helminck, Multiplicities for representations related to p-adic symmetric varieties, To appear.
A. G. Helminck and Michel Brion, On orbit closures of symmetric subgroups in flag varieties. Can. Journal Math., Vol 52 , , pp. 265-292.
A. G. Helminck and G.F. Helminck, Hk-fixed distributionvectors for representations related to p-adic symmetric varieties, In preparation.
A. G. Helminck, Combinatorics related to orbit closures of symmetric subgroups in flag varieties. Invariant theory in all characteristics, CRM Proc. Lecture Notes, 35, Amer. Math. Soc., , 71-90.
A. G. Helminck and G.F. Helminck, Hilbert Flag Varieties and their Kahler structure, J. Physics A., 35 , no. 40, 8531-8550.
A. G. Helminck and G.F. Helminck, Spherical distribution vectors, Acta Appl. Math., 73 , no. 1-2, 39-57.
A. G. Helminck and G.F. Helminck, Multiplicity one for representations corresponding to spherical distribution vectors of class r, , Acta Appl. Math., To Appear.
A. G. Helminck and G. Schwarz, Orbits and invariants associated with a pair of spherical varieties, Acta Appl. Math., 73 , no. 1-2, 103-113.
A. G. Helminck and G. Schwarz, Smoothness of quotients associated with a pair of commuting involutions, Can. Journal Math., , To Appear.
A. G. Helminck and L. Wu, Classification of involutions of SL, Comm. in Algebra, 30 , no. 1, 193--203.
A. G. Helminck and J. Fowler, Algorithms for computations in local symmetric spaces, , To Appear.
A. G. Helminck, C. Dometrius and L. Wu, Classification of involutions of SL, , To Appear.
A. G. Helminck and R. Haas, Computing admissible sequences for twisted involutions in Weyl groups, To Appear.
A. G. Helminck and R. Haas, Twisted involutions and other computations for Weyl groups: algorithms and data structures, , To Appear.
A. G. Helminck and Carla Savage, Hamiltonian cycles in Cayley graphs. In preparation.
A. G. Helminck and A.M. Cohen, Trilinear alternating forms on a vector space of dimension 7. Comm. in Algebra, 16 , 1-25.
b) Commutative algebra. In the language of schemes, commutative algebra can be considered essentially the local study of schemes. Chapter IV of [EGA]contains numerous new results of commutative algebra, especially the notion of “excellent ring” and its properties of permanence (whose absence was the most evident lacuna in the work of M. Nagata on local rings).
a) Algebraic Groups ([SGA 3], [SC]) This subject is a mix of algebraic geometry and group theory. [SGA 3] deals with general schemes and the algebraic geometry part is considerably larger of group theory. However, through scheme theory, we have obtained some new results, even in the case of groups defined over a base field, the most interesting being contained in [SGA 3, Exp. XIV]. My principal contribution, developing the works of Borel and Chevalley in the context of classical algebraic geometry, has been the systematic application of scheme theory to algebraic groups and to group-schemes
b) Lie Algebras. As sub-product of my researches about the algebraic groups in characteristic p > 0, I have found some delicate results about sub-algebras of Borel and Cartan of some Lie algebras, especially on imperfect base-fields [SGA 6, Exp. XIII and Exp. XIV]
c) Brauer Group. My contributions derive, essentially, by application of étale cohomology to the theory of Brauer groups.[CS, Le Groupe de Brauer I-II-III]
d) Discrete Groups. In [CS, Exp VIII], I developed a purely algebraic theory of Chern classes of representations of a discrete group over a general base field (or even a base ring), with some applications of arithmetic nature about the order of Chern classes of complex representations. This theory can be considered as a particular case of a theory of Chern classes of linear representations of general group-schemes, and more generally of a theory of ℓ-adic Chern classes of vector fibred over a general ringed topos. In [G14] I have established, up some things, that for a discrete group G, the theory of linear representations of G (over a general base ring) depends only by the profinite completion of G.
e) Formal Groups ([SGA 7], [G12], [G15], [G16]). This topic is a mix of group theory, Lie groups, algebraic geometry, arithmetic and (in a form very similar to Barsotti – Tate groups) local systems theory. Scheme theory gives a great simplification in this area, as we find in the classic exposition of Manin of Dieudonné theory [M1]. My principal contribution, together with this conceptual simplification, has been the development of a Dieudonné theory for Barsotti – Tate groups over general base schemes with residual characteristic p > 0, in terms of “Dieudonné crystals” associated to such groups. A sketch of this theory has been exposed at the ICM of Nice [G15] and in Montreal during the summer of 1970 [G16], and during my courses at the College de France in 1970/71 and 1971/72. A part of these ideas have been developed in the thesis of Messing [Me], and the technical needs of this theory have been the origin of the development of the theory of deformation of commutative group-schemes of Illusie [I], where he proved some conjectures suggested by the “crystalline Dieudonné theory”. The relations between abelian schemes and Barsotti –Tate groups have been explored in [SGA 7, exp IX] and [G12].
学科简要介绍：The goal of this course is to give an introduction to the epresentation theory ofLie algebras: simple finite dimensional Lie algebras, Affine Kac-Moody algebras, hyperelliptic Lie algebras and Lie algebras of vector 田野同志s. We start with the theory of Weyl algebras, Heisenberg algebras and their representations, subalgebras of invariant differential operators.We proceed with the classification of simple finite dimensional complex Lie algebras and their highest weight representations. Next we discuss Affine Kac-Moody algebras and related vertex construction of the basic module. We will consider the classification of Borel subalgebras and theory of induced modules.Next we focus on classical and new results on the epresentations of Lie algebras of vector 田野(fieldState of Qatars, in particular in the case of the torus of any dimension. Finally, we will discuss hyperelliptic Lie algebras and their applications.数学高校二〇一八年11月十日
d) Complex-analytic De Rham theorems ([G19]) and complex crystalline cohomology. Some results and some ideas, developed about this subject by myself, have been developed in many theoretical developments, such as the generalization of Hodge theory by P. Deligne. [Dl].
e) Rigid analytic spaces. Taking inspiration by the example of “Tate elliptic curve” and by the needs of formal geometry over a complete ring of discrete valuation, I arrived to the partial formulation of notion of “rigid-analytic variety” over a field of complete valuation, which played its role in the first systematic study of this topic by J. Tate. The “crystals” introduced on algebraic varieties defined over a field of characteristic p > 0 can be interpreted in some cases in terms of vector fibred with integrable connection over some types of rigid analytic spaces over a field of characteristic 0. This seems to indicate the existence of deep relations between crystalline cohomology in characteristic p > 0 and cohomology of local systems over rigid analytic varieties in characteristic 0.
TOPOLOGY ([SGA4], [G8])
Until now, it is, above all, the K-invariants of topological spaces that I introduced during my researches about the Riemann-Roch theorem in algebraic geometry, that has known the most brilliant success; the K- invariants have been the starting point of many researches in homotopical topology and differential topology.
The numerous constructions that I have introduced in my algebraic proof of Riemann-Roch (such as the operations λi and their links with the operations of symmetric group) have become current practice – not only in algebraic geometry and algebra, but also in topology and number theory (cf. the works of M. Atiyah, H. Bass, D. Quillen, J. Milnor, J. Tate, M. Karoubi, Shi, etc…).
Even more fundamental is the enlargement of general topology, in the spirit of sheaf theory (developed initially by Jean Leray) contained in the point of view of topos theory [SGA4]. I have introduced the topos since 1958, guided by the need to define a ℓ-adic cohomology of algebraic varieties (and more generally of schemes), which is the tool for the cohomological interpretation of the celebrated Weil conjectures.
Effectively, the traditional notion of topological space is insufficient to treat the case of algebraic varieties over fields different by the complex field. The topology proposed by Zariski doesn’t give us reasonable “discrete” cohomological invariants. Today the point of view of topos and the corresponding notion of “localization” are part of the daily practice of algebraic geometers and begins to enter in the theory of categories and mathematical logic (with the proof of B. Lawvere [L] of the theorem of Cohen about the independence of the continuum axiom, using a suitable adaptation of notion of topos).
It doesn’t happen the same in topology and differential and analytic geometry, though some first steps in this direction (such as the attempt of the proof by Sullivan of of the Adams conjecture in K-theory, by reduction to a property of Frobenius operation over algebraic varieties in characteristic p >0).
a) COHERENT COHOMOLOGY. We obtained finiteness theorems; comparison theorems with the formal cohomology [EGA III], duality theorems and theorems about residues [RD].
b) ℓ-ADIC COHOMOLOGY. In [SGA4] we defined the étale cohomology, obtaining comparison theorems, finiteness theorems, theorems about the cohomological dimension, the weak Lefschetz theorem. In [SGA5] we obtained duality theorems, the Lefschetz formulas, the formulas of Euler-Poincare, and application of étale cohomology to L-functions [SGA 5].
c) DE RHAM COHOMOLOGY ([G19], [G20])
d) CRYSTALLINE COHOMOLOGY. Some ideas are exposed in [CS, Crystals and the De Rham Cohomology of Schemes], then reprised and systematized in the thesis of Pierre Berthelot [B], and in the work of Luc Illusie and Pierre Berthelot about the crystalline Chern classes [BI].
[G1] Produits Tensoriels Topologiques et Espaces Nucléaires, Mem. of
AMS 16 (1955)
[G2] Résumé de la Théorie Métrique des Produits Tensoriels Topologiques et Espaces Nucléaires, Annales de l’Institut Fourier 4 (1952), 73 – 112
[G3] Sur les espaces (F) et (DF), Summa Math. Brasil. 3 (1954), 57 – 123
[G4] Résumé de la Théorie Métrique des Produits Tensoriels Topologiques, Bull. Sao Paulo 8 (1954), 1 – 79
[G5] La Théorie de Fredholm, Bull SMF 84 (1956), 319 – 384
[G6] The Trace of Certain Operators, Studia Mathematica 20 (1961), 141 –143
[G7] A General Theory of Fiber Spaces with Structure Sheaf, Preprint (1955)
[G8] Théorèmes de Finitude pour la Cohomologie des Faisceaux, Bull. SMF 84 (1956), 1 – 7
[G9] Sur Quelques Points d’Algèbre Homologique, Tôhoku Math. Journal 9 (1957), 119 – 221
[G10] A. BOREL – J.P. SERRE, Le Théorème de Riemann-Roch (d’après Grothendieck), Bull. SMF 88 (1958), 97 – 136
[G11] La Théorie des Classes de Chern, Bull SMF 88 (1958), 137 – 154
[G12] Un théorème sur les Homomorphismes des Schémas Abéliens, Inv. Math 2 (1966), 59 – 78
[G13] Catégories Cofibrées Additives et Complexe Cotangent Relatif, Springer LNM 79 (1968)
[G14] Représentations Linéaires et Compactification Profinie des Groupes Discrets, Manuscripta Math. 2 (1970), 375 – 396
[G15] Groupes de Barsotti-Tate et Cristaux, Actes of ICM Nice (1970), Tome 1, 431 – 436
[G16] Groupes de Barsotti-Tate et Cristaux de Dieudonné, Les Presses de l'Université de Montréal (1974)
[G17] (WITH J. MURRE), The Tame Fundamental Group…, Springer LNM 208 (1971)
[G18] Sur la Classification des Fibres Holomorphes sur la Sphère de Riemann, Amer. J. Math. 79 (1957), 121 – 138
[G19] On the De Rham Cohomology of Algebraic Varieties, Publ. Math. IHES 29 (1966), 95 – 103
[G20] Hodge’s General Conjecture is False for Trivial Reasons, Topology 8 (1968), 299 – 303
[G21] Standard Conjectures on Algebraic Cycles, Bombay Colloquium (1968)
[SC] Seminar Chevalley 1958, Exp. 4 and Exp. 5.
[SHC] Seminar Henri Cartan 13 (1960/61), from Exp. 7 to Exp. 17.
[FGA] A. GROTHENDIECK, Fondements de la Géométrie Algébrique, Secrétariat Mathématique Institut Henri Poincaré .
[EGA] A. GROTHENDIECK – J. DIEUDONNE, Eléments de Géométrie Algébrique, Publ. Math. de l’IHES (1960 – 1967)
[SGA] A. GROTHENDIECK AND COLLABORATORS, Séminaires de Géométrie
Algébrique du Bois-Marie (1960 – 1969)
SGA 1 – Revêtements Etales et Groupe Fondamental (1960/61), Springer-Verlag (1970)
SGA 2 – Cohomologie locale et Théorèmes de Lefschetz Locaux et Globaux (1962), North-Holland (1968)
SGA 3 – Schémas en Groupes (1962/64), Springer-Verlag (1970)
SGA 4 – Théorie des Topos et Cohomologie Etale des Schémas (1963/64), Springer-Verlag (1972/73)
SGA 5 – Cohomologie ℓ-adique et Fonctions L (1965/66), Springer-Verlag (1977)
SGA 6 – Théorie des Intersections et Théorème de Riemann-Roch (1966/67), Springer-Verlag (1971)
SGA 7 – Groupes de Monodromie en Géométrie Algébrique (1967/69), Springer-Verlag (1972/73)
[CS] Dix Exposes sur la Cohomologie des Schémas, North-Holland (1968)
WORKS INSPIRED BY GROTHENDIECK
[AH] M. ATIYAH – F. HIRZERBRUCH, Riemann-Roch Theorem for Differentiable Manifolds, Bull. AMS 65 (1959), 276 – 281
[B] P. BERTHELOT, Cohomologie Cristalline des Schémas de Caractéristique p > 0, Springer LNM 407 (1974)
[BI] P. BERTHELOT – L.ILLUSIE, Classes de Chern en Cohomologie
Cristalline, C.R. Acad. Sci. Paris 270, 1695 – 1697 ; 1750 – 1752.
[D] A. DOUADY, Le Probleme des Modules pour les Sous-Espaces Analytiques Compact d’un Espace Analytique Donné, Ann. Inst. Fourier 16 (1966), 1 – 95
[De] M. DEMAZURE, Motifs de Variétés Algébriques, Sem. Bourbaki 365
[Dl] P. DELIGNE, Théorie de Hodge I (Proceedings of the ICM, Nice 1970) ; II (Publ. Math. IHES 40 (1971), 5 – 57) ; III (Publ. Math. IHES 44 (1974), 5 – 77)
[DM] P. DELIGNE – D. MUMFORD, The Irreducibility of the Space of Curves of Given Genus, Publ. IHES 39 (1969), 75 – 109
[FK] O. FORSTER-K. KNORR, Relativ Analytische Raume und die Kaharenz von Bildgarben, Inv. Math 16 (1972), 113 – 160
[Gi1] J. GIRAUD, Méthode de la Descente, Mem. de la SMF 2 (1964), 1 – 150
[Gi2] J. GIRAUD, Cohomologie non Abélienne, Grundlehren Math. Wiss. 179 Springer–Verlag (1972)
[GV] I. GELFAND – N. VILENKIN, Les Distributions (Tome 4), DUNOD
[H] M. HAKIM, Topos Annelés et Schémas Relatifs, Ergebnisse Math. Gr. 64, Springer–Verlag (1972)
[I] L. ILLUSIE, Complexe Cotangent et Déformations I – II, Springer LNM 239 et 283 (1971)
[K] D. KNUTSON, Algebraic Spaces, Springer LNM 203 (1971)
[Ki] R. KIEHL, Relativ Analytische Raume, Inv, Math. 16 (1972), 40 – 112
[L] F. LAWVERE, Toposes, Algebraic Geometry and Logic, Springer LNM 274 (1972)
[M1] YURI MANIN, Théorie des Groupes Formels Commutatifs sur des Corps de Caractéristique Finie, Uspekhi Mat. Nauk 18 (1963), 3 – 90
[M2] YURI MANIN, Correspondances, Motifs et Transformations Monoidales, Mat. Sbornik 77 (1968), 475 – 507
[Me] W. MESSING, Crystals Associated to Barsotti-Tate Groups (With applications to Abelian Schemes), Springer LNM 264 (1972)
[Mu] J. MURRE, On Contravariant Functors from Category of Preschemes over a Field into the Category of Abelian Groups, Publ. Math. IHES 23 (1964), 5 – 43
[Q] D. QUILLEN, Homotopical Algebra, Springer LNM 43 (1967)
[R] M.ME RAYNAUD, Théorèmes de Lefschetz en Cohomologie Cohérente et en Cohomologie Etale, Mem. de la SMF. 41 (1976)
[RR] J.-P. RAMIS – G. RUGET, Complexe Dualisant et Théorèmes de
Dualité in Géométrie Analytique Complexe, Publ. Math. IHES 38 (1970), 77
[RRV] J.P. RAMIS – G. RUGET – J.L. VERDIER, Dualité Relative en Géométrie Analytique Complexe, Inv. Math. 13 (1971), 261 – 283
[Ra] M. RAYNAUD, Spécialisation du Foncteur de Picard, Publ. IHES 38 (1970), 27 – 76
[RD] R. HARTSHORNE, Residues and Duality, Springer LNM 20 (1966)
[T] G. TRAUTMAN, Abgeschlossenheit von Corandmoduln und
Fortsetzbarkeiy Koharenter Analytischer Garben, Inv. Math. 5, 216 –
[V] J.-L. VERDIER, Des Catégories Dérivées des Catégories Abéliennes, SMF Astérisque 239 (1996)