Let $X$ be a reduced hypersurface in the projective variety $\mathbb{P}^n(K)$, where $K$ is a number field. Select $\xi$ is a $F_{\mathfrak{p}}$rational point of $X$ where $\mathfrak{p}$ is a prime ideal of $\mathcal{O}_K$. I want to get a upper bound of the local HilbertSamuel function of $X$ at the point $\xi$, the upper bound is related to the degree of $X$. Attention: $\xi$ may not be regular. I know such a result for $X$ is a general projective variety which published is JAG of 1997, but it is too coarse, and I want a better approximation. By the way, if I know a approximation better enough, can I use the Koszulcomplexes to estimate the case of complete intersection?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

$H_\xi(k)={n+k\choose k}{n\mu_\xi+k\choose k}$, where $\mu_\xi$ is the multiplicity of $\xi$, and $H_\xi(k)$ is its HilbertSamuel function. 

