🔢 mathematics

Torsion pairs and 3-fold flops

यह शोध पत्र एक 3-फोल्ड फ्लोपिंग कॉन्ट्रैक्शन (3-fold flopping contraction) के स्थानीय व्युत्पन्न श्रेणी (local derived category) और क्लेनियन सिंगुलैरिटीज़ (Kleinian singularities) के मिनिमल रेजोल्यूशन पर इंटरमीडिएट टी-स्ट्रक्चर्स (intermediate t-structures) को वर्गीकृत करता है, जिससे संबद्ध मॉडिफिकेशन (modification) और प्रीप्रोजेक्टिव बीजगणित (preprojective algebras) के लिए टॉर्शन क्लासेस (torsion classes) के पूर्ण लैटिस का वर्णन होता है और सतहों एवं 3-फोल्ड्स की व्युत्पन्न श्रेणियों में स्फेरिकल ऑब्जेक्ट्स (spherical objects) को समझने के लिए आधारभूत कदम प्रदान किए जाते हैं।

मूल लेखक: Parth Shimpi

प्रकाशित 2026-03-09

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

CC BY 4.0

मूल लेखक: Parth Shimpi

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो एक बहुत ही अजीब, मुड़ी हुई इमारत की छिपी हुई संरचना को समझने की कोशिश कर रहे हैं। यह इमारत ईंटों और गारे से नहीं बनी है, बल्कि शुद्ध गणित से बनी है। विशेष रूप से, यह एक "3-fold flop" है, एक ऐसी आकृति जो उच्च आयामों (higher dimensions) में अस्तित्व में होती है जहाँ कुछ वक्रों (curves) को अंदर से बाहर की ओर पलटा जा सकता है, जिससे इमारत के मूल डीएनए को बदले बिना उसका लेआउट बदल जाता है।

पार्थ शिम्पी का यह शोध पत्र एक मास्टर कुंजी है जो इस इमारत के रहस्यों को खोलने का रास्ता दिखाता है। यह उस प्रश्न का उत्तर देता है जिसने दशकों से गणितज्ञों को उलझा रखा है: "यदि मैं इस इमारत को विभिन्न गणितीय 'लेंसों' (जिन्हें t-structures कहा जाता है) के माध्यम से देखूँ, तो इसकी सामग्री को व्यवस्थित करने के सभी संभावित तरीके क्या हैं?"

यहाँ रोजमर्रा की उपमाओं का उपयोग करके इसका विवरण दिया गया है:

1. इमारत और "लेंस"

3-fold flop को एक जटिल, बहु-कक्षीय हवेली के रूप में सोचें।

कमरे (Objects): इसके अंदर विभिन्न गणितीय वस्तुएं हैं (जैसे कि sheaves, जो डेटा या वक्रों पर लिपटे हुए कपड़े के बंडलों की तरह हैं)।
लेंस (t-structures): एक गणितज्ञ इस हवेली को अलग-अलग "लेंसों" के माध्यम से देख सकता है।
- लेंस A (ज्यामितीय/Geometric): आप कमरों को भौतिक रूप से वैसा ही देखते हैं जैसा वे हैं। आप दीवारें, फर्श और वहां घूमते हुए लोगों (sheaves) को देखते हैं। यह "ज्यामितीय" दृश्य है।
- लेंस B (बीजगणितीय/Algebraic): आप हवेली को एक विशाल स्प्रेडशीट या सर्किट बोर्ड के रूप में देखते हैं। आप दीवारें नहीं देखते; आप केवल कनेक्शन, नंबर और लॉजिक गेट्स देखते हैं। यह "बीजगणितीय" दृश्य है।
- समस्या: लंबे समय तक, गणितज्ञों को लेंस A और लेंस B के बारे में पता था। लेकिन उन्हें यह नहीं पता था कि क्या इनके बीच में अन्य लेंस भी मौजूद हैं, या क्या उन्होंने इस इमारत को देखने के सभी संभावित तरीकों को खोज लिया है।

2. "हृदय" का मामला (The "Heart" of the Matter)

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

यदि आप ज्यामितीय लेंस के माध्यम से देखते हैं, तो हृदय "कोहेरेंट शीव्स" (Coherent Sheaves - भौतिक कपड़ा) है।
यदि आप बीजगणितीय लेंस के माध्यम से देखते हैं, तो हृदय "मॉड्यूल्स" (Modules - स्प्रेडशीट डेटा) है।
इस बात का मुख्य लक्ष्य इन दोनों छोरों के बीच स्थित सभी संभावित हृयों को वर्गीकृत करना था।

3. देखने के तीन प्रकार के दृश्य (वर्गीकरण)

शिम्पी ने खोजा कि इस इमारत को व्यवस्थित करने के केवल तीन प्रकार के तरीके हैं। यह ऐसा ही है जैसे यह कहना कि एक पुस्तकालय को व्यवस्थित करने के केवल तीन तरीके हैं:

शुद्ध ज्यामितीय दृश्य (The Purely Geometric View): आप इमारत के एक थोड़े अलग संस्करण को देख रहे हैं (एक "birational model")। शायद आपने एक वक्र को अंदर से बाहर की ओर पलटा है (एक "flop"), और अब कमरे अलग तरह से व्यवस्थित हैं, लेकिन आप अभी भी भौतिक संरचना को ही देख रहे हैं।
शुद्ध बीजगणितीय दृश्य (The Purely Algebraic View): आप इमारत को समीकरणों और बीजगणितीय नियमों के एक सेट के रूप में देख रहे हैं। ये मानक बीजगणितीय दृश्य के "म्यूटेशन" (mutations) हैं। यह स्प्रेडशीट के फॉर्मूलों को फिर से व्यवस्थित करने जैसा है।
हाइब्रिड दृश्य (The Hybrid View - "अर्ध-ज्यामितीय"): यह सबसे दिलचस्प है। कल्पना करें कि आप इमारत को देख रहे हैं, लेकिन आपने निर्णय लिया है कि आप इसके कुछ हिस्सों को भौतिक कमरे के रूप में और अन्य हिस्सों को स्प्रेडशीट डेटा के रूप में मानेंगे।
- उपमा: कल्पना करें कि एक घर है जहाँ रसोई को एक भौतिक कमरे के रूप में माना जाता है (आप इसमें चल सकते हैं), लेकिन अटारी (attic) को संख्याओं की एक सूची के रूप में माना जाता है (आप इसे केवल एक डेटाबेस के माध्यम से एक्सेस कर सकते हैं)। शोध पत्र यह सिद्ध करता है कि इस इमारत को देखने का प्रत्येक संभव तरीका इन तीन प्रकारों का संयोजन है। आप इन तीनों के अलावा कोई चौथा अजीब तरीका नहीं बना सकते।

4. "हृदय पंखा" (The "Heart Fan" - द मैप)

इसे सिद्ध करने के लिए, लेखक एक विशाल मानचित्र खींचता है जिसे "हार्ट फैन" (Heart Fan) कहा जाता है।

एक विशाल दिशा-सूचक (compass rose) या त्रिकोणों से बने स्नोफ्लेक की कल्पना करें।
इस मानचित्र का प्रत्येक बिंदु एक विशिष्ट "हृदय" (संगठन का एक विशिष्ट तरीका) का प्रतिनिधित्व करता है।
शोध पत्र दिखाता है कि यह मानचित्र पूरी तरह से पूर्ण है। इसमें कोई छिपे हुए कोने नहीं हैं। यदि आप इस मानचित्र पर कहीं भी खड़े हैं, तो आप या तो एक भौतिक संस्करण, एक बीजगणितीय संस्करण, या दोनों का मिश्रण देख रहे हैं।
यह मानचित्र "डिनकिन आरेख" (Dynkin diagrams) का उपयोग करके बनाया गया है, जो आकृतियों के वंशावली वृक्ष की तरह हैं। लेखक दिखाता है कि इस मानचित्र पर घूमने के नियम इमारत में वक्रों को पलटने के नियमों के समान हैं।

5. यह क्यों मायने रखता है? (ईंटें)

यह शोध पत्र एक पार्श्व पहेली को भी हल करता है: "ब्रिक्स" (Bricks) का वर्गीकरण।

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

सारांश

पार्थ शिम्पी का शोध पत्र एक जादुई, आकार बदलने वाली इमारत के लिए एक पूर्ण इन्वेंट्री सूची की तरह है।

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

यह एक भूलभुलैया में खो जाने और एक पूर्ण, 3D ब्लूप्रिंट होने के बीच का अंतर है जो आपको हर गलियारे, हर बंद रास्ते और हर गुप्त दरवाजे को दिखा सकता है।

यहाँ पार्थ शिंपी के शोध पत्र "Torsion pairs and 3-fold flops" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण और संदर्भ

यह शोध पत्र एक 3-fold flopping contraction $\pi: X \to Z$ के अपवाद स्वरूप फाइबर (exceptional fiber) पर समर्थित (supported) कोहेरेंट शीव्स के बाउंडेड डेरिव्ड कैटेगरी (bounded derived category), $D^bX$ , के भीतर t-structures (विशेष रूप से उनके 'hearts') और torsion pairs के वर्गीकरण को संबोधित करता है।

सेटिंग: $Z = \text{Spec}(R)$ एक पूर्ण स्थानीय आधार (complete local base) है जिसमें एक आइसोलेटेड Compound Du Val (cDV) सिंगुलैरिटी है। $X$ एक गोरस्टीन टर्मिनल 3-fold है। रुचि की श्रेणी $D^0X$ है, जो $D^bX$ का वह पूर्ण उप-वर्ग (full subcategory) है जो अपवाद स्वरूप फाइबर $\pi^{-1}(\mathfrak{m})$ पर समर्थित है।
चुनौती: "एल्जेब्रिक" hearts (परिमित-आयामी बीजगणित के मॉड्यूल श्रेणियाँ) और "ज्यामितीय" (geometric) hearts (बाइरेशनल मॉडल्स पर कोहेरेंट शीव्स की श्रेणियाँ) का वर्गीकरण 'होमोलॉजिकल मिनिमल मॉडल प्रोग्राम' (HMMP) और 'ब्रिडजलैंड-चेन फ्लॉप्स' के माध्यम से आंशिक रूप से समझा जा चुका था, लेकिन सभी मध्यवर्ती (intermediate) t-structures (जो पर्सिव हार्ट और उसके शिफ्ट के बीच स्थित हैं) का पूर्ण वर्गीकरण अभी भी अज्ञात था।
विशिष्ट अंतराल: हारा और वेम्यस द्वारा "फाइनाइट-टाइप" नल उप-श्रेणी $C = \ker(R\pi_*)$ में hearts का वर्गीकरण किया गया था। हालाँकि, $D^0X$ में "एफाइन" व्यवहार (affine behavior) और एक अनंत सिलटिंग फैन (infinite silting fan) है, जिससे मानक म्यूटेशन-आधारित वर्गीकरण अपर्याप्त हो जाता है। यह शोध पत्र यह निर्धारित करने का प्रयास करता है कि क्या ऐसे "छिपे हुए" (hidden) t-structures मौजूद हैं जो ज्ञात एल्जेब्रिक या ज्यामितीय ढांचों में फिट नहीं होते हैं।

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

लेखक इस समस्या को हल करने के लिए होमोलॉजिकल अलजेब्रा, रिप्रेजेंटेशन थ्योरी, और कॉन्वेक्स ज्योमेट्री के संश्लेषण का उपयोग करते हैं।

हार्ट फैन और संख्यात्मक मानदंड (Heart Fans and Numerical Criteria): यह शोध पत्र हार्ट फैन (बूमब्रेड, पॉक्सुस्टेलो, प्लॉग और वूल द्वारा प्रस्तुत) की अवधारणा का उपयोग करता है। यह प्रत्येक t-structure को एक वास्तविक सदिश स्थान (जो ग्रोथेंडिएक समूह का ड्यूल है) में एक शंकु (cone) से जोड़ता है। मुख्य रणनीति यह सिद्ध करना है कि प्रत्येक मध्यवर्ती हार्ट संख्यात्मक (numerical) है (अर्थात, इसका हार्ट कोन शून्य नहीं है), जिससे दिलों के वर्गीकरण को हार्ट फैन के कॉम्बिनेटरिक्स तक सीमित किया जा सके।
म्यूटेशन कॉम्बिनेटरिक्स (Mutation Combinatorics): यह शोध पत्र डिनकिन डायग्राम (विशेष रूप से एफाइन ADE प्रकार) और मॉडिफाइंग मॉड्यूल्स के म्यूटेशन क्लासेज (Iyama-Wemyss थ्योरी) के कॉम्बिनेटरिक्स का लाभ उठाता है। $X$ के बिरेशनल मॉडल्स के सेट को एक एफाइन रूट सिस्टम से प्राप्त इंटरसेक्शन अरेंजमेंट के चैम्बर्स के साथ द्वैत (bijection) में दिखाया गया है।
अर्ध-ज्यामितीय अपघटन (Semi-Geometric Decomposition): लेखक अर्ध-ज्यामितीय हार्ट्स (semi-geometric hearts) की अवधारणा पेश करते हैं। इन्हें एक ओपन कवर के ऊपर एल्जेब्रिक हार्ट्स (आंशिक संकुचन से जुड़े) और ज्यामितीय हार्ट्स (बिरेशनल मॉडल्स से जुड़े) को जोड़ने (gluing) द्वारा बनाया जाता है।
लाइन बंडल क्रियाएं (Line Bundle Actions): एक महत्वपूर्ण तकनीक नेफ मोनॉइड (birational मॉडल्स पर लाइन बंडल्स) की t-structures के पोसेट (poset) पर क्रिया है। नेफ लाइन बंडल्स के साथ टेंसर प्रोडक्ट के माध्यम से मानक पर्सिव हार्ट के ऑर्बिट्स का विश्लेषण करके, लेखक किसी भी arbitrary t-structure के लिए सीमाएँ स्थापित करते हैं।
स्काईस्क्रेपर हंटिंग (Skyscraper Hunting): यह सिद्ध करने के लिए कि गैर-एल्जेब्रिक हार्ट्स संख्यात्मक हैं, शोध पत्र एक एल्गोरिदम ("Skyscraper-hunting") विकसित करता है जो दिए गए हार्ट के टोरशन पेयर्स के भीतर स्काईस्क्रेपर शीव्स $\mathcal{O}_p$ की स्थिति को ट्रैक करता है। यह किसी भी गैर-एल्जेब्रिक हार्ट को ज्यामितीय हार्ट्स द्वारा सीमित होने के लिए मजबूर करता है, जिससे यह सिद्ध होता है कि उसका हार्ट कोन गैर-शून्य है।

3. मुख्य योगदान और परिणाम

A. मध्यवर्ती हार्ट्स का वर्गीकरण (Theorem A & C)

मुख्य परिणाम $D^0X$ पर सभी t-structures $K$ का पूर्ण वर्गीकरण है जहाँ $K \subseteq \text{per}(X/Z)[-1, 0]$ ।

संरचना: प्रत्येक ऐसा हार्ट $K$ , $X$ के एक बिरेशनल मॉडल $W$ और एक आंशिक संकुचन $\tau: W \to Y$ द्वारा निर्धारित होता है।
अपघटन: उस क्षेत्र में जहाँ $\tau$ एक आइसोमोर्फिज्म है, $K$ $W$ पर कोहेरेंट शीव्स (संभवतः स्काईस्क्रेपर शीव्स में टिल्ट किए गए) के रूप में प्रतिबंधित होता है। $\tau$ के अपवाद स्वरूप फाइबर पर, $K$ स्थानीय फ्लोपिंग संकुचन से जुड़े पर्सिव हार्ट के एक एल्जेब्रिक म्यूटेशन के रूप में प्रतिबंधित होता है।
हार्ट फैन: सभी ऐसे हार्ट्स का सेट एक पूर्ण लैट्टिस (complete lattice) बनाता है। पर्सिव हार्ट $\text{per}(X/Z)$ $per (X / Z)$ का "हार्ट फैन" प्रतिबंधित एफाइन रूट सिस्टम से जुड़े इंटरसेक्शन अरेंजमेंट के रूप में पहचाना जाता है।
- पूर्ण-आयामी कोन्स (Full-dimensional cones): एल्जेब्रिक हार्ट्स (पर्सिव हार्ट के म्यूटेशन) के अनुरूप हैं।
- हाइपरप्लेन $\{\delta = 0\}$ पर कोन्स: ज्यामितीय और अर्ध-ज्यामितीय हार्ट्स (बिरेशनल मॉडल्स या उनके आंशिक संकुचन के कोहेरेंट शीव्स) के अनुरूप हैं।
- महत्वपूर्ण निष्कर्ष: यहाँ कोई "छिपे हुए" हार्ट्स नहीं हैं। प्रत्येक मध्यवर्ती हार्ट या तो एल्जेब्रिक है, ज्यामितीय है, या दोनों के बीच का एक अर्ध-ज्यामितीय संयोजन है।

B. ब्रिक्स और सेमी-ब्रिक्स का वर्गीकरण (Theorem B & 5.25)

यह शोध पत्र पर्सिव हार्ट में ब्रिक्स (1-डायमेंशनल एंडोमोर्फिज्म अल्जेब्रा वाले ऑब्जेक्ट्स) को वर्गीकृत करता है।

परिणाम: प्रत्येक ब्रिक या तो:
1. एक मॉडिफिकेशन अलजेब्रा का सिंपल मॉड्यूल है (एल्जेब्रिक प्रकार)।
2. एक बिरेशनल मॉडल पर स्काईस्क्रेपर शीफ है (ज्यामितीय प्रकार)।
K-theory: ग्रोथेंडिएक समूह में किसी भी ब्रिक का वर्ग संबंधित एफाइन डिनिक डेटा का एक प्रिमिटिव रिस्ट्रिक्टेड रूट है। यह 3-fold सेटिंग के लिए प्री-प्रोजेक्टिव अल्जेब्रा के लिए क्राउली-बोवी के परिणाम का सामान्यीकरण है।

C. हार्ट फैन संरचना

यह शोध पत्र सिद्ध करता है कि $\text{per}(X/Z)$ का हार्ट फैन J-cone arrangement (एक एफाइन वेइल अरेंजमेंट का सब-फैन) है।

संख्यात्मक पूर्णता (Numerical Completeness): यह सिद्ध किया गया है कि शून्यल (trivial) कोन $\{0\}$ किसी भी मध्यवर्ती हार्ट का हार्ट कोन नहीं है। इसका अर्थ है कि "एफाइन अभिशाप" (सिलटिंग फैन में अनंत पथ) पूर्ण वर्गीकरण को रोकने में सक्षम नहीं है; हार्ट फैन की ज्यामिति सभी t-structures को कैप्चर करने के लिए पर्याप्त रूप से कठोर है।
लैट्टिस आइसोमोर्फिज्म: एल्जेब्रिक हार्ट्स का पोसेट, इंटरसेक्शन अरेंजमेंट के चैम्बर्स के 'वीक ऑर्डर' (weak order) के आइसोमोर्फिक है। सभी मध्यवर्ती हार्ट्स का पोसेट एक पूर्ण लैट्टिस है जहाँ ज्यामितीय हार्ट्स, एल्जेब्रिक हार्ट्स की श्रृंखलाओं के सुप्रीमा/इन्फिमा (suprema/infima) के रूप में कार्य करते हैं।

D. सतहों के साथ समानता

यह शोध पत्र 3-fold केस और 2-डायमेंशनल केस (क्लेनियन सिंगुलैरिटीज/प्री-प्रोजेक्टिव अल्जेब्रा) के बीच एक कठोर पत्राचार स्थापित करता है। यह दिखाता है कि 3-फोल्ड्स के लिए परिणाम हाइपरप्लेन सेक्शन के माध्यम से सतहों पर स्वाभाविक रूप से प्रतिबंधित होते हैं, जो इन डेरिव्ड कैटेगरीज में टोरशन पेयर्स को समझने के लिए एक एकीकृत ढांचा प्रदान करता है।

4. महत्व और प्रभाव

"एफाइन अभिशाप" का समाधान: यह शोध पत्र एफाइन-टाइप डेरिवड कैटेगरीज (जिनमें अनंत सिलटिंग फैन होते हैं) में t-structures को वर्गीकृत करने की कठिनाई को यह दिखाकर हल करता है कि हार्ट फैन पूर्ण है और प्रत्येक हार्ट संख्यात्मक है।
ज्यामिति और बीजगणित के बीच सेतु: यह ज्यामितीय ऑपरेशंस (फ्ॉपिंग कर्व्स, आंशिक संकुचन) और एल्जेब्रिक ऑपरेशंस (मॉडिफाइंग मॉड्यूल्स का म्यूटेशन, टोरशन पेयर्स में टिल्टिंग) के बीच एक सटीक डिक्शनरी प्रदान करता है।
भावी कार्य के लिए आधार: यह वर्गीकरण सतहों और 3-फोल्ड्स के डेरिवड कैटेगरीज में सभी t-structures और गोलाकार ऑब्जेक्ट्स (spherical objects) का वर्णन करने की दिशा में एक "पहला कदम" है। यह ऑटोइक्विवेलेंस (जैसे गोलाकार ट्विस्ट) और ज्ञात "फाइनाइट" या "शुद्ध ज्यामितीय" मामलों से परे डेरिवड कैटेगरी की संरचना का अध्ययन करने के लिए आवश्यक उपकरण प्रदान करता है।
गोलाकार ऑब्जेक्ट्स पर अनुप्रयोग: ब्रिक्स का वर्गीकरण सीधे गोलाकार मॉड्यूल्स के वर्गीकरण की ओर ले जाता है, जो इन श्रेणियों में ऑटोइक्विवेलेंस (जैसे गोलाकार ट्विस्ट) के अध्ययन के लिए केंद्रीय हैं।

संक्षेप में, शिंपी का कार्य 3-fold फ्लॉप्स के लिए मध्यवर्ती t-structures का एक पूर्ण, व्यापक वर्गीकरण प्रदान करता है, यह प्रदर्शित करते हुए कि इन श्रेणियों का परिदृश्य पूरी तरह से एफाइन रूट सिस्टम्स (एल्जेब्रिक म्यूटेशन) और मिनिमल मॉडल प्रोग्राम की ज्यामिति (बिरेशनल मॉडल्स) के बीच परस्पर क्रिया द्वारा नियंत्रित होता है।