🔢 mathematics

Multi-height analysis of rational points of toric varieties

यह शोधपत्र यूनिवर्सल टर्सर्स (universal torsors) पर बिंदु गणनाओं को ऊपर उठाने की विधि का उपयोग करते हुए, $\mathbf{Q}$ पर चिकने (smooth), प्रक्षेपिक (projective) और स्प्लिट टोरिक वैराइटीज़ (split toric varieties) पर बहु-ऊंचाई वाले परिमेय बिंदुओं के वितरण की जांच करता है।

मूल लेखक: Nicolas Bongiorno

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

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

CC BY 4.0

मूल लेखक: Nicolas Bongiorno

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

यहाँ निकोलास बोनगियोर्नो (Nicolas Bongiorno) के शोध पत्र का स्पष्टीकरण दिया गया है, जिसे जटिल गणितीय शब्दावली से बदलकर मानचित्रण (mapping), गणना (counting) और छिपी हुई संरचनाओं की एक कहानी के रूप में अनुवादित किया गया है।

मुख्य विचार: अदृश्य सितारों की गिनती

कल्पना कीजिए कि आप एक विशिष्ट आकाशगंगा में सितारों को गिनने की कोशिश कर रहे हैं एक खगोलशास्त्री हैं। लेकिन एक पेच है: आप केवल उन "चमकदार" सितारों (परिमित बिंदुओं/rational points) को देख सकते हैं जो पृथ्वी से एक निश्चित दूरी (सीमित ऊँचाई/bounded height) के भीतर हैं।

गणित की दुनिया में, विशेष रूप से संख्या सिद्धांत (Number Theory) में, ये "सितारे" टोरिक वैराइटीज़ (Toric Varieties) नामक आकृतियों पर स्थित परिमित बिंदु (rational points) हैं। ये आकृतियाँ ग्रिड और पंखों (जैसे ज्यामितीय शंकुओं से बना एक कैलीडोस्कोप) से बनी होती हैं।

लंबे समय से, गणितज्ञ जानते हैं कि यदि आप केवल एक विशिष्ट दूरबीन (एक एकल "ऊँचाई" फलन) के माध्यम से देखते हैं, तो इन सितारों को कैसे गिना जाए। उन्होंने पाया कि जैसे-जैसे आप और दूर तक देखते हैं (सीमा $B$ को बढ़ाते हैं), सितारों की संख्या एक अनुमानित तरीके से बढ़ती है, जैसे कि $B^2$ या $B^3$ ।

समस्या: क्या होगा यदि आप इन सितारों को एक साथ कई अलग-अलग दूरबीनों के माध्यम से देखते हैं? क्या होगा यदि आप यह जानना चाहते हैं कि सितारे न केवल दूरी के आधार पर, बल्कि विभिन्न दिशाओं में "ऊँचाइयों" के एक जटिल संयोजन के आधार पर कैसे वितरित हैं? यह बहु-ऊँचाई विश्लेषण (Multi-Height Analysis) है।

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

रूपक: "यूनिवर्सल टॉसर" (Universal Torsor) एक मास्टर कुंजी के रूप में

इन सितारों को गिनने का सबसे कठिन हिस्सा यह है कि आकृति (टोरिक वैराइटी) मुड़ी हुई और तह की हुई है। यह एक भीड़ भरे, बहु-स्तरीय शॉपिंग मॉल में फर्श पर पड़ने वाली छायाओं को देखकर लोगों की संख्या गिनने जैसा है। यह अव्यवस्थित है और सटीक संख्या प्राप्त करना कठिन है।

बोनगियोर्नो अपने पूर्ववर्तियों (साल्बर्गर, पेयरे, आदि) द्वारा आविष्कृत एक शानदार तकनीक का उपयोग करते हैं जिसे यूनिवर्सल टॉसर (Universal Torsor) कहा जाता है।

उपमा:
कल्पना कीजिए कि टोरिक वैराइटी एक जटिल, मुड़ी हुई ओरिगामी (origami) है।
यूनिवर्सल टॉसर उस समतल, अनफोल्ड की गई कागज की शीट की तरह है जो मोड़ने से पहले थी।

ओरिगामी (वैराइटी): फोल्ड और सिलवटों के कारण इस पर बिंदुओं को गिनना कठिन है।
समतल शीट (टॉसर): एक सरल, खुला स्थान (जैसे पूर्णांक निर्देशांकों का एक विशाल ग्रिड) जहाँ गिनती करना आसान है।

पेपर दिखाता है कि ओरिगामी पर प्रत्येक "तारा" समतल शीट पर एक विशिष्ट बिंदु के अनुरूप होता है। समस्या को मुड़ी हुई आकृति से समतल शीट पर "लिफ्ट" करके, गणित बहुत सरल हो जाता है। मूल आकृति की जटिल ज्यामिति से निपटने के बजाय, हम बस एक विशाल ग्रिड पर बिंदुओं को गिनते हैं।

"मोबियस इन्वर्जन" (Möbius Inversion): शोर को छानना

एक बार जब हम समतल शीट (टॉसर) पर पहुँच जाते हैं, तो हमारे पास एक नई समस्या होती है। समतल शीट में बहुत अधिक बिंदु होते हैं। उनमें से कुछ ओरिगामी पर वैध सितारों के अनुरूप होते हैं, लेकिन कई केवल "भूतिया" या डुप्लिकेट होते हैं जो इस तरह से उत्पन्न होते हैं जैसे कागज को मोड़ा गया था।

इसे ठीक करने के लिए, लेखक मोबियस इन्वर्जन (Möbius Inversion) नामक एक गणितीय उपकरण का उपयोग करते हैं।

उपमा:
कल्पमान कीजिए कि आपके पास रेत और सोने की धूल का एक मिश्रण है।

रेत "बुरे" बिंदुओं (डुप्लिकेट या अमान्य विन्यास) का प्रतिनिधित्व करती है।
सोना "अच्छे" बिंदुओं (वास्तविक परिमित बिंदु जिन्हें हम गिनना चाहते हैं) का प्रतिनिधित्व करता है।

मोबियस फलन एक जादुई छलनी की तरह कार्य करता है। यह केवल रेत को नहीं छानता; यह प्रत्येक कण को एक सकारात्मक या नकारात्मक भार (weight) देता है। जब आप सब कुछ जोड़ते हैं, तो रेत पूरी तरह से खुद को रद्द कर देती है, जिससे आपके पास केवल सोना बचता है।

पेपर में, यह लेखक को समतल ग्रिड पर बिंदुओं की आसान गिनती लेने और फिर मूल आकृति के वास्तविक बिंदुओं को प्राप्त करने के लिए "शोर" को घटाने की अनुमति देता है।

मुख्य खोज: कोई छिपे हुए गुच्छे नहीं

पेपर का सबसे रोमांचक परिणाम वितरण (distribution) के बारे में है।

कुछ जटिल आकृतियों में, यदि आप विशिष्ट ऊंचाइयों वाले बिंदुओं को देखते हैं, तो वे एक अजीब कोने में इकट्ठा हो सकते हैं (एक संचय उपसमुच्चय/accumulating subset)। यह ऐसा है जैसे आपको पता चले कि आपकी आकाशगंगा के सभी तारे वास्तव में एक ही काले बादल के पीछे छिपे हुए हैं।

बोनगियोर्नो सिद्ध करते हैं कि टोरिक वैराइटीज़ के लिए, ऐसा नहीं होता है।

परिणाम: यदि आप एक विशिष्ट "बहु-ऊँचाई" सीमा (प्रभावी शंकु के द्वैत के आंतरिक भाग) के भीतर बिंदुओं को देखते हैं, तो वे पूरी तरह से सुचारू रूप से फैले हुए होते हैं।
सूत्र: बिंदुओं की संख्या बिल्कुल उसी सूत्र के अनुसार बढ़ती है जिसमें टामागावा संख्या (Tamagawa number) (उच्च-आयामी अर्थ में आकृति के "आयतन" का एक माप) और आकृति की ज्यामिति शामिल है।

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

यह एक महान सिद्धांत की पुष्टि करता है: यह कार्य मैनिन-पेयरे अनुमान (Manin-Peyre Conjecture) का समर्थन करता है, जो एक प्रसिद्ध भविष्यवाणी है कि बीजगणितीय आकृतियों पर परिमित बिंदु कैसे व्यवहार करते हैं। बोनगियोर्नो सिद्ध करते हैं कि यह तब भी काम करता है जब आप सबसे जटिल, बहु-आयामी तरीके से "ऊँचाई" को मापते हैं।
यह एक पिछली गलती को सुधारता है: लेखक नोट करते हैं कि इस विषय पर एक पिछले पेपर में इसकी शर्तों में एक छोटी सी त्रुटि थी। यह पेपर उसे सुधारता है और एक ठोस, कठोर प्रमाण प्रदान करता है।
यह "डेसेंट" (Descent) विधि का उपयोग करता है: यह पेपर "यूनिवर्सल टॉसर" तकनीक का उपयोग करने में एक उत्कृष्ट उदाहरण है। यह दिखाता है कि समस्या को एक सरल स्थान (समतल शीट) पर ले जाकर, उसे हल करके, और फिर वापस मैप करके, आप उन समस्याओं को हल कर सकते हैं जो मूल आकृति पर असंभव लगती हैं।

एक वाक्य में सारांश

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

यहाँ निकोलस बोनग्लोरियो के शोध पत्र "Multi-Height Analysis of Rational Points of Toric Varieties" का विस्तृत तकनीकी सारांश दिया गया है।

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

मुख्य समस्या:
यह शोध पत्र बीजीय रूपांतरों (algebraic varieties) पर परिमेय बिंदुओं (rational points) के स्पर्शोन्मुख वितरण (asymptotic distribution) को संबोधित करता है। विशेष रूप से, यह $\mathbb{Q}$ पर स्मूथ, प्रोजेक्टिव और स्प्लिट टोरिक रूपांतरों (toric varieties) पर परिमेय बिंदुओं के बहु-ऊंचाई वितरण (multi-height distribution) की जांच करता है।

पारंपरिक दृष्टिकोण (मैनिन का अनुमान): ऐतिहासिक रूप से, $V(\mathbb{Q})$ के परिमेय बिंदुओं का अध्ययन एक विशिष्ट लाइन बंडल $L$ (आमतौर पर एंटी-कैनोनिकल बंडल $\omega^{-1}_V$ ) से जुड़े एकल ऊंचाई फलन $H_L$ पर केंद्रित रहा है। लक्ष्य $B \to \infty$ होने पर $H_L(P) \leq B$ वाले बिंदुओं को गिनना है।
बहु-ऊंचाई ढांचा (The Multi-Height Framework): इमैनुएल पेयरे [19] के प्रस्ताव का अनुसरण करते हुए, यह शोध पत्र सभी संभावित ऊंचाइयों के तंत्र पर ध्यान केंद्रित करता है। केवल एक ऊंचाई को सीमित करने के बजाय, यह अध्ययन उन बिंदुओं के वितरण पर विचार करता है जहाँ लॉगरिदमिक ऊंचाइयों का वेक्टर पिकार्ड समूह $\text{Pic}(V)^\vee_{\mathbb{R}}$ के ड्यूल में एक डोमेन $D_B$ के भीतर स्थित होता है।
अंतराल (The Gap): हालांकि पेयरे ने इस बहु-ऊंचाई सेटिंग में "क्वासी-फैनो" (quasi-Fano) रूपांतरों के लिए स्पर्शोन्मुख व्यवहार का अनुमान लगाया था, टोरिक रूपांतरों के लिए पिछले प्रमाण (जैसे बैटिव-त्शिनकिल) एडेलिक समूहों पर हार्मोनिक विश्लेषण पर निर्भर थे। ऊंचाई ज़ेटा फलनों [11] का उपयोग करने वाले एक पिछले प्रयास में ऊंचाई वेक्टर की दिशा के संबंध में एक लुप्त शर्त नोट की गई थी, जिससे विशिष्ट मामलों (जैसे $\mathbb{P}^1$ ) में गलत स्पर्शोन्मुख घातांक (asymptotic exponents) प्राप्त हुए।

उद्देश्य:
यूनिवर्सल टर्सर्स (universal torsors) और डिसेंट (descent) का उपयोग करके, यूनिवर्सल टर्सर और डिसेंट पद्धति के माध्यम से $\mathbb{Q}$ पर स्मूथ, प्रोपर, स्प्लिट टोरिक रूपांतरों के लिए पेयरे के बहु-ऊंचाई अनुमान को सिद्ध करना।

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

लेखक यूनिवर्सल टर्सर्स और संख्याओं के ज्यामिति (geometry of numbers) पर केंद्रित एक ज्यामितीय और अंकगणितीय दृष्टिकोण अपनाते हैं। कार्यप्रणाली चार मुख्य चरणों में आगे बढ़ती है:

A. यूनिवर्सल टर्सर्स तक उठाना (Lifting to Universal Torsors)

टोरिक रूपांतर $X$ के परिमेय बिंदुओं को यूनिवर्सल टर्सर $T$ तक उठाया जाता है।

निर्माण: एक फैन $\Sigma$ द्वारा परिभाषित एक स्प्लिट टोरिक रूपांतर $X$ के लिए, यूनिवर्सल टर्सर $T$ को एफाइन स्पेस $\mathbb{A}^{\Sigma(1)}$ (जहाँ $\Sigma(1)$ फैन के रेज़/किरणें हैं) के एक खुले उपसमुच्चय के रूप में साकार किया जाता है। विशेष रूप से, $T = \mathbb{A}^{\Sigma(1)} \setminus Z(\Sigma)$ , जहाँ $Z(\Sigma)$ फैन के गैर-कोन (non-cones) से संबंधित मोनोमियल्स के शून्य होने से परिभाषित अपवाद सेट (exceptional set) है।
डिसेंट (Descent): मानचित्र $q: T \to X$ नेरॉन-सेवेरी टोरस $T_{NS}$ के अंतर्गत एक टर्सर है। लेखक यह स्थापित करते हैं कि $X$ पर परिमेय बिंदुओं की गणना करना $T$ पर पूर्णांक बिंदुओं (विशेष रूप से $T(\mathbb{Z})$ ) की गणना करने के समान है, जिसे $T_{NS}$ के एक्शन द्वारा $2^t$ (जहाँ $t$ पिकार्ड रैंक है) के कारक द्वारा समायोजित किया गया है।

B. ऊंचाई फलन को उठाना (Lifting the Height Function)

यह निर्धारित करने के लिए कि बहु-ऊंचाई $X$ पर कैसे उठती है, एक महत्वपूर्ण चरण है।

स्थानीय ऊंचाइयाँ (Local Heights): लेखक यूनिवर्सल टर्सर संरचना से जुड़ी स्थानीय ऊंचाई फलनों को $T$ पर परिभाषित करते हैं।
वैश्विक संबंध (Global Relation): यह सिद्ध किया गया है कि एक परिमेय बिंदु $P \in X(\mathbb{Q})$ और एक लिफ्ट $y \in T(\mathbb{Z})$ के लिए, बहु-ऊंचाई $h(P)$ ठीक टर्सर पर अनंत स्थान (infinite place) पर स्थानीय लॉगरिदमिक ऊंचाई $h_{T, \infty}(y)$ के अनुरूप होती है।
फंक्टोरियलिटी (Functoriality): ऊंचाई प्रणाली को टोरिक मोर्फिज्म के सापेक्ष फंकशनल दिखाया गया है, जिससे एफाइन स्पेस के निर्देशांकों का उपयोग करके $T$ पर ऊंचाइयों की स्पष्ट गणना संभव होती है।

C. संख्याओं की ज्यामिति और जालक बिंदु गणना (Geometry of Numbers and Lattice Point Counting)

समस्या को एक सीमित डोमेन में जालक बिंदुओं (lattice points) को गिनने में बदल दिया जाता है।

डोमेन परिभाषा: $h(P) \in D_B$ (जहाँ $D_B = D_1 + \log(B)u$ ) की स्थिति $y \in T(\mathbb{R})$ ऐसी स्थिति में अनुवादित होती है जहाँ $h_{T, \infty}(y) \in D_B$ हो। यह $\mathbb{R}^{\Sigma(1)}$ में एक अर्ध-बीजीय (semi-algebraic) डोमेन को परिभाषित करता है।
डेवेंट पोर्ट का अनुमान (Davenport's Estimate): लेखक अर्ध-बीजीय सेटों में जालक बिंदुओं को गिनने के संबंध में डेवेंट पोर्ट [9] के एक प्रमेय को लागू करते हैं। पूर्णांक बिंदुओं की संख्या डोमेन के आयतन (volume) द्वारा अनुमानित की जाती है, जिसमें त्रुटि पद (error term) डोमेन के निचले-आयामी उप-स्थानों पर इसके प्रक्षेप (projections) पर निर्भर करता है।
आयतन गणना: टर्सर पर डोमेन के आयतन की गणना की जाती है और इसे टामगावा संख्या (Tamagawa number) $\tau(X)$ और ड्यूल पिकार्ड समूह पर माप $\nu$ से जोड़ा जाता है।

D. मोबियस व्युत्क्रमण (Möbius Inversion)

पूर्ण जालक $\mathbb{Z}^{\Sigma(1)}$ से $T(\mathbb{Z})$ के बिंदुओं को अलग करने के लिए, लेखक मोबियस व्युत्क्रमण का उपयोग करते हैं।

$T(\mathbb{Z})$ के लिए संकेतक फलन (indicator function) को $\mu(d)$ वाले विभाजकों $d \in (\mathbb{N}^*)^{\Sigma(1)}$ के योग के रूप में व्यक्त किया जाता है।
इस योग को दो भागों में विभाजित किया गया है: छोटे विभाजक (जहाँ मुख्य पद प्रभावी होता है) और बड़े विभाजक (जहाँ त्रुटि पद को नियंत्रित किया जाता है)।
अभिसरण (Convergence): $\text{Re}(s) > 1/l$ के लिए (जहाँ $l$ एक एकल कोन में न समाहित होने वाली किरणों की न्यूनतम संख्या है) मोबियस योग से जुड़े यूलर उत्पाद (Euler product) का अभिसरण स्थापित किया गया है। यह त्रुटि पद की गुणवत्ता को निर्धारित करता है।

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

मुख्य प्रमेय (Theorem 2.15 & 4.16)

यह शोध पत्र सिद्ध करता है कि $\mathbb{Q}$ पर एक स्मूथ, प्रोपर, स्प्लिट टोरिक रूपांतर $X$ के लिए, डोमेन $D_B = D_1 + \log(B)u$ (जहाँ $u$ ड्यूल इफेक्टिव कोन के आंतरिक भाग में है) में बहु-ऊंचाई वाले परिमेय बिंदुओं की संख्या निम्नलिखित है:

$\sharp \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim_{B \to \infty} \nu(D_1) \cdot \tau(X) \cdot B^{\langle \omega^{-1}_X, u \rangle}$

परिणाम के प्रमुख पहलू:

स्पर्शोन्मुख सूत्र (Asymptotic Formula): मुख्य पद पेयरे के अनुमान से मेल खाता है, जिसमें डोमेन का आयतन $\nu(D_1)$ , टामगावा संख्या $\tau(X)$ , और एंटी-कैनोनिकल बंडल के $u$ के साथ युग्मन द्वारा निर्धारित विकास दर शामिल है।
त्रुटि पद (Error Term): शोध पत्र एक सटीक त्रुटि पद प्रदान करता है:
$O\left( B^{\langle \omega^{-1}_X, u \rangle - (1 - \frac{1}{l} - \epsilon) \min_{\rho} \langle [D_\rho], u \rangle} \right)$
जहाँ $l$ फैन का कॉम्बिनेटोरियल इनवेरिएंट (एक कोन में न रहने वाली किरणों की न्यूनतम संख्या) है और $\epsilon > 0$ है।
संचयी उपसमुच्चय का अभाव (No Accumulating Subsets): एक महत्वपूर्ण परिणाम यह है कि ड्यूल इफेक्टिव कोन के आंतरिक भाग में प्रतिबंधित होने पर टोरिक मामले में बहु-ऊंचाई वितरण के लिए कोई संचयी उपसमुच्चय (accumulating subsets) नहीं होते हैं। यह कुछ एकल-ऊंचाई परिदृश्यों के विपरीत है जहाँ बिंदु उप-रूपांतरों (subvarieties) पर संचित हो सकते हैं।

तकनीकी सुधार

लेखक [11] के एक पिछले परिणाम में $\beta = \pi^\vee(u)$ की स्थिति के संबंध में एक दोष की पहचान करते हैं। यह शोध पत्र दर्शाता है कि इस स्थिति के बिना, स्पर्शोन्मुख घातांक (asymptotic exponent) गलत है (उदाहरण के लिए, विशिष्ट भारों के साथ $\mathbb{P}^1$ के लिए $B^2$ के बजाय $B^3$ की भविष्यवाणी करना)। यहाँ उपयोग की गई डिसेंट पद्धति इस त्रुटि से बचती है।

4. महत्व

पेयरे के अनुमान का सत्यापन: यह कार्य टोरिक रूपांतरों के महत्वपूर्ण वर्ग के लिए पेयरे के बहु-ऊंचाई अनुमान का एक कठोर प्रमाण प्रदान करता है, यह पुष्टि करता है कि ज्यामितीय इनवेरिएंट्स (टामगावा संख्या, इफेक्टिव कोन का ड्यूल वॉल्यूम) ऊंचाइयों के पूरे स्थान में बिंदुओं के वितरण की सही भविष्यवाणी करते हैं।
पद्धतिगत प्रगति: यूनिवर्सल टर्सर्स और मोबियस व्युत्क्रमण का उपयोग करके, यह शोध पत्र ऊंचाई ज़ेटा फलनों के बजाय एक मजबूत वैकल्पिक ढांचा प्रदान करता है। यह डिसेंट पद्धति टोरिक रूपांतरों के लिए विशेष रूप से उपयुक्त है क्योंकि उनका कॉक्स रिंग (Cox ring) संरचना स्पष्ट है।
त्रुटि पदों में सटीकता: $l$ (फैन की ज्यामिति से संबंधित) पैरामीटर का उपयोग करके स्पष्ट त्रुटि पद का व्युत्पन्न, यह गहरी अंतर्दृष्टि प्रदान करता है कि टोरिक रूपांतर की कॉम्बिनेटोरियल संरचना बिंदु गणना की अभिसरण दर को कैसे प्रभावित करती है।
भावी कार्य का आधार: लेखक नोट करते हैं कि यह परिणाम शास्त्रीय मैनिन अनुमान (एकल ऊंचाई) को सिद्ध करता है और गैर-स्प्लिट या गैर-प्रोजेक्टिव मामलों, साथ ही अधिक जटिल संचय घटनाओं (accumulation phenomena) वाले रूपांतरों के विश्लेषण के लिए मार्ग प्रशस्त करता है।

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