हॉज संरचना: Difference between revisions
(→उदाहरण) |
No edit summary |
||
(8 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Algebraic structure}} | {{Short description|Algebraic structure}} | ||
गणित में, एक हॉज संरचना, जिसका नाम डब्लू. '''हॉज संरचनाओं''' को पियरे डेलिग्ने (1970) द्वारा परिभाषित [[मिश्रित हॉज संरचना|मिश्रित हॉज]] संरचनाओं के रूप में सभी जटिल | गणित में, एक हॉज संरचना, जिसका नाम डब्लू. '''हॉज संरचनाओं''' को पियरे डेलिग्ने (1970) द्वारा परिभाषित [[मिश्रित हॉज संरचना|मिश्रित हॉज]] संरचनाओं के रूप में सभी जटिल वर्गों (भले ही वे एकवचन और गैर-पूर्ण हों) के लिए सामान्यीकृत किया गया है। हॉज संरचना का एक रूपांतर हॉज संरचनाओं का एक कुल है जिसे मैनिफोल्ड द्वारा मानकीकृत किया गया है, जिसका सबसे पहले अध्ययन [[फिलिप ग्रिफिथ्स]] (1968) द्वारा किया गया था। मोरिहिको सैटो (1989) द्वारा इन सभी अवधारणाओं को जटिल वर्गों की तुलना में मिश्रित हॉज मॉड्यूल में सामान्यीकृत किया गया था। | ||
==हॉज संरचनाएं== | ==हॉज संरचनाएं== | ||
===हॉज संरचनाओं की परिभाषा=== | ===हॉज संरचनाओं की परिभाषा=== | ||
पूर्णांक प्रभाव ''n'' की | '''पूर्णांक प्रभाव''' ''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'' के '''प्रत्यक्ष योग अपघटन को प्रतिस्थापित''' करके | '''हॉज निस्पंदन''' द्वारा ''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 | उदाहरण के लिए, यदि 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> बहुत बड़ा है। [[रीमैन द्विरेखीय संबंध]] का उपयोग करते हुए, इस स्तिथि में जिसे ''हॉज रीमैन द्विरेखीय संबंध'' कहा जाता है, इसे काफी हद तक सरल बनाया जा सकता है। '''<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> द्वारा गुणन के रूप में कार्य करता है। | ||
<!--- | <!--- | ||
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 के | उद्देश्यों के सिद्धांत में, सहसंबद्धता के लिए अधिक सामान्य गुणांकों की अनुमति देना महत्वपूर्ण हो जाता है। हॉज संरचना की परिभाषा को वास्तविक संख्याओं के फ़ील्ड <math>\R</math> के नोएथेरियन सबरिंग A को ठीक करके संशोधित किया गया है, जिसके लिए <math>\mathbf{A} \otimes_{\Z} \R</math> एक फ़ील्ड है। फिर वज़न ''n'' की एक अविकृत हॉज A-संरचना को पहले की तरह परिभाषित किया गया है, जिसमें <math>\Z</math> को A के साथ प्रतिस्थापित किया गया है। B के उपरिंग के लिए हॉज A-संरचनाओं और B-संरचनाओं से संबंधित आधार परिवर्तन और प्रतिबंध के प्राकृतिक गुणक हैं। | ||
==मिश्रित हॉज संरचनाएं== | ==मिश्रित हॉज संरचनाएं== | ||
{{Main|मिश्रित हॉज संरचना}} | {{Main|मिश्रित हॉज संरचना}} | ||
1960 के दशक में वेइल अनुमानों के आधार पर [[ जीन पियरे सेरे |जीन पियरे सेरे]]द्वारा इस बात पर ध्यान दिया गया कि यहां तक कि एकवचन (संभवतः कम करने योग्य) और गैर-पूर्ण बीजगणितीय | 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''-एडिक सह-समरूपता पर प्रभाव से जोड़ा, जो वेइल अनुमानों के अंतिम भाग को सिद्ध करता है। | ||
=== वक्रों का उदाहरण === | === वक्रों का उदाहरण === | ||
परिभाषा को प्रेरित करने के लिए, दो गैर-एकवचन घटकों से युक्त एक कम करने योग्य जटिल [[बीजगणितीय वक्र]] X के | परिभाषा को प्रेरित करने के लिए, दो गैर-एकवचन घटकों से युक्त एक कम करने योग्य जटिल [[बीजगणितीय वक्र]] 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> पूर्ण | जिसके क्रमिक भागफल ''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> पर | एबेलियन समूह <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> डेलिग्ने की एक महत्वपूर्ण अंतर्दृष्टि यह है कि मिश्रित स्तिथि में एक अधिक जटिल गैर-अनुवांशिक प्रोएलजेब्रिक समूह होता है जिसका उपयोग टैनाकियन औपचारिकता का उपयोग करके समान प्रभाव के लिए किया जा सकता है। | ||
इसके अलावा, (मिश्रित) हॉज संरचनाओं की श्रेणी टेंसर उत्पाद की एक अच्छी धारणा को स्वीकार करती है, जो कि | इसके अलावा, (मिश्रित) हॉज संरचनाओं की श्रेणी टेंसर उत्पाद की एक अच्छी धारणा को स्वीकार करती है, जो कि वर्गों के उत्पाद के साथ-साथ आंतरिक होम और दोहरी वस्तु की संबंधित अवधारणाओं के अनुरूप होती है, जो इसे [[तन्नाकियन श्रेणी]] में बनाती है। तन्नाका-क्रेन दर्शन के अनुसार, यह श्रेणी एक निश्चित समूह के परिमित-आयामी प्रतिनिधित्व की श्रेणी के बराबर है, जो डेलिग्ने, मिल्ने और एट अल। स्पष्ट रूप से वर्णन किया गया है, डेलिग्ने और मिल्ने (1982) <ref>The second article titled ''Tannakian categories'' by Deligne and Milne concentrated to this topic.</ref> और डेलिग्ने (1994) देखें। इस समूह का विवरण काप्रानोव (2012) द्वारा अधिक ज्यामितीय शब्दों में दोहराया गया था। तर्कसंगत अविकृत ध्रुवीकरण योग्य हॉज संरचनाओं के लिए संबंधित (बहुत अधिक सम्मिलित) विश्लेषण पैट्रिकिस (2016) द्वारा किया गया था। | ||
=== | === सह-समरूपता में मिश्रित हॉज संरचना (डेलिग्ने का प्रमेय) === | ||
डेलिग्ने ने साबित किया है कि | डेलिग्ने ने साबित किया है कि एच्छिक बीजगणितीय वर्ग के 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> | ||
==उदाहरण== | ==उदाहरण== | ||
*'''टेट-हॉज संरचना''' <math>\Z(1)</math>अंतर्निहित <math>\Z</math> मॉड्यूल वाली हॉज संरचना है जो <math>2\pi i\Z</math> (<math>\Complex</math> का | *'''टेट-हॉज संरचना''' <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 से अविकृत होता है। | ||
* | *जटिल वर्ग (संभवतः एकवचन या गैर-उचित) की सह-समरूपता में मिश्रित हॉज संरचना होती है। इसे डेलिग्ने (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> | ||
*कोई भी पूर्ण वर्ग X | *कोई भी पूर्ण वर्ग 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"> | ||
\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-आयामी | \end{array}</math>जो कि 19-आयामी है। लेफ्शेट्ज़ वर्ग [एल] द्वारा दिए गए <math>H^{1,1}(X)</math> में एक अतिरिक्त सदिश है। लेफ्शेट्ज़ हाइपरप्लेन प्रमेय और हॉज द्वंद्व से, शेष कोसमरूपता <math>H^{k,k}(X)</math> में है जैसा कि 1-आयामी है। इसलिए हॉज डायमंड प्रदर्शित करता है {{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>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>की गतिविधि के माध्यम से व्यक्त किए जाते हैं। तब से, दर्पण समरूपता की खोज और गणितीय सूत्रीकरण के साथ रहस्य गहन हो गया है। | ||
==हॉज संरचना की भिन्नता== | ==हॉज संरचना की भिन्नता== | ||
हॉज संरचना का | '''हॉज संरचना का रूपांतर''' (ग्रिफिथ्स (1968), ग्रिफिथ्स (1968ए), ग्रिफिथ्स (1970)) जटिल मैनिफोल्ड ''X'' द्वारा मानकीकृत हॉज संरचनाओं का एक कुल है। अधिक सटीक रूप से एक जटिल मैनिफ़ोल्ड पर वज़न n की हॉज संरचना का एक रूपांतर एक्स में ''X'' पर अंतिम रूप से उत्पन्न एबेलियन समूहों का एक स्थानीय स्थिर शीफ ''S'' सम्मिलित है, साथ में ''S'' ⊗ ''O<sub>X</sub>'' पर घटते हॉज निस्पंदन ''F'' के साथ, निम्नलिखित दो शर्तों के अधीन: | ||
एक | *निस्पंदन शीफ एस के प्रत्येक डंठल पर प्रभाव n की हॉज संरचना उत्पन्न करता है। | ||
*निस्पंदन शीफ एस के प्रत्येक डंठल पर | *('[[ग्रिफ़िथ ट्रांसवर्सलिटी]]') ''S'' ⊗ ''O<sub>X</sub>'' पर प्राकृतिक संबंध <math>F^n</math> में <math>F^{n-1} \otimes \Omega^1_X.</math>है। | ||
*('[[ग्रिफ़िथ ट्रांसवर्सलिटी]]') S ⊗ O | यहां ''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 | |||
'मिश्रित हॉज संरचना की भिन्नता | '''मिश्रित हॉज संरचना''' की भिन्नता को इसी तरह से परिभाषित किया जा सकता है, ग्रेडिंग या निस्पंदन ''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> और | जो जीनस 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| | {{Main|मिश्रित हॉज मॉड्यूल}} | ||
हॉज मॉड्यूल | |||
हॉज मॉड्यूल जटिल मैनिफोल्ड पर हॉज संरचनाओं की भिन्नता का सामान्यीकरण है। उन्हें अनौपचारिक रूप से कई गुना पर हॉज संरचनाओं के ढेर की तरह सोचा जा सकता है; सैटो (1989) की सटीक परिभाषा बल्कि तकनीकी और जटिल है। मिश्रित हॉज मॉड्यूल और विलक्षणताओं के साथ कई गुना के सामान्यीकरण हैं। | |||
प्रत्येक पूर्ण जटिल | प्रत्येक पूर्ण जटिल वर्ग के लिए, इसके साथ जुड़े मिश्रित हॉज मॉड्यूल की एबेलियन श्रेणी है। ये औपचारिक रूप से शीव्स की श्रेणियों की तरह व्यवहार करते हैं; उदाहरण के लिए, मैनिफोल्ड्स के बीच आकारिकी ''f'' गुणक को प्रेरित करती है ''f''<sub>∗</sub>, ''f*'', ''f''<sub>!</sub>, ''f'' मिश्रित हॉज मॉड्यूल के बीच (व्युत्पन्न श्रेणियाँ) शीव्स के समान है। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 138: | Line 138: | ||
* [[हॉज अनुमान]] | * [[हॉज अनुमान]] | ||
* जैकोबियन आदर्श | * जैकोबियन आदर्श | ||
* हॉज-टेट संरचना, हॉज संरचनाओं का | * हॉज-टेट संरचना, हॉज संरचनाओं का ''p''-एडिक एनालॉग। | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
Line 171: | Line 171: | ||
{{Authority control}} | {{Authority control}} | ||
[[Category: | [[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 0 0 1 20 1 0 0 1 - हम किसी डिग्री के जीनस को सत्यापित करने के लिए पिछले समरूपता का भी उपयोग कर सकते हैं समतल वक्र. तब से एक स्मूथ वक्र है और एह्रेसमैन फ़िब्रेशन प्रमेय गारंटी देता है कि जीनस का हर दूसरा स्मूथ वक्र है भिन्नरूपी है, हमारे पास वह जीनस है तो वही। तो, जैकोबियन रिंग के श्रेणीबद्ध भाग के साथ प्राथमिक सह-समरूपता के समरूपता का उपयोग करते हुए, हम इसे देखते हैं इसका तात्पर्य यह है कि आयाम हैजैसा वांछित
- पूर्ण प्रतिच्छेदन के लिए हॉज संख्याएँ भी आसानी से गणना योग्य हैं: फ्रेडरिक हिरज़ेब्रुच द्वारा पाया गया एक संयोजन सूत्र है।[8]
अनुप्रयोग
हॉज संरचना और मिश्रित हॉज संरचना की धारणाओं पर आधारित मशीनरी लेक्जेंडर ग्रोथेंडिक द्वारा परिकल्पित उद्देश्यों के अभी भी बड़े पैमाने पर अनुमानित सिद्धांत का एक हिस्सा बनाती है। नॉनसिंगुलर बीजगणितीय वर्ग सर्गेई गेलफैंड और यूरी मनिन ने 1988 के आसपास अपने होमोलॉजिकल अलजेब्रा के तरीकों में टिप्पणी की, कि अन्य कोसमरूपता समूहों पर काम करने वाली गैलोज़ समरूपता के विपरीत, "हॉज समरूपता" की उत्पत्ति बहुत रहस्यमय है, हालांकि औपचारिक रूप से, वे डे राम कोसमरूपता पर काफी सरल समूह की गतिविधि के माध्यम से व्यक्त किए जाते हैं। तब से, दर्पण समरूपता की खोज और गणितीय सूत्रीकरण के साथ रहस्य गहन हो गया है।
हॉज संरचना की भिन्नता
हॉज संरचना का रूपांतर (ग्रिफिथ्स (1968), ग्रिफिथ्स (1968ए), ग्रिफिथ्स (1970)) जटिल मैनिफोल्ड X द्वारा मानकीकृत हॉज संरचनाओं का एक कुल है। अधिक सटीक रूप से एक जटिल मैनिफ़ोल्ड पर वज़न n की हॉज संरचना का एक रूपांतर एक्स में X पर अंतिम रूप से उत्पन्न एबेलियन समूहों का एक स्थानीय स्थिर शीफ S सम्मिलित है, साथ में S ⊗ OX पर घटते हॉज निस्पंदन F के साथ, निम्नलिखित दो शर्तों के अधीन:
- निस्पंदन शीफ एस के प्रत्येक डंठल पर प्रभाव n की हॉज संरचना उत्पन्न करता है।
- ('ग्रिफ़िथ ट्रांसवर्सलिटी') S ⊗ OX पर प्राकृतिक संबंध में है।
यहां S ⊗ OX पर प्राकृतिक (फ्लैट) कनेक्शन S पर फ्लैट कनेक्शन और OX पर फ्लैट कनेक्शन d से प्रेरित है, और OX, X पर होलोमोर्फिक फ़ंक्शन का शीफ है, और , X पर 1-फॉर्म का शीफ है। यह प्राकृतिक समतल संपर्क एक गॉस-मैनिन संपर्क है और इसे पिकार्ड-फुच्स समीकरण द्वारा वर्णित किया जा सकता है।
मिश्रित हॉज संरचना की भिन्नता को इसी तरह से परिभाषित किया जा सकता है, ग्रेडिंग या निस्पंदन W को S में जोड़कर। विशिष्ट उदाहरण बीजीय आकारिकी से पाए जा सकते हैं। उदाहरण के लिए,
फाइबर है
जो जीनस 10 के चिकने समतल वक्र हैं और विलक्षण वक्र पर पतित हो जाता है फिर, सह-समरूपता समाप्त जाती है।
मिश्रित हॉज संरचनाओं की विभिन्नताएँ दीजिए।
हॉज मॉड्यूल
हॉज मॉड्यूल जटिल मैनिफोल्ड पर हॉज संरचनाओं की भिन्नता का सामान्यीकरण है। उन्हें अनौपचारिक रूप से कई गुना पर हॉज संरचनाओं के ढेर की तरह सोचा जा सकता है; सैटो (1989) की सटीक परिभाषा बल्कि तकनीकी और जटिल है। मिश्रित हॉज मॉड्यूल और विलक्षणताओं के साथ कई गुना के सामान्यीकरण हैं।
प्रत्येक पूर्ण जटिल वर्ग के लिए, इसके साथ जुड़े मिश्रित हॉज मॉड्यूल की एबेलियन श्रेणी है। ये औपचारिक रूप से शीव्स की श्रेणियों की तरह व्यवहार करते हैं; उदाहरण के लिए, मैनिफोल्ड्स के बीच आकारिकी f गुणक को प्रेरित करती है f∗, f*, f!, f मिश्रित हॉज मॉड्यूल के बीच (व्युत्पन्न श्रेणियाँ) शीव्स के समान है।
यह भी देखें
- मिश्रित हॉज संरचना
- हॉज अनुमान
- जैकोबियन आदर्श
- हॉज-टेट संरचना, हॉज संरचनाओं का p-एडिक एनालॉग।
टिप्पणियाँ
- ↑ In terms of spectral sequences, see homological algebra, Hodge fitrations can be described as the following:
- ↑ 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.
- ↑ Durfee, Alan (1981). "मिश्रित हॉज सिद्धांत के लिए एक अनुभवहीन मार्गदर्शिका". Complex Analysis of Singularities: 48–63. hdl:2433/102472.
- ↑ The second article titled Tannakian categories by Deligne and Milne concentrated to this topic.
- ↑ 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
- ↑ Jones, B.F., "Deligne's Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities" (PDF), Hodge Theory Working Seminar-Spring 2005
- ↑ Nicolaescu, Liviu, "Mixed Hodge Structures on Smooth Algebraic Varieties" (PDF), Hodge Theory Working Seminar-Spring 2005
- ↑ "संपूर्ण चौराहों का हॉज हीरा". Stack Exchange. December 14, 2013.
परिचयात्मक संदर्भ
- Debarre, Olivier, Periods and Moduli
- Arapura, Donu, Complex Algebraic Varieties and their Cohomology (PDF), pp. 120–123, archived from the original (PDF) on 2020-01-04 (शीफ़ सह-समरूपता का उपयोग करके हॉज संख्याओं की गणना के लिए उपकरण देता है)
- मिश्रित हॉज सिद्धांत के लिए एक सरल मार्गदर्शिका
- Dimca, Alexandru (1992). हाइपरसर्फेस की विलक्षणताएं और टोपोलॉजी. Universitext. New York: Springer-Verlag. pp. 240, 261. doi:10.1007/978-1-4612-4404-2. ISBN 0-387-97709-0. MR 1194180. S2CID 117095021. (एक भारित समरूप बहुपद के एफ़िन मिल्नोर मानचित्र के मिश्रित हॉज संख्याओं के लिए एक सूत्र और जनरेटर देता है, और एक भारित प्रक्षेप्य स्थान में भारित सजातीय बहुपदों के पूरक के लिए एक सूत्र भी देता है।)
सर्वेक्षण लेख
- Arapura, Donu (2006), Mixed Hodge Structures Associated to Geometric Variations (PDF), arXiv:math/0611837, Bibcode:2006math.....11837A
संदर्भ
- Deligne, Pierre (1971b), Travaux de Griffiths, Sem. Bourbaki Exp. 376, Lect. notes in math. Vol 180, pp. 213–235
- Deligne, Pierre (1971), "Théorie de Hodge. I" (PDF), Actes du Congrès International des Mathématiciens (Nice, 1970), vol. 1, Gauthier-Villars, pp. 425–430, MR 0441965, archived from the original (PDF) on 2015-04-02 This constructs a mixed Hodge structure on the cohomology of a complex variety.
- Deligne, Pierre (1971a), Théorie de Hodge. II., Inst. Hautes Études Sci. Publ. Math. No. 40, pp. 5–57, MR 0498551 This constructs a mixed Hodge structure on the cohomology of a complex variety.
- Deligne, Pierre (1974), Théorie de Hodge. III., Inst. Hautes Études Sci. Publ. Math. No. 44, pp. 5–77, MR 0498552 This constructs a mixed Hodge structure on the cohomology of a complex variety.
- Deligne, Pierre (1994), "Structures de Hodge mixtes réelles", Motives (Seattle, WA, 1991), Part 1, Proceedings of Symposia in Pure Mathematics, vol. 55, Providence, RI: American Mathematical Society, pp. 509–514, MR 1265541
- Deligne, Pierre; Milne, James (1982), "Tannakian categories", Hodge Cycles, Motives, and Shimura Varieties by Pierre Deligne, James S. Milne, Arthur Ogus, Kuang-yen Shih, Lecture Notes in Mathematics, vol. 900, Springer-Verlag, pp. 1–414. An annotated version of this article can be found on J. Milne's homepage.
- Griffiths, Phillip (1968), "Periods of integrals on algebraic manifolds I (Construction and Properties of the Modular Varieties)", American Journal of Mathematics, 90 (2): 568–626, doi:10.2307/2373545, JSTOR 2373545
- Griffiths, Phillip (1968a), "Periods of integrals on algebraic manifolds II (Local Study of the Period Mapping)", American Journal of Mathematics, 90 (3): 808–865, doi:10.2307/2373485, JSTOR 2373485
- Griffiths, Phillip (1970), "Periods of integrals on algebraic manifolds III. Some global differential-geometric properties of the period mapping.", Publications Mathématiques de l'IHÉS, 38: 228–296, doi:10.1007/BF02684654, S2CID 11443767
- Kapranov, Mikhail (2012), "Real mixed Hodge structures", Journal of Noncommutative Geometry, 6 (2): 321–342, arXiv:0802.0215, doi:10.4171/jncg/93, MR 2914868, S2CID 56416260
- Ovseevich, Alexander I. (2001) [1994], "Hodge structure", Encyclopedia of Mathematics, EMS Press
- Patrikis, Stefan (2016), "Mumford-Tate groups of polarizable Hodge structures", Proceedings of the American Mathematical Society, 144 (9): 3717–3729, arXiv:1302.1803, doi:10.1090/proc/13040, MR 3513533, S2CID 40142493
- Saito, Morihiko (1989), Introduction to mixed Hodge modules. Actes du Colloque de Théorie de Hodge (Luminy, 1987)., Astérisque No. 179–180, pp. 145–162, MR 1042805
- Schnell, Christian (2014), An Overview of Morihiko Saito's Theory of Mixed Hodge Modules (PDF), arXiv:1405.3096
- Steenbrink, Joseph H.M. (2001) [1994], "Variation of Hodge structure", Encyclopedia of Mathematics, EMS Press