Zero-dimensional subschemes of projective spaces related to double points of linear subspaces and to fattening directions
Abstract
Fix a linear subspace
and a linearly independent set
. Let
or
with
and
, be the zero-dimensional subscheme of
union of all double points
,
, of
(not of
if
). We study the Hilbert function of
and of general unions in
of these schemes. In characteristic
we determine the Hilbert function of general unions of
(easy), of
and, if
, general unions of schemes
and ![Z_{2,2}](http://212.189.136.205/plugins/generic/latexRender/cache/f680b16aef75bc095fc973dc737a0f34.png)
![V\subseteq \mathbb {P}^n](http://212.189.136.205/plugins/generic/latexRender/cache/422906ed44dad3fc11cdf34eaf7d501b.png)
![S\subset V](http://212.189.136.205/plugins/generic/latexRender/cache/faf064cdbc214250a8ebb269c3d60c0a.png)
![Z_{S,V} \subset V](http://212.189.136.205/plugins/generic/latexRender/cache/7652c54941ccd44d2e4f36ed80d39dc1.png)
![Z_{s,r}](http://212.189.136.205/plugins/generic/latexRender/cache/ac66164ded50eac46db49013957925bc.png)
![r:= \dim (V)](http://212.189.136.205/plugins/generic/latexRender/cache/7466ea17a8d5351ed6120a905d492048.png)
![s=\sharp (S)](http://212.189.136.205/plugins/generic/latexRender/cache/a836a1c305c6f5c618adfee7921e7d67.png)
![V](http://212.189.136.205/plugins/generic/latexRender/cache/5206560a306a2e085a437fd258eb57ce.png)
![2p](http://212.189.136.205/plugins/generic/latexRender/cache/15152205c454443c327089e502ed8510.png)
![p\in S](http://212.189.136.205/plugins/generic/latexRender/cache/2afe2725ca06c5a86b44e3083e162547.png)
![V](http://212.189.136.205/plugins/generic/latexRender/cache/5206560a306a2e085a437fd258eb57ce.png)
![\mathbb {P}^n](http://212.189.136.205/plugins/generic/latexRender/cache/cba4c35bdb34d5b2435e61d041fa822c.png)
![n>r](http://212.189.136.205/plugins/generic/latexRender/cache/74a78731fc4e0a56aab8302f1af90341.png)
![Z_{S,V}](http://212.189.136.205/plugins/generic/latexRender/cache/1adb6bf77410a648912b02f430a78ef7.png)
![\mathbb {P}^n](http://212.189.136.205/plugins/generic/latexRender/cache/cba4c35bdb34d5b2435e61d041fa822c.png)
![0](http://212.189.136.205/plugins/generic/latexRender/cache/cfcd208495d565ef66e7dff9f98764da.png)
![Z_{2,1}](http://212.189.136.205/plugins/generic/latexRender/cache/9aaf44b2d7ba33772bb7b629c14e2780.png)
![Z_{2,2}](http://212.189.136.205/plugins/generic/latexRender/cache/f680b16aef75bc095fc973dc737a0f34.png)
![n=3](http://212.189.136.205/plugins/generic/latexRender/cache/f4b339682e05755eb7408448ef87e1ca.png)
![Z_{3,2}](http://212.189.136.205/plugins/generic/latexRender/cache/db441a3291854aff464cf03940f45981.png)
![Z_{2,2}](http://212.189.136.205/plugins/generic/latexRender/cache/f680b16aef75bc095fc973dc737a0f34.png)
Keywords:
zero-dimensional scheme; Hilbert function; postulation
Full Text: PDF