PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
projective variety (Definition)

Given a homogeneous polynomial $F$ of degree $d$ in $n+1$ variables $X_0,\ldots,X_n$ and a point $[x_0:\cdots:x_n]$ we cannot evaluate $F$ at that point, because it has multiple such representations, but since $F(\lambda x_0,\ldots,\lambda x_n) = \lambda^d F(x_0,\ldots,x_n)$ we can say whether any such representation (and hence all) vanish at that point.

A projective variety over an algebraically closed field $k$ is a subset of some projective space $\mathbb{P}^n_k$ over $k$ which can be described as the common vanishing locus of finitely many homogeneous polynomials with coefficients in $k$ and which is not the union of two such smaller loci. Also, a quasi-projective variety is an open subset of a projective variety.




"projective variety" is owned by mathcam. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: affine variety, scheme, algebraic geometry, variety, Chow's theorem

Also defines:  quasi-projective variety
Log in to rate this entry.
(view current ratings)

Cross-references: open subset, loci, union, coefficients, locus, projective space, subset, field, algebraically closed, vanish, representations, multiple, point, variables, degree, homogeneous polynomial
There are 15 references to this entry.

This is version 5 of projective variety, born on 2001-12-21, modified 2004-06-04.
Object id is 1124, canonical name is ProjectiveVariety.
Accessed 6663 times total.

Classification:
AMS MSC14-00 (Algebraic geometry :: General reference works )

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)