On an extension of Galligo's theorem concerning the Borel-fixed points on the Hilbert scheme (Q2468522)

Let \(S=K[x_0,\dots,x_n]\) be a polynomial ring over a field \(K\), let \(I\) be an ideal. Given a weight vector \(w\), which partially orders monomials, one can consider the initial ideal in\(_w(I)\). It is well known that in\(_w(I)\) has the same Hilbert function as \(I\). This can can proved by using a well known construction via a one-parameter subgroup of a GL\(_{n+1}\) which can then be viewed as a curve on the corresponding Hilbert scheme. \textit{A. Galligo} [Ann. Inst. Fourier 29, No. 2, 107--184 (1979; Zbl 0412.32011)] proved that if \(I\) is in generic coordinates, and if \(w\) induces a monomial order up to a large enough degree, then in\(_w(I)\) is fixed by the action of the Borel subgroup of upper-triangular matrices. The author proves an infinitesimal version of Galligo's Theorem, in particular he proves that not only is the limit point of this path Borel-fixed, but the direction the path approaches this Borel-fixed point is also Borel-fixed.