हॉज संरचना: Difference between revisions

From Vigyanwiki
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Algebraic structure}}
{{Short description|Algebraic structure}}
गणित में, एक हॉज संरचना, जिसका नाम डब्लू. '''हॉज संरचनाओं''' को पियरे डेलिग्ने (1970) द्वारा परिभाषित [[मिश्रित हॉज संरचना|मिश्रित हॉज]] संरचनाओं के रूप में सभी जटिल किस्मों (भले ही वे एकवचन और गैर-पूर्ण हों) के लिए सामान्यीकृत किया गया है। हॉज संरचना का एक रूपांतर हॉज संरचनाओं का एक परिवार है जिसे मैनिफोल्ड द्वारा मानकीकृत किया गया है, जिसका सबसे पहले अध्ययन [[फिलिप ग्रिफिथ्स]] (1968) द्वारा किया गया था। मोरिहिको सैटो (1989) द्वारा इन सभी अवधारणाओं को जटिल किस्मों की तुलना में मिश्रित हॉज मॉड्यूल में सामान्यीकृत किया गया था।
गणित में, एक हॉज संरचना, जिसका नाम डब्लू. '''हॉज संरचनाओं''' को पियरे डेलिग्ने (1970) द्वारा परिभाषित [[मिश्रित हॉज संरचना|मिश्रित हॉज]] संरचनाओं के रूप में सभी जटिल वर्गों (भले ही वे एकवचन और गैर-पूर्ण हों) के लिए सामान्यीकृत किया गया है। हॉज संरचना का एक रूपांतर हॉज संरचनाओं का एक कुल है जिसे मैनिफोल्ड द्वारा मानकीकृत किया गया है, जिसका सबसे पहले अध्ययन [[फिलिप ग्रिफिथ्स]] (1968) द्वारा किया गया था। मोरिहिको सैटो (1989) द्वारा इन सभी अवधारणाओं को जटिल वर्गों की तुलना में मिश्रित हॉज मॉड्यूल में सामान्यीकृत किया गया था।


==हॉज संरचनाएं==
==हॉज संरचनाएं==


===हॉज संरचनाओं की परिभाषा===
===हॉज संरचनाओं की परिभाषा===
पूर्णांक प्रभाव ''n'' की एक अविकृत हॉज संरचना में एक एबेलियन समूह <math>H_{\Z}</math>होता है और इसके जटिलीकरण ''H'' का अपघटन जटिल उप-स्थानों <math>H^{p,q}</math> के प्रत्यक्ष योग में होता है।  जहां <math>p+q=n</math>p इस गुण के साथ कि <math>H^{p,q}</math> का सम्मिश्र संयुग्म <math>H^{q,p}</math> है।
'''पूर्णांक प्रभाव''' ''n'' की अविकृत हॉज संरचना में एबेलियन समूह <math>H_{\Z}</math>होता है और इसके जटिलीकरण ''H'' का अपघटन जटिल उप-स्थानों <math>H^{p,q}</math> के प्रत्यक्ष योग में होता है।  जहां <math>p+q=n</math>p इस गुण के साथ कि <math>H^{p,q}</math> का सम्मिश्र संयुग्म <math>H^{q,p}</math> है।


:<math>H := H_{\Z}\otimes_{\Z} \Complex = \bigoplus\nolimits_{p+q=n}H^{p,q},</math>
:<math>H := H_{\Z}\otimes_{\Z} \Complex = \bigoplus\nolimits_{p+q=n}H^{p,q},</math>
:<math>\overline{H^{p,q}}=H^{q,p}.</math>
:<math>\overline{H^{p,q}}=H^{q,p}.</math>
हॉज निस्पंदन द्वारा ''H'' के '''प्रत्यक्ष योग अपघटन को प्रतिस्थापित''' करके एक समतुल्य परिभाषा प्राप्त की जाती है, जटिल उप-स्थान <math>F^pH (p \in \Z),</math> द्वारा H का एक सीमित घटता [[निस्पंदन (गणित)|निस्पंदन]], स्थिति के अधीन है।
'''हॉज निस्पंदन''' द्वारा ''H'' के '''प्रत्यक्ष योग अपघटन को प्रतिस्थापित''' करके समतुल्य परिभाषा प्राप्त की जाती है, जटिल उप-स्थान <math>F^pH (p \in \Z),</math> द्वारा H का सीमित घटता [[निस्पंदन (गणित)|निस्पंदन]], स्थिति के अधीन है।


:<math>\forall p, q \ : \ p + q = n+1, \qquad F^p H\cap\overline{F^q H}=0 \quad \text{and} \quad F^p H \oplus \overline{F^q H}=H.</math>
:<math>\forall p, q \ : \ p + q = n+1, \qquad F^p H\cap\overline{F^q H}=0 \quad \text{and} \quad F^p H \oplus \overline{F^q H}=H.</math>
Line 16: Line 16:
:<math> H^{p,q}=F^p H\cap \overline{F^q H},</math>
:<math> H^{p,q}=F^p H\cap \overline{F^q H},</math>
:<math>F^p H= \bigoplus\nolimits_{i\geq p} H^{i,n-i}. </math>
:<math>F^p H= \bigoplus\nolimits_{i\geq p} H^{i,n-i}. </math>
उदाहरण के लिए, यदि X एक कॉम्पैक्ट काहलर मैनिफोल्ड है, <math>H_{\Z} = H^n (X, \Z)</math> पूर्णांक गुणांकों के साथ X का n-वाँ सह-समरूपता समूह <math>H = H^n (X, \Complex)</math>है। जटिल गुणांकों वाला इसका n-वाँ सह-समरूपता समूह है और हॉज सिद्धांत उपरोक्त के अनुसार H के प्रत्यक्ष योग में अपघटन प्रदान करता है, ताकि ये डेटा वजन n की अविकृत हॉज संरचना को परिभाषित करें। दूसरी ओर, 'हॉज-डी रैम स्पेक्ट्रल अनुक्रम' आपूर्ति करता है <math>H^n</math> घटते निस्पंदन के साथ <math>F^p H</math> जैसा कि दूसरी परिभाषा में है।<ref>In terms of spectral sequences, see [[homological algebra]], Hodge fitrations can be described as the following:
उदाहरण के लिए, यदि X कॉम्पैक्ट काहलर मैनिफोल्ड है, <math>H_{\Z} = H^n (X, \Z)</math> पूर्णांक गुणांकों के साथ X का n-वाँ सह-समरूपता समूह <math>H = H^n (X, \Complex)</math>है। जटिल गुणांकों वाला इसका n-वाँ सह-समरूपता समूह है और हॉज सिद्धांत उपरोक्त के अनुसार H के प्रत्यक्ष योग में अपघटन प्रदान करता है, ताकि ये डेटा प्रभाव n की अविकृत हॉज संरचना को परिभाषित करें। दूसरी ओर, 'हॉज-डी रैम स्पेक्ट्रल अनुक्रम' आपूर्ति करता है <math>H^n</math> घटते निस्पंदन के साथ <math>F^p H</math> जैसा कि दूसरी परिभाषा में है।<ref>In terms of spectral sequences, see [[homological algebra]], Hodge fitrations can be described as the following:


:<math>E^{p,q}_1=H^{p+q}(\operatorname{gr}^W_nH)\Rightarrow H^{p+q},</math>
:<math>E^{p,q}_1=H^{p+q}(\operatorname{gr}^W_nH)\Rightarrow H^{p+q},</math>
Line 22: Line 22:
using notations in [[#Definition of mixed Hodge structure]]. The important fact is that this is degenerate at the term ''E''<sup>1</sup>, which means the Hodge–de Rham spectral sequence, and then the Hodge decomposition, depends only on the complex structure not Kähler metric on ''M''.</ref>
using notations in [[#Definition of mixed Hodge structure]]. The important fact is that this is degenerate at the term ''E''<sup>1</sup>, which means the Hodge–de Rham spectral sequence, and then the Hodge decomposition, depends only on the complex structure not Kähler metric on ''M''.</ref>


बीजगणितीय ज्यामिति में अनुप्रयोगों के लिए, अर्थात्, उनकी [[अवधि मानचित्रण]] द्वारा जटिल प्रक्षेप्य किस्मों का वर्गीकरण, वजन n के सभी हॉज संरचनाओं का सेट <math>H_{\Z}</math> बहुत बड़ा है। [[रीमैन द्विरेखीय संबंध]] का उपयोग करते हुए, इस मामले में जिसे हॉज रीमैन द्विरेखीय संबंध कहा जाता है, इसे काफी हद तक सरल बनाया जा सकता है। 'वजन n की ध्रुवीकृत हॉज संरचना' में एक हॉज संरचना शामिल होती है <math>(H_{\Z}, H^{p,q})</math> और एक गैर-पतित पूर्णांक [[द्विरेखीय रूप]] Q पर <math>H_{\Z}</math> (एबेलियन वर्ग#ध्रुवीकरण और दोहरी एबेलियन वर्ग), जो रैखिकता द्वारा H तक विस्तारित है, और शर्तों को संतुष्ट करती है:
बीजगणितीय ज्यामिति में अनुप्रयोगों के लिए, अर्थात्, उनकी [[अवधि मानचित्रण]] द्वारा जटिल प्रक्षेप्य वर्गों का वर्गीकरण, प्रभाव n के सभी हॉज संरचनाओं का सेट <math>H_{\Z}</math> बहुत बड़ा है। [[रीमैन द्विरेखीय संबंध]] का उपयोग करते हुए, इस स्तिथि में जिसे ''हॉज रीमैन द्विरेखीय संबंध'' कहा जाता है, इसे काफी हद तक सरल बनाया जा सकता है। '''<nowiki/>'प्रभाव n की ध्रुवीकृत हॉज संरचना'''' में हॉज संरचना सम्मिलित होती है <math>(H_{\Z}, H^{p,q})</math> और एक गैर-पतित पूर्णांक [[द्विरेखीय रूप]] Q पर <math>H_{\Z}</math> (एबेलियन वर्ग ध्रुवीकरण और दोहरी एबेलियन वर्ग), जो रैखिकता द्वारा H तक विस्तारित है, और शर्तों को संतुष्ट करती है:


:<math>\begin{align}
:<math>\begin{align}
Line 37: Line 37:
जहां C, H पर वेइल ऑपरेटर है,  <math>C = i^{p-q}</math> पर <math>H^{p,q}</math>. द्वारा दिया गया है।
जहां C, H पर वेइल ऑपरेटर है,  <math>C = i^{p-q}</math> पर <math>H^{p,q}</math>. द्वारा दिया गया है।


हॉज संरचना की एक और परिभाषा एक जटिल वेक्टर स्पेस पर <math>\Z</math>-ग्रेडिंग और सर्कल समूह [[U(1)]] की कार्रवाई के बीच समानता पर आधारित है। इस परिभाषा में, द्वि-आयामी वास्तविक बीजगणितीय टोरस के रूप में देखे जाने वाले सम्मिश्र संख्याओं <math>\Complex^*</math> के गुणक समूह की एक क्रिया H पर दी गई है।<ref>More precisely, let ''S'' be the two-dimensional commutative real [[algebraic group]] defined as the [[Weil restriction]] of the [[multiplicative group]] from <math>\Complex</math> to <math>\R;</math> in other words, if ''A'' is an algebra over <math>\R,</math> then the group ''S''(''A'') of ''A''-valued points of ''S'' is the multiplicative group of <math>A \otimes \Complex.</math> Then <math>S(\R)</math> is the group <math>\Complex^*</math> of non-zero complex numbers.</ref> इस क्रिया में यह गुण होना चाहिए कि एक वास्तविक संख्या a, a द्वारा कार्य करती है। उपसमष्टि <math>H^{p,q}</math> वह उपसमष्टि है जिस पर <math>z \in \Complex^*</math> <math>z^p\overline{z}^q.</math> द्वारा गुणन के रूप में कार्य करता है।
हॉज संरचना की एक और परिभाषा जटिल सदिश स्पेस पर <math>\Z</math>-ग्रेडिंग और सर्कल समूह [[U(1)]] की गतिविधि के बीच समानता पर आधारित है। इस परिभाषा में, द्वि-आयामी वास्तविक बीजगणितीय टोरस के रूप में देखे जाने वाले सम्मिश्र संख्याओं <math>\Complex^*</math> के गुणक समूह की एक क्रिया H पर दी गई है।<ref>More precisely, let ''S'' be the two-dimensional commutative real [[algebraic group]] defined as the [[Weil restriction]] of the [[multiplicative group]] from <math>\Complex</math> to <math>\R;</math> in other words, if ''A'' is an algebra over <math>\R,</math> then the group ''S''(''A'') of ''A''-valued points of ''S'' is the multiplicative group of <math>A \otimes \Complex.</math> Then <math>S(\R)</math> is the group <math>\Complex^*</math> of non-zero complex numbers.</ref> इस क्रिया में यह गुण होना चाहिए कि एक वास्तविक संख्या a, a द्वारा कार्य करती है। उपसमष्टि <math>H^{p,q}</math> वह उपसमष्टि है जिस पर <math>z \in \Complex^*</math> <math>z^p\overline{z}^q.</math> द्वारा गुणन के रूप में कार्य करता है।
<!---
<!---
Weight filtration is part of mixed Hodge structure. The '''weight filtration'''  ''W'' is an increasing filtration defined by  
Weight filtration is part of mixed Hodge structure. The '''weight filtration'''  ''W'' is an increasing filtration defined by  
Line 43: Line 43:
The weight filtration is defined over the reals, while the Hodge filtration is defined over the complex numbers.  A Hodge structure is determined by its weight filtration and  Hodge filtration. -->
The weight filtration is defined over the reals, while the Hodge filtration is defined over the complex numbers.  A Hodge structure is determined by its weight filtration and  Hodge filtration. -->
===''A''-हॉज संरचना===
===''A''-हॉज संरचना===
उद्देश्यों के सिद्धांत में, सहसंबद्धता के लिए अधिक सामान्य गुणांकों की अनुमति देना महत्वपूर्ण हो जाता है। हॉज संरचना की परिभाषा को वास्तविक संख्याओं के फ़ील्ड <math>\R</math> के नोएथेरियन सबरिंग A को ठीक करके संशोधित किया गया है, जिसके लिए <math>\mathbf{A} \otimes_{\Z} \R</math> एक फ़ील्ड है। फिर वज़न ''n'' की एक अविकृत हॉज A-संरचना को पहले की तरह परिभाषित किया गया है, जिसमें <math>\Z</math> को A के साथ प्रतिस्थापित किया गया है। B के एक उपरिंग के लिए हॉज A-संरचनाओं और B-संरचनाओं से संबंधित आधार परिवर्तन और प्रतिबंध के प्राकृतिक फ़ैक्टर हैं।
उद्देश्यों के सिद्धांत में, सहसंबद्धता के लिए अधिक सामान्य गुणांकों की अनुमति देना महत्वपूर्ण हो जाता है। हॉज संरचना की परिभाषा को वास्तविक संख्याओं के फ़ील्ड <math>\R</math> के नोएथेरियन सबरिंग A को ठीक करके संशोधित किया गया है, जिसके लिए <math>\mathbf{A} \otimes_{\Z} \R</math> एक फ़ील्ड है। फिर वज़न ''n'' की एक अविकृत हॉज A-संरचना को पहले की तरह परिभाषित किया गया है, जिसमें <math>\Z</math> को A के साथ प्रतिस्थापित किया गया है। B के उपरिंग के लिए हॉज A-संरचनाओं और B-संरचनाओं से संबंधित आधार परिवर्तन और प्रतिबंध के प्राकृतिक गुणक हैं।


==मिश्रित हॉज संरचनाएं==
==मिश्रित हॉज संरचनाएं==
{{Main|मिश्रित हॉज संरचना}}
{{Main|मिश्रित हॉज संरचना}}


1960 के दशक में वेइल अनुमानों के आधार पर [[ जीन पियरे सेरे |जीन पियरे सेरे]]द्वारा इस बात पर ध्यान दिया गया कि यहां तक कि एकवचन (संभवतः कम करने योग्य) और गैर-पूर्ण बीजगणितीय किस्मों को भी 'आभासी बेट्टी संख्या' को स्वीकार करना चाहिए। अधिक सटीक रूप से, किसी को किसी भी बीजीय विविधता ''X'' को बहुपद ''P<sub>X</sub>''(''t'') निर्दिष्ट करने में सक्षम होना चाहिए, गुणों के साथ, इसे आभासी पोनकारे बहुपद कहा जाता है
1960 के दशक में वेइल अनुमानों के आधार पर [[ जीन पियरे सेरे |जीन पियरे सेरे]]द्वारा इस बात पर ध्यान दिया गया कि यहां तक कि एकवचन (संभवतः कम करने योग्य) और गैर-पूर्ण बीजगणितीय वर्गों को भी 'आभासी बेट्टी संख्या' को स्वीकार करना चाहिए। अधिक सटीक रूप से, किसी को किसी भी बीजीय विविधता ''X'' को बहुपद ''P<sub>X</sub>''(''t'') निर्दिष्ट करने में सक्षम होना चाहिए, गुणों के साथ, इसे '''आभासी पोनकारे बहुपद''' कहा जाता है
* यदि X एकवचन और प्रक्षेप्य (या पूर्ण) है <math display="block">P_X(t) = \sum \operatorname{rank}(H^n(X))t^n</math>
* यदि X एकवचन और प्रक्षेप्य (या पूर्ण) है <math display="block">P_X(t) = \sum \operatorname{rank}(H^n(X))t^n</math>
* यदि Y, X का बंद बीजगणितीय उपसमुच्चय है और U = X \ Y है <math display="block">P_X(t)=P_Y(t)+P_U(t)</math>
* यदि Y, X का बंद बीजगणितीय उपसमुच्चय है और U = X \ Y है <math display="block">P_X(t)=P_Y(t)+P_U(t)</math>
ऐसे बहुपदों का अस्तित्व एक सामान्य (एकवचन और गैर-पूर्ण) बीजगणितीय विविधता के सहसंयोजनों में हॉज संरचना के एक एनालॉग के अस्तित्व से होगा। नवीन विशेषता यह है कि एक सामान्य वर्ग की nवीं सहसंरचना ऐसी दिखती है मानो इसमें विभिन्न वजन के टुकड़े हों। इसने [[अलेक्जेंडर ग्रोथेंडिक]] को उनके उद्देश्यों के अनुमानित सिद्धांत की ओर प्रेरित किया और हॉज सिद्धांत के विस्तार की खोज के लिए प्रेरित किया, जिसकी परिणति पियरे डेलिग्ने के काम में हुई। उन्होंने मिश्रित हॉज संरचना की धारणा पेश की, उनके साथ काम करने के लिए तकनीक विकसित की, उनका निर्माण दिया (हेसुके हिरोनका के विलक्षणताओं के संकल्प के आधार पर) और उन्हें ''L''-एडिक सह-समरूपता पर प्रभाव से जोड़ा, जो वेइल अनुमानों के अंतिम भाग को सिद्ध करता है।
ऐसे बहुपदों का अस्तित्व एक सामान्य (एकवचन और गैर-पूर्ण) बीजगणितीय विविधता के सहसंयोजनों में हॉज संरचना के एनालॉग के अस्तित्व से होगा। नवीन विशेषता यह है कि सामान्य वर्ग की nवीं सहसंरचना ऐसी दिखती है मानो इसमें विभिन्न प्रभाव के टुकड़े हों। इसने [[अलेक्जेंडर ग्रोथेंडिक]] को उनके उद्देश्यों के अनुमानित सिद्धांत की ओर प्रेरित किया और हॉज सिद्धांत के विस्तार की खोज के लिए प्रेरित किया, जिसकी परिणति पियरे डेलिग्ने के काम में हुई। उन्होंने मिश्रित हॉज संरचना की धारणा पेश की, उनके साथ काम करने के लिए तकनीक विकसित की, उनका निर्माण दिया (हेसुके हिरोनका के विलक्षणताओं के संकल्प के आधार पर) और उन्हें ''L''-एडिक सह-समरूपता पर प्रभाव से जोड़ा, जो वेइल अनुमानों के अंतिम भाग को सिद्ध करता है।


=== वक्रों का उदाहरण ===
=== वक्रों का उदाहरण ===
परिभाषा को प्रेरित करने के लिए, दो गैर-एकवचन घटकों से युक्त एक कम करने योग्य जटिल [[बीजगणितीय वक्र]] X के मामले पर विचार करें,  <math>X_1</math> और <math>X_2</math>, जो बिंदुओं पर अनुप्रस्थ रूप से प्रतिच्छेद करता है <math>Q_1</math> और <math>Q_2</math>. इसके अतिरिक्त, मान लें कि घटक सघन नहीं हैं, लेकिन बिंदुओं को जोड़कर उन्हें सघन किया जा सकता है <math>P_1, \dots ,P_n</math>. वक्र इस समूह में तीन प्रकार के एक-चक्र हैं। सबसे पहले, तत्व हैं <math>\alpha_i</math> पंचर के चारों ओर छोटे लूप का प्रतिनिधित्व करना <math>P_i</math>. फिर तत्व हैं <math>\beta_j</math> जो प्रत्येक घटक के कॉम्पेक्टिफिकेशन (गणित) की पहली होमोलॉजी से आ रहे हैं। एक चक्र में <math>X_k \subset X</math> (<math>k=1,2</math>) इस घटक के संघनन में एक चक्र के अनुरूप, विहित नहीं है: इन तत्वों की अवधि मॉड्यूलो द्वारा निर्धारित की जाती है <math>\alpha_1, \dots ,\alpha_n</math>. अंत में, मॉड्यूलो पहले दो प्रकार, समूह एक संयोजक चक्र द्वारा उत्पन्न होता है <math>\gamma</math> जो से जाता है <math>Q_1</math> को <math>Q_2</math>एक घटक में एक पथ के साथ <math>X_1</math> और दूसरे घटक में एक पथ के साथ वापस आता है <math>X_2</math>. इससे पता चलता है <math>H_1(X)</math> बढ़ते हुए निस्पंदन को स्वीकार करता है
परिभाषा को प्रेरित करने के लिए, दो गैर-एकवचन घटकों से युक्त एक कम करने योग्य जटिल [[बीजगणितीय वक्र]] X के स्तिथि पर विचार करें,  <math>X_1</math> और <math>X_2</math>, जो बिंदुओं पर अनुप्रस्थ रूप से प्रतिच्छेद करता है <math>Q_1</math> और <math>Q_2</math>. इसके अतिरिक्त, मान लें कि घटक सघन नहीं हैं, लेकिन बिंदुओं को जोड़कर उन्हें सघन किया जा सकता है <math>P_1, \dots ,P_n</math>. वक्र इस समूह में तीन प्रकार के एक-चक्र हैं। सबसे पहले, अवयव हैं <math>\alpha_i</math> पंचर के चारों ओर छोटे लूप का प्रतिनिधित्व करना <math>P_i</math>. फिर अवयव हैं <math>\beta_j</math> जो प्रत्येक घटक के संघनन (गणित) की पहली समरूपता से आ रहे हैं। चक्र में <math>X_k \subset X</math> (<math>k=1,2</math>) इस घटक के संघनन में एक चक्र के अनुरूप, विहित नहीं है: इन अवयवों की अवधि मॉड्यूलो द्वारा निर्धारित की जाती है <math>\alpha_1, \dots ,\alpha_n</math>. अंत में, मॉड्यूलो पहले दो प्रकार, समूह एक संयोजक चक्र द्वारा उत्पन्न होता है <math>\gamma</math> जो से जाता है <math>Q_1</math> को घटक में पथ के साथ <math>X_1</math> और दूसरे घटक में पथ के साथ वापस आता है <math>X_2</math>. इससे पता चलता है <math>H_1(X)</math> बढ़ते हुए निस्पंदन को स्वीकार करता है


: <math> 0\subset W_0\subset W_1 \subset W_2=H^1(X), </math>
: <math> 0\subset W_0\subset W_1 \subset W_2=H^1(X), </math>
जिसके क्रमिक भागफल ''W<sub>n</sub>''/''W<sub>n</sub>''<sub>−1</sub> पूर्ण किस्मों के सहसंयोजन से उत्पन्न होते हैं, इसलिए अलग-अलग वजन के बावजूद (अविकृत) हॉज संरचनाओं को स्वीकार करते हैं। आगे के उदाहरण A नाइव गाइड टू मिक्स्ड हॉज सिद्धांत में पाए जा सकते हैं।<ref>{{Cite journal|last=Durfee|first=Alan|year=1981|title=मिश्रित हॉज सिद्धांत के लिए एक अनुभवहीन मार्गदर्शिका|journal=Complex Analysis of Singularities|pages=48–63|hdl=2433/102472}}</ref>
जिसके क्रमिक भागफल ''W<sub>n</sub>''/''W<sub>n</sub>''<sub>−1</sub> पूर्ण वर्गों के सहसंयोजन से उत्पन्न होते हैं, इसलिए अलग-अलग प्रभाव के बावजूद (अविकृत) हॉज संरचनाओं को स्वीकार करते हैं। आगे के उदाहरण A नाइव गाइड टू मिक्स्ड हॉज सिद्धांत में पाए जा सकते हैं।<ref>{{Cite journal|last=Durfee|first=Alan|year=1981|title=मिश्रित हॉज सिद्धांत के लिए एक अनुभवहीन मार्गदर्शिका|journal=Complex Analysis of Singularities|pages=48–63|hdl=2433/102472}}</ref>
=== मिश्रित हॉज संरचना की परिभाषा ===
=== मिश्रित हॉज संरचना की परिभाषा ===
एबेलियन समूह <math>H_{\Z}</math> पर एक मिश्रित हॉज संरचना में जटिल वेक्टर स्पेस H पर एक सीमित घटती निस्पंदन ''F<sup>p</sup>'' (<math>H_{\Z}</math> की जटिलता, जिसे हॉज निस्पंदन कहा जाता है) और तर्कसंगत वेक्टर अंतरिक्ष <math>H_{\Q} = H_{\Z} \otimes_{\Z} \Q</math>(प्राप्त) पर एक सीमित बढ़ती निस्पंदन Wi शामिल है। स्केलर को तर्कसंगत संख्याओं तक विस्तारित करके), जिसे वजन निस्पंदन कहा जाता है, इस आवश्यकता के अधीन है कि वजन निस्पंदन के संबंध में मुख्यालय के n-वें संबंधित वर्गीकृत भागफल, इसके जटिलीकरण पर F द्वारा प्रेरित निस्पंदन के साथ, सभी पूर्णांक n के लिए प्रभाव n की एक अविकृत हॉज संरचना है। यहां प्रेरित निस्पंदन चालू है
एबेलियन समूह <math>H_{\Z}</math> पर मिश्रित हॉज संरचना में जटिल सदिश स्पेस H पर सीमित घटती निस्पंदन ''F<sup>p</sup>'' (<math>H_{\Z}</math> की जटिलता, जिसे '''हॉज निस्पंदन''' कहा जाता है) और तर्कसंगत सदिश स्पेस <math>H_{\Q} = H_{\Z} \otimes_{\Z} \Q</math>(प्राप्त) पर एक सीमित बढ़ती निस्पंदन Wi सम्मिलित है। स्केलर को तर्कसंगत संख्याओं तक विस्तारित करके), जिसे प्रभाव निस्पंदन कहा जाता है, इस आवश्यकता के अधीन है कि '''प्रभाव निस्पंदन''' के संबंध में मुख्यालय के n-वें संबंधित वर्गीकृत भागफल, इसके जटिलीकरण पर F द्वारा प्रेरित निस्पंदन के साथ, सभी पूर्णांक n के लिए प्रभाव n की एक अविकृत हॉज संरचना है। यहां प्रेरित निस्पंदन चालू है


: <math>\operatorname{gr}_n^{W} H = W_n\otimes\Complex /W_{n-1}\otimes\Complex</math>
: <math>\operatorname{gr}_n^{W} H = W_n\otimes\Complex /W_{n-1}\otimes\Complex</math>
Line 67: Line 67:
कोई मिश्रित हॉज संरचनाओं के रूपवाद की धारणा को परिभाषित कर सकता है, जिसे निस्पंदन ''F'' और ''W'' के साथ संगत होना होगा और निम्नलिखित साबित करना होगा:
कोई मिश्रित हॉज संरचनाओं के रूपवाद की धारणा को परिभाषित कर सकता है, जिसे निस्पंदन ''F'' और ''W'' के साथ संगत होना होगा और निम्नलिखित साबित करना होगा:


:'प्रमेय.' मिश्रित हॉज संरचनाएं एक [[एबेलियन श्रेणी]] बनाती हैं। इस श्रेणी में कर्नेल और कोकर्नेल, प्रेरित निस्पंदन के साथ वेक्टर रिक्त स्थान की श्रेणी में सामान्य कर्नेल और कोकर्नेल के साथ मेल खाते हैं।
:'प्रमेय.' मिश्रित हॉज संरचनाएं [[एबेलियन श्रेणी]] बनाती हैं। इस श्रेणी में कर्नेल और कोकर्नेल, प्रेरित निस्पंदन के साथ सदिश रिक्त स्थान की श्रेणी में सामान्य कर्नेल और कोकर्नेल के साथ मेल खाते हैं।


कॉम्पैक्ट काहलर मैनिफोल्ड की कुल कोहोमोलॉजी में एक मिश्रित हॉज संरचना होती है, जहां वजन निस्पंदन ''W<sub>n</sub>'' का एनवां स्थान ''n'' से कम या उसके बराबर डिग्री के कोहोमोलॉजी समूहों (तर्कसंगत गुणांक के साथ) का प्रत्यक्ष योग है। इसलिए, कोई कॉम्पैक्ट, जटिल मामले में शास्त्रीय हॉज सिद्धांत के बारे में सोच सकता है, जो जटिल कोहोलॉजी समूह पर दोहरी ग्रेडिंग प्रदान करता है, जो बढ़ते निस्पंदन एफपी और घटते निस्पंदन डब्ल्यूएन को परिभाषित करता है जो एक निश्चित तरीके से संगत हैं। सामान्य तौर पर, कुल कोहोमोलॉजी स्पेस में अभी भी ये दो निस्पंदन हैं, लेकिन वे अब प्रत्यक्ष योग अपघटन से नहीं आते हैं। अविकृत हॉज संरचना की तीसरी परिभाषा के संबंध में, कोई यह कह सकता है कि समूह <math>\Complex^*.</math> की क्रिया का उपयोग करके मिश्रित हॉज संरचना का वर्णन नहीं किया जा सकता है। <math>\Complex^*.</math> डेलिग्ने की एक महत्वपूर्ण अंतर्दृष्टि यह है कि मिश्रित मामले में एक अधिक जटिल गैर-अनुवांशिक प्रोएलजेब्रिक समूह होता है जिसका उपयोग टैनाकियन औपचारिकता का उपयोग करके समान प्रभाव के लिए किया जा सकता है।
कॉम्पैक्ट काहलर मैनिफोल्ड की कुल कोसमरूपता में एक मिश्रित हॉज संरचना होती है, जहां प्रभाव निस्पंदन ''W<sub>n</sub>'' का एनवां स्थान ''n'' से कम या उसके बराबर डिग्री के कोसमरूपता समूहों (तर्कसंगत गुणांक के साथ) का प्रत्यक्ष योग है। इसलिए, कोई कॉम्पैक्ट, जटिल स्तिथि में शास्त्रीय हॉज सिद्धांत के बारे में सोच सकता है, जो जटिल सह-समरूपता समूह पर दोहरी ग्रेडिंग प्रदान करता है, जो बढ़ते निस्पंदन एफपी और घटते निस्पंदन डब्ल्यूएन को परिभाषित करता है जो एक निश्चित तरीके से संगत हैं। सामान्य तौर पर, कुल कोसमरूपता स्पेस में अभी भी ये दो निस्पंदन हैं, लेकिन वे अब प्रत्यक्ष योग अपघटन से नहीं आते हैं। अविकृत हॉज संरचना की तीसरी परिभाषा के संबंध में, कोई यह कह सकता है कि समूह <math>\Complex^*.</math> की क्रिया का उपयोग करके मिश्रित हॉज संरचना का वर्णन नहीं किया जा सकता है। <math>\Complex^*.</math> डेलिग्ने की एक महत्वपूर्ण अंतर्दृष्टि यह है कि मिश्रित स्तिथि में एक अधिक जटिल गैर-अनुवांशिक प्रोएलजेब्रिक समूह होता है जिसका उपयोग टैनाकियन औपचारिकता का उपयोग करके समान प्रभाव के लिए किया जा सकता है।


इसके अलावा, (मिश्रित) हॉज संरचनाओं की श्रेणी टेंसर उत्पाद की एक अच्छी धारणा को स्वीकार करती है, जो कि किस्मों के उत्पाद के साथ-साथ आंतरिक होम और दोहरी वस्तु की संबंधित अवधारणाओं के अनुरूप होती है, जो इसे [[तन्नाकियन श्रेणी]] में बनाती है। तन्नाका-क्रेन दर्शन के अनुसार, यह श्रेणी एक निश्चित समूह के परिमित-आयामी प्रतिनिधित्व की श्रेणी के बराबर है, जो डेलिग्ने, मिल्ने और एट अल। स्पष्ट रूप से वर्णन किया गया है, डेलिग्ने और मिल्ने (1982) <ref>The second article titled ''Tannakian categories'' by Deligne and Milne concentrated to this topic.</ref> और डेलिग्ने (1994) देखें। इस समूह का विवरण काप्रानोव (2012) द्वारा अधिक ज्यामितीय शब्दों में दोहराया गया था। तर्कसंगत अविकृत ध्रुवीकरण योग्य हॉज संरचनाओं के लिए संबंधित (बहुत अधिक शामिल) विश्लेषण पैट्रिकिस (2016) द्वारा किया गया था।
इसके अलावा, (मिश्रित) हॉज संरचनाओं की श्रेणी टेंसर उत्पाद की एक अच्छी धारणा को स्वीकार करती है, जो कि वर्गों के उत्पाद के साथ-साथ आंतरिक होम और दोहरी वस्तु की संबंधित अवधारणाओं के अनुरूप होती है, जो इसे [[तन्नाकियन श्रेणी]] में बनाती है। तन्नाका-क्रेन दर्शन के अनुसार, यह श्रेणी एक निश्चित समूह के परिमित-आयामी प्रतिनिधित्व की श्रेणी के बराबर है, जो डेलिग्ने, मिल्ने और एट अल। स्पष्ट रूप से वर्णन किया गया है, डेलिग्ने और मिल्ने (1982) <ref>The second article titled ''Tannakian categories'' by Deligne and Milne concentrated to this topic.</ref> और डेलिग्ने (1994) देखें। इस समूह का विवरण काप्रानोव (2012) द्वारा अधिक ज्यामितीय शब्दों में दोहराया गया था। तर्कसंगत अविकृत ध्रुवीकरण योग्य हॉज संरचनाओं के लिए संबंधित (बहुत अधिक सम्मिलित) विश्लेषण पैट्रिकिस (2016) द्वारा किया गया था।


=== कोहोलॉजी में मिश्रित हॉज संरचना (डेलिग्ने का प्रमेय) ===
=== सह-समरूपता में मिश्रित हॉज संरचना (डेलिग्ने का प्रमेय) ===
डेलिग्ने ने साबित किया है कि एक एच्छिक बीजगणितीय वर्ग के nवें कोहोमोलॉजी समूह में एक कैनोनिकल मिश्रित हॉज संरचना है। यह संरचना कार्यात्मक है और किस्मों के उत्पादों (कुनेथ आइसोमोर्फिज्म) और सह-समरूपता में उत्पाद के साथ संगत है।  
डेलिग्ने ने साबित किया है कि एच्छिक बीजगणितीय वर्ग के nवें कोसमरूपता समूह में एक कैनोनिकल मिश्रित हॉज संरचना है। यह संरचना कार्यात्मक है और वर्गों के उत्पादों (कुनेथ आइसोमोर्फिज्म) और सह-समरूपता में उत्पाद के साथ संगत है।  


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


उद्देश्यों के सिद्धांत का उपयोग करते हुए, तर्कसंगत गुणांक वाले कोहोमोलॉजी पर प्रभाव निस्पंदन को अभिन्न गुणांक वाले एक में परिष्कृत करना संभव है।<ref>{{cite journal|last1=Gillet|first1= Henri|author1-link=Henri Gillet|last2=Soulé|first2=Christophe|author2-link=Christophe Soulé|title=वंश, उद्देश्य और ''के''-सिद्धांत|journal=[[Crelle's Journal|Journal für die Reine und Angewandte Mathematik]]| volume=1996|year=1996|issue= 478|pages=127–176|arxiv=alg-geom/9507013| bibcode=1995alg.geom..7013G|doi=10.1515/crll.1996.478.127|mr=1409056|s2cid= 16441433}}, section 3.1</ref>
उद्देश्यों के सिद्धांत का उपयोग करते हुए, तर्कसंगत गुणांक वाले कोसमरूपता पर प्रभाव निस्पंदन को अभिन्न गुणांक वाले एक में परिष्कृत करना संभव है।<ref>{{cite journal|last1=Gillet|first1= Henri|author1-link=Henri Gillet|last2=Soulé|first2=Christophe|author2-link=Christophe Soulé|title=वंश, उद्देश्य और ''के''-सिद्धांत|journal=[[Crelle's Journal|Journal für die Reine und Angewandte Mathematik]]| volume=1996|year=1996|issue= 478|pages=127–176|arxiv=alg-geom/9507013| bibcode=1995alg.geom..7013G|doi=10.1515/crll.1996.478.127|mr=1409056|s2cid= 16441433}}, section 3.1</ref>


==उदाहरण==
==उदाहरण==
*'''टेट-हॉज संरचना''' <math>\Z(1)</math>अंतर्निहित <math>\Z</math> मॉड्यूल वाली हॉज संरचना है जो <math>2\pi i\Z</math> (<math>\Complex</math> का एक उपसमूह) द्वारा दी गई है, <math>\Z(1) \otimes \Complex = H^{-1,-1}.</math>के साथ। इसलिए यह अविकृत है परिभाषा के अनुसार प्रभाव -2 और यह समरूपता तक प्रभाव -2 की अद्वितीय 1-आयामी अविकृत हॉज संरचना है। अधिक सामान्यतः, इसकी nवीं टेंसर शक्ति को <math>\Z(n);</math> द्वारा दर्शाया जाता है; यह 1-आयामी है और इसका प्रभाव −2n अविकृत है।
*'''टेट-हॉज संरचना''' <math>\Z(1)</math>अंतर्निहित <math>\Z</math> मॉड्यूल वाली हॉज संरचना है जो <math>2\pi i\Z</math> (<math>\Complex</math> का उपसमूह) द्वारा दी गई है, <math>\Z(1) \otimes \Complex = H^{-1,-1}.</math>के साथ। इसलिए यह अविकृत है परिभाषा के अनुसार प्रभाव -2 और यह समरूपता तक प्रभाव -2 की अद्वितीय 1-आयामी अविकृत हॉज संरचना है। अधिक सामान्यतः, इसकी nवीं टेंसर शक्ति को <math>\Z(n);</math> द्वारा दर्शाया जाता है; यह 1-आयामी है और इसका प्रभाव −2n अविकृत है।
*कॉम्पैक्ट काहलर मैनिफोल्ड के सह-समरूपता में एक हॉज संरचना होती है, और nवाँ सह-समरूपता समूह प्रभाव n से अविकृत होता है।
*कॉम्पैक्ट काहलर मैनिफोल्ड के सह-समरूपता में हॉज संरचना होती है, और nवाँ सह-समरूपता समूह प्रभाव n से अविकृत होता है।
*एक जटिल वर्ग (संभवतः एकवचन या गैर-उचित) की कोहोलॉजी में मिश्रित हॉज संरचना होती है। इसे डेलिग्ने (1971), डेलिग्ने (1971ए) और सामान्य तौर पर डेलिग्ने (1974) द्वारा पूर्ण किस्मों के लिए दिखाया गया था।
*जटिल वर्ग (संभवतः एकवचन या गैर-उचित) की सह-समरूपता में मिश्रित हॉज संरचना होती है। इसे डेलिग्ने (1971), डेलिग्ने (1971ए) और सामान्य तौर पर डेलिग्ने (1974) द्वारा पूर्ण वर्गों के लिए दिखाया गया था।
*सामान्य क्रॉसिंग विलक्षणताओं के साथ एक प्रोजेक्टिव वर्ग <math>X</math> के लिए, एक विकृत E<sub>2</sub>-पेज के साथ एक वर्णक्रमीय अनुक्रम होता है जो इसकी सभी मिश्रित हॉज संरचनाओं की गणना करता है। E<sub>1</sub>-पेज में एक सरल सेट से आने वाले अंतर के साथ स्पष्ट शब्द हैं।<ref>{{Citation|chapter-url=http://www3.nd.edu/~lnicolae/hodge_normcross.pdf|chapter=Deligne’s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities|last=Jones|first=B.F.|url=http://www3.nd.edu/~lnicolae/Hodge.htm|title=Hodge Theory Working Seminar-Spring 2005}}</ref>
*सामान्य संकरण विलक्षणताओं के साथ प्रोजेक्टिव वर्ग <math>X</math> के लिए, विकृत E<sub>2</sub>-पेज के साथ वर्णक्रमीय अनुक्रम होता है जो इसकी सभी मिश्रित हॉज संरचनाओं की गणना करता है। E<sub>1</sub>-पेज में एक सरल सेट से आने वाले अंतर के साथ स्पष्ट शब्द हैं।<ref>{{Citation|chapter-url=http://www3.nd.edu/~lnicolae/hodge_normcross.pdf|chapter=Deligne’s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities|last=Jones|first=B.F.|url=http://www3.nd.edu/~lnicolae/Hodge.htm|title=Hodge Theory Working Seminar-Spring 2005}}</ref>
*कोई भी पूर्ण वर्ग X एक सामान्य क्रॉसिंग विभाजक के पूरक के साथ एक पूर्ण कॉम्पैक्टिफिकेशन स्वीकार करती है। X के कोहोलॉजी पर स्पष्ट रूप से मिश्रित हॉज संरचना का वर्णन करने के लिए संबंधित [[लघुगणकीय रूप]] का उपयोग किया जा सकता है।<ref>{{Citation|chapter-url=http://www3.nd.edu/~lnicolae/mhodge-geom.pdf|chapter=Mixed Hodge Structures on Smooth Algebraic Varieties|last=Nicolaescu|first=Liviu|url=http://www3.nd.edu/~lnicolae/Hodge.htm|title=Hodge Theory Working Seminar-Spring 2005}}</ref>
*कोई भी पूर्ण वर्ग X सामान्य संकरण विभाजक के पूरक के साथ पूर्ण कॉम्पैक्टिफिकेशन स्वीकार करती है। X के सह-समरूपता पर स्पष्ट रूप से मिश्रित हॉज संरचना का वर्णन करने के लिए संबंधित [[लघुगणकीय रूप]] का उपयोग किया जा सकता है।<ref>{{Citation|chapter-url=http://www3.nd.edu/~lnicolae/mhodge-geom.pdf|chapter=Mixed Hodge Structures on Smooth Algebraic Varieties|last=Nicolaescu|first=Liviu|url=http://www3.nd.edu/~lnicolae/Hodge.htm|title=Hodge Theory Working Seminar-Spring 2005}}</ref>
*एक पूर्ण प्रक्षेप्य हाइपरसतह के लिए हॉज संरचना <math>X\subset \mathbb{P}^{n+1}</math> डिग्री का <math>d</math> ग्रिफिथ्स द्वारा अपने पीरियड समाकल ऑफ बीजगणितीय मैनिफोल्ड्स पेपर में स्पष्ट रूप से काम किया गया था। अगर <math>f\in \Complex [x_0,\ldots,x_{n+1}]</math> हाइपरसतह को परिभाषित करने वाला बहुपद है <math>X</math> फिर श्रेणीबद्ध [[जैकोबियन आदर्श]] <math display="block">R(f) = \frac{\Complex[x_0,\ldots,x_{n+1}]}{\left( \frac{\partial f}{\partial x_0}, \ldots, \frac{\partial f}{\partial x_{n+1}}\right)}</math> के मध्य सहसंयोजन की सारी जानकारी शामिल है <math>X</math>. वह ऐसा दिखाता है <math display="block">H^{p,n-p}(X)_\text{prim} \cong R(f)_{(n+1-p)d - n -2}</math> उदाहरण के लिए, द्वारा दी गई [[K3 सतह]] पर विचार करें <math>g = x_0^4 + \cdots + x_3^4</math>, इस तरह <math>d = 4</math> और <math>n = 2</math>. फिर, श्रेणीबद्ध जैकोबियन अंगूठी है <math display="block">\frac{\Complex [x_0,x_1,x_2,x_3]}{(x_0^3,x_1^3,x_2^3,x_3^3)}</math> फिर आदिम सह-समरूपता समूहों के लिए समरूपता पढ़ें <math display="block">H^{p,n-p}(X)_{prim} \cong R(g)_{(2+1 - p)4 - 2 - 2} = R(g)_{4(3-p) - 4}</math> इस तरह <math display="block">
*पूर्ण प्रक्षेप्य हाइपरसतह के लिए हॉज संरचना <math>X\subset \mathbb{P}^{n+1}</math> डिग्री का <math>d</math> ग्रिफिथ्स द्वारा अपने पीरियड समाकल ऑफ बीजगणितीय मैनिफोल्ड्स पेपर में स्पष्ट रूप से काम किया गया था। अगर <math>f\in \Complex [x_0,\ldots,x_{n+1}]</math> हाइपरसतह को परिभाषित करने वाला बहुपद है <math>X</math> फिर श्रेणीबद्ध [[जैकोबियन आदर्श]] <math display="block">R(f) = \frac{\Complex[x_0,\ldots,x_{n+1}]}{\left( \frac{\partial f}{\partial x_0}, \ldots, \frac{\partial f}{\partial x_{n+1}}\right)}</math> के मध्य सहसंयोजन की सारी जानकारी सम्मिलित है <math>X</math>. वह ऐसा दिखाता है <math display="block">H^{p,n-p}(X)_\text{prim} \cong R(f)_{(n+1-p)d - n -2}</math> उदाहरण के लिए, द्वारा दी गई [[K3 सतह]] पर विचार करें <math>g = x_0^4 + \cdots + x_3^4</math>, इस तरह <math>d = 4</math> और <math>n = 2</math>. फिर, श्रेणीबद्ध जैकोबियन अंगूठी है <math display="block">\frac{\Complex [x_0,x_1,x_2,x_3]}{(x_0^3,x_1^3,x_2^3,x_3^3)}</math> फिर प्राथमिक सह-समरूपता समूहों के लिए समरूपता पढ़ें <math display="block">H^{p,n-p}(X)_{prim} \cong R(g)_{(2+1 - p)4 - 2 - 2} = R(g)_{4(3-p) - 4}</math> इस तरह <math display="block">
\begin{align}
\begin{align}
H^{0,2}(X)_\text{prim} &\cong R(g)_8 = \Complex \cdot x_0^2x_1^2x_2^2x_3^2 \\
H^{0,2}(X)_\text{prim} &\cong R(g)_8 = \Complex \cdot x_0^2x_1^2x_2^2x_3^2 \\
Line 96: Line 96:
x_0 x_1 x_2^2, & x_0 x_1 x_2 x_3, & x_0x_1x_3^2, & x_0x_2^2x_3, & x_0x_2x_3^2, & x_1^2x_2^2, & x_1^2x_2x_3, & x_1^2x_3^2, \\
x_0 x_1 x_2^2, & x_0 x_1 x_2 x_3, & x_0x_1x_3^2, & x_0x_2^2x_3, & x_0x_2x_3^2, & x_1^2x_2^2, & x_1^2x_2x_3, & x_1^2x_3^2, \\
x_1 x_2^2 x_3, & x_1 x_2 x_3^2, & x_2^2x_3^2
x_1 x_2^2 x_3, & x_1 x_2 x_3^2, & x_2^2x_3^2
\end{array}</math> जो 19-आयामी है. इसमें एक अतिरिक्त वेक्टर है <math>H^{1,1}(X)</math> Lefschetz_manifold#Definitions द्वारा दिया गया <math>[L]</math>. लेफ्शेट्ज़ हाइपरप्लेन प्रमेय और हॉज द्वंद्व से, शेष सह-समरूपता में है <math>H^{k,k}(X)</math> जैसा है <math>1</math>-आयामी. इसलिए हॉज हीरा पढ़ता है <!--
\end{array}</math>जो कि 19-आयामी है। लेफ्शेट्ज़ वर्ग [एल] द्वारा दिए गए <math>H^{1,1}(X)</math> में एक अतिरिक्त सदिश है। लेफ्शेट्ज़ हाइपरप्लेन प्रमेय और हॉज द्वंद्व से, शेष कोसमरूपता <math>H^{k,k}(X)</math> में है जैसा कि 1-आयामी है। इसलिए हॉज डायमंड प्रदर्शित करता है {{Hodge diamond
-->{{Hodge diamond
|1
|1
|0|0
|0|0
Line 103: Line 102:
|0|0
|0|0
|1}}
|1}}
* हम किसी डिग्री के जीनस को सत्यापित करने के लिए पिछले समरूपता का भी उपयोग कर सकते हैं <math>d</math> समतल वक्र. तब से <math>x^d + y^d + z^d</math> एक चिकना वक्र है और एह्रेसमैन फ़िब्रेशन प्रमेय गारंटी देता है कि जीनस का हर दूसरा चिकना वक्र है <math>g</math> भिन्नरूपी है, हमारे पास वह जीनस है तो वही। तो, जैकोबियन रिंग के श्रेणीबद्ध भाग के साथ आदिम सह-समरूपता के समरूपता का उपयोग करते हुए, हम इसे देखते हैं <math display="block">H^{1,0} \cong R(f)_{d-3} \cong \Complex [x,y,z]_{d-3}</math> इसका तात्पर्य यह है कि आयाम है <math display="block"> {2 + d - 3 \choose 2} = {d-1 \choose 2} = \frac{(d-1)(d-2)}{2}</math> जैसी इच्छा थी।
* हम किसी डिग्री के जीनस को सत्यापित करने के लिए पिछले समरूपता का भी उपयोग कर सकते हैं <math>d</math> समतल वक्र. तब से <math>x^d + y^d + z^d</math> एक स्मूथ वक्र है और एह्रेसमैन फ़िब्रेशन प्रमेय गारंटी देता है कि जीनस का हर दूसरा स्मूथ वक्र है <math>g</math> भिन्नरूपी है, हमारे पास वह जीनस है तो वही। तो, जैकोबियन रिंग के श्रेणीबद्ध भाग के साथ प्राथमिक सह-समरूपता के समरूपता का उपयोग करते हुए, हम इसे देखते हैं <math display="block">H^{1,0} \cong R(f)_{d-3} \cong \Complex [x,y,z]_{d-3}</math> इसका तात्पर्य यह है कि आयाम है <math display="block"> {2 + d - 3 \choose 2} = {d-1 \choose 2} = \frac{(d-1)(d-2)}{2}</math> जैसा वांछित
* पूर्ण प्रतिच्छेदन के लिए हॉज संख्याएँ भी आसानी से गणना योग्य हैं: [[फ्रेडरिक हिरज़ेब्रुच]] द्वारा पाया गया एक संयोजन सूत्र है।<ref>{{cite web |title=संपूर्ण चौराहों का हॉज हीरा|date=December 14, 2013 |work=[[Stack Exchange]] |url=https://math.stackexchange.com/q/606592 }}</ref>
* पूर्ण प्रतिच्छेदन के लिए हॉज संख्याएँ भी आसानी से गणना योग्य हैं: [[फ्रेडरिक हिरज़ेब्रुच]] द्वारा पाया गया एक संयोजन सूत्र है।<ref>{{cite web |title=संपूर्ण चौराहों का हॉज हीरा|date=December 14, 2013 |work=[[Stack Exchange]] |url=https://math.stackexchange.com/q/606592 }}</ref>




== अनुप्रयोग ==
== अनुप्रयोग ==
हॉज संरचना और मिश्रित हॉज संरचना की धारणाओं पर आधारित मशीनरी अलेक्जेंडर ग्रोथेंडिक द्वारा परिकल्पित मकसद (बीजगणितीय ज्यामिति) के अभी भी बड़े पैमाने पर अनुमानित सिद्धांत का एक हिस्सा है। गैर-एकवचन बीजगणितीय वर्ग [[सर्गेई गेलफैंड]] और [[यूरी मनिन]] ने 1988 के आसपास अपने होमोलॉजिकल बीजगणित के तरीकों में टिप्पणी की, कि अन्य सह-समरूपता समूहों पर काम करने वाली गैलोज़ समरूपता के विपरीत, हॉज समरूपता की उत्पत्ति बहुत रहस्यमय है, हालांकि औपचारिक रूप से, वे काफी सरल समूह की कार्रवाई के माध्यम से व्यक्त की जाती हैं। <math>R_{\mathbf {C/R}}{\mathbf C}^*</math> डी राम सह-समरूपता पर। तब से, दर्पण समरूपता (स्ट्रिंग सिद्धांत) | दर्पण समरूपता की खोज और गणितीय सूत्रीकरण के साथ रहस्य गहरा हो गया है।
हॉज संरचना और मिश्रित हॉज संरचना की धारणाओं पर आधारित मशीनरी लेक्जेंडर ग्रोथेंडिक द्वारा परिकल्पित उद्देश्यों के अभी भी बड़े पैमाने पर अनुमानित सिद्धांत का एक हिस्सा बनाती है।  नॉनसिंगुलर बीजगणितीय वर्ग [[सर्गेई गेलफैंड]] और [[यूरी मनिन]] ने 1988 के आसपास अपने होमोलॉजिकल अलजेब्रा के तरीकों में टिप्पणी की, कि अन्य कोसमरूपता समूहों पर काम करने वाली गैलोज़ समरूपता के विपरीत, "हॉज समरूपता" की उत्पत्ति बहुत रहस्यमय है, हालांकि औपचारिक रूप से, वे डे राम कोसमरूपता पर काफी सरल समूह <math>R_{\mathbf {C/R}}{\mathbf C}^*</math>की गतिविधि के माध्यम से व्यक्त किए जाते हैं। तब से, दर्पण समरूपता की खोज और गणितीय सूत्रीकरण के साथ रहस्य गहन हो गया है।


==हॉज संरचना की भिन्नता==
==हॉज संरचना की भिन्नता==
हॉज संरचना का एक रूपांतर ({{Harvtxt|Griffiths|1968}}, {{Harvtxt|Griffiths|1968a}}, {{Harvtxt|Griffiths|1970}}) हॉज संरचनाओं का एक परिवार है
'''हॉज संरचना का रूपांतर''' (ग्रिफिथ्स (1968), ग्रिफिथ्स (1968ए), ग्रिफिथ्स (1970)) जटिल मैनिफोल्ड ''X'' द्वारा मानकीकृत हॉज संरचनाओं का एक कुल है। अधिक सटीक रूप से एक जटिल मैनिफ़ोल्ड पर वज़न n की हॉज संरचना का एक रूपांतर एक्स में ''X'' पर अंतिम रूप से उत्पन्न एबेलियन समूहों का एक स्थानीय स्थिर शीफ ''S'' सम्मिलित है, साथ में ''S'' ⊗ ''O<sub>X</sub>'' पर घटते हॉज निस्पंदन ''F'' के साथ, निम्नलिखित दो शर्तों के अधीन:
एक कॉम्प्लेक्स मैनिफोल्ड<sub>''X''</sub>, निम्नलिखित दो शर्तों के अधीन:
*निस्पंदन शीफ एस के प्रत्येक डंठल पर प्रभाव n की हॉज संरचना उत्पन्न करता है।
*निस्पंदन शीफ एस के प्रत्येक डंठल पर वजन n की एक हॉज संरचना उत्पन्न करता है
*('[[ग्रिफ़िथ ट्रांसवर्सलिटी]]') ''S'' ''O<sub>X</sub>'' पर प्राकृतिक संबंध <math>F^n</math> में <math>F^{n-1} \otimes \Omega^1_X.</math>है।
*('[[ग्रिफ़िथ ट्रांसवर्सलिटी]]') S ⊗ O पर प्राकृतिक संबंध<sub>X</sub>एमएपीएस <math>F^n</math> में <math>F^{n-1} \otimes \Omega^1_X.</math>
यहां ''S'' ''O<sub>X</sub>'' पर प्राकृतिक (फ्लैट) कनेक्शन S पर फ्लैट कनेक्शन और ''O<sub>X</sub>'' पर फ्लैट कनेक्शन ''d'' से प्रेरित है, और ''O<sub>X</sub>'', ''X'' पर होलोमोर्फिक फ़ंक्शन का शीफ है, और <math>\Omega^1_X</math>, ''X'' पर 1-फॉर्म का शीफ है। यह प्राकृतिक समतल संपर्क एक गॉस-मैनिन संपर्क है और इसे पिकार्ड-फुच्स समीकरण द्वारा वर्णित किया जा सकता है।
यहां S ⊗ O पर प्राकृतिक (सपाट) कनेक्शन है<sub>X</sub>एस पर फ्लैट कनेक्शन और ओ पर फ्लैट कनेक्शन डी द्वारा प्रेरित<sub>''X''</sub>, और <sub>X</sub>एक्स पर होलोमोर्फिक फ़ंक्शंस का शीफ़ है, और <math>\Omega^1_X</math> X पर 1-फॉर्म का शीफ ​​है। यह प्राकृतिक फ्लैट कनेक्शन एक गॉस-मैनिन कनेक्शन है और इसे पिकार्ड-फुच्स समीकरण द्वारा वर्णित किया जा सकता है।


'मिश्रित हॉज संरचना की भिन्नता' को एस में ग्रेडिंग या निस्पंदन W जोड़कर, इसी तरह से परिभाषित किया जा सकता है। विशिष्ट उदाहरण बीजगणितीय आकारिकी से पाए जा सकते हैं <math>f:\Complex ^n \to \Complex </math>. उदाहरण के लिए,
'''मिश्रित हॉज संरचना''' की भिन्नता को इसी तरह से परिभाषित किया जा सकता है, ग्रेडिंग या निस्पंदन ''W'' को ''S'' में जोड़कर। विशिष्ट उदाहरण बीजीय आकारिकी <math>f:\Complex ^n \to \Complex </math> से पाए जा सकते हैं। उदाहरण के लिए,
:<math>\begin{cases}
:<math>\begin{cases}
f:\Complex ^2 \to \Complex \\
f:\Complex ^2 \to \Complex \\
Line 124: Line 123:
फाइबर है
फाइबर है
:<math>X_t = f^{-1}(\{t\}) = \left \{(x,y)\in\Complex ^2: y^6 - x^6 = t \right \}</math>
:<math>X_t = f^{-1}(\{t\}) = \left \{(x,y)\in\Complex ^2: y^6 - x^6 = t \right \}</math>
जो जीनस 10 के चिकने समतल वक्र हैं <math>t\neq 0</math> और एक विलक्षण वक्र पर पतित हो जाता है <math>t=0.</math> फिर, सह-समरूपता ढेर हो जाती है
जो जीनस 10 के चिकने समतल वक्र हैं <math>t\neq 0</math> और विलक्षण वक्र पर पतित हो जाता है <math>t=0.</math> फिर, सह-समरूपता समाप्त जाती है।
:<math>\R f_*^i \left( \underline{\Q}_{\Complex ^2} \right)</math>
:<math>\R f_*^i \left( \underline{\Q}_{\Complex ^2} \right)</math>
मिश्रित हॉज संरचनाओं की विविधताएँ दें।
मिश्रित हॉज संरचनाओं की विभिन्नताएँ दीजिए।


==हॉज मॉड्यूल==
==हॉज मॉड्यूल==
{{Main|Mixed Hodge module}}
{{Main|मिश्रित हॉज मॉड्यूल}}
हॉज मॉड्यूल एक जटिल मैनिफोल्ड पर हॉज संरचनाओं की भिन्नता का सामान्यीकरण है। उन्हें अनौपचारिक रूप से कई गुना पर हॉज संरचनाओं के ढेर की तरह सोचा जा सकता है; सटीक परिभाषा {{Harvtxt|Saito|1989}} बल्कि तकनीकी और जटिल है। मिश्रित हॉज मॉड्यूल और विलक्षणताओं के साथ कई गुना के सामान्यीकरण हैं।
 
हॉज मॉड्यूल जटिल मैनिफोल्ड पर हॉज संरचनाओं की भिन्नता का सामान्यीकरण है। उन्हें अनौपचारिक रूप से कई गुना पर हॉज संरचनाओं के ढेर की तरह सोचा जा सकता है; सैटो (1989) की सटीक परिभाषा बल्कि तकनीकी और जटिल है। मिश्रित हॉज मॉड्यूल और विलक्षणताओं के साथ कई गुना के सामान्यीकरण हैं।


प्रत्येक पूर्ण जटिल विविधता के लिए, इसके साथ जुड़े मिश्रित हॉज मॉड्यूल की एक एबेलियन श्रेणी होती है। ये औपचारिक रूप से कई गुनाओं पर ढेरों की श्रेणियों की तरह व्यवहार करते हैं; उदाहरण के लिए, मैनिफोल्ड्स के बीच आकारिकी F फ़ैक्टर्स F को प्रेरित करती है<sub>∗</sub>, *, <sub>!</sub>, F<sup>!</sup> शीव्स के समान मिश्रित हॉज मॉड्यूल (व्युत्पन्न श्रेणियों) के बीच।
प्रत्येक पूर्ण जटिल वर्ग के लिए, इसके साथ जुड़े मिश्रित हॉज मॉड्यूल की एबेलियन श्रेणी है। ये औपचारिक रूप से शीव्स की श्रेणियों की तरह व्यवहार करते हैं; उदाहरण के लिए, मैनिफोल्ड्स के बीच आकारिकी ''f'' गुणक को प्रेरित करती है ''f''<sub>∗</sub>, ''f*'', ''f''<sub>!</sub>, ''f'' मिश्रित हॉज मॉड्यूल के बीच (व्युत्पन्न श्रेणियाँ) शीव्स के समान है।


== यह भी देखें ==
== यह भी देखें ==
Line 138: Line 138:
* [[हॉज अनुमान]]
* [[हॉज अनुमान]]
* जैकोबियन आदर्श
* जैकोबियन आदर्श
* हॉज-टेट संरचना, हॉज संरचनाओं का एक पी-एडिक एनालॉग।
* हॉज-टेट संरचना, हॉज संरचनाओं का ''p''-एडिक एनालॉग।


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 171: Line 171:


{{Authority control}}
{{Authority control}}
[[Category: सजातीय बीजगणित]] [[Category: हॉज सिद्धांत]] [[Category: मैनिफोल्ड्स पर संरचनाएँ]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 08/07/2023]]
[[Category:Created On 08/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages that use a deprecated format of the math tags]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[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 14:10, 14 August 2023

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

हॉज संरचनाएं

हॉज संरचनाओं की परिभाषा

पूर्णांक प्रभाव n की अविकृत हॉज संरचना में एबेलियन समूह होता है और इसके जटिलीकरण H का अपघटन जटिल उप-स्थानों के प्रत्यक्ष योग में होता है।  जहां p इस गुण के साथ कि का सम्मिश्र संयुग्म है।

हॉज निस्पंदन द्वारा H के प्रत्यक्ष योग अपघटन को प्रतिस्थापित करके समतुल्य परिभाषा प्राप्त की जाती है, जटिल उप-स्थान द्वारा H का सीमित घटता निस्पंदन, स्थिति के अधीन है।

इन दोनों विवरणों के बीच संबंध इस प्रकार दिया गया है:

उदाहरण के लिए, यदि X कॉम्पैक्ट काहलर मैनिफोल्ड है, पूर्णांक गुणांकों के साथ X का n-वाँ सह-समरूपता समूह है। जटिल गुणांकों वाला इसका n-वाँ सह-समरूपता समूह है और हॉज सिद्धांत उपरोक्त के अनुसार H के प्रत्यक्ष योग में अपघटन प्रदान करता है, ताकि ये डेटा प्रभाव n की अविकृत हॉज संरचना को परिभाषित करें। दूसरी ओर, 'हॉज-डी रैम स्पेक्ट्रल अनुक्रम' आपूर्ति करता है घटते निस्पंदन के साथ जैसा कि दूसरी परिभाषा में है।[1]

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

हॉज निस्पंदन के संदर्भ में, ये स्थितियाँ यही दर्शाती हैं

जहां C, H पर वेइल ऑपरेटर है, पर . द्वारा दिया गया है।

हॉज संरचना की एक और परिभाषा जटिल सदिश स्पेस पर -ग्रेडिंग और सर्कल समूह U(1) की गतिविधि के बीच समानता पर आधारित है। इस परिभाषा में, द्वि-आयामी वास्तविक बीजगणितीय टोरस के रूप में देखे जाने वाले सम्मिश्र संख्याओं के गुणक समूह की एक क्रिया H पर दी गई है।[2] इस क्रिया में यह गुण होना चाहिए कि एक वास्तविक संख्या a, a द्वारा कार्य करती है। उपसमष्टि वह उपसमष्टि है जिस पर द्वारा गुणन के रूप में कार्य करता है।

A-हॉज संरचना

उद्देश्यों के सिद्धांत में, सहसंबद्धता के लिए अधिक सामान्य गुणांकों की अनुमति देना महत्वपूर्ण हो जाता है। हॉज संरचना की परिभाषा को वास्तविक संख्याओं के फ़ील्ड के नोएथेरियन सबरिंग A को ठीक करके संशोधित किया गया है, जिसके लिए एक फ़ील्ड है। फिर वज़न n की एक अविकृत हॉज A-संरचना को पहले की तरह परिभाषित किया गया है, जिसमें को A के साथ प्रतिस्थापित किया गया है। B के उपरिंग के लिए हॉज A-संरचनाओं और B-संरचनाओं से संबंधित आधार परिवर्तन और प्रतिबंध के प्राकृतिक गुणक हैं।

मिश्रित हॉज संरचनाएं

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

  • यदि X एकवचन और प्रक्षेप्य (या पूर्ण) है
  • यदि Y, X का बंद बीजगणितीय उपसमुच्चय है और U = X \ Y है

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

वक्रों का उदाहरण

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

जिसके क्रमिक भागफल Wn/Wn−1 पूर्ण वर्गों के सहसंयोजन से उत्पन्न होते हैं, इसलिए अलग-अलग प्रभाव के बावजूद (अविकृत) हॉज संरचनाओं को स्वीकार करते हैं। आगे के उदाहरण A नाइव गाइड टू मिक्स्ड हॉज सिद्धांत में पाए जा सकते हैं।[3]

मिश्रित हॉज संरचना की परिभाषा

एबेलियन समूह पर मिश्रित हॉज संरचना में जटिल सदिश स्पेस H पर सीमित घटती निस्पंदन Fp ( की जटिलता, जिसे हॉज निस्पंदन कहा जाता है) और तर्कसंगत सदिश स्पेस (प्राप्त) पर एक सीमित बढ़ती निस्पंदन Wi सम्मिलित है। स्केलर को तर्कसंगत संख्याओं तक विस्तारित करके), जिसे प्रभाव निस्पंदन कहा जाता है, इस आवश्यकता के अधीन है कि प्रभाव निस्पंदन के संबंध में मुख्यालय के n-वें संबंधित वर्गीकृत भागफल, इसके जटिलीकरण पर F द्वारा प्रेरित निस्पंदन के साथ, सभी पूर्णांक n के लिए प्रभाव n की एक अविकृत हॉज संरचना है। यहां प्रेरित निस्पंदन चालू है

द्वारा परिभाषित किया गया है

कोई मिश्रित हॉज संरचनाओं के रूपवाद की धारणा को परिभाषित कर सकता है, जिसे निस्पंदन F और W के साथ संगत होना होगा और निम्नलिखित साबित करना होगा:

'प्रमेय.' मिश्रित हॉज संरचनाएं एबेलियन श्रेणी बनाती हैं। इस श्रेणी में कर्नेल और कोकर्नेल, प्रेरित निस्पंदन के साथ सदिश रिक्त स्थान की श्रेणी में सामान्य कर्नेल और कोकर्नेल के साथ मेल खाते हैं।

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

इसके अलावा, (मिश्रित) हॉज संरचनाओं की श्रेणी टेंसर उत्पाद की एक अच्छी धारणा को स्वीकार करती है, जो कि वर्गों के उत्पाद के साथ-साथ आंतरिक होम और दोहरी वस्तु की संबंधित अवधारणाओं के अनुरूप होती है, जो इसे तन्नाकियन श्रेणी में बनाती है। तन्नाका-क्रेन दर्शन के अनुसार, यह श्रेणी एक निश्चित समूह के परिमित-आयामी प्रतिनिधित्व की श्रेणी के बराबर है, जो डेलिग्ने, मिल्ने और एट अल। स्पष्ट रूप से वर्णन किया गया है, डेलिग्ने और मिल्ने (1982) [4] और डेलिग्ने (1994) देखें। इस समूह का विवरण काप्रानोव (2012) द्वारा अधिक ज्यामितीय शब्दों में दोहराया गया था। तर्कसंगत अविकृत ध्रुवीकरण योग्य हॉज संरचनाओं के लिए संबंधित (बहुत अधिक सम्मिलित) विश्लेषण पैट्रिकिस (2016) द्वारा किया गया था।

सह-समरूपता में मिश्रित हॉज संरचना (डेलिग्ने का प्रमेय)

डेलिग्ने ने साबित किया है कि एच्छिक बीजगणितीय वर्ग के nवें कोसमरूपता समूह में एक कैनोनिकल मिश्रित हॉज संरचना है। यह संरचना कार्यात्मक है और वर्गों के उत्पादों (कुनेथ आइसोमोर्फिज्म) और सह-समरूपता में उत्पाद के साथ संगत है।

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

उद्देश्यों के सिद्धांत का उपयोग करते हुए, तर्कसंगत गुणांक वाले कोसमरूपता पर प्रभाव निस्पंदन को अभिन्न गुणांक वाले एक में परिष्कृत करना संभव है।[5]

उदाहरण

  • टेट-हॉज संरचना अंतर्निहित मॉड्यूल वाली हॉज संरचना है जो ( का उपसमूह) द्वारा दी गई है, के साथ। इसलिए यह अविकृत है परिभाषा के अनुसार प्रभाव -2 और यह समरूपता तक प्रभाव -2 की अद्वितीय 1-आयामी अविकृत हॉज संरचना है। अधिक सामान्यतः, इसकी nवीं टेंसर शक्ति को द्वारा दर्शाया जाता है; यह 1-आयामी है और इसका प्रभाव −2n अविकृत है।
  • कॉम्पैक्ट काहलर मैनिफोल्ड के सह-समरूपता में हॉज संरचना होती है, और nवाँ सह-समरूपता समूह प्रभाव n से अविकृत होता है।
  • जटिल वर्ग (संभवतः एकवचन या गैर-उचित) की सह-समरूपता में मिश्रित हॉज संरचना होती है। इसे डेलिग्ने (1971), डेलिग्ने (1971ए) और सामान्य तौर पर डेलिग्ने (1974) द्वारा पूर्ण वर्गों के लिए दिखाया गया था।
  • सामान्य संकरण विलक्षणताओं के साथ प्रोजेक्टिव वर्ग के लिए, विकृत E2-पेज के साथ वर्णक्रमीय अनुक्रम होता है जो इसकी सभी मिश्रित हॉज संरचनाओं की गणना करता है। E1-पेज में एक सरल सेट से आने वाले अंतर के साथ स्पष्ट शब्द हैं।[6]
  • कोई भी पूर्ण वर्ग X सामान्य संकरण विभाजक के पूरक के साथ पूर्ण कॉम्पैक्टिफिकेशन स्वीकार करती है। X के सह-समरूपता पर स्पष्ट रूप से मिश्रित हॉज संरचना का वर्णन करने के लिए संबंधित लघुगणकीय रूप का उपयोग किया जा सकता है।[7]
  • पूर्ण प्रक्षेप्य हाइपरसतह के लिए हॉज संरचना डिग्री का ग्रिफिथ्स द्वारा अपने पीरियड समाकल ऑफ बीजगणितीय मैनिफोल्ड्स पेपर में स्पष्ट रूप से काम किया गया था। अगर हाइपरसतह को परिभाषित करने वाला बहुपद है फिर श्रेणीबद्ध जैकोबियन आदर्श
    के मध्य सहसंयोजन की सारी जानकारी सम्मिलित है . वह ऐसा दिखाता है
    उदाहरण के लिए, द्वारा दी गई K3 सतह पर विचार करें , इस तरह और . फिर, श्रेणीबद्ध जैकोबियन अंगूठी है
    फिर प्राथमिक सह-समरूपता समूहों के लिए समरूपता पढ़ें
    इस तरह
    ध्यान दें जो द्वारा फैलाया गया सदिश समष्टि है
    जो कि 19-आयामी है। लेफ्शेट्ज़ वर्ग [एल] द्वारा दिए गए में एक अतिरिक्त सदिश है। लेफ्शेट्ज़ हाइपरप्लेन प्रमेय और हॉज द्वंद्व से, शेष कोसमरूपता में है जैसा कि 1-आयामी है। इसलिए हॉज डायमंड प्रदर्शित करता है
    1
    00
    1201
    00
    1
  • हम किसी डिग्री के जीनस को सत्यापित करने के लिए पिछले समरूपता का भी उपयोग कर सकते हैं समतल वक्र. तब से एक स्मूथ वक्र है और एह्रेसमैन फ़िब्रेशन प्रमेय गारंटी देता है कि जीनस का हर दूसरा स्मूथ वक्र है भिन्नरूपी है, हमारे पास वह जीनस है तो वही। तो, जैकोबियन रिंग के श्रेणीबद्ध भाग के साथ प्राथमिक सह-समरूपता के समरूपता का उपयोग करते हुए, हम इसे देखते हैं
    इसका तात्पर्य यह है कि आयाम है
    जैसा वांछित
  • पूर्ण प्रतिच्छेदन के लिए हॉज संख्याएँ भी आसानी से गणना योग्य हैं: फ्रेडरिक हिरज़ेब्रुच द्वारा पाया गया एक संयोजन सूत्र है।[8]


अनुप्रयोग

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

हॉज संरचना की भिन्नता

हॉज संरचना का रूपांतर (ग्रिफिथ्स (1968), ग्रिफिथ्स (1968ए), ग्रिफिथ्स (1970)) जटिल मैनिफोल्ड X द्वारा मानकीकृत हॉज संरचनाओं का एक कुल है। अधिक सटीक रूप से एक जटिल मैनिफ़ोल्ड पर वज़न n की हॉज संरचना का एक रूपांतर एक्स में X पर अंतिम रूप से उत्पन्न एबेलियन समूहों का एक स्थानीय स्थिर शीफ S सम्मिलित है, साथ में SOX पर घटते हॉज निस्पंदन F के साथ, निम्नलिखित दो शर्तों के अधीन:

  • निस्पंदन शीफ एस के प्रत्येक डंठल पर प्रभाव n की हॉज संरचना उत्पन्न करता है।
  • ('ग्रिफ़िथ ट्रांसवर्सलिटी') SOX पर प्राकृतिक संबंध में है।

यहां SOX पर प्राकृतिक (फ्लैट) कनेक्शन S पर फ्लैट कनेक्शन और OX पर फ्लैट कनेक्शन d से प्रेरित है, और OX, X पर होलोमोर्फिक फ़ंक्शन का शीफ है, और , X पर 1-फॉर्म का शीफ है। यह प्राकृतिक समतल संपर्क एक गॉस-मैनिन संपर्क है और इसे पिकार्ड-फुच्स समीकरण द्वारा वर्णित किया जा सकता है।

मिश्रित हॉज संरचना की भिन्नता को इसी तरह से परिभाषित किया जा सकता है, ग्रेडिंग या निस्पंदन W को S में जोड़कर। विशिष्ट उदाहरण बीजीय आकारिकी से पाए जा सकते हैं। उदाहरण के लिए,

फाइबर है

जो जीनस 10 के चिकने समतल वक्र हैं और विलक्षण वक्र पर पतित हो जाता है फिर, सह-समरूपता समाप्त जाती है।

मिश्रित हॉज संरचनाओं की विभिन्नताएँ दीजिए।

हॉज मॉड्यूल

हॉज मॉड्यूल जटिल मैनिफोल्ड पर हॉज संरचनाओं की भिन्नता का सामान्यीकरण है। उन्हें अनौपचारिक रूप से कई गुना पर हॉज संरचनाओं के ढेर की तरह सोचा जा सकता है; सैटो (1989) की सटीक परिभाषा बल्कि तकनीकी और जटिल है। मिश्रित हॉज मॉड्यूल और विलक्षणताओं के साथ कई गुना के सामान्यीकरण हैं।

प्रत्येक पूर्ण जटिल वर्ग के लिए, इसके साथ जुड़े मिश्रित हॉज मॉड्यूल की एबेलियन श्रेणी है। ये औपचारिक रूप से शीव्स की श्रेणियों की तरह व्यवहार करते हैं; उदाहरण के लिए, मैनिफोल्ड्स के बीच आकारिकी f गुणक को प्रेरित करती है f, f*, f!, f मिश्रित हॉज मॉड्यूल के बीच (व्युत्पन्न श्रेणियाँ) शीव्स के समान है।

यह भी देखें

  • मिश्रित हॉज संरचना
  • हॉज अनुमान
  • जैकोबियन आदर्श
  • हॉज-टेट संरचना, हॉज संरचनाओं का p-एडिक एनालॉग।

टिप्पणियाँ

  1. In terms of spectral sequences, see homological algebra, Hodge fitrations can be described as the following:
    using notations in #Definition of mixed Hodge structure. The important fact is that this is degenerate at the term E1, which means the Hodge–de Rham spectral sequence, and then the Hodge decomposition, depends only on the complex structure not Kähler metric on M.
  2. More precisely, let S be the two-dimensional commutative real algebraic group defined as the Weil restriction of the multiplicative group from to in other words, if A is an algebra over then the group S(A) of A-valued points of S is the multiplicative group of Then is the group of non-zero complex numbers.
  3. Durfee, Alan (1981). "मिश्रित हॉज सिद्धांत के लिए एक अनुभवहीन मार्गदर्शिका". Complex Analysis of Singularities: 48–63. hdl:2433/102472.
  4. The second article titled Tannakian categories by Deligne and Milne concentrated to this topic.
  5. Gillet, Henri; Soulé, Christophe (1996). "वंश, उद्देश्य और के-सिद्धांत". Journal für die Reine und Angewandte Mathematik. 1996 (478): 127–176. arXiv:alg-geom/9507013. Bibcode:1995alg.geom..7013G. doi:10.1515/crll.1996.478.127. MR 1409056. S2CID 16441433., section 3.1
  6. Jones, B.F., "Deligne's Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities" (PDF), Hodge Theory Working Seminar-Spring 2005
  7. Nicolaescu, Liviu, "Mixed Hodge Structures on Smooth Algebraic Varieties" (PDF), Hodge Theory Working Seminar-Spring 2005
  8. "संपूर्ण चौराहों का हॉज हीरा". Stack Exchange. December 14, 2013.


परिचयात्मक संदर्भ

सर्वेक्षण लेख

संदर्भ