Obstructions to embedding singular curves in toric varieties

तकनीकी सारांश: टोरिक रूपांतरों (Toric Varieties) में विलक्षण वक्रों (Singular Curves) के एम्बेडिंग में बाधाएं

समस्या विवरण
यह शोध पत्र प्रक्षेपिक वक्रों (projective curves) को टोरिक रूपांतरों में एम्बेड करने की समस्या पर आधारित है। जबकि प्रत्येक सुचारू प्रक्षेपिक वक्र $\mathbb{P}^3$ में एम्बेड हो सकता है, विलक्षण वक्रों (singular curves) के लिए स्थानीय बाधाएं होती हैं: यदि किसी विलक्षण बिंदु $p$ का ज़ारिस्की स्पर्श क्षेत्र (Zariski tangent space) $d$ आयाम का है, तो वह वक्र $d$ से कम आयाम वाले किसी भी सुचारू प्रक्षेपिक रूपांतर में एम्बेड नहीं हो सकता। इस स्थिति से बचने के लिए एक स्वाभाविक रणनीति एक विलक्षण परिवेशी रूपांतर (ambient variety) में एम्बेड करना है, जैसे कि एक भारित प्रक्षेपिक स्थान (weighted projective space) या एक सामान्य टोरिक रूपांतर, जहाँ एक विलक्षण बिंदु पर स्पर्श क्षेत्र पर्याप्त रूप से बड़ा हो सकता है।

लेखक द्वारा उठाया गया केंद्रीय प्रश्न यह है कि क्या प्रत्येक प्रक्षेपिक वक्र को किसी भारित प्रक्षेपिक त्रिविमीय (weighted projective threefold) में एम्बेड किया जा सकता है (प्रश्न 1.1)। लेखक यह जांचते हैं कि क्या ऐसे कम हुए (reduced), अविभाज्य (irreducible) वक्र मौजूद हैं जो $\mathbb{P}^d$ में एम्बेड होते हैं लेकिन $d$ से कम आयाम के किसी भी प्रक्षेपिक सामान्य टोरिक रूपांतर (projective normal toric variety) में एम्बेड होने में विफल रहते हैं।

कार्यप्रणाली
लेखक एक स्थानीय-से-वैश्विक (local-to-global) रणनीति का उपयोग करते हैं, जो स्पर्श शंकु (tangent cones) की ज्यामिति पर केंद्रित है।

1. रेखा व्यवस्थाओं के माध्यम से स्थानीय बाधा (Local Obstruction via Line Arrangements): तर्क का मुख्य भाग "समानांतर रेखा व्यवस्थाओं" (concurrent line arrangements) $C_\Gamma$ के विश्लेषण पर आधारित है, जो $H \subset \mathbb{P}^d$ में $m$ बिंदुओं $\Gamma$ के ऊपर बने शंकु (cone) के रूप में परिभाषित है, जिसका शीर्ष $p$ है। शीर्ष पर प्रक्षेपिक स्पर्श शंकु (projectivized tangent cone) $\Gamma$ के समरूप होता है।
2. आयाम गणना और मॉडुलि स्पेस (Dimension Counting and Moduli Spaces): लेखक ऐसी रेखा व्यवस्थाओं के मॉडुलि स्पेस की तुलना लक्ष्य रूपांतरों में उपलब्ध स्पर्श शंकुओं के परिवारों से करते हैं।
   • वे स्थापित करते हैं कि $m$ रेखाओं की पर्याप्त बड़ी संख्या के लिए, $C_\Gamma$ के समरूपता वर्गों के मॉडुलि स्पेस का आयाम $m(d-1) - d^2 + 1$ है (अनुवर्ती 3.3)।
   • वे $\delta$-आयामी रूपांतरों के परिवारों का विश्लेषण करते हैं और दिखाते हैं कि इन परिवारों में आने वाले स्पर्श शंकु सीमित आयाम के परिवारों में भिन्न होते हैं।
   • आयामों की गणना करके, वे प्रदर्शित करते हैं कि यदि $m$ पर्याप्त रूप से बड़ा है, तो एक "बहुत सामान्य" (very general) व्यवस्था $C_\Gamma$, $\delta < d$ आयाम के किसी भी रूपांतर के किसी बिंदु के शीर्ष-संरक्षण बंद समावेशन (vertex-preserving closed immersion) को स्वीकार नहीं कर सकती (प्रमेय 3.6)।
3. विलक्षण वक्रों का निर्माण: इस स्थानीय बाधा को वास्तविक वक्रों पर लागू करने के लिए, लेखक एक कम हुए, अविभाज्य व 곡 $C \subset \mathbb{P}^d$ का निर्माण करते हैं जिसमें एक अद्वितीय विलक्षण बिंदु $p$ है, ताकि पूर्ण स्पर्श शंकु (completed tangent cone) $TC_p C$ एक निर्धारित व्यवस्था $C_\Gamma$ को समाहित कर सके (प्रस्तावना 4.1)। यह ब्लौ-अप्स (blow-ups) के अनुक्रम और बर्टिनी प्रमेय (Bertini's Theorem) के अनुप्रयोग के माध्यम से प्राप्त किया जाता है।
4. सामान्य और गैर-सामान्य टोरिक रूपांतरों के बीच अंतर: लेखक सामान्य और गैर-सामान्य टोरिक रूपांतरों के बीच अंतर स्पष्ट करते हैं। वे दिखाते हैं कि जबकि सामान्य टोरिक रूपांतरों में स्पर्श शंकुओं के केवल गणनीय (countable) समरूपता वर्ग होते हैं (जो आयाम गणना के माध्यम से एम्बेडिंग को खारिज करने की अनुमति देते हैं), गैर-सामान्य टोरिक रूपांतरों का निर्माण किसी भी विशिष्ट रेखा व्यवस्था को समाहित करने के लिए किया जा सकता है (प्रमेय 3.11)।

मुख्य परिणाम

• मुख्य प्रमेय (प्रमेय 1.2 और प्रमेय 4.2): प्रत्येक पूर्णांक $d \geq 2$ के लिए, एक कम हुआ, अविभाज्य प्रक्षेपिक वक्र $C_d \subset \mathbb{P}^d$ मौजूद है जो $d$ से कम आयाम के किसी भी प्रक्षेपिक सामान्य टोरिक रूपांतर में एम्बेड नहीं होता है।
  • यह परिणाम यह दिखाने के लिए सामान्यीकृत किया गया है कि $d$ से कम आयाम वाले रूपांतरों के गणनीय परिवारों के किसी भी संग्रह के लिए, एक ऐसा वक्र मौजूद है जो उनमें से किसी में भी एम्बेड नहीं होता है।
• भारित प्रक्षेपिक स्थानों पर अनुवर्ती (Corollary on Weighted Projective Spaces): चूंकि भारित प्रक्षेपिक स्थान सामान्य टोरिक रूपांतर हैं, इसलिए मुख्य प्रमेय यह निष्कर्ष निकालता है कि प्रत्येक $d \geq 2$ के लिए, $\mathbb{P}^d$ में एक ऐसा वक्र मौजूद है जो $d$ से कम आयाम के किसी भी भारित प्रक्षेपिक स्थान में एम्बेड नहीं होता है। यह $d=4$ के लिए प्रश्न 1.1 का नकारात्मक उत्तर प्रदान करता है।
• स्थानीय बनाम वैश्विक बाधाएं (Local vs. Global Obstructions): लेखक स्पष्ट करते हैं कि बाधा "सामान्य" (normal) परिकल्पना के प्रति संवेदनशील है।
  • सामान्य मामला: स्थानीय बाधा (स्पर्श शंकु का आयाम) कम आयाम के सामान्य टोरिक रूपांतरों में एम्बेडिंग को रोकने के लिए पर्याप्त है।
  • गैर-सामान्य मामला: प्रत्येक समानांतर रेखा व्यवस्था $C_\Gamma$ एक गैर-सामान्य प्रक्षेपिक त्रिविमीय (non-normal projective toric threefold) में एम्बेड हो सकती है (प्रमेय 3.11)।
  • रैखिक प्रक्षेप (Linear Projections): प्रत्येक $C_\Gamma$ को बड़े $n$ के लिए एक भारित प्रक्षेपिक तल $\mathbb{P}(1, 1, n)$ के रैखिक प्रक्षेप में एम्बेड किया जा सकता है, हालांकि ये प्रक्षेप सामान्यतः टोरिक नहीं होते हैं (प्रमेय 3.9)।
• सुचारू वक्रों के लिए वैश्विक बाधाएं: लेखक नोट करते हैं कि सुचारू वक्रों के लिए भी वैश्विक बाधाएं मौजूद हैं। उदाहरण के लिए, $g > 10$ जनस (genus) वाले सामान्य सुचारू वक्र सुचारू परिमेय वक्रों के ऊपर बने शंकुओं (cones) में, न तो, और न ही किसी हिरज़ब्रुक सतह (Hirzebruch surface) में एम्बेड होते हैं (टिप्पणी 4.3)।

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

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

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