Topologie étaleUne topologie étale est l'exemple le plus important d'une topologie de Grothendieck sur les schémas. Généralisant la topologie euclidienne, elle est définie en caractéristique positive et permet d'introduire une théorie cohomologique sur ces objets : la cohomologie étale. Une catégorie munie d'une telle topologie forme alors un site appelé site étale, et il existe une théorie des faisceaux étales, qui donne le premier exemplaire historique d'un topos : le topos étale.
Serre spectral sequenceIn mathematics, the Serre spectral sequence (sometimes Leray–Serre spectral sequence to acknowledge earlier work of Jean Leray in the Leray spectral sequence) is an important tool in algebraic topology. It expresses, in the language of homological algebra, the singular (co)homology of the total space X of a (Serre) fibration in terms of the (co)homology of the base space B and the fiber F. The result is due to Jean-Pierre Serre in his doctoral dissertation. Let be a Serre fibration of topological spaces, and let F be the (path-connected) fiber.
Topologie de NisnevichLa topologie de Nisnevich est une topologie de Grothendieck sur la catégorie des schémas. Introduite par Yevsey Nisnevich pour l'étude des adèles, elle devait servir à démontrer une conjecture d'Alexander Grothendieck et Jean-Pierre Serre. Cette topologie est aujourd'hui utilisée en K-théorie algébrique, qu'elle rend représentable par un , et en théorie des motifs. Elle permet également de construire l', une théorie de l'homotopie purement algébrique. Une variante importante est la qui raffine la topologie étale.
Steenrod algebraIn algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod cohomology. For a given prime number , the Steenrod algebra is the graded Hopf algebra over the field of order , consisting of all stable cohomology operations for mod cohomology. It is generated by the Steenrod squares introduced by for , and by the Steenrod reduced th powers introduced in and the Bockstein homomorphism for . The term "Steenrod algebra" is also sometimes used for the algebra of cohomology operations of a generalized cohomology theory.
Frank AdamsJohn Frank Adams ( – ) est un mathématicien britannique, l'un des fondateurs de la théorie de l'homotopie. Frank Adams est né à Woolwich, dans la banlieue sud-est de Londres. Il commence ses recherches au Trinity College de Cambridge auprès d'Abram Besicovitch, mais se réoriente rapidement vers la topologie algébrique. En 1956, il soutient à Cambridge un Ph. D., dirigé par Shaun Wylie et devient Fellow du Trinity. Une bourse lui permet de faire un séjour à l'université de Chicago et à l'IAS (Institute for Advanced Study) en 1957-1958 et il séjourne de nouveau à l'IAS en 1961.
Coherent dualityIn mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory. The historical roots of the theory lie in the idea of the adjoint linear system of a linear system of divisors in classical algebraic geometry. This was re-expressed, with the advent of sheaf theory, in a way that made an analogy with Poincaré duality more apparent.
Friedrich HirzebruchFriedrich Ernst Peter Hirzebruch est un mathématicien allemand né le à Hamm et décédé le à Bonn. Il est notamment connu pour ses travaux sur la topologie, les variétés complexes et la géométrie algébrique. Il fut une personnalité de premier plan à son époque. Il a été décrit comme . En 1954, il généralise le théorème de Riemann-Roch en dimension arbitraire pour des variétés algébriques sur le corps des nombres complexes. Sa démonstration sera améliorée et étendue par Alexandre Grothendieck.
Hodge structureIn mathematics, a Hodge structure, named after W. V. D. Hodge, is an algebraic structure at the level of linear algebra, similar to the one that Hodge theory gives to the cohomology groups of a smooth and compact Kähler manifold. Hodge structures have been generalized for all complex varieties (even if they are singular and non-complete) in the form of mixed Hodge structures, defined by Pierre Deligne (1970). A variation of Hodge structure is a family of Hodge structures parameterized by a manifold, first studied by Phillip Griffiths (1968).
Algebraic geometry and analytic geometryIn mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally by the vanishing of analytic functions of several complex variables. The deep relation between these subjects has numerous applications in which algebraic techniques are applied to analytic spaces and analytic techniques to algebraic varieties.
Leray spectral sequenceIn mathematics, the Leray spectral sequence was a pioneering example in homological algebra, introduced in 1946 by Jean Leray. It is usually seen nowadays as a special case of the Grothendieck spectral sequence. Let be a continuous map of topological spaces, which in particular gives a functor from sheaves of abelian groups on to sheaves of abelian groups on .
