🔢 mathematics

The rationality problem for multinorm one tori, II

यह शोधपत्र परिमित एटा (étale) बीजगणितों से जुड़े मल्टीनॉर्म वन टोरी (multinorm one tori) की स्थिर और रिट्रैक्ट तर्कसंगतता (stable and retract rationality) की जांच करता है, जो कि $d=1$ के महत्तम समापवर्तक (greatest common divisor) के लिए स्थिर तर्कसंगतता स्थापित करता है, रिट्रैक्ट तर्कसंगतता के लिए मानदंड और $d>1$ होने पर इसके विफल होने की स्थितियाँ प्रदान करता है, और एंडो एवं मियाटा के पिछले परिणामों को उन मामलों में सामान्यीकृत करता है जिनमें चक्रीय साइलो उपसमूहों (cyclic Sylow subgroups) या द्विदलीय समूहों (dihedral groups) वाले गैलवा विस्तार (Galois extensions) शामिल हैं।

मूल लेखक: Sumito Hasegawa, Kazuki Kanai, Yasuhiro Oki

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

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

CC BY 4.0

मूल लेखक: Sumito Hasegawa, Kazuki Kanai, Yasuhiro Oki

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो एक इमारत डिजाइन करने की कोशिश कर रहे हैं। गणित की दुनिया में, विशेष रूप से बीजगणितीय ज्यामिति (algebraic geometry) नामक क्षेत्र में, ये "इमारतें" आकृतियाँ हैं जिन्हें वेरैटीज़ (varieties) कहा जाता है। इनमें से कुछ आकृतियाँ बहुत सरल और समझने में आसान होती हैं, जैसे कि एक आदर्श गोला या कागज का एक सपाट पन्ना। गणितज्ञ इन आकृतियों को "रेशनल" (rational) कहते हैं क्योंकि इन्हें एक मानक ग्रिड (जैसे कि प्रोजेक्टिव स्पेस) पर बिना फटे या जोड़े, पूरी तरह से मैप किया जा सकता है।

हालाँकि, कई आकृतियाँ इतनी जटिल होती हैं कि उन्हें एक ग्रिड पर पूरी तरह से मैप नहीं किया जा सकता। इसलिए, गणितज्ञों ने "काफी हद तक अच्छी" आकृतियों का एक पदानुक्रम (hierarchy) बनाया:

रेशनल (Rational): पूरी तरह सरल (स्वर्ण मानक)।
स्टेबली रेशनल (Stably Rational): आप इसे सीधे सरल नहीं कर सकते, लेकिन यदि आप इसमें कुछ अतिरिक्त आयाम (dimensions) जोड़ दें (जैसे कि एक इमारत में एक मंजिल जोड़ना), तो यह अचानक सरल हो जाता है।
रिट्रैक्ट रेशनल (Retract Rational): यह थोड़ा अधिक अव्यवस्थित है। आप इसे सीधे सरल नहीं कर सकते, लेकिन आप इसे एक सरल आकृति से "रिट्रैक्ट" (वापस खींच) सकते हैं (pull it back) बिना इसकी मूल पहचान खोए।
यूनिरेशनल (Unirational): यह एक सरल आकृति द्वारा ढका हुआ है, लेकिन आपको इसके कुछ हिस्सों को आपस में सिकोड़ना (squish) पड़ सकता है।

आपके द्वारा प्रदान किया गया शोध पत्र, "द रेशनैलिटी प्रॉब्लम फॉर मल्टीनॉर्म वन टोटी, II" (The Rationality Problem for Multinorm One Tori, II), एक विशिष्ट प्रकार की गणितीय इमारत के बारे में है जिसे मल्टीनॉर्म वन टोरस (Multinorm One Torus) कहा जाता है।

एक "मल्टीनॉर्म वन टोरस" क्या है?

एक टोरस (Torus) को एक डोनट के आकार के रूप में सोचें। गणित में, टोरस एक ऐसी आकृति है जिसमें एक विशिष्ट प्रकार की समरूपता (symmetry) होती है। एक मल्टीनॉर्म वन टोरस कई अलग-अलग "फील्ड एक्सटेंशन" (field extensions) को मिलाकर बनाया गया एक जटिल डोनट है।

इसे विज़ुअलाइज़ करने के लिए, कल्पना करें कि आपके पास कई अलग-अलग चाबियाँ हैं (मान लीजिए $K_1, K_2, \dots$ )। प्रत्येक चाबी एक विशिष्ट ताले को खोलती है। एक "नॉर्म वन टोरस" एक ऐसी मशीन की तरह है जो केवल उन चाबियों को स्वीकार करती है जिनका "कुल वजन" ठीक 1 होता है। एक मल्टीनॉर्म एक ऐसी मशीन है जो एक साथ कई चाबियों के वजन की जांच करती है और केवल उन्हें ही स्वीकार करती है यदि उन सभी का वजन 1 हो।

लेखक यह पूछ रहे हैं: क्या यह जटिल मशीन (टोरस) इतना सरल है कि इसे "रेशनल" माना जा सके?

मुख्य पात्र: "ग्रेटेस्ट कॉमन डिविजर" ( $d$ )

लेखकों ने पाया कि उत्तर काफी हद तक एक संख्या पर निर्भर करता है: $d$ ।
यह संख्या शामिल चाबियों के आकार (degrees) का महत्तम समापवर्तक (Greatest Common Divisor - GCD) है।

उदाहरण: यदि आपके पास आकार 3 और 5 की चाबियाँ हैं, तो GCD 1 है।
उदाहरण: यदि आपके पास आकार 4 और 6 की चाबियाँ हैं, तो GCD 2 है।
उदाहरण: यदि आपके पास आकार 6 और 9 की चाबियाँ हैं, तो GCD 3 है।

यह शोध पत्र इस संख्या $d$ के आधार पर समस्या को दो मुख्य परिदृश्यों में विभाजित करता है।

परिदृश्य 1: "आसान" मामला ( $d = 1$ )

उपमा: कल्पना करें कि आपके पास 3 और 5 के आकार की चाबियों का एक सेट है। वे "कोप्राइम" (coprime) हैं (उनमें 1 के अलावा कोई सामान्य कारक नहीं है)।

परिणाम: लेखक सिद्ध करते हैं कि यदि चाबियों में कोई सामान्य कारक नहीं है ( $d=1$ ), तो परिणामी मशीन स्टेबली रेशनल (Stably Rational) है।

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

परिदृश्य 2: "कठिन" मामला ( $d > 1$ )

उपमा: अब कल्पना करें कि आपकी चाबियाँ आकार 4 और 6 की हैं। उनके बीच एक साझा कारक 2 है। मशीन अब एक साझा लय (rhythm) के साथ "फंसी हुई" है जो इसे सुलझाना कठिन बना देती है।

परिणाम: यहीं पर शोध पत्र तकनीकी हो जाता है।

जब यह विफल होता है: लेखक एक चेकलिस्ट प्रदान करते हैं। यदि चाबियाँ एक विशिष्ट तरीके से बहुत समान हैं (उदाहरण के लिए, यदि उनके "गेलवा क्लोजर" - यानी इन चाबियों के अंतिम संस्करण - एक विशिष्ट पैटर्न में ओवरलैप नहीं होते हैं), तो मशीन रिट्रैक्ट रेशनल (Retract Rational) नहीं है। यह इतना उलझा हुआ है कि अतिरिक्त स्थान के साथ भी इसे कभी सरल नहीं किया जा सकता।
"डायहेड्रल" ट्विस्ट: शोध पत्र डायहेड्रल समूहों (Dihedral groups) नामक समरूपता के एक विशेष समूह को भी देखता है (एक नियमित बहुभुज, जैसे षट्कोण की समरूपता के बारे में सोचें: आप इसे घुमा सकते हैं या इसे पलट सकते हैं)।
- यदि साझा कारक $d$ विषम (odd) है, तो मशीन सरल है (स्टेबली रेशनल)।
- यदि साझा कारक $d$ सम (even) है, तो यह एक सिक्का उछालने जैसा है। यह सरल है यदि और केवल यदि इसे चाबियों के एक विशिष्ट, सरल संयोजन में तोड़ा जा सकता है। लेखक बताते हैं कि उस संयोजन को कैसा दिखना चाहिए।

"गुप्त हथियार": कैरेक्टर ग्रुप्स (Character Groups)

उन्होंने यह कैसे पता लगाया? उन्होंने केवल डोनट्स को नहीं देखा; उन्होंने उनके ब्लूप्रिंट्स (जिन्हें कैरेक्टर ग्रुप्स कहा जाता है) को देखा।

रूपक: कल्पना करें कि डोनट एक संगीत वाद्ययंत्र है। "कैरेक्टर ग्रुप" वह शीट म्यूजिक है जो आपको बताता है कि वाद्ययंत्र कैसे कंपन करता है।
डोनट को सीधे सुलझाने के बजाय, लेखकों ने समस्या को संगीत सिद्धांत में अनुवादित किया। उन्होंने पूछा: "क्या यह संगीत एक सरल, दोहराव वाला पैटर्न (Permutation) है?"
यदि संगीत एक सरल पैटर्न है, तो डोनट रेशनल है। यदि संगीत एक अराजक अव्यवस्था (chaotic mess) है, तो डोनट रेशनल नहीं है।

उन्होंने कोफैबी रेज़ोल्यूशन (Coflabby Resolution) नामक तकनीक का उपयोग किया।

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

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

आप पूछ सकते हैं, "रेशनल डोनट्स से किसे फर्क पड़ता है?"

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

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

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

यहाँ सुमितो हसेगावा, काज़ुकी कानाई और यासुहिरो ओकी के शोध पत्र "The Rationality Problem for Multinorm One Tori, II" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र मल्टीनॉर्म वन टोरी (multinorm one tori) की स्थिर तर्कसंगतता (stable rationality) और रिट्रैक्ट तर्कसंगतता (retract rationality) की जांच करता है।

संदर्भ: मान लीजिए $k$ एक क्षेत्र (field) है और $K = \prod_{i=1}^r K_i$ $k$ पर एक परिमित एटाले बीजगणित (finite étale algebra) है (परिमित पृथक क्षेत्र विस्तारों का एक गुणनफल)। मल्टीनॉर्म वन टोरी $T_{K/k}$ को वेइल रेस्ट्रिक्शन ऑफ स्केलर के नॉर्म मैप से कर्नेल के रूप में परिभाषित किया गया है:
$T_{K/k} := \text{Ker}\left( N_{K/k} : \text{Res}_{K/k} \mathbb{G}_m \to \mathbb{G}_m \right).$
लक्ष्य: यह निर्धारित करना कि $T_{K/k}$ $T_{K / k}$ कब:
- स्थिर रूप से तर्कसंगत (Stably rational) है: किसी $\mathbb{P}^m$ के साथ गुणनफल के बाद एक प्रक्षेपिक स्थान (projective space) के बिराशनल (birational) है।
- रिट्रैक्ट तर्कसंगत (Retract rational) है: एक तर्कसंगत विविधता के रिट्रैक्ट (retract) के रूप में है (जो स्थिर तर्कसंगतता की तुलना में एक कमजोर स्थिति है)।
मुख्य पैरामीटर: लेखक अपने परिणामों को कारकों के डिग्री के महत्तम समापवर्तक (GCD) के आधार पर व्यवस्थित करते हैं:
$d_k(K) := \gcd([K_1:k], \dots, [K_r:k]).$
मल्टीनॉर्म वन टोरी का व्यवहार इस आधार पर काफी भिन्न होता है कि $d_k(K) = 1$ है या $d_k(K) > 1$ ।

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

यह शोध पत्र टोरी की तर्कसंगतता के लिए मानक बीजगणितीय दृष्टिकोण का उपयोग करता है, जो ज्यामितीय गुणों को गैलोइस लैटिस (Galois lattices) की भाषा में अनुवादित करता है।

चर समूह (Character Groups): एक टोरी $T$ $T$ जो $L/k$ $L / k$ विस्तार पर स्प्लिट होता है (जहाँ $G = \text{Gal}(L/k)$ $G = Gal (L / k)$ है), उसकी तर्कसंगतता उसके चर मॉड्यूल $X^*(T)$ $X^{*} (T)$ के गुणों द्वारा निर्धारित होती है, जो एक $\mathbb{Z}[G]$ $Z [G]$ -लैटिस है।
- $T$ स्थिर रूप से तर्कसंगत $\iff$ $X^*(T)$ क्वासी-परम्यूटेशन (quasi-permutation) है।
- $T$ रिट्रैक्ट तर्कसंगत $\iff$ $X^*(T)$ क्वासी-इन्वर्टिबल (quasi-invertible) है।
लैटिस निर्माण (Lattice Construction): मल्टीनॉर्म वन टोरी के चर समूह को एक विशिष्ट लैटिस $J_{G/H}$ के रूप में पहचाना जाता है (जो ऑगमेंटेशन मैप्स के योग के कर्नेल का ड्यूल है), जहाँ $H = \{ \text{Gal}(L/K_i) \}_{i=1}^r$ उपसमूहों का एक मल्टीसेट है।
न्यूनीकरण तकनीकें (Reduction Techniques):
- सायलो उपसमूह (Sylow Subgroups): एंडो और मियाटा के सिद्धांतों का उपयोग करते हुए, समस्या को अक्सर $G$ के $p$ -सायलो उपसमूहों पर गुणों की जाँच करने तक सीमित किया जाता है।
- वेट फंक्शन्स (Weight Functions): लेखक उपसमूहों के मल्टीसेट्स पर "वेट फंक्शन्स" का उपयोग करते हैं ताकि लैटिस संरचना को सरल बनाया जा सके (रिडक्शन टू स्ट्रॉन्गली रिड्यूस्ड सेट्स के माध्यम से अनावश्यक उपसमूहों को हटाना)।
- कोफ्लेबी रेजोल्यूशन (Coflabby Resolutions): जटिल मामलों (विशेष रूप से डायहेड्रल समूहों) के लिए स्थिर तर्कसंगतता को सिद्ध करने के लिए, लेखक प्रासंगिक लैटिस के स्पष्ट कोफ्लेबी रेजोल्यूशन का निर्माण करते हैं। एक लैटिस 'स्टेबली परम्यूटेशन' तब होता है जब वह परम्यूटेशन लैटिस और कोफ्लेबी कर्नेल वाले एक विशिष्ट सटीक अनुक्रम (exact sequence) में फिट बैठता है।

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

A. $d_k(K) = 1$ का मामला

प्रमेय 1.1: यदि $d_k(K) = 1$ $d_{k} (K) = 1$ (और $r \ge 2$ $r \geq 2$ ), तो मल्टीनॉर्म वन टोरी $T_{K/k}$ $T_{K / k}$ $k$ $k$ पर स्थिर रूप से तर्कसंगत है।
- प्रमाण का संक्षिप्त विवरण: लेखक दिखाते हैं कि संबद्ध लैटिस $J_{G/H} \oplus \mathbb{Z}$ एक परम्यूटेशन लैटिस है। यह उपसमूहों के इंडेक्स को 1 करने वाले पूर्णांक गुणांकों को खोजने और परिभाषित सटीक अनुक्रम को विभाजित करने के माध्यम से प्राप्त किया जाता है।
प्रमेय 1.8 (रिट्रैक्ट तर्कसंगतता के लिए मानदंड): टोरी $k$ पर रिट्रैक्ट तर्कसंगत है यदि और केवल यदि यह प्रत्येक प्राइम भाजक $p$ के लिए $L^{(p)}$ पर रिट्रैक्ट तर्कसंगत है, जहाँ $L^{(p)}$ , $d_k(K)$ के डिग्री से सह-अभाज्य (coprime) डिग्री वाला एक अधिकतम उप-विस्तार है। यह सामान्य समस्या को प्राइम पावर वाले मामलों में बदल देता है।

B. $d_k(K) > 1$ का मामला (तर्कसंगतता की विफलता)

लेखक रिट्रैक्ट तर्कसंगतता की विफलता के लिए पर्याप्त स्थितियाँ प्रदान करते हैं।

प्रमेय 1.2 ( $d_k(K) = 2$ ):
- यदि $r=2$ है और विशिष्ट इंटरसेक्शन स्थितियाँ लागू होती हैं (जैसे, $L_1 \cap K_2 = k$ ) और डिग्री 4 से विभाज्य है, तो टोरी रिट्रैक्ट तर्कसंगत नहीं है।
- यदि $r \ge 3$ है और 3 ऐसे इंडेक्स का एक सेट मौजूद है जहाँ युग्मित इंटरसेक्शन (pairwise intersections) शून्य (trivial) हैं, तो टोरी रिट्रैक्ट तर्कसंगत नहीं है।
प्रमेय 1.3 ( $d_k(K) \ge 3$ ): यदि $i \neq j$ $i \neq = j$ ऐसा है कि $L_i \cap K_j = k$ $L_{i} \cap K_{j} = k$ , तो टोरी रिट्रैक्ट तर्कसंगत नहीं है।
- महत्व: ये परिणाम डेमार्चे और वेई के पिछले कार्यों का सामान्यीकरण करते हैं, जो दिखाते हैं कि जब $d_k(K) \ge 3$ हो, तो तर्कसंगतता की विफलता बहुत कमजोर इंटरसेक्शन धारणाओं के तहत भी होती है।

C. एंडो-मियाटा और एंडो के परिणामों का सामान्यीकरण

यह शोध पत्र गैलोइस विस्तारों (विशिष्ट समूह संरचनाओं के साथ) पर स्प्लिट होने वाले टोरी के शास्त्रीय परिणामों का विस्तार करता है।

प्रमेय 1.5 (चक्रीय सायलो उपसमूह): यह मानते हुए कि गैलोइस समूह $G$ $G$ के सभी सायलो उपसमूह चक्रीय हैं, लेखक स्थिर तर्कसंगतता के लिए एक आवश्यक और पर्याप्त स्थिति देते हैं।
- $T_{K/k}$ स्थिर रूप से तर्कसंगत $\iff$ $D_k(K) \cap P^*(G) = \emptyset$ ।
- यहाँ, $P^*(G)$ उन अभाज्य संख्याओं का सेट है जहाँ $p$ -सायलो उपसमूह सामान्य (normal) है और कंजुगेशन एक्शन का इमेज ऑर्डर $\ge 3$ है।
प्रमेय 1.7 (डायहेड्रल गैलोइस समूह): मानते हुए कि $G \cong D_n$ $G ≅ D_{n}$ (आदेश $2n$ $2 n$ वाला डायहेड्रल समूह):
- यदि $d_k(K)$ विषम (odd) है, तो $T_{K/k}$ स्थिर रूप से तर्कसंगत है।
- यदि $d_k(K)$ सम (even) है, तो स्थिर तर्कसंगतता रिट्रैक्ट तर्कसंगतता के समतुल्य है। लेखक प्रदान करते हैं कि यह विशिष्ट मध्यवर्ती क्षेत्रों $K'$ और उनके गैलोइस समूहों की संरचना (जिसमें $\sigma$ और $\tau$ द्वारा जनित उपसमूह शामिल हैं) के आधार पर कब लागू होता है।

4. तकनीकी मुख्य अंश (Technical Highlights)

अनुभाग 7 (कोफ्लेबी रेजोल्यूशन): यह शोध पत्र का सबसे तकनीकी भाग है। डायहेड्रल समूहों (प्रमेय 1.7, मामला (c)) से जुड़े टोरी की स्थिर तर्कसंगतता को सिद्ध करने के लिए, लेखक $J_{D_{2m}/H_m}$ लैटिस के लिए एक स्पष्ट कोफ्लेबी रेजोल्यूशन का निर्माण करते हैं। वे लैटिस को क्वासी-परम्यूटेशन दिखाने के लिए विशिष्ट होमॉमॉर्फिज्म और कर्नेल ( $E_m$ ) को परिभाषित करते हैं। इसमें ग्रुप रिंग्स और डायहेड्रल समूहों के विशिष्ट जनरेटर के साथ जटिल गणनाएँ शामिल हैं।
क्षेत्र मामले में न्यूनीकरण (Reduction to Field Case): जब $K$ एक क्षेत्र नहीं है (अर्थात $r \ge 2$ ), तो लेखक अपने पिछले कार्य ([HKO]) की तकनीकों का उपयोग करके समस्या को उस मामले में कम करने के लिए करते हैं जहाँ $K$ एक क्षेत्र है, जिससे गैलोइस समूह की संरचना और वेट फंक्शन्स के गुणों का लाभ उठाया जा सके।

5. महत्व (Significance)

पूर्णता: यह शोध पत्र कारकों की डिग्री के GCD ( $d_k(K)$ ) के आधार पर मल्टीनॉर्म वन टोरी का एक व्यापक वर्गीकरण प्रदान करता है।
सामान्यीकरण: यह एकल क्षेत्र $K$ से लेकर उत्पादों (एटाले बीजगणित) तक के मामलों में एंडो, मियाटा और एंडो (2011) के कार्यों का महत्वपूर्ण रूप से विस्तार करता है।
नए मानदंड: यह रिट्रैक्ट तर्कसंगतता की विफलता के लिए नए, कमजोर मानदंड स्थापित करता है (प्रमेय 1.2 और 1.3) और चक्रीय या डायहेड्रल गैलोइस समूहों की उपस्थिति में स्थिर तर्कसंगतता के लिए एक एकीकृत मानदंड प्रदान करता है।
पद्धतिगत प्रगति: डायहेड्रल लैटिस के लिए कोफ्लेबी रेजोल्यूशन का स्पष्ट निर्माण (अनुभाग 7) गैर-एबेलियन गैलोइस परिवेशों में तर्कसंगतता समस्याओं के विश्लेषण के लिए एक शक्तिशाली उपकरण प्रदान करता है।

संक्षेप में, यह शोध पत्र मल्टीनॉर्म वन टोरी के लिए तर्कसंगतता समस्या को व्यापक रेंज में हल करता है, $d_k(K)=1$ (आसान मामला) और $d_k(K)>1$ (कठिन मामला) के बीच स्पष्ट अंतर करते हुए, और यह भी सटीक मानदंड प्रदान करता है कि ये टोरी कब तर्कसंगत होने में विफल होते हैं।