Dimension of an algebraic variety

Template:Short description Template:Refimprove In mathematics and specifically in algebraic geometry, the dimension of an algebraic variety may be defined in various equivalent ways.

Some of these definitions are of geometric nature, while some other are purely algebraic and rely on commutative algebra. Some are restricted to algebraic varieties while others apply also to any algebraic set. Some are intrinsic, as independent of any embedding of the variety into an affine or projective space, while other are related to such an embedding.

Dimension of an affine algebraic set

Let Template:Math be a field, and Template:Math be an algebraically closed extension.

An affine algebraic set Template:Math is the set of the common zeros in Template:Math of the elements of an ideal Template:Math in a polynomial ring $R=K[x_1,\dots ,x_n].$ Let $A=R/I$ be the K-algebra of the polynomial functions over Template:Math. The dimension of Template:Math is any of the following integers. It does not change if Template:Math is enlarged, if Template:Math is replaced by another algebraically closed extension of Template:Math and if Template:Math is replaced by another ideal having the same zeros (that is having the same radical). The dimension is also independent of the choice of coordinates; in other words it does not change if the Template:Math are replaced by linearly independent linear combinations of them.

The dimension of Template:Math is

• The maximal length $d$ of the chains $V_0\subset V_1\subset \dots \subset V_d$ of distinct nonempty (irreducible) subvarieties of Template:Math.

This definition generalizes a property of the dimension of a Euclidean space or a vector space. It is thus probably the definition that gives the easiest intuitive description of the notion.

• The Krull dimension of the coordinate ring Template:Mvar.

This is the transcription of the preceding definition in the language of commutative algebra, the Krull dimension being the maximal length of the chains $p_0\subset p_1\subset \dots \subset p_d$ of prime ideals of Template:Math.

• The maximal Krull dimension of the local rings at the points of Template:Mvar.

This definition shows that the dimension is a local property if $V$ is irreducible. If $V$ is irreducible, it turns out that all the local rings at points of Template:Mvar have the same Krull dimension (see ); thus:

• If Template:Mvar is a variety, the Krull dimension of the local ring at any point of Template:Mvar

This rephrases the previous definition into a more geometric language.

• The maximal dimension of the tangent vector spaces at the non singular points of Template:Mvar.

This relates the dimension of a variety to that of a differentiable manifold. More precisely, if Template:Math if defined over the reals, then the set of its real regular points, if it is not empty, is a differentiable manifold that has the same dimension as a variety and as a manifold.

• If Template:Mvar is a variety, the dimension of the tangent vector space at any non singular point of Template:Mvar.

This is the algebraic analogue to the fact that a connected manifold has a constant dimension. This can also be deduced from the result stated below the third definition, and the fact that the dimension of the tangent space is equal to the Krull dimension at any non-singular point (see Zariski tangent space).

• The number of hyperplanes or hypersurfaces in general position which are needed to have an intersection with Template:Mvar which is reduced to a nonzero finite number of points.

This definition is not intrinsic as it apply only to algebraic sets that are explicitly embedded in an affine or projective space.

• The maximal length of a regular sequence in the coordinate ring Template:Mvar.

This the algebraic translation of the preceding definition.

• The difference between Template:Mvar and the maximal length of the regular sequences contained in Template:Mvar.

This is the algebraic translation of the fact that the intersection of Template:Math general hypersurfaces is an algebraic set of dimension Template:Math.

• The degree of the Hilbert polynomial of Template:Mvar.
• The degree of the denominator of the Hilbert series of Template:Mvar.

This allows, through a Gröbner basis computation to compute the dimension of the algebraic set defined by a given system of polynomial equations. Moreover, the dimension is not changed if the polynomials of the Gröbner basis are replaced with their leading monomials, and if these leading monomials are replaced with their radical (monomials obtained by removing exponents). So:

• The Krull dimension of the Stanley–Reisner ring $R/J$ where $J$ is the radical of the initial ideal of $I$ for any admissible monomial ordering (the initial ideal of $I$ is the set of all leading monomials of elements of $I$).
• The dimension of the simplicial complex defined by this Stanley–Reisner ring.
• If Template:Mvar is a prime ideal (i.e. Template:Mvar is an algebraic variety), the transcendence degree over Template:Mvar of the field of fractions of Template:Mvar.

This allows to prove easily that the dimension is invariant under birational equivalence.

Dimension of a projective algebraic set

Let Template:Math be a projective algebraic set defined as the set of the common zeros of a homogeneous ideal Template:Math in a polynomial ring $R=K[x_0,x_1,\dots ,x_n]$ over a field Template:Math, and let Template:Math be the graded algebra of the polynomials over V.

All the definitions of the previous section apply, with the change that, when Template:Math or Template:Math appear explicitly in the definition, the value of the dimension must be reduced by one. For example, the dimension of Template:Math is one less than the Krull dimension of Template:Math.

Computation of the dimension

Given a system of polynomial equations over an algebraically closed field $K$, it may be difficult to compute the dimension of the algebraic set that it defines.

Without further information on the system, there is only one practical method, which consists of computing a Gröbner basis and deducing the degree of the denominator of the Hilbert series of the ideal generated by the equations.

The second step, which is usually the fastest, may be accelerated in the following way: Firstly, the Gröbner basis is replaced by the list of its leading monomials (this is already done for the computation of the Hilbert series). Then each monomial like ${x_1}^{e_1}\cdots {x_n}^{e_n}$ is replaced by the product of the variables in it: $x_1^{\min (e_1,1)}\cdots x_n^{\min (e_n,1)}.$ Then the dimension is the maximal size of a subset S of the variables, such that none of these products of variables depends only on the variables in S.

This algorithm is implemented in several computer algebra systems. For example in Maple, this is the function Groebner[HilbertDimension], and in Macaulay2, this is the function dim.

Real dimension

Template:See also The real dimension of a set of real points, typically a semialgebraic set, is the dimension of its Zariski closure. For a semialgebraic set Template:Mvar, the real dimension is one of the following equal integers:

• The real dimension of $S$ is the dimension of its Zariski closure.
• The real dimension of $S$ is the maximal integer $d$ such that there is a homeomorphism of $[0,1{]}^d$ in $S$.
• The real dimension of $S$ is the maximal integer $d$ such that there is a projection of $S$ over a $d$-dimensional subspace with a non-empty interior.

For an algebraic set defined over the reals (that is defined by polynomials with real coefficients), it may occur that the real dimension of the set of its real points is smaller than its dimension as a semi algebraic set. For example, the algebraic surface of equation $x^2+y^2+z^2=0$ is an algebraic variety of dimension two, which has only one real point (0, 0, 0), and thus has the real dimension zero.

The real dimension is more difficult to compute than the algebraic dimension. For the case of a real hypersurface (that is the set of real solutions of a single polynomial equation), there exists a probabilistic algorithm to compute its real dimension.

See also

• Dimension (vector space)
• Dimension theory (algebra)
• Dimension of a scheme