Chow groupIn algebraic geometry, the Chow groups (named after Wei-Liang Chow by ) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so-called algebraic cycles) in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups (compare Poincaré duality) and have a multiplication called the intersection product.
Holomorphic vector bundleIn mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle. By Serre's GAGA, the category of holomorphic vector bundles on a smooth complex projective variety X (viewed as a complex manifold) is equivalent to the category of algebraic vector bundles (i.
Moduli schemeIn mathematics, a moduli scheme is a moduli space that exists in the developed by Alexander Grothendieck. Some important moduli problems of algebraic geometry can be satisfactorily solved by means of scheme theory alone, while others require some extension of the 'geometric object' concept (algebraic spaces, algebraic stacks of Michael Artin). Work of Grothendieck and David Mumford (see geometric invariant theory) opened up this area in the early 1960s.
Canonical bundleIn mathematics, the canonical bundle of a non-singular algebraic variety of dimension over a field is the line bundle , which is the nth exterior power of the cotangent bundle on . Over the complex numbers, it is the determinant bundle of the holomorphic cotangent bundle . Equivalently, it is the line bundle of holomorphic n-forms on . This is the dualising object for Serre duality on . It may equally well be considered as an invertible sheaf.
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.
Projective bundleIn mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces. By definition, a scheme X over a Noetherian scheme S is a Pn-bundle if it is locally a projective n-space; i.e., and transition automorphisms are linear. Over a regular scheme S such as a smooth variety, every projective bundle is of the form for some vector bundle (locally free sheaf) E. Every vector bundle over a variety X gives a projective bundle by taking the projective spaces of the fibers, but not all projective bundles arise in this way: there is an obstruction in the cohomology group H2(X,O*).
Siegel modular varietyIn mathematics, a Siegel modular variety or Siegel moduli space is an algebraic variety that parametrizes certain types of abelian varieties of a fixed dimension. More precisely, Siegel modular varieties are the moduli spaces of principally polarized abelian varieties of a fixed dimension. They are named after Carl Ludwig Siegel, the 20th-century German number theorist who introduced the varieties in 1943. Siegel modular varieties are the most basic examples of Shimura varieties.
Motif (géométrie algébrique)La théorie des motifs est un domaine de recherche mathématique qui tente d'unifier les aspects combinatoires, topologiques et arithmétiques de la géométrie algébrique. Introduite au début des années 1960 et de manière conjecturale par Alexander Grothendieck afin de mettre au jour des propriétés supposées communes à différentes théories cohomologiques, elle se trouve au cœur de nombreux problèmes ouverts en mathématiques pures. En particulier, plusieurs propriétés des courbes elliptiques semblent motiviques par nature, comme la conjecture de Birch et Swinnerton-Dyer.
Moduli stack of elliptic curvesIn mathematics, the moduli stack of elliptic curves, denoted as or , is an algebraic stack over classifying elliptic curves. Note that it is a special case of the moduli stack of algebraic curves . In particular its points with values in some field correspond to elliptic curves over the field, and more generally morphisms from a scheme to it correspond to elliptic curves over . The construction of this space spans over a century because of the various generalizations of elliptic curves as the field has developed.
Cycle (géométrie algébrique)En géométrie algébrique, les cycles sont des combinaisons formelles de fermés irréductibles d'un schéma donné. Le quotient du groupe des cycles par une relation d'équivalence convenable aboutit aux qui sont des objets fondamentaux. Tous les schémas considérés ici seront supposés noethériens de dimension finie. On fixe un schéma qu'on supposera noethérien de dimension finie . Pour tout entier positif ou nul , on appelle -cycle irréductible (resp. -cocycle irréductible) de un fermé irréductible de dimension (resp.
