Variété jacobienneEn géométrie algébrique, la jacobienne d'une courbe est une variété algébrique (en fait une variété abélienne) qui paramètrise les diviseurs de degré 0 sur . C'est un objet fondamental pour l'étude des courbes, et c'est aussi un exemple de variété abélienne qui sert de variété test. On fixe une courbe algébrique projective lisse de genre au moins 1 sur un corps . Dans une première approximation, on peut dire que sa jacobienne est une variété algébrique dont les points correspondent aux diviseurs de degré 0 sur modulo équivalence rationnelle.
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.
ConjectureEn mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on croit fortement être vraie (en l'absence de contre-exemple, ou comme généralisation de résultats démontrés). Une conjecture peut être choisie comme hypothèse ou postulat pour étudier d'autres énoncés. Si une conjecture se révèle indécidable relativement au système d'axiomes dans laquelle elle s'insère, elle peut être érigée en nouvel axiome (ou rejetée par la mise en place d'un nouvel axiome).
Algebraic surfaceIn mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold. The theory of algebraic surfaces is much more complicated than that of algebraic curves (including the compact Riemann surfaces, which are genuine surfaces of (real) dimension two).
Surface rationnelleEn géométrie algébrique, une branche des mathématiques, une surface rationnelle est une surface birationnellement équivalente à un plan projectif, ou en d'autres termes, une variété rationnelle de dimension deux. Chaque surface rationnelle non-singulière peut être obtenue après plusieurs éclatements d'une surface rationnelle minimale. Les surfaces rationnelles minimales sont des surfaces de Hirzebruch Σr pour r = 0 ou r ≥ 2. Diamant de Hodge où n est égal à 0 pour le plan projectif, 1 pour les surfaces de Hirzebruch et supérieur à 1 pour les autres surfaces rationnelles.
Nef line bundleIn algebraic geometry, a line bundle on a projective variety is nef if it has nonnegative degree on every curve in the variety. The classes of nef line bundles are described by a convex cone, and the possible contractions of the variety correspond to certain faces of the nef cone. In view of the correspondence between line bundles and divisors (built from codimension-1 subvarieties), there is an equivalent notion of a nef divisor. More generally, a line bundle L on a proper scheme X over a field k is said to be nef if it has nonnegative degree on every (closed irreducible) curve in X.
Variété de drapeaux généraliséeEn mathématiques, une variété de drapeaux généralisée ou tordue est un espace homogène d'un groupe (algébrique ou de Lie) qui généralise les espaces projectifs, les grassmanniennes, les quadriques projectives et l'espace de tous les drapeaux de signature donnée d'un espace vectoriel. La plupart des espaces homogènes de points ou de figures de la géométrie classique sont des variétés de drapeaux généralisées ou des espaces symétriques ou des variétés symétriques (analogues en géométrie algébrique des espaces symétriques), ou leur sont liés.
Tate conjectureIn number theory and algebraic geometry, the Tate conjecture is a 1963 conjecture of John Tate that would describe the algebraic cycles on a variety in terms of a more computable invariant, the Galois representation on étale cohomology. The conjecture is a central problem in the theory of algebraic cycles. It can be considered an arithmetic analog of the Hodge conjecture. Let V be a smooth projective variety over a field k which is finitely generated over its prime field.
Quadric (algebraic geometry)In mathematics, a quadric or quadric hypersurface is the subspace of N-dimensional space defined by a polynomial equation of degree 2 over a field. Quadrics are fundamental examples in algebraic geometry. The theory is simplified by working in projective space rather than affine space. An example is the quadric surface in projective space over the complex numbers C. A quadric has a natural action of the orthogonal group, and so the study of quadrics can be considered as a descendant of Euclidean geometry.
Rational normal curveIn mathematics, the rational normal curve is a smooth, rational curve C of degree n in projective n-space Pn. It is a simple example of a projective variety; formally, it is the Veronese variety when the domain is the projective line. For n = 2 it is the plane conic Z0Z2 = Z, and for n = 3 it is the twisted cubic. The term "normal" refers to projective normality, not normal schemes. The intersection of the rational normal curve with an affine space is called the moment curve.
