Cohomologie des faisceauxLes groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines. Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines : où est une résolution injective du faisceau , et désigne le groupe abélien des sections globales de . A unique isomorphisme canonique près, ces groupes ne dépendent pas de la résolution injective choisie. Le zéroième groupe est canoniquement isomorphe à .
Coherent sheafIn mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an , and so they are closed under operations such as taking , , and cokernels.
Fonction de plusieurs variables complexesLa théorie des fonctions de plusieurs variables complexes est une branche des mathématiques traitant des fonctions à variables complexes. On définit de cette manière une fonction de Cn dans C, dont on peut noter les variables . L'analyse complexe correspond au cas . H. Cartan: Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexes. Hermann, Paris, 1961. C. Laurent-Thiébaut : Théorie des fonctions holomorphes de plusieurs variables. EDP Sciences, 1997. V.S.
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Coherent sheaf cohomologyIn mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaf cohomology is a technique for producing functions with specified properties. Many geometric questions can be formulated as questions about the existence of sections of line bundles or of more general coherent sheaves; such sections can be viewed as generalized functions. Cohomology provides computable tools for producing sections, or explaining why they do not exist. It also provides invariants to distinguish one algebraic variety from another.
Adams spectral sequenceIn mathematics, the Adams spectral sequence is a spectral sequence introduced by which computes the stable homotopy groups of topological spaces. Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a reformulation using homological algebra, and an extension, of a technique called 'killing homotopy groups' applied by the French school of Henri Cartan and Jean-Pierre Serre. For everything below, once and for all, we fix a prime p.
Nicolas BourbakiNicolas Bourbaki est un mathématicien imaginaire, sous le nom duquel un groupe de mathématiciens francophones, formé en 1935 à Besse (aujourd'hui Besse-et-Saint-Anastaise) en Auvergne sous l'impulsion d'André Weil, a commencé à écrire et à éditer des textes mathématiques à la fin des . L'objectif premier était la rédaction d'un traité d'analyse. Le groupe s'est constitué en association, lAssociation des collaborateurs de Nicolas Bourbaki, le . Sa composition a évolué avec un renouvellement constant de générations.
Foncteur ExtLes foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques. Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom. Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules.
Jean-Pierre SerreJean-Pierre Serre, né le à Bages (Pyrénées-Orientales), est un mathématicien français, considéré comme l’un des plus grands mathématiciens du . Il reçoit de nombreuses récompenses pour ses recherches, et est en particulier lauréat de la médaille Fields en 1954, du prix Balzan en 1985, de la médaille d'or du CNRS en 1987, du prix Wolf de mathématiques en 2000, et le premier lauréat du prix Abel en 2003. Jean-Pierre Serre est né en 1926 à Bages (Pyrénées-Orientales) d'Adèle et Jean Serre, pharmaciens, et passe son enfance à Vauvert où ils sont installés.
André WeilAndré Weil, né le à Paris et mort à Princeton (New Jersey, États-Unis) le , est une des grandes figures parmi les mathématiciens du . Connu pour son travail fondamental en théorie des nombres et en géométrie algébrique, il est un des membres fondateurs du groupe Bourbaki. Il est le frère de la philosophe Simone Weil et père de l'écrivaine Sylvie Weil. vignette|gauche|La famille Weil en 1916. André Weil est le fils aîné d'une famille bourgeoise, unie, raisonnablement aisée et agnostique, d'origine juive alsacienne du côté de son père Bernard et juive russe du côté de sa mère Selma Reinherz.
Claude ChevalleyClaude Chevalley, né le à Johannesbourg (Afrique du Sud) et mort le à Paris, est un mathématicien français spécialiste de l'algèbre et un des fondateurs du groupe Bourbaki. Fils du diplomate Français Abel Chevalley et de Marguerite Sabatier, petit-fils du théologien Auguste Sabatier, il fait sa scolarité primaire à Chançay (Indre-et-Loire) et ses études secondaires au lycée Louis-le-Grand à Paris. En 1926, il est admis à l'École normale supérieure, où il suit les cours d'Émile Picard et, en 1929, est reçu troisième à l'agrégation de mathématiques.
Foncteur TorEn mathématiques, le foncteur Tor est le foncteur dérivé associé au foncteur produit tensoriel. Il trouve son origine en algèbre homologique, où il apparaît notamment dans l'étude des suites spectrales et dans la formulation du théorème de Künneth. Les foncteurs dérivés tentent de mesurer le défaut d'exactitude d'un foncteur. Soit R un anneau, considérons la catégorie RMod des R-modules et ModR des R-modules à droite.
Homological algebraHomological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precursor to algebraic topology) and abstract algebra (theory of modules and syzygies) at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert. Homological algebra is the study of homological functors and the intricate algebraic structures that they entail; its development was closely intertwined with the emergence of .
General topologyIn mathematics, general topology (or point set topology) is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology. The fundamental concepts in point-set topology are continuity, compactness, and connectedness: Continuous functions, intuitively, take nearby points to nearby points.