ترغب بنشر مسار تعليمي؟ اضغط هنا

Punctual Hilbert Schemes and Certified Approximate Singularities

76   0   0.0 ( 0 )
 نشر من قبل Bernard Mourrain
 تاريخ النشر 2020
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

In this paper we provide a new method to certify that a nearby polynomial system has a singular isolated root with a prescribed multiplicity structure. More precisely, given a polynomial system f $=(f_1, ldots, f_N)in C[x_1, ldots, x_n]^N$, we present a Newton iteration on an extended deflated system that locally converges, under regularity conditions, to a small deformation of $f$ such that this deformed system has an exact singular root. The iteration simultaneously converges to the coordinates of the singular root and the coefficients of the so called inverse system that describes the multiplicity structure at the root. We use $$alpha$$-theory test to certify the quadratic convergence, and togive bounds on the size of the deformation and on the approximation error. The approach relies on an analysis of the punctual Hilbert scheme, for which we provide a new description. We show in particular that some of its strata can be rationally parametrized and exploit these parametrizations in the certification. We show in numerical experimentation how the approximate inverse system can be computed as a starting point of the Newton iterations and the fast numerical convergence to the singular root with its multiplicity structure, certified by our criteria.



قيم البحث

اقرأ أيضاً

Using results obtained from the study of homogeneous ideals sharing the same initial ideal with respect to some term order, we prove the singularity of the point corresponding to a segment ideal with respect to the revlex term order in the Hilbert sc heme of points in $mathbb{P}^n$. In this context, we look inside properties of several types of segment ideals that we define and compare. This study led us to focus our attention also to connections between the shape of generators of Borel ideals and the related Hilbert polynomial, providing an algorithm for computing all saturated Borel ideals with the given Hilbert polynomial.
We study certain DT invariants arising from stable coherent sheaves in a nonsingular projective threefold supported on the members of a linear system of a fixed line bundle. When the canonical bundle of the threefold satisfies certain positivity cond itions, we relate the DT invariants to Carlsson-Okounkov formulas for the twisted Eulers number of the punctual Hilbert schemes of nonsingular surfaces, and conclude they have a modular property.
89 - V. Trivedi 2015
For a pair $(M, I)$, where $M$ is finitely generated graded module over a standard graded ring $R$ of dimension $d$, and $I$ is a graded ideal with $ell(R/I) < infty$, we introduce a new invariant $HKd(M, I)$ called the {em Hilbert-Kunz density funct ion}. In Theorem 1.1, we relate this to the Hilbert-Kunz multiplicity $e_{HK}(M,I)$ by an integral formula. We prove that the Hilbert-Kunz density function is additive. Moreover it satisfies a multiplicative formula for a Segre product of rings. This gives a formula for $e_{HK}$ of the Segre product of rings in terms of the HKd of the rings involved. As a corollary, $e_{HK}$ of the Segre product of any finite number of Projective curves is a rational number. As an another application we see that $e_{HK}(R, {bf m}^k) - e(R, {bf m}^k)/d!$ grows at least as a fixed positive multiple of $k^{d-1}$ as $kto infty$.
What kind of reduced monomial schemes can be obtained as a Grobner degeneration of a smooth projective variety? Our conjectured answer is: only Stanley-Reisner schemes associated to acyclic Cohen-Macaulay simplicial complexes. This would imply, in pa rticular, that only curves of genus zero have such a degeneration. We prove this conjecture for degrevlex orders, for elliptic curves over real number fields, for boundaries of cross-polytopes, and for leafless graphs. We discuss consequences for rational and F-rational singularities of algebras with straightening laws.
It remains an open problem to classify the Hilbert functions of double points in $mathbb{P}^2$. Given a valid Hilbert function $H$ of a zero-dimensional scheme in $mathbb{P}^2$, we show how to construct a set of fat points $Z subseteq mathbb{P}^2$ of double and reduced points such that $H_Z$, the Hilbert function of $Z$, is the same as $H$. In other words, we show that any valid Hilbert function $H$ of a zero-dimensional scheme is the Hilbert function of a set of a positive number of double points and some reduced points. For some families of valid Hilbert functions, we are also able to show that $H$ is the Hilbert function of only double points. In addition, we give necessary and sufficient conditions for the Hilbert function of a scheme of a double points, or double points plus one additional reduced point, to be the Hilbert function of points with support on a star configuration of lines.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا