We propose a general study of standard bases of polynomial ideals with parameters in the case where the monomial order is arbitrary. We give an application to the computation of the stratification by the local Hilbert-Samuel function. Moreover, we give an explicit upper bound for the degree of a standard basis for an arbitrary order and also for the number of the possible affine or local Hilbert-Samuel functions depending on the number of variables and the maximal degree of the given generators.
This paper deals with the problem of the classification of the local graded Artinian quotients $\mathbb{K}[x,y]/I$ where $\mathbb{K}$ is an algebraically closed field of characteristic $0$. They have a natural invariant called Hilbert-Samuel sequence. We say that a Hilbert-Samuel sequence is of homogeneous finite type, if it is the Hilbert-Samuel sequence of a finite number of isomorphism classes of graded local algebras. We give the list of all the Hilbert-Samuel sequences of homogeneous finite type in the case of algebras generated by $2$ elements of degree $1$.
By using the $\mathbb R$-filtration approach of Arakelov geometry, one establishes explicit upper bounds for geometric and arithmetic Hilbert-Samuel function for line bundles on projective varieties and hermitian line bundles on arithmetic projective varieties.
We establish, in the setting of Arakelov geometry over adelic curves, an arithmetic Hilbert-Samuel theorem describing the asymptotic behaviour of the metrized graded linear series of an adelic line bundle in terms of its arithmetic intersection number. We then study positivity conditions of adelic line bundles.
We prove arithmetic Riemann-Roch and Hilbert-Samuel type formulae for pointed stable curves. We give applications to volumes of lattices of integral cusps forms for pointed stable curves of genus 0.
In this paper, we will give an upper bound and a lower bound of the arithmetic Hilbert-Samuel function of projective hypersurfaces, which are uniform and explicit. These two bounds have the optimal dominant terms. As an application, we use the lower bound to get an estimate of the density of rational points with small heights in a hypersurface.
We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called arithmetic Hilbert invariants, through the deformation to the projective completion of the cone. This construction lies at the intersection of deformation theory and Arakelov geometry. It provides a deformation of a Hermitian line bundle over the deformation to the normal cone.
The aim of this paper is twofold. First we prove a theorem of extension of sections of a coherent subquotient of a hermitian vector bundle on a complex analytic space with control of the norms, without any of the smoothness assumptions that were needed in previously known analogous results. Then we show how to associate an arithmetic Hilbert-Samuel function to a coherent sheaf on an arithmetic variety -- provided this coherent sheaf is a subquotient of a hermitian vector bundle -- and using the classical arithmetic Hilbert-Samuel theorem and our extension theorem, we give the leading term of t…
In 1978 Lipman presented a proof of the existence of a desingularization for any excellent surface. The strategy of Lipman's proof is based on the finiteness of the number H(R) defined as the supreme of the second Hilbert-Samuel coefficient I, where I range the set of normal m-primary ideals of a Noetherian complete local ring (R,m). The problem studied in the paper is the extension of the result of Lipman on H(R) to m-primary ideals I of a d-dimensional Cohen-Macaulay ring R such that the associated graded ring of R with respect to I^n is Cohen-Macaulay for n>> 0.
We prove an arithmetic Hilbert-Samuel type theorem for semi-positive singular hermitian line bundles of finite height. In particular, the theorem applies to the log-singular metrics of Burgos-Kramer-Kühn. Our theorem is thus suitable for application to some non-compact Shimura varieties with their bundles of cusp forms. As an application, we treat the case of Hilbert modular surfaces, establishing an arithmetic analogue of the classical result expressing the dimensions of spaces of cusp forms in terms of special values of Dedekind zeta functions.
We show a Chern-Weil type statement and a Hilbert-Samuel formula for a large class of singular plurisubharmonic metrics on a line bundle over a smooth projective complex variety. For this we use the theory of b-divisors and the so-called multiplier ideal volume function. We apply our results to the line bundle of Siegel-Jacobi forms over the universal abelian variety endowed with its canonical invariant metric. This generalizes a result of the second author for the universal family of elliptic curves to higher degrees.
We describe a framework for estimating Hilbert-Samuel multiplicities $e_XY$ for pairs of projective varieties $X \subset Y$ from finite point samples rather than defining equations. The first step involves proving that this multiplicity remains invariant under certain hyperplane sections which reduce $X$ to a point $p$ and $Y$ to a curve $C$. Next, we establish that $e_pC$ equals the Euler characteristic (and hence, the cardinality) of the complex link of $p$ in $C$. Finally, we provide explicit bounds on the number of uniform point samples needed (in an annular neighborhood of $p$ in $C$) to …
In this paper, we prove effective upper bounds for effective sections of line bundles on projective varieties and hermitian line bundles on arithmetic varieties in terms of the volumes. They are effective versions of the Hilbert--Samuel formula and the arithmetic Hilbert--Samuel formula.
The paper investigates the behavior of Hilbert-Samuel and Hilbert-Kunz multiplicities in families of ideals. It is shown that Hilbert-Samuel multiplicity is upper semicontinuous almost generally and that Hilbert-Kunz multiplicity is upper semicontinuous in families of finite type. Surprisingly, our machinery can be applied for families over Z and yields a partial solution to the question about characteristic zero Hilbert-Kunz multiplicity posed by Brenner, Li, and Miller. Another application is that for an affine ring the infimum in the definition of F-rational signature, an invariant defined …
We show that a Cohen-Macaulay analytic singularity can be arbitrarily closely approximated by germs of Nash sets which are also Cohen-Macaulay and share the same Hilbert-Samuel function. We also prove that every analytic singularity is topologically equivalent to a Nash singularity with the same Hilbert-Samuel function.
Because of its ineffectiveness, the usual arithmetic Hilbert-Samuel formula is not applicable in the context of Diophantine Approximation. In order to overcome this difficulty, the present paper presents explicit estimates for arithmetic Hilbert Functions of closed subvarieties in projective space.
We develop new methods to study $\mathfrak{m}$-adic stability in an arbitrary Noetherian local ring. These techniques are used to prove results about the behavior of Hilbert-Samuel and Hilbert-Kunz multiplicities under fine $\mathfrak{m}$-adic perturbations.
Building upon ideas of Hironaka, Bierstone-Milman, Malgrange and others we generalize the inverse and implicit function theorem (in differential, analytic and algebraic setting) to sets of functions of larger multiplicities (or ideals). This allows one to describe singularities given by a finite set of generators or by ideals in a simpler form. In the special Cohen-Macaulay case we obtain a singular analog of the inverse function theorem. The singular implicit function theorem is closely related to a (proven here) extended version of the Weierstrass-Hironaka-Malgrange division and preparation …
By giving an estimate on the minimal slopes, we prove a Hilbert-Samuel formula for semiample and semipositive adelic line bundles. We also show the birational invariance of the arithmetic χ-volume and its continuous extension on the semiample cone.
The main result of this paper shows that the Castelnuovo-Mumford regularity of the tangent cone of a local ring is effectively bounded by the dimension and any extended degree. From this it follows that there are only a finite number of Hilbert-Samuel functions of local rings with given dimension and extended degree.
We prove a Hilbert-Samuel type result of arithmetic big line bundles in Arakelov geometry, which is an analogue of a classical theorem of Siu. An application of this result gives equidistribution of small points over algebraic dynamical systems, following the work of Szpiro-Ullmo-Zhang. We also generalize Chambert-Loir's non-archimedean equidistribution.
We study Hilbert-Samuel multiplicity for points of Schubert varieties in the complete flag variety, by Groebner degenerations of the Kazhdan-Lusztig ideal. In the covexillary case, we give a positive combinatorial rule for multiplicity by establishing (with a Groebner basis) a reduced and equidimensional limit whose Stanley-Reisner simplicial complex is homeomorphic to a shellable ball or sphere. We show that multiplicity counts the number of facets of this complex. We also obtain a formula for the Hilbert series of the local ring. In particular, our work gives a multiplicity rule for Grassman…
