🔢 mathematics

Covers of curves, Ceresa cycles, and Unlikely intersections

यह शोधपत्र यह सिद्ध करता है कि एक वक्र के अत्यंत सामान्य रामिफाइड कवर का सेरेसा चक्र (Ceresa cycle) नॉन-टॉर्शन है, जो "रिलेटिव कैनोनिकल शैडो" के माध्यम से समस्या को जैकोबियन में एक संबंधित बिंदु के टॉर्शन गुण तक कम करके और अनलाइक्ली इंटरसेक्शन थ्योरी के रिलेटिव मानिन-ममफोर्ड प्रमेय को लागू करके किया गया है।

मूल लेखक: Tejasi Bhatnagar, Sheela Devadas, Toren D'Nelly-Warady, Padmavathi Srinivasan

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

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

CC BY 4.0

मूल लेखक: Tejasi Bhatnagar, Sheela Devadas, Toren D'Nelly-Warady, Padmavathi Srinivasan

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

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो द जैकोबियन (The Jacobian) नामक एक विशाल, जटिल शहर का डिज़ाइन बना रहे हैं। यह शहर एक विशिष्ट प्रकार के वक्र (curve) की आकृति और संरचना को दर्शाने के लिए बनाया गया है (एक मुड़ा हुआ लूप, जैसे कि प्रेटज़ल या फिगर-एट)। इस शहर के भीतर, कुछ विशेष "लैंडमार्क" हैं जिन्हें सेरेसा साइकिल (Ceresa cycles) कहा जाता है।

अधिकांश शहरों (वक्रों) के लिए, ये लैंडमार्क स्थायी और ठोस संरचनाएं होते हैं। लेकिन कुछ बहुत ही विशिष्ट, दुर्लभ शहरों के लिए, ये लैंडमार्क वास्तव में केवल भ्रम या भूत (ghosts) होते हैं। गणितीय शब्दों में, वे "टोरशन" (torsion) हैं, जिसका अर्थ है कि यदि आप उस लैंडमार्क को खुद से कई बार जोड़ते हैं, तो वह हवा में गायब हो जाता है। लंबे समय तक, गणितज्ञों को पता था कि अधिकांश जटिल वक्रों के लिए, ये लैंडमार्क वास्तविक और स्थायी होते हैं। लेकिन उन्हें यह नहीं पता था कि क्या होता है जब आप इन वक्रों को एक के ऊपर एक रखकर (stacking) या कवर करके (covering) बनाते हैं (जैसे कि एक गेंद के चारों ओर रिबन लपेटना)।

यह शोध पत्र एक जासूसी कहानी है कि यह पता लगाने के लिए कि ये "भूतिया लैंडमार्क" इस स्टैकिंग विधि का उपयोग करने पर भूत बने रहते हैं या वास्तविक बन जाते हैं।

मुख्य पात्र

वक्र (The Curve - $C$ ): आधार आकार, जैसे कि एक मुड़ा हुआ प्रेटज़ल।
कवर (The Cover - $\tilde{C}$ ): एक नया आकार जो मूल वक्र के ऊपर एक "कंबल" (जिसमें छेद या घुमाव हैं) को लपेटकर बनाया गया है (एक रामिफाइड कवर)।
सेरेसा साइकिल (The Ceresa Cycle): एक विशेष गणितीय वस्तु जो वक्र से जुड़ी होती है। यदि यह "टोरशन" है, तो यह एक भूत है। यदि यह "नॉन-टोरशन" है, तो यह एक ठोस, स्थायी इमारत है।
रिलेटिव कैनोनिकल शैडो (The Relative Canonical Shadow): यह इस शोध पत्र का गुप्त हथियार है। कल्पना कीजिए कि सेरेसा साइकिल एक विशाल मूर्ति है जो छाया डाल रही है। "रिलेटिव कैनोनिकल शैडो" उस मूर्ति द्वारा शहर के एक दूसरे हिस्से (जैकोबियन) पर डाली गई एक विशिष्ट, छोटी छाया है।
- नियम: यदि बड़ी मूर्ति (सेरेसा साइकिल) एक भूत है, तो उसकी छाया को भी एक भूत (एक टोरशन पॉइंट) होना चाहिए।
- रणनीति: सीधे यह सिद्ध करने के बजाय कि बड़ी मूर्ति वास्तविक है (जो कठिन है), लेखक यह सिद्ध करते हैं कि छाया वास्तविक है। यदि छाया वास्तविक है, तो मूर्ति भी वास्तविक होगी!

बड़ी खोज

लेखक दो मुख्य बातें सिद्ध करते हैं:

1. "वेरी जनरल" (Very General) नियम:
यदि आप किसी वक्र के ऊपर एक कंबल को लपेटने का एक यादृच्छिक (random), जटिल तरीका चुनते हैं (एक "वेरी जनरल" कवर), तो परिणामी सेरेसा साइकिल हमेशा वास्तविक (नॉन-टोरशन) होता है। यह एक भूत नहीं है। यह पुष्टि करता है कि ये संरचनाएं आमतौर पर ठोस होती हैं, भले ही उन्हें जटिल तरीकों से बनाया गया हो।

2. "अनलाइकली इंटरसेक्शन" (Unlikely Intersection) जासूसी कार्य:
इसके बाद लेखकों ने वक्रों के विशिष्ट परिवारों (जैसे कि वक्रों का एक परिवार जो एक डायल घुमाने पर थोड़ा बदलता है) को देखा। उन्होंने पूछा: "क्या कोई ऐसा विशिष्ट सेटिंग है जहाँ डायल पर घुमाने पर सेरेसा साइकिल एक भूत में बदल जाता है?"

इसका उत्तर देने के लिए, उन्होंने अनलाइकली इंटरसेक्शन (Unlikely Intersections) नामक एक अवधारणा का उपयोग किया।

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

दो केस स्टडीज (प्रमाण)

अपने सिद्धांत को ठोस बनाने के लिए, उन्होंने दो विशिष्ट उदाहरण बनाए:

उदाहरण 1: 1-पैरामीटर परिवार (एक सिंगल डायल):
उन्होंने एक चर $t$ के साथ एक एकल समीकरण द्वारा परिभाषित वक्रों के एक परिवार को देखा। उन्होंने दिखाया कि आप $t$ के लिए जो भी मान चुनते हैं (कुछ टूटे हुए नंबरों को छोड़कर), सेरेसा साइकिल वास्तविक होता है। उन्होंने यह करके इसे सिद्ध किया कि उनके चक्र की दो अलग-अलग "परछाइयाँ" ऐसे दो धावकों की तरह हैं जो गणितीय रूप से गारंटी के साथ कभी भी एक ही "भूतिया" स्टेशन पर एक साथ नहीं रुकेंगे।
उदाहरण 2: 2-पैरामीटर परिवार (दो डायल):
उन्होंने दो चरों वाले एक अधिक जटिल परिवार को देखा। यहाँ, "परछाइयों" ने गति का एक 3-आयामी स्थान बनाया। उन्होंने सिद्ध किया कि इस 3D स्पेस में "भूतिया" स्थान इतने दुर्लभ हैं कि वे एक बहुत ही छोटे, बंद-ऑफ द्वीप की तरह हैं जिसकी यात्रा ये वक्र वास्तव में कभी नहीं करते।

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

गणित की दुनिया में, नॉन-टोरशन साइकिलों (वास्तविक, स्थायी संरचनाओं) को खोजना एक नए महाद्वीप को खोजने जैसा है। वे दुर्लभ और कठिन से खोजने योग्य हैं।

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

संक्षेप में

सेरेसा साइकिल को एक लाइटहाउस (प्रकाश स्तंभ) के रूप में सोचें।

कुछ वक्रों के लिए, लाइटहाउस टूटा हुआ है (टोरशन/भूत)।
अधिकांश वक्रों के लिए, यह काम करता है (नॉन-टोरशन/वास्तविक)।
लेखकों ने पूछा: "यदि हम एक जटिल, मुड़े हुए टॉवर (एक कवर) के ऊपर एक लाइटहाउस बनाते हैं, तो क्या यह अभी भी काम करेगा?"
उत्तर: हाँ! उन्होंने सिद्ध किया कि लगभग सभी ऐसे टावरों के लिए, लाइटहाउस चमकता रहता है। उन्होंने एक चतुर ट्रिक (परछाई को देखना) और संभावना के एक शक्तिशाली नियम (अनलाइकली इंटरसेक्शन) का उपयोग करके यह सिद्ध किया कि प्रकाश कभी बुझता नहीं है, सिवाय ब्रह्मांड के कुछ असंभव-पहुंच वाले कोनों के।

यह कार्य गणितज्ञों को आकृतियों की गहरी, छिपी हुई वास्तुकला और उनके एक-दूसरे के ऊपर रखे जाने पर उनके व्यवहार को समझने में मदद करता है, यह पुष्टि करता है कि "ठोस" संरचनाएं नियम हैं, अपवाद नहीं।

यहाँ तेजस भटनागर, शीला देवदास, टोरेन डी'नेली-वारडी और पद्मावती श्रीनिवासन के शोध पत्र "Covers of Curves, Ceresa Cycles, & Unlikely Intersections" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र बीजगणितीय वक्रों (algebraic curves) के जैकोबियन के चाउ समूह (Chow group) में सेरेसा चक्र (Ceresa cycle) के टोरशन गुणों (torsion properties) को संबोधित करता है।

संदर्भ: एक विशेषता शून्य (characteristic zero) वाले क्षेत्र पर एक चिकनी, प्रोजेक्टिव वक्र $C$ (जिसका जीनस $g \geq 2$ है) के लिए, सेरेसा चक्र को होमोलॉजिकली ट्रिवियल 1-चक्रों के $CH^1_{hom}(J)$ में $Cera(C) := [i_e(C)] - [-1]^*[i_e(C)]$ के रूप में परिभाषित किया जाता है।
प्रश्न: जबकि सेरेसा (1983) ने सिद्ध किया कि $g \geq 3$ के लिए एक बहुत सामान्य (very general) जटिल वक्र के लिए, सेरेसा चक्र बीजगणिक तुल्यता (algebraic equivalence) के विरुद्ध नॉन-टोरशन (nontorsion) है, विशेष परिवारों (विशेष रूप से कवर के रूप में उत्पन्न होने वाले) के लिए स्थिति कम समझी गई है। विशेष रूप से, लेखक यह जांचते हैं कि क्या एक बेस कर्व (base curve) के रामिफाइड कवर (ramified covers) के लिए सेरेसीय चक्र चाउ समूह (जो बीजगणिक तुल्यता की तुलना में एक मजबूत स्थिति है) में नॉन-टोरशन है।
प्रेरणा: $M_g^{tors}$ (टोरशन सेरेसा चक्र वाले वक्रों का लोकस) को समझना बेइलिनसन-ब्लॉक अनुमानों (Beilinson–Bloch conjectures) और ग्रिफिथ्स समूहों (Griffiths groups) के अध्ययन के लिए महत्वपूर्ण है। यह ज्ञात है कि $M_g^{tors}$ हाइपरएलिलिप्टिक लोकस (hyperelliptic locus) को समाहित करता है और इसमें अधिकतम गणनीय (countably many) अपरिवर्तनीय घटक हो सकते हैं, लेकिन ऐसे स्पष्ट उदाहरण जहाँ टोरशन लोकस ज़ारिस्की क्लोज्ड (Zariski closed) और धनात्मक कोडिमेंशन (positive codimension) का हो, दुर्लभ हैं।

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

लेखक बीजगणिक चक्रों के इंटरसेक्शन थ्योरी को अनलाइक्ली इंटरसेक्शन थ्योरी (विशेष रूप से रिलेटिव मानिन-ममफोर्ड प्रमेय) के साथ संयोजित करने वाली एक रणनीति का उपयोग करते हैं।

A. "रिलेटिव कैनोनिकल शैडो" (The "Relative Canonical Shadow")

सेरेसा चक्र का सीधे विश्लेषण करने के बजाय, लेखक समस्या को बेस कर्व के जैकोबियन पर एक विशिष्ट बिंदु के अध्ययन में बदल देते हैं।

परिभाषा: एक सेपरेबल कवर $\phi: \tilde{C} \to C$ के लिए, लेखक रिलेटिव कैनोनिकल शैडो $D_\phi$ को $Pic^0(C)$ में एक डिवाइज़र क्लास के रूप में परिभाषित करते हैं।
मुख्य प्रपोजिशन ( [ELS] से): यदि रिलेटिव कैनोनिकल शैडो $D_\phi$ का जैकोबियन $J(C)$ में अनंत क्रम (infinite order) है, तो सेरेसा चक्र $CH^1(J(\tilde{C}))$ में नॉन-टोरशन है।
न्यूनीकरण (Reduction): समस्या कवर के उच्च-आयामी जैकोबियन से हटकर बेस कर्व $C$ के जैकोबियन में स्थानांतरित हो जाती है, जहाँ शैडो कवर के ब्रांच पॉइंट्स (branch points) से निर्मित एक बिंदु है।

B. अनलाइक्ली इंटरसेक्शन थ्योरी (Unlikely Intersection Theory)

एक "बहुत सामान्य" ब्रांच पॉइंट्स के चयन के लिए रिलेटिव कैनोनिकल शैडो के नॉन-टोरशन होने को सिद्ध करने के लिए, लेखक रिलेटिव मानिन-ममफोर्ड प्रमेय (Gao–Habegger) का उपयोग करते हैं।

सेटअप: वे एक बेस $Z$ द्वारा पैरामीटराइज किए गए कवरों के परिवार पर विचार करते हैं। ब्रांच पॉइंट्स एक बेस कर्व के उत्पाद में एक सेक्शन $s$ को परिभाषित करते हैं, जो एक वेटेड एबेल-जेकोबी मैप के माध्यम से जैकोबियन में मैप होता है।
प्रमेय का अनुप्रयोग: यदि इस सेक्शन का इमेज एम्बिएंट एबेलियन स्कीम को जनरेट करता है और सेक्शन का आयाम एबेलियन स्कीम के रिलेटिव आयाम से कम है, तो रिलेटिव मानिन-ममफोर्ड प्रमेय यह बताता है कि वह पैरामीटर सेट जहाँ सेक्शन एक टोरशन पॉइंट से टकराता है, एक ज़ारिस्की क्लोज्ड सबसेट है जिसका कोडिमेंशन धनात्मक है।
डायमेंशनल एनालिसिस: लेखक सत्यापित करते हैं कि उनके विशिष्ट परिवारों के लिए, पैरामीटर स्पेस का आयाम जनरेट किए गए एबेलियन सबवेरिटी के सापेक्ष पर्याप्त छोटा है ताकि वे इस प्रमेय को लागू कर सकें।

C. स्पष्ट परिवार और स्पेशलाइजेशन (Explicit Families and Specialization)

स्पष्ट 1-पैरामीटर और 2-पैरामीटर परिवारों के लिए, लेखक:

रिलेटिव कैनोनिकल शैडो को स्पष्ट रूप से निर्मित करते हैं।
कोटिएंट मैप्स के माध्यम से शैडो को एलिप्टिक फाइब्रेशन (या एलिप्टिक कर्व्स के उत्पाद) के सेक्शन में पुश फॉरवर्ड करते हैं।
सेक्शन्स के टोरशन लोकस को खाली या परिमित दिखाने के लिए मैसर-ज़ैनियर (Masser–Zannier) और स्टोल (Stoll) के परिणामों का उपयोग करते हैं।
मैग्मा (Magma) जैसे कम्प्यूटेशनल टूल्स का उपयोग करके सेक्शन्स की लीनियर इंडिपेंडेंस (linear independence) को सत्यापित करते हैं।

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

प्रमेय 1: बहुत सामान्य कवर (Very General Covers)

परिणाम: एक निश्चित बेस कर्व $C$ (जीनस $g \geq 2$ ) के लिए, एक बहुत सामान्य रामिफाइड कवर $\tilde{C}$ (निर्दिष्ट मोनोड्रोमी के साथ) का सेरेसा चक्र चाउ समूह में नॉन-टोरशन होता है।
महत्व: यह कवर के लिए सेरेसा के परिणाम का विस्तार करता है। महत्वपूर्ण रूप से, यह तब भी लागू होता है जब बेस कर्व $C$ का स्वयं का टोरशन सेरेसा चक्र हो (उदाहरण के लिए, यदि $C$ हाइपरएलिलिप्टिक है)।

प्रमेय 2: अनंत परिवार (Infinitely Many Families)

परिणाम: एक बदलते हुए कर्व्स के परिवार $Z$ (जहाँ $\dim Z < g$ ) पर रामिफाइड कवरों के अनंत परिवारों का अस्तित्व है, जहाँ टोरशन सेरेसा चक्र वाले कर्व्स का लोकस ज़ारिस्की क्लोज्ड और धनात्मक कोडिमेंशन का है।
तंत्र: यह सुनिश्चित करने के लिए कि हबेगर के बाउंडेड हाइट थ्योरम (Habegger's bounded height theorem) के माध्यम से जैकोबियन में "जनरेटिंग" बिंदुओं का अस्तित्व है, ताकि रिलेटिव मानिन-ममफोर्ड प्रमेय के लिए डायमेंशन कंडीशंस को पूरा किया जा सके।

प्रमेय 3: स्पष्ट 1-पैरामीटर परिवार (जीनस 6)

परिवार: $y^{12} = (\frac{x+1}{x-1})^3 (\frac{x+t}{x-t})^4$ द्वारा परिभाषित जीनस 6 के कर्व्स का एक परिवार $C_t$ ।
परिणाम: $C_t$ के लिए प्रत्येक $t \in \mathbb{C} \setminus \{0, \pm 1\}$ हेतु $Cera(C_t)$ नॉन-टोरशन है।
विधि: इस परिवार में $D_{12}$ एक्शन है। लेखक रिलेटिव कैनोनिकल शैडो को एक एलिप्टिक फाइब्रेशन के दो सेक्शन्स में पुश फॉरवर्ड करते हैं। वे सिद्ध करते हैं कि ये सेक्शन्स लीनियरली इंडिपेंडेंट हैं और स्टोल के प्रमेय का उपयोग करके यह दिखाते हैं कि सिमल्टेनियस टोरशन लोकस खाली है।
संदर्भ: इस परिवार का पहले लागा और श्निडमैन (Laga and Shnidman) द्वारा अध्ययन किया गया था, जिन्होंने दिखाया था कि सभी $t$ के लिए ग्रिफिथ्स ग्रुप में सेरेसा चक्र टोरशन है। यह पेपर सिद्ध करता है कि यह सभी $t$ के लिए चाउ समूह में नॉन-टोरशन है, जो इन समूहों के बीच के अंतर को स्पष्ट करता है।

प्रमेय 4: स्पष्ट 2-पैरामीटर परिवार (जीनस 6)

परिवार: $S_3$ एक्शन वाले जीनस 3 प्लेन क्वार्टिक्स के 2-पैरामीटर परिवार के डबल कवर्स।
परिणाम: परिवार के एक सामान्य बिंदु के लिए सेरेसा चक्र नॉन-टोरशन है।
विधि: जीनस 3 के कर्व का जैकोबियन एलिप्टिक कर्व्स के उत्पाद में डिकंपोज होता है। रिलेटिव कैनॉनिकल शैडो कम से कम 3 आयाम के एबेलियन स्कीम को जनरेट करता है। चूंकि पैरामीटर स्पेस का आयाम 2 है, इसलिए रिलेटिव मानिन-ममफोर्ड प्रमेय यह निष्कर्ष निकालता है कि टोरशन लोकस एक उचित क्लोज्ड सबसेट है।

4. महत्व (Significance)

नॉन-टोरशन चक्रों के नए उदाहरण: यह शोध पत्र उन कुछ शुरुआती स्पष्ट उदाहरणों में से एक प्रदान करता है जहाँ सेरेसा चक्र को ज्ञात रूप से चाउ समूह में जेनेरिकली नॉन-टोरशन है और जहाँ टोरशन लोकस सिद्ध रूप से ज़ारिस्की क्लोज्ड है।
ग्रिफिथ्स ग्रुप से अंतर: प्रमेय 3 स्पष्ट रूप से एक ऐसा मामला प्रदर्शित करता है जहाँ सेरेसा चक्र ग्रिफिथ्स ग्रुप में टोरशन है (जैसा कि लागा-श्निडमैन द्वारा दिखाया गया है) लेकिन चाउ समूह में नॉन-टोरशन है, जो इन इनवेरिएंट्स के पदानुक्रम को स्पष्ट करता है।
अनलाइक्ली इंटरसेक्शन का अनुप्रयोग: यह कार्य सफलतापूर्वक सेरेसा चक्रों के अध्ययन के लिए रिलेटिव मानिन-ममफोर्ड प्रमेय (जो कि अरिथमेटिक ज्योमेट्री का एक गहरा परिणाम है) को अनुकूलित करता है, जिससे हॉज थ्योरी (Hodge theory) और अरिथमेटिक इंटरसेक्शन थ्योरी के बीच की खाई को पाटा जाता है।
ज़िलबर-पिंक अनुमानों (Zilber–Pink Conjectures) का परीक्षण: निर्मित परिवार $M_g$ में कर्व्स के मॉड्युली स्पेस में विशेष सबवेरिटीज के संबंध में सामान्यीकृत ज़िलबर-पिंक अनुमानों के लिए टेस्ट केस के रूप में कार्य करते हैं। लेखक सुझाव देते हैं कि उनके परिवार सेरेसा चक्र से जुड़े मिक्सड हॉज स्ट्रक्चर के संदर्भ में "नॉन-स्पेशल" हैं।

5. निष्कर्ष (Conclusion)

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