🔢 mathematics

Symplectic log Kodaira dimension $-\infty$ , affine-ruledness and unicuspidal rational curves

यह शोध पत्र 'सिम्पलेक्टिक एफ़ाइन-रुल्डनेस' (symplectic affine-ruledness) को पेश करके फुजीता-मियानिशी-सुगी-रसेल प्रमेय का एक सिम्पलेक्टिक अनुरूप स्थापित करता है ताकि उन युग्मों को अभिलक्षणित किया जा सके जिनका सिम्पलेक्टिक लॉग कोडिरा आयाम $-\infty$ है, जो कि सिम्पलेक्टिक छिद्रित गोलों (symplectic punctured spheres) द्वारा फोलिएटेड हैं, और यह सिद्ध करता है कि तर्कसंगत मैनिफोल्ड्स (rational manifolds) पर ऐसे युग्म कैहलर युग्मों (Kähler pairs) के विरूपण तुल्य (deformation equivalent) हैं।

मूल लेखक: Tian-Jun Li, Shengzhen Ning

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

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

CC BY 4.0

मूल लेखक: Tian-Jun Li, Shengzhen Ning

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

मुख्य चित्र: एक विचित्र परिदृश्य का मानचित्रण

कल्पना कीजिए कि आप एक खोजकर्ता हैं जो एक रहस्यमय, चार-आयामी परिदृश्य का मानचित्रण करने की कोशिश कर रहे हैं जिसे सिम्प्लेक्टिक 4-मैनिफोल्ड (Symplectic 4-Manifold) कहा जाता है। यह ऐसी जगह नहीं है जहाँ आप कार से जा सकें; यह एक गणितीय स्थान है जिसमें "क्षेत्रफल" और "आकार" के बीच परस्पर क्रिया करने के विशिष्ट नियम होते हैं।

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

लेखक एक मौलिक प्रश्न पूछ रहे हैं: इन रबर जैसी चादरों को हटाने के बाद खाली स्थान कैसा दिखता है?

"नेगेटिव इन्फिनिटी" (ऋणात्मक अनंत) का रहस्य

गणित में, कोडेरा डायमेंशन (Kodaira Dimension) की एक अवधारणा है, जो किसी आकार के लिए एक "जटिलता स्कोर" (complexity score) की तरह कार्य करती है।

एक उच्च स्कोर का अर्थ है कि आकार बहुत जटिल और कठोर है।
$-\infty$ (नेगेटिव इन्फिनिटी) का स्कोर एक बहुत ही सरल, लचीला और "खुला" आकार दर्शाता है।

यह शोध पत्र एक विशिष्ट परिदृश्य पर केंद्रित है जहाँ जटिलता स्कोर $-\infty$ है। मानक बीजगणित (समीकरणों और ग्राफों) की दुनिया में, गणितज्ञ पहले से ही जानते थे कि यदि किसी आकार का यह स्कोर है, तो उसकी एक बहुत विशिष्ट संरचना होती है: यह एक बाड़ (fence) (एक वक्र) की तरह दिखता है जिससे हर तरफ सीधी रेखाएं (affine lines) निकल रही हैं। यह एक बगीचे की तरह है जहाँ हर पौधा एक केंद्रीय बेल से उगने वाले सीधे तने के रूप में होता है।

लेखक यह जानना चाहते थे: क्या यह "बगीचे" वाली संरचना अधिक लचीली, रबर जैसी सिम्प्लेक्टिक ज्यामिति की दुनिया में भी मौजूद है?

मुख्य खोज: "एफाइन-रुल्ड" (Affine-Ruled) बगीचा

शोध पत्र कहता है: हाँ।

वे सिद्ध करते हैं कि यदि आपके 4D परिदृश्य में ये रबर जैसी चादरें (डिविसर्स) हैं और जटिलता स्कोर $-\infty$ है, तो इन चादरों के बीच का खाली स्थान सिम्प्लेक्टिक एफाइन-रुल्ड (Symplectic Affine-Ruled) है।

उपमा (Analogy):
कल्पना कीजिए कि खाली स्थान एक विशाल महासागर है। लेखक सिद्ध करते हैं कि यह महासागर वास्तव में हजारों समानांतर, एक-छिद्र वाले साबुन के बुलबुलों (छेद वाली सतहों) से बना है जो एक आदर्श, व्यवस्थित प्रवाह में तैर रहे हैं।

यदि आप स्थान को दूर से देखते हैं, तो यह इन बुलबुलों के एक चिकने, बहते हुए नदी जैसा दिखता है।
यह प्रवाह लगभग पूरे खाली स्थान को कवर करता है, केवल कुछ "ज़ारिस्की ओपन" (Zariski open) स्थानों को छोड़कर (जो एक फैंसी गणितीय तरीका है यह कहने का कि "एक विशाल, सघन क्षेत्र") जहाँ यह पैटर्न बना रहता है।

समस्या: "यूनिकॉर्न्स" (Unicuspidal Curves)

सरल, कठोर बीजगणितीय दुनिया में, ये बुलबुले पूर्ण गोले होते हैं। लेकिन लचीली सिम्प्लेक्टिक दुनिया में, चीजें अस्त-व्यस्त हो सकती हैं। कभी-कभी, आप बुलबुले के रूप में कार्य करने के लिए एक पूर्ण गोला नहीं पा सकते।

इसे हल करने के लिए, लेखक एक नए प्रकार के आकार को पेश करते हैं: यूनिकुस्पिडल रेशनल कर्व (Unicuspidal Rational Curve)।

उपमा:
एक पूर्ण रबर की गेंद (एक गोला) की कल्पना करें। अब, गेंद के एक स्थान को तब तक दबाएं या पिंच करें जब तक कि वह एक नुकीले बिंदु का रूप न ले ले, जैसे कि एक आंसू की बूंद या एक 'कस्प' (cusp)।

यह एक यूनिकुस्पिडल (Unicuspidal) वक्र है (एक नुकीला बिंदु)।
लेखक दिखाते हैं कि भले ही ये आकार "पिंच किए हुए" या सिंगुलर हों, फिर भी वे खाली स्थान में बुलबुलों के प्रवाह को बनाने के लिए पूरी तरह से काम करते हैं।
यह "पिंच" (कस्प) ठीक वहीं होता है जहाँ रबर जैसी चादरें (डिविसर्स) एक-दूसरे को काटती हैं। यह ऐसा है जैसे बुलबुला प्रतिच्छेदन बिंदु (intersection point) से उगता है, और ज्यामिति में फिट होने के लिए खुद को पिंच करता है।

रणनीति: अव्यवस्था को सरल बनाना

परिदृश्य अविश्वसनीय रूप से जटिल हो सकता है। रबर जैसी चादरें उलझी हुई, गांठदार या कई परतों वाली हो सकती हैं। अपने बिंदु को सिद्ध करने के लिए, लेखक न्यूनीकरण (reduction) की रणनीति का उपयोग करते हैं:

ब्लो डाउन (Blow Down): कल्पना कीजिए कि आप एक जटिल गांठ को सुलझा रहे हैं, या एक बुलबुले को फोड़कर स्थान को सरल बना रहे हैं। वे व्यवस्थित रूप से स्थान के "अतिरिक्त" हिस्सों को हटाते हैं (ब्लोडाउन) ताकि नीचे की मूल संरचना को देखा जा सके।
मूल को खोजना (Find the Core): वे दिखाते हैं कि मूल आकार कितना भी अस्त-व्यस्त क्यों न हो, यदि आप इसे लगातार सरल बनाते रहते हैं, तो आप अंततः एक "न्यूनतम" संस्करण तक पहुँच जाते हैं जिसे समझना आसान है।
श्रृंखला अभिक्रिया (The Chain Reaction): एक बार जब वे इस सरल मूल को पा लेते हैं, तो वे "बुलबुलों के प्रवाह" (एफाइन रूलिंग) को आसानी से बना सकते हैं। फिर, वे प्रक्रिया को उल्टा करते हैं, यह दिखाते हुए कि जटिल मूल आकार में भी यह प्रवाह होना चाहिए, भले ही बुलबुले थोड़े पिंच किए हुए (यूनिकुस्पिडल) हों।

"केलर" (Kähler) संबंध: क्या यह वास्तविक है या सिर्फ रबर?

शोध पत्र का एक बड़ा हिस्सा एक दार्शनिक प्रश्न से संबंधित है: क्या यह रबर जैसा आकार वास्तव में एक "वास्तविक" ज्यामितीय वस्तु (Kähler) है जो बस लचीला दिखता है?

केलर (Kähler) आकार कठोर क्रिस्टल संरचनाओं की तरह होते हैं; वे जटिल संख्याओं के सख्त नियमों का पालन करते हैं।
सिम्प्लेक्टिक (Symplectic) आकार रबर की तरह होते हैं; वे तब तक खिंच और मुड़ सकते हैं जब तक कि क्षेत्रफल सुरक्षित रहे।

लेखक सिद्ध करते हैं कि इन विशिष्ट "नेगेटिव इन्फिनिटी" आकारों के लिए, रबर वाला संस्करण एक कठोर क्रिस्टल संस्करण (Kähler) के डिफॉर्मेशन इक्विवेलेंट (Deformation Equivalent) है।

उपमा:
कल्पना कीजिए कि आपके पास मिट्टी (Symplectic) से बनी एक मूर्ति है। लेखक सिद्ध करते हैं कि आप उस मिट्टी की मूर्ति को बिना तोड़े या उसके मूल आकार को बदले, धीरे-धीरे पकाकर पत्थर की मूर्ति (Kähler) में बदल सकते हैं। इसका अर्थ है कि भले ही हम लचीले रबर आकारों का अध्ययन कर रहे हों, उनके भीतर मानक बीजगणित के कठोर, पूर्ण ढांचे छिपे हुए हैं।

दावों का सारांश

संरचना: यदि आपके पास विशिष्ट रबर जैसी चादरों वाला 4D स्थान है और जटिलता स्कोर "नेगेटिव इन्फिनिटी" है, तो खाली स्थान छिद्रित गोलों (बुलबुलों की नदी की तरह) के प्रवाह से भरा होता है।
द पिंच (The Pinch): लचीली दुनिया में, इन बुलबुलों में एक एकल नुकीला बिंदु (कस्प) हो सकता है जहाँ वे चादरों से मिलते हैं, लेकिन फिर भी वे एक पूर्ण प्रवाह बनाते हैं।
सरलीकरण: चादरों की किसी भी जटिल व्यवस्था को एक बुनियादी, समझने योग्य मॉडल तक सरल बनाया जा सकता है।
कठोरता (Rigidity): ये लचीले रबर आकार मानक बीजगणित में पाए जाने वाले कठोर, क्रिस्टल जैसे आकारों के गणितीय रूप से समकक्ष हैं।

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

तकनीकी सारांश: सिम्पलेक्टिक लॉग कोडेरा आयाम $-\infty$ , एफाइन-रुल्डनेस (Affine-Ruledness), और यूनिकुसिपल्ड रेशनल कर्व्स (Unicuspidal Rational Curves)

समस्या विवरण
यह शोध पत्र उन सिम्पलेक्टिक 4-मैनिफ़ोल्ड्स के वर्गीकरण के सापेक्ष संस्करण को संबोधित करता है जिनका सिम्पलेक्टिक कोडेरा आयाम $\kappa_s = -\infty$ है। जबकि पूर्ण मामला (बंद मैनिफ़ोल्ड्स) लियू और ओहटा-ओनो के कार्यों के माध्यम से अच्छी तरह से समझा गया है—जहाँ $[\omega] \cdot K_\omega < 0$ यह दर्शाता है कि मैनिफ़ोल्ड सिम्पलेक्टिक रेशनल या रुल्ड है—लेखक उस जोड़ी $(X, \omega, D)$ की संरचना की जांच करते हैं, जहाँ $D$ एक सिम्पलेक्टिक डिवाइडर (नॉर्मल क्रॉसिंग वाली एम्बेडेड सिम्पलेक्टिक सतहों का एक विन्यास) है।

विशेष रूप से, यह शोध पत्र उन खुले सिम्पलेक्टिक मैनिफ़ोल्ड्स $X \setminus D$ के लक्षण वर्णन की खोज करता है जहाँ एडजॉइंट क्लास (adjoint class) $[\omega] \cdot (K_\omega + [D]) < 0$ संतुष्ट होता है। बीजगणितीय ज्यामिति (algebraic geometry) में, फुजीता, मियानिशी, सुगी और रसेल का एक प्रमेय स्थापित करता है कि ऐसे खुले बीजगणितीय सतह "एफाइन-रुल्ड" (affine-ruled) होते हैं, जिसका अर्थ है कि उनमें एक ज़ारिस्की खुला उपसमुच्चय (Zariski open subset) $C \times \mathbb{A}^1$ (एक वक्र और एफाइन लाइन का उत्पाद) के समरूप होता है। मुख्य प्रश्न यह है कि क्या इस प्रमेय का एक सिम्पलेक्टिक अनुरूप (analogue) भी मान्य है: क्या $[\omega] \cdot (K_\omega + [D]) < 0$ की स्थिति यह सुनिश्चित करती है कि डिवाइडर कॉम्प्लिमेंट $X \setminus D$ सिम्पलेक्टिक पंक्चर स्पियर्स (punctured spheres) द्वारा फोलिएटेड है?

कार्यप्रणाली (Methodology)
लेखक साइडोमोर्फिक कर्व थ्योरी (pseudoholomorphic curve theory), सीबर्ग-विटन इनवेरिएंट्स (Seiberg-Witten invariants), और सिम्पलेक्टिक श्रेणी में अनुकूलित बिरैशनल रिडक्शन तकनीकों के संयोजन का उपयोग करते हैं।

सिम्पलेक्टिक एफाइन-रुल्डनेस: लेखक एक जोड़ी $(X, \omega, D)$ को सिम्पलेक्टिक एफाइन-रुल्ड के रूप में परिभाषित करते हैं यदि $X \setminus D$ में $\mathring{\Sigma}_g \times (S^2 \setminus \{pt\})$ के डैमोर्फिक रूप से समरूप एक खुला घना उपसमुच्चय (open dense subset) होता है, जहाँ फाइबर्स समान क्षेत्रफल के सिम्पलेक्टिक पंक्चर स्पियर्स होते हैं।
क्वासी-मिनिमल जोड़ियों में न्यूनीकरण (Reduction to Quasi-Minimal Pairs): मनमाने डिवाइडरों की जटिलता को संभालने के लिए, शोध पत्र सिम्पलेक्टिक ब्लोडाउन (blowdowns) को शामिल करते हुए एक न्यूनीकरण प्रक्रिया पेश करता है। वे जोड़ियों को न्यूनतम सिम्पलेक्टिक क्षेत्रफल वाली अपवादन श्रेणियों (exceptional classes) के साथ डिवाइडर के प्रतिच्छेदन के आधार पर "क्वासी-मिनिमल" प्रकारों में वर्गीकृत करते हैं।
- प्रथम प्रकार की क्वासी-मिनिमल जोड़ियाँ: न्यूनतम क्षेत्रफल की अपवादन गोला (exceptional sphere) डिवाइडर को दो बिंदुओं में काटती है (या एक बिंदु पर संपर्क क्रम 2 के साथ)।
- द्वितीय प्रकार की क्वासी-मिनिमल जोड़ियाँ: डिवाइडर का एक घटक स्वयं न्यूनतम क्षेत्रफल की अपवादन गोला है, जो तीन अन्य घटकों को काटता है।
यूनिकुसिपल्ड रेशनल कर्व्स (Unicuspidal Rational Curves): एक प्रमुख तकनीकी नवाचार यूनिकुसिपल्ड रेशनल कर्व्स (एकल कस्प सिंगुलैरिटी वाले वक्र) का उपयोग है। लेखक मैकडॉफ और सीगल द्वारा स्थापित सहसंबंध का उपयोग करते हैं, जो $X$ $X$ में ऐसे सिंगुलर कर्व्स और $X$ $X$ के नॉर्मल क्रॉसिंग रेज़ोल्यूशन में एम्बेडेड कर्व्स के बीच संबंध स्थापित करता है।
- वे $H_2(X; \mathbb{Z})$ में एक क्लास $A$ का निर्माण करते हैं जो $D$ के प्रतिच्छेदन बिंदु पर स्थित एक यूनिकुसिपल्ड कर्व का प्रतिनिधित्व करता है।
- कस्प (cusp) के रेज़ोल्यूशन (ब्लो-अप) को करके, सिंगुलर कर्व ब्लों-अप किए गए मैनिफ़ोल्ड में स्व-प्रतिच्छेदन 0 वाले एक एम्बेडेड गोला $\tilde{C}$ में परिवर्तित हो जाता है।
अस्तित्व मानदंड (Existence Criteria): वांछित एम्बेडेड कर्व्स का अस्तित्व निम्नलिखित का उपयोग करके स्थापित किया गया है:
- मैकडॉफ-ओप्सटीन का मानदंड (McDuff-Opshtein's Criterion): डिवाइडर के सापेक्ष विशिष्ट होमोलॉजी क्लासेस में एम्बेडेड $J$ -होलोमोर्फिक स्फेयर्स खोजने के लिए।
- झांग का कर्व कोन थ्योरम (Zhang's Curve Cone Theorem): $J$ -होलोमोर्फिक सबवेरिटीज की संरचना का विश्लेषण करने और डिवाइडर विन्यास को प्रबंधनीय मॉडलों (गोला की श्रृंखलाओं) में कम करने के लिए।
- सीबर्ग-विटन थ्योरी (Seiberg-Witten Theory): यह सुनिश्चित करने के लिए कि प्रासंगिक होमोलॉजी क्लासेस गैर-शून्य हैं और इस प्रकार $J$ -इफेक्टिव हैं।

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

प्रमेय 1.7 (सिम्पलेक्टिक एफाइन-रुल्डनेस): मुख्य परिणाम बताता है कि यदि $(X, \omega, D)$ $(X, ω, D)$ एक कनेक्टेड सिम्पलेक्टिक डिवाइडर है जिसमें $[\omega] \cdot (K_\omega + [D]) < 0$ $[ω] \cdot (K_{ω} + [D]) < 0$ है, तो वह जोड़ी सिम्पलेक्टिक एफाइन-रुल्ड है।
- रेशनल केस: जब $X$ एक रेशनल मैनिफ़ोल्ड है, तो फोलिएशन इंडेक्स 1 के यूनिकुसिपल्ड रेशनल कर्व्स द्वारा दिया जाता है। इन कर्व्स के कस्प्स $D$ के घटकों के प्रतिच्छेदन बिंदुओं पर स्थित होते हैं।
- इरेशनल रुल्ड केस: जब $X$ एक इरेशनल रुल्ड मैनिफ़ोल्ड है, तो परिणाम तब भी मान्य रहता है जब $D$ कनेक्टेड न हो। फोलिएशन स्मूथ फाइबर्स (या विशिष्ट मामलों में सेक्शन्स) द्वारा दिया जाता है।
डिवाइडर का संरचनात्मक वर्गीकरण: शोध पत्र लॉग कोडेरा आयाम की स्थिति को संतुष्ट करने वाले रेशनल मैनिफ़ोल्ड्स में डिवाइडर का विस्तृत संरचनात्मक विश्लेषण प्रदान करता है। वे जोड़ियों को क्वासी-मिनिमल जोड़ियों में वर्गीकृत करते हैं और दिखाते हैं कि ऐसी किसी भी जोड़ी को गोला की एक श्रृंखला (प्रथम प्रकार के लिए) या एक विशिष्ट "ट्राइडेंट" विन्यास (द्वितीय प्रकार के लिए) वाले आंशिक रूप से न्यूनतम मॉडल में बदला जा सकता है जो आगे निम्न $b_2$ मामलों में कम हो जाता है।
केहलर जोड़ियों में विरूपण (Deformation to Kähler Pairs - Theorem 1.8): लेखक सिद्ध करते हैं कि कोई भी ऐसा जोड़ी $(X, \omega, D)$ $(X, ω, D)$ एक केहलर जोड़ी $(X, \omega', D')$ $(X, ω^{'}, D^{'})$ के सिम्पलेक्टिक विरूपण समतुल्य (deformation equivalent) है जिसका लॉग कोडेरा आयाम $-\infty$ $- \infty$ है।
- उपप्रमेय 1.9: फलस्वरूप, डिवाइडर कॉम्प्लिमेंट $X \setminus D$ में एक खुला घना उपसमुच्चय है जो मानक उत्पाद सिम्पलेक्टिक संरचना के साथ $\mathring{\Sigma}_g \times (S^2 \setminus \{pt\})$ के सिम्पलेक्टिक विरूपण समतुल्य है।
प्रपोजिशन 1.10 का प्रमाण: शोध पत्र में यह प्रमाण शामिल है कि रेशनल या इरेशनल रुल्ड मैनिफ़ोल्ड पर कोई भी सिम्पलेक्टिक फॉर्म $[\omega] \cdot K_\omega < 0$ के साथ एक केहलर फॉर्म (विरूपण तक) होता है, जो $b_2^+=1$ $J$ -कम्पैटिबल इन्फ्लेशन तकनीकों का उपयोग करके गैर-न्यूनतम मामलों के लिए ज्ञात परिणामों का विस्तार करता है।

महत्व और दावे
शोध पत्र का दावा है कि यह फुजीता-मियानिशी-सुगी-रसेल प्रमेय का एक सिम्पलेक्टिक अनुरूप स्थापित करता है, जो खुले बीजगणितीय सतहों के लिए है। यूनिकुसिपल्ड कर्व्स के सिद्धांत का उपयोग करते हुए, लेखक लॉग कोडेरा आयाम $-\infty$ वाली सतहों के बीजगणितीय वर्गीकरण और 4-मैनिफ़ोल्ड्स की सिम्पलेक्टिक टोपोलॉजी के बीच के अंतर को पाटते हैं।

इसका महत्व निम्नलिखित में निहित है:

सामान्यीकरण (Generalization): डिवाइडर्स के सापेक्ष सेटिंग में $\kappa_s = -\infty$ वाले सिम्पलेक्टिक मैनिफ़ोल्ड्स के वर्गीकरण का विस्तार करना।
तकनीक: सिंगुलर कर्व्स और रेज़ोल्यूशन में एम्बेडेड कर्व्स के बीच के सहसंबंध (McDuff-Siegel) को सिम्पलेक्टिक श्रेणी में फोलिएशन बनाने के लिए सफलतापूर्वक अनुकूलित करना, जो कि सिंगुलर डिवाइडर्स के साथ असंगत जेनेरिक लगभग जटिल संरचनाओं (almost complex structures) की आवश्यकता को दरकिनार करता है।
विरूपण समतुल्यता (Deformation Equivalence): यह प्रदर्शित करना कि सिम्पलेक्टिक श्रेणी में वैश्विक उत्पाद संरचना (बीजगणितीय मामले के विपरीत) के अभाव के बावजूद, डिवाइडर कॉम्प्लिमेंट की स्थानीय सिम्पलेक्टिक ज्यामिति इतनी लचीली है कि उसे मानक उत्पाद संरचना में विरूपित किया जा सकता है, बशर्ते कि लॉग कोडेरा आयाम की स्थिति पूरी होती हो।

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