The Complete Intersection Discrepancy of a Curve I: Numerical Invariants

यहाँ एंड्री बेनस-लानियर और एंटोनी रंगचेव द्वारा लिखित शोध पत्र "The Complete Intersection Discrepancy of a Curve I: Numerical Invariants" (एक वक्र का पूर्ण प्रतिच्छेदन विसंगति I: संख्यात्मक अपरिवर्त) का विस्तृत तकनीकी सारांश दिया गया है, जिसका परिशिष्ट मार्क चार्डिन द्वारा लिखा गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र एक ऐसे वक्र $X$ के लिए संख्यात्मक अपरिवर्तों (जैसे कि बहुलता/multiplicity, डेल्टा अपरिवर्त/delta invariant, मिलनोर संख्या/Milnor number, और अंकगणितीय जनक/arithmetic genus) की गणना करने की चुनौती को संबोधित करता है, जो अनिवार्य रूप से एक पूर्ण प्रतिच्छेदन (complete intersection) नहीं है, बल्कि एक बड़े परिवेशी स्थान (ambient space) में अंतर्निहित है।

विशेष रूप से, एक कोहेन-माकमले (Cohen-Macaulay) वक्र $X$ के लिए, जो एक चिकने रूपांतर (smooth variety) या प्रक्षेपवत् स्थान (projective space) $\mathbb{P}^n_k$ में अंतर्निहित है, लेखक $X$ के अपरिवर्तों को एक पूर्ण प्रतिच्छेदन वक्र $Z$ के अपरिवर्तों से जोड़ने का प्रयास करते हैं, जो $X$ को समाहित करता है और $X$ के अपरिवर्तनीय घटकों के जेनेरिक बिंदुओं पर $X$ के समान होता है। $X$ और अवशिष्ट वक्र (residual curve) $W = Z \setminus X$ (जहाँ $X$ और $W$ द्वारा $Z$ को ज्यामितीय रूप से जोड़ा गया है) के बीच के "अंतर" को एक नए अपरिवर्त द्वारा परिमाणित किया जाता है, जिसे पूर्ण प्रतिच्छेदन विसंगति (Complete Intersection Discrepancy) कहा जाता है, जिसे $I(X, W)$ द्वारा दर्शाया गया है।

मुख्य समस्या यह है कि $W$ के अवशेष वक्र के आदर्श (ideal) को स्पष्ट रूप से निर्धारित किए बिना $I(X, W)$ की गणना कैसे की जाए, क्योंकि यह अक्सर गणनात्मक रूप से कठिन होता है।

2. कार्यप्रणाली (Methodology)

लेखक ग्रोथेंडिक द्वैतता सिद्धांत (Grothendieck duality theory), लिंकेज सिद्धांत (linkage theory), और स्थानीय बीजगणितीय ज्यामिति (local algebraic geometry) के संयोजन का उपयोग करते हैं।

• एडजंक्शन-प्रकार की पहचान (Adjunction-Type Identity): केंद्रीय तकनीकी उपकरण परिमित मोर्फिज्म (finite morphisms) के लिए ग्रोथेंडिक द्वैतता से प्राप्त एक पहचान है। एक कोहेन-माकमले वक्र $X$ और एक गोरेनस्टीन पूर्ण प्रतिच्छेदन $Z$ के लिए, जो $X$ को समाहित करता है, वे स्थापित करते हैं:
  $$\omega_X \cong i^*(I_W \omega_Z)$$
  जहाँ $\omega_X$ और $\omega_Z$ द्वैत आवरण (dualizing sheaves) हैं, $i: X \hookrightarrow Z$ समावेशन है, और $I_W$ में $Z$ में $W$ का आदर्श आवरण (ideal sheaf) है।
• विलक्षणताओं का स्थानीय विश्लेषण (Local Analysis of Singularities): लेखक एक बिंदु $x \in X$ पर स्थानीय अपरिवर्तों का विश्लेषण करते हैं, जिनमें शामिल हैं:
  • डेल्टा अपरिवर्त ($\delta_x$)।
  • मिलनोर संख्या ($\mu_x$)।
  • बहुलता ($m_x$)।
  • रैमिफिकेशन आदर्श ($R_X$) और इसका हिल्बर्ट-सामल मल्टीप्लिसिटी (Hilbert-Samuel multiplicity) $e(R_X)$।
  • $X$ और $Z$ के जैकबियन आदर्श (Jacobian ideals)।
• $Z$ का निर्माण: प्राइम अवॉयडेंस (prime avoidance) और रैखिक बीजगणित का उपयोग करते हुए, लेखक $X$ को परिभाषित करने वाले समीकरणों के सामान्य रैखिक संयोजनों द्वारा परिभाषित $Z$ का निर्माण करने के लिए एक स्पष्ट एल्गोरिदम प्रदान करते हैं। यह सुनिश्चित करता है कि $Z$, $X$ के साथ न्यूनीकरण (reduced) है और उसी जेनेरिक बिंदुओं को साझा करता है।
• नाश ब्लोअप व्याख्या (Nash Blowup Interpretation): गोरेनस्टीन वक्रों के लिए, विसंगति को नाश ब्लोअप (Nash blowup) के अपवाद विभाजक (exceptional divisor) के डिग्री के माध्यम से ज्यामितीय रूप से व्याख्यायित किया जाता है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. पूर्ण प्रतिच्छेदन विसंगति की परिभाषा

लेखक एक बिंदु $x$ पर पूर्ण प्रतिच्छेदन विसंगति को इस प्रकार परिभाषित करते हैं:
$$I_x(X, W) := \dim_k \mathcal{O}_{X,x} / (I_X + I_W)$$
वैश्विक विसंगति $I(X, W) = \sum_{x \in X \cap W} I_x(X, W)$ है।
महत्वपूर्ण रूप से, वे सिद्ध करते हैं कि $Z$ के एक सामान्य (general) चुनाव के लिए, यह मान $X$ की विलक्षणता का एक आंतरिक अपरिवर्त (intrinsic invariant) है, जिसे $\text{cid}(X, x)$ कहा जाता है, जो $Z$ के विशिष्ट चुनाव से स्वतंत्र है।

B. सामान्यीकृत बहुलता सूत्र (Theorem A)

यह शोध पत्र समतल (plane) और पूर्ण प्रतिच्छेदन वक्रों के लिए शास्त्रीय सूत्रों (Lê, Greuel, और Teissier द्वारा दिए गए) का सामान्यीकरण करता है। $X$ को समाहित करने वाले एक सामान्य पूर्ण प्रतिच्छेदन $Z$ के लिए:
$$e(\text{Jac}(X, x)) - \text{cid}(X, x) = 2\delta_x + e(R_X)$$
यदि $x$ एक टेम (tame) बिंदु है (उदाहरण के लिए, अभिलक्षण 0 में), तो यह सरल होकर निम्न हो जाता है:
$$e(\text{Jac}(X, x)) - \text{cid}(X, x) = \mu_x + m_x - 1$$
यह जैकबियन आदर्श की हिल्बर्ट-सामल बहुलता को मिलनोर संख्या और नॉर्मलाइजेशन के रैमिफिकेशन से जोड़ता है।

C. सामान्यीकृत जनक-डिग्री सूत्र (Theorem B)

लेखक एक कोहेन-माकमले वक्र $X \subset \mathbb{P}^n_k$ के लिए अंकगणितीय जनक $p_a(X)$ का सूत्र प्राप्त करते हैं, जो जेनेरिक रूप से एक पूर्ण प्रतिच्छेदन है। यदि $Z$, $d_1, \dots, d_{n-1}$ डिग्री वाले बहुपदों द्वारा परिभाषित है:
$$p_a(X) = 1 + \frac{(d_1 + \dots + d_{n-1} - n - 1)\deg(X) - I(X, W)}{2}$$
यह चिकने पूर्ण प्रतिच्छेदन के लिए शास्त्रीय जनक-डिग्री सूत्र का सामान्यीकरण है।

• गणनात्मक लाभ: जब $X$ चिकना (smooth) होता है, तो $I(X, W)$ को $W$ के आदर्श को ज्ञात किए बिना $Z$ के जैकबियन आदर्श से सीधे संगणना किया जा सकता है:
  $$I(X, W) = \dim_k S(X)(h) / \text{Jac}(Z)$$
  जहाँ $S(X)(h)$ एक सामान्य हाइपरप्लेन $h$ पर समन्वय वलय (coordinate ring) के स्थानीयकरण का डिग्री-शून्य भाग है।

D. लगभग पूर्ण प्रतिच्छेदन (ACI) वक्र (Corollary C)

एक ACI वक्र (जो $\mathbb{P}^n$ में $n$ समीकरणों द्वारा परिभाषित है) के लिए, विसंगति का एक बंद रूप (closed form) है:
$$I(X, W) = \prod_{i=1}^n d_i - d_n \deg(X)$$
यह गैर-विकेंद्रित (non-degenerate) ACI वक्रों की डिग्री पर एक निचली सीमा (lower bound) की ओर ले जाता है।

E. नाश ब्लोअप के माध्यम से ज्यामितीय व्याख्या

एक गोरेनस्टीन वक्र $X$ के लिए, $e(\text{Jac}(X, x)) - \text{cid}(X, x)$ को $x$ पर $X$ के नाश ब्लोअप के अपवाद विभाजक (exceptional divisor) की डिग्री के रूप में दिखाया गया है। यह गोरेनस्टीन स्कीम्स के लिए नाश ब्लोअप के केंद्र के संबंध में पिया (Piene) द्वारा उठाए गए प्रश्न का उत्तर देता है।

F. अनुप्रस्थता और संगणना योग्यता (Transversality and Computability)

यह शोध पत्र प्रदर्शित करता है कि समीकरणों के सामान्य चुनावों के लिए, $X \cap W$ का प्रतिच्छेदन $Z$ के साधारण द्वि-बिंदु (ordinary double points) से बना होता है। इसके अलावा, लेखक $I(X, W)$ की गणना करने के लिए एक एल्गोरिथम दृष्टिकोण (अनुभाग 6.4) प्रदान करते हैं, जो प्राथमिक अपघटन (primary decomposition) की आवश्यकता के बिना विशिष्ट आदर्शों के सदिश स्थान आयामों (vector space dimensions) की गणना करके कंप्यूटर बीजगणित प्रणालियों (जैसे Singular) का उपयोग करता है।

4. महत्व (Significance)

• अपरिवर्तों का एकीकरण: यह शोध पत्र विभिन्न शास्त्रीय परिणामों (Lê-Greuel-Teissier सूत्र) और बीजगणितीय ज्यामिति (जनक-डिग्री सूत्र) को पूर्ण प्रतिच्छेदन विसंगति वाले एक एकल ढांचे के तहत एकीकृत करता है।
• गणनात्मक दक्षता: यह पूर्ण प्रतिच्छेदन नहीं होने वाले सिंगुलर वक्रों के लिए अंकगणितीय जनक और अन्य अपरिवर्तों की गणना करने के लिए एक व्यावहारिक विधि प्रदान करता है, जिससे अवशेष वक्र $W$ के आदर्श की कठिन गणना से बचा जा सकता है।
• इक्विसिंगुलैरिटी (Equisingularity): विसंगति इक्विसिंगुलैरिटी के अध्ययन के लिए एक उपकरण के रूप में कार्य करती है, क्योंकि यह फ्लैट विरूपण (flat deformations) के तहत स्थिर रहती है (उप-परिणाम 5.4)।
• सामान्यीकरण: परिणाम समतल वक्रों से परे произво (arbitrary) कोडिमेंशन के वक्रों तक विस्तारित होते हैं, जिसमें स्थानीय रूप से स्मूदेबल (smoothable) विलक्षणताएं भी शामिल हैं।
• सैद्धांतिक गहराई: उच्च आयामों में लिंकेज सिद्धांत के लिए गैर-गोरेनस्टीन स्कीम्स के लिए एडजंक्शन सूत्र प्राप्त करने के लिए ग्रोथेंडिक द्वैतता का उपयोग एक मजबूत सैद्धांतिक आधार प्रदान करता है।

संक्षेप में, यह शोध पत्र एक सुदृढ़ संख्यात्मक अपरिवर्त ($I(X, W)$) प्रस्तुत करता है जो एक वक्र की ज्यामिति और उसके पूर्ण प्रतिच्छेदन आवरण के बीच के अंतर को पाटता है, जो गहरे सैद्धांतिक अंतर्दृष्ट और व्यावहारिक संगणनात्मक उपकरण दोनों प्रदान करता है।