代数的ベクトル束の欠損を統一的に扱う理論

We develop a unified defect theory for embedded algebraic vector bundles which places several classical constructions within a common framework. The theory recovers tangential, dual, join, and secant defects. We first prove an effective numerical criterion characterizing defectivity by the vanishing of a bidegree. This also allows us to recover the exact defect from the vanishing pattern of the bidegrees, extending a theorem of Holme. Using van der Waerden's theorem on bidegrees, we obtain a formula that decomposes the geometric degree of an embedded vector bundle into contributions from the direction varieties of its general linear restrictions. This leads to a characterization of embedded algebraic vector bundles of minimal degree. As a main application, we establish the sharp universal bound $\operatorname{deg}(TV) \leq \operatorname{deg}(V)^2$ for every smooth irreducible affine variety $V \subseteq \mathbb{A}^n$ and $TV\subseteq \mathbb{A}^{2n}$ its tangent bundle. Finally, under suitable regularity assumptions, we apply the quadratic bound to prolongation varieties of differential algebraic systems, obtaining uniform degree estimates and thereby providing a partial answer to an open problem in differential algebra posed by Pogudin.

32 pages