🔢 mathematics

Hodge Structures in Sextic Fourfolds Equipped with an Involution

यह शोध पत्र शियोडा की विधि के माध्यम से न्यूनतम वारिंग रैंक वाले एक त्रिक षट्कोण (ternary sextic) से निर्मित एक चिकने सेक्सटिक फोरफोल्ड (smooth sextic fourfold) के विशिष्ट Hodge उपसंरचना के लिए 'सामान्यीकृत Hodge अनुमान' (Generalized Hodge Conjecture) को सत्यापित करता है, जिससे वोइसिन (Voisin) द्वारा उठाए गए एक प्रश्न का आंशिक रूप से उत्तर मिलता है।

मूल लेखक: Benjamin E. Diamond

प्रकाशित 2026-04-01✓ Author reviewed ⓘ

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

CC BY 4.0

मूल लेखक: Benjamin E. Diamond

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक जटिल ज्यामितीय आकृति के छिपे हुए "कंकाल" (skeleton) के रहस्य को सुलझाने की कोशिश कर रहे हैं। यह शोध पत्र इस कहानी के बारे में है कि कैसे लेखक, बेंजामिन डायमंड, एक विशिष्ट मामले को सुलझाते हैं जिसने कुछ समय से गणितज्ञों को उलझा रखा है।

यहाँ इस रहस्य, इसके सुरागों और समाधान का विवरण, रोज़मर्रा की भाषा में दिया गया है।

1. परिवेश: एक गुप्त दर्पण वाली आकृति

एक बहुत ही जटिल, बहु-आयामी आकृति (एक "सेक्सटिक फोरफोल्ड") की कल्पना करें जो 6-आयामी स्थान में मौजूद है। इस आकृति को कांच से बनी एक विशाल, जटिल मूर्ति की तरह समझें।

इस मूर्ति का एक विशेष गुण है: यह दो समान हिस्सों से बनी है जो एक-दूसरे के दर्पण प्रतिबिंब (mirror images) हैं, लेकिन एक मोड़ के साथ। यदि आप बाएं हिस्से को दाएं हिस्से से बदल दें और रंगों को उलट दें (एक गणितीय प्रक्रिया जिसे इनवोल्यूशन/involution कहा जाता है), तो आकृति बिल्कुल वैसी ही दिखती है।

गणितज्ञ इस आकृति के भीतर मौजूद "छेद" (holes) में रुचि रखते हैं। विशेष रूप से, वे जानना चाहते हैं कि क्या छेदों के कुछ खास पैटर्न (जिन्हें हॉज स्ट्रक्चर/Hodge structures कहा जाता है) केवल यादृच्छिक शोर (random noise) हैं, या क्या वे वास्तव में किसी भौतिक चीज़, जैसे कांच में दरार या कट (एक डिविसर/divisor) के कारण हैं।

2. बड़ा सवाल: जनरलाइज्ड Hodge कॉन्जक्चर (Generalized Hodge Conjecture)

गणित में एक प्रसिद्ध नियम है जिसे जनरलाइज्ड Hodge कॉन्जक्चर कहा जाता है। यह एक वादे की तरह है: "यदि आप किसी आकृति के छेदों में एक विशिष्ट प्रकार का छिपा हुआ पैटर्न पाते हैं, तो वह पैटर्न उस आकृति के माध्यम से एक भौतिक कट या स्लाइस के कारण ही होना चाहिए।"

अधिकांश आकृतियों के लिए, हम इस वादे को सिद्ध नहीं कर सकते। यह एक दीवार पर दिखने वाली एक विशिष्ट छाया को एक विशिष्ट वस्तु द्वारा बनाए जाने के प्रमाण को खोजने जैसा है, लेकिन आप उस वस्तु को देख नहीं पा रहे हैं।

हालाँकि, इस विशिष्ट "मिरर-सिमेट्री" वाली आकृति के लिए, गणितज्ञ क्लेयर वोइसिन ने एक प्रश्न पूछा था: "क्या यह वादा यहाँ सच होता है? क्या हम उस भौतिक कट को ढूंढ सकते हैं जो इस पैटर्न की व्याख्या करता है?"

3. समस्या: आकृति का "रैंक" (Rank)

यह आकृति एक गणितीय रेसिपी (एक बहुपद समीकरण) द्वारा परिभाषित है। इस रेसिपी की जटिलता को वेरिंग रैंक (Waring rank) के रूप में मापा जाता है।

उच्च रैंक (High Rank): रेसिपी कई सामग्रियों के मिश्रण से बना एक अव्यवस्थित सूप है। इसे सुलझाना कठिन है।
कम रैंक (Low Rank - Rank 3): रेसिपी आश्चर्यजनक रूप से सरल है। यह तीन अलग-अलग फलों को मिलाकर बनाए गए स्मूदी की तरह है।

लेखक लो रैंक (Low Rank) वाले मामले पर ध्यान केंद्रित करते हैं। वे कहते हैं, "आइए पहले इस आकृति के सबसे सरल संस्करण को देखें। यदि हम इसे सरल वाले में हल कर लेते हैं, तो हम बाद में जटिल वाले को हल करने का तरीका सीख सकते हैं।"

4. जासूसी कार्य: जादू को गणित में बदलना

लेखक की मुख्य तरकीब एक "भूतिया" (ghostly) समस्या को एक "ठोस" (concrete) समस्या में बदलना है।

भूत (The Ghost): छेदों में पैटर्न को सीधे देखना कठिन है।
ठोस (The Concrete): लेखक इस समस्या को बीजीय समीकरणों (algebraic equations) की एक पहेली में अनुवादित करते हैं।

वह पूछते हैं: "क्या हम एक विशिष्ट वेक्टर फील्ड (आकृति पर हर जगह इशारा करने वाले तीरों का एक सेट) ढूंढ सकते हैं, जो जब हम उसका कैलकुलस करें, तो उस 'भूतिया' पैटर्न को खत्म कर दे?"

यदि हम ये तीर ढूंढ लेते हैं, तो यह सिद्ध होता है कि पैटर्न यादृच्छिक नहीं है; बल्कि यह एक भौतिक कट के कारण है।

5. समाधान: "फर्मेट" शॉर्टकट

पहेली को हल करने के लिए, लेखक एक विशिष्ट, बहुत ही सममित (symmetrical) आकृति का उपयोग करते हैं जिसे फर्मेट सेक्सटिक (Fermat sextic) कहा जाता है। इसे इस गणितीय दुनिया की "पूर्णतः गोल गेंद" समझें। यह अपनी पूर्ण समरूपता के कारण काम करने के लिए सबसे आसान आकृति है।

वह एक चरण-दर-चरण एल्गोरिदम (पहेली को हल करने की रेसिपी) का आविष्कार करते हैं:

टुकड़े करना: जटिल समीकरण को लें और इसे छोटे, प्रबंधनीय टुकड़ों (मोनोमियल) में काटें।
चाबी खोजना: प्रत्येक टुकड़े के लिए, वह चरों (variables) का एक विशिष्ट "उपसेट" ढूंढते हैं जो एक चाबी के रूप में कार्य करता है।
पार्शियल यूलर वेक्टर (The Partial Euler Vector): वह एक चतुर गणितीय उपकरण (एक "पार्शियल यूलर" वेक्टर फील्ड) का उपयोग करते हैं जो एक लीवर की तरह काम करता है। इस लीवर को बिल्कुल सही तरीके से खींचने से, जटिल समीकरण अपने आप समाप्त हो जाता है।

उपमा (Analogy): कल्पना कीजिए कि आपके पास ऊन का एक उलझा हुआ गोला (जटिल समीकरण) है। लेखक को ऊन का एक सिरा (वेक्टर फील्ड) खींचने का एक विशिष्ट तरीका मिला जिससे पूरा गोला तुरंत सुलझ गया और उसके नीचे की साफ संरचना सामने आ गई।

6. "अहा!" क्षण (The "Aha!" Moment)

लेखक सिद्ध करते हैं कि केवल तीन सामग्रियों (वेरिंग रैंक 3) से बनी आकृतियों के लिए, यह "ऊन खींचने" वाला तरीका हमेशा काम करता है।

वह उस सटीक भौतिक कट (डिविसर) को ढूंढ लेते हैं जो छिपे हुए पैटर्न की व्याख्या करता है।
यह इस विशिष्ट प्रकार की आकृतियों के लिए जनरलाइज्ड Hodge कॉन्जक्चर की पुष्टि करता है।

7. यह क्यों महत्वपूर्ण है

यह एक प्रूफ ऑफ कॉन्सेप्ट (Proof of Concept) है: भले ही उन्होंने इसे केवल "सरल" आकृतियों (रैंक 3) के लिए हल किया है, यह सिद्ध करता है कि इन मामलों में "भूतिया" पैटर्न के भौतिक कारण होते हैं।
यह एक नया उपकरण है: उन्होंने एक नया एल्गोरिदम (सोचने का एक नया तरीका) बनाया है जो एक गहरे, अमूर्त ज्यामितीय प्रश्न को एक हल करने योग्य बीजीय समीकरण में बदल देता है। यह भविष्य के जासूसों को अंधेरे में सुराग खोजने के लिए एक नई टॉर्च देने जैसा है।
यह वोइसिन का उत्तर देता है: वह प्रसिद्ध गणितज्ञ क्लेयर वोइसिन द्वारा पूछे गए प्रश्न का सीधा उत्तर देते हैं, यह दिखाते हुए कि इन विशिष्ट आकृतियों के लिए, जनरलाइज्ड ब्लॉच कॉन्जक्चर (एक संबंधित गहरा सिद्धांत) संभवतः सत्य है।

सारांश

बेंजामिन डायमंड ने एक जटिल, दर्पण-सममित 6-आयामी आकृति को देखा। उन्होंने पूछा, "इस आकृति के भीतर छिपे पैटर्न क्या भौतिक कटों से आते हैं?" केवल तीन भागों से बनी आकृति (रैंक 3) पर ध्यान केंद्रित करके, उन्होंने एक नया गणितीय "लीवर" बनाया जिसने बिना किसी संदेह के सिद्ध कर दिया कि हाँ, वे पैटर्न भौतिक कटों के कारण ही हैं।

उन्होंने ब्रह्मांड की हर आकृति को हल नहीं किया, लेकिन उन्होंने उनकी एक पूरी श्रेणी को हल किया, यह सिद्ध करते हुए कि मशीन के भीतर के "भूत" वास्तव में वास्तविक वस्तुओं की छाया मात्र हैं।

यहाँ बेंजामिन ई. डायमंड के शोध पत्र "Hodge Structures in Sextic Fourfolds Equipped with an Involution" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र सामान्यीकृत हॉज अनुमान (Generalized Hodge Conjecture - GHC) के एक विशिष्ट मामले को संबोधित करता है। GHC भविष्यवाणी करता है कि एक स्मूथ प्रोजेक्टिव वैराइटी $X$ के लिए, coniveau $k$ वाला कोई भी हॉज सबस्ट्रक्चर (Hodge substructure) "ज्यामितीय रूप से" कोडिमेंशन $k$ के बीजगणितीय चक्रों (algebraic cycles) द्वारा जनरेट किया जाना चाहिए। विशेष रूप से, यदि कोई हॉज क्लास $\gamma$ , coniveau 1 के एक हॉज सबस्ट्रक्चर में स्थित है, तो एक डिवाइजर (divisor) $Y \subset X$ होना चाहिए जिससे $\gamma$ , $X \setminus Y$ के कोहोमोलॉजी (cohomology) में लुप्त (vanish) हो जाए।

लेखक स्मूथ सेक्सिक फोरफोल्ड्स (smooth sextic fourfolds) के एक परिवार पर ध्यान केंद्रित करते हैं जो $\mathbb{P}^5$ में $F(X_0, \dots, X_5) = f(X_0, X_1, X_2) - f(Y_0, Y_1, Y_2) = 0$ प्रकार के समीकरणों द्वारा परिभाषित होते हैं, जहाँ $f$ एक स्मूथ टेनरी सेक्सिक (ternary sextic) है। ये वैराइटी एक विशिष्ट इनवोल्यूशन (involution) $\iota$ के अंतर्गत इनवेरिएंट (invariant) हैं। मध्य कोहोमोलॉजी $H^4(X, \mathbb{Q})$ पर प्रेरित क्रिया एक सबस्ट्रक्चर $H^4(X, \mathbb{Q})^+$ को स्थिर रखती है, जिसमें हॉज कोनिव्यू (Hodge coniveau) 1 होता है।

मुख्य प्रश्न: क्या एक डिवाइजर $Y \subset X$ मौजूद है जिससे इनवेरिएंट कोहोमोलॉजी क्लासेज $X \setminus Y$ पर लुप्त हो जाएं?
यह प्रश्न K3 सतहों के स्व-उत्पाद (self-product) से संबंधित सामान्यीकृत ब्लॉक अनुमान (Generalized Bloch Conjecture) से जुड़ा हुआ है। जबकि सामान्य सेक्सिक्स के लिए "1-साइकिल द्वारा पैरामीटराइज्ड" और "ज्यामितीय कोनिव्यू 1" के बीच की समानता ज्ञात है, यह सभी स्मूथ सेक्सिक्स के लिए अभी भी खुला प्रश्न है। यह शोध पत्र इन सेक्सिक्स के एक विशिष्ट, गैर-तुच्छ (non-trivial) परिवार के लिए GHC भविष्यवाणी की पुष्टि करता है।

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

लेखक एक बहु-चरणीय दृष्टिकोण अपनाते हैं, जो हॉज थ्योरी से बीजगणितीय ज्यामिति और अंततः स्पष्ट कम्प्यूटेशनल बीजगणित की ओर बढ़ता है।

A. बीजगणितीय आंशिक अवकल समीकरणों (PDEs) में न्यूनीकरण

शोध पत्र पहले ज्यामितीय लुप्ति (vanishing) की स्थिति और एक विशुद्ध रूप से बीजगणितीय स्थिति के बीच एक सेतु स्थापित करता है।

ग्रिफिथ्स का सिद्धांत (Griffiths' Theory): हाइपरसरफेस की प्रिमिटिव कोहोमोलॉजी के सिद्धांत का उपयोग करते हुए, लेखक प्रासंगिक कोहोमोलॉजी क्लासेज को परिमेय डिफरेंशियल फॉर्म्स $\omega_A = \frac{A \cdot \Omega}{F^{q+1}}$ के पोइन्केरे रेसिड्यू (Poincaré residues) के माध्यम से लक्षणित करते हैं।
प्रभावी लुप्ति मानदंड (Effective Vanishing Criterion): लेखक सिद्ध करते हैं (Theorem 2.6) कि एक क्लास $X \setminus Y$ पर तब लुप्त होती है जब फॉर्म $\omega_A$ एक प्रिंसिपल ओपन सेट $U$ पर सटीक (exact) हो जाता है (एक होलोमोर्फिक एरर के साथ)।
बीजगणितीय सूत्रीकरण: इस शुद्धता (exactness) की स्थिति को $F$ के लोकल रिंग में एक परिमेय वेक्टर फील्ड $v$ की उपस्थिति वाली निम्नलिखित बीजगणितीय PDE के रूप में अनुवादित किया जाता है:
$F^{q+1} \mid A - q \cdot dF(v) + F \cdot \text{div}(v)$
यहाँ, $A$ एक होमोजेनियस पॉलीनोमियल है जो कोहोमोलॉजी क्लास का प्रतिनिधित्व करता है, $dF(v) $डायरेक्शनल डेरिवेटिव है, और$ \text{div}(v)$ डाइवर्जेंस है। लेखक सिद्ध करते हैं कि यदि एक होलोमोर्फिक समाधान मौजूद है, तो एक बीजगणितीय (परिमेय) समाधान भी मौजूद होता है (Theorem 2.12)।

B. समन्वय परिवर्तन और समरूपता (Coordinate Transformation and Symmetry)

समस्या को सरल बनाने के लिए, लेखक इनवोल्यूशन $\iota$ को एक ब्लॉक स्वैप इनवोल्यूशन $\sigma$ में बदलने के लिए चरों के रैखिक परिवर्तन का उपयोग करते हैं:
$(U_0, U_1, U_2, V_0, V_1, V_2) \mapsto (V_0, V_1, V_2, U_0, U_1, V_2)$
इस परिवर्तन के तहत, परिभाषित समीकरण $F = f(U) + f(V)$ बन जाता है। समस्या $\sigma$ -एंटी-इनवेरिएंट (anti-invariant) पॉलीनोमियल्स $A$ के लिए PDE को हल करने में बदल जाती है।

C. फर्मा केस और कॉम्बिनेटोरियल निर्माण (The Fermat Case and Combinatorial Construction)

प्रमाण का मुख्य भाग फर्मा सेक्सिक ( $f = \sum Z_i^6$ ) पर केंद्रित है।

कॉम्बिनेटोरियल लेम्मा (Combinatorial Lemma): लेखक एक कॉम्बिनेटोरियल तथ्य सिद्ध करते हैं (Lemma 3.4): किसी भी डिग्री $6q$ (जहाँ $q \in \{1, 2\}$ और घातांक $\le 4$ ) के मॉनोमियल $Z^a$ के लिए, इंडेक्स का एक गैर-रिक्त उचित उपसमुच्चय $I$ मौजूद है कि $\sum_{i \in I} a_i + |I| = 6$ ।
पार्शियल यूलर वेक्टर फील्ड्स (Partial Euler Vector Fields): इस उपसमुच्चय $I$ का उपयोग करके, लेखक एक "पार्शियल यूलर" वेक्टर फील्ड $\nu_I = \sum_{i \in I} Z_i \frac{\partial}{\partial Z_i}$ का निर्माण करते हैं।
स्पष्ट समाधान: यह दिखाया गया है कि वेक्टर फील्ड $v = \frac{Z^a \nu_I}{q \cdot \nu_I(F)}$ फर्मा सेक्सिक के लिए PDE को संतुष्ट करता है। यह एक स्पष्ट डिवाइजर (जो $\nu_I(F)=0$ द्वारा परिभाषित है) प्रदान करता है जहाँ कोहोमोलॉजी क्लास लुप्त हो जाती है।

D. वारींग रैंक 3 तक विस्तार (Extension to Waring Rank 3)

अंतिम चरण परिणाम को फर्मा सेक्सिक से किसी भी वारींग रैंक 3 वाले टेनरी सेक्सिक $f$ तक विस्तारित करता है।

वारींग रैंक 3 वाला एक टेनरी सेक्सिक $f = L_0^6 + L_1^6 + L_2^6$ के रूप में लिखा जा सकता है, जहाँ $L_i$ रैखिक रूप से स्वतंत्र लीनियर फॉर्म्स हैं।
यह संरचना एक समन्वय परिवर्तन की अनुमति देती है जो फर्मा सेक्सिक को विशिष्ट सेक्सिक $f(U) + f(V)$ में मैप करती है।
चूंकि PDE समाधान रैखिक रूपांतरणों के तहत कोवेरिएंट (covariant) है, इसलिए फर्मा केस के लिए समाधान सामान्य वारींग रैंक 3 वाले केस $f$ पर भी लागू होता है।

3. प्रमुख योगदान (Key Contributions)

सामान्यीकृत हॉज अनुमान का सत्यापन: यह शोध पत्र $f(X) - f(Y)$ (जहाँ $f$ का वारींग रैंक 3 है) द्वारा परिभाषित सेक्सिक फोरफोल्ड्स के इनवेरिएंट हॉज सबस्ट्रक्चर के लिए GHC का बिना शर्त सत्यापन प्रदान करता है। यह क्लेयर वोइसिन (2015) द्वारा पूछे गए प्रश्न का आंशिक उत्तर देता है।
प्रभावी बीजगणितीय मानदंड: लेखक हॉज कोनिव्यू और बीजगणितीय चक्रों के बीच के संबंध को परिष्कृत करते हैं, यह सिद्ध करते हुए कि किसी क्लास का लुप्त होना एक विशिष्ट बीजगणितीय PDE (समीकरण 4) को एक परिमेय वेक्टर फील्ड के साथ हल करने के बराबर है।
नया एल्गोरिथमिक निर्माण: यह पेपर Construction 3.9 पेश करता है, जो फर्मा सेक्सिक के लिए PDE को स्पष्ट रूप से हल करने वाला एक एल्गोरिदम है। यह एल्गोरिदम केवल यह निर्धारित करने के बजाय कि कोई क्लास वैश्विक रूप से शून्य है या नहीं, ग्रिफिथ्स-ड्वर्क (Griffiths-Dwork) रिडक्शन को "विटनेस" (वेक्टर फील्ड और ओपन सेट) के निर्माण के साथ समृद्ध करता है।
डिवाइजर्स का ज्यामितीय अर्थ: वे डिवाइजर $Y$ जो कोहोमोलॉजी क्लासेज को समाप्त करते हैं, उन्हें $X$ पर विशिष्ट फाइब्रेशन्स (fibrations) के रैमिफिकेशन लोकी (ramification loci) के रूप में स्पष्ट रूप से पहचाना गया है, जो $dF(\nu_I) = 0$ के समीकरणों द्वारा परिभाषित हैं।

4. परिणाम (Results)

Theorem 3.16: किसी भी स्मूथ टेनरी सेक्सिक $f$ के लिए जिसका वारींग रैंक 3 है, सेक्सिक फोरफोल्ड $X \subset \mathbb{P}^5$ जिसे $f(X) - f(Y) = 0$ द्वारा परिभाषित किया गया है, अपने इनवेरिएंट कोहोमोलॉजी के लिए सामान्यीकृत हॉज अनुमान (GHC) को संतुष्ट करता है। इनवेरिएंट क्लासेज एक डिवाइजर $Y \subset X$ के बाहर शून्य हो जाती हैं।
आयामी दायरा (Dimensional Scope): यह तकनीक सभी इनवेरिएंट सेक्सिक्स (जो 235-आयामी है) के स्थान में 17-आयामी परिवार को कवर करती है। विशेष रूप से, यह शिओडा-कात्सुरा कंस्ट्रक्शन (जहाँ $f=g$ ) के 8-आयामी परिवार को कवर करती है और उन मामलों तक विस्तारित होती है जहाँ $f \neq g$ है लेकिन दोनों का रैंक 3 है।
सीमाएँ: विधि घातांकों $\le 4$ की कॉम्बिनेटोरियल संपत्ति पर निर्भर करती है, जो $q \in \{1, 2\}$ के लिए सत्य है (हॉज सिमेट्री के कारण), लेकिन उच्च $q$ या उच्च-आयामी कैलबी-यौ (Calabi-Yau) हाइपरसरफेस (जैसे सेक्सिक सिक्सफोल्ड्स) के लिए विफल हो जाती है।

5. महत्व (Significance)

सिद्धांत और गणना के बीच सेतु: यह कार्य महत्वपूर्ण है क्योंकि यह हॉज थ्योरी की एक गहरी अनुमानित समस्या को एक ठोस, गणना योग्य बीजगणितीय समस्या में बदल देता है। यह प्रदर्शित करता है कि विशिष्ट परिवारों के लिए, यह "रहस्य" कि कौन सी कोहोमोलॉजी क्लासेज लुप्त होती हैं, एक लीनियर सिस्टम को हल करके सुलझाया जा सकता है जो PDE से प्राप्त होता है।
वोइसिन के प्रश्न पर प्रगति: यह इस विशिष्ट "विशेष रूप से दिलचस्प" मामले के लिए GHC की पहली बिना शर्त पुष्टि प्रदान करता है, जो K3 सतहों के ब्लॉक अनुमान से गहराई से जुड़ा हुआ है।
एल्गोरिथमिक अंतर्दृष्टि: "विटनेस" डिवाइजर्स को खोजने के लिए एक स्पष्ट एल्गोरिदम का विकास, अमूर्त अस्तित्व प्रमाणों (existence proofs) से आगे बढ़कर रचनात्मक ज्यामिति (constructive geometry) की ओर बढ़ते हुए, हाइपरसरफेस के अध्ययन के लिए एक नया उपकरण प्रदान करता है।
भविष्य की दिशाएँ: लेखक सुझाव देते हैं कि समीकरण (1) (PDE) व्यापक वर्गों के सेक्सिक्स के लिए GHC को हल करने के लिए भविष्य के कम्प्यूटेशनल खोजों के लिए एक व्यवहार्य शुरुआती बिंदु के रूप में कार्य करता है, भले ही वर्तमान कॉम्बिनेटोरियल विधि सीधे तौर पर सामान्य न हो सके।