स्थिर सदिश बंडल

गणित में, स्थिर सदिश बंडल एक (होलोमोर्फिक या बीजगणितीय) सदिश बंडल होता है जो ज्यामितीय अपरिवर्तनीय सिद्धांत के अर्थ में स्थिर होता है। किसी भी होलोमोर्फिक सदिश बंडल को हार्डर-नरसिम्हन निस्पंदन का उपयोग करके स्थिर लोगों से बनाया जा सकता है। स्थिर बंडलों को डेविड ममफोर्ड (1963) द्वारा परिभाषित किया गया था और बाद में डेविड गिसेकर, फेडर बोगोमोलोव, थॉमस ब्रिजलैंड और कई अन्य लोगों द्वारा बनाया गया था।

प्रेरणा

स्थिर सदिश बंडलों का विश्लेषण करने की प्रेरणाओं में से एक परिवारों में उनका अच्छा व्यवहार है। वास्तव में, स्थिर सदिश बंडलों के मॉड्यूली रिक्त स्थान का निर्माण कई मामलों में कोट योजना का उपयोग करके किया जा सकता है, जबकि सदिश बंडलों का ढेर $\mathbf {B} GL_{n}$ ढेर कला है जिसका अंतर्निहित सेट एकल बिंदु है।

यहां सदिश बंडलों के परिवार का उदाहरण दिया गया है जो असंतोषजनक तरीके से पतित होता है। यदि हम यूलर अनुक्रम को टेंसर करते हैं $\mathbb {P} ^{1}$ द्वारा ${\mathcal {O}}(1)$ सटीक अनुक्रम है

$0\to {\mathcal {O}}(-1)\to {\mathcal {O}}\oplus {\mathcal {O}}\to {\mathcal {O}}(1)\to 0$

जो गैर-शून्य तत्व का प्रतिनिधित्व करता है $v\in {\text{Ext}}^{1}({\mathcal {O}}(1),{\mathcal {O}}(-1))\cong k$ चूंकि तुच्छ सटीक अनुक्रम का प्रतिनिधित्व करता है $0$ सदिश है

$0\to {\mathcal {O}}(-1)\to {\mathcal {O}}(-1)\oplus {\mathcal {O}}(1)\to {\mathcal {O}}(1)\to 0$

यदि हम सदिश बंडलों के परिवार पर विचार करते हैं $E_{t}$ से विस्तार में $t\cdot v$ के लिए $t\in \mathbb {A} ^{1}$, संक्षिप्त सटीक अनुक्रम हैं

$0\to {\mathcal {O}}(-1)\to E_{t}\to {\mathcal {O}}(1)\to 0$

जिसमें चेर्न कक्षाएं हैं $c_{1}=0,c_{2}=0$ सामान्यतः, परंतु है $c_{1}=0,c_{2}=-1$ मूल पर. संख्यात्मक अपरिवर्तनीयों की इस प्रकार की छलांग स्थिर सदिश बंडलों के मॉड्यूलि स्थानों में नहीं होती है।

वक्रों पर स्थिर सदिश बंडल

गैर-एकवचन बीजगणितीय वक्र (या रीमैन सतह पर) पर एक होलोमोर्फिक सदिश बंडल डब्ल्यू का ढाल एक तर्कसंगत संख्या μ(W) = डिग्री(W)/रैंक(W)है। बंडल W स्थिर है यदि और केवल यदि

$\mu (V)<\mu (W)$

W के सभी उचित गैर-शून्य उपसमूह V के लिए और अर्धस्थिर है यदि

$\mu (V)\leq \mu (W)$

W के सभी उचित गैर-शून्य सबबंडल V के लिए। अनौपचारिक रूप से यह कहता है कि बंडल स्थिर है यदि यह किसी भी उचित सबबंडल से "अधिक पर्याप्त" है, और अस्थिर है यदि इसमें "अधिक पर्याप्त" सबबंडल है।

यदि W और V अर्धस्थिर सदिश बंडल हैं और μ(W) >μ(V), तो कोई गैर-शून्य मानचित्र W → V नहीं हैं।

डेविड ममफोर्ड ने साबित किया कि गैर-एकवचन वक्र पर दिए गए रैंक और डिग्री के स्थिर बंडलों का मॉड्यूलि स्थान एक अर्धप्रोजेक्टिव बीजगणितीय विविधता है। एक वक्र पर स्थिर सदिश बंडलों के मॉड्यूलि स्पेस की सह-समरूपता का वर्णन किया गया था हार्डर & नरसिम्हन (1975) परिमित क्षेत्रों पर बीजगणितीय ज्यामिति का उपयोग करके और अतियाह & बॉट (1983) द्वारा नरसिम्हन- शेषाद्रि दृष्टिकोण का उपयोग करके किया गया था।

उच्च आयामों में स्थिर सदिश बंडल

यदि 'डेविड गिसेकर स्थिर') यदि

${\frac {\chi (V(nH))}{{\hbox{rank}}(V)}}<{\frac {\chi (W(nH))}{{\hbox{rank}}(W)}}{\text{ for }}n{\text{ large}}$

W के सभी उचित गैर-शून्य उपसमूह (या सबशेव्स) V के लिए, जहां χ बीजगणितीय सदिश बंडल की यूलर विशेषता को दर्शाता है और सदिश बंडल V (nH) का मतलब H द्वारा V के एन-वें सेरे मोड़ है। W को अर्धस्थिर कहा जाता है यदि उपरोक्त ≤ द्वारा प्रतिस्थापित < के साथ रखा जाता है।

ढाल स्थिरता

वक्रों पर बंडलों के लिए ढालों और हिल्बर्ट बहुपद की वृद्धि द्वारा परिभाषित स्थिरता मेल खाती है। उच्च आयामों में, ये दोनों धारणाएँ अलग-अलग हैं और इनके अलग-अलग फायदे हैं। गिसेकर स्थिरता की व्याख्या ज्यामितीय अपरिवर्तनीय सिद्धांत के संदर्भ में की गई है, जबकि μ-स्थिरता में टेंसर उत्पादों, पुलबैक आदि के लिए बेहतर गुण हैं।

मान लीजिए कि X आयाम n की सहज प्रक्षेप्य विविधता है, H इसका हाइपरप्लेन अनुभाग है। H के संबंध में सदिश बंडल (या, अधिक सामान्यतः, मरोड़-मुक्त सुसंगत शीफ) E का 'ढाल' तर्कसंगत संख्या है जिसे इस प्रकार परिभाषित किया गया है

$\mu (E):={\frac {c_{1}(E)\cdot H^{n-1}}{\operatorname {rk} (E)}}$

जहां c₁ प्रथम चेर्न वर्ग है। H पर निर्भरता अक्सर नोटेशन से हटा दी जाती है।

एक मरोड़-मुक्त सुसंगत शीफ E μ-अर्धस्थिर है यदि किसी गैर-शून्य उपशीफ F ⊆ E के लिए ढाल असमानता μ(F) ≤ μ(E) को संतुष्ट करते हैं। यह μ-स्थिर है, यदि इसके अलावा, छोटी रैंक के किसी भी गैर-शून्य उपशीर्ष F ⊆ E के लिए सख्त असमानता μ(F) < μ(E) कायम है। स्थिरता की इस धारणा को ढाल स्थिरता, μ-स्थिरता, कभी-कभी ममफोर्ड स्थिरता या ताकेमोटो स्थिरता कहा जा सकता है।

सदिश बंडल E के लिए निहितार्थों की निम्नलिखित श्रृंखला लागू होती है E μ-स्थिर है ⇒ E स्थिर है ⇒ E अर्धस्थिर है ⇒ E μ-अर्धस्थिर है।

हार्डर-नरसिम्हन निस्पंदन

Main article: कठिन-नरसिम्हन स्तरीकरण

मान लीजिए E चिकने प्रक्षेप्य वक्र X पर सदिश बंडल है। तब उपबंडलों द्वारा अद्वितीय निस्पंदन (गणित) मौजूद होता है

$0=E_{0}\subset E_{1}\subset \ldots \subset E_{r+1}=E$

जैसे कि संबंधित श्रेणीबद्ध मॉड्यूल घटक F_i := E_i+1/E_i अर्धस्थिर सदिश बंडल हैं और ढाल कम हो जाते हैं, μ(F_i) > μ(F_i+1) इस निस्पंदन को हार्डर & नरसिम्हन (1975) में पेश किया गया था और इसे हार्डर-नरसिम्हन निस्पंदन कहा जाता है। समरूपी संबद्ध ग्रेड वाले दो सदिश बंडलों को S-समतुल्य कहा जाता है।

उच्च-आयामी किस्मों पर निस्पंदन भी हमेशा मौजूद होता है और अद्वितीय होता है, परंतु संबंधित वर्गीकृत घटक अब बंडल नहीं हो सकते हैं। गिसेकर स्थिरता के लिए ढालों के बीच की असमानताओं को हिल्बर्ट बहुपदों के बीच की असमानताओं से प्रतिस्थापित किया जाना चाहिए।

कोबायाशी-हिचिन पत्राचार

Main article: कोबायाशी-हिचिन पत्राचार

नरसिम्हन-शेषाद्रि प्रमेय का कहना है कि प्रक्षेप्य व्युत्क्रमणीय वक्र पर स्थिर बंडल उन बंडलों के समान होते हैं जिनमें प्रक्षेप्य रूप से सपाट एकात्मक अपरिवर्तनीय कनेक्शन होते है। डिग्री 0 के बंडलों के लिए प्रोजेक्टिवली फ्लैट कनेक्शन फ्लैट सदिश बंडल होते हैं और इस प्रकार डिग्री 0 के स्थिर बंडल मौलिक समूह के अपरिवर्तनीय एकात्मक प्रतिनिधित्व के अनुरूप होते हैं।

कोबायाशी और हिचिन ने उच्च आयामों में इसके एक एनालॉग का अनुमान लगाया। इसे डोनाल्डसन (1985) प्रक्षेप्य व्युत्क्रमणीय सतहों के लिए सिद्ध किया गया था, जिन्होंने दिखाया था कि इस मामले में सदिश बंडल स्थिर है यदि और केवल तभी जब इसमें इरेड्यूसेबल हर्मिटियन-आइंस्टीन कनेक्शन है।

सामान्यीकरण

हिल्बर्ट सामान्यीकरण बहुपद का उपयोग करके गैर-चिकनी प्रक्षेप्य योजनाओं और अधिक सामान्य सुसंगत शीव्स के लिए (μ-) स्थिरता को सामान्य बनाना संभव है। मान लीजिए कि X एक प्रक्षेप्य योजना है, d एक प्राकृतिक संख्या है, E मंद Supp(E) = d के साथ E का हिल्बर्ट बहुपद P_E(m) = Σd i=0 α_i(E)/(i!) mⁱ के रूप में लिखें घटे हुए हिल्बर्ट बहुपद p_E := P_E/α_d(E) पृष्ठ को परिभाषित करें।

यदि निम्नलिखित दो शर्तें पूरी होती हैं तो एक सुसंगत शीफ E अर्धस्थिर है

• E, आयाम d से शुद्ध है, अर्थात E के सभी संबद्ध अभाज्य संख्याओं का आयाम d है,
• किसी भी उचित अशून्य उपशीर्षक F ⊆ E के लिए कम किए गए हिल्बर्ट बहुपद बड़े m के लिए p_F(m) ≤ p_E(m) को संतुष्ट करते हैं।

यदि सख्त असमानता p_F(m) < p_E(m) बड़े m के लिए है तो एक शीफ को स्थिर कहा जाता है ।

मान लीजिए कि Coh_d(X) आयाम ≤ d के समर्थन के साथ X पर सुसंगत शीव्स की पूर्ण उपश्रेणी है। Coh_d में किसी वस्तु F का ढाल को हिल्बर्ट बहुपद के गुणांकों का उपयोग करके परिभाषित किया जा सकता है यदि${\hat {\mu }}_{d}(F)=\alpha _{d-1}(F)/\alpha _{d}(F)$ α_d(F) ≠ 0 और 0 अन्यथा। ${\hat {\mu }}_{d}$ की निर्भरता सामान्यतः डी को नोटेशन से हटा दिया जाता है।

सुसंगत शीफ E के साथ $\operatorname {dim} \,\operatorname {Supp} (E)=d$ यदि निम्नलिखित दो शर्तें पूरी होती हैं, तो इसे μ-अर्धस्थिर कहा जाता है

• E का मरोड़ आयाम ≤ d-2 में है,
• किसी भागफल श्रेणी में Coh_d(X)/Coh_d-1(X) किसी भी गैर-शून्य उप-वस्तु के लिए F ⊆ E हमारे पास है ${\hat {\mu }}(F)\leq {\hat {\mu }}(E)$.

यदि E के सभी उचित गैर-शून्य उप-वस्तुओं के लिए सख्त असमानता लागू रहती है, तो E μ-स्थिर है।

ध्यान दें कि Coh_d किसी भी d के लिए एक सेरे उपश्रेणी है, इसलिए भागफल श्रेणी मौजूद है। सामान्य रूप से भागफल श्रेणी में एक उप-वस्तु एक उपशीर्षक से नहीं आती है, परंतु मरोड़-मुक्त ढेरों के लिए मूल परिभाषा और d = n के लिए सामान्य परिभाषा समान हैं।

सामान्यीकरण के लिए अन्य दिशाएँ भी हैं, उदाहरण के लिए ब्रिजलैंड की स्थिरता स्थितियाँ।

कोई स्थिर सदिश बंडलों के अनुरूप स्थिर मुख्य बंडलों को परिभाषित कर सकता है।

यह भी देखें

• कोबायाशी-हिचिन पत्राचार
• कॉर्लेट-सिम्पसन पत्राचार
• उद्धरण योजना

संदर्भ

• Atiyah, Michael Francis; Bott, Raoul (1983), "The Yang-Mills equations over Riemann surfaces", Philosophical Transactions of the Royal Society of London. Series A. Mathematical and Physical Sciences, 308 (1505): 523–615, doi:10.1098/rsta.1983.0017, ISSN 0080-4614, JSTOR 37156, MR 0702806
• Donaldson, S. K. (1985), "Anti self-dual Yang-Mills connections over complex algebraic surfaces and stable vector bundles", Proceedings of the London Mathematical Society, Third Series, 50 (1): 1–26, doi:10.1112/plms/s3-50.1.1, ISSN 0024-6115, MR 0765366
• Friedman, Robert (1998), Algebraic surfaces and holomorphic vector bundles, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98361-5, MR 1600388
• Harder, G.; Narasimhan, M. S. (1975), "On the cohomology groups of moduli spaces of vector bundles on curves", Mathematische Annalen, 212 (3): 215–248, doi:10.1007/BF01357141, ISSN 0025-5831, MR 0364254
• Huybrechts, Daniel; Lehn, Manfred (2010), The Geometry of Moduli Spaces of Sheaves, Cambridge Mathematical Library (2nd ed.), Cambridge University Press, ISBN 978-0521134200
• Mumford, David (1963), "Projective invariants of projective structures and applications", Proc. Internat. Congr. Mathematicians (Stockholm, 1962), Djursholm: Inst. Mittag-Leffler, pp. 526–530, MR 0175899
• Mumford, David; Fogarty, J.; Kirwan, F. (1994), Geometric invariant theory, Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)], vol. 34 (3rd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-56963-3, MR 1304906 especially appendix 5C.
• Narasimhan, M. S.; Seshadri, C. S. (1965), "Stable and unitary vector bundles on a compact Riemann surface", Annals of Mathematics, Second Series, The Annals of Mathematics, Vol. 82, No. 3, 82 (3): 540–567, doi:10.2307/1970710, ISSN 0003-486X, JSTOR 1970710, MR 0184252