Projective tensor productIn functional analysis, an area of mathematics, the projective tensor product of two locally convex topological vector spaces is a natural topological vector space structure on their tensor product. Namely, given locally convex topological vector spaces and , the projective topology, or π-topology, on is the strongest topology which makes a locally convex topological vector space such that the canonical map (from to ) is continuous. When equipped with this topology, is denoted and called the projective tensor product of and .
Injective tensor productIn mathematics, the injective tensor product of two topological vector spaces (TVSs) was introduced by Alexander Grothendieck and was used by him to define nuclear spaces. An injective tensor product is in general not necessarily complete, so its completion is called the . Injective tensor products have applications outside of nuclear spaces.
OvercategoryIn mathematics, specifically , an overcategory (and undercategory) is a distinguished class of used in multiple contexts, such as with covering spaces (espace etale). They were introduced as a mechanism for keeping track of data surrounding a fixed object in some category . There is a dual notion of undercategory, which is defined similarly. Let be a category and a fixed object of pg 59. The overcategory (also called a slice category) is an associated category whose objects are pairs where is a morphism in .
Hilbert schemeIn algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by . Hironaka's example shows that non-projective varieties need not have Hilbert schemes.
Roger GodementRoger Godement, né le au Havre et mort le à Villejuif dans le Val-de-Marne, est un mathématicien français, connu pour ses travaux en analyse fonctionnelle, topologie algébrique et théorie des groupes, ainsi que pour ses nombreux livres portant sur des sujets très variés à des niveaux accessibles aux étudiants des premières années d'université. Il est normalien de la rue d'Ulm (promotion 1940) et agrégé de mathématiques (1943). Sa thèse, soutenue en juillet 1946 à Paris et dirigée par Henri Cartan, a pour titre Les fonctions de type positif et la théorie des groupes.
Étale fundamental groupThe étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces. In algebraic topology, the fundamental group of a pointed topological space is defined as the group of homotopy classes of loops based at . This definition works well for spaces such as real and complex manifolds, but gives undesirable results for an algebraic variety with the Zariski topology.