In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative rings $A\rightarrow B$ we define the contraction of a simple $B$-module to $A.$ Then we define the set of aprime right $A$-modules $\aspec A$ to be the set of simple $A$-modules together with contractions of such. When $A$ is commutative, $\aspec A=\spec A,$ and we define a topology on $\aspec A$ such that when $A$ is commutative, this is the Zariski topology. In the preprint \cite{S251}, we proved that when we have a topology and a localizing subcategory, there exists a sheaf of associative rings $\mathcal O_X$ on $\aspec A,$ agreeing with the usual sheaf of rings on $\spec A.$ In this text, we write out this construction, and we see that we can restrict the sheaf and topology to any subset $V\subseteq\aspec A.$ In particular, this proves that we can use complex varieties in real algebraic geometry, by restricting in accordance with $\mathbb R\subseteq\mathbb C.$ Thus the theory of schemes over algebraically closed fields and its associative generalization can be applied to real (algebraic) geometry.
यह पेपर लेखक के पूर्वप्रिंट arXiv:2511.07900 में सहयोगी वलय स्थानीयकरण सिद्धांत पर किए गए कार्य के आधार पर, सहयोगी योजनाओं (associative schemes) का एक संपूर्ण सैद्धांतिक ढांचा प्रस्तुत करता है। लेखक ने aprime मॉड्यूल की अवधारणा को परिभाषित किया है (सहयोगी वलय के सरल मॉड्यूल और उनके संकुचन), और aSpecA पर एक सांस्थितिक संरचना प्रदान की है, जो विनिमेय स्थिति में शास्त्रीय Zariski सांस्थिति में विकृत हो जाती है। सहयोगी वलय शीफ के निर्माण के माध्यम से, यह पेपर सिद्ध करता है कि योजना सिद्धांत को गैर-विनिमेय स्थिति तक सामान्यीकृत किया जा सकता है, और उप-समुच्चय तक सीमित करके उप-योजनाओं का अध्ययन किया जा सकता है। विशेष रूप से महत्वपूर्ण है कि यह पेपर सिद्ध करता है कि वास्तविक बीजगणितीय ज्यामिति का अध्ययन जटिल क्षेत्र पर किस्मों के माध्यम से किया जा सकता है, अर्थात् R⊆C के प्रतिबंध के माध्यम से, जिससे बीजगणितीय रूप से बंद क्षेत्रों पर योजना सिद्धांत और इसके सहयोगी सामान्यीकरण वास्तविक बीजगणितीय ज्यामिति पर लागू हो सकते हैं।
इस पेपर द्वारा हल की जाने वाली मूल समस्या है: शास्त्रीय बीजगणितीय ज्यामिति में योजना सिद्धांत को गैर-विनिमेय (सहयोगी) बीजगणित के मामले तक कैसे सामान्यीकृत किया जाए, और इसे वास्तविक बीजगणितीय ज्यामिति पर लागू किया जाए।
वास्तविक बीजगणितीय ज्यामिति की सीमाएं: वास्तविक बीजगणितीय ज्यामिति को बहुविध सिद्धांत का सामान्यीकरण माना जा सकता है, लेकिन वास्तविक संख्या क्षेत्र पर बहुपद बीजगणित R[x1,…,xn] में Rn में बिंदुओं की तुलना में अधिक सरल मॉड्यूल होते हैं। उदाहरण के लिए, (x2+1)⊂R[x] एक अधिकतम आदर्श है लेकिन R में इसका कोई मूल नहीं है।
भौतिकी अनुप्रयोग की आवश्यकता: भौतिकी में अनुप्रयोग के लिए सहयोगी बीजगणितीय ज्यामिति तक सामान्यीकरण की आवश्यकता है, साथ ही निरंतर रीमैनियन मेट्रिक्स का सामान्यीकरण (Laudal के कार्य देखें)। रीमैनियन मेट्रिक्स वास्तविक संख्याओं पर परिभाषित होते हैं, लेकिन बीजगणितीय गुण बीजगणितीय रूप से बंद क्षेत्रों पर नियंत्रित करना आसान है।
मॉड्यूल वर्गीकरण समस्या: गैर-विनिमेय बीजगणित पर परिमित-आयामी सरल मॉड्यूल को हमेशा परिमित-उत्पन्न विनिमेय बीजगणित द्वारा वर्गीकृत नहीं किया जा सकता (Lemma 1 इसे सिद्ध करता है)।
लेखक की प्रेरणा एक C-बीजगणित AR का निर्माण करना है, जिससे कि Simp(AR)≅Rn, अर्थात् Rn में बिंदु सरल AR-मॉड्यूल के साथ एक-से-एक पत्राचार में हों, जिससे aSpec(AR) एक सूक्ष्म मॉड्यूल स्पेस बन जाए।
aprime मॉड्यूल और aSpec की अवधारणा को परिभाषित किया: विनिमेय स्थिति में अभाज्य वर्णक्रम को सामान्यीकृत किया, जिससे कि जब A विनिमेय हो तो aSpecA = SpecA।
सहयोगी योजनाओं की सांस्थिति और शीफ संरचना का निर्माण: aSpecA पर एक सांस्थिति (विनिमेय स्थिति में Zariski सांस्थिति में विकृत) और सहयोगी वलय शीफ OX को परिभाषित किया।
स्थानीयकरण सिद्धांत की स्थापना: पूर्वप्रिंट 11 में किए गए कार्य के आधार पर, सहयोगी वलय के स्थानीय फलन वलय AM का स्पष्ट निर्माण दिया।
उप-योजना सिद्धांत का विकास: सिद्ध किया कि शीफ और सांस्थिति को किसी भी उप-समुच्चय V⊆ aSpecA तक सीमित किया जा सकता है, प्रेरित उप-योजना का निर्माण किया।
वास्तविक बीजगणितीय ज्यामिति समस्या का समाधान: सिद्ध किया कि जटिल किस्मों के माध्यम से वास्तविक बीजगणितीय ज्यामिति का अध्ययन किया जा सकता है, R⊆C के प्रतिबंध के माध्यम से, जिससे Rn में बिंदु ACn(R)/C में बंद बिंदुओं के साथ एक-से-एक पत्राचार में हों।
सैद्धांतिक आधार प्रदान किया: सहयोगी बीजगणितीय वस्तुओं के मॉड्यूल स्पेस सिद्धांत के लिए योजना-सैद्धांतिक आधार प्रदान किया।
विस्तार: B-मॉड्यूल M को A-मॉड्यूल M का विस्तार कहा जाता है, यदि संरचना मानचित्र विनिमेय आरेख को संतुष्ट करते हैं
संकुचन: A-मॉड्यूल M को B-मॉड्यूल M का संकुचन कहा जाता है
मुख्य अवलोकन: सरल मॉड्यूल का विस्तार और संकुचन आवश्यक रूप से सरल नहीं होते हैं। उदाहरण के लिए M=C[x]/(x2+1) को R[x]-मॉड्यूल या C[x]-मॉड्यूल के रूप में सरल नहीं है, हालांकि MR=R[x]/(x2+1) एक सरल R[x]-मॉड्यूल है।
यह पेपर 11 में परिणामों के आधार पर, सहयोगी वलय स्थानीयकरण का स्पष्ट निर्माण देता है, विभाजन वलय के प्रत्यक्ष योग DM और इसके इकाई समुच्चय के माध्यम से स्थानीय फलन वलय को परिभाषित करता है, जो विनिमेय स्थिति का प्राकृतिक सामान्यीकरण है।
"विस्तार-संकुचन" के द्वैत दृष्टिकोण के माध्यम से aprime मॉड्यूल को परिभाषित करके, सरल मॉड्यूल और अभाज्य आदर्शों की अवधारणा को एकीकृत किया, जिससे विनिमेय स्थिति एक विशेष मामला बन जाती है।
सिद्ध किया कि किसी भी उप-समुच्चय (केवल बंद उप-समुच्चय नहीं) के लिए प्रेरित उप-योजना का निर्माण किया जा सकता है, जो शास्त्रीय सिद्धांत से अधिक लचीला है।
R⊆C के एम्बेडिंग के माध्यम से, वास्तविक ज्यामिति समस्याओं को जटिल ज्यामिति समस्याओं में परिवर्तित किया, बीजगणितीय रूप से बंद क्षेत्रों के अच्छे गुणों का लाभ उठाया। यह वास्तविक बीजगणितीय ज्यामिति की कठिनाइयों को हल करने का एक नवीन तरीका है।
पेपर निम्नलिखित तरीकों से सिद्धांत की सही्ता को सत्यापित करता है:
विनिमेय स्थिति की सामंजस्य जांच: सिद्ध किया कि जब A विनिमेय हो, तो सभी परिभाषाएं शास्त्रीय योजना सिद्धांत में विकृत हो जाती हैं (Lemma 3, Proposition 1)
ठोस उदाहरण:
उदाहरण 1: R[x] का मामला, यह दिखाता है कि (x2+1) एक अधिकतम आदर्श है लेकिन इसका कोई वास्तविक मूल नहीं है
Lemma 1: ExtA1(MP,MQ) की आयाम की गणना, गैर-विनिमेय स्थिति के आवश्यक अंतर को सिद्ध करता है
सार्वभौमिक गुण सत्यापन: सिद्ध किया कि AM स्थानीयकरण के सार्वभौमिक गुण को संतुष्ट करता है
सहयोगी योजना सिद्धांत की पूर्णता: यह पेपर सहयोगी योजना सिद्धांत का एक संपूर्ण ढांचा स्थापित करता है, जिसमें सांस्थिति, शीफ संरचना और उप-योजनाएं शामिल हैं।
वास्तविक बीजगणितीय ज्यामिति का समाधान: सिद्ध किया कि जटिल किस्मों के माध्यम से वास्तविक ज्यामिति का अध्ययन किया जा सकता है, Rn के बिंदु C-बीजगणित AR के सरल मॉड्यूल के साथ एक-से-एक पत्राचार में हैं।
सिद्धांत की आत्म-संगति: सभी निर्माण विनिमेय स्थिति में शास्त्रीय सिद्धांत में सही तरीके से विकृत होते हैं, सामान्यीकरण की प्राकृतिकता को सिद्ध करता है।
मॉड्यूल स्पेस का योजनाकरण: सहयोगी बीजगणितीय वस्तुओं के लिए मॉड्यूल स्पेस का योजना-सैद्धांतिक विवरण प्रदान करता है, जिससे aSpec(AR) एक सूक्ष्म मॉड्यूल स्पेस बन जाता है।
तकनीकी जटिलता: सिद्धांत बड़ी मात्रा में पूर्व कार्य (विशेष रूप से 10 और 11) पर निर्भर है, पूर्ण समझ के लिए गहन गैर-विनिमेय बीजगणित और श्रेणी सिद्धांत पृष्ठभूमि की आवश्यकता है।
ठोस गणना की कमी: पेपर मुख्य रूप से सैद्धांतिक निर्माण है, उदाहरण 1 को छोड़कर ठोस गैर-तुच्छ उदाहरणों की विस्तृत गणना की कमी है।
परिमित-आयामी धारणा: Proposition 3 को मॉड्यूल के परिमित-आयामी होने की आवश्यकता है, अनंत-आयामी स्थिति पर चर्चा नहीं की गई है।
अनुप्रयोग की अमूर्तता: हालांकि भौतिकी अनुप्रयोग का उल्लेख किया गया है, लेकिन कोई ठोस भौतिकी मॉडल या अनुप्रयोग उदाहरण नहीं दिया गया है।
शीफीकरण की आवश्यकता: परिभाषा 4 में यह कहा गया है कि शीफीकरण अनावश्यक है (सार्वभौमिक गुण द्वारा स्वचालित रूप से संतुष्ट), लेकिन विस्तृत प्रमाण नहीं दिया गया है।