Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [hilbert-function]

For questions on the Hilbert function and Hilbert polynomial of graded algebras over fields.

0
votes
1answer
94 views

Relation between Hilbert function and complete intersection ideals

Consider $T=k[x_1,\ldots,x_n]$ ( $k$ alg. closed and of char $k=0$), and consider the ideal $$I=(x_1,x^{a_2}_2,\ldots,x^{a_n}_n)$$ with $2\leq a_2 \leq\ldots\leq a_n$. I want to prove that $$\sum_{i=...
1
vote
0answers
106 views

Segre embedding and Hilbert polynomial of coherent sheaves

Let $X \subset \mathbb{P}^n$ and $Y \subset \mathbb{P}^m$ be smooth, projective subvarieties, $F$ and $G$ coherent, torsion-free, sheaves on $X$ and $Y$ with Hilbert polynomials $P_{F}$ and $P_G$, ...
1
vote
0answers
141 views

References for Hilbert schemes over non-Archimedean valuation

Can you suggest me some suitable references to learn the theory of Hilbert polynomials (or related Hilbert schemes) in the non-Archimedean setting? Thanks.
3
votes
0answers
102 views

Hilbert polynomial of structure sheaf of hypersurfaces

Is there an example of a hypersurface $X$ of some projective space $\mathbb{P}^n$ such that there exists an invertible sheaf $\mathcal{L}$ on $X$, not isomorphic to the structure sheaf $\mathcal{O}_X$,...
2
votes
1answer
110 views

Roots of the Hilbert polynomial of an invertible sheaf

Let $X$ be a smooth, projective variety over an algebraically closed field of characteristic zero. Fix a polarisation on $X$. Let $\mathcal{L}$ be an invertible sheaf on $X$ with Hilbert polynomial, ...
4
votes
1answer
236 views

Examples of smooth projective varieties with “nice” Picard group

I am looking for examples of smooth projective varieties $(X,H)$ with $H$ a polarization on $X$, $\dim \mbox{Pic}^0(X)=0$, $\mbox{Pic}(X) \not= \mathbb{Z}$ satisfying the property: for any two line ...
1
vote
0answers
31 views

Hilbert functions of graded modules generated by mapped generators

I need to prove the following claim for my work. Intuitively, the claim should hold as it is analogous to the concept of an initial module, but a rigorous approach for the same I cannot find. Any help ...
33
votes
7answers
1k views

On the polynomial $\sum_{k=0}^n\binom{n}{k}(-1)^kX^{k(n-k)}$

Let $n = 2m$ be an even integer and let $F_n(X)$ be the polynomial $$F_n(X):=\sum_{k=0}^n\binom{n}{k}(-1)^kX^{k(n-k)}.$$ I observed (but cannot prove) that the polynomial $F_n$ is always divisible by $...
2
votes
0answers
122 views

Ideals with the same Hilbert series

Consider a polynomial ring $\mathbb C[x_1,\ldots,x_n]$ that is $\mathbb Z_{\ge 0}$-graded by degree. Let $I$ and $J$ be two homogeneous ideals therein with the same Hilbert series, i.e. with their ...
27
votes
1answer
747 views

Which intrinsic invariants of a projective variety can you deduce from its Hilbert polynomials?

Given a projective variety $X$, each of its embeddings $i:X\hookrightarrow \mathbb P^N$ gives rise to an integer valued Hilbert polynomial $P_{X,i}(t)\in \mathbb Q[t]$. These polynomials depend ...
0
votes
0answers
162 views

The growth of the Hilbert function of a graded ring

Let $A=\bigoplus A_i$ be a finitely generated commutative unital graded algebra over a field $k$. Let $d(i)=\dim A_i$. In general $d(i)$ is not a polynomial in $i$ (even not eventually polynomial). ...
3
votes
1answer
162 views

I need to refind a reference on multigraded Hilbert series

I found a theorem about multigraded Hilbert series stated as follows: Let $R$ be a Noetherian multigraded algebra $R:=\bigoplus_{j\in\mathbb{N}^m}{R_j}$ over $R_0=\mathbb{C}$. If $R$ is generated by $...
4
votes
1answer
343 views

Raising coefficients of a power series to some power

Suppose you are given a power series $P=\sum_{i=0}^\infty{a_nt^n}$. I am primarily concerned with those power series coming from rational functions of the form $$ \frac{1}{\prod_{i=1}^k{(1-t^{\...
3
votes
0answers
126 views

On the computational complexity of the Hilbert polynomial of numerical semigroup rings

Let $(R, \mathfrak{m}) = k[[X^a, X^b, X^c]]$, $a<b<c$, $gcd(a, b, c) = 1$, be a semigroup ring. We have $R$ is a Cohen-Macaulay local ring of dimension one. It is well known that $\ell(R/\...
2
votes
1answer
306 views

Hilbert function of points in $\mathrm{P}^2$

Let $\Gamma$ be a collection of $d$ points in $\mathrm{P}^2$, and $I$ the graded ideal of $\Gamma$.If $$ \mathrm{gin_{rlex}}(I)=(x_1^k,x_1^{k-1}x_2^{\lambda_{k-1}},...,x_1x_2^{\lambda_1},x_2^{\...
2
votes
1answer
232 views

Hilbert Regularity in relation to degree of generators

Suppose we look at the $\mathbb {C}$ module $\mathbb{C}[x_1,\dots,x_n]=\oplus{S_i}$ where $S_i$ are the polynomials of degree $i$. Then we look at a subring $R$ (also a $\mathbb {C} $ module) ...
4
votes
1answer
130 views

Hypersurfaces containing a general chain of lines

Let $X$ be a general chain of $d$ lines in $\mathbb P^n$, where $n \geq 3$. Let $I$ be the homogeneous ideal of polynomials vanishing on $X$. What is the Hilbert function $$P(k) = \dim I_k$$ of $X$? ...
3
votes
1answer
596 views

The Hilbert function of an intersection

Assume that $X_1,\ldots,X_r\subseteq\mathbb P^n$ are irreducible, reduced hypersurfaces in complex projective space, each of the same degree $d$. In other words, $X_i=Z_\ast(f_i)$ for certain ...