Differential-geometric characterizations of complete intersections (Q678650): Difference between revisions

We characterize complete intersections in terms of local differential geometry. Let \(X^n\subset \mathbb{C} P^{n+a}\) be a variety. We first localize the problem; we give a criterion for \(X\) to be a complete intersection that is testable at any smooth point of \(X\). We rephrase the criterion in the language of projective differential geometry and derive a sufficient condition for \(X\) to be a complete intersection that is computable at a general point \(x\in X\). The sufficient condition has a geometric interpretation in terms of restrictions on the spaces of osculating hypersurfaces at \(x\). When this sufficient condition holds, we are able to define systems of partial differential equations that generalize the classical Monge equation that characterizes conic curves in \(\mathbb{C} P^2\). Using our sufficient condition, we show that if the ideal of \(X\) is generated by quadrics and \(a<{n-(b+ 1)+3\over 3}\), where \(b=\dim X_{\text{sing}}\), then \(X\) is a complete intersection.