पिकार्ड समूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 3: Line 3:
गणित में, [[चक्राकार स्थान|वलययुक्त समिष्ट]] ''X'' का '''पिकार्ड समूह''', जिसे Pic(''X'') द्वारा निरूपित किया जाता है, ''X'' पर उल्टे शीव्स (या [[लाइन बंडल]]) के समरूपता वर्गों का समूह है, इस प्रकार [[समूह संचालन]] [[टेंसर उत्पाद]] है। यह निर्माण विभाजक वर्ग समूह, या [[आदर्श वर्ग समूह]] के निर्माण का वैश्विक संस्करण है, और इसका उपयोग [[बीजगणितीय ज्यामिति]] और समष्टि मैनिफ़ोल्ड के सिद्धांत में बहुत अधिक किया जाता है।
गणित में, [[चक्राकार स्थान|वलययुक्त समिष्ट]] ''X'' का '''पिकार्ड समूह''', जिसे Pic(''X'') द्वारा निरूपित किया जाता है, ''X'' पर उल्टे शीव्स (या [[लाइन बंडल]]) के समरूपता वर्गों का समूह है, इस प्रकार [[समूह संचालन]] [[टेंसर उत्पाद]] है। यह निर्माण विभाजक वर्ग समूह, या [[आदर्श वर्ग समूह]] के निर्माण का वैश्विक संस्करण है, और इसका उपयोग [[बीजगणितीय ज्यामिति]] और समष्टि मैनिफ़ोल्ड के सिद्धांत में बहुत अधिक किया जाता है।


वैकल्पिक रूप से, पिकार्ड समूह को [[शीफ़ कोहोमोलोजी]] समूह के रूप में परिभाषित किया जा सकता है
वैकल्पिक रूप से, पिकार्ड समूह को [[शीफ़ कोहोमोलोजी]] समूह के रूप में परिभाषित किया जा सकता है                                                                                                                


:<math>H^1 (X, \mathcal{O}_X^{*}).\,</math>
:<math>H^1 (X, \mathcal{O}_X^{*}).\,</math>
Line 13: Line 13:
* [[डेडेकाइंड डोमेन]] के रिंग के स्पेक्ट्रम का पिकार्ड समूह इसका आदर्श वर्ग समूह है।
* [[डेडेकाइंड डोमेन]] के रिंग के स्पेक्ट्रम का पिकार्ड समूह इसका आदर्श वर्ग समूह है।
*k क्षेत्र के लिए प्रक्षेप्य [[प्रक्षेप्य स्थान|समिष्ट]] P<sup>n</sup>(k) पर विपरीत शीव्स घुमाने वाले शीव्स <math>\mathcal{O}(m),\,</math> हैं, इसलिए P<sup>n</sup>(k) का पिकार्ड समूह Z के लिए समरूपी है।
*k क्षेत्र के लिए प्रक्षेप्य [[प्रक्षेप्य स्थान|समिष्ट]] P<sup>n</sup>(k) पर विपरीत शीव्स घुमाने वाले शीव्स <math>\mathcal{O}(m),\,</math> हैं, इसलिए P<sup>n</sup>(k) का पिकार्ड समूह Z के लिए समरूपी है।
*k पर दो मूलों वाली f़िन लाइन का पिकार्ड समूह 'Z' के लिए समरूपी है।
*k पर दो मूलों वाली एफ़िन लाइन का पिकार्ड समूह 'Z' के लिए समरूपी है।
*पिकार्ड समूह <math>n</math>-आयामी समष्टि f़िन स्पेस: <math>\operatorname{Pic}(\mathbb{C}^n)=0</math>, वास्तव में घातीय अनुक्रम कोहोलॉजी में निम्नलिखित लंबे स्पष्ट अनुक्रम उत्पन्न करता है
*पिकार्ड समूह <math>n</math>-आयामी समष्टि एफ़िन समष्टि: <math>\operatorname{Pic}(\mathbb{C}^n)=0</math>, वास्तव में घातीय अनुक्रम कोहोलॉजी में निम्नलिखित लंबे स्पष्ट अनुक्रम उत्पन्न करता है
*:<math> \dots\to H^1(\mathbb{C}^n,\underline{\mathbb{Z}})\to H^1(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n}) \to H^1(\mathbb{C}^n,\mathcal{O}^\star_{\mathbb{C}^n})\to H^2(\mathbb{C}^n,\underline{\mathbb{Z}})\to\cdots</math>
*:<math> \dots\to H^1(\mathbb{C}^n,\underline{\mathbb{Z}})\to H^1(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n}) \to H^1(\mathbb{C}^n,\mathcal{O}^\star_{\mathbb{C}^n})\to H^2(\mathbb{C}^n,\underline{\mathbb{Z}})\to\cdots</math>
:और तबसे <math>H^k(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq H_{\scriptscriptstyle\rm sing}^k(\mathbb{C}^n;\mathbb{Z})</math> अपने पास <math>H^1(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq H^2(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq 0</math> क्योंकि <math>\mathbb{C}^n</math> तो फिर, अनुबंध योग्य है <math>H^1(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n}) \simeq H^1(\mathbb{C}^n,\mathcal{O}^\star_{\mathbb{C}^n})</math> और हम गणना करने के लिए डॉल्बियॉल्ट कोहोमोलॉजी#डॉलब्यूल्ट प्रमेय को प्रयुक्त कर सकते हैं <math>H^1(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n})\simeq H^1(\mathbb{C}^n,\Omega^0_{\mathbb{C}^n})\simeq H^{0,1}_{\bar{\partial}}(\mathbb{C}^n)=0</math> डॉल्बियॉल्ट कोहोमोलॉजी द्वारा#डॉलबियॉल्ट-ग्रोथेंडिक लेम्माटा|डॉलबियॉल्ट-ग्रोथेंडिक लेम्मा।
:और चूँकि <math>H^k(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq H_{\scriptscriptstyle\rm sing}^k(\mathbb{C}^n;\mathbb{Z})</math><ref>[[Sheaf cohomology#Sheaf cohomology with constant coefficients]]</ref> हमारे पास <math>H^1(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq H^2(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq 0</math> है क्योंकि <math>\mathbb{C}^n</math> अनुबंध योग्य है, तो <math>H^1(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n}) \simeq H^1(\mathbb{C}^n,\mathcal{O}^\star_{\mathbb{C}^n})</math> और हम डॉल्बियॉल्ट कोहोमोलॉजी लेम्मा द्वारा <math>H^1(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n})\simeq H^1(\mathbb{C}^n,\Omega^0_{\mathbb{C}^n})\simeq H^{0,1}_{\bar{\partial}}(\mathbb{C}^n)=0</math> की गणना करने के लिए डॉल्बियॉल्ट समरूपता प्रयुक्त कर सकते हैं।
:और चूँकि <math>H^k(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq H_{\scriptscriptstyle\rm sing}^k(\mathbb{C}^n;\mathbb{Z})</math><ref>[[Sheaf cohomology#Sheaf cohomology with constant coefficients]]</ref> हमारे पास <math>H^1(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq H^2(\mathbb{C}^n,\underline{\mathbb{Z}})\simeq 0</math> है क्योंकि <math>\mathbb{C}^n</math> अनुबंध योग्य है, तो <math>H^1(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n}) \simeq H^1(\mathbb{C}^n,\mathcal{O}^\star_{\mathbb{C}^n})</math> और हम डॉल्बियॉल्ट कोहोमोलॉजी लेम्मा द्वारा <math>H^1(\mathbb{C}^n,\mathcal{O}_{\mathbb{C}^n})\simeq H^1(\mathbb{C}^n,\Omega^0_{\mathbb{C}^n})\simeq H^{0,1}_{\bar{\partial}}(\mathbb{C}^n)=0</math> की गणना करने के लिए डॉल्बियॉल्ट समरूपता प्रयुक्त कर सकते हैं।


==पिकार्ड स्कीम==
==पिकार्ड स्कीम                                                                                                                                                                                                                             ==
पिकार्ड समूह, पिकार्ड स्कीम (के प्रतिनिधित्व योग्य फ़नकार संस्करण) पर स्कीम संरचना का निर्माण, बीजगणितीय ज्यामिति में महत्वपूर्ण कदम है, विशेष रूप से एबेलियन विभिन्नताों के द्वैत सिद्धांत में इसका निर्माण किया गया था {{harvtxt|ग्रोथेंडिक|1962}}, और द्वारा भी वर्णित है {{harvtxt|मम्फोर्ड|1966}} और {{harvtxt|क्लेमन|2005}}.
पिकार्ड समूह, पिकार्ड स्कीम (के प्रतिनिधित्व योग्य फ़नकार संस्करण) पर स्कीम संरचना का निर्माण, बीजगणितीय ज्यामिति में महत्वपूर्ण कदम है, विशेष रूप से एबेलियन विभिन्नताों के द्वैत सिद्धांत में इसका निर्माण किया गया था {{harvtxt|ग्रोथेंडिक|1962}}, और द्वारा भी वर्णित है {{harvtxt|मम्फोर्ड|1966}} और {{harvtxt|क्लेमन|2005}}.


Line 27: Line 26:


:<math>1\to \mathrm{Pic}^0(V)\to\mathrm{Pic}(V)\to \mathrm{NS}(V)\to 1.\,</math>
:<math>1\to \mathrm{Pic}^0(V)\to\mathrm{Pic}(V)\to \mathrm{NS}(V)\to 1.\,</math>
तथ्य यह है कि ns (वी) का रैंक परिमित है, [[फ्रांसिस सेवेरी]] का 'आधार का प्रमेय' है; रैंक V का 'पिकार्ड नंबर' है, जिसे अधिकांशतः ρ(V) से दर्शाया जाता है। ज्यामितीय रूप से ns(v) पर वि[[भाजक (बीजगणितीय ज्यामिति)]] के बीजगणितीय तुल्यता वर्गों का वर्णन करता है; अर्थात्, विभाजकों की रैखिक तुल्यता के समिष्ट पर सशक्त, गैर-रैखिक तुल्यता संबंध का उपयोग करके, वर्गीकरण असतत अपरिवर्तनीयों के लिए उत्तरदायी हो जाता है। बीजगणितीय तुल्यता [[संख्यात्मक तुल्यता]] से निकटता से संबंधित है, जो प्रतिच्छेदन संख्याओं द्वारा अनिवार्य रूप से टोपोलॉजिकल वर्गीकरण है।
तथ्य यह है कि ns (V) का रैंक परिमित है, [[फ्रांसिस सेवेरी]] का 'आधार का प्रमेय' है; रैंक V का 'पिकार्ड नंबर' है, जिसे अधिकांशतः ρ(V) से दर्शाया जाता है। ज्यामितीय रूप से ns(v) पर वि[[भाजक (बीजगणितीय ज्यामिति)]] के बीजगणितीय तुल्यता वर्गों का वर्णन करता है; अर्थात्, विभाजकों की रैखिक तुल्यता के समिष्ट पर सशक्त, गैर-रैखिक तुल्यता संबंध का उपयोग करके, वर्गीकरण असतत अपरिवर्तनीयों के लिए उत्तरदायी हो जाता है। बीजगणितीय तुल्यता [[संख्यात्मक तुल्यता]] से निकटता से संबंधित है, जो प्रतिच्छेदन संख्याओं द्वारा अनिवार्य रूप से टोपोलॉजिकल वर्गीकरण है।


== सापेक्ष पिकार्ड स्कीम ==
== सापेक्ष पिकार्ड स्कीम                                                                                                                                                                                                                         ==
मान लीजिए f: X →S स्कीमओं का रूप है। 'सापेक्ष पिकार्ड फ़ैक्टर' (या 'सापेक्ष पिकार्ड स्कीम' यदि यह स्कीम है) द्वारा दी गई है:<ref>{{harvnb|Kleiman|2005|loc=Definition 9.2.2.}}</ref> किसी भी s-स्कीम टी के लिए,
मान लीजिए f: X →S स्कीमओं का रूप है। 'सापेक्ष पिकार्ड फ़ैक्टर' (या 'सापेक्ष पिकार्ड स्कीम' यदि यह स्कीम है) द्वारा दी गई है:<ref>{{harvnb|Kleiman|2005|loc=Definition 9.2.2.}}</ref> किसी भी s-स्कीम T के लिए,
:<math>\operatorname{Pic}_{X/S}(T) = \operatorname{Pic}(X_T)/f_T^*(\operatorname{Pic}(T))</math>
:<math>\operatorname{Pic}_{X/S}(T) = \operatorname{Pic}(X_T)/f_T^*(\operatorname{Pic}(T))</math>
कहाँ <math>f_T: X_T \to T</math> <sub>''T''</sub> f और f का आधार परिवर्तन है.
जहाँ <math>f_T: X_T \to T</math> <sub>''T''</sub> f और f का आधार परिवर्तन है.                                                                                                                                                                                                                                      


हम कहते हैं L इन <math>\operatorname{Pic}_{X/S}(T)</math> यदि किसी ज्यामितीय बिंदु s → T के लिए पुलबैक है तो इसकी डिग्री r है इस प्रकार <math>s^*L</math> s के साथ L की डिग्री आर फाइबर x<sub>''s''</sub> पर उलटा शीफ ​​के रूप में है (जब डिग्री को x<sub>''s''</sub> के पिकार्ड समूह के लिए परिभाषित किया गया है)
हम कहते हैं L इन <math>\operatorname{Pic}_{X/S}(T)</math> यदि किसी ज्यामितीय बिंदु s → T के लिए पुलबैक है तो इसकी डिग्री r है इस प्रकार <math>s^*L</math> s के साथ L की डिग्री आर फाइबर x<sub>''s''</sub> पर उलटा शीफ ​​के रूप में है (जब डिग्री को x<sub>''s''</sub> के पिकार्ड समूह के लिए परिभाषित किया गया है)


==यह भी देखें==
==यह भी देखें                                                                                                                                                                                                                                         ==
*शीफ कोहोमोलोजी
*शीफ कोहोमोलोजी
*[[चाउ किस्म|चाउ विभिन्नता]]
*[[चाउ किस्म|चाउ विभिन्नता]]
Line 57: Line 56:
*{{Citation | last1=Mumford | first1=David | author1-link=David Mumford | title=Lectures on Curves on an Algebraic Surface | publisher=[[Princeton University Press]] | series=Annals of Mathematics Studies | isbn=978-0-691-07993-6 | mr=0209285  | year=1966 | volume=59| oclc=171541070}}
*{{Citation | last1=Mumford | first1=David | author1-link=David Mumford | title=Lectures on Curves on an Algebraic Surface | publisher=[[Princeton University Press]] | series=Annals of Mathematics Studies | isbn=978-0-691-07993-6 | mr=0209285  | year=1966 | volume=59| oclc=171541070}}
* {{Citation | last1=Mumford | first1=David | author1-link= David Mumford | title=Abelian varieties | publisher=[[Oxford University Press]] | location=Oxford | isbn=978-0-19-560528-0 | oclc=138290 | year=1970}}
* {{Citation | last1=Mumford | first1=David | author1-link= David Mumford | title=Abelian varieties | publisher=[[Oxford University Press]] | location=Oxford | isbn=978-0-19-560528-0 | oclc=138290 | year=1970}}
[[Category: भाजक की ज्यामिति]] [[Category: योजना सिद्धांत]] [[Category: एबेलियन किस्में]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category: Machine Translated Page]]
[[Category:Created On 10/07/2023]]
[[Category:Created On 10/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:एबेलियन किस्में]]
[[Category:भाजक की ज्यामिति]]
[[Category:योजना सिद्धांत]]

Latest revision as of 12:50, 28 July 2023

Not to be confused with पिकार्ड मॉड्यूलर समूह.

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

वैकल्पिक रूप से, पिकार्ड समूह को शीफ़ कोहोमोलोजी समूह के रूप में परिभाषित किया जा सकता है

अभिन्न स्कीम (गणित) के लिए पिकार्ड समूह कार्टियर विभाजक के वर्ग समूह के समरूपी है। समष्टि मैनिफ़ोल्ड के लिए घातीय शीफ़ अनुक्रम पिकार्ड समूह पर मूलभूत जानकारी देता है।

यह नाम एमिल पिकार्ड के सिद्धांतों, विशेष रूप से बीजगणितीय सतह पर विभाजक के सम्मान में है।

उदाहरण

  • डेडेकाइंड डोमेन के रिंग के स्पेक्ट्रम का पिकार्ड समूह इसका आदर्श वर्ग समूह है।
  • k क्षेत्र के लिए प्रक्षेप्य समिष्ट Pn(k) पर विपरीत शीव्स घुमाने वाले शीव्स हैं, इसलिए Pn(k) का पिकार्ड समूह Z के लिए समरूपी है।
  • k पर दो मूलों वाली एफ़िन लाइन का पिकार्ड समूह 'Z' के लिए समरूपी है।
  • पिकार्ड समूह -आयामी समष्टि एफ़िन समष्टि: , वास्तव में घातीय अनुक्रम कोहोलॉजी में निम्नलिखित लंबे स्पष्ट अनुक्रम उत्पन्न करता है
और चूँकि [1] हमारे पास है क्योंकि अनुबंध योग्य है, तो और हम डॉल्बियॉल्ट कोहोमोलॉजी लेम्मा द्वारा की गणना करने के लिए डॉल्बियॉल्ट समरूपता प्रयुक्त कर सकते हैं।

पिकार्ड स्कीम

पिकार्ड समूह, पिकार्ड स्कीम (के प्रतिनिधित्व योग्य फ़नकार संस्करण) पर स्कीम संरचना का निर्माण, बीजगणितीय ज्यामिति में महत्वपूर्ण कदम है, विशेष रूप से एबेलियन विभिन्नताों के द्वैत सिद्धांत में इसका निर्माण किया गया था ग्रोथेंडिक (1962), और द्वारा भी वर्णित है मम्फोर्ड (1966) और क्लेमन (2005).

मौलिक बीजगणितीय ज्यामिति के लिए सबसे महत्वपूर्ण स्थितियों में, बीजगणितीय वक्र या एकवचन या गैर-एकवचन पूर्ण विविधता V के लिए विशेषता (बीजगणित) शून्य के क्षेत्र (गणित) पर, पिकार्ड स्कीम में पहचान का कनेक्टेड समिष्ट एबेलियन है विभिन्नता को 'पिकार्ड विभिन्नता' कहा जाता है और चित्र से दर्शाया जाता है. पिकार्ड विभिन्नता की दोहरी जैकोबियन विभिन्नता है, और विशेष स्थिति में जहां v वक्र है, पिकार्ड विभिन्नता स्वाभाविक रूप से v की जैकोबियन विभिन्नता के लिए आइसोमोर्फिक है। चूँकि, धनात्मक विशेषता वाले क्षेत्रों के लिए, नेरॉन-सेवेरी समूह ने उदाहरण का निर्माण किया छवि के साथ स्मूथ प्रक्षेप्य सतह s0(s) गैर-कम, और इसलिए एबेलियन विभिन्नता नहीं है।

भागफल Pic(V) या Pic0(V) सूक्ष्म रूप से उत्पन्न एबेलियन समूह है जिसे NS(V) कहा जाता है, जो V का 'नेरॉन-सेवेरी समूह' है। दूसरे शब्दों में पिकार्ड समूह स्पष्ट अनुक्रम में फिट बैठता है

तथ्य यह है कि ns (V) का रैंक परिमित है, फ्रांसिस सेवेरी का 'आधार का प्रमेय' है; रैंक V का 'पिकार्ड नंबर' है, जिसे अधिकांशतः ρ(V) से दर्शाया जाता है। ज्यामितीय रूप से ns(v) पर विभाजक (बीजगणितीय ज्यामिति) के बीजगणितीय तुल्यता वर्गों का वर्णन करता है; अर्थात्, विभाजकों की रैखिक तुल्यता के समिष्ट पर सशक्त, गैर-रैखिक तुल्यता संबंध का उपयोग करके, वर्गीकरण असतत अपरिवर्तनीयों के लिए उत्तरदायी हो जाता है। बीजगणितीय तुल्यता संख्यात्मक तुल्यता से निकटता से संबंधित है, जो प्रतिच्छेदन संख्याओं द्वारा अनिवार्य रूप से टोपोलॉजिकल वर्गीकरण है।

सापेक्ष पिकार्ड स्कीम

मान लीजिए f: X →S स्कीमओं का रूप है। 'सापेक्ष पिकार्ड फ़ैक्टर' (या 'सापेक्ष पिकार्ड स्कीम' यदि यह स्कीम है) द्वारा दी गई है:[2] किसी भी s-स्कीम T के लिए,

जहाँ T f और f का आधार परिवर्तन है.

हम कहते हैं L इन यदि किसी ज्यामितीय बिंदु s → T के लिए पुलबैक है तो इसकी डिग्री r है इस प्रकार s के साथ L की डिग्री आर फाइबर xs पर उलटा शीफ ​​के रूप में है (जब डिग्री को xs के पिकार्ड समूह के लिए परिभाषित किया गया है)

यह भी देखें

टिप्पणियाँ

  1. ↑ Sheaf cohomology#Sheaf cohomology with constant coefficients
  2. ↑ Kleiman 2005, Definition 9.2.2.

संदर्भ

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=पिकार्ड_समूह&oldid=229178’