श्वार्ज़ियन व्युत्पन्न: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 123: Line 123:


: <math>S(f \circ g) = \left( S(f)\circ g\right ) \cdot(g')^2+S(g).</math>
: <math>S(f \circ g) = \left( S(f)\circ g\right ) \cdot(g')^2+S(g).</math>
श्वार्ज़ियन व्युत्पन्न को सर्कल पर डिग्री 2 के घनत्व के मॉड्यूल में गुणांक के साथ सर्कल के डिफोमोर्फिज्म समूह के निरंतर 1-कोसाइकल या [[पार समरूपता]] के रूप में व्याख्या करने की अनुमति देता है।<ref>{{harvnb|Ovsienko|Tabachnikov|2005|pages=21–22}}</ref>
श्वार्ज़ियन व्युत्पन्न को सर्कल पर डिग्री 2 के घनत्व के मॉड्यूल में गुणांक के साथ सर्कल के डिफोमोर्फिज्म समूह के निरंतर 1-सहचक्र या [[पार समरूपता]] के रूप में व्याख्या करने की अनुमति देता है।<ref>{{harvnb|Ovsienko|Tabachnikov|2005|pages=21–22}}</ref>
होने देना {{math|''F''<sub>''λ''</sub>('''S'''<sup>1</sup>)}}डिग्री के [[टेंसर घनत्व]] का स्थान हो {{math|''λ''}} पर {{math|'''S'''<sup>1</sup>}}. अभिविन्यास-संरक्षण भिन्नताओं का समूह {{math|'''S'''<sup>1</sup>, Diff('''S'''<sup>1</sup>)}}, पर कार्य करता है {{math|''F''<sub>''λ''</sub>('''S'''<sup>1</sup>)}} पुशफॉरवर्ड (अंतर) के माध्यम से। अगर {{math|''f''}} का एक तत्व है {{math|Diff('''S'''<sup>1</sup>)}} फिर मैपिंग पर विचार करें
होने देना {{math|''F''<sub>''λ''</sub>('''S'''<sup>1</sup>)}}डिग्री के [[टेंसर घनत्व]] का स्थान हो {{math|''λ''}} पर {{math|'''S'''<sup>1</sup>}}. अभिविन्यास-संरक्षण भिन्नताओं का समूह {{math|'''S'''<sup>1</sup>, Diff('''S'''<sup>1</sup>)}}, पर कार्य करता है {{math|''F''<sub>''λ''</sub>('''S'''<sup>1</sup>)}} पुशफॉरवर्ड (अंतर) के माध्यम से। अगर {{math|''f''}} का एक तत्व है {{math|Diff('''S'''<sup>1</sup>)}} फिर मैपिंग पर विचार करें


:<math>f \to S(f^{-1}).</math>
:<math>f \to S(f^{-1}).</math>
[[ समूह सहसंरचना ]] की भाषा में ऊपर दिया गया चेन-जैसा नियम कहता है कि यह मैपिंग 1-कोसाइकल पर है {{math|Diff('''S'''<sup>1</sup>)}} में गुणांक के साथ {{math|''F''<sub>2</sub>('''S'''<sup>1</sup>)}}. वास्तव में
[[ समूह सहसंरचना ]] की भाषा में ऊपर दिया गया चेन-जैसा नियम कहता है कि यह मैपिंग 1-सहचक्र पर है {{math|Diff('''S'''<sup>1</sup>)}} में गुणांक के साथ {{math|''F''<sub>2</sub>('''S'''<sup>1</sup>)}}. वास्तव में


:<math>H^1(\text{Diff}(\mathbf{S}^1);F_2 (\mathbf{S}^1)) = \mathbf{R}</math>
:<math>H^1(\text{Diff}(\mathbf{S}^1);F_2 (\mathbf{S}^1)) = \mathbf{R}</math>
Line 133: Line 133:


:<math>H^1(\text{Diff}(\mathbf{S}^1);F_\lambda (\mathbf{S}^1)) = \mathbf{R}\,\, \mathrm{for} \,\, \lambda=0,1,2\,\, \mathrm{and} \,\,(0) \,\,\mathrm{otherwise.}</math>
:<math>H^1(\text{Diff}(\mathbf{S}^1);F_\lambda (\mathbf{S}^1)) = \mathbf{R}\,\, \mathrm{for} \,\, \lambda=0,1,2\,\, \mathrm{and} \,\,(0) \,\,\mathrm{otherwise.}</math>
ध्यान दें कि यदि {{math|''G''}} एक समूह है और {{math|''M''}} ए {{math|''G''}}-मॉड्यूल, फिर एक क्रॉस्ड होमोमोर्फिज्म को परिभाषित करने वाली पहचान {{math|''c''}}  का {{math|''G''}} में {{math|''M''}} को समूहों के मानक समरूपता के संदर्भ में व्यक्त किया जा सकता है: यह एक समरूपता में एन्कोड किया गया है {{phi}} का {{math|''G''}} अर्धप्रत्यक्ष उत्पाद में <math>M\rtimes G</math> ऐसी है कि की रचना {{phi}} प्रक्षेपण के साथ <math>M\rtimes G</math> पर {{math|''G''}} पहचान मानचित्र है; पत्राचार मानचित्र द्वारा होता है {{math|1=''C''(''g'') = (''c''(''g''), ''g'')}}. क्रॉस्ड होमोमोर्फिज्म एक वेक्टर स्पेस बनाते हैं और इसमें उप-स्पेस के रूप में कोबाउंडरी क्रॉस्ड होमोमोर्फिज्म शामिल होते हैं {{math|1=''b''(''g'') = ''g'' ⋅ ''m'' − ''m''}} के लिए {{math|''m''}} में {{math|''M''}}. एक साधारण औसत तर्क यह दर्शाता है कि, यदि {{math|''K''}} एक सघन समूह है और {{math|''V''}} एक टोपोलॉजिकल वेक्टर स्पेस जिस पर K लगातार कार्य करता है, तो उच्च कोहोलॉजी समूह गायब हो जाते हैं {{math|1=''H''<sup>''m''</sup>(''K'', ''V'') = (0)}} के लिए {{math|''m'' > 0}}. विशेष रूप से 1-कोसाइकिल के लिए χ साथ
ध्यान दें कि यदि {{math|''G''}} एक समूह है और {{math|''M''}} ए {{math|''G''}}-मॉड्यूल, फिर एक क्रॉस्ड होमोमोर्फिज्म को परिभाषित करने वाली पहचान {{math|''c''}}  का {{math|''G''}} में {{math|''M''}} को समूहों के मानक समरूपता के संदर्भ में व्यक्त किया जा सकता है: यह एक समरूपता में एन्कोड किया गया है {{phi}} का {{math|''G''}} अर्धप्रत्यक्ष उत्पाद में <math>M\rtimes G</math> ऐसी है कि की रचना {{phi}} प्रक्षेपण के साथ <math>M\rtimes G</math> पर {{math|''G''}} पहचान मानचित्र है; पत्राचार मानचित्र द्वारा होता है {{math|1=''C''(''g'') = (''c''(''g''), ''g'')}}. क्रॉस्ड होमोमोर्फिज्म एक वेक्टर स्पेस बनाते हैं और इसमें उप-स्पेस के रूप में कोबाउंडरी क्रॉस्ड होमोमोर्फिज्म शामिल होते हैं {{math|1=''b''(''g'') = ''g'' ⋅ ''m'' − ''m''}} के लिए {{math|''m''}} में {{math|''M''}}. एक साधारण औसत तर्क यह दर्शाता है कि, यदि {{math|''K''}} एक सघन समूह है और {{math|''V''}} एक टोपोलॉजिकल वेक्टर स्पेस जिस पर K लगातार कार्य करता है, तो उच्च कोहोलॉजी समूह गायब हो जाते हैं {{math|1=''H''<sup>''m''</sup>(''K'', ''V'') = (0)}} के लिए {{math|''m'' > 0}}. विशेष रूप से 1-सहचक्र के लिए χ साथ


:<math>\chi(xy) = \chi(x) + x\cdot \chi(y),</math>
:<math>\chi(xy) = \chi(x) + x\cdot \chi(y),</math>
Line 145: Line 145:
{{math|1=''C''(''xgx''<sup>−1</sup>) = ''C''(''x'')''C''(''g'')''C''(''x'')<sup>−1</sup>}}, ताकि {{math|''c''}} समतुल्य स्थिति को संतुष्ट करता है {{math|1=''c''(''xgx''<sup>−1</sup>)&nbsp;=&nbsp;''x''&nbsp;⋅&nbsp;''c''(''g'')}}. इस प्रकार यह माना जा सकता है कि सहचक्र इन सामान्यीकरण शर्तों को पूरा करता है {{math|Rot('''S'''<sup>1</sup>)}}. श्वार्ज़ियन व्युत्पन्न वास्तव में जब भी गायब हो जाता है {{math|''x''}} एक मोबियस परिवर्तन के अनुरूप है {{math|SU(1,1)}}. नीचे चर्चा की गई अन्य दो 1-चक्र केवल गायब हो जाते हैं {{math|1=Rot('''S'''<sup>1</sup>) (''λ''&nbsp;=&nbsp;0, 1)}}.
{{math|1=''C''(''xgx''<sup>−1</sup>) = ''C''(''x'')''C''(''g'')''C''(''x'')<sup>−1</sup>}}, ताकि {{math|''c''}} समतुल्य स्थिति को संतुष्ट करता है {{math|1=''c''(''xgx''<sup>−1</sup>)&nbsp;=&nbsp;''x''&nbsp;⋅&nbsp;''c''(''g'')}}. इस प्रकार यह माना जा सकता है कि सहचक्र इन सामान्यीकरण शर्तों को पूरा करता है {{math|Rot('''S'''<sup>1</sup>)}}. श्वार्ज़ियन व्युत्पन्न वास्तव में जब भी गायब हो जाता है {{math|''x''}} एक मोबियस परिवर्तन के अनुरूप है {{math|SU(1,1)}}. नीचे चर्चा की गई अन्य दो 1-चक्र केवल गायब हो जाते हैं {{math|1=Rot('''S'''<sup>1</sup>) (''λ''&nbsp;=&nbsp;0, 1)}}.


इस परिणाम का एक अत्यंत छोटा संस्करण है जो 1-कोसाइकल देता है {{math|Vect('''S'''<sup>1</sup>)}}, चिकने सदिश क्षेत्रों का बीजगणित, और इसलिए [[विट बीजगणित]] के लिए, त्रिकोणमितीय बहुपद सदिश क्षेत्रों का उपबीजगणित। दरअसल, जब {{math|''G''}} एक झूठ समूह और की कार्रवाई है {{math|''G''}} पर {{math|''M''}} सुचारू है, लाई बीजगणित (पहचान पर समरूपता के व्युत्पन्न) के संगत समरूपता को ले कर प्राप्त किए गए पार समरूपता का एक झूठ बीजगणितीय संस्करण है। यह भी समझ आता है {{math|Diff('''S'''<sup>1</sup>)}} और 1-कोसाइकिल की ओर ले जाता है
इस परिणाम का एक अत्यंत छोटा संस्करण है जो 1-सहचक्र देता है {{math|Vect('''S'''<sup>1</sup>)}}, चिकने सदिश क्षेत्रों का बीजगणित, और इसलिए [[विट बीजगणित]] के लिए, त्रिकोणमितीय बहुपद सदिश क्षेत्रों का उपबीजगणित। दरअसल, जब {{math|''G''}} एक झूठ समूह और की कार्रवाई है {{math|''G''}} पर {{math|''M''}} सुचारू है, लाई बीजगणित (पहचान पर समरूपता के व्युत्पन्न) के संगत समरूपता को ले कर प्राप्त किए गए पार समरूपता का एक झूठ बीजगणितीय संस्करण है। यह भी समझ आता है {{math|Diff('''S'''<sup>1</sup>)}} और 1-सहचक्र की ओर ले जाता है


:<math> s\left(f\, {d\over d\theta}\right) = {d^3f\over d\theta^3}\,(d\theta)^2</math>
:<math> s\left(f\, {d\over d\theta}\right) = {d^3f\over d\theta^3}\,(d\theta)^2</math>
Line 172: Line 172:


:<math> (m-n) a_{m+n} = (m+\lambda n) a_m-(n+\lambda m)a_n.</math>
:<math> (m-n) a_{m+n} = (m+\lambda n) a_m-(n+\lambda m)a_n.</math>
स्थिति {{math|1={{phi}}(''d''/''d''&theta;) = 0}}, इसका आशय है {{math|1=''a''<sub>0</sub> = 0}}. इस स्थिति और पुनरावृत्ति संबंध से, यह पता चलता है कि अदिश गुणज तक, इसका एक अद्वितीय गैर-शून्य समाधान होता है जब {{math|''λ''}} 0, 1 या 2 के बराबर है और अन्यथा केवल शून्य समाधान है। के लिए समाधान {{math|1=''λ'' = 1}} समूह 1-कोसाइकिल से मेल खाता है <math>\varphi_1(f) =f^{\prime\prime}/f^\prime\, d\theta</math>. के लिए समाधान {{math|1=''λ'' = 0}} समूह 1-कोसाइकिल से मेल खाता है {{math|1={{phi}}<sub>0</sub>(''f'') =&nbsp;log&nbsp;''f' ''}}. संबंधित लाई बीजगणित 1-कोसाइकिल के लिए {{math|1=''λ'' =&nbsp;0,&nbsp;1,&nbsp;2}} को एक अदिश गुणज तक दिया जाता है
स्थिति {{math|1={{phi}}(''d''/''d''&theta;) = 0}}, इसका आशय है {{math|1=''a''<sub>0</sub> = 0}}. इस स्थिति और पुनरावृत्ति संबंध से, यह पता चलता है कि अदिश गुणज तक, इसका एक अद्वितीय गैर-शून्य समाधान होता है जब {{math|''λ''}} 0, 1 या 2 के बराबर है और अन्यथा केवल शून्य समाधान है। के लिए समाधान {{math|1=''λ'' = 1}} समूह 1-सहचक्र से मेल खाता है <math>\varphi_1(f) =f^{\prime\prime}/f^\prime\, d\theta</math>. के लिए समाधान {{math|1=''λ'' = 0}} समूह 1-सहचक्र से मेल खाता है {{math|1={{phi}}<sub>0</sub>(''f'') =&nbsp;log&nbsp;''f' ''}}. संबंधित लाई बीजगणित 1-सहचक्र के लिए {{math|1=''λ'' =&nbsp;0,&nbsp;1,&nbsp;2}} को एक अदिश गुणज तक दिया जाता है


:<math>\varphi_\lambda\left(F {d\over d\theta}\right) = {d^{\lambda+1} F\over d\theta^{\lambda +1}} \, (d\theta)^\lambda.</math>
:<math>\varphi_\lambda\left(F {d\over d\theta}\right) = {d^{\lambda+1} F\over d\theta^{\lambda +1}} \, (d\theta)^\lambda.</math>
Line 211: Line 211:
<math> S(f\circ g) = g_*S(f) + S(g)</math>
<math> S(f\circ g) = g_*S(f) + S(g)</math>


इस प्रकार होलोमोर्फिक द्विघात अंतर में गुणांक के साथ बायोलोमोर्फिज्म के छद्म समूह के लिए 1-कोसाइकिल का एनालॉग है। उसी प्रकार <math> \varphi_0(f) = \log f^\prime </math> और <math>\varphi_1(f) = f^{\prime\prime}/f^\prime</math> होलोमोर्फिक कार्यों और होलोमोर्फिक अंतरों में मूल्यों के साथ एक ही छद्म समूह के लिए 1-कोसाइकिल हैं। सामान्य तौर पर 1-कोसाइकिल को किसी भी क्रम के होलोमोर्फिक अंतर के लिए परिभाषित किया जा सकता है
इस प्रकार होलोमोर्फिक द्विघात अंतर में गुणांक के साथ बायोलोमोर्फिज्म के छद्म समूह के लिए 1-सहचक्र का एनालॉग है। उसी प्रकार <math> \varphi_0(f) = \log f^\prime </math> और <math>\varphi_1(f) = f^{\prime\prime}/f^\prime</math> होलोमोर्फिक फंक्शन और होलोमोर्फिक अंतरों में मूल्यों के साथ एक ही छद्म समूह के लिए 1-सहचक्र हैं। सामान्य तौर पर 1-सहचक्र को किसी भी क्रम के होलोमोर्फिक अंतर के लिए परिभाषित किया जा सकता है


:<math>\varphi(f\circ g) = g_*\varphi(f) + \varphi(g).</math>
:<math>\varphi(f\circ g) = g_*\varphi(f) + \varphi(g).</math>
उपरोक्त पहचान को समावेशन मानचित्रों पर लागू करना {{math|''j''}}, यह इस प्रकार है कि {{math|1={{phi}}(''j'') = 0}}; और इसलिए यदि {{math|''f''<sub>1</sub>}} का प्रतिबंध है {{math|''f''<sub>2</sub>}}, ताकि {{math|1=''f''<sub>2</sub> ∘ ''j'' = ''f''<sub>1</sub>}}, तब {{math|1={{phi}}(''f''<sub>1</sub>) = {{phi}} (''f''<sub>2</sub>)}}. दूसरी ओर, होलोमोर्फिक वेक्टर क्षेत्रों द्वारा परिभाषित स्थानीय होलोमोर्फिक प्रवाह को लेते हुए - वेक्टर क्षेत्रों का घातांक - स्थानीय बायोलोमोर्फिज्म का होलोमोर्फिक स्यूडोग्रुप होलोमोर्फिक वेक्टर क्षेत्रों द्वारा उत्पन्न होता है। यदि 1-कोसाइकिल {{phi}} उपयुक्त निरंतरता या विश्लेषणात्मकता स्थितियों को संतुष्ट करता है, यह होलोमोर्फिक वेक्टर फ़ील्ड के 1-कोसाइकल को प्रेरित करता है, जो प्रतिबंध के साथ भी संगत है। तदनुसार, यह होलोमोर्फिक वेक्टर फ़ील्ड्स पर 1-कोसाइकिल को परिभाषित करता है {{math|'''C'''}}:<ref>{{harvnb|Libermann|year=1959}}</ref>
उउपरोक्त पहचान को समावेशन मानचित्र {{math|''j''}} पर लागू करने पर, यह इस प्रकार है कि {{math|1={{phi}}(''j'') = 0}}; और इसलिए यदि {{math|''f''<sub>1</sub>}}, {{math|''f''<sub>2</sub>}} का प्रतिबंध है, तो {{math|1=''f''<sub>2</sub> ∘ ''j'' = ''f''<sub>1</sub>}}, तब {{math|1={{phi}}(''f''<sub>1</sub>) = {{phi}} (''f''<sub>2</sub>)}}.दूसरी ओर, होलोमोर्फिक वेक्टर क्षेत्रों द्वारा परिभाषित स्थानीय होलोमोर्फिक प्रवाह को लेते हुए - वेक्टर क्षेत्रों का घातांक - स्थानीय बायोलोमोर्फिज्म का होलोमोर्फिक स्यूडोग्रुप होलोमोर्फिक वेक्टर क्षेत्रों द्वारा उत्पन्न होता है। यदि 1-सहचक्र {{phi}} उपयुक्त निरंतरता या विश्लेषणात्मकता स्थितियों को संतुष्ट करता है, तो यह होलोमोर्फिक वेक्टर फ़ील्ड 1-सहचक्र को प्रेरित करता है, जो प्रतिबंध के साथ भी संगत है। तदनुसार, यह {{math|'''C'''}} पर होलोमोर्फिक वेक्टर फ़ील्ड पर 1-सहचक्र को परिभाषित करता है:
:<math>\varphi([X,Y]) = X \varphi(Y) - Y \varphi(X).</math>
:<math>\varphi([X,Y]) = X \varphi(Y) - Y \varphi(X).</math>
आधार के साथ बहुपद सदिश क्षेत्रों के बीजगणित को सीमित करना {{math|1=''d''<sub>''n''</sub> = ''z''<sup>''n''+1</sup> ''d''/''dz'' (''n'' ≥ −1)}}, इन्हें लाई अलजेब्रा कोहोमोलॉजी के समान तरीकों का उपयोग करके निर्धारित किया जा सकता है (जैसा कि क्रॉस्ड होमोमोर्फिज्म पर पिछले अनुभाग में है)। वहां गणना क्रम के घनत्व पर कार्य करने वाले संपूर्ण विट बीजगणित के लिए थी {{math|''k''}}, जबकि यहां यह केवल क्रम के होलोमोर्फिक (या बहुपद) अंतरों पर कार्य करने वाले उपबीजगणित के लिए है {{math|''k''}}. फिर से, यह मानते हुए {{phi}} के घूमने पर गायब हो जाता है {{math|'''C'''}}, गैर-शून्य 1-कोसाइकिल हैं, जो अदिश गुणकों तक अद्वितीय हैं। केवल समान व्युत्पन्न सूत्र द्वारा दिए गए घात 0, 1 और 2 के अंतरों के लिए
आधार के साथ बहुपद सदिश क्षेत्रों के बीजगणित को सीमित करना {{math|1=''d''<sub>''n''</sub> = ''z''<sup>''n''+1</sup> ''d''/''dz'' (''n'' ≥ −1)}}, इन्हें लाई अलजेब्रा कोहोमोलॉजी के समान तरीकों का उपयोग करके निर्धारित किया जा सकता है (जैसा कि क्रॉस्ड होमोमोर्फिज्म पर पिछले अनुभाग में है)। वहां गणना क्रम के घनत्व पर कार्य करने वाले संपूर्ण विट बीजगणित के लिए थी {{math|''k''}}, जबकि यहां यह केवल क्रम के होलोमोर्फिक (या बहुपद) अंतरों पर कार्य करने वाले उपबीजगणित के लिए है {{math|''k''}}. फिर से, यह मानते हुए {{phi}} के घूमने पर गायब हो जाता है {{math|'''C'''}}, गैर-शून्य 1-सहचक्र हैं, जो अदिश गुणकों तक अद्वितीय हैं। केवल समान व्युत्पन्न सूत्र द्वारा दिए गए घात 0, 1 और 2 के अंतरों के लिए


:<math>\varphi_k\left(p(z) {d\over dz}\right) = p^{(k+1)}(z) \, (dz)^k,</math>
:<math>\varphi_k\left(p(z) {d\over dz}\right) = p^{(k+1)}(z) \, (dz)^k,</math>
कहाँ {{math|''p''(''z'')}} एक बहुपद है.
कहाँ {{math|''p''(''z'')}} एक बहुपद है.


1-कोसाइकल्स तीन छद्म समूहों को परिभाषित करते हैं {{math|1={{phi}}<sub>''k''</sub>(''f'') = 0}}: यह स्केलिंग समूह देता है ({{math|1=''k'' = 0}}); एफ़िन समूह ({{math|1=''k'' = 1}}); और संपूर्ण जटिल मोबियस समूह ({{math|1=''k'' = 2}}). तो ये 1-कोसाइकिल छद्मसमूह को परिभाषित करने वाले विशेष [[साधारण अंतर समीकरण]] हैं। अधिक महत्वपूर्ण रूप से उनका उपयोग रीमैन सतहों पर संबंधित एफ़िन या प्रोजेक्टिव संरचनाओं और कनेक्शनों को परिभाषित करने के लिए किया जा सकता है। अगर {{math|Γ}} चिकनी मैपिंग का एक छद्म समूह है {{math|'''R'''<sup>''n''</sup>}}, एक टोपोलॉजिकल स्पेस {{math|''M''}}कहा जाता है कि ए {{math|Γ}}-संरचना यदि इसमें चार्ट का संग्रह है {{math|''f''}} जो खुले सेट से होमियोमोर्फिज्म हैं {{math|''V''<sub>''i''</sub>}} में {{math|''M''}} सेट खोलने के लिए {{math|''U''<sub>''i''</sub>}} में {{math|'''R'''<sup>''n''</sup>}} ऐसा कि, प्रत्येक गैर-रिक्त चौराहे के लिए, प्राकृतिक मानचित्र {{math|''f''<sub>''i''</sub> (''U''<sub>''i''</sub> ∩ ''U''<sub>''j''</sub>)}} को {{math|''f''<sub>''j''</sub> (''U''<sub>''i''</sub> ∩ ''U''<sub>''j''</sub>)}} में निहित है  {{math|Γ}}. यह एक चिकनी की संरचना को परिभाषित करता है {{math|''n''}}-कई गुना अगर {{math|Γ}} में स्थानीय डिफोमॉर्फिम्स और एक रीमैन सतह शामिल है {{math|1=''n'' = 2}}-ताकि {{math|1='''R'''<sup>2</sup> ≡ '''C'''}}-और {{math|Γ}} बिहोलोमोर्फिज्म से युक्त है। अगर {{math|Γ}} एफ़िन स्यूडोग्रुप है, {{math|''M''}} कहा जाता है कि इसमें एक एफ़िन संरचना होती है; और अगर {{math|Γ}} मोबियस स्यूडोग्रुप है, {{math|''M''}} को एक प्रक्षेपी संरचना कहा जाता है। इस प्रकार एक जीनस एक सतह के रूप में दिया गया है {{math|'''C'''/Λ}} कुछ जाली के लिए {{math|Λ ⊂ '''C'''}} एक एफ़िन संरचना है; और एक वंश {{math|''p'' > 1}}फ़ुचियन समूह द्वारा ऊपरी आधे तल या यूनिट डिस्क के भागफल के रूप में दी गई सतह में एक प्रक्षेप्य संरचना होती है।<ref name="Gunning 1966">{{harvnb|Gunning|1966}}</ref>
1-सहचक्र्स तीन छद्म समूहों को परिभाषित करते हैं {{math|1={{phi}}<sub>''k''</sub>(''f'') = 0}}: यह स्केलिंग समूह देता है ({{math|1=''k'' = 0}}); एफ़िन समूह ({{math|1=''k'' = 1}}); और संपूर्ण जटिल मोबियस समूह ({{math|1=''k'' = 2}}). तो ये 1-सहचक्र छद्मसमूह को परिभाषित करने वाले विशेष [[साधारण अंतर समीकरण]] हैं। अधिक महत्वपूर्ण रूप से उनका उपयोग रीमैन सतहों पर संबंधित एफ़िन या प्रोजेक्टिव संरचनाओं और कनेक्शनों को परिभाषित करने के लिए किया जा सकता है। अगर {{math|Γ}} चिकनी मैपिंग का एक छद्म समूह है {{math|'''R'''<sup>''n''</sup>}}, एक टोपोलॉजिकल स्पेस {{math|''M''}}कहा जाता है कि ए {{math|Γ}}-संरचना यदि इसमें चार्ट का संग्रह है {{math|''f''}} जो खुले सेट से होमियोमोर्फिज्म हैं {{math|''V''<sub>''i''</sub>}} में {{math|''M''}} सेट खोलने के लिए {{math|''U''<sub>''i''</sub>}} में {{math|'''R'''<sup>''n''</sup>}} ऐसा कि, प्रत्येक गैर-रिक्त चौराहे के लिए, प्राकृतिक मानचित्र {{math|''f''<sub>''i''</sub> (''U''<sub>''i''</sub> ∩ ''U''<sub>''j''</sub>)}} को {{math|''f''<sub>''j''</sub> (''U''<sub>''i''</sub> ∩ ''U''<sub>''j''</sub>)}} में निहित है  {{math|Γ}}. यह एक चिकनी की संरचना को परिभाषित करता है {{math|''n''}}-कई गुना अगर {{math|Γ}} में स्थानीय डिफोमॉर्फिम्स और एक रीमैन सतह शामिल है {{math|1=''n'' = 2}}-ताकि {{math|1='''R'''<sup>2</sup> ≡ '''C'''}}-और {{math|Γ}} बिहोलोमोर्फिज्म से युक्त है। अगर {{math|Γ}} एफ़िन स्यूडोग्रुप है, {{math|''M''}} कहा जाता है कि इसमें एक एफ़िन संरचना होती है; और अगर {{math|Γ}} मोबियस स्यूडोग्रुप है, {{math|''M''}} को एक प्रक्षेपी संरचना कहा जाता है। इस प्रकार एक जीनस एक सतह के रूप में दिया गया है {{math|'''C'''/Λ}} कुछ जाली के लिए {{math|Λ ⊂ '''C'''}} एक एफ़िन संरचना है; और एक वंश {{math|''p'' > 1}}फ़ुचियन समूह द्वारा ऊपरी आधे तल या यूनिट डिस्क के भागफल के रूप में दी गई सतह में एक प्रक्षेप्य संरचना होती है।<ref name="Gunning 1966">{{harvnb|Gunning|1966}}</ref>
1966 में गनिंग ने बताया कि इस प्रक्रिया को कैसे उलटा किया जा सकता है: जीनस के लिए {{math|''p'' > 1}}, एक प्रक्षेप्य कनेक्शन का अस्तित्व, जिसे श्वार्ज़ियन व्युत्पन्न का उपयोग करके परिभाषित किया गया है {{phi}}<sub>2</sub> और कोहोमोलॉजी पर मानक परिणामों का उपयोग करके सिद्ध किया गया है, इसका उपयोग ऊपरी आधे विमान या यूनिट डिस्क के साथ सार्वभौमिक कवरिंग सतह की पहचान करने के लिए किया जा सकता है (एक समान परिणाम जीनस 1 के लिए होता है, एफ़िन कनेक्शन का उपयोग करके और {{math|{{phi}}<sub>1</sub>}}).<ref name="Gunning 1966"/>
1966 में गनिंग ने बताया कि इस प्रक्रिया को कैसे उलटा किया जा सकता है: जीनस के लिए {{math|''p'' > 1}}, एक प्रक्षेप्य कनेक्शन का अस्तित्व, जिसे श्वार्ज़ियन व्युत्पन्न का उपयोग करके परिभाषित किया गया है {{phi}}<sub>2</sub> और कोहोमोलॉजी पर मानक परिणामों का उपयोग करके सिद्ध किया गया है, इसका उपयोग ऊपरी आधे विमान या यूनिट डिस्क के साथ सार्वभौमिक कवरिंग सतह की पहचान करने के लिए किया जा सकता है (एक समान परिणाम जीनस 1 के लिए होता है, एफ़िन कनेक्शन का उपयोग करके और {{math|{{phi}}<sub>1</sub>}}).<ref name="Gunning 1966"/>
== यह भी देखें ==
== यह भी देखें ==

Revision as of 12:44, 26 July 2023

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

परिभाषा

जटिल चर z के होलोमोर्फिक फ़ंक्शन f के श्वार्ज़ियन व्युत्पन्न को परिभाषित किया गया है

वही सूत्र एक वास्तविक चर के C3 फ़ंक्शन के श्वार्ज़ियन व्युत्पन्न को भी परिभाषित करता है। वैकल्पिक संकेतन

अक्सर प्रयोग किया जाता है।

गुण

किसी भी मोबियस परिवर्तन का श्वार्ज़ियन व्युत्पन्न

शून्य है। इसके विपरीत, मोबियस परिवर्तन इस गुण का एकमात्र फ़ंक्शन हैं। इस प्रकार, श्वार्ज़ियन व्युत्पन्न सटीक रूप से उस डिग्री को मापता है जिस तक कोई फ़ंक्शन मोबियस परिवर्तन होने में विफल रहता है।[1]

अगर g एक मोबियस परिवर्तन है, तो रचना g o f में f के समान श्वार्ज़ियन व्युत्पन्न है; और दूसरी ओर, f o g का श्वार्ज़ियन व्युत्पन्न श्रृंखला नियम द्वारा दिया गया है

अधिक सामान्यतः, किसी भी पर्याप्त रूप से भिन्न फलन f और g के लिए

जब f और g सुचारू वास्तविक-मूल्य वाले फ़ंक्शन होते हैं, तो इसका मतलब है कि नकारात्मक (या सकारात्मक) श्वार्ज़ियन वाले फ़ंक्शन के सभी पुनरावृत्ति नकारात्मक (सम्मान सकारात्मक) रहेंगे, जो एक-आयामी गतिशील प्रणाली के अध्ययन में उपयोग का एक तथ्य है।[2]

दो जटिल चरों के फ़ंक्शन का परिचय[3]

इसका दूसरा मिश्रित आंशिक अवकलज किसके द्वारा दिया गया है?

और श्वार्ज़ियन व्युत्पन्न सूत्र द्वारा दिया गया है:

श्वार्ज़ियन व्युत्पन्न में एक सरल व्युत्क्रम सूत्र है, जो आश्रित और स्वतंत्र चर का आदान-प्रदान करता है। किसी के पास

या अधिक स्पष्ट रूप से, . यह उपरोक्त श्रृंखला नियम का अनुसरण करता है।

ज्यामितीय व्याख्या

विलियम थर्स्टन ने श्वार्ज़ियन व्युत्पन्न की व्याख्या इस माप के रूप में की है कि एक अनुरूप मानचित्र मोबियस परिवर्तन से कितना विचलित होता है।[1]होने देना के पड़ोस में एक अनुरूप मानचित्रण हो . फिर एक अनोखा मोबियस परिवर्तन मौजूद है ऐसा है कि पर समान 0, 1, 2-वें क्रम के डेरिवेटिव हैं .

अब . स्पष्ट रूप से हल करने के लिए , यह मामले को सुलझाने के लिए पर्याप्त है . होने देना , और के लिए हल करें इससे पहले तीन गुणांक बनेंगे 0, 1, 0 के बराबर। इसे चौथे गुणांक में जोड़ने पर, हमें मिलता है .

जटिल तल के अनुवाद, घूर्णन और स्केलिंग के बाद, हमारे पास है शून्य के पड़ोस में. फिर, तीसरे क्रम तक, यह फ़ंक्शन त्रिज्या के वृत्त को मैप करता है द्वारा परिभाषित वक्र के लिए , कहाँ . यह वक्र, चौथे क्रम तक, अर्धअक्षों वाला एक दीर्घवृत्त है :

चूंकि मोबियस परिवर्तन हमेशा वृत्तों को वृत्तों या रेखाओं में मैप करता है, अण्डाकार-नेस की मात्रा विचलन को मापती है मोबियस परिवर्तन से।

विभेदक समीकरण

श्वार्ज़ियन व्युत्पन्न का जटिल तल में दूसरे क्रम के रैखिक साधारण अंतर समीकरण के साथ एक मौलिक संबंध है।[4] होने देना और के दो रोन्स्कियन होलोमोर्फिक फ़ंक्शन समाधान बनें

फिर अनुपात संतुष्ट

जिस डोमेन पर और परिभाषित हैं, और इसका विपरीत भी सत्य है: यदि ऐसा है g मौजूद है, और यह एक सरल रूप से जुड़े डोमेन पर होलोमोर्फिक है, फिर दो समाधान हैं और पाया जा सकता है, और इसके अलावा, ये एक सामान्य पैमाने के कारक तक अद्वितीय हैं।

जब एक रैखिक दूसरे क्रम के साधारण अंतर समीकरण को उपरोक्त रूप में लाया जा सकता है, तो परिणाम प्राप्त होता है Q को कभी-कभी समीकरण का Q-मान कहा जाता है।

ध्यान दें कि गॉसियन हाइपरज्यामितीय विभेदक समीकरण को उपरोक्त फॉर्म में लाया जा सकता है, और इस प्रकार हाइपरजियोमेट्रिक समीकरण के समाधान के जोड़े इस तरह से संबंधित हैं।

असमानता के लिए शर्तें

अगर f यूनिट डिस्क पर एक होलोमोर्फिक फ़ंक्शन है, D, फिर डब्ल्यू क्रॉस (1932) और ज़ीव नेहारी (1949) ने साबित किया कि इसके लिए एक आवश्यक शर्त है fअसंयोजक फलन होना है[5]

इसके विपरीत यदि f(z) एक होलोमोर्फिक फ़ंक्शन है D संतुष्टि देने वाला

थें नेहरि प्रोवेद ठाट f एकसमान है.[6] विशेष रूप से एकरूपता के लिए पर्याप्त शर्त है[7]


वृत्ताकार चाप बहुभुजों का अनुरूप मानचित्रण

श्वार्ज़ियन व्युत्पन्न और संबंधित दूसरे क्रम के साधारण अंतर समीकरण का उपयोग ऊपरी आधे-तल या यूनिट सर्कल और जटिल विमान में किसी भी घिरे बहुभुज के बीच रीमैन मैपिंग को निर्धारित करने के लिए किया जा सकता है, जिसके किनारे गोलाकार चाप या सीधी रेखाएं हैं। सीधे किनारों वाले बहुभुजों के लिए, यह श्वार्ज़-क्रिस्टोफेल मैपिंग को कम कर देता है, जिसे श्वार्ज़ियन व्युत्पन्न का उपयोग किए बिना सीधे प्राप्त किया जा सकता है। एकीकरण के स्थिरांक के रूप में उत्पन्न होने वाले सहायक पैरामीटर दूसरे क्रम के अंतर समीकरण के साधारण अंतर समीकरणों के वर्णक्रमीय सिद्धांत से संबंधित हैं। पहले से ही 1890 में फ़ेलिक्स क्लेन ने लैमे फ़ंक्शन|लैमे अंतर समीकरण के संदर्भ में चतुर्भुजों के मामले का अध्ययन किया था।[8][9][10] होने देना Δकोणों वाला एक वृत्ताकार चाप बहुभुज हो πα1, ..., παn दक्षिणावर्त क्रम में। होने देना f : H → Δ सीमाओं के बीच के मानचित्र तक लगातार विस्तारित एक होलोमोर्फिक मानचित्र बनें। मान लीजिए कि शीर्ष बिंदुओं के अनुरूप हैं a1, ..., an वास्तविक अक्ष पर। तब p(x) = S(f)(x) के लिए वास्तविक मूल्यवान है x वास्तविक और बिंदुओं में से एक नहीं। श्वार्ज प्रतिबिंब सिद्धांत द्वारा p(x) दोहरे ध्रुव के साथ जटिल तल पर एक तर्कसंगत कार्य तक विस्तारित होता है ai:

असली संख्या βi सहायक पैरामीटर कहलाते हैं। वे तीन रैखिक बाधाओं के अधीन हैं:

जो के गुणांकों के लुप्त होने के अनुरूप है और के विस्तार में p(z) आस-पास z = ∞. मानचित्रण f(z) को फिर इस प्रकार लिखा जा सकता है

कहाँ और रैखिक दूसरे क्रम के साधारण अंतर समीकरण के रैखिक रूप से स्वतंत्र होलोमोर्फिक समाधान हैं

वहाँ हैं n−3 रैखिक रूप से स्वतंत्र सहायक पैरामीटर, जिन्हें व्यवहार में निर्धारित करना मुश्किल हो सकता है।

एक त्रिभुज के लिए, कब n = 3, कोई सहायक पैरामीटर नहीं हैं। साधारण अंतर समीकरण हाइपरज्यामितीय अंतर समीकरण के बराबर है और f(z) श्वार्ज़ त्रिकोण फ़ंक्शन है, जिसे हाइपरजियोमेट्रिक फ़ंक्शन के संदर्भ में लिखा जा सकता है।

एक चतुर्भुज के लिए सहायक पैरामीटर एक स्वतंत्र चर पर निर्भर करते हैंλ. लिखना U(z) = q(z)u(z) के उपयुक्त विकल्प के लिए q(z), साधारण अवकल समीकरण का रूप लेता है

इस प्रकार अंतराल पर स्टर्म-लिउविल समीकरण के eigenfunctions हैं . स्टर्म पृथक्करण प्रमेय के अनुसार, गायब न होना ताकतों λ सबसे कम eigenvalue होना।

टेइचमुलर स्पेस पर जटिल संरचना

यूनिवर्सल टेइचमुलर स्पेस को यूनिट डिस्क के वास्तविक विश्लेषणात्मक क्वासिकोनफॉर्मल मैपिंग के स्थान के रूप में परिभाषित किया गया है D, या समकक्ष ऊपरी आधा तल H, अपने आप में, दो मैपिंग को समतुल्य माना जाता है यदि सीमा पर एक मोबियस परिवर्तन के साथ रचना द्वारा दूसरे से प्राप्त किया जाता है। पहचान करना D रीमैन क्षेत्र के निचले गोलार्ध के साथ, कोई भी अर्ध-अनुरूप स्व-मानचित्र {{math|f}निचले गोलार्ध का } स्वाभाविक रूप से ऊपरी गोलार्ध के अनुरूप मानचित्रण से मेल खाता है खुद पर. वास्तव में बेल्ट्रामी अंतर समीकरण के समाधान के ऊपरी गोलार्ध के प्रतिबंध के रूप में निर्धारित किया जाता है

जहां μ द्वारा परिभाषित परिबद्ध मापनीय फलन है

निचले गोलार्ध पर, ऊपरी गोलार्ध पर 0 तक विस्तारित।

ऊपरी गोलार्ध की पहचान के साथ D, लिपमैन बेर्स ने बेर्स एम्बेडिंग को परिभाषित करने के लिए श्वार्ज़ियन व्युत्पन्न का उपयोग किया

जो सार्वभौमिक टेइचमुलर स्पेस को एक खुले उपसमुच्चय में एम्बेड करता है U परिबद्ध होलोमोर्फिक फ़ंक्शंस के स्थान का g पर D एकसमान मानदंड के साथ। फ्रेडरिक गेहरिंग ने 1977 में यह करके दिखाया U एकसमान फलनों के श्वार्ज़ियन व्युत्पन्नों के बंद उपसमुच्चय का आंतरिक भाग है।[11][12][13] एक कॉम्पैक्ट रीमैन सतह के लिए S 1 से अधिक जीनस का, इसका सार्वभौमिक आवरण स्थान इकाई डिस्क है Dजिस पर इसका मूल समूह है Γ मोबियस परिवर्तनों द्वारा कार्य करता है। टेइचमुलर क्षेत्र S को यूनिवर्सल टीचमुलर स्पेस इनवेरिएंट के उप-स्थान के साथ पहचाना जा सकता है Γ. होलोमोर्फिक कार्य g उसके पास वह संपत्ति है

के अंतर्गत अपरिवर्तनीय है Γ, इसलिए द्विघात अंतर निर्धारित करें S. इस प्रकार, टीचमुलर स्थान S को द्विघात अंतरों के परिमित-आयामी जटिल वेक्टर स्थान के एक खुले उप-स्थान के रूप में महसूस किया जाता है S.

वृत्त का द्विरूपता समूह

क्रॉस्ड होमोमोर्फिज्म

परिवर्तन संपत्ति

श्वार्ज़ियन व्युत्पन्न को सर्कल पर डिग्री 2 के घनत्व के मॉड्यूल में गुणांक के साथ सर्कल के डिफोमोर्फिज्म समूह के निरंतर 1-सहचक्र या पार समरूपता के रूप में व्याख्या करने की अनुमति देता है।[14] होने देना Fλ(S1)डिग्री के टेंसर घनत्व का स्थान हो λ पर S1. अभिविन्यास-संरक्षण भिन्नताओं का समूह S1, Diff(S1), पर कार्य करता है Fλ(S1) पुशफॉरवर्ड (अंतर) के माध्यम से। अगर f का एक तत्व है Diff(S1) फिर मैपिंग पर विचार करें

समूह सहसंरचना की भाषा में ऊपर दिया गया चेन-जैसा नियम कहता है कि यह मैपिंग 1-सहचक्र पर है Diff(S1) में गुणांक के साथ F2(S1). वास्तव में

और 1-कोसायकल सहसंयोजी उत्पन्न करता है fS(f−1). 1-कोहोमोलॉजी की गणना अधिक सामान्य परिणाम का एक विशेष मामला है

ध्यान दें कि यदि G एक समूह है और MG-मॉड्यूल, फिर एक क्रॉस्ड होमोमोर्फिज्म को परिभाषित करने वाली पहचान c का G में M को समूहों के मानक समरूपता के संदर्भ में व्यक्त किया जा सकता है: यह एक समरूपता में एन्कोड किया गया है 𝜙 का G अर्धप्रत्यक्ष उत्पाद में ऐसी है कि की रचना 𝜙 प्रक्षेपण के साथ पर G पहचान मानचित्र है; पत्राचार मानचित्र द्वारा होता है C(g) = (c(g), g). क्रॉस्ड होमोमोर्फिज्म एक वेक्टर स्पेस बनाते हैं और इसमें उप-स्पेस के रूप में कोबाउंडरी क्रॉस्ड होमोमोर्फिज्म शामिल होते हैं b(g) = gmm के लिए m में M. एक साधारण औसत तर्क यह दर्शाता है कि, यदि K एक सघन समूह है और V एक टोपोलॉजिकल वेक्टर स्पेस जिस पर K लगातार कार्य करता है, तो उच्च कोहोलॉजी समूह गायब हो जाते हैं Hm(K, V) = (0) के लिए m > 0. विशेष रूप से 1-सहचक्र के लिए χ साथ

औसत से अधिक y, हार माप के बाएँ अपरिवर्तनीय का उपयोग करते हुए K देता है

साथ

इस प्रकार औसत से यह माना जा सकता है c सामान्यीकरण की स्थिति को संतुष्ट करता है c(x) = 0 के लिए x में Rot(S1). ध्यान दें कि यदि कोई तत्व है x में G संतुष्ट करता है c(x) = 0 तब C(x) = (0,x). लेकिन तब से C एक समरूपता है, C(xgx−1) = C(x)C(g)C(x)−1, ताकि c समतुल्य स्थिति को संतुष्ट करता है c(xgx−1) = x ⋅ c(g). इस प्रकार यह माना जा सकता है कि सहचक्र इन सामान्यीकरण शर्तों को पूरा करता है Rot(S1). श्वार्ज़ियन व्युत्पन्न वास्तव में जब भी गायब हो जाता है x एक मोबियस परिवर्तन के अनुरूप है SU(1,1). नीचे चर्चा की गई अन्य दो 1-चक्र केवल गायब हो जाते हैं Rot(S1) (λ = 0, 1).

इस परिणाम का एक अत्यंत छोटा संस्करण है जो 1-सहचक्र देता है Vect(S1), चिकने सदिश क्षेत्रों का बीजगणित, और इसलिए विट बीजगणित के लिए, त्रिकोणमितीय बहुपद सदिश क्षेत्रों का उपबीजगणित। दरअसल, जब G एक झूठ समूह और की कार्रवाई है G पर M सुचारू है, लाई बीजगणित (पहचान पर समरूपता के व्युत्पन्न) के संगत समरूपता को ले कर प्राप्त किए गए पार समरूपता का एक झूठ बीजगणितीय संस्करण है। यह भी समझ आता है Diff(S1) और 1-सहचक्र की ओर ले जाता है

जो पहचान को संतुष्ट करता है

ली बीजगणित मामले में, सह-सीमा मानचित्रों का रूप होता है b(X) = Xm के लिए m में M. दोनों ही मामलों में 1-कोहोमोलॉजी को क्रॉस्ड होमोमोर्फिज्म मॉड्यूलो कोबाउंड्रीज़ के स्थान के रूप में परिभाषित किया गया है। समूह समरूपता और लाई बीजगणित समरूपता के बीच प्राकृतिक पत्राचार वैन एस्ट समावेशन मानचित्र की ओर ले जाता है

इस तरह से गणना को झूठ बीजगणित सहसंरचना तक कम किया जा सकता है। निरंतरता से यह क्रॉस होमोमोर्फिज्म की गणना को कम कर देता है 𝜙 विट बीजगणित में Fλ(S1). समूह पार समरूपता पर सामान्यीकरण की स्थिति निम्नलिखित अतिरिक्त शर्तों को दर्शाती है 𝜙:

के लिए x में Rot(S1).

की परिपाटी का पालन कर रहे हैं Kac & Raina (1987), विट बीजगणित का एक आधार दिया गया है

ताकि [dm,dn] = (mn) dm + n. की जटिलता के लिए एक आधार Fλ(S1) द्वारा दिया गया है

ताकि

के लिए gζ में Rot(S1) = T. ये मजबूर करता है 𝜙(dn) = anvn उपयुक्त गुणांकों के लिए an. पार की गई समरूपता स्थिति 𝜙([X,Y]) = X𝜙(Y) – Y𝜙(X) के लिए पुनरावृत्ति संबंध देता है an:

स्थिति 𝜙(d/dθ) = 0, इसका आशय है a0 = 0. इस स्थिति और पुनरावृत्ति संबंध से, यह पता चलता है कि अदिश गुणज तक, इसका एक अद्वितीय गैर-शून्य समाधान होता है जब λ 0, 1 या 2 के बराबर है और अन्यथा केवल शून्य समाधान है। के लिए समाधान λ = 1 समूह 1-सहचक्र से मेल खाता है . के लिए समाधान λ = 0 समूह 1-सहचक्र से मेल खाता है 𝜙0(f) = log f' . संबंधित लाई बीजगणित 1-सहचक्र के लिए λ = 0, 1, 2 को एक अदिश गुणज तक दिया जाता है


केंद्रीय विस्तार

पार की गई समरूपताएं बदले में केंद्रीय विस्तार को जन्म देती हैं Diff(S1) और इसके झूठ बीजगणित की Vect(S1), तथाकथित विरासोरो बीजगणित

सहसंयुक्त क्रिया

समूह Diff(S1) और इसका केंद्रीय विस्तार टेइचमुलर सिद्धांत और स्ट्रिंग सिद्धांत के संदर्भ में भी स्वाभाविक रूप से दिखाई देता है।[15] वास्तव में की होमोमोर्फिज्म S1 के क्वासिकोनफॉर्मल स्व-मानचित्रों से प्रेरित D बिल्कुल अर्धसममितीय मानचित्र हैं S1; ये बिल्कुल होमोमोर्फिज्म हैं जो क्रॉस अनुपात 1/2 के साथ चार बिंदुओं को 1 या 0 के करीब क्रॉस अनुपात वाले बिंदुओं पर नहीं भेजते हैं। सीमा मूल्यों को लेते हुए, सार्वभौमिक टेइचमुलर को क्वासिसिमेट्रिक होमोमोर्फिज्म के समूह के भागफल के साथ पहचाना जा सकता है। QS(S1) मोबियस परिवर्तनों के उपसमूह द्वारा Moeb(S1). (इसे स्वाभाविक रूप से अर्धवृत्त के स्थान के रूप में भी महसूस किया जा सकता है C।) तब से

सजातीय स्थान Diff(S1)/Moeb(S1) स्वाभाविक रूप से सार्वभौमिक टेइचमुलर अंतरिक्ष का एक उपस्थान है। यह स्वाभाविक रूप से एक जटिल विविधता है और यह और अन्य प्राकृतिक ज्यामितीय संरचनाएं टेइचमुलर स्थान पर मौजूद संरचनाओं के साथ संगत हैं। के लाई बीजगणित का द्वैत Diff(S1) को हिल डिफरेंशियल समीकरण के स्थान से पहचाना जा सकता है|हिल के ऑपरेटरों पर S1

और की सहसंयुक्त कार्रवाई Diff(S1) श्वार्ज़ियन व्युत्पन्न का आह्वान करता है। भिन्नता का उलटा f हिल के ऑपरेटर को भेजता है


छद्मसमूह और सम्बन्ध

श्वार्ज़ियन व्युत्पन्न और Diff(S1) पर परिभाषित अन्य 1-कोसायकल को जटिल तल में खुले सेटों के बीच बायोलोमोर्फिक तक बढ़ाया जा सकता है। इस मामले में स्थानीय विवरण विश्लेषणात्मक छद्म समूहों के सिद्धांत की ओर ले जाता है, जो अनंत-आयामी समूहों के सिद्धांत को औपचारिक बनाता है और ली बीजगणित का अध्ययन पहली बार 1910 के दशक में एली कार्टन द्वारा किया गया था। यह रीमैन सतहों पर एफ़िन और प्रोजेक्टिव संरचनाओं के साथ-साथ श्वार्ज़ियन या प्रोजेक्टिव कनेक्शन के सिद्धांत से संबंधित है, जिस पर गनिंग, शिफ़र और हॉले ने चर्चा की है।

सी पर एक होलोमोर्फिक स्यूडोग्रुप Γ में C में खुले सेट U और V के बीच बिहोलोमोर्फिज्म f का एक संग्रह होता है जिसमें प्रत्येक खुले U के लिए पहचान मानचित्र शामिल होते हैं, जो खुले को प्रतिबंधित करने के तहत बंद होता है, जो संरचना (जब संभव हो) के तहत बंद होता है, जो व्युत्क्रम लेने के तहत बंद कर दिया गया है और इस तरह कि यदि कोई बायोलोमोर्फिज्म स्थानीय रूप से Γ में है, तो यह भी Γ में होता है। छद्म समूह को सकर्मक कहा जाता है यदि, C में z और w दिए जाने पर, Γ में एक बायोलोमोर्फिज्म f है जैसे कि f(z) = w। सकर्मक छद्मसमूहों का एक विशेष मामला वे हैं जो सपाट हैं, यानी जिनमें सभी जटिल अनुवाद Tb(z) = z + b शामिल हैं। मान लीजिए कि संरचना के अंतर्गत G, औपचारिक शक्ति श्रृंखला परिवर्तनों F(z) = a1z + a2z2 + .... का समूह है, जिसमें a1 ≠ 0 है। एक होलोमोर्फिक स्यूडोग्रुप Γ, G के एक उपसमूह A को परिभाषित करता है, अर्थात् टेलर श्रृंखला के विस्तार द्वारा परिभाषित उपसमूह Γ के तत्वों f के 0 (या "जेट") के साथ f(0) = 0. U पर एक बायोलोमोर्फिज्म एफ Γ में निहित है यदि और केवल यदि Tf(a)fTa की पावर श्रृंखला U में प्रत्येक a के लिए A में निहित है: दूसरे शब्दों में f पर f के लिए औपचारिक पावर श्रृंखला दी गई है A के एक तत्व द्वारा z को za द्वारा प्रतिस्थापित किया गया; या संक्षेप में कहें तो f के सभी जेट A में स्थित हैं।[16]

समूह G में k-जेड के समूह Gk पर एक प्राकृतिक समरूपता है जो कि शब्द zk तक ली गई काटे गए पावर श्रृंखला को लेकर प्राप्त की गई है। यह समूह घात k वाले बहुपदों के स्थान पर (k से अधिक क्रम के पदों को छोटा करके) ईमानदारी से कार्य करता है। ट्रंकेशन इसी तरह Gk पर Gk − 1 की समरूपता को परिभाषित करते हैं; कर्नेल में ff(z) = z + bzk के साथ मानचित्र f शामिल हैं, एबेलियन भी ऐसा ही है। इस प्रकार समूह Gk हल करने योग्य है, एक तथ्य इस तथ्य से भी स्पष्ट है कि यह एकपदी के आधार के लिए त्रिकोणीय रूप में है।

एक समतल छद्मसमूह Γ को अंतर समीकरणों द्वारा परिभाषित किया जाता है यदि कोई परिमित पूर्णांक है k ऐसा कि A में यथातथ्य है और छवि एक बंद उपसमूह है। ऐसे सबसे छोटे k Γ का क्रम कहा जाता है।

इस प्रकार उत्पन्न होने वाले सभी उपसमूहों A का एक संपूर्ण वर्गीकरण है जो अतिरिक्त धारणाओं को संतुष्ट करता है कि Gk में A की छवि एक जटिल उपसमूह है और G1, C* के बराबर है:इसका तात्पर्य यह है कि छद्म समूह में a ≠ 0 के लिए स्केलिंग परिवर्तन Sa(z) = az भी शामिल है, अर्थात A में ≠ 0 के साथ प्रत्येक बहुपद az शामिल है।

इस मामले में एकमात्र संभावना यह है कि k = 1 और A = {az: a ≠ 0}; या कि k = 2 और A = {az/(1−bz) : a ≠ 0}। पूर्व जटिल मोबियस समूह के एफ़िन उपसमूह द्वारा परिभाषित छद्म समूह है (az + b परिवर्तन फिक्सिंग ); उत्तरार्द्ध संपूर्ण जटिल मोबियस समूह द्वारा परिभाषित छद्म समूह है।

औपचारिक लाई बीजगणित के बाद से इस वर्गीकरण को आसानी से लाई बीजगणितीय समस्या में बदला जा सकता है के G में F के साथ एक औपचारिक शक्ति श्रृंखला के साथ औपचारिक वेक्टर फ़ील्ड F(z) d/dz शामिल हैं। इसमें बहुपद सदिश फ़ील्ड शामिल हैं जिनका आधार dn = zn+1 d/dz (n ≥ 0) है, जो विट बीजगणित का एक उपबीजगणित है। लाई कोष्ठक [dm,dn] = (nm)dm+n द्वारा दिए गए हैं। फिर से ये डिग्री k के बहुपदों के स्थान पर विभेदन द्वारा कार्य करते हैं -इसे C[[z]]/(zk+1)—से पहचाना जा सकता है - और d0, ..., dk – 1 की छवियां एक आधार देती हैं Gk का लाई बीजगणितहैं। ध्यान दें कि Ad(Sa) dn= an dn होने देना के झूठ बीजगणित को निरूपित करें A: यह Gkके लाई बीजगणित के एक उपबीजगणित के समरूपी है। इसमें d0 शामिल है और Ad(Sa) के अंतर्गत अपरिवर्तनीय है। तब से विट बीजगणित का एक झूठ उपबीजगणित है, एकमात्र संभावना यह है कि इसका आधार d0 या कुछ n ≥ 1 के लिए आधार d0, dn है। प्रपत्र f(z)= z + bzn+1 + .... के संगत समूह तत्व हैं। अनुवाद के साथ इसकी रचना करने पर Tf(ε)fT ε(z) = cz + dz2 + ... प्राप्त होता है c, d ≠ 0 के साथ। जब तक n = 2, न हो, यह उपसमूह A; के रूप का खंडन करता है; तो n = 2.[17]

श्वार्ज़ियन व्युत्पन्न जटिल मोबियस समूह के लिए छद्म समूह से संबंधित है। वास्तव में यदि f, V पर परिभाषित एक द्विघात अंतर है तो 𝜙2(f) = S(f), V पर एक द्विघात अंतर है। यदि g पर परिभाषित एक बायोहोमोलोर्फिज्म है और g(V) ⊆ U, S(fg) और S(g) U पर द्विघात अवकलन हैं; इसके अतिरिक्त S(f) V पर एक द्विघात अंतर है, इसलिए gS(f) भी U पर एक द्विघात अंतर है।

इस प्रकार होलोमोर्फिक द्विघात अंतर में गुणांक के साथ बायोलोमोर्फिज्म के छद्म समूह के लिए 1-सहचक्र का एनालॉग है। उसी प्रकार और होलोमोर्फिक फंक्शन और होलोमोर्फिक अंतरों में मूल्यों के साथ एक ही छद्म समूह के लिए 1-सहचक्र हैं। सामान्य तौर पर 1-सहचक्र को किसी भी क्रम के होलोमोर्फिक अंतर के लिए परिभाषित किया जा सकता है

उउपरोक्त पहचान को समावेशन मानचित्र j पर लागू करने पर, यह इस प्रकार है कि 𝜙(j) = 0; और इसलिए यदि f1, f2 का प्रतिबंध है, तो f2j = f1, तब 𝜙(f1) = 𝜙 (f2).दूसरी ओर, होलोमोर्फिक वेक्टर क्षेत्रों द्वारा परिभाषित स्थानीय होलोमोर्फिक प्रवाह को लेते हुए - वेक्टर क्षेत्रों का घातांक - स्थानीय बायोलोमोर्फिज्म का होलोमोर्फिक स्यूडोग्रुप होलोमोर्फिक वेक्टर क्षेत्रों द्वारा उत्पन्न होता है। यदि 1-सहचक्र 𝜙 उपयुक्त निरंतरता या विश्लेषणात्मकता स्थितियों को संतुष्ट करता है, तो यह होलोमोर्फिक वेक्टर फ़ील्ड 1-सहचक्र को प्रेरित करता है, जो प्रतिबंध के साथ भी संगत है। तदनुसार, यह C पर होलोमोर्फिक वेक्टर फ़ील्ड पर 1-सहचक्र को परिभाषित करता है:

आधार के साथ बहुपद सदिश क्षेत्रों के बीजगणित को सीमित करना dn = zn+1 d/dz (n ≥ −1), इन्हें लाई अलजेब्रा कोहोमोलॉजी के समान तरीकों का उपयोग करके निर्धारित किया जा सकता है (जैसा कि क्रॉस्ड होमोमोर्फिज्म पर पिछले अनुभाग में है)। वहां गणना क्रम के घनत्व पर कार्य करने वाले संपूर्ण विट बीजगणित के लिए थी k, जबकि यहां यह केवल क्रम के होलोमोर्फिक (या बहुपद) अंतरों पर कार्य करने वाले उपबीजगणित के लिए है k. फिर से, यह मानते हुए 𝜙 के घूमने पर गायब हो जाता है C, गैर-शून्य 1-सहचक्र हैं, जो अदिश गुणकों तक अद्वितीय हैं। केवल समान व्युत्पन्न सूत्र द्वारा दिए गए घात 0, 1 और 2 के अंतरों के लिए

कहाँ p(z) एक बहुपद है.

1-सहचक्र्स तीन छद्म समूहों को परिभाषित करते हैं 𝜙k(f) = 0: यह स्केलिंग समूह देता है (k = 0); एफ़िन समूह (k = 1); और संपूर्ण जटिल मोबियस समूह (k = 2). तो ये 1-सहचक्र छद्मसमूह को परिभाषित करने वाले विशेष साधारण अंतर समीकरण हैं। अधिक महत्वपूर्ण रूप से उनका उपयोग रीमैन सतहों पर संबंधित एफ़िन या प्रोजेक्टिव संरचनाओं और कनेक्शनों को परिभाषित करने के लिए किया जा सकता है। अगर Γ चिकनी मैपिंग का एक छद्म समूह है Rn, एक टोपोलॉजिकल स्पेस Mकहा जाता है कि ए Γ-संरचना यदि इसमें चार्ट का संग्रह है f जो खुले सेट से होमियोमोर्फिज्म हैं Vi में M सेट खोलने के लिए Ui में Rn ऐसा कि, प्रत्येक गैर-रिक्त चौराहे के लिए, प्राकृतिक मानचित्र fi (UiUj) को fj (UiUj) में निहित है Γ. यह एक चिकनी की संरचना को परिभाषित करता है n-कई गुना अगर Γ में स्थानीय डिफोमॉर्फिम्स और एक रीमैन सतह शामिल है n = 2-ताकि R2C-और Γ बिहोलोमोर्फिज्म से युक्त है। अगर Γ एफ़िन स्यूडोग्रुप है, M कहा जाता है कि इसमें एक एफ़िन संरचना होती है; और अगर Γ मोबियस स्यूडोग्रुप है, M को एक प्रक्षेपी संरचना कहा जाता है। इस प्रकार एक जीनस एक सतह के रूप में दिया गया है C कुछ जाली के लिए Λ ⊂ C एक एफ़िन संरचना है; और एक वंश p > 1फ़ुचियन समूह द्वारा ऊपरी आधे तल या यूनिट डिस्क के भागफल के रूप में दी गई सतह में एक प्रक्षेप्य संरचना होती है।[18] 1966 में गनिंग ने बताया कि इस प्रक्रिया को कैसे उलटा किया जा सकता है: जीनस के लिए p > 1, एक प्रक्षेप्य कनेक्शन का अस्तित्व, जिसे श्वार्ज़ियन व्युत्पन्न का उपयोग करके परिभाषित किया गया है 𝜙2 और कोहोमोलॉजी पर मानक परिणामों का उपयोग करके सिद्ध किया गया है, इसका उपयोग ऊपरी आधे विमान या यूनिट डिस्क के साथ सार्वभौमिक कवरिंग सतह की पहचान करने के लिए किया जा सकता है (एक समान परिणाम जीनस 1 के लिए होता है, एफ़िन कनेक्शन का उपयोग करके और 𝜙1).[18]

यह भी देखें

  • रिकाती समीकरण का एक महत्वपूर्ण अनुप्रयोग तीसरे क्रम के श्वार्ज़ियन अंतर समीकरण के लिए है

टिप्पणियाँ

  1. 1.0 1.1 Thurston, William P. "Zippers and univalent functions." The Bieberbach conjecture (West Lafayette, Ind., 1985) 21 (1986): 185-197.
  2. Weisstein, Eric W. "Schwarzian Derivative." From MathWorld—A Wolfram Web Resource.
  3. Schiffer 1966
  4. Hille 1976, pp. 374–401
  5. Lehto 1987, p. 60
  6. Duren 1983
  7. Lehto 1987, p. 90
  8. Nehari 1952
  9. von Koppenfels & Stallmann 1959
  10. Klein 1922
  11. Ahlfors 1966
  12. Lehto 1987
  13. Imayoshi & Taniguchi 1992
  14. Ovsienko & Tabachnikov 2005, pp. 21–22
  15. Pekonen 1995
  16. Sternberg 1983, pp. 421–424
  17. Gunning 1978
  18. 18.0 18.1 Gunning 1966

संदर्भ

  • अहलफोर्स, लार्स (1966), क्वासिकोनफॉर्मल मैपिंग पर व्याख्यान, वैन नॉस्ट्रैंड, pp. 117–146, Chapter 6, "Teichmüller Spaces"
  • डुरेन, पीटर एल. (1983), असमान फलन, ग्रुंडलेह्रेन डेर मैथेमेटिसचेन विसेंसचाफ्टन, vol. 259, स्प्रिंगर-वेरलाग, pp. 258–265, ISBN 978-0-387-90795-6]
  • गुइउ, लॉरेंट; रोजर, क्लाउड (2007), L'algèbre et le groupe de Virasoro, Montreal: CRM, ISBN 978-2-921120-44-9
  • गनिंग, आर. सी. (1966), रीमैन सतहों पर व्याख्यान, प्रिंसटन गणितीय नोट्स, प्रिंसटन यूनिवर्सिटी प्रेस
  • गनिंग, आर. सी. (1978), जटिल मैनिफोल्ड्स के एकरूपीकरण पर: कनेक्शन की भूमिका, गणितीय नोट्स, vol. 22, प्रिंसटन यूनिवर्सिटी प्रेस, ISBN 978-0-691-08176-2
  • हिले, एइनर (1976), जटिल डोमेन में साधारण अंतर समीकरण, डोवर, pp. 374–401, ISBN 978-0-486-69620-1, अध्याय 10, "द श्वार्ज़ियन"।
  • इमायोशी, वाई; तानिगुची, एम (1992), टेइचमुलर स्थानों का परिचय, स्प्रिंगर-वेरलाग, ISBN 978-4-431-70088-3
  • केएसी, वी. जी.; रैना, ए. के. (1987), बॉम्बे ने अनंत-आयामी झूठ बीजगणित के उच्चतम वजन प्रतिनिधित्व पर व्याख्यान दिया, विश्व वैज्ञानिक, ISBN 978-9971-50-395-6
  • वॉन कोपेनफेल्स, डब्ल्यू.; स्टॉलमैन, एफ. (1959), प्रैक्सिस डेर कॉन्फॉर्मेन एबिल्डुंग, दि ग्रुन्डलेह्रेन डेर मैथेमेटिसचेन विसेनशाफ्टेन, vol. 100, स्प्रिंगर-वेरलाग, pp. 114–141,धारा 12, "वृत्ताकार चापों के साथ बहुभुजों का मानचित्रण"।
  • क्लेन, फ़ेलिक्स (1922), एकत्रित कार्य, vol. 2, स्प्रिंगर-वेरलाग, pp. 540–549, "सामान्यीकृत लैम फ़ंक्शंस के सिद्धांत पर"।
  • लेहटो, ओटो (1987), Univalent functions and Teichmüller spaces, स्प्रिंगर-वेरलाग, pp. 50–59, 111–118, 196–205, ISBN 978-0-387-96310-5
  • लिबरमैन, पौलेट (1959), "स्यूडोग्रुप्स इनफिनिटेसिमॉक्स अटैचेस ऑक्स स्यूडोग्रुप्स डी ली", बुल. समाज. गणित। फ्रांस, 87: 409–425, doi:10.24033/bsmf.1536
  • नेहारी, Zeev (1949), "श्वार्ज़ियन व्युत्पन्न और श्लिच्ट फ़ंक्शन", अमेरिकन गणितीय सोसायटी का बुलेटिन, 55 (6): 545–551, doi:10.1090/S0002-9904-1949-09241-8, ISSN 0002-9904, MR 0029999
  • नेहारी, ज़ीव (1952), अनुरूप मानचित्रण, डोवर, pp. 189–226, ISBN 978-0-486-61137-2
  • ओवसिएन्को, वी.; टाबाच्निकोव, एस. (2005), प्रोजेक्टिव डिफरेंशियल ज्योमेट्री पुराना और नया, कैम्ब्रिज यूनिवर्सिटी प्रेस, ISBN 978-0-521-83186-4
  • ओवसिएन्को, वैलेन्टिन; टाबाच्निकोव, सर्गेई (2009), "क्या है । . . श्वार्ज़ियन व्युत्पन्न?" (PDF), एएमएस नोटिस, 56 (1): 34–36
  • पेकोनेन, ओस्मो (1995), "ज्यामिति और भौतिकी में यूनिवर्सल टीचमुलर स्थान", जे. जियोम. भौतिक., 15 (3): 227–251, arXiv:hep-th/9310045, Bibcode:1995JGP....15..227P, doi:10.1016/0393-0440(94)00007-Q, S2CID 119598450
  • शिफर, मनहेम (1966), "रीमैन सतहों पर आधे-आदेश के अंतर", अनुप्रयुक्त गणित पर सियाम जर्नल, 14 (4): 922–934, doi:10.1137/0114073, JSTOR 2946143, S2CID 120194068
  • सहगल, ग्रीम (1981), "कुछ अनंत-आयामी समूहों का एकात्मक प्रतिनिधित्व", कॉम. गणित। भौतिक।, 80 (3): 301–342, Bibcode:1981सीएमएपीएच.80..301S, doi:10.1007/bf01208274, S2CID 121367853 {{citation}}: Check |bibcode= length (help)
  • स्टर्नबर्ग, श्लोमो (1983), विभेदक ज्यामिति पर व्याख्यान (द्वितीय ed.), चेल्सी प्रकाशन, ISBN 978-0-8284-0316-0
  • तख्तजा, लियोन ए.; टेओ, ली-पेंग (2006), यूनिवर्सल टीचमुलर स्पेस पर वेइल-पीटरसन मीट्रिक, मेम। आमेर। गणित। समाज।, vol. 183