🔢 mathematics

Torsion of $\mathbb Q$ -curves over number fields of small odd prime degree

यह शोध पत्र अभाज्य घात वाले संख्या क्षेत्रों (number fields) पर $\mathbb{Q}$ -वक्रों (curves) के टॉर्शन सबग्रुप्स (torsion subgroups) के वर्गीकरण को 3, 5 और 7 की घातों के लिए सभी ऐसे समूहों को निर्धारित करके और यह सिद्ध करके पूर्ण करता है कि वे परिमेय $j$ -इनवेरिएंट्स (rational $j$ -invariants) वाले एलिप्टिक कर्व्स के टॉर्शन सबग्रुप्स के समान हैं।

मूल लेखक: Ivan Novak

प्रकाशित 2026-02-26

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

CC BY 4.0

मूल लेखक: Ivan Novak

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

कल्पना कीजिए कि आप एक जासूस हैं जो एलिप्टिक कर्व्स (Elliptic Curves) के बारे में एक रहस्य सुलझाने की कोशिश कर रहे हैं। गणित की दुनिया में, ये हूला हूप की तरह चिकने, गोल घेरे नहीं हैं। ये विशिष्ट समीकरणों द्वारा परिभाषित लहरदार, टेढ़ी-मेढ़ी रेखाएं हैं।

इन कर्व्स पर, कुछ विशेष "बिंदु" (points) होते हैं जिन्हें आप संख्याओं की तरह आपस में जोड़ सकते हैं। यदि आप एक विशिष्ट बिंदु को खुद में बार-बार जोड़ते रहते हैं, तो अंततः आप शुरुआती बिंदु (शून्य) पर वापस आ सकते हैं। उस बिंदु तक वापस पहुँचने में लगने वाले चरणों की संख्या को उसका ऑर्डर (order) कहा जाता है। इन "लूपिंग" बिंदुओं का संग्रह एक समूह बनाता है जिसे टॉर्शन सबग्रुप (Torsion Subgroup) कहते हैं।

मुख्य प्रश्न

गणितज्ञ लंबे समय से पूछ रहे हैं: इन टॉर्शन सबग्रुप्स के लिए सभी संभावित आकार (समूह) क्या हो सकते हैं?

तर्कसंगत मामला (The Easy Street): यदि कर्व तर्कसंगत संख्याओं (Rational Numbers) (जैसे 1/2, 3/4) पर परिभाषित है, तो हम उत्तर को पूरी तरह से जानते हैं। इसके केवल 15 संभावित आकार हैं। इसे दशकों पहले बैरी मज़ूर (Barry Mazur) ने हल किया था।
कठिन सड़कें (The Harder Streets): क्या होगा यदि कर्व संख्याओं के अधिक जटिल "पड़ोस" में परिभाषित हो, जैसे कि एक नंबर फील्ड (Number Field)?
- यदि पड़ोस एक क्वाड्रेटिक फील्ड (Quadratic Field) (डिग्री 2, जैसे तर्कसंगत संख्याओं में $\sqrt{2}$ जोड़ना) है, तो हम उत्तर जानते हैं।
- यदि पड़ोस एक प्राइम डिग्री फील्ड (Prime Degree Field) (डिग्री 3, 5, 7, 11, आदि) है, तो यह बहुत कठिन हो जाता है।

विशेष संदिग्ध: Q-Curves

यह शोध पत्र एक विशिष्ट प्रकार के कर्व पर केंद्रित है जिसे Q-curve कहा जाता है।

उपमा: कल्पना कीजिए कि एक Q-curve एक "गिरगिट" (chameleon) है। यह एक जटिल पड़ोस में रहता है, लेकिन इसका "तर्कसंगत दुनिया" के साथ एक गुप्त संबंध है। यह एक ऐसे कर्व से "आइसोजेनस" (isogenous - एक विशिष्ट रूपांतरण के माध्यम से गणितीय रूप से संबंधित) है जिसका अपना $j$ -इनवेरिएंटेंट (j-invariant) एक तर्कसंगत संख्या है।
खोज: लेखक, इवान नोवाक (Ivan Novak), यह सिद्ध करते हैं कि डिग्री 3, 5 और 7 के पड़ोसों के लिए, ये गिरगिट (Q-curves) वास्तव में कोई नए टॉर्शन आकार नहीं रखते हैं जो तर्कसंगत कर्व्स के पास पहले से मौजूद नहीं हैं।

जासूसी कार्य: उन्होंने इसे कैसे सुलझाया

नोवाक ने केवल अनुमान नहीं लगाया; उन्होंने संदिग्धों को बाहर करने की प्रक्रिया का उपयोग किया, जैसे कि एक जासूस संदिग्धों को खारिज करता है।

1. "आइसोजेनी ग्राफ" (The Family Tree - वंशावली)
कल्पना कीजिए कि प्रत्येक एलिप्टिक कर्व एक व्यक्ति है। एक "आइसोजेनी" एक पारिवारिक संबंध है।

यदि कर्व A, कर्व B से संबंधित है, तो वे एक रेखा से जुड़े होते हैं।
नोवाक ने इन कर्व्स के "फैमिली ट्री" को देखा। वह जानते थे कि यदि एक Q-curve के पास एक निश्चित ऑर्डर (मान लीजिए 11) का बिंदु है, तो उसके "तर्कसंगत चचेरे भाई" (rational cousin) के पास भी उस ऑर्डर के बिंदु के साथ एक संबंध होना चाहिए।

2. "गैलोइस रिप्रेजेंटेशन" (The Security Camera - सुरक्षा कैमरा)
गणितज्ञ यह देखने के लिए "गैलोइस रिप्रेजेंटेशन" का उपयोग करते हैं कि जब नंबर फील्ड में संख्याओं को बदला जाता है, तो ये बिंदु कैसे चलते हैं।

रूपक: कल्पना कीजिए कि कर्व पर बिंदु नर्तक (dancers) हैं। गैलोइस ग्रुप डीजे (DJ) है। डीजे संगीत को घुमा सकता है (संख्याओं को बदल सकता है), और नर्तक विशिष्ट पैटर्न में चलते हैं।
नोवाक ने डीजे द्वारा छोटे गए "पदचिह्नों" (मैट्रिक्स) को देखा। उन्होंने सिद्ध किया कि डिग्री 3, 5 और 7 के लिए, Q-curve के पदचिह्न हमेशा एक तर्कसंगत कर्व के पदचिह्नों के साथ संगत होते हैं।

3. "असंभव" आकारों को खारिज करना
कुछ आकार (जैसे कि आकार 11, 15, 16, या 20) हो सकते हैं जो सामान्य क्यूबिक क्षेत्रों (डिग्री 3) में दिखाई दे सकते हैं, लेकिन नोवाक को यह सिद्ध करना था कि वे Q-curves में नहीं आ सकते।

तर्क: उन्होंने कहा, "यदि एक Q-curve में ऑर्डर 11 का बिंदु होता, तो उसके तर्कसंगत चचेरे भाई को एक विशिष्ट 'सुरक्षा कैमरा' पैटर्न रखना पड़ता। लेकिन हमने सभी तर्कसंगत चचेरे भाइयों की जाँच की, और उनमें से किसी के पास भी वह पैटर्न नहीं है। इसलिए, Q-curve में वह बिंदु नहीं हो सकता।"
उन्होंने प्रत्येक संदिग्ध समूह आकार (11, 15, 16, 20, आदि) के लिए ऐसा ही किया और सिद्ध किया कि वे सभी Q-curves के लिए असंभव हैं।

अंतिम निर्णय

यह शोध पत्र एक विशाल पहेली को पूरा करता है।

डिग्री 2 (Quadratic): हम पहले से ही सूची जानते थे (इसमें 13, 15, 16 जैसे कुछ अतिरिक्त आकार शामिल हैं)।
डिग्री 3, 5, 7: नोवाक ने सिद्ध किया कि सूची बिल्कुल वही है जो तर्कसंगत कर्व्स के लिए है।
डिग्री > 7: अन्य लोगों ने इसे पहले ही हल कर लिया था।

मुख्य निष्कर्ष:
यदि आप डिग्री 3, 5, या 7 के नंबर फील्ड में एक Q-curve की तलाश कर रहे हैं, तो आपको कभी भी ऐसा टॉर्शन सबग्रुप नहीं मिलेगा जो तर्कसंगत संख्याओं पर परिभाषित कर्व्स के पास पहले से मौजूद नहीं था। इन पड़ोसों में रहने वाले "गिरगिट" अपना आकार नहीं बदलते; वे बस अपने तर्कसंगत रिश्तेदारों के समान कपड़े पहनते हैं।

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

गणित की दुनिया में, क्या संभव है इसकी "सीमाओं" को जानना महत्वपूर्ण है। यह गणितज्ञों को संख्याओं की मौलिक संरचना को समझने में मदद करता है। यह सिद्ध करके कि विशिष्ट क्षेत्रों में Q-curves इस तरह व्यवहार करते हैं जैसे कि तर्कसंगत कर्व्स, नोवाक ने इस विशिष्ट वर्गीकरण समस्या पर किताब बंद कर दी है। यह एक जिग्सॉ पहेली के आखिरी टुकड़े को जोड़ने जैसा है, जो यह प्रकट करता है कि ये गणितीय ऑब्जेक्ट्स "छोटे विषम अभाज" (small odd prime) पड़ोसों में कैसे व्यवहार कर सकते हैं।

यहाँ इवान नोवाक के शोध पत्र "Torsion of Q-curves over number fields of small odd prime degree" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र विषम अभाज्य घात ( $p = 3, 5, 7$ ) वाले संख्या क्षेत्रों (number fields) पर परिभाषित $\mathbb{Q}$ -curves के टॉर्सन सबग्रुप्स (torsion subgroups) के वर्गीकरण को संबोधित करता है।

संदर्भ: एक $\mathbb{Q}$ -curve एक संख्या क्षेत्र $K$ पर परिभाषित एलिप्टिक कर्व $E$ है जो अपने सभी गैलुआ कंजुगेट्स (Galois conjugates) के आइसोजेनस (isogenous) होता है।
पृष्ठभूमि:
- $\mathbb{Q}$ पर एलिप्टिक कर्व्स का टॉर्सन माज़ुर के प्रमेय (Mazur's Theorem) द्वारा वर्गीकृत है (15 समूह)।
- द्विघाती क्षेत्रों ( $p=2$ ) पर $\mathbb{Q}$ -curves के टॉर्सन को ले फोरन और नजमान द्वारा हल किया गया था।
- विषम अभाज्य घात $p > 7$ वाले संख्या क्षेत्रों पर $\mathbb{Q}$ -curves के टॉर्सन को क्रेमोना और नजमान द्वारा हल किया गया था।
- $p=3, 5, 7$ के मामले खुले रह गए थे।
विशिष्ट लक्ष्य: उन सभी समूहों $E(K)_{\text{tors}}$ को निर्धारित करना जहाँ $E$ एक संख्या क्षेत्र $K$ पर एक $\mathbb{Q}$ -curve है जिसका घात $p \in \{3, 5, 7\}$ है।
परिकल्पना: लेखक का लक्ष्य यह सिद्ध करना है कि इन घातों के लिए, $\mathbb{Q}$ -curves के टॉर्सन सबग्रुप्स उन्हीं क्षेत्रों पर परिभाषित तर्कसंगत $j$ -इनवेरिएंट्स (rational $j$ -invariants) वाले एलिप्टिक कर्व्स के टॉर्सन सबग्रुप्स के समान हैं।

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

प्रमाण $\mathbb{Q}$ -curves और तर्कसंगत $j$ -इनवेरिएंट्स वाले एलिप्टिक कर्व्स के बीच संरचनात्मक संबंध, और गैलुआ रिप्रजेंटेशन (Galois representations) के विश्लेषण पर निर्भर करता है।

A. तर्कसंगत $j$ -इनवेरिएंट्स में न्यूनीकरण (Reduction to Rational $j$ -invariants)

लेखक क्रेमोना और नजमान के एक प्रमुख परिणाम (प्रपोजिशन 1.3) का उपयोग करते हैं:

यदि $E$ एक विषम-घात संख्या क्षेत्र $K$ पर एक गैर-CM $\mathbb{Q}$ -curve है, तो $E$ , तर्कसंगत $j$ -इनवेरिएंट वाले एक एलिप्टिक कर्व $E'$ के $K$ -आइसोजनस है।

यह इस समस्या को मनमाने $\mathbb{Q}$ -curves के बजाय $E'$ (जहाँ $j(E') \in \mathbb{Q}$ ) के टॉर्सन और उनके क्वाड्रेटिक ट्विस्ट्स (quadratic twists) के अध्ययन तक सीमित करने की अनुमति देता है।

B. गैलुआ रिप्रजेंटेशन और आइसोजेनी (Galois Representations and Isogenies)

तकनीकी तंत्र का मुख्य हिस्सा यह विश्लेषण करने में निहित है कि mod- $N$ गैलुआ रिप्रजेंटेशन, $\rho_{E,N}(G_K)$ का इमेज, आइसोजेनी के तहत कैसे बदलता है।

लेम्मा 2.2 और कोरोलरी 2.3: यदि एक एलिप्टिक कर्व $E_1$ में अभाज्य क्रम (prime order) का $K$ -रेशनल पॉइंट है, और $\phi: E_1 \to E_2$ एक $K$ -आइसोजेनी है, तो $E_2[p]$ पर गैलुआ रिप्रजेंटेशन का इमेज 1 के आइजनवैल्यू (eigenvalues) (या ट्विस्ट्स के लिए -1) वाला होना चाहिए।
प्रपोजिशन 2.5 और कोरोलरी 2.6: ये उपरोक्त को सम्मिश्र क्रमों (composite orders) और विशिष्ट कर्नेल वाली आइसोजेनीज़ के लिए सामान्यीकृत करते हैं, जो गैलुआ इमेज की मैट्रिक्स संरचना (जैसे, विशिष्ट विकर्ण प्रविष्टियों के साथ अपर ट्राइएंगुलर मैट्रिसेस) का वर्णन करते हैं।
आइसोजेनी ग्राफ्स (Isogeny Graphs): शोध पत्र आइसोजेनी ग्राफ्स (विशेष रूप से $p$ -प्राइमरी कंपोनेंट्स) की संरचना का उपयोग करके आइसोजेनी की डिग्री को सीमित करने के लिए करता है। विषम अभाज्य $p$ के लिए, ये ग्राफ्स ट्री (अक्सर लाइन ग्राफ) होते हैं, जो यह प्रतिबंधित करता है कि टॉर्सन आइसोजेनी श्रृंखलाओं के माध्यम से कैसे प्रसारित हो सकता है।

C. निष्कासन रणनीति (Elimination Strategy)

प्रत्येक संभावित टॉर्सन ग्रुप के लिए जो सामान्य एलिप्टिक कर्व्स के लिए तो दिखाई देता है लेकिन तर्कसंगत $j$ -इनवेरिएंट वाले कर्व्स के लिए नहीं, लेखक एक विरोधाभास उत्पन्न करने का प्रयास करते हैं:

मान लें कि एक $\mathbb{Q}$ -curve $E$ का एक विशिष्ट टॉर्सन सबग्रुप (जैसे, $\mathbb{Z}/11\mathbb{Z}$ ) है।
तर्कसंगत $j$ -इनवेरिएंट कर्व के साथ आइसोजेनी का उपयोग करें।
$E'$ के एक क्वाड्रेटिक ट्विस्ट $E''$ का विश्लेषण करें जो $\mathbb{Q}$ पर परिभाषित है।
यह दिखाएं कि $E$ पर टॉर्सन की उपस्थिति यह मजबूर करती है कि $E''$ का गैलुआ इमेज स्ट्रक्चर (जैसे, $GL_2(\mathbb{Z}/N\mathbb{Z})$ के विशिष्ट सबग्रुप्स) गणितीय रूप से असंभव हो।
इसमें अक्सर कम्प्यूटेशनल बीजगणित (Magma) का उपयोग करके विशिष्ट LMFDB कर्व्स और उनके ज्ञात गैलुआ इमेजेस की जाँच करना शामिल होता है।

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

मुख्य प्रमेय (Main Theorems)

यह शोध पत्र गैर-CM $\mathbb{Q}$ -curves के लिए निम्नलिखित वर्गीकरण स्थापित करता है:

क्यूबिक फील्ड्स ( $p=3$ ): टॉर्सन सबग्रुप्स ठीक वही 20 समूह हैं जो थ्योरम 1.5 (तर्कसंगत $j$ $j$ -इनवेरिएंट मामला) में सूचीबद्ध हैं।
- बाहर किए गए समूह (Excluded Groups): $\mathbb{Z}/11\mathbb{Z}$ , $\mathbb{Z}/15\mathbb{Z}$ , $\mathbb{Z}/16\mathbb{Z}$ , $\mathbb{Z}/20\mathbb{Z}$ , $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/10\mathbb{Z}$ , $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/12\mathbb{Z}$ ।
क्विंटिक फील्ड्स ( $p=5$ ): टॉर्सन सबग्रुप्स ठीक वही 17 समूह हैं जो थ्योरम 1.6 में सूचीबद्ध हैं।
- बाहर किए गए समूह: $\mathbb{Z}/13\mathbb{Z}$ , $\mathbb{Z}/14\mathbb{Z}$ , $\mathbb{Z}/15\mathbb{Z}$ , $\mathbb{Z}/16\mathbb{Z}$ , $\mathbb{Z}/20\mathbb{Z}$ , $\mathbb{Z}/21\mathbb{Z}$ , $\mathbb{Z}/25\mathbb{Z}$ , $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/10\mathbb{Z}$ , $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/12\mathbb{Z}$ , $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/14\mathbb{Z}$ , $\mathbb{Z}/50\mathbb{Z}$ ।
सेप्टिक फील्ड्स ( $p=7$ ): टॉर्सन सबग्रुप्स ठीक वही 15 समूह हैं जो थ्योरम 1.7 में सूचीबद्ध हैं (जो $\mathbb{Q}$ $Q$ पर भी समान हैं)।
- बाहर किए गए समूह: वे सभी समूह जो क्यूबिक/क्विंटिक एक्सटेंशन में दिखाई देते हैं लेकिन $\mathbb{Q}$ पर नहीं (जैसे, $\mathbb{Z}/13\mathbb{Z}$ , $\mathbb{Z}/14\mathbb{Z}$ , आदि)।

कोरोलरी 1.13 (मुख्य निष्कर्ष)

किसी भी विषम अभाज्य $p$ के लिए, यदि एक समूह $T$ घात $p$ वाले संख्या क्षेत्र पर एक $\mathbb{Q}$ -curve का टॉर्सन सबग्रुप है, तो $T$ घात $p$ वाले संख्या क्षेत्र पर एक तर्कसंगत $j$ -इनवेरिएंट वाले एलिप्टिक कर्व का भी टॉर्सन सबग्रुप है।

महत्व: यह सभी विषम अभाज्य घात वाले क्षेत्रों में $\mathbb{Q}$ -curves के वर्गीकरण को पूरा करता है। "नए" टॉर्सन समूह जो उच्च घात के एक्सटेंशन में दिखाई देते हैं, वे पूरी तरह से तर्कसंगत $j$ -इनवेरिएंट्स के अस्तित्व द्वारा स्पष्ट किए जाते हैं; कोई "विदेशी" (exotic) $\mathbb{Q}$ -curves (वे जो तर्कसंगत $j$ -इनवेरिएंट्स के आइसोजनस नहीं हैं) इन घातों में नए टॉर्सन स्ट्रक्चर पेश नहीं करते हैं।

थ्योरम 1.14 (आइसोजेनस कर्व्स तक विस्तार)

शोध पत्र एक अधिक सशक्त कथन सिद्ध करता है: यदि घात $p$ वाले संख्या क्षेत्र पर एक एलिप्टिक कर्व $E$ एक तर्कसंगत $j$ -इनवेरिएंट वाले कर्व के आइसोजनस है, तो इसका टॉर्सन सबग्रुप एक तर्कसंगत $j$ -इनवेरिएंट वाले कर्व के समान ही होता है।

नोट: यह $p=2$ के लिए भी मान्य है, बशर्ते कि उन विशिष्ट मामलों $\mathbb{Z}/14\mathbb{Z}$ और $\mathbb{Z}/18\mathbb{Z}$ को बाहर रखा जाए जो सामान्य कर्व्स के लिए दिखाई देते हैं लेकिन तर्कसंगत $j$ -इनवेरिएंट्स के आइसोजनस वाले कर्व्स के लिए नहीं (प्रपोजिशन 5.1)।

4. प्रमाणों के तकनीकी हाइलाइट्स (Technical Highlights of the Proofs)

$\mathbb{Z}/11\mathbb{Z}$ का निष्कासन (Cubic): लेखक दिखाते हैं कि यदि एक क्यूबिक फील्ड $K$ में 11-टॉर्सन वाला एक $\mathbb{Q}$ -curve है, तो संबंधित तर्कसंगत कर्व $E''$ में $K$ पर एक 11-आइसोजेनी होनी चाहिए। हालाँकि, 11-आइसोजेनी वाले तर्कसंगत कर्व्स (विशेष रूप से $j = -11^2$ और $j = -11 \cdot 131^3$ ) के लिए 11-टॉर्सन का गैलुआ इमेज, आइसोजेनी द्वारा आवश्यक आइजनवैल्यू बाधाओं को संतुष्ट करने वाले इंडेक्स 3 के सबग्रुप की अनुमति नहीं देता है।
$\mathbb{Z}/16\mathbb{Z}$ का निष्कासन (Cubic): प्रमाण 2-आइसोजेनी ग्राफ्स की संरचना का उपयोग करता है। यह प्रदर्शित करता है कि यदि एक क्यूबिक फील्ड 16-टॉर्सन वाले $\mathbb{Q}$ -curve का समर्थन करता है, तो संबंधित तर्कसंगत कर्व को $K$ पर एक 4-आइसोजेनी की आवश्यकता होगी जो $\mathbb{Q}$ पर परिभाषित नहीं है। यह 2-एडिक गैलुआ इमेज को एक विशिष्ट सबग्रुप ( $H_{20}$ ) होने के लिए मजबूर करता है, जो मॉडulo 4 में कम करने पर आवश्यक टॉर्सन स्ट्रक्चर के अस्तित्व के विरुद्ध जाता है।
आइसोजेनी पर घात प्रतिबंध: एक आवर्ती विषय यह है कि $p=5, 7$ के लिए, विस्तार की घात कुछ जनरल लीनियर ग्रुप्स (जैसे, $|GL_2(\mathbb{Z}/3\mathbb{Z})|$ या $|GL_2(\mathbb{Z}/5\mathbb{Z})|$ ) के क्रम को विभाजित नहीं करती है। यह मजबूर करता है कि $K$ पर परिभाषित आइसोजेनी वास्तव में $\mathbb{Q}$ पर परिभाषित हो, जिससे समस्या वापस तर्कसंगत मामले में सिमट जाती है।

5. महत्व (Significance)

पूर्णता: यह शोध पत्र विषम अभाज्य घात वाले क्षेत्रों में $\mathbb{Q}$ -curves के वर्गीकरण में अंतराल को भरता है, जो $p=2$ (ले फोरन/नजमान), $p=3,5,7$ (नोवाक), और $p>7$ (क्रेमोना/नजमान) के परिणामों को एकीकृत करता है।
संरचनात्मक अंतर्दृष्टि: यह पुष्टि करता है कि विषम अभाज्य घातों के लिए, "नए" टॉर्सन का प्रकट होने का घटनाक्रम पूरी तरह से तर्कसंगत $j$ -इनवेरिएंट्स के अस्तित्व से जुड़ा है। कोई "छिपे हुए" टॉर्सन स्ट्रक्चर केवल $\mathbb{Q}$ -curve गुण से उत्पन्न नहीं होते हैं जिनमें तर्कसंगत $j$ -इनवेरिएंट पूर्वज नहीं होता।
पद्धतिगत प्रगति: यह गैलुआ रिप्रजेंटेशन इमेजेस के माध्यम से आइसोजेनी के तहत टॉर्सन का विश्लेषण करने के लिए एक मजबूत ढांचा प्रदान करता है, जिसमें आइसोजेनी ग्राफ और विशिष्ट मैट्रिक्स सबग्रुप बाधाओं का उपयोग किया जाता है। यह दृष्टिकोण एलिप्टिक कर्व्स के अंकगणित में अन्य समस्याओं के लिए भी लागू करने योग्य है।
कम्प्यूटेशनल सत्यापन: प्रमाण विशिष्ट LMFDB कर्व्स के गैलुआ इमेजेस के स्पष्ट गणनाओं पर निर्भर करते हैं, जो सैद्धांतिक संख्या सिद्धांत को कम्प्यूटेशनल बीजगणित (मैग्मा) के साथ जोड़ते हैं।

संक्षेप में, नोवाक सिद्ध करते हैं कि विषम अभाज्य घात वाले संख्या क्षेत्रों के लिए, $\mathbb{Q}$ -curves का टॉर्सन तर्कसंगत $j$ -इनवेरिएंट्स वाले एलिप्टिक कर्व्स के टॉर्सन से अविभेद्य है, जिससे एलिप्टिक कर्व्स के अंकगणित में एक प्रमुख वर्गीकरण कार्यक्रम पूर्ण होता है।