Recall from Section Key Warning and Disclaimer that, despite some ambiguity, we regard the following as being equivalent: polarised varieties X, A; schemes in wps X⊂PN(w0, ..., wN) where A is a degree 1 hyperplane section; and data about the Hilbert series of the graded ring R(X, A). Thus we constantly refer to a polarised variety X, and we expect to be able to retrieve its Hilbert series, its dimension, the codimension of its embedding and other such data.
With one exception, the intrinsics described in this section can be applied to all polarised varieties. The exception is the following little-used intrinsic that creates a polarised variety that is not of a specific type.
The polarised variety of dimension d, with weights given by the sequence W of positive integers and with Hilbert numerator the univariate polynomial n.
The weights of the polarised variety X.
The degree of the polarised variety X.
The basket of singularities of the polarised variety X.
The basket of singularities of the polarised variety X in sequence format, that is, the basket is a sequence of sequences, in which a singularity oneover(r)(a, b, c) is represented as a sequence [r, a, b, c] of integers. (The Gorenstein surface singularity oneover(r)(a, r - a) admits further abbreviation to [r, a].) Notice that the local polarisation n is not included in this raw basket data; its default value n= - 1 is assumed.
The dimension of the polarised variety X.
The codimension of the polarised variety X.
The numerator f(t) of the Hilbert series P(t) of the polarised variety X when expressed as a rational function P=f(t)/ & * [1 - tw : w ∈W] where the product in the denominator is taken over W, the sequence of weights of X.
The weights corresponding to a Noether normalisation of the polarised variety X. In other words, these are the weights of polynomials in the graded ring of X that generate a polynomial subring of maximal dimension.
The numerator n(t) of the Hilbert series P(t) of the polarised variety X when expressed as a rational function P=n(t)/ & * [1 - tw : w ∈N ], where the product in the denominator is taken over N, the sequence of Noether weights of X.
Given a polarised variety X return a pair, the first term of which is the sequence of Noether weights, the second the corresponding numerator.
The Hilbert series of the polarised variety X expressed as a rational function.
The coefficients of the Hilbert series of the polarised variety X expressed as a power series. The number of coefficients returned is equal to the precision of the power series ring in which the Hilbert series was expanded.
If n(t) is the Hilbert numerator of X and is of the formn = 1 - ∑i=1N0 a0, i ti + ∑k=N0 + 1N1 a1, i ti - ... + ( - 1)k - 1 ∑_(i=Nk - 2 + 1)Nk - 1 ak - 1, i ti + ( - 1)k tNk
then the apparent codimension of X is k, the apparent equation degrees are given by those i for which a0, i is nonzero (with a0, i equations of that degree i) and the apparent syzygy degrees are those integers i for which a1, i is nonzero. The Betti numbers are a sequence with first element the sum of all a0, i, second element the sum of all a1, i, and so on until ak - 1, i.
Procedural versions of intrinsic functions modify polarised varieties at the generic level because they preserve any subtypes; functional versions exist for special types of polarised variety but not in general.
Return true if and only if the polarised varieties X and Y have the same dimension, weights, basket and Hilbert numerator. In particular, these conditions imply that X and Y have the same Hilbert series.
Return true if and only if the codimension of X is equal to the apparent codimension of X determined by its Hilbert numerator.
These are weights assigned to the polarised variety X during its construction that carry some relevance; if no such weights were assigned, the usual weights of X will be returned.
Include the positive integer w among the weights of X, adjusting all other data associated to the embedding of X as required.
Remove the positive integer w from the weights of X, assuming it appears there and can be removed without destroying the property of the Hilbert numerator being a polynomial. All other data associated to the embedding of X is modified as required.
Remove any weights from X whose presence is not required to keep the Hilbert numerator of X a polynomial.