On Teissier's example of an equisingularity class that cannot be defined over the rationals

तकनीकी सारांश: टेसियर के उस उदाहरण पर कि एक इक्विसिंगुलैरिटी क्लास (equisingularity class) को परिमेय संख्याओं (rationals) पर परिभाषित नहीं किया जा सकता

समस्या विवरण
यह शोध पत्र विलक्षणता सिद्धांत (singularity theory) में एक विशिष्ट प्रश्न को संबोधित करता है: परिमेय क्षेत्र ($\mathbb{Q}$) पर इक्विसिंगुलर परिवारों की परिभाषितता (definability)। जबकि यह स्थापित है कि प्रत्येक जटिल विलक्षणता (complex singularity), बीजगणिक संख्याओं के क्षेत्र पर सहफों (coefficients) वाले बहुपद समीकरणों द्वारा परिभाषित विलक्षणता के प्रति इक्विसिंगुलर है (व्हिटनी से भी अधिक मजबूत अर्थ में), यह एक खुला प्रश्न बना हुआ है कि क्या ऐसी विलक्षणता को एक टोपोलॉजिकल रूप से इक्विसिंगुलर विरूपण (deformation) के माध्यम से $\mathbb{Q}$ पर परिभाषित विलक्षणता में बदला जा सकता है।

बर्नार्ड टेसियर ने 1990 के एक नोट [T90] में एक प्रति-उदाहरण (counterexample) प्रस्तावित किया था: एक शास्त्रीय उत्तल ज्यामिति उदाहरण (ग्रुनबाम का रेखाओं का विन्यास) से प्राप्त $\mathbb{C}^3$ में एक सतह विलक्षणता, जो $\mathbb{Q}$ पर परिभाषित किसी भी विलक्षणता के प्रति व्हिटनी इक्विसिंगुलर (Whitney equisingular) नहीं है। हालाँकि, मूल उदाहरण में दो त्रुटियाँ थीं:

1. ग्रुनबाम के कार्य से उद्धृत विशिष्ट रेखा विन्यास वास्तव में $\mathbb{Q}$ पर सहफों वाले एक बहुपद समीकरण को स्वीकार करता है, जिससे यह एक प्रति-उदाहरण के रूप में विफल हो जाता है।
2. इसका प्रमाण ले और टेसियर [LT1] के एक प्रमेय पर निर्भर था जो स्पर्श शंकु (tangent cone) तक विरूपण के संबंध में था, जिसे गलत तरीके से कहा गया था।

कार्यप्रणाली
लेखक, पारुसिंस्की और पौनेसकू, टेसियर के अंतर्निहित परिणाम को सुधारने और एक कठोर प्रमाण प्रदान करने के लिए बीजगणिक ज्यामिति और स्तरीकरण सिद्धांत (stratification theory) का उपयोग करते हैं।

1. ज्यामितीय उदाहरण का सुधार:

   • लेखक वास्तविक प्रक्षेपिक स्थान (real projective space) में ग्रुनबाम के 9 रेखाओं के विन्यासों की पुनरावृत्ति करते हैं। वे प्रदर्शित करते हैं कि मूल विन्यास $C'$ (और इसके समान विन्यास वेरिएंट) वास्तव में रेखा सेट की गैलुआ इनवेरिएंस (Galois invariance) के कारण $\mathbb{Q}$ पर परिभाषित किया जा सकता है।
   • इस समरूपता (symmetry) को तोड़ने के लिए, वे एक नया विन्यास, जिसे $C'$ कहा गया है, निर्मित करते हैं, जिसमें मूल विन्यास में एक 10वीं रेखा ($HE$) जोड़ी गई है।
   • गैलुआ सिद्धांत का उपयोग करते हुए, वे सिद्ध करते हैं कि इस नई 10-रेखा विन्यास को परिभाषित करने वाले रैखिक रूपों (linear forms) का गुणनफल समन्वय (coordinates) द्वारा उत्पन्न क्षेत्र के गैलुआ समूह के अंतर्गत अपरिवर्तित (invariant) नहीं है। फलस्वरूप, यह विन्यास $\mathbb{Q}$ पर परिभाषित नहीं किया जा सकता है।

2. विश्लेषणात्मक प्रमाण का सुधार:

   • लेखक पहचानते हैं कि [T90] में मूल प्रमाण [LT1, Théorème (2.1.1)] पर निर्भर था, जिसने गलत दावा किया था कि स्पर्श शंकु तक का विरूपण तब इक्विसिंगुलर होता है जब विलक्षणता में कोई "अपवादभूत स्पर्शरेखा" (exceptional tangents) न हो।
   • वे एक प्रति-उदाहरण (अनुभाग 4) प्रदान करते हैं, जो एक ऐसी विलक्षणता दिखाता है जिसमें कोई अपवादभूत स्पर्शरेखा नहीं है, फिर भी स्पर्श शंकु तक का उसका विरूपण इक्विसिंगुलर नहीं है (विशेष रूप से, विलक्षणता का स्थान टोपोलॉजिकल रूप से विभाजित हो जाता है)।
   • इस त्रुटिपूर्ण प्रमेय पर निर्भर रहने के बजाय, लेखक व्हिटनी स्तरीकरण (Whitney stratifications) और सामान्य शंकु (normal cones) के सिद्धांत का उपयोग करते हुए एक प्रत्यक्ष प्रमाण प्रदान करते हैं। वे सतह विलक्षणताओं के परिवार $f(x, y)$ और उसके स्पर्श शंकु $C_{X,Y}$ का विश्लेषण करते हैं।

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

• परिष्कृत प्रति-उदाहरण (प्रपोजिशन 2.2): लेखक सिद्ध करते हैं कि उनके सुधारा गया 10-रेखा विन्यास पर आधारित शंकु ($C'$) एक सतह विलक्षणता $X_0$ उत्पन्न करता है जिसे $\mathbb{Q}$ पर परिभाषित नहीं किया जा सकता है।
• मुख्य प्रमेय (थ्योरम 3.5): यह शोध पत्र सामान्य शंकु की इक्विसिंगुलैरिटी के संबंध में एक नया परिणाम स्थापित करता है। यह सिद्ध करता है कि यदि सतह विलक्षणताओं का एक परिवार $(X_{reg}, \Sigma \setminus Y, Y)$ एक व्हिटनी स्तरीकरण बनाता है, तो:
  1. फाइबर $X_y$ में कोई अपवादभूत स्पर्शरेखा नहीं होती है।
  2. सामान्य शंकु $C_{X,Y}$ व्हिटनी की शर्तों को संतुष्ट करता है।
  3. सामान्य शंकु का विलक्षण स्थान (singular locus) ठीक विलक्षण स्थान का सामान्य शंकु है ($C_{\Sigma, Y} = (C_{X,Y})_{sing}$)।
  4. युग्म $((C_{X,Y})_{reg}, C_{\Sigma, Y} \setminus Y, Y)$ एक व्हिटनी स्तरीकरण बनाता है।
• टेसियर के परिणाम पर अनुप्रयोग: थ्योरम 3.5 को लागू करके, लेखक दिखाते हैं कि यदि मूल विलक्षणता $X_0$ (सुधारा गया विन्यास $C'$ पर शंकु) $\mathbb{Q}$ पर परिभाषित किसी विलक्षणता के प्रति व्हिटनी इक्विसिंगुलर है, तो विरूपित परिवार के स्पर्श शंकु भी इक्विसिंगुलर होंगे। हालाँकि, सुधारा गया विन्यास स्वयं $\mathbb{Q}$ पर परिभाषित नहीं किया जा सकता है, क्योंकि इसके स्पर्श शंकु स्वयं विन्यास के प्रक्षेपिक तुल्य (projectively equivalent) हैं। यह विरोधाभास सिद्ध करता है कि मूल विलक्षणता $\mathbb{Q}$ पर परिभाषित किसी भी विलक्षणता के प्रति व्हिटनी इक्विसिंगुलर नहीं है।
• [LT1] के लिए प्रति-उदाहरण (अनुभाग 4.1): लेखक एक विशिष्ट विलक्षणता $f(x,y,z) = z(zx - y^2 + x^3)$ का निर्माण करते हैं ताकि यह प्रदर्शित किया जा सके कि अपवादभूत स्पर्शरेखाओं की अनुपस्थिति यह गारंटी देने के लिए पर्याप्त नहीं है कि स्पर्श शंकु तक का विरूपण इक्विसिंगुलर है। इस उदाहरण में, विलक्षण स्थान एक कस्प (cusp) से एक दोहरी रेखा (double line) में विभाजित हो जाता है, जो टोपोलॉजिकल टिवियलिटी (topological triviality) का उल्लंघन करता है।

महत्व
इस शोध पत्र का प्राथमिक महत्व टेसियर के 1990 के परिणाम को एक कठोर सुधार और पूर्णता प्रदान करने में निहित है। यह एक वैध, स्पष्ट उदाहरण प्रदान करता है कि एक जटिल सतह विलक्षणता को व्हिटनी इक्विसिंगुलर विरूपण के माध्यम से एक परिमेय विलक्षणता (rational singularity) में क्यों नहीं बदला जा सकता है। इसके अतिरिक्त, यह अपवादभूत स्पर्शरेखाओं और सामान्य शंकु के विरूपणों की इक्विसिंगुलैरिटी के बीच संबंध को स्पष्ट करता है, जिससे एक पहले से स्वीकृत लेकिन गलत प्रमेय को सुधारा गया है। यह कार्य सुनिश्चित करता है कि $\mathbb{Q}$ पर परिभाषितता के आधार पर इक्विसिंगुलैरिटी क्लासेस को अलग करने का सैद्धांतिक आधार सुदृढ़ है।