The hilbert-function tag has no usage guidance.

**3**

votes

**1**answer

128 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

**1**answer

182 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

**0**answers

119 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

**1**answer

258 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

**1**answer

128 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

**1**answer

115 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

**1**answer

317 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 ...