🔢 mathematics

Failure of the invariant cycle theorem over $\mathbb Z$

यह शोध पत्र यह स्थापित करता है कि जहाँ $H^1$ के लिए और $H^2$ के लिए तब स्थानीय अपरिवर्तनीय चक्र प्रमेय (local invariant cycle theorem) पूर्णांक गुणांकों के साथ सत्य है जब सामान्य फाइबर का अल्बेनीस रूपांतर (Albanese variety) तुच्छ होता है, वहीं यह गैर-तुच्छ अल्बेनीस रूपांतरों वाली बीजगणितीय सतहों के अर्ध-स्थिर परिवारों (semistable families) में $H^2$ के लिए विफल हो सकता है, जैसा कि शिओडा-इनोसे निर्माण (Shioda–Inose construction) को सामान्यीकृत करते हुए एक नवनिर्मित प्रतिउदाहरण द्वारा प्रदर्शित किया गया है।

मूल लेखक: Donu Arapura, François Greer, Yilong Zhang

प्रकाशित 2026-05-18

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

CC BY 4.0

मूल लेखक: Donu Arapura, François Greer, Yilong Zhang

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

मुख्य चित्र: एक टूटा हुआ नियम

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

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

लंबे समय तक, गणितज्ञों को पता था कि यह नियम काम करता है यदि आप भिन्नों (fractions/rational numbers) के साथ गिनती कर रहे हों। यह कहने जैसा था कि, "यदि आप अपने सुरागों को आधे या तिहाई में विभाजित कर सकते हैं, तो नियम लागू होता है।"

हालाँकि, यह शोध पत्र एक कठिन प्रश्न पूछता है: क्या यह नियम अभी भी काम करता है यदि हम केवल पूर्ण संख्याओं (integers) का उपयोग करते हैं? गणित में, इसे " $\mathbb{Z}$ पर" (over $\mathbb{Z}$ ) काम करना कहा जाता है।

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

पात्रों का परिचय

यह समझने के लिए कि उन्होंने नियम को कैसे तोड़ा, हमें उनकी कहानी के "अभिनेताओं" से मिलना होगा:

सतहों का परिवार (The Family of Surfaces): एक ऐसी फिल्म की कल्पना करें जहाँ एक 3D वस्तु (सतह) धीरे-धीरे अपना रूप बदल रही है। अधिकांश समय, यह एक चिकनी, जटिल आकृति की तरह दिखती है। लेकिन अंत में (जिसे "सेंट्रल फाइबर" कहा जाता है), यह टुकड़ों के एक बिखरे हुए ढेर में ढह जाती है।
"एलिप्टिक-एलिप्टिक" सतहें (The "Elliptic-Elliptic" Surfaces): ये मुख्य पात्र हैं। ये विशेष 2D आकृतियाँ (सतहें) हैं जो एक डोनट (एलिप्टिक कर्व्स) के ढेर की तरह दिखती हैं, जो स्वयं एक डोनट के ऊपर व्यवस्थित हैं। ये जटिल हैं, लेकिन इनकी एक बहुत ही विशिष्ट, कठोर संरचना है।
K3 सतहें (The K3 Surfaces): इन्हें "पूर्वजों" या "ब्लूप्रिंट" के रूप में सोचें। ये ज्यामिति में आकृतियों के एक प्रसिद्ध प्रकार हैं, जो अपनी अत्यधिक समरूपता (symmetry) और "बीजगणितीय" (algebraic) प्रकृति के लिए जाने जाते हैं। लेखक विनबर्गग (Vinberg) नामक गणितज्ञ द्वारा खोजी गई एक विशेष प्रकार की K3 सतह का उपयोग करते हैं, जो संभवतः सबसे अधिक "बीजगणितीय" K3 सतह है।

कथानक: उन्होंने काउंटर-एग्जांपल (Counterexample) कैसे बनाया

लेखकों ने केवल एक गलती नहीं ढूँढी; उन्होंने एक ऐसी मशीन बनाई जिससे ऐसी गलती पैदा की जा सके। यहाँ उनके द्वारा उपयोग की गई प्रक्रिया के चरण दिए गए हैं, जिन्हें उपमाओं के साथ समझाया गया है:

1. आकार बदलने वाली मशीन (Quadratic Base Change)
कल्पना कीजिए कि आपके पास एक K3 सतह (ब्लूप्रिंट) है। लेखक इस ब्लूप्रिंट को एक "क्वाड्रेटिक बेस चेंज" नामक "आकार बदलने वाली मशीन" के माध्यम से चलाते हैं।

उपमा: कल्पना कीजिए कि आप एक शहर के मानचित्र को लेते हैं और उसका पैमाना (scale) दोगुना करते हैं, लेकिन केवल विशिष्ट सड़कों के साथ। यह एक नया, थोड़ा अलग मानचित्र (एक नई सतह) बनाता है।
चाल: उन्होंने यह "दोगुना" करने का तरीका चुना जिससे एक दोष उत्पन्न हो। आमतौर पर, जब आप एक मानचित्र को दोगुना करते हैं, तो जटिलता पूरी तरह से दोगुनी हो जाती है। लेकिन यहाँ, उन्होंने इस दोहरीकरण को विशिष्ट "तारे के आकार" के इंटरसेक्शन (singular fibers) पर विभाजित किया। इससे जटिलता अप्रत्याशित रूप से कम हो गई।

2. स्थिर आवर्त मानचित्र (The Constant Period Map - "जमा हुआ हृदय")
जैसे-जैसे वे अपनी मशीन के मापदंडों (parameters) को बदलते गए, परिणामी सतहों का आकार बदलता गया। हालाँकि, लेखकों ने देखा कि इन सतहों का "हृदय" (उनका transcendental Hodge structure) जमा हुआ (frozen) बना रहा।

उपमा: एक कैलीडोस्कोप (kaleidoscope) की कल्पना करें। जैसे ही आप ट्यूब को घुमाते हैं, रंगीन कांच के टुकड़े इधर-उधर घूमते हैं, लेकिन बीच का केंद्रीय पैटर्न बिल्कुल वैसा ही रहता है।
यह क्यों महत्वपूर्ण है: क्योंकि "हृदय" जमा हुआ है, इसलिए बदलने वाली सतहों में जो भी पैटर्न स्थिर रहता है (invariant), उसे मूल परिवार में पाया जाना चाहिए।

3. पतन (The Collapse - "विघटन")
लेखकों ने फिर मशीन को उसके चरम बिंदु तक धकेला। उन्होंने चर (variable) $t$ को उस विशिष्ट मान तक पहुँचाया जहाँ सतह एक एकल विकृत ढेर (singular mess) में ढह जाती है।

ट्विस्ट: जब सतह ढह गई, तो "जमा हुआ हृदय" केवल सिकुड़ा नहीं; बल्कि इसने अपनी आंतरिक संरचना को इस तरह से बदल लिया जिसे पूर्ण संख्याएँ संभाल नहीं सकीं।
गणित: उन्होंने "डिस्क्रिमिनेंट" (एक संख्या जो पैटर्न की जटिलता को मापती है) की गणना की।
- चिकनी सतहों के लिए, डिस्क्रिमिनेन्ट 3 था।
- ढही हुई सतह के लिए, डिस्क्रिमिनेन्ट 48 था।
- क्योंकि पूर्ण संख्याओं की दुनिया में 48, 3 का एक सरल गुणज नहीं है (यह 16 के अंतर का कारक है), इसलिए चिकनी सतह से प्राप्त पैटर्न को पूर्ण संख्याओं का उपयोग करके ढही हुई सतह तक वापस नहीं ले जाया जा सकता।

निर्णय: नियम टूट गया

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

स्थानीय विफलता (Local Failure): यदि आप पतन (collapse) के आसपास के एक छोटे से क्षेत्र को देखते हैं, तो नियम विफल हो जाता है। आपके पास एक पैटर्न है जो स्थिर (invariant) है, लेकिन इसे पूर्ण संख्याओं का उपयोग करके पूरे स्थान (total space) द्वारा समझाया नहीं जा सकता।
वैश्विक विफलता (Global Failure): भले ही आप पूरे वक्र (curve) के ऊपर पूरे परिवार को देखें (न कि केवल एक छोटे स्थान को), नियम फिर भी विफल रहता है।

सरल शब्दों में "क्यों":
लेखक दिखाते हैं कि "इनवेरिएंट" पैटर्न चिकने हिस्सों में मौजूद है, लेकिन जब आप इसे पूर्ण संख्याओं का उपयोग करके एकल भाग (singular part) तक वापस खींचने की कोशिश करते हैं, तो यह "अटक" जाता है या "खो" जाता है क्योंकि पतन की ज्यामिति बहुत अधिक व्यापक है कि पूर्ण संख्याएँ उस अंतर को पाट सकें। यह एक चौकोर खूँटे (invariant pattern) को गोल छेद (singular fiber) में फिट करने की कोशिश करने जैसा है, जब आप केवल पूर्णांक आकार के औजारों का उपयोग करने के लिए मजबूर हैं।

क्या कोई अच्छी खबर है?

यह शोध पत्र केवल चीजों को तोड़ने के बारे में नहीं है; यह यह भी पुष्टि करता है कि नियम कहाँ काम करता है।

$H^1$ (जटिलता का पहला स्तर) के लिए: नियम हमेशा काम करता है, यहाँ तक कि पूर्ण संख्याओं के साथ भी।
$H^2$ (जटिलता का दूसरा स्तर) के लिए: नियम तब काम करता है यदि सतहों में ऐसे "छेद" न हों जो डोनट की तरह दिखते हों (विशेष रूप से, यदि अल्बनेस वैरायटी (Albanese variety) तुच्छ है)। इसमें K3 सतहों और Calabi-Yau वैरायटी जैसे कई प्रसिद्ध आकार शामिल हैं।
अपवाद: नियम केवल उन सतहों के लिए टूटता है जिनमें "डोनट जैसी" संरचना ( $q=1$ ) और एक विशिष्ट प्रकार की जटिलता (transcendental classes) होती है।

सारांश

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

उन्होंने एक "डिफेक्टिव डबल कवर" और विनबर्ग की "सबसे अधिक बीजगणितीय" K3 सतह का उपयोग करते हुए एक चतुर निर्माण का उपयोग किया, जिससे डिस्क्रिमिनेन्ट (जटिलता स्कोर) 3 से बढ़कर 48 हो गया। यह उछाल सिद्ध करता है कि इनवेरिएंट साइकिल थ्योरम, जिसे इन परिवारों के लिए एक सार्वभौमिक नियम माना जाता था, वास्तव में पूर्ण संख्याओं तक सीमित होने पर विफल हो जाता है।

यह एक याद दिलाता है कि ज्यामिति की दुनिया में, जो भिन्नों (fractions) के लिए काम करता है वह हमेशा पूर्णांकों (integers) के लिए काम नहीं करता, और कभी-कभी सबसे सुंदर पैटर्न वे होते हैं जो नियमों को तोड़ देते हैं।

तकनीकी सारांश: $\mathbb{Z}$ पर इनवेरिएंट साइकिल प्रमेय की विफलता

समस्या विवरण
यह शोध पत्र इस बात की जांच करता है कि जब गुणांक (coefficients) परिमेय संख्याओं ( $\mathbb{Q}$ ) के बजाय पूर्णांकों ( $\mathbb{Z}$ ) में लिए जाते हैं, तो लोकल इनवेरिएंट साइकिल थ्योरम (LICT) और ग्लोबल इनवेरिएंट साइकिल थ्योरम (GICT) की वैधता क्या है। शास्त्रीय रूप से, एक जटिल प्रक्षेपिक किस्मों (complex projective varieties) के फ्लैट परिवार $f: X \to \Delta$ के लिए, जहाँ कुल स्थान (total space) चिकना है और छिद्रित डिस्क ( $\Delta^*$ ) के ऊपर फाइबर चिकने हैं, प्रतिबंध मानचित्र (restriction map) $H^n(X, \mathbb{Q}) \to H^n(X_t, \mathbb{Q})^{\pi_1(\Delta^*)}$ मोनोड्रॉमी-इनवेरिएंट भाग पर अधिरोपण (surjective) होता है। क्लेमेंस, श्मिड और डेलिगने द्वारा स्थापित यह परिणाम क्लेमेंस-श्मिड अनुक्रम या डिकंपोजिशन थ्योरम की सटीकता (exactness) पर निर्भर करता है।

मुख्य प्रश्न (प्रश्न 1.2) यह है कि क्या यह अधिरोपण पूर्णांकों पर सेमिस्टेबल परिवारों (जहाँ केंद्रीय फाइबर एक रिड्यूस्ड नॉर्मल क्रॉसिंग डिवाइडर है) के लिए सत्य है। जबकि परिमेय मामला सुव्यवस्थित है, पूर्णांक मामला अभी भी खुला रहा है, जिसमें सतहों (K3 सतहों और I-सतहों) के विशिष्ट वर्गों के लिए आंशिक सकारात्मक परिणाम ज्ञात थे।

कार्यप्रणाली
लेखक समस्या को दो चरणों में संबोधित करने के लिए हडज सिद्धांत (Hodge theory), बीजगणितीय ज्यामिति और लैटिस सिद्धांत (lattice theory) के संयोजन का उपयोग करते हैं: निम्न डिग्री में सकारात्मक परिणाम स्थापित करना और डिग्री 2 में प्रति-उदाहरण (counterexamples) का निर्माण करना।

सकारात्मक परिणाम (निम्न डिग्री):
- $H^1$ : लेखक सिद्ध करते हैं कि किसी भी सेमिस्टेबल परिवार के लिए $H^1$ के लिए LICT पूर्णांक गुणांकों के साथ सत्य है। प्रमाण की रणनीति मामले को सापेक्ष लेफ़ेत्ज़ हाइपरप्लेन प्रमेय (relative Lefschetz hyperplane theorem) के माध्यम से वक्रों (curves) तक सीमित करने में निहित है। वक्रों के लिए, वे सापेक्ष संकुचित जैकोबियन (relative compactified Jacobian) और एबेलियन किस्मों के सेमिस्टेबल मॉडलों के ममफोर्ड निर्माण का उपयोग करते हैं। केंद्रीय फाइबर (एक सेमी-एबेलियन किस्म) और संबंधित उष्णकटिबंधीयकरण (tropicalization/moment maps) के मिश्रित हडज संरचना (mixed Hodge structure) का विश्लेषण करके, वे $\mathbb{Z}$ पर प्रासंगिक अनुक्रमों की सटीकता प्रदर्शित करते हैं।
- $H^2$ (वैनिशिंग अल्बनेस): वे सिद्ध करते हैं कि यदि सामान्य फाइबर $X_t$ का अल्बनेस वैरायटी तुच्छ (trivial) है (अर्थात $q(X_t) = 0$ ), तो LICT $H^2$ के लिए सत्य है। यह K3 सतहों और I-सतहों के पिछले परिणामों का सामान्यीकरण है। प्रमाण क्लेमेंस-श्मिड अनुक्रम को स्लाइस करने और $\mathbb{Z}$ पर वांग अनुक्रम (Wang sequence) और युग्म अनुक्रम (pair sequence) $(X, X \setminus X_0)$ की सटीकता का उपयोग करने पर आधारित है।
नकारात्मक परिणाम (प्रति-उदाहरण):
- निर्माण: $q(X_t) = 1$ के लिए $H^2$ हेतु थ्योरम को गलत सिद्ध करने के लिए, लेखक "एलिप्टिक-एलिप्टिक" सतहों (ऐसी सतहें जहाँ $p_g = q = 1$ ) के एक विशिष्ट सेमिस्टेबल परिवार का निर्माण करते हैं। इन सतहों का निर्माण एक "दोषपूर्ण" (defective) द्विघातीय आधार परिवर्तन (quadratic base change) के माध्यम से एलिप्टिक K3 सतहों के रैशनल डबल कवर्स के रूप में किया जाता है।
- शिओडा-इनोस सादृश्य (Shioda–Inose Analogy): निर्माण को K3 सतहों के लिए शिओडा-इनोस संरचना पर मॉडल किया गया है। लेखक स्टार फाइबर्स वाले एक एलिप्टिक फाइब्रेशन वाले एक विशिष्ट K3 सतह (विनबर्ग की "सबसे अधिक बीजगणितीय" K3 सतह जिसका डिस्क्रिमिनेन्ट 3 है) से शुरुआत करते हैं। वे तीन स्टार फाइबर्स और एक चिकने फाइबर पर शाखित (branched) एक द्विघातीय आधार परिवर्तन करते हैं।
- हडज सिद्धांत विश्लेषण: परिणामी सतहों का परिवार $H^2$ के ट्रांसेंडेंटल भाग पर एक स्थिर वेरिएशन ऑफ हडज स्ट्रक्चर (VHS) रखता है। लेखक उन विशिष्ट बिंदुओं पर इस परिवार के क्षरण (degenerations) का विश्लेषण करते हैं जहाँ ब्रांच पॉइंट स्टार फाइबर्स से टकराता है।
- लैटिस डिस्क्रिमिनेन्ट्स: प्रति-उदाहरण का मूल ट्रांसेंडेंटल लैटिस के डिस्क्रिमिनेन्ट की तुलना करने में निहित है। चिकने फाइबर $S_t$ का ट्रांसेंडेंटल लैटिस डिस्क्रिमिनेन्ट 3 वाला होता है। हालांकि, एक विशिष्ट सिंगुलर फाइबर (जो एक अलग सीमित K3 सतह से जुड़ा है) पर, केंद्रीय फाइबर का ट्रांसेंडental लैटिस डिस्क्रिमिनेन्ट 48 होता है।
- स्पेशलाइजेशन मैप: लेखक दिखाते हैं कि स्पेशलाइजेशन मैप कप प्रोडक्ट पेयरिंग को संरक्षित करते हुए ट्रांसेंडेंटल भागों पर एक इंजेक्शन (injection) प्रेरित करता है। चूंकि डिस्क्रिमिनेन्ट 3 से 48 तक उछलता है, इसलिए प्रतिबंध मानचित्र $H^2(X, \mathbb{Z}) \to H^2(X_t, \mathbb{Z})^{\pi_1}$ का प्रतिबिंब इंडेक्स 4 का एक उचित उप-लैटिस (proper sublattice) है। अतः, मानचित्र अधिरोपित (surjective) नहीं है।

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

थ्योरम 1.3 और 1.4: LICT किसी भी सेमिस्टेबल परिवार में $H^1$ के लिए $\mathbb{Z}$ पर सत्य है, और $H^2$ के लिए यदि सामान्य फाइबर का अल्बनेस तुच्छ ( $q=0$ ) है। इसमें हाइपरसरफेस, कैलिब-यौ (Calabi-Yau) वैरायटी और हाइपरकेहलर (hyperkähler) वैरायटी शामिल हैं।
थ्योरम 1.5 (लोकल फेलियर): $p_g = q = 1$ वाली सतहों के सेमिस्टेबल परिवारों के लिए LICT $\mathbb{Z}$ पर $H^2$ के लिए विफल रहता है। लेखक $H^2$ पर प्रतिबंध मानचित्र के अधिरोपण न होने का पहला स्पष्ट उदाहरण प्रदान करते हैं। यह विफलता ट्रांसेंडेंटल क्लासेस के व्यवहार के कारण है, न कि टोरशन क्लासेस के कारण (कोहोमोलॉजी टोरशन-फ्री है)।
थ्योरम 1.7 (ग्लोबल फेलियर): GICT भी सामान्यतः $H^2$ के लिए $\mathbb{Z}$ पर विफल होता है। लेखक एक चिकने प्रोजेक्टिव थ्रीफोल्ड का निर्माण करते हैं जो एक वक्र के ऊपर फाइबर्ड है, जहाँ ग्लोबल इनवेरिएंट साइकिल्स कुल स्थान की कोहोमोलॉजी में लिफ्ट नहीं हो पाते, भले ही लेरे स्पेक्ट्रल सीक्वेंस चिकने भाग के लिए $\mathbb{Z}$ पर अपसरित (degenerate) होती है।
कोरोलरी 1.6: इसके परिणामस्वरूप, इन परिवारों के लिए क्लेमेंस-श्मिड अनुक्रम $\mathbb{Z}$ पर सटीक नहीं है, और डिकंपोजिशन थ्योरम पूर्णांकों पर विफल हो जाती है।
प्रति-उदाहरण 2 (अनुभाग 9): विंलबर्ग की दूसरी "सबसे अधिक बीजगणितीय" K3 सतह (डिस्क्रिमिनेन्ट 4) का उपयोग करके एक दूसरा प्रति-उदाहरण बनाया गया है, जो विफलता तंत्र की मजबूती को प्रदर्शित करता है।

महत्व
यह शोध पत्र स्थापित करता है कि क्लासिकल इनवेरिएंट साइकिल थ्योरम्स, जो बीजगणितीय किस्मों के क्षरण के अध्ययन में मौलिक हैं, गैर-तुच्छ अल्बनेस वैरायटी वाली सतहों के लिए $H^2$ में पूर्णांक गुणांकों पर लागू नहीं होते हैं। यह क्लेमेंस-श्मिड अनुक्रम और डिकंपोजिशन थ्योरम की सीमाओं की समझ को स्पष्ट करता है जब टोरशन-फ्री पूर्णांक गुणांकों की आवश्यकता होती है।

इन प्रति-उदाहरणों का निर्माण एलिप्टिक सतहों के द्विघातीय आधार परिवर्तन का एक नवीन अनुप्रयोग है, जो एक ऐसा परिवार बनाता है जिसमें स्थिर अवधि मानचित्र (period maps) लेकिन परिवर्तित लैटिस डिस्क्रिमिनेन्ट्स होते हैं। यह पूर्णांक हडज सिद्धांत में एक सूक्ष्म बाधा को उजागर करता: भले ही हडज संरचना का परिवर्तन मामूली हो, पूर्णांक लैटिस संरचना इस तरह से क्षय हो सकती है जो इनवेरिएंट साइकिल्स के लिफ्टिंग को रोक देती है। यह कार्य शिओडा-इनोस निर्माण का सामान्यीकरण करता है और अधिकतम पिकार्ड रैंक और न्यूनतम डिस्क्रिमिनेन्ट वाली "एलिप्टिक-एलिप्टिक" सतहों का एक नया वर्ग प्रदान करता है, जो विंलबर्ग की सबसे अधिक बीजगणितीय K3 सतहों से निकटता से संबंधित है।