नॉनबेलियन हॉज पत्राचार

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

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

इतिहास

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

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

परिभाषाएँ

इस खंड में हम नॉनबेलियन हॉज प्रमेय में रुचि की वस्तुओं को याद करते हैं।

हिग्स बंडल

Main article: Higgs bundle

एक कॉम्पैक्ट काहलर मैनिफोल्ड पर एक हिग्स बंडल $(X,\omega )$ एक जोड़ी है $(E,\Phi )$ कहाँ $E\to X$ एक होलोमोर्फिक वेक्टर बंडल है और $\Phi :E\to E\otimes {\boldsymbol {\Omega }}^{1}$ एक $\operatorname {End} (E)$-मूल्यवान होलोमोर्फिक $(1,0)$-पर प्रपत्र $X$, जिसे हिग्स फ़ील्ड कहा जाता है। इसके अतिरिक्त, हिग्स फ़ील्ड को संतुष्ट करना होगा $\Phi \wedge \Phi =0$.

एक हिग्स बंडल (अर्ध) स्थिर है, यदि प्रत्येक उचित, गैर-शून्य सुसंगत शीफ के लिए ${\mathcal {F}}\subset E$ जो हिग्स फील्ड द्वारा संरक्षित है, ताकि $\Phi ({\mathcal {F}})\subset {\mathcal {F}}\otimes {\boldsymbol {\Omega }}^{1}$, किसी के पास

$${\frac {\deg({\mathcal {F}})}{\operatorname {rank} ({\mathcal {F}})}}<{\frac {\deg(E)}{\operatorname {rank} (E)}}\quad {\text{(resp. }}\leq {\text{)}}.$$

इस परिमेय संख्या को ढलान कहा जाता है, निरूपित किया जाता है $\mu (E)$, और उपरोक्त परिभाषा एक स्थिर वेक्टर बंडल को प्रतिबिंबित करती है। एक हिग्स बंडल पॉलीस्टेबल है यदि यह समान ढलान के स्थिर हिग्स बंडलों का प्रत्यक्ष योग है, और इसलिए अर्ध-स्थिर है।

हर्मिटियन यांग-मिल्स कनेक्शन और हिचिन के समीकरण

See also: Hermitian Yang–Mills connection

उच्च आयाम के लिए हिचिन के समीकरण के सामान्यीकरण को जोड़ी से निर्मित एक निश्चित कनेक्शन के लिए हर्मिटियन यांग-मिल्स समीकरणों के एनालॉग के रूप में दर्शाया जा सकता है। $(E,\Phi )$. एक हर्मिटियन मीट्रिक $h$ हिग्स बंडल पर $(E,\Phi )$ चेर्न कनेक्शन को जन्म देता है $\nabla _{A}$ और वक्रता $F_{A}$. शर्त यह है कि $\Phi$ होलोमोर्फिक को इस रूप में परिभाषित किया जा सकता है ${\bar {\partial }}_{A}\Phi =0$. हिचिन के समीकरण, एक कॉम्पैक्ट रीमैन सतह पर, यह बताते हैं

$${\begin{cases}&F_{A}+[\Phi ,\Phi ^{*}]=\lambda \operatorname {Id} _{E}\\&{\bar {\partial }}_{A}\Phi =0\end{cases}}$$

एक स्थिरांक के लिए $\lambda =-2\pi i\mu (E)$. उच्च आयामों में ये समीकरण निम्नानुसार सामान्यीकृत होते हैं। कनेक्शन को परिभाषित करें $D$ पर $E$ द्वारा $D=\nabla _{A}+\Phi +\Phi ^{*}$. इस कनेक्शन को हर्मिटियन यांग-मिल्स कनेक्शन (और मीट्रिक हर्मिटियन यांग-मिल्स मीट्रिक) कहा जाता है यदि

$$\Lambda _{\omega }F_{D}=\lambda \operatorname {Id} _{E}.$$

यह एक कॉम्पैक्ट रीमैन सतह के लिए हिचिन के समीकरणों को कम कर देता है। ध्यान दें कि कनेक्शन $D$ सामान्य अर्थों में हर्मिटियन यांग-मिल्स कनेक्शन नहीं है, क्योंकि यह एकात्मक नहीं है, और उपरोक्त स्थिति सामान्य HYM स्थिति का एक गैर-एकात्मक एनालॉग है।

मौलिक समूह और हार्मोनिक मेट्रिक्स का प्रतिनिधित्व

मौलिक समूह का प्रतिनिधित्व $\rho \colon \pi _{1}(X)\to \operatorname {GL} (r,\mathbb {C} )$ निम्नानुसार फ्लैट कनेक्शन के साथ एक वेक्टर बंडल को जन्म देता है। सार्वभौमिक आवरण ${\hat {X}}$ का $X$ एक प्रमुख बंडल है $X$ संरचना समूह के साथ $\pi _{1}(X)$. इस प्रकार एक संबद्ध बंडल है ${\hat {X}}$ द्वारा दिए गए

$$E={\hat {X}}\times _{\rho }\mathbb {C} ^{r}.$$

यह वेक्टर बंडल स्वाभाविक रूप से एक फ्लैट कनेक्शन से सुसज्जित है $D$. अगर $h$ पर एक हर्मिटियन मीट्रिक है $E$, एक ऑपरेटर को परिभाषित करें $D_{h}''$ निम्नलिखित नुसार। विघटित $D=\partial +{\bar {\partial }}$ प्रकार के ऑपरेटरों में $(1,0)$ और $(0,1)$, क्रमश। होने देना $A'$ प्रकार का अद्वितीय ऑपरेटर बनें $(1,0)$ ऐसे कि $(1,0)$-कनेक्शन $A'+{\bar {\partial }}$ मीट्रिक को सुरक्षित रखता है $h$. परिभाषित करना $\Phi =(\partial -A')/2$, और सेट करें $D_{h}''={\bar {\partial }}+\Phi$. की छद्मवक्रता को परिभाषित करें $h$ होना $G_{h}=(D_{h}'')^{2}$.

मीट्रिक $h$ यदि हार्मोनिक कहा जाता है

$$\Lambda _{\omega }G_{h}=0.$$

ध्यान दें कि स्थिति $G_{h}=0$ तीन स्थितियों के बराबर है ${\bar {\partial }}^{2}=0,{\bar {\partial }}\Phi =0,\Phi \wedge \Phi =0$, तो यदि $G_{h}=0$ फिर जोड़ी $(E,\Phi )$ होलोमोर्फिक संरचना के साथ हिग्स बंडल को परिभाषित करता है $E$ Dolbeault ऑपरेटर द्वारा दिया गया ${\bar {\partial }}$.

यह कॉर्लेट का परिणाम है कि यदि $h$ हार्मोनिक है, तो यह स्वचालित रूप से संतुष्ट हो जाता है $G_{h}=0$ और इस प्रकार हिग्स बंडल को जन्म देता है।

मोडुली रिक्त स्थान

Main article: Moduli space

तीन अवधारणाओं में से प्रत्येक के लिए: हिग्स बंडल, फ्लैट कनेक्शन, और मौलिक समूह का प्रतिनिधित्व, कोई एक मॉड्यूलि स्पेस को परिभाषित कर सकता है। इसके लिए इन वस्तुओं के बीच समरूपता की धारणा की आवश्यकता होती है। निम्नलिखित में, एक सहज जटिल वेक्टर बंडल को ठीक करें $E$. प्रत्येक हिग्स बंडल को अंतर्निहित चिकनी वेक्टर बंडल माना जाएगा $E$.

• (हिग्स बंडल) जटिल गेज परिवर्तनों का समूह ${\mathcal {G}}^{\mathbb {C} }$ सेट पर अभिनय करता है ${\mathcal {H}}$ सूत्र द्वारा हिग्स बंडलों की $g\cdot (E,\Phi )=(g\cdot E,g\Phi g^{-1})$. अगर ${\mathcal {H}}^{ss}$ और ${\mathcal {H}}^{s}$ अर्धस्थिर और स्थिर हिग्स बंडलों के उपसमुच्चय को क्रमशः निरूपित करें, फिर किसी को मॉड्यूलि स्पेस प्राप्त होता है
  $$M_{Dol}^{ss}:={\mathcal {H}}^{ss}//{\mathcal {G}}^{\mathcal {C}},\qquad M_{Dol}^{s}:={\mathcal {H}}^{s}/{\mathcal {G}}^{\mathcal {C}}$$
  जहां इन भागफलों को ज्यामितीय अपरिवर्तनीय सिद्धांत के अर्थ में लिया जाता है, इसलिए जिन कक्षाओं के समापन प्रतिच्छेद होते हैं उन्हें मॉड्यूलि स्पेस में पहचाना जाता है। इन मॉड्यूलि स्पेस को डॉल्बुल्ट मॉड्यूलि स्पेस कहा जाता है। ध्यान दें कि सेटिंग करके $\Phi =0$, कोई अर्ध-स्थिर और स्थिर होलोमोर्फिक वेक्टर बंडलों के मॉड्यूलि स्पेस को सबसेट के रूप में प्राप्त करता है $N_{Dol}^{ss}\subset M_{Dol}^{ss}$ और $N_{Dol}^{s}\subset M_{Dol}^{s}$. यह भी सत्य है कि यदि कोई मॉड्यूलि स्पेस को परिभाषित करता है $M_{Dol}^{ps}$ पॉलीस्टेबल हिग्स बंडलों की तो यह जगह अर्ध-स्थिर हिग्स बंडलों के स्थान के लिए समरूपी है, क्योंकि अर्ध-स्थिर हिग्स बंडलों की प्रत्येक गेज कक्षा में इसके समापन में पॉलीस्टेबल हिग्स बंडलों की एक अद्वितीय कक्षा होती है।
• (फ्लैट कनेक्शन) समूह जटिल गेज परिवर्तन भी सेट पर कार्य करता है ${\mathcal {A}}$ फ्लैट कनेक्शन का $\nabla$ चिकने वेक्टर बंडल पर $E$. मॉड्यूलि रिक्त स्थान को परिभाषित करें
  $$M_{dR}:={\mathcal {A}}//{\mathcal {G}}^{\mathcal {C}},\qquad M_{dR}^{*}:={\mathcal {A}}^{*}/{\mathcal {G}}^{\mathcal {C}},$$
  कहाँ ${\mathcal {A}}^{*}$ इरेड्यूसेबल फ्लैट कनेक्शन से युक्त सबसेट को दर्शाता है $\nabla$ जो प्रत्यक्ष योग के रूप में विभाजित नहीं होता है $\nabla =\nabla _{1}\oplus \nabla _{2}$ कुछ बंटवारे पर $E=E_{1}\oplus E_{2}$ चिकने वेक्टर बंडल का $E$. इन मॉड्यूलि स्पेस को डी राम मॉड्यूलि स्पेस कहा जाता है।
• (प्रतिनिधित्व) अभ्यावेदन का सेट $\operatorname {Hom} (\pi _{1}(X),\operatorname {GL} (r,\mathbb {C} ))$ के मौलिक समूह का $X$ अभ्यावेदन के संयुग्मन द्वारा सामान्य रैखिक समूह पर कार्य किया जाता है। सुपरस्क्रिप्ट द्वारा निरूपित करें $+$ और $*$ उपसमुच्चय में क्रमशः अर्धसरल निरूपण और अघुलनशील निरूपण शामिल हैं। फिर मॉड्यूलि स्पेस को परिभाषित करें
  $$M_{B}^{+}=\operatorname {Hom} ^{+}(\pi _{1}(X),\operatorname {GL} (r,\mathbb {C} ))//G,\qquad M_{B}^{*}=\operatorname {Hom} ^{*}(\pi _{1}(X),\operatorname {GL} (r,\mathbb {C} ))/G$$
  क्रमशः अर्धसरल और अघुलनशील अभ्यावेदन का। इन भागफलों को ज्यामितीय अपरिवर्तनीय सिद्धांत के अर्थ में लिया जाता है, जहां दो कक्षाओं की पहचान की जाती है यदि उनके समापन एक दूसरे को काटते हैं। इन मॉड्यूलि स्पेस को बेट्टी मॉड्यूलि स्पेस कहा जाता है।

कथन

नॉनबेलियन हॉज प्रमेय को दो भागों में विभाजित किया जा सकता है। पहला भाग डोनाल्डसन द्वारा कॉम्पैक्ट रीमैन सतह पर रैंक दो हिग्स बंडलों के मामले में और सामान्य तौर पर कॉर्लेट द्वारा सिद्ध किया गया था।सामान्य तौर पर नॉनबेलियन हॉज प्रमेय एक सहज जटिल प्रक्षेप्य विविधता को मानता है $X$, लेकिन पत्राचार के कुछ हिस्से कॉम्पैक्ट काहलर मैनिफोल्ड्स के लिए अधिक व्यापकता रखते हैं।

Nonabelian Hodge theorem (part 1) — A representation $\rho :\pi _{1}(X)\to \operatorname {GL} (r,\mathbb {C} )$ of the fundamental group is semisimple if and only if the flat vector bundle $E={\hat {X}}\times _{\rho }\mathbb {C} ^{r}$ admits a harmonic metric. Furthermore the representation is irreducible if and only if the flat vector bundle is irreducible.

प्रमेय का दूसरा भाग हिचिन द्वारा कॉम्पैक्ट रीमैन सतह पर रैंक दो हिग्स बंडलों के मामले में और सामान्य तौर पर सिम्पसन द्वारा सिद्ध किया गया था।

Nonabelian Hodge theorem (part 2) — A Higgs bundle $(E,\Phi )$ has a Hermitian Yang–Mills metric if and only if it is polystable. This metric is a harmonic metric, and therefore arises from a semisimple representation of the fundamental group, if and only if the Chern classes $c_{1}(E)$ and $c_{2}(E)$ vanish. Furthermore, a Higgs bundle is stable if and only if it admits an irreducible Hermitian Yang–Mills connection, and therefore comes from an irreducible representation of the fundamental group.

एक साथ मिलाकर, पत्राचार को इस प्रकार व्यक्त किया जा सकता है:

Nonabelian Hodge theorem — A Higgs bundle (which is topologically trivial) arises from a semisimple representation of the fundamental group if and only if it is polystable. Furthermore it arises from an irreducible representation if and only if it is stable.

मॉड्यूलि स्पेस के संदर्भ में

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

Nonabelian Hodge theorem (moduli space version) — There are homeomorphisms $M_{Dol}^{ss}\cong M_{dR}\cong M_{B}^{+}$ of moduli spaces which restrict to homeomorphisms $M_{Dol}^{s}\cong M_{dR}^{*}\cong M_{B}^{*}$.

सामान्य तौर पर ये मॉड्यूलि स्पेस सिर्फ टोपोलॉजिकल स्पेस नहीं होंगे, बल्कि इनमें कुछ अतिरिक्त संरचना भी होगी। उदाहरण के लिए, डॉल्बुल्ट मॉड्यूलि स्पेस और बेट्टी मॉड्यूलि स्पेस $M_{Dol}^{ss},M_{B}^{+}$ स्वाभाविक रूप से जटिल बीजगणितीय किस्में हैं, और जहां यह चिकनी है, डी राम मोडुली स्पेस $M_{dR}$ एक रीमैनियन मैनिफोल्ड है। सामान्य लोकस पर जहां ये मॉड्यूलि स्थान सुचारू हैं, मानचित्र $M_{dR}\to M_{B}^{+}$ एक भिन्नरूपता है, और तब से $M_{B}^{+}$ चिकने स्थान पर एक जटिल अनेक गुना है, $M_{dR}$ एक संगत रीमैनियन और जटिल संरचना प्राप्त करता है, और इसलिए यह काहलर मैनिफोल्ड है।

इसी प्रकार, चिकनी लोकस पर, मानचित्र $M_{B}^{+}\to M_{Dol}^{ss}$ एक भिन्नरूपता है. हालाँकि, भले ही डॉल्बुल्ट और बेट्टी मोडुली स्पेस दोनों में प्राकृतिक जटिल संरचनाएँ हैं, ये आइसोमॉर्फिक नहीं हैं। वास्तव में, यदि उन्हें निरूपित किया जाता है $I,J$ (संबंधित अभिन्न लगभग जटिल संरचनाओं के लिए) तो $IJ=-JI$. विशेष रूप से यदि कोई तीसरी लगभग जटिल संरचना को परिभाषित करता है $K=IJ$ तब $I^{2}=J^{2}=K^{2}=IJK=-\operatorname {Id}$. यदि कोई इन तीन जटिल संरचनाओं को रीमैनियन मीट्रिक से जोड़ता है $M_{dR}$, फिर चिकने स्थान पर मॉड्यूलि स्पेस हाइपरकेहलर मैनिफोल्ड बन जाता है।

हिचिन-कोबायाशी पत्राचार और एकात्मक प्रतिनिधित्व से संबंध

See also: Kobayashi–Hitchin correspondence

यदि कोई हिग्स फ़ील्ड सेट करता है $\Phi$ शून्य तक, तो हिग्स बंडल बस एक होलोमोर्फिक वेक्टर बंडल है। इससे एक समावेश मिलता है $N_{Dol}^{ss}\subset M_{Dol}^{ss}$ अर्ध-स्थिर होलोमोर्फिक वेक्टर बंडलों के मॉड्यूलि स्पेस का हिग्स बंडलों के मॉड्यूलि स्पेस में। हिचिन-कोबायाशी पत्राचार होलोमोर्फिक वेक्टर बंडलों और कॉम्पैक्ट काहलर मैनिफोल्ड्स पर हर्मिटियन यांग-मिल्स कनेक्शन के बीच एक पत्राचार देता है, और इसलिए इसे नॉनबेलियन हॉज पत्राचार के एक विशेष मामले के रूप में देखा जा सकता है।

जब अंतर्निहित वेक्टर बंडल टोपोलॉजिकल रूप से तुच्छ होता है, तो हर्मिटियन यांग-मिल्स कनेक्शन की होलोनॉमी मौलिक समूह के एकात्मक प्रतिनिधित्व को जन्म देगी, $\rho :\pi _{1}(X)\to \operatorname {U} (r)$. एकात्मक अभ्यावेदन के अनुरूप बेट्टी मोडुली स्पेस का उपसमुच्चय, निरूपित $N_{B}^{+}$, अर्ध-स्थिर वेक्टर बंडलों के मॉड्यूलि स्पेस पर आइसोमोर्फिक रूप से मैप किया जाएगा $N_{Dol}^{ss}$.

उदाहरण

कॉम्पैक्ट रीमैन सतहों पर एक हिग्स बंडल को रैंक करें

विशेष मामला जहां अंतर्निहित वेक्टर बंडल की रैंक एक है, एक सरल पत्राचार को जन्म देता है। सबसे पहले, प्रत्येक पंक्ति बंडल स्थिर है, क्योंकि कोई उचित गैर-शून्य उपशीर्ष नहीं हैं। इस मामले में, हिग्स बंडल में एक जोड़ी होती है $(L,\Phi )$ एक होलोमोर्फिक लाइन बंडल और एक होलोमोर्फिक $(1,0)$-रूप, चूंकि एक लाइन बंडल की एंडोमोर्फिज्म तुच्छ है। विशेष रूप से, हिग्स फ़ील्ड को होलोमोर्फिक लाइन बंडल से अलग किया जाता है, इसलिए मॉड्यूलि स्पेस $M_{Dol}$ एक उत्पाद के रूप में विभाजित हो जाएगा, और एक-रूप स्वचालित रूप से शर्त को पूरा करता है $\Phi \wedge \Phi =0$. लाइन बंडल का गेज समूह क्रमविनिमेय है, और इसलिए हिग्स फ़ील्ड पर तुच्छ रूप से कार्य करता है $\Phi$ संयुग्मन द्वारा. इस प्रकार मॉड्यूलि स्पेस को एक उत्पाद के रूप में पहचाना जा सकता है

$$M_{Dol}=\operatorname {Jac} (X)\times H^{0}(X,{\boldsymbol {\Omega }}^{1})$$

जैकोबियन किस्म के $X$, सभी होलोमोर्फिक लाइन बंडलों को आइसोमोर्फिज्म और वेक्टर स्पेस तक वर्गीकृत करना $H^{0}(X,{\boldsymbol {\Omega }}^{1})$ होलोमोर्फिक का $(1,0)$-रूप।

कॉम्पैक्ट रीमैन सतहों पर रैंक एक हिग्स बंडलों के मामले में, किसी को मॉड्यूलि स्पेस का एक और विवरण प्राप्त होता है। एक कॉम्पैक्ट रीमैन सतह का मूल समूह, एक सतह समूह, द्वारा दिया गया है

$$\pi _{1}(X)=\langle a_{1},\dots ,a_{g},b_{1},\dots ,b_{g}\mid [a_{1},b_{1}]\cdots [a_{g},b_{g}]=e\rangle$$

कहाँ $g$ रीमैन सतह का जीनस (गणित) है। का प्रतिनिधित्व $\pi _{1}(X)$ सामान्य रैखिक समूह में $\operatorname {GL} (1,\mathbb {C} )=\mathbb {C} ^{*}$ इसलिए द्वारा दिए गए हैं $2g$-गैर-शून्य सम्मिश्र संख्याओं के समूह:

$$\operatorname {Hom} (\pi _{1}(X),\mathbb {C} ^{*})=(\mathbb {C} ^{*})^{2g}.$$

तब से $\mathbb {C} ^{*}$ एबेलियन है, इस स्थान पर संयुग्मन तुच्छ है, और बेट्टी मोडुली स्थान है $M_{B}=(\mathbb {C} ^{*})^{2g}$. दूसरी ओर, सेरे द्वंद्व द्वारा, होलोमोर्फिक का स्थान $(1,0)$-फॉर्म शीफ़ कोहोमोलोजी के लिए दोहरा है $H^{1}(X,{\mathcal {O}}_{X})$. जैकोबियन किस्म भागफल द्वारा दी गई एक एबेलियन किस्म है

$$\operatorname {Jac} (X)={\frac {H^{1}(X,{\mathcal {O}}_{X})}{H^{1}(X,\mathbb {Z} )}},$$

अतः सदिश समष्टि द्वारा स्पर्शरेखा समष्टि दी गई है $H^{1}(X,{\mathcal {O}}_{X})$, और कोटैंजेंट बंडल

$$T^{*}\operatorname {Jac} (X)=\operatorname {Jac} (X)\times H^{1}(X,{\mathcal {O}}_{X})^{*}=\operatorname {Jac} (X)\times H^{0}(X,{\boldsymbol {\Omega }}^{1})=M_{Dol}.$$

अर्थात्, डॉल्बुल्ट मॉड्यूलि स्पेस, होलोमोर्फिक हिग्स लाइन बंडलों का मॉड्यूलि स्पेस, बस जैकोबियन का कोटैंजेंट बंडल है, होलोमोर्फिक लाइन बंडलों का मॉड्यूलि स्पेस। इसलिए नॉनबेलियन हॉज पत्राचार एक भिन्नता देता है

$$T^{*}\operatorname {Jac} (X)\cong (\mathbb {C} ^{*})^{2g}$$

जो कि बायोहोलोमोर्फिज्म नहीं है। कोई यह जाँच सकता है कि इन दोनों स्थानों पर प्राकृतिक जटिल संरचनाएँ भिन्न हैं, और संबंध को संतुष्ट करती हैं $IJ=-JI$, जैकोबियन को कोटैंजेंट बंडल पर एक हाइपरकेहलर संरचना दे रहा है।

सामान्यीकरण

प्रिंसिपल की धारणा को परिभाषित करना संभव है $G$-एक जटिल रिडक्टिव बीजगणितीय समूह के लिए हिग्स बंडल $G$, प्रमुख बंडलों की श्रेणी में हिग्स बंडलों का एक संस्करण। एक स्थिर प्रिंसिपल बंडल की धारणा है, और कोई एक स्थिर प्रिंसिपल को परिभाषित कर सकता है $G$-हिग्स बंडल. नॉनबेलियन हॉज प्रमेय का एक संस्करण इन वस्तुओं के लिए संबंधित सिद्धांत रखता है $G$-हिग्स मूल समूह के अभ्यावेदन को बंडल करता है $G$.

नॉनबेलियन हॉज सिद्धांत

हिग्स बंडलों और मौलिक समूह के प्रतिनिधित्व के बीच पत्राचार को एक प्रकार के नॉनबेलियन हॉज सिद्धांत के रूप में परिभाषित किया जा सकता है, जिसका अर्थ है, काहलर मैनिफोल्ड की जटिल प्रक्षेप्य किस्मों के लिए हॉज सिद्धांत#हॉज सिद्धांत का एक सादृश्य, लेकिन गुणांक के साथ नॉनबेलियन समूह $\operatorname {GL} (n,\mathbb {C} )$ एबेलियन समूह के बजाय $\mathbb {C}$. यहां प्रदर्शनी कॉम्प्लेक्स मैनिफोल्ड्स पर वेल्स के डिफरेंशियल एनालिसिस के परिशिष्ट में ऑस्कर गार्सिया-प्राडा की चर्चा का अनुसरण करती है।

हॉज अपघटन

एक कॉम्पैक्ट काहलर मैनिफोल्ड का हॉज अपघटन जटिल डी गर्भ एक तीर्थयात्री के रूप में को बेहतर डोल्बौल्ट कोहोमोलॉजी में विघटित करता है:

$$H_{dR}^{k}(X,\mathbb {C} )=\bigoplus _{p+q=k}H_{Dol}^{p,q}(X).$$

डिग्री एक पर यह सीधा योग देता है

$$H^{1}(X,\mathbb {C} )=H^{0,1}(X)\oplus H^{1,0}(X)\cong H^{1}(X,{\mathcal {O}}_{X})\oplus H^{0}(X,{\boldsymbol {\Omega }}^{1})$$

जहां हमने होलोमोर्फिक के शीफ के शीफ कोहोमोलॉजी के संदर्भ में डॉल्बौल्ट कोहोलॉजी को वाक्यांशित करने के लिए डॉल्बौल्ट प्रमेय को लागू किया है $(1,0)$-रूप ${\boldsymbol {\Omega }}^{1},$ और संरचना शीफ ${\mathcal {O}}_{X}$ होलोमोर्फिक फ़ंक्शंस पर $X$.

नॉनबेलियन कोहोमोलॉजी

शीफ कोहोमोलॉजी का निर्माण करते समय, गुणांक शीफ ${\mathcal {F}}$ हमेशा एबेलियन समूहों का एक समूह होता है। ऐसा इसलिए है क्योंकि एबेलियन समूह के लिए, प्रत्येक उपसमूह सामान्य उपसमूह है, इसलिए भागफल समूह है

$${\check {H}}^{k}(X,{\mathcal {F}})=Z^{k}(X,{\mathcal {F}})/B^{k}(X,{\mathcal {F}})$$

शीफ कोबाउंड्रीज़ द्वारा शीफ ​​कोसाइकिलों को हमेशा अच्छी तरह से परिभाषित किया जाता है। जब पूला ${\mathcal {F}}$ एबेलियन नहीं है, ये भागफल आवश्यक रूप से अच्छी तरह से परिभाषित नहीं हैं, और इसलिए निम्नलिखित विशेष मामलों को छोड़कर, शीफ कोहोलॉजी सिद्धांत मौजूद नहीं हैं:

• $k=0$: 0वां शीफ कोहोमोलॉजी समूह हमेशा शीफ ​​के वैश्विक वर्गों का स्थान होता है ${\mathcal {F}}$, तो हमेशा अच्छी तरह से परिभाषित होता है भले ही ${\mathcal {F}}$ नॉनबेलियन है.
• $k=1$: पहला शीफ ​​कोहोमोलॉजी सेट नॉनबेलियन शीफ के लिए अच्छी तरह से परिभाषित है ${\mathcal {F}}$, लेकिन यह स्वयं एक भागफल समूह नहीं है।
• $k=2$: कुछ विशेष मामलों में, गेर्ब्स के सिद्धांत का उपयोग करके नॉनबेलियन शीव्स के लिए दूसरी डिग्री शीफ कोहोलॉजी का एक एनालॉग परिभाषित किया जा सकता है।

नॉनबेलियन कोहोमोलॉजी का एक प्रमुख उदाहरण तब होता है जब गुणांक शीफ होता है ${\mathcal {GL}}(r,\mathbb {C} )$, होलोमोर्फिक का शीफ ​​जटिल सामान्य रैखिक समूह में कार्य करता है। इस मामले में यह सेच कोहोमोलॉजी से एक प्रसिद्ध तथ्य है कि कोहोमोलॉजी सेट होता है

$${\check {H}}^{1}(X,{\mathcal {GL}}(r,\mathbb {C} ))$$

रैंक के होलोमोर्फिक वेक्टर बंडलों के सेट के साथ एक-से-एक पत्राचार में है $r$ पर $X$, समरूपता तक। ध्यान दें कि रैंक का एक विशिष्ट होलोमोर्फिक वेक्टर बंडल है $r$, तुच्छ वेक्टर बंडल, इसलिए यह वास्तव में एक कोहोमोलॉजी नुकीला सेट है। विशेष मामले में $r=1$ सामान्य रैखिक समूह एबेलियन समूह है $\mathbb {C} ^{*}$ गुणन के संबंध में गैर-शून्य सम्मिश्र संख्याओं का। इस मामले में किसी को समरूपता तक होलोमोर्फिक लाइन बंडलों का समूह प्राप्त होता है, जिसे अन्यथा पिकार्ड समूह के रूप में जाना जाता है।

नॉनबेलियन हॉज प्रमेय

पहला कोहोमोलोजी समूह $H^{1}(X,\mathbb {C} )$ मौलिक समूह से समरूपता के समूह के लिए समरूपी है $\pi _{1}(X)$ को $\mathbb {C}$. इसे, उदाहरण के लिए, ह्यूरेविक्ज़ प्रमेय को लागू करके समझा जा सकता है। इस प्रकार ऊपर उल्लिखित नियमित हॉज अपघटन को इस प्रकार परिभाषित किया जा सकता है

$$\operatorname {Hom} (\pi _{1}(X),\mathbb {C} )\cong H^{1}(X,{\mathcal {O}}_{X})\oplus H^{0}(X,{\boldsymbol {\Omega }}^{1}).$$

नॉनबेलियन हॉज पत्राचार नॉनबेलियन कोहोमोलॉजी के लिए हॉज प्रमेय के इस कथन का एक सादृश्य इस प्रकार देता है। हिग्स बंडल में एक जोड़ी होती है $(E,\Phi )$ कहाँ $E$ एक होलोमोर्फिक वेक्टर बंडल है, और $\Phi \in H^{0}(X,\operatorname {End} (E)\otimes {\boldsymbol {\Omega }}^{1})$ एक होलोमोर्फिक, वेक्टर-मूल्यवान विभेदक रूप|एंडोमोर्फिज्म-वैल्यू कॉम्प्लेक्स डिफरेंशियल फॉर्म|$(1,0)$-प्रपत्र। होलोमोर्फिक वेक्टर बंडल $E$ के तत्व से पहचाना जा सकता है ${\check {H}}^{1}(X,{\mathcal {GL}}(r,\mathbb {C} ))$ जैसा ऊपर उल्लिखित है। इस प्रकार हिग्स बंडल को प्रत्यक्ष उत्पाद का एक तत्व माना जा सकता है

$$(E,\Phi )\in {\check {H}}^{1}(X,{\mathcal {GL}}(r,\mathbb {C} ))\oplus H^{0}(X,\operatorname {End} (E)\otimes {\boldsymbol {\Omega }}^{1}).$$

नॉनबेलियन हॉज पत्राचार मॉड्यूलि स्पेस से एक समरूपता देता है $\operatorname {GL} (r,\mathbb {C} )$-मौलिक समूह का प्रतिनिधित्व $\pi _{1}(X)$ हिग्स बंडलों के मॉड्यूलि स्पेस के लिए, जिसे इसलिए एक आइसोमोर्फिज्म के रूप में लिखा जा सकता है

$$\operatorname {Rep} (\pi _{1}(X),\operatorname {GL} (r,\mathbb {C} ))\cong {\check {H}}^{1}(X,{\mathcal {GL}}(r,\mathbb {C} ))\oplus H^{0}(X,\operatorname {End} (E)\otimes {\boldsymbol {\Omega }}^{1}).$$

इसे उपरोक्त नियमित हॉज अपघटन के सादृश्य के रूप में देखा जा सकता है। अभ्यावेदन का मॉड्यूलि स्थान $\operatorname {Rep} (\pi _{1}(X),\operatorname {GL} (r,\mathbb {C} ))$ के प्रथम सहसंयोजी की भूमिका निभाता है $X$ नॉनबेलियन गुणांकों के साथ, कोहोमोलॉजी सेट ${\check {H}}^{1}(X,{\mathcal {GL}}(r,\mathbb {C} ))$ स्थान की भूमिका निभाता है $H^{1}(X,{\mathcal {O}}_{X})$, और समूह $H^{0}(X,\operatorname {End} (E)\otimes {\boldsymbol {\Omega }}^{1})$ होलोमोर्फिक (1,0)-रूपों की भूमिका निभाता है $H^{0}(X,{\boldsymbol {\Omega }}^{1})$.

यहाँ समरूपता लिखी गई है $\cong$, लेकिन यह सेटों की वास्तविक समरूपता नहीं है, क्योंकि हिग्स बंडलों का मॉड्यूलि स्पेस वस्तुतः उपरोक्त प्रत्यक्ष योग द्वारा नहीं दिया गया है, क्योंकि यह केवल एक सादृश्य है।

हॉज संरचना

See also: Hodge structure

मॉड्यूलि स्पेस $M_{Dol}^{ss}$ अर्ध-स्थिर हिग्स बंडलों में गुणक समूह की प्राकृतिक क्रिया होती है $\mathbb {C} ^{*}$, हिग्स फ़ील्ड को स्केल करके दिया गया: $\lambda \cdot (E,\Phi )=(E,\lambda \Phi )$ के लिए $\lambda \in \mathbb {C} ^{*}$. एबेलियन कोहोमोलॉजी के लिए, जैसे $\mathbb {C} ^{*}$ कार्रवाई एक हॉज संरचना को जन्म देती है, जो एक कॉम्पैक्ट काहलर मैनिफोल्ड के कोहोलॉजी के हॉज अपघटन का सामान्यीकरण है। नॉनबेलियन हॉज प्रमेय को समझने का एक तरीका इसका उपयोग करना है $\mathbb {C} ^{*}$ मॉड्यूलि स्पेस पर कार्रवाई $M_{B}^{+}$ हॉज निस्पंदन प्राप्त करने के लिए। इससे अंतर्निहित मैनिफ़ोल्ड के नए टोपोलॉजिकल इनवेरिएंट उत्पन्न हो सकते हैं $X$. उदाहरण के लिए, कोई इस बात पर प्रतिबंध प्राप्त कर सकता है कि कौन से समूह इस तरह से कॉम्पैक्ट काहलर मैनिफ़ोल्ड के मूलभूत समूहों के रूप में प्रकट हो सकते हैं।