Degree of an algebraic variety (original) (raw)
In mathematics, the degree of an affine or projective variety of dimension n is the number of intersection points of the varietywith n hyperplanes in general position. For an algebraic set, the intersection points must be counted with their intersection multiplicity, because of the possibility of multiple components. For (irreducible) varieties, if one takes into account the multiplicities and, in the affine case, the points at infinity, the hypothesis of general position may be replaced by the much weaker condition that the intersection of the variety has the dimension zero (that is, consists of a finite number of points). This is a generalization of Bézout's theorem (For a proof, see Hilbert series and Hilbert polynomial § Degree of a projective variety and Bézout's theorem).
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, the degree of an affine or projective variety of dimension n is the number of intersection points of the varietywith n hyperplanes in general position. For an algebraic set, the intersection points must be counted with their intersection multiplicity, because of the possibility of multiple components. For (irreducible) varieties, if one takes into account the multiplicities and, in the affine case, the points at infinity, the hypothesis of general position may be replaced by the much weaker condition that the intersection of the variety has the dimension zero (that is, consists of a finite number of points). This is a generalization of Bézout's theorem (For a proof, see Hilbert series and Hilbert polynomial § Degree of a projective variety and Bézout's theorem). The degree is not an intrinsic property of the variety, as it depends on a specific embedding of the variety in an affine or projective space. The degree of a hypersurface is equal to the total degree of its defining equation. A generalization of Bézout's theorem asserts that, if an intersection of n projective hypersurfaces has codimension n, then the degree of the intersection is the product of the degrees of the hypersurfaces. The degree of a projective variety is the evaluation at 1 of the numerator of the Hilbert series of its coordinate ring. It follows that, given the equations of the variety, the degree may be computed from a Gröbner basis of the ideal of these equations. (en) |
| dbo:wikiPageID | 2776558 (xsd:integer) |
| dbo:wikiPageLength | 3881 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1072381852 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Projective_space dbr:Multiplicity_(mathematics) dbr:Monomial dbr:Algebraic_set dbr:Algebraically_closed_field dbc:Algebraic_varieties dbr:Invertible_sheaf dbr:Mathematics dbr:Chow_ring dbr:General_position dbr:Ideal_(ring_theory) dbr:Bézout's_theorem dbr:Total_degree dbr:Line_bundle dbr:Linear_subspace dbr:Linear_system_of_divisors dbr:Affine_variety dbr:Dimension_of_an_algebraic_variety dbr:Projective_line dbr:Projective_variety dbr:Gröbner_basis dbr:Hyperplane dbr:Hypersurface dbr:Chern_class dbr:Codimension dbr:Cohomology_ring dbr:Homogeneous_coordinate_ring dbr:Homogeneous_polynomial dbr:Dimension dbr:Rational_normal_curve dbr:Canonical_line_bundle dbr:Hilbert_series |
| dbp:wikiPageUsesTemplate | dbt:Math dbt:More_citations_needed dbt:Reflist dbt:Short_description dbt:Slink |
| dcterms:subject | dbc:Algebraic_varieties |
| rdf:type | yago:Abstraction100002137 yago:Assortment108398773 yago:Collection107951464 yago:Group100031264 yago:WikicatAlgebraicVarieties |
| rdfs:comment | In mathematics, the degree of an affine or projective variety of dimension n is the number of intersection points of the varietywith n hyperplanes in general position. For an algebraic set, the intersection points must be counted with their intersection multiplicity, because of the possibility of multiple components. For (irreducible) varieties, if one takes into account the multiplicities and, in the affine case, the points at infinity, the hypothesis of general position may be replaced by the much weaker condition that the intersection of the variety has the dimension zero (that is, consists of a finite number of points). This is a generalization of Bézout's theorem (For a proof, see Hilbert series and Hilbert polynomial § Degree of a projective variety and Bézout's theorem). (en) |
| rdfs:label | Degree of an algebraic variety (en) |
| owl:sameAs | freebase:Degree of an algebraic variety yago-res:Degree of an algebraic variety wikidata:Degree of an algebraic variety dbpedia-ro:Degree of an algebraic variety https://global.dbpedia.org/id/4igsq |
| prov:wasDerivedFrom | wikipedia-en:Degree_of_an_algebraic_variety?oldid=1072381852&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Degree_of_an_algebraic_variety |
| is dbo:wikiPageDisambiguates of | dbr:Degree |
| is dbo:wikiPageRedirects of | dbr:Degree_(algebraic_geometry) dbr:Degree_of_a_projective_variety |
| is dbo:wikiPageWikiLink of | dbr:Deformation_(mathematics) dbr:Glossary_of_classical_algebraic_geometry dbr:Bézout's_theorem dbr:Algebraic_curve dbr:Algebraic_geometry dbr:Ample_line_bundle dbr:Degree dbr:Hilbert_series_and_Hilbert_polynomial dbr:Projective_variety dbr:Rational_function dbr:Jean-Pierre_Demailly dbr:Hodge_index_theorem dbr:Rational_normal_curve dbr:Twisted_cubic dbr:Degree_(algebraic_geometry) dbr:Degree_of_a_projective_variety |
| is foaf:primaryTopic of | wikipedia-en:Degree_of_an_algebraic_variety |