Invariant theory for non-reductive actions: extensions of Hilbert and Schwarz theorems

तकनीकी सारांश: गैर-पुनर्गठित क्रियाओं के लिए अपरिवर्तनीय सिद्धांत (Invariant Theory)

समस्या विवरण
शास्त्रीय अपरिवर्तनीय सिद्धांत (invariant theory), जो हिल्बर्ट, वेइल और श्वार्ज़ के कार्यों पर आधारित है, कॉम्पैक्ट और रिडक्टिव (reductive) ली ग्रुप्स के लिए बीजगणितीय (बहुपद) और विश्लेषणात्मक (smooth) अपरिवर्तनीयता के बीच एक सुदृढ़ पत्राचार स्थापित करता है। विशेष रूप से, हिल्बर्ट-वेइल प्रमेय बहुपद अपरिवर्तनीय वलयों (polynomial invariant rings) की परिमित पीढ़ी (finite generation) की गारंटी देता है, जबकि श्वार्ज़ प्रमेय यह सुनिश्चित करता है कि स्मूथ अपरिवर्तनीयों का बीजगणित इन बहुपद अपरिवर्तनीयों द्वारा जनित होता है। हालाँकि, यह पत्राचार गैर-पुनर्गठित समूहों (non-reductive groups) के लिए विफल होता जाना ज्ञात है। यह शोध पत्र दो विशिष्ट गैर-कॉम्पैक्ट, गैर-पुनर्गठित व्यवस्थाओं में इस विचलन की प्रकृति की जांच करता है:

1. मिन्कोव्स्की स्पेस $\mathbb{R}^{n,1}$ पर लोरेन्त्ज़ समूह $O(n, 1)$ के डिस्क्रीट सबग्रुप्स (discrete subgroups) की क्रिया।
2. $\mathbb{R}^n$ (या स्मूथ मैनिफोल्ड्स) पर डिस्क्रीट समूहों की को-कॉम्पैक्ट (cocompact) क्रियाएँ।

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

कार्यप्रणाली
यह शोध पत्र बीजगणितीय अपरिवर्तनीय सिद्धांत, विभेदक ज्यामिति (differential geometry) और ऑर्बिट स्पेस के टोपोलॉजिकल विश्लेषण के संयोजन का उपयोग करता है।

• बीजगणितीय विश्लेषण: लेखक लोरेन्त्ज़ समूह तत्वों की ब्लॉक-डायगोनल संरचना का उपयोग करके क्रियाओं को ऑर्थोगोनल (कॉम्पैक्ट) और हाइपरबोलिक (गैर-कॉम्पैक्ट) घटकों में विभाजित करने के लिए करते हैं। यह बहुपद अपरिवर्तनीयों के हिल्बर्ट आधार (Hilbert bases) को निर्धारित करने के लिए प्रोडक्ट एक्शन लेम्मा लागू करने की अनुमति देता है।
• ज्यामितीय और टोपोलॉजिकल विश्लेषण: स्मूथ अपरिवर्तनीयता का अध्ययन ऑर्बिट स्पेस $\mathbb{R}^{n,1}/\Gamma$ की टोपोलॉजी के विश्लेषण पर निर्भर करता है। लेखक ऑर्बिट पृथक्करण (orbit separation), हिल्बर्ट मैप की प्रोपरनेस (properness), और कॉटिएंट (quotient) की हाउज़डॉर्फ (Hausdorff) प्रकृति की जांच करते हैं।
• प्रति-उदाहरणों (Counterexamples) का निर्माण: लोरेन्त्ज़ व्यवस्था में श्वार्ज़ गुण को गलत सिद्ध करने के लिए, यह शोध पत्र विशिष्ट स्मूथ अपरिवर्तनीय फलनों का निर्माण करता है जिन्हें बहुपद अपरिवर्तनीयों के फलनों के रूप में व्यक्त नहीं किया जा सकता है, जिसमें ऑर्बिट्स की विच्छेदित (disconnected) प्रकृति का लाभ उठाने के लिए लाइट-कोन कोऑर्डिनेट्स का उपयोग किया गया है।
• मैनिफोल्ड थ्योरी: को-कॉम्पैक्ट क्रियाओं के लिए, शोध पत्र इस तथ्य का लाभ उठाता है कि कॉटिएंट स्पेस एक कॉम्पैक्ट स्मूथ मैनिफोल्ड है। यह स्मूथ जनरेटरों के लिए व्हिटनी एम्बेडिंग प्रमेय (Whitney Embedding Theorem) और ट्यूबलर नेबरहुड प्रमेय (Tubular Neighborhood Theorem) को लागू करता है, जिससे बहुपद श्रेणी को पूरी तरह से दरकिनार करते हुए जनरेटर प्राप्त किए जा सकें।

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

1. लोरेन्त्ज़ व्यवस्था: बहुपद पीढ़ी बनाम स्मूथ विफलता

• प्रमेय A (बहुपद पीढ़ी): एक मैट्रिक्स के संयुग्मी (conjugate) द्वारा जनित डिस्क्रीट सबग्रुप $\Gamma \subset O(n, 1)$ के लिए, जो एक ब्लॉक फॉर्म $L_{\alpha, \beta}$ (एक यूक्लिडियन रोटेशन $R_\alpha$ और एक हाइपरबोलिक बूस्ट $H_\beta$ का संयोजन) के समान है, बहुपद अपरिवर्तनीय $P(\mathbb{R}^{n,1})^\Gamma$ परिमित रूप से जनित है। हिल्बर्ट आधार यूक्लिडियन भाग के आधार और हाइपरबोलिक भाग से द्विघाती रूप (quadratic form) $x^2 - y^2$ का संघ (union) है। यह उन गैर-पुनर्गठित समूहों का एक वर्ग प्रदान करता है जहाँ हिल्बर्ट की 14वीं समस्या का सकारात्मक उत्तर मिलता है।
• प्रपोजिशन 4.1 (श्वार्ज़ प्रमेय की विफलता): बहुपदों की परिमित पीढ़ी के बावजूद, शास्त्रीय श्वार्ज़ प्रमेय विफल हो जाता है। स्मूथ अपरिवर्तनीयों का बीजगणित $E(\mathbb{R}^{n,1})^\Gamma$ बहुपद अपरिवर्तनीयों द्वारा जनित नहीं है।
  • तंत्र: विफलता इसलिए उत्पन्न होती है क्योंकि बहुपद अपरिवर्तनीय ऑर्बिट्स को अलग करने में विफल रहते हैं। मिन्कोव्स्की स्पेस में, अपरिवर्तनीय द्विघाती रूप $x^2 - y^2 = c$ (जहाँ $c > 0$) के स्तर सेट (level sets) दो विच्छेदित शाखाओं (भविष्य और भूत लाइट कोन्स) से बने होते हैं। समूह की क्रिया इन शाखाओं को संरक्षित करती है, लेकिन बहुपद अपरिवर्तनीय दोनों को एक ही मान पर मैप करता है। फलस्वरूप, एक ऐसे स्मूथ फलनों का निर्माण किया जा सकता है जो इन शाखाओं के बीच अंतर करते हैं (जैसे, केवल दाईं शाखा पर गैर-शून्य फलन) जो अपरिवर्तनीय तो हैं लेकिन बहुपद जनरेटर के फलन नहीं हैं।
  • बाधाएं: शोध पत्र लोरेन्त्ज़ सेटिंग में श्वार्ज़ प्रमेय के लिए तीन विशिष्ट बाधाओं की पहचान करता है: (i) ऑर्बिट्स को अलग करने के लिए बहुपद अपरिवर्तनीयों की अपर्याप्तता, (ii) ऑर्बिट पृथक्करण की विफलता जिससे गैर-हाउज़डॉर्फ कॉटिएंट बनता है, और (iii) औसत ऑपरेटर (Haar measure) की अनुपस्थिति और हिल्बर्ट मैप की गैर-प्रोपरनेस।

2. को-कॉम्पैक्ट व्यवस्था: बहुपद शून्यता बनाम स्मूथ पीढ़ी

• प्रमेय B (बहुपद पतन): $\mathbb{R}^n$ पर स्वतंत्र रूप से, प्रोपरली और को-कॉम्पैक्ट रूप से कार्य करने वाले एक डिस्क्रीट समूह $\Gamma$ के लिए, बहुपद अपरिवर्तनीयों का बीजगणित तुच्छ (trivial) है (अर्थात, केवल स्थिरांकों तक सीमित है)।
  • तर्क: $\mathbb{R}^n$ पर कोई भी गैर-स्थिरांक बहुपद असीमित (unbounded) होता है। हालाँकि, एक को-कॉम्पैक्ट क्रिया यह दर्शाती है कि कॉटिएंट स्पेस कॉम्पैक्ट है, जो किसी भी अपरिवर्तनीय फलन को सीमित (bounded) होने के लिए बाध्य करता है। अतः, कोई भी गैर-स्थिरांक बहुपद अपरिवर्तनीय मौजूद नहीं हो सकते।
• प्रमेय C (स्मूथ पीढ़ी): बहुपद श्रेणी के पतन के विपरीत, स्मूथ अपरिवर्तनीयों का बीजगणित $E(M)^\Gamma$ परिमित रूप से जनित और संरचनात्मक रूप से समृद्ध है।
  • परिणाम: मैनिफोल्ड $M$ पर स्मूथ अपरिवर्तनीयों और कॉम्पैक्ट कॉटिएंट $M/\Gamma$ पर स्मूथ फलनों के बीच एक टोपोलॉजिकल आइसोमोर्फिज्म (topological isomorphism) मौजूद है। इसके अतिरिक्त, स्मूथ जनरेटरों $\sigma_1, \dots, \sigma_m$ का एक परिमित सेट मौजूद है जिससे प्रत्येक स्मूथ अपरिवर्तनीय इन जनरेटरों का एक स्मूथ फलन होता है। यह एक "श्वार्ज़-प्रकार" का प्रमेय स्थापित करता है, भले ही बहुपद श्रेणी क्षीण (degenerate) हो।

संश्लेषण और वर्गीकरण
शोध पत्र इन निष्कर्षों को अपरिवर्तनीय-सिद्धांत व्यवस्थाओं के चार-स्तरीय वर्गीकरण (तालिका 1) में संश्लेषित करता है:

1. कॉम्पैक्ट समूह: बहुपद अपरिवर्तनीय परिमित रूप से जनित हैं; स्मूथ अपरिवर्तनीय बहुपदों द्वारा जनित होते हैं (हिल्बर्ट-वेइल + श्वार्ज़)।
2. रिडक्टिव समूह: बहुपद अपरिवर्तनीय परिमित रूप से जनित हैं; स्मूथ अपरिवर्तनीय बहुपदों द्वारा जनित होते हैं (लूना)।
3. को-कॉम्पैक्ट क्रियाएँ: बहुपद अपरिवर्तनीय तुच्छ हैं; स्मूथ अपरिवर्तनीय स्मूथ फलनों द्वारा परिमित रूप से जनित होते हैं (प्रमेय B और C)।
4. डिस्क्रीट लोरेन्त्ज़ क्रियाएँ: बहुपद अपरिवर्तनीय परिमित रूप से जनित हैं; स्मूथ अपरिवर्तनीय बहुपदों द्वारा जनित नहीं होते हैं (प्रमेय A + प्रपोजिशन 4.1)।

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

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

शोध पत्र निष्कर्ष निकालता है कि "श्वार्ज़ गुण" केवल परिमित पीढ़ी का परिणाम नहीं है, बल्कि इसके लिए औसत ऑपरेटरों या प्रोपर क्रियाओं जैसे तंत्रों की आवश्यकता होती है, जो अध्ययन की गई गैर-पुनर्गठित व्यवस्थाओं में अनुपस्थित हैं। यह ढांचा अन्य गैर-पुनर्गठित परिवेशों की जांच करने और इक्विवेरिएंट सिमेट्री रिडक्शन (equivariant symmetry reduction) की सीमाओं को समझने के लिए एक आधार प्रदान करता है।