🔢 algebraic geometry

From Hitchin Systems to Rational Elliptic Surfaces with C*-actions via Orbifold Hilbert Schemes

प्रोजेक्टिव ऑर्बीफोल्ड सतहों पर ऑर्बीफोल्ड हिल्बर्ट स्कीम्स की सुगमता (smoothness), संबद्धता (connectedness) और पॉइसन संरचना (Poisson structure) को स्थापित करके, यह शोध पत्र दूसरी हिरज़ब्रश सतह (second Hirzebruch surface) के पुनरावृत्त ब्लो-अप्स (iterated blow-ups) से उत्पन्न होने वाले $\mathbb{C}^*$ -क्रियाओं वाले तर्कसंगत अण्डाकार सतहों (rational elliptic surfaces) के रूप में संबद्ध एफाइन डिनकिन आरेख $\tilde{A}_0, \tilde{D}_4, \tilde{E}_6, \tilde{E}_7,$ और $\tilde{E}_8$ से जुड़े द्वि-आयामी हिचिन सिस्टम (Hitchin systems) के प्राकृतिक संकुचन (compactifications) का निर्माण करता है।

मूल लेखक: Yonghong Huang

प्रकाशित 2025-09-18✓ Author reviewed ⓘ

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

CC BY 4.0

मूल लेखक: Yonghong Huang

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो एक आदर्श, स्थिर शहर बनाने की कोशिश कर रहे हैं। लेकिन ईंट और गारे के बजाय, आपकी निर्माण सामग्री "हिटचिन सिस्टम" (Hitchin systems) नामक अमूर्त गणितीय आकार हैं। ये सिस्टम जटिल, अदृश्य शहरों की तरह हैं जो यह वर्णन करते हैं कि ब्रह्मांड में कण कैसे व्यवहार कर सकते हैं, लेकिन वे वर्तमान में "अपूर्ण" हैं—उनमें छेद हैं, किनारे गायब हैं, और सीमाएँ अनिश्चित हैं।

यह शोध पत्र, जिसे गणितज्ञ योंगहोंग हुआंग (Yonghong Huang) ने लिखा है, इन शहरों को पूरा बनाने और उन्हें पूर्ण, सुंदर और स्थिर संरचनाओं यानी "रेशनल एलिप्टिक सर्फेसेस" (Rational Elliptic Surfaces) में बदलने का एक ब्लूप्रिंट है।

यहाँ बताया गया है कि उन्होंने इन शहरों को कैसे बनाया, इसे रोजमर्रा की भाषा में समझाया गया है।

1. समस्या: "लीकी" (Leaky) शहर

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

लेखक इन द्वीपों के पांच विशिष्ट प्रकारों पर ध्यान केंद्रित करते हैं (जिन्हें $\tilde{A}_0, \tilde{D}_4, \tilde{E}_6, \tilde{E}_7, \tilde{E}_8$ लेबल किया गया है)। ये नाम "डिंकिन आरेख" (Dynkin diagrams) नामक आकृतियों के एक परिवार से आते हैं, जो ज्यामितीय समरूपता (geometric symmetries) के लिए आवर्त सारणी (periodic table) की तरह हैं।

2. उपकरण: "ऑर्बिफ़ोल्ड हिल्बर्ट स्कीम" (Orbifold Hilbert Scheme)

दीवारें बनाने के लिए, लेखक एक विशेष निर्माण उपकरण का उपयोग करते हैं जिसे "ऑर्बिफ़ोल्ड हिल्बर्ट स्कीम" कहा जाता है।

उपमा: कल्पना कीजिए कि आपके पास लेगो ब्रिक्स (बिंदु) का एक ढेर है। एक मानक "हिल्बर्ट स्कीम" एक विशाल सूची है जो बताती है कि आप उन ईंटों को एक आकार में व्यवस्थित करने के हर संभव तरीके क्या हैं।
ट्विस्ट: इस शोध पत्र में, ईंटें केवल सामान्य ईंटें नहीं हैं; वे "ऑर्बिफ़ोल्ड" ईंटें हैं। इन ईंटों को ऐसे सोचें जिनमें छोटे, अदृश्य गियर (gears) होते हैं। जब आप उन्हें एक के ऊपर एक रखते हैं, तो उनके गियर उस सतह की "स्टैकी" (stacky) प्रकृति के आधार पर विशेष तरीकों से परस्पर क्रिया करते हैं जिस पर वे स्थित हैं।
परिणाम: इन विशेष गियर-ईंटों का उपयोग करके, लेखक दिखाते हैं कि आप तैरते हुए द्वीपों के छेदों को पूरी तरह से भरने के लिए उन्हें व्यवस्थित कर सकते हैं। यह अधूरे द्वीपों को ठोस, पूर्ण सतहों में बदल देता है।

3. खोज: "जादुई ब्लूप्रिंट"

एक बार जब शहर बन जाते हैं, तो लेखक उनकी संरचना को देखते हैं और एक आश्चर्यजनक बात पाते हैं।

"सेकंड हिरज़ब्रश सरफेस" (Second Hirzebruch Surface) एक मास्टर टेम्पलेट है।
कल्पना कीजिए कि एक मानक, सपाट कागज (सेकंड हिरज़ब्रस सरफेस) है। लेखक सिद्ध करते हैं कि सभी चार पूर्ण शहर इसी एक कागज के पन्ने को लेकर, फोल्डिंग और पंचिंग (folding and poking) के एक विशिष्ट सेट के संचालन (गणितीय शब्द: ब्लो-अप्स) के माध्यम से बनाए जा सकते हैं।

रूपक: यह ऐसा ही है जैसे यह खोजना कि चार पूरी तरह से अलग, जटिल ओरिगामी हंस (हिटचिन सिस्टम) वास्तव में एक ही वर्गाकार कागज से बनाए जा सकते हैं, बस उसे थोड़ा अलग तरीके से मोड़कर। यह उन सभी को एक सरल ज्यामितीय नियम के तहत एकीकृत करता है।

4. विशेषताएँ: "सिंगुलर फाइबर्स" (Singular Fibers)

प्रत्येक पूर्ण शहर में कुछ "अजीब स्थान" होते हैं जहाँ ज्यामिति मुड़ी हुई या उलझी हुई होती है। गणित में, इन्हें सिंगुलर फाइबर्स कहा जाता है।

शोध पत्र सटीक रूप से मानचित्रित करता है कि ये घुमाव कहाँ होते हैं। यह पाया गया है कि घुमाव केवल दो विशिष्ट स्थानों पर होते हैं: 0 और अनंत (infinity) (घड़ी के केंद्र और घड़ी के बिल्कुल ऊपरी हिस्से के बारे में सोचें)।
लेखक "ड्यूल ग्राफ्स" (सबवे मैप की तरह) खींचते हैं ताकि यह दिखाया जा सके कि मुड़े हुए हिस्से कैसे जुड़ते हैं। उदाहरण के लिए, $\tilde{E}_8$ शहर के केंद्र में एक बहुत ही जटिल, तारे के आकार का घुमाव है, जबकि $\tilde{D}_4$ शहर में एक सरल, क्रॉस के आकार का घुमाव है।

5. "C*-एक्शन": घूमता हुआ लट्टू (Spinning Top)

इन नए शहरों की सबसे शानदार विशेषताओं में से एक यह है कि वे घूम सकते हैं।

शोध पत्र दिखाता है कि इन सतहों में एक प्राकृतिक घूर्णन समरूपता (जिसे $C^*$ -action कहा जाता है) होती है। कल्पना कीजिए कि शहर एक घूमता हुआ लट्टू है। चाहे वह कितना भी घूमे, संरचना स्थिर रहती है और "छेद" बंद रहते हैं। यह घूमने वाला गुण इन आकृतियों को ब्रह्मांड कैसे काम करता है, इससे जुड़ी भौतिकी के सिद्धांतों से जोड़ने के लिए महत्वपूर्ण है।

6. "स्मूथनेस" (Smoothness) की गारंटी

इस शोध पत्र से पहले, गणितज्ञों को 100% यकीन नहीं था कि ये नए "गियर-ब्रिक" शहर चिकने (जैसे पॉलिश किया हुआ संगमरमर) होंगे या ऊबड़-खाबड़ और टूटे हुए होंगे।

लेखक एक प्रमुख प्रमेय सिद्ध करते हैं: ये शहर पूरी तरह से चिकने (smooth) हैं।
वे यह भी सिद्ध करते हैं कि उन्हें बनाने की प्रक्रिया ("हिल्बर्ट-चो मॉर्फिज्म") एक "मिनिमल रेजोल्यूशन" (minimal resolution) की तरह है। इसे एक कुचले हुए कागज (एक खुरदरा, सिंगुलर आकार) को बिना फटे या अनावश्यक झुर्रियां डाले, पूरी तरह से सीधा और सपाट इस्त्री करने के रूप में समझें।

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

यह शोध पत्र तीन अलग-अलग दुनियाओं के बीच एक सेतु है:

इंटीग्रेबल सिस्टम्स (Integrable Systems): चीजें कैसे चलती हैं और परस्पर क्रिया करती हैं, इसकी भौतिकी।
ऑर्बिफ़ोल्ड ज्योमेट्री (Orbifold Geometry): "गियर्स" और विशेष बिंदुओं वाली आकृतियों का अध्ययन।
रेशनल एलिप्टिक सर्फेसेस (Rational Elliptic Surfaces): सुंदर, पूर्ण ज्यामितीय आकृतियों का एक विशिष्ट वर्ग।

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

यहाँ योंगहोंग हुआंग के शोध पत्र "From Hitchin Systems to Rational Elliptic Surfaces with $C^*$ -actions via Orbifold Hilbert Schemes" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र $\tilde{A}_0, \tilde{D}_4, \tilde{E}_6, \tilde{E}_7,$ और $\tilde{E}_8$ के एफाइन डाइनकिन आरेख (affine Dynkin diagrams) से संबंधित द्वि-आयामी हिचिन सिस्टम (Hitchin systems) के संबंध में कई मौलिक ज्यामितीय प्रश्नों को संबोधित करता है। जबकि पिछले कार्यों (विशेष रूप से ग्रोचेनिग द्वारा) ने इन सिस्टम्स को एक-आयामी कैलाबी-याऊ ऑर्बिफोल्ड्स (एलिप्टिक कर्व्स और वेटेड प्रोजेक्टिव लाइन्स) पर ऑर्बिफोल्ड हिग्स बंडल्स के मॉडली स्पेस के रूप में स्थापित किया था, निम्नलिखित पहलू अनसुलझे रहे थे:

स्पष्ट कॉम्पैक्टिफिकेशन (Explicit Compactification): इन गैर-कॉम्पैक्ट हिचिन सिस्टम्स को प्रोजेक्टिव बीजगणितीय सतहों (projective algebraic surfaces) में स्वाभाविक रूप से कैसे कॉम्पैक्टिफाई किया जाए।
ज्यामितीय संरचना (Geometric Structure): इनके विलुप्त फाइबर (singular fibers) की संरचना, उनके रिलेटिवली मिनिमल मॉडल्स, और $C^*$ -एक्शन्स एवं पॉइसन संरचनाओं (Poisson structures) के साथ उनकी अनुकूलता निर्धारित करना।
ऑर्बिफोल्ड हिल्बर्ट स्कीम्स (Orbifold Hilbert Schemes): सामान्य प्रोजेक्टिव ऑर्बिफोल्ड सतहों (विशेष रूप से $G \subset GL_2$ से उत्पन्न कोटिएंट सिंगुलैरिटीज वाले) के हिल्बर्ट स्कीम्स के लिए एक सुदृढ़ सिद्धांत विकसित करना, जिसमें उनकी संबद्धता (connectedness) और स्मूथनेस को सिद्ध करना शामिल है।

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

लेखक बीजगणितीय ज्यामिति (algebraic geometry), स्टैक थ्योरी (stack theory), और इंटीग्रेबल सिस्टम्स (integrable systems) को संयोजित करने वाला एक बहु-आयामी दृष्टिकोण अपनाते हैं:

ऑर्बिफोल्ड हिल्बर्ट स्कीम्स: मुख्य ढांचा एक प्रोजेक्टिव ऑर्बिफोल्ड सतह $X$ (एक स्मूथ डेलिग्ने-ममफोर्ड स्टैक जिसका को-डायमेंशन-दो स्टैकी लोकस है) पर बिंदुओं के हिल्बर्ट स्कीम्स, $\text{Hilb}^\alpha(X)$ , का निर्माण है।
स्टेबिलिटी और वॉल-क्रॉसिंग (Stability and Wall-Crossing): शोध पत्र ऑर्बिफोल्ड सतहों पर स्टेबिलिटी कंडीशंस के लिए वॉल-क्रॉसिंग घटनाओं का विश्लेषण करता है। यह उन पोलराइजेशन के अस्तित्व को सिद्ध करता है जो जेनेरिक न्यूमेरिकल $K$ -क्लासेस के लिए यह सुनिश्चित करते हैं कि सेमी-स्टेबिलिटी, स्टेबिलिटी के समान हो जाए, जिससे मॉडली स्पेस में स्ट्रिक्टली सेमी-स्टेबल ऑब्जेक्ट्स समाप्त हो जाते हैं।
आतिया क्लास निर्माण (Atiyah Class Construction): स्मूथ डेलिग्ने-ममफोर्ड स्टैक्स के लिए आतिया क्लास का एक नया निर्माण विकसित किया गया है (जो सामान्य बीजगणितीय स्टैक निर्माणों से भिन्न है)। यह कोडेरा-स्पेंसर मैप (Kodaira–Spencer map) को परिभाषित करने की अनुमति देता है, जो स्पष्ट रूप से टेंजेंट और कोटेंजेंट बंडल्स का वर्णन करता है।
पॉइसन ज्यामिति (Poisson Geometry): यह शोध पत्र इन मॉडली स्पेसों पर पॉइसन संरचनाओं के सिद्धांत का विस्तार करता है। यह प्रदर्शित करता है कि यदि अंतर्निहित ऑर्बिफोल्ड सतह एक पॉइसन संरचना धारण करती है, तो स्थिर शेफ्स (stable sheaves) का मॉडली स्पेस (और हिल्बर्ट स्कीम) एक संगत पॉइसन संरचना विरासत में प्राप्त करता है।
सिंगुलैरिटी का रेजोल्यूशन (Resolution of Singularities): कोर्स मॉडली स्पेस (GIT क्वोटिएंट्स) के मिनिमल रेजोल्यूशन का निर्माण करने के लिए हिल्बर्ट-चाओ मॉर्फिज्म (Hilbert–Chow morphism) $h: \text{Hilb}^n(X) \to \text{Sym}^n(X)$ का उपयोग किया जाता है।
स्पष्ट ब्लो-अप विश्लेषण (Explicit Blow-up Analysis): विशिष्ट हिचिन सिस्टम्स के लिए, लेखक विलुप्त फाइबर का स्पष्ट ज्यामितीय विश्लेषण करते हैं और प्रदर्शित करते हैं कि परिणामी कॉम्पैक्टिफाइड सतहें दूसरी हिरज़ब्रस सतह ( $H_2$ ) पर पुनरावर्ती ब्लो-अप्स (iterated blow-ups) के माध्यम से प्राप्त की जाती हैं।

3. प्रमुख योगदान और सैद्धांतिक परिणाम (Key Contributions and Theoretical Results)

A. ऑर्बिफोल्ड हिल्बर्ट स्कीम्स का सामान्य सिद्धांत

प्रमेय 1.1: सिद्ध करता है कि एक प्रोजेक्टिव ऑर्बिफोल्ड सतह $X$ के लिए, हिल्बर्ट स्कीम $\text{Hilb}^n(X)$ एक स्मूथ, कनेक्टेड, प्रोजेक्टिव स्कीम है।
मिनिमल रेजोल्यूशन: यह सिद्ध किया गया है कि हिल्बर्ट-चाओ मॉर्फिज्म $h: \text{Hilb}^1(X) \to X$ कोर्स मॉडली स्पेस का मिनिमल रेजोल्यूशन है।
पॉइसन रेजोल्यूशन: यदि $X$ एक पॉइसन संरचना से सुसज्जित है, तो $h$ एक पॉइसन रेजोल्यूशन है।
संबद्धता (Connectedness): यह शोध पत्र किसी भी परिमित छोटी उपसमूह $G \subset GL_2$ के लिए $\text{Hilb}^n([C^2/G])$ की संबद्धता स्थापित करता है, जो केवल $G \subset SL_2$ या एबेलियन समूहों के लिए ज्ञात पिछले परिणामों का विस्तार है।
सिम्प्लेक्टिक रेजोल्यूशन: कोटिएंट सिंगुलैरिटीज वाली इर्रिड्यूसिबल सिम्प्लेक्टिक सतहों के लिए, हिल्बर्ट-चाओ मॉर्फिज्म एक अद्वितीय प्रोजेक्टिव सिम्प्लेक्टिक रेजोल्यूशन प्रदान करता है।

B. हिचिन सिस्टम्स पर अनुप्रयोग

यह शोध पत्र $\tilde{D}_4, \tilde{E}_6, \tilde{E}_7,$ और $\tilde{E}_8$ के अनुरूप हिचिन सिस्टम्स के कॉम्पैक्टिफिकेशन के लिए सामान्य सिद्धांत को लागू करता है।

कॉम्पैक्टिफिकेशन: हिचिन सिस्टम $M^{(i)}$ के प्राकृतिक कॉम्पैक्टिफिकेशन को ऑर्बिफोल्ड हिल्बर्ट स्कीम $\text{Hilb}^1(\mathbb{P}(T^\vee X_i \oplus \mathcal{O}_{X_i}))$ के रूप में पहचाना गया है, जहाँ $X_i$ विशिष्ट ऑर्बिफोल्ड कर्व्स ( $\mathbb{P}^1$ ऑर्बिफोल्ड पॉइंट्स के साथ) हैं।
रेशनल एलिप्टिक सतहें (Rational Elliptic Surfaces): इन कॉम्पैक्टिफिकेशन को $C^*$ -एक्शन के साथ रेशनल एलिप्टिक सतहें के रूप में दिखाया गया है।
फाइब्रेशन संरचना: हिचिन मैप एक फाइब्रेशन $\pi_i: \tilde{X}_i \to \mathbb{P}^1$ में विस्तारित होता है जहाँ विलुप्त फाइबर केवल $0 $और$ \infty$ पर होते हैं।
मिनिमल मॉडल्स: यह शोध पत्र $\infty$ के ऊपर विशिष्ट $(-1)$ -कर्व्स को ब्लो डाउन करके इन सतहों के रिलेटिवली मिनिमल मॉडल्स का स्पष्ट निर्माण करता है।

4. एफाइन डाइनकिन प्रकारों के लिए विशिष्ट परिणाम (Specific Results for Affine Dynkin Types)

यह शोध पत्र कॉम्पैक्टिफाइड सतहों $\tilde{X}_i$ के विलुप्त फाइबर और ड्यूल ग्राफ का पूर्ण वर्गीकरण प्रदान करता है:

एफाइन प्रकार (Affine Type)	ऑर्बिफोल्ड कर्व $X_i$	0 पर विलुप्त फाइबर	$\infty$ पर विलुप्त फाइबर	मिनिमल मॉडल (ब्लो-डाउन के बाद)
$\tilde{D}_4$	$\mathbb{P}^1_{2,2,2,2}$	$I^*_0$ ( $\tilde{D}_4$ )	$I^*_0$ ( $\tilde{D}_4$ )	पहले से ही रिलेटिवली मिनिमल
$\tilde{E}_6$	$\mathbb{P}^1_{3,3,3}$	$IV^*$ ( $\tilde{E}_6$ )	$IV $($ \tilde{A}2 $) \|$ D\infty$ को ब्लो डाउन करें
$\tilde{E}_7$	$\mathbb{P}^1_{4,4,2}$	$III^*$ ( $\tilde{E}_7$ )	$III $($ \tilde{A}_1 $) \| दो$ (-1)$-कर्व्स को ब्लो डाउन करें
$\tilde{E}_8$	$\mathbb{P}^1_{6,3,2}$	$II^*$ ( $\tilde{E}_8$ )	$II $\| तीन$ (-1)$-कर्व्स को ब्लो डाउन करें

हिरज़ब्रस सतह से निर्माण: एक केंद्रीय निष्कर्ष यह है कि ये सभी रेशनल एलिप्टिक सतहें दूसरी हिरज़ब्रस सतह ( $H_2$ ) पर ब्लो-अप्स के एक परिमित अनुक्रम को निष्पादित करके प्राप्त की जा सकती हैं।
बाउंड्री संरचना: कॉम्पैक्टिफिकेशन की बाउंड्री (रिड्यूस्ड स्ट्रक्चर के साथ) $\mathbb{P}^1$ की $s+1$ कॉपियों से बनी है, जहाँ $s$ बेस कर्व पर ऑर्बिफोल्ड पॉइंट्स की संख्या है।

5. महत्व (Significance)

ज्यामितीय वर्गीकरण: यह शोध पत्र अपवादिक एफाइन प्रकारों के द्वि-आयामी हिचिन सिस्टम्स के ज्यामितीय वर्गीकरण को पूरा करता है, जो केवल अमूर्त मॉडली विवरणों के बजाय स्पष्ट बीजगणितीय मॉडल (रेशनल एलिप्टिक सतहें) प्रदान करता है।
क्षेत्रों का मिलन: यह इंटीग्रेबल सिस्टम्स (हिचिन सिस्टम्स), ऑर्बिफोल्ड ज्योमेट्री (स्टैकी सतहों), सिंगुलैरिटी थ्योरी (कोटिएंट सिंगुलैरिटीज के मिनिमल रेजोल्यूशन), और बीजगणितीय सतहों (रेशनल एलिप्टिक सतहों) के बीच गहरे, अप्रत्याशित संबंधों को प्रकट करता है।
मैके (McKay) पत्राचार का विस्तार: $G \subset SL_2$ (न कि केवल $SL_2$ ) के लिए संबद्धता और स्मूथनेस को सिद्ध करके, यह कार्य डेरिव्ड मैके पत्राचार और क्विवर वेरिएटीज़ के सिद्धांत को ऑर्बिफोल्ड्स के एक व्यापक वर्ग तक विस्तारित करता है।
पॉइसन ज्यामिति: इन मॉडली स्पेसों और उनके रेजोल्यूशन पर पॉइसन संरचनाओं का निर्माण पॉइसन वेरिएटीज़ के नए उदाहरण प्रदान करता है, जो ज्यामितीय लैंगलैंड्स प्रोग्राम (geometric Langlands program) और गणितीय भौतिकी (विशेष रूप से SCFTs और एलिप्टिक चेरेडनिक अलजेब्रा) के लिए प्रासंगिक है।

संक्षेप में, हुआंग का कार्य ऑर्बिफोल्ड हिल्बर्ट स्कीम्स के लिए एक कठोर आधार प्रदान करता है और इस मशीनरी का उपयोग प्रमुख हिचिन सिस्टम्स के कॉम्पैक्टिफिकेशन को स्पष्ट रूप से साकार करने और वर्गीकृत करने के लिए करता है, यह प्रदर्शित करते हुए कि वे दूसरी हिरज़ब्रस सतह से प्राप्त रेशनल एलिप्टिक सतहें हैं।