Intersection theoryIn mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form. There is yet an ongoing development of intersection theory. Currently the main focus is on: virtual fundamental cycles, quantum intersection rings, Gromov-Witten theory and the extension of intersection theory from schemes to stacks.
Surface cubiqueEn géométrie algébrique, une surface cubique est une variété algébrique surfacique. C'est donc une surface définie par un polynôme homogène de degré 3, dans l'espace projectif . On peut prendre par exemple égal à ou . Un résultat remarquable et non trivial de la géométrie algébrique est que dans le cas où la surface est non singulière (c'est-à-dire telle qu'en tout point de la surface au moins l'une des dérivées partielles du polynôme ne s'annule pas), on peut démontrer que si le corps de base est le corps des nombres complexes alors il y a exactement 27 droites sur cette surface cubique.
K3 (géométrie)En géométrie différentielle ou algébrique, les surfaces K3 sont les variétés de Calabi-Yau de plus petite dimension différentes des tores. Ce sont des variétés complexes de dimension complexe 2 compactes et kählériennes. Les surfaces K3 possèdent en outre la propriété d'être les seules variétés de Calabi-Yau distincte du 4-tore T d'un point de vue topologique ou différentiel. Cependant, en tant que variété complexe, il y a un nombre infini de surfaces K3 non isomorphes. On peut notamment les distinguer par le biais du .
Kodaira dimensionIn algebraic geometry, the Kodaira dimension κ(X) measures the size of the canonical model of a projective variety X. Igor Shafarevich in a seminar introduced an important numerical invariant of surfaces with the notation κ. Shigeru Iitaka extended it and defined the Kodaira dimension for higher dimensional varieties (under the name of canonical dimension), and later named it after Kunihiko Kodaira. The canonical bundle of a smooth algebraic variety X of dimension n over a field is the line bundle of n-forms, which is the nth exterior power of the cotangent bundle of X.
Ample line bundleIn mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative" (or a mixture of the two). The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space.
List of complex and algebraic surfacesThis is a list of named algebraic surfaces, compact complex surfaces, and families thereof, sorted according to their Kodaira dimension following Enriques–Kodaira classification. Projective plane Cone (geometry) Cylinder Ellipsoid Hyperboloid Paraboloid Sphere Spheroid Cayley nodal cubic surface, a certain cubic surface with 4 nodes Cayley's ruled cubic surface Clebsch surface or Klein icosahedral surface Fermat cubic Monkey saddle Parabolic conoid Plücker's conoid Whitney umbrella Châtelet surfaces Dupin
Francesco Severi (mathématicien)Francesco Severi (né le à Arezzo, en Toscane et mort le à Rome) est un mathématicien italien. Connu pour ses travaux en géométrie algébrique, il devint le chef de file de l'école italienne de géométrie algébrique. Avec Federigo Enriques, il fut le prix Bordin 1907 de l'Académie des sciences de Paris. Contribuant de façon décisive aux progrès de la géométrie birationnelle et à l'étude des surfaces algébriques, et des courbes rationnelles tracées sur ces surfaces, à la théorie des espaces modulaires et à la théorie des fonctions de plusieurs variables complexes, il fut un auteur prolifique.
Groupe de PicardEn géométrie algébrique, le groupe de Picard est un groupe associé à une variété algébrique ou plus généralement à un schéma. Il est en général isomorphe au groupe des diviseurs de Cartier. Si K est un corps de nombres, le groupe de Picard de l'anneau des entiers de K n'est autre que le groupe des classes de K. Pour les courbes algébriques et les variétés abéliennes, le groupe de Picard (ou plutôt le foncteur de Picard) permet de construire respectivement la jacobienne et la variété abélienne duale.
Variété différentielleEn mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R.
Surface of general typeIn algebraic geometry, a surface of general type is an algebraic surface with Kodaira dimension 2. Because of Chow's theorem any compact complex manifold of dimension 2 and with Kodaira dimension 2 will actually be an algebraic surface, and in some sense most surfaces are in this class. Gieseker showed that there is a coarse moduli scheme for surfaces of general type; this means that for any fixed values of the Chern numbers there is a quasi-projective scheme classifying the surfaces of general type with those Chern numbers.