🔢 mathematics

A generalization of Barannikov-Kontsevich theorem

यह शोध पत्र एक कॉम्पैक्ट क्रिटिकल पॉइंट सेट वाले कैलर मैनिफोल्ड (Kähler manifold) पर एक होलोमोर्फिक फलन से जुड़े ट्विस्टेड डी राम कॉम्प्लेक्स (twisted de Rham complex) के लिए हॉज-टू-डी राम स्पेक्ट्रल सीक्वेंस के $E_1$ -डिजनरेशन को सिद्ध करके बारानिकोव-कोंटेविचिव्स प्रमेय का सामान्यीकरण करता है।

मूल लेखक: Takuro Mochizuki

प्रकाशित 2026-04-08

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Takuro Mochizuki

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

मुख्य विचार: अराजकता में व्यवस्था खोजना

कल्पना कीजिए कि आप एक जासूस हैं जो किसी रहस्य को सुलझाने की कोशिश कर रहे हैं। "अपराध स्थल" एक जटिल, घुमावदार परिदृश्य (एक Kähler manifold) है। इस परिदृश्य पर, एक फलन (function) है (इसे एक terrain map या भूभाग का मानचित्र मान लें) जो आपको हर बिंदु पर जमीन की ऊंचाई बताता है।

इस परिदृश्य में, कुछ विशेष स्थान हैं जिन्हें critical points (क्रांतिक बिंदु) कहा जाता है। ये शिखर (peaks), घाटियाँ (valleys), और सैडल पॉइंट्स (saddle points) हैं जहाँ जमीन पूरी तरह से समतल होती है। इसके अलावा हर जगह, जमीन ऊपर या नीचे की ओर ढलान वाली होती है।

यह शोध पत्र एक विशिष्ट गणितीय उपकरण के बारे में है जिसे Twisted de Rham Complex कहा जाता है। इस उपकरण को एक परिष्कृत स्कैनर के रूप में सोचें जो इस परिदृश्य के "आकार" या "छेद" (holes) को मापने की कोशिश करता है, लेकिन एक ट्विस्ट के साथ: यह केवल आकार को नहीं देखता; यह देखता है कि आकार उस भूभाग के मानचित्र (फलन $f$ ) के साथ कैसे परस्पर क्रिया करता है।

समस्या: क्या मशीन खराब है?

गणितज्ञों के पास एक मशीन है (एक spectral sequence) जो इस स्कैनर के डेटा को प्रोसेस करती है। यह मशीन चरणों में काम करती है:

चरण 1 ( $E_1$ ): यह समतल स्थानों (critical points) के आधार पर आकार का एक मोटा, प्रारंभिक अनुमान लेता है।
चरण 2, 3, 4... ( $E_2, E_3...$ ): यह अनुमान को और अधिक परिष्कृत करता है, त्रुटियों को सुधारता है और विवरण जोड़ता है।

आमतौर पर, यह मशीन चरणों के माध्यम से गुजरते समय अपना विचार बदलती रहती है। "मोटा अनुमान" ( $E_1$ ) "अंतिम उत्तर" ( $E_\infty$ ) से बहुत अलग हो सकता है।

बड़ा सवाल: क्या यह मशीन कभी बदलना बंद करती है? विशेष रूप से, क्या "मोटा अनुमान" ( $E_1$ ) ही ठीक वही होता है जो "अंतिम उत्तर" है?

यदि उत्तर हाँ है, तो हम कहते हैं कि मशीन " $E_1$ स्तर पर क्षय (degenerate) हो जाती है।" यह एक बहुत बड़ी बात है क्योंकि इसका मतलब है कि आपको बाद के चरणों का सारा कठिन काम करने की आवश्यकता नहीं है; प्रारंभिक, सरल गणना ही पहले से ही पूर्ण है।

पूर्व नायक (Barannikov और Kontsevich)

इस शोध पत्र से पहले, दो प्रसिद्ध गणितज्ञों, Barannikov और Kontsevich ने सिद्ध किया था कि यह मशीन बदलना बंद कर देती है (क्षय हो जाती है) एक बहुत ही विशिष्ट, सुव्यवस्थित दुनिया में:

दुनिया: एक "प्रोजेक्टिव" परिदृश्य (एक पूर्ण, बंद गोले या एक सीमित, बीजगणितीय बगीचे की कल्पना करें)।
परिणाम: उन्होंने दिखाया कि यदि आपका परिदृश्य एक आदर्श, बंद बगीचा है, तो मोटा अनुमान हमेशा अंतिम उत्तर ही होता है।

यह एक बहुत बड़ी सफलता थी, लेकिन इसकी एक सीमा थी: यह केवल उन पूर्ण, बंद बगीचों के लिए काम करता था। क्या होगा यदि परिदृश्य अव्यवset (messy) हो? क्या होगा यदि यह एक खुला मैदान हो जो अनंत तक फैला हुआ हो, या किसी एक पर्वत शिखर के आसपास का एक छोटा, अलग क्षेत्र हो? पुराने नियम वहां लागू नहीं होते थे।

मोचिज़ुकी की नई खोज

ताकुरो मोचिज़ुकी कहते हैं: "हम इससे बेहतर कर सकते हैं। हमें एक आदर्श बगीचे की आवश्यकता नहीं है।"

उनका मुख्य परिणाम (Theorem 1.6) यह कहने जैसा है:

"आपको यह जानने की आवश्यकता नहीं है कि क्षितिज (infinity) पर परिदृश्य कैसा दिखता है। आपको पूरी दुनिया के एक पूर्ण गोले होने की आवश्यकता नहीं है। जब तक कि critical points (शिखर और घाटियाँ) compact (एक सीमित, बंधे हुए क्षेत्र के भीतर) हैं, तब तक मशीन पहले चरण में ही बदलना बंद कर देती है।"

उपमा:
कल्पना कीजिए कि आप पूरे महाद्वीप के मौसम की भविष्यवाणी करने की कोशिश कर रहे हैं।

पुरानी विधि (Barannivkov-Kontsevich): आपको एक ऐसे उपग्रह की आवश्यकता है जो पूरे महाद्वीप को, महासागरों और किनारों सहित, पूरी तरह से देख सके।
मोचिज़ुकी की विधि: आपको केवल तूफान के केंद्रों (critical points) को देखने की आवश्यकता है। यदि तूफान के केंद्र एक छोटे, प्रबंधनीय शहर के भीतर सीमित हैं, तो आप दुनिया के दूसरे छोर पर क्या हो रहा है, यह जाने बिना उस शहर के लिए मौसम की सटीक भविष्यवाणी कर सकते हैं।

उन्होंने यह कैसे किया? (उनका गुप्त हथियार)

इसे सिद्ध करने के लिए, मोचिज़ुकी एक बहुत ही उन्नत गणितीय ढांचे का उपयोग करते हैं जिसे Mixed Twistor D-modules कहा जाता है।

रूपक (Metaphor):
कल्पive कीजिए कि परिदृश्य एक 2D मानचित्र है।

D-modules उस मानचित्र पर पानी के प्रवाह का वर्णन करने वाले नियमों के एक सेट की तरह हैं।
Twistor theory मानचित्र में एक तीसरा आयाम (एक "समय" या "रंग" का आयाम) जोड़ने जैसा है ताकि छिपे हुए पैटर्न देखे जा सकें।
Mixed Twistor D-modules "सुपर-चश्मे" की तरह हैं जो आपको पानी के प्रवाह को न केवल वर्तमान में, बल्कि एक ऐसे तरीके से देखने की अनुमति देते जो विभिन्न "भार" (weights) या पानी के प्रवाह की "आयु" को आपस में मिला देता है।

मोचिज़ुकी इन "सुपर-चश्मों" का उपयोग करके परिदृश्य को देखते हैं। वह सिद्ध करते हैं कि भले ही परिदृश्य किनारों पर अव्यवस्थित हो, लेकिन critical points के आसपास "सूचना का प्रवाह" इतना कठोर और सुव्यवस्थित है कि वह मशीन को तुरंत बदलना बंद करने के लिए मजबूर कर देता है।

यह क्यों मायने रखता है?

सरलता: इसका अर्थ है कि गणितज्ञ आकारों और फलनों के बारे में जटिल समस्याओं को हजारों पन्नों की गणना किए बिना हल कर सकते हैं। यदि critical points सीमित हैं, तो उत्तर पहले ही चरण में मौजूद है।
मिरर सिमेट्री (Mirror Symmetry): यह क्षेत्र भौतिकी और गणित में "मिरर सिमेट्री" के लिए महत्वपूर्ण है, जो एक सिद्धांत है जो बताता है कि दो पूरी तरह से अलग आकार गणितीय रूप से समान हो सकते हैं (जैसे एक दर्पण छवि)। यह प्रमेय यह सिद्ध करने में मदद करता है कि ये मिरर दुनिया सुचारू और सुव्यवस्थित हैं, जो स्ट्रिंग थ्योरी और ब्रह्मांड को समझने के लिए आवश्यक है।
लचीलापन: यह उन "अव्यवस्थित" परिदृश्यों के अध्ययन के द्वार खोलता है जो पहले विश्लेषण करने के लिए बहुत कठिन थे, जब तक कि "क्रिया" (critical points) स्थानीयकृत (localized) हो।

सारांश

लक्ष्य: यह सिद्ध करना कि एक जटिल गणितीय गणना पहले ही चरण के बाद बदलना बंद कर देती है।
पुराना नियम: यह केवल पूर्ण, बंद आकृतियों के लिए काम करता था।
नया नियम (मोचिज़ुकी): यह किसी भी आकृति के लिए काम करता है, जब तक कि "दिलचस्प हिस्से" (critical points) एक सीमित क्षेत्र के भीतर हों।
विधि: एक उच्च-तकनीकी गणितीय लेंस (Twistor D-modules) का उपयोग करके यह देखना कि स्थानीय संरचना इतनी कठोर है कि वह गणना को तुरंत समाप्त करने के लिए मजबूर करती है।

संक्षेप में, मोचिज़ुकी ने दिखाया है कि सही उत्तर पाने के लिए आपको पूरी तस्वीर देखने की आवश्यकता नहीं है; आपको बस शिखरों और घाटियों के स्थानीय पड़ोस को समझने की आवश्यकता है।

यहाँ ताकुरो मोचिज़ुकी के शोध पत्र "A generalization of Barannikov-Kontsevich theorem" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र एक जटिल मैनिफोल्ड (complex manifold) $X$ पर ट्विस्टेड डी राम कॉम्प्लेक्स (twisted de Rham complex) से जुड़े हॉज-टू-डी राम स्पेक्ट्रल सीक्वेंस (Hodge-to-de Rham spectral sequence) के $E_1$ -डिजेनरेशन ( $E_1$ -degeneration) को संबोधित करता है।

संदर्भ (Context): मान लीजिए $X$ एक जटिल मैनिफोल्ड है और $f: X \to \mathbb{C}$ एक होलोमॉर्फिक फलन (holomorphic function) है जिसका क्रिटिकल पॉइंट सेट (critical point set) $Cr(f)$ कॉम्पैक्ट (compact) है।
कॉम्प्लेक्स (The Complex): ट्विस्टेड डी राम कॉम्प्लेक्स को $(\Omega^\bullet_X[[\lambda]], \lambda d + df)$ के रूप में परिभाषित किया गया है, जहाँ $\lambda$ एक फॉर्मल वेरिएबल (formal variable) है। यह कॉम्प्लेक्स $\lambda$ की घातों (powers of $\lambda$ ) द्वारा फ़िल्टर किया गया है (जिसे $F_\lambda$ कहा जाता है)।
प्रश्न (The Question): क्या इस फ़िल्टर्ड कॉम्प्लेक्स से जुड़ा स्पेक्ट्रल सीक्वेंस $E_1$ $E_{1}$ -लेवल पर डिजेनरेट होता है?
- $E_1$ पर डिजेनरेशन का अर्थ है कि कोहोमोलॉजी ग्रुप्स $H^*(X, \Omega^\bullet_X[[\lambda]]_f)$ परिमित रैंक के फ्री $\mathbb{C}[[\lambda]]$ -मॉड्यूल्स हैं, और संबद्ध ग्रेडेड कॉम्प्लेक्स $(\Omega^\bullet_X, df)$ के कोहोमोलॉजी के आयाम (dimensions) जेनेरिक $\lambda$ के लिए ट्विस्टेड कोहोमोलॉजी के आयामों से मेल खाते हैं।
पूर्व स्थिति (Previous Status):
- क्लासिकल Hodge Theory: यह प्रोजेक्टिव $X$ और $f=0$ के लिए सिद्ध है (डेलिग्ने द्वारा)।
- सिंगुलैरिटी थ्योरी (Singularity Theory): यह $f$ के लिए सिद्ध है जिसमें एक एकल क्रिटिकल पॉइंट है (ब्रीज़कोर्न लैटिस द्वारा)।
- Barannikov-Kontsevich Theorem (1998): यह क्वासी-प्रोजेक्टिव (quasi-projective) $X$ और $f$ (विशेष रूप से जब $f$ एक प्रोजेक्टिव मॉर्फिज्म तक विस्तारित होता है) के लिए सिद्ध है। इसका प्रमाण हार्मोनिक एनालिसिस और केलर आइडेंटिटीज (Kähler identities) पर आधारित था।
- अंतराल (Gap): Barannikov-Kontsevich प्रमेय के लिए वैश्विक धारणाओं (global assumptions) जैसे कि क्वासी-प्रोजेक्टिविटी की आवश्यकता थी। मोचिज़ुकी इस परिणाम को स्थानीय धारणा (local assumption) के तहत सिद्ध करने का लक्ष्य रखते हैं कि $Cr(f) $कॉम्पैक्ट है, बिना यह आवश्यक बनाए कि$ X$ को प्रोजेक्टिव या क्वासी-प्रोजेक्टिव होना चाहिए, और बिना यह देखे कि अनंत (infinity) पर $(X, f)$ का व्यवहार कैसा है।

2. कार्यप्रणाली (Methodology)

मोचिज़ुकी इंटीग्रेबल मिक्स्ड ट्विस्टर D-मॉड्यूल्स (Integrable Mixed Twistor D-modules) के सिद्धांत का उपयोग करते हैं, जो स्वयं उनके द्वारा विकसित एक परिष्कृत ढांचा है (सिम्पसन के Hodge modules पर आधारित कार्य को आगे बढ़ाते हुए)। कार्यप्रणाली में कई प्रमुख चरण शामिल हैं:

Twistor D-modules में अनुवाद:
- समस्या को $X$ पर मिक्स्ड ट्विस्टर D-मॉड्यूल्स की भाषा में पुनर्गठित किया गया है।
- ट्विस्टेड डी राम कॉम्प्लेक्स को एक विशिष्ट मिक्स्ड ट्विस्टर D-मॉड्यूल के एक बिंदु (या $\lambda$ -लाइन) पर डायरेक्ट इमेज के रूप में संबंधित किया गया है।
- लेखक इंटीग्रेबल मिक्स्ड ट्विस्टर D-मॉड्यूल्स ( $MTM_{int}^{reg}$ ) की श्रेणी का उपयोग करते हैं, जो $\lambda$ -निर्भरता और फलन $f$ को संभालने के लिए आवश्यक इंटीग्रेबिलिटी स्थिति ( $\partial_\theta$ एक्शन) को समाहित करता है।
एक परिष्कृत कॉम्प्लेक्स का निर्माण (Construction of a Refined Complex):
- सीधे फॉर्मल ट्विस्टेड डी राम कॉम्प्लेक्स पर काम करने के बजाय, लेखक $\mathbb{C}_\lambda \times X \times \mathbb{C}_t \times \mathbb{C}_u$ के स्थान पर एक अधिक परिष्कृत कॉम्प्लेक्स $C(M)$ का निर्माण करते हैं।
- इसमें वेरिएबल $t$ के अनुदिश ग्राफ एम्बेडिंग (graph embedding) $\iota_f: X \to X \times \mathbb{C}_t$ और V-फिल्ट्रेशन (V-filtration) (काशिवारा-मार्गल्रेने फिल्ट्रेशन) शामिल है।
- कॉम्प्लेक्स $C(M)$ को अंडरलाइंग D-मॉड्यूल के $V$ -फिल्ट्रेशन का उपयोग करके बनाया गया है, विशेष रूप से $V_{-1}$ और $V_0$ पदों पर ध्यान केंद्रित करते हुए।
स्ट्रिक्टनेस और डायरेक्ट इमेजेस (Strictness and Direct Images):
- प्रमाण का मुख्य आधार मिक्स्ड ट्विस्टर D-मॉड्यूल्स के लिए डायरेक्ट इमेज फंकटर की स्ट्रिक्टनेस (strictness) है।
- Theorem 2.4 (Generalized): यदि $X$ एक केलर (Kähler) मैनिफोल्ड है और एक रेगुलर मिक्स्ड ट्विस्टर D-मॉड्यूल का सपोर्ट टारगेट के ऊपर प्रोपर है, तो डायरेक्ट इमेज रेगुलर मिक्स्ड ट्विस्टर D-मॉड्यूल्स की श्रेणी को सुरक्षित रखता है।
- लेखक यह सिद्ध करते हैं कि शामिल किए गए फ़िल्टर्ड कॉम्प्लेक्स के डायरेक्ट इमेजेस बेस रिंग (विशेष रूप से $\mathbb{C}[[\lambda]]$ या संबंधित रिंग्स के ऊपर) के ऊपर लोकल फ्री (locally free) हैं।
स्पेक्ट्रल सीक्वेंस की स्ट्रिक्टनेस (Strictness of Spectral Sequences):
- $E_1$ -डिजेनरेशन स्पेक्ट्रल सीक्वेंस में मॉर्फिज्म की स्ट्रिक्टनेस (विशेष रूप से, कि मैप्स $H^j(F^p/F^{p+r}) \to H^j(F^p/F^{p+r-1})$ एपिमॉर्फिज्म हैं) के समतुल्य है।
- मोचिज़की सहायक स्थान पर $\mathbb{C}^*$ -एक्शन का उपयोग करके कोहोमोलॉजी के व्यवहार को नियंत्रित करने और कोहोमोलॉजी ग्रुप्स को फ्री मॉड्यूल्स सिद्ध करने के लिए कोहोमोलॉजी शीव्स के व्यवहार का विश्लेषण करते हैं।
स्पेशलाइजेशन तर्क (Specialization Arguments):
- प्रमाण में $u=0$ और $\lambda=0$ के अनुदिश कॉम्प्लेक्स के स्पेशलाइजेशन का विश्लेषण शामिल है।
- यह दिखाते हुए कि स्पेशलाइज्ड कॉम्प्लेक्स के कोहोमोलॉजी ग्रुप्स कोहेरेंट (coherent) हैं और डायरेक्ट इमेजेस लोकल फ्री हैं, लेखक मूल फॉर्मल ट्विस्टेड डी राम कॉम्प्लेक्स के लिए स्पेक्ट्रल सीक्वेंस के डिजेनरेशन का निष्कर्ष निकालते हैं।

3. प्रमुख योगदान और परिणाम (Key Contributions and Results)

मुख्य प्रमेय (Main Theorem - Theorem 1.6)

यदि $X$ एक केलर मैनिफोल्ड है और $f$ एक होलोमॉर्फिक फलन है जिसका क्रिटिकल पॉइंट सेट $Cr(f) $कॉम्पैक्ट है, तो फ़िल्टर्ड फॉर्मल ट्विस्टेड डी राम कॉम्प्लेक्स$ F_\lambda \Omega^\bullet_X[[\lambda]]_f $के लिए स्पेक्ट्रल सीक्वेंस$ E_1$-लेवल पर डिजेनरेट होता है।

महत्व: यह Barannikov और Kontsevich द्वारा आवश्यक वैश्विक क्वासी-प्रोजेक्टिव धारणा को हटा देता है। यह परिणाम किसी भी केलर मैनिफोल्ड के लिए मान्य है, बशर्ते कि क्रिटिकल लोकस (critical locus) कॉम्पैक्ट हो। इसका तात्पर्य यह है कि क्रिटिकल पॉइंट्स के आसपास का स्थानीय ज्यामिति (local geometry), ट्विस्टेड कॉम्प्लेक्स की वैश्विक कोहोमोलॉजिकल संरचना को निर्धारित करती है।

परिष्कृत प्रमेय (Refined Theorems)

Theorem 3.6: मिक्स्ड Hodge मॉड्यूल्स द्वारा प्रेरित इंटीग्रेबल मिक्स्ड ट्विस्टर D-मॉड्यूल्स $M$ से जुड़े व्यापक वर्ग के कॉम्प्लेक्स के लिए $E_1$ -डिजेनरेशन स्थापित करता है।
Theorem 3.7 & Corollary 3.8: यह आयाम समानताएं (dimension equalities) प्रदान करता है:
$\dim H^j(X, \iota_\lambda^*(M_f \otimes \tilde{\Omega}^\bullet_{X/\mathbb{C}})) = \dim H^j(X, \phi_f(\Xi_{DR}M) \otimes \Omega^\bullet_X)$
यह ट्विस्टेड कॉम्प्लेक्स की कोहोमोलॉजी को वैनिशिंग साइकिल शीफ (vanishing cycle sheaf) $\phi_f$ की कोहोमोलॉजी से जोड़ता है, यह पुष्टि करता है कि "ट्विस्टेड" कोहोमोलॉजी क्रिटिकल पॉइंट्स की टोपोलॉजी द्वारा नियंत्रित होती है।
Corollary 3.10: यह सिद्ध करता है कि फॉर्मल ट्विस्टेड डी राम कोहोमोलॉजी ग्रुप्स परिमित रैंक के फ्री $\mathbb{C}[[\lambda]]$ -मॉड्यूल्स हैं।

4. महत्व और प्रभाव (Significance and Impact)

लोकल-टू-ग्लोबल सिद्धांत (Local-to-Global Principle): यह शोध पत्र प्रदर्शित करता है कि $E_1$ -डिजेनरेशन, जो कोहोमोलॉजी का एक वैश्विक गुण है, पूरी तरह से फलन $f$ के क्रिटिकल पॉइंट्स के पास के स्थानीय व्यवहार (विशेष रूप से $Cr(f)$ की कॉम्पैक्टनेस) द्वारा निर्धारित होता है। यह जटिल ज्यामिति और सिंगुलैरिटी थ्योरी में एक गहरा परिणाम है।
नॉन-कम्यूटेटिव Hodge थ्योरी का विकास: Barannikov-Kontsevich प्रमेय नॉन-कम्यूटेटिव Hodge थ्योरी और मिरर सिमेट्री (Mirror Symmetry) में लैंडौ-गिंजबर्ग मॉडल के अध्ययन का एक आधार स्तंभ है। इसे केलर मैनिफोल्ड्स तक विस्तारित करके, मोचिज़की इन सिद्धांतों की प्रयोज्यता को गैर-बीजगणितीय (non-algebraic) केलर मैनिफोल्ड्स सहित बहुत व्यापक वर्ग के ज्यामितीय ऑब्जेक्ट्स तक बढ़ाते हैं।
पद्धतिगत सफलता (Methodological Breakthrough): इंटीग्रेबल मिक्स्ड ट्विस्टर D-मॉड्यूल्स का उपयोग स्पेक्ट्रल सीक्वेंस और डिजेनरेशन समस्याओं को संभालने के लिए एक मजबूत और लचीला ढांचा प्रदान करता है। यह Hodge थ्योरी, D-module थ्योरी और माइक्रोलॉकल एनालिसिस की तकनीकों को एकीकृत करता है।
कोंटेविच के प्रश्न का समाधान: यह कार्य मैक्सिम कोंटेविच द्वारा पूछे गए एक विशिष्ट प्रश्न का सीधा उत्तर देता है कि क्या ट्विस्टेड डी राम कॉम्प्लेक्स के डिजेनरेशन के लिए प्रोजेक्टिव धारणाओं की आवश्यकता है।

संक्षेप में, मोचिज़की का शोध पत्र Barannikov-Kontsevich प्रमेय का एक निर्णायक सामान्यीकरण प्रदान करता है, यह सिद्ध करता है कि $E_1$ -डिजेनरेशन किसी भी केलर मैनिफोल्ड पर ट्विस्टेड डी राम कॉम्प्लेक्स के लिए मान्य है जिसके क्रिटिकल पॉइंट्स कॉम्पैक्ट हैं, और पारंपरिक वैश्विक बीजगणितीय बाधाओं को दरकिनार करने के लिए इंटीग्रेबल मिक्स्ड ट्विस्टर D-मॉड्यूल्स के शक्तिशाली तंत्र का उपयोग करता है।