Le Théoreme de Bertini en famille
Le Théoreme de Bertini en famille
复制标题
贝尔蒂尼家庭理论
DOI:
--
复制
发表时间:
2009
期刊:
影响因子:
--
通讯作者:
Olivier Benoist
中科院分区:
文献类型:
--
作者:
Olivier Benoist
We give upper bounds for the dimension of the set of hypersurfaces of P whose intersection with a fixed integral projective variety is not integral. Our upper bounds are optimal. As an application, we construct, when possible, hypersurfaces whose intersections with all the varieties of a family of integral projective varieties are integral. The degree of the hypersurfaces we construct is explicit. On fixe K un corps de caracteristique quelconque, qui sera systematiquement sous-entendu. Par exemple, P = PK . Par sous-variete de P , on entendra sous-schema ferme geometriquement integre de P . On note He = He,N = P(H(P ,O(e))) l’espace des hypersurfaces de degre e de P . Si X ⊂ P est une sous-variete, on notera F int e (X) (resp. F igr e (X)) le sous-ensemble de He constitue des hypersurfaces dont l’intersection avec X n’est pas geometriquement integre de codimension 1 dans X (resp. n’est pas geometriquement irreductible et generiquement reduite de codimension 1 dans X). Le theoreme de Bertini (voir par exemple [9] I 6.10) montre que si dim(X) ≥ 2, F int e (X) est strictement inclus dans He. Pour les questions que nous allons etudier, la propriete irreductible et generiquement reduit se comporte mieux que l’integrite. D’autre part, pour faire fonctionner des arguments de deformation, nous aurons besoin de savoir que ces mauvais lieux sont fermes. C’est pourquoi nous allons utiliser la variante suivante du theoreme de Bertini, qui fait l’objet de la premiere partie de cet article. Theoreme 0.1. Soit X une sous-variete de P de dimension ≥ 2. Alors F int e (X) et F igr e (X) sont des fermes stricts de He. Quand K est infini, une consequence de ce theoreme est qu’il existe des hypersurfaces dans le complementaire de F int e (X) (resp. F igr e (X)). On cherche