On the tangent degree and the degree of the tangent variety of a projective variety

तकनीकी सारांश: एक प्र been projective variety के tangent degree और tangent variety के degree पर

समस्या विवरण
यह शोध पत्र एक projective variety $X^n \subset \mathbb{P}^N$ से जुड़े दो प्राथमिक इनवेरियंट्स (invariants) की जांच करता है: tangent degree $\tau(X)$ और tangent variety का degree $\deg(\text{Tan}(X))$।

• $\tau(X)$ को tangent variety $\text{Tan}(X)$ के एक सामान्य बिंदु से गुजरने वाले smooth points पर $X$ के tangent spaces की संख्या के रूप में परिभाषित किया गया है। यदि $\dim(\text{Tan}(X)) < 2n$, तो $\tau(X)$ शून्य होता है।
• अध्ययन मुख्य रूप से उन मामलों पर केंद्रित है जहाँ $N \ge 2n$ है और जहाँ tangent variety, secant variety के समान नहीं है ($\text{Tan}(X) \subsetneq \text{Sec}(X)$)।
• एक केंद्रीय प्रेरणा plane curves (जहाँ $\deg(X) \ge 2$ होने पर $\tau(X) \ge 2$ होता है) के मूलभूत तथ्यों का उच्च आयामों (higher dimensions) में सामान्यीकरण करना है, विशेष रूप से उन varieties के गैर-अस्तित्व को संबोधित करना है जहाँ $\tau(X)=1$ हो, जैसा कि $N=2n$ के मामले में देखा जाता है, और $\tau(X)=2$ वाली varieties का वर्गीकरण करना है।

कार्यप्रणाली (Methodology)
लेखक शास्त्रीय projective geometry, differential geometry और आधुनिक algebraic geometry तकनीकों के संश्लेषण का उपयोग करते हैं:

1. Focal Loci और Developable Families: शोध पत्र linear spaces के foci के सिद्धांत का उपयोग करता है। यह focal points की पहचान करने के लिए tautological morphism $q: TX \to \text{Tan}(X)$ के differential का विश्लेषण करता है। "Developable" varieties (जहाँ tangent space कुछ उप-varieties के अनुदिश स्थिर रहता है) की अवधारणा singularities और dimension counts के विश्लेषण के लिए केंद्रीय है।
2. Second Fundamental Form: लेखक variety के एक सामान्य बिंदु $x$ पर उसके second fundamental form $|II_{x,X}|$ का व्यापक रूप से उपयोग करते हैं। वे Gauss map के differential के kernel को second fundamental form के base locus और asymptotic directions के अस्तित्व से जोड़ते हैं।
3. Scorza Maps और Entry Loci: $\mathbb{P}^{2n}$ में varieties के लिए, Scorza map का उपयोग $\tau(X)=2$ होने पर variety और उसके general tangent space के बीच birationality स्थापित करने के लिए किया जाता है। Entry loci के गुणों (विशेष रूप से quadratic entry loci वाले QEL-varieties) का लाभ उठाने के लिए smooth varieties का वर्गीकरण किया जाता है जहाँ $\tau(X)=2$ है।
4. Induction और Projection: जब $\text{Tan}(X) \subsetneq \text{Sec}(X)$ हो, तो $\deg(\text{Tan}(X))$ के लिए lower bounds स्थापित करने के लिए, लेखक codimension पर induction का उपयोग करते हैं, जो variety से बिंदुओं के generic projections के तहत degrees के व्यवहार का विश्लेषण करता है।
5. Linear Systems के माध्यम से वर्गीकरण: $\tau(X) \ge 2$ वाली surfaces के वर्गीकरण में Gauss defect $\varrho(X)$ का विश्लेषण और tangent variety के singular locus की संरचना शामिल है, जिससे विशिष्ट scroll structures (Roth varieties) की पहचान होती है।

मुख्य योगदान और परिणाम

1. $\mathbb{P}^{2n}$ में Tangent Degree

• $\tau(X)=1$ का गैर-अस्तित्व: शोध पत्र सिद्ध करता है कि एक irreducible variety $X^n \subset \mathbb{P}^{2n}$ के लिए, $\tau(X) \neq 1$ है। यदि $\text{Tan}(X) = \mathbb{P}^{2n}$, तो $\tau(X) \ge 2$।
• $\tau(X)=2$ का वर्गीकरण:
  • यदि $X^n \subset \mathbb{P}^{2n}$ smooth है और $\tau(X)=2$ है, तो $X$ एक $\delta=1$ प्रकार का QEL-variety है।
  • Even Dimension: $\tau(X)=2$ वाले अद्वितीय smooth even-dimensional varieties rational normal scrolls $S(1, \dots, 1, 2) \subset \mathbb{P}^{4m}$ हैं।
  • Odd Dimension: Smooth odd-dimensional varieties जो $\tau(X)=2$ रखते हैं, या तो rational normal scrolls हैं या विशिष्ट odd-dimensional Fano manifolds (जैसे prime del Pezzo threefolds और Mukai fivefolds) हैं।
  • Singular Cases: लेखक arbitrary large dimension और degree के साथ $\tau(X)=2$ के singular उदाहरणों का निर्माण करते हैं, जिनमें OADP-varieties (one apparent double point वाली varieties) और Verra varieties के projections शामिल हैं।

2. $\deg(\text{Tan}(X))$ के लिए Lower Bounds

• शोध पत्र tangent variety के degree के लिए एक linear lower bound स्थापित करता है जब $\text{Tan}(X) \subsetneq \text{Sec}(X)$ हो।
• Theorem: यदि $X^n \subset \mathbb{P}^N$ non-degenerate है और $\text{Tan}(X) \subsetneq \text{Sec}(X)$ है, तो:
  $$\deg(\text{Tan}(X)) \ge 2(N - \dim(\text{Tan}(X)) + 1)$$
• यह bound sharp (तीक्ष्ण) दिखाया गया है। समानता smooth rational normal scrolls और उनके ऊपर cones के रूप में निर्मित कुछ singular varieties द्वारा प्राप्त की जाती है।
• इसके विपरीत, यदि $\text{Tan}(X) = \text{Sec}(X)$, तो degree bound codimension में quadratic होता है (संदर्भ [6])।

3. $\tau(X) \ge 2$ वाली Surfaces का वर्गीकरण

• Non-degenerate irreducible surfaces $X^2 \subset \mathbb{P}^N$ के लिए, $N \ge 5$ और $\tau(X) \ge 2$ के साथ, शोध पत्र Gauss defect $\varrho(X)$ के आधार पर पूर्ण वर्गीकरण प्रदान करता है:
  • Case $\varrho(X)=2$: $N=5$, और $X$, Veronese surface $\nu_2(\mathbb{P}^2)$ के projectively equivalent है। यहाँ $\tau(X)=2$ है।
  • Case $\varrho(X)=3$: $X$ planes $Y^3 \subset \mathbb{P}^N$ में एक 3-dimensional developable scroll में समाहित है। Scroll का general plane $X$ को degree $b \ge 2$ की curve के रूप में intersect करता है।
• Smooth Linearly Normal Surfaces: यदि $X$ smooth और linearly normal है, तो एकमात्र संभावनाएं हैं:
  1. $\mathbb{P}^5$ में Veronese surface ($\tau=2$)।
  2. Roth Surfaces: $X \subset S(L, Z) \subset \mathbb{P}^N$, जहाँ $S(L, Z)$ एक smooth rational normal scroll $Z$ के ऊपर एक cone है जिसका vertex एक line $L$ है। इन surfaces का degree $d = b(N-2) + 1$ है और tangent degree $\tau(X) = b^2$ है, जहाँ $b \ge 2$ एक integer है।

महत्व और दावे
लेखक इस कार्य को foci, developable varieties, और secant defects के बिखरे हुए परिणामों के एकीकरण के रूप में प्रस्तुत करते हैं।

• एकीकरण (Unification): शोध पत्र tangent degree, second fundamental form, और tangent variety की ज्यामिति के बीच के संबंध को एकत्रित और स्पष्ट करता है, जिससे उन varieties के अध्ययन के लिए एक सुसंगत ढांचा मिलता है जहाँ tangent map birational नहीं है।
• वर्गीकरण: यह $\mathbb{P}^{2n}$ में smooth varieties ($\tau(X)=2$ के लिए) और उच्च codimensions में surfaces ($\tau(X) \ge 2$ के लिए) के लिए एक निश्चित वर्गीकरण प्रदान करता है।
• ज्यामितीय लक्षण (Geometric Characterization): परिणाम Roth varieties (smooth linearly normal varieties जहाँ general projection का double divisor ample नहीं है) के लिए एक नया ज्यामितीय लक्षण प्रदान करते हैं, विशेष रूप से surfaces के लिए, उन्हें $\tau(X) \ge 2$ और $\text{Tan}(X) \subsetneq \text{Sec}(X)$ की स्थिति से जोड़ते हैं।
• Sharpness: शोध पत्र यह प्रदर्शित करता है कि tangent variety के degree के लिए निकाला गया linear lower bound इष्टतम (optimal) है, जो secant varieties के लिए quadratic bound के विपरीत है।

लेखक स्वीकार करते हैं कि जबकि $n=2$ के लिए परिणाम पूर्ण हैं, $n \ge 3$ के लिए (विशेष रूप से odd dimensions $n=2m+1$ के साथ $m \ge 3$) $\tau(X)=2$ वाले smooth QEL-manifolds के अस्तित्व का प्रश्न अभी भी खुला है, जो यह सुझाव देता है कि Corollary 15 में दिया गया वर्गीकरण उच्च आयामों के लिए पूर्ण (exhaustive) नहीं हो सकता है।