2025-11-10T02:41:50.458636

Generation of singularity categories and infinite injective dimension locus via annihilation of cohomologies

Dey, Liu, Mifune et al.
Let R be a commutative Noetherian ring. We establish a close relationship between the strong generation of the singularity category of R and the nonvanishing of the annihilator of the singularity category of R. As an application, we prove that the singularity category of R has a strong generator if and only if the annihilator of the singularity category of R is nonzero when R is a Noetherian domain with Krull dimension at most one. We introduce the notion of the co-cohomological annihilator of modules. If the category of finitely generated R-modules has a strong generator, we show that the infinite injective dimension locus of a finitely generated R-module M is closed, with the defining ideal given by the co-cohomological annihilator of M. Finally, we provide a connection between the existence of an extension generator of the category of finitely generated R-modules and the finiteness of the Krull dimension of R.
academic

विलक्षणता श्रेणियों की पीढ़ी और सह-समरूपता के विलोपन के माध्यम से अनंत अंतःक्षेपी आयाम स्थान

मूल जानकारी

  • पेपर ID: 2503.24186
  • शीर्षक: Generation of singularity categories and infinite injective dimension locus via annihilation of cohomologies
  • लेखक: Souvik Dey, Jian Liu, Yuki Mifune, Yuya Otake
  • वर्गीकरण: math.AC (क्रमविनिमेय बीजगणित), math.RT (प्रतिनिधित्व सिद्धांत)
  • प्रकाशन समय: 2025 मार्च (arXiv पूर्वमुद्रण, 2025 अक्टूबर 13 को संशोधित संस्करण)
  • पेपर लिंक: https://arxiv.org/abs/2503.24186

सारांश

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

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की पृष्ठभूमि

इस पेपर में अनुसंधान की मूल समस्या विलक्षणता श्रेणी के जनन गुण हैं। विलक्षणता श्रेणी Dsg(R) Buchweitz और Orlov द्वारा प्रस्तुत की गई एक महत्वपूर्ण अवधारणा है, जिसे परिबद्ध व्युत्पन्न श्रेणी और पूर्ण परिसरों द्वारा गठित मोटे उप-श्रेणी के Verdier भागफल के रूप में परिभाषित किया गया है। यह श्रेणी वलय R के विलक्षणता गुणों का पता लगा सकती है: Dsg(R) तुच्छ है यदि और केवल यदि R एक नियमित वलय है।

अनुसंधान की प्रेरणा

  1. सैद्धांतिक आवश्यकता: विलक्षणता श्रेणी के (प्रबल) जनन गुणों को कैसे चिह्नित किया जाए यह एक प्राकृतिक और महत्वपूर्ण प्रश्न है
  2. पूर्व कार्य की सीमाएं: Iyengar और Takahashi ने सह-समरूपता विलोपक ca(R)≠0 और मॉड्यूल श्रेणी mod(R) के प्रबल जनन के बीच संबंध स्थापित किए हैं, लेकिन विलक्षणता श्रेणी के लिए संबंधित सिद्धांत अभी भी अधूरा है
  3. तकनीकी चुनौतियां: विलक्षणता श्रेणी के बीजगणितीय गुणों और ज्यामितीय गुणों को जोड़ने के लिए नए उपकरण स्थापित करने की आवश्यकता है

मौजूदा विधियों की सीमाएं

  • पूर्व कार्य मुख्य रूप से मॉड्यूल श्रेणी और व्युत्पन्न श्रेणी के जनन गुणों पर केंद्रित है
  • विलक्षणता श्रेणी के विलोपक और जनन गुणों से निपटने के लिए एकीकृत ढांचे की कमी है
  • अनंत अंतःक्षेपी आयाम स्थान की बंदता के लिए सामान्य परिणाम की कमी है

मूल योगदान

  1. विलक्षणता श्रेणी के प्रबल जनन और इसके विलोपक के गैर-शून्य होने के बीच घनिष्ठ संबंध स्थापित किया, विशेष रूप से annR Dsg(R) = caR(mod(R)) को सिद्ध किया
  2. एक-आयामी नोथेरियन समाकल प्रांत के लिए, विलक्षणता श्रेणी के प्रबल जनन की समतुल्य शर्तों को पूरी तरह से चिह्नित किया
  3. मॉड्यूल के सह-सह-समरूपता विलोपक cocaR(M) की अवधारणा का परिचय दिया, और इसके अनंत अंतःक्षेपी आयाम स्थान के साथ संबंध स्थापित किया
  4. उपयुक्त शर्तों के तहत, अनंत अंतःक्षेपी आयाम स्थान IID(M) = V(cocaR(M)) बंद है, यह सिद्ध किया
  5. विस्तार जनक के अस्तित्व और क्रुल आयाम की परिमितता के बीच संबंध स्थापित किया

विधि विस्तार

मूल अवधारणा परिभाषाएं

सह-समरूपता विलोपक

परिमित-जनित R-मॉड्यूल M और n≥0 के लिए, n-वां सह-समरूपता विलोपक परिभाषित करें:

ca^n_R(M) := ann_R Ext^≥n_R(M, mod(R))

सह-समरूपता विलोपक परिभाषित है:

ca_R(M) := ⋃_{n≥0} ca^n_R(M)

सह-सह-समरूपता विलोपक

इस पेपर द्वारा प्रस्तुत नई अवधारणा, R-मॉड्यूल M और n≥0 के लिए:

coca^n_R(M) := ann_R Ext^≥n_R(mod(R), M)

सह-सह-समरूपता विलोपक परिभाषित है:

coca_R(M) := ⋃_{n≥0} coca^n_R(M)

विलक्षणता श्रेणी का विलोपक

विलक्षणता श्रेणी Dsg(R) में परिसर X के लिए:

ann_{Dsg(R)}(X) := {r ∈ R | r · Hom_{Dsg(R)}(X,X) = 0}

विलक्षणता श्रेणी का विलोपक:

ann_R Dsg(R) := ⋂_{X∈Dsg(R)} ann_{Dsg(R)}(X)

प्रमुख तकनीकी परिणाम

प्रमेय 1: विलक्षणता श्रेणी विलोपक का अभिलक्षण

प्रस्ताव 4.2 और परिणाम 4.3: परिमित-जनित R-मॉड्यूल M के लिए,

ca_R(M) = ann_{Dsg(R)}(M)

आगे,

ann_R Dsg(R) = ca_R(mod(R))

प्रमेय 2: एक-आयामी स्थिति का पूर्ण अभिलक्षण

परिणाम 4.21: मान लीजिए R क्रुल आयाम ≤1 का क्रमविनिमेय नोथेरियन समाकल प्रांत है, तो निम्नलिखित समतुल्य हैं:

  1. Dsg(R) का प्रबल जनक है
  2. ann_R Dsg(R) ≠ 0
  3. ca_R(mod(R)) ≠ 0
  4. mod(R) का बिंदु-वार प्रबल जनक है

तकनीकी नवाचार बिंदु

  1. एकीकृत ढांचा: सह-समरूपता विलोपक के माध्यम से विलक्षणता श्रेणी के बीजगणितीय गुणों और ज्यामितीय गुणों को एकीकृत करना
  2. नई विलोपक अवधारणा: सह-सह-समरूपता विलोपक अनंत अंतःक्षेपी आयाम के अध्ययन के लिए नए उपकरण प्रदान करता है
  3. आयाम बाधा का उपयोग: निम्न-आयामी स्थिति के विशेष गुणों का कुशलतापूर्वक उपयोग करके पूर्ण अभिलक्षण प्राप्त करना

मुख्य प्रमेय और परिणाम

प्रमेय 1.1 (विलक्षणता श्रेणी का जनन)

मान लीजिए R एक क्रमविनिमेय नोथेरियन वलय है, तो:

  1. निम्नलिखित शर्तें समतुल्य हैं:
    • (a) प्रत्येक अभाज्य आदर्श p के लिए, Dsg(R/p) का जनक है
    • (b) प्रत्येक अभाज्य आदर्श p के लिए, ⋂{M∈mod(R/p)} √ca{R/p}(M) ≠ 0
  2. यदि R पृथक विलक्षणताओं वाला गैर-नियमित वलय है, तो निम्नलिखित समतुल्य हैं:
    • (a) Dsg(R) का प्रबल जनक है
    • (b) R/ann_R Dsg(R) एक आर्टिन वलय है
    • (c) R/(⋂_{M∈mod(R)} ca_R(M)) एक आर्टिन वलय है
    • (d) mod(R) का बिंदु-वार प्रबल जनक है

प्रमेय 1.2 (अनंत अंतःक्षेपी आयाम स्थान)

मान लीजिए R एक क्रमविनिमेय नोथेरियन वलय है, M एक परिमित-जनित R-मॉड्यूल है, तो:

  1. यदि mod(R) का विस्तार जनक है, तो IID(M) Spec(R) में बंद है
  2. यदि mod(R) का प्रबल जनक है, तो IID(M) = V(coca_R(M))

प्रमेय 1.3 (विस्तार जनक और क्रुल आयाम)

मान लीजिए R एक क्रमविनिमेय नोथेरियन वलय है, तो:

  1. यदि mod(R) का विस्तार जनक है, तो R का क्रुल आयाम परिमित है
  2. यदि R का क्रुल आयाम परिमित है और विलक्षणता स्थान एक परिमित समुच्चय है, तो mod(R) का विस्तार जनक है

प्रमाण विचार और तकनीकी मुख्य बिंदु

प्रमुख लेम्मा के प्रमाण की रणनीति

लेम्मा 3.8: सह-समरूपता विलोपक के मूल गुणों को स्थापित किया, जिसमें शामिल हैं:

  • ca^n_R(M) = ann_R Ext^n_R(M, Ω^n_R(M))
  • प्रक्षेपी आयाम का ज्यामितीय अभिलक्षण
  • स्थानीयकरण गुण

प्रस्ताव 4.2 के प्रमाण की रणनीति:

  1. पहले ca_R(M) ⊆ ann_{Dsg(R)}(M) को सिद्ध करें: प्रक्षेपी मॉड्यूल के विघटन के माध्यम से गुणन मानचित्र का उपयोग करना
  2. फिर विपरीत समावेशन को सिद्ध करें: पूर्ण परिसरों की परिबद्धता और समरूप आयाम का उपयोग करना

आयाम बाधा की महत्वपूर्ण भूमिका

एक-आयामी स्थिति के लिए, मुख्य अवलोकन है:

  • एक-आयामी समाकल प्रांत की विलक्षणता स्थान विशेष संरचना रखती है
  • प्रमुख आदर्श प्रांत के गुणों का उपयोग किया जा सकता है
  • विलोपक की गैर-शून्यता सीधे नियमित स्थान की गैर-खाली खुलेपन से संबंधित है

अनुप्रयोग और उदाहरण

उदाहरण 4.26: एक-आयामी प्रतिउदाहरण

एक एक-आयामी नोथेरियन समाकल प्रांत R का निर्माण किया गया जहां ann_R Dsg(R) = 0, यह Hochster के उदाहरण पर आधारित है, जहां नियमित स्थान गैर-खाली खुले समुच्चय को शामिल नहीं करता है।

परिणाम 4.14: अर्ध-उत्कृष्ट वलय की स्थिति

परिमित क्रुल आयाम के अर्ध-उत्कृष्ट वलय R के लिए:

√ca(R) = √ann_R Dsg(R) = √ca_R(mod(R))

संबंधित कार्य

ऐतिहासिक विकास

  1. Iyengar-Takahashi (2016): सह-समरूपता विलोपक अवधारणा का परिचय, ca(R)≠0 और mod(R) के प्रबल जनन के बीच संबंध स्थापित किया
  2. Elagin-Lunts (2018): क्रमविनिमेय नोथेरियन समाकल प्रांत के लिए, यदि D^f(R) का प्रबल जनक है तो ca(R)≠0
  3. Dey-Lank-Takahashi (2024): विभिन्न जनन गुणों की समतुल्यता स्थापित की

इस पेपर का नवाचार

  • सिद्धांत को विलक्षणता श्रेणी तक विस्तारित करना
  • सह-सह-समरूपता विलोपक अवधारणा का परिचय
  • एक-आयामी स्थिति का पूर्ण अभिलक्षण प्रदान करना

तकनीकी विवरण विश्लेषण

प्रमाण में प्रमुख तकनीकें

  1. मोटे उप-श्रेणी का निर्माण: जनन गुणों को नियंत्रित करने के लिए मोटे उप-श्रेणी की आगमनात्मक परिभाषा का उपयोग करना
  2. आयाम स्थानांतरण: syzygy मॉड्यूल के गुणों के माध्यम से विभिन्न आयामों के बीच संबंध स्थापित करना
  3. स्थानीय-वैश्विक सिद्धांत: वैश्विक गुणों को स्थानीय गुणों में कम करने के लिए स्थानीयकरण का उपयोग करना

गणितीय उपकरणों का उपयोग

  • व्युत्पन्न श्रेणी सिद्धांत: Verdier भागफल श्रेणी के गुण
  • समरूप बीजगणित: Ext फंक्टर की गणना और गुण
  • क्रमविनिमेय बीजगणित: अभाज्य आदर्श की ज्यामितीय गुणें और आयाम सिद्धांत

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. विलक्षणता श्रेणी के प्रबल जनन और विलोपक के गैर-शून्य होने के बीच गहरा संबंध स्थापित किया
  2. एक-आयामी स्थिति के लिए पूर्ण अभिलक्षण प्रदान किया
  3. अनंत अंतःक्षेपी आयाम स्थान के अध्ययन के लिए नए उपकरण प्रदान किए

सीमाएं

  1. उच्च-आयामी स्थिति का पूर्ण अभिलक्षण अभी खुला है
  2. सह-सह-समरूपता विलोपक और सह-समरूपता विलोपक के बीच संबंध को अतिरिक्त शर्तों की आवश्यकता है
  3. कुछ परिणामों को वलय के विशेष गुणों की आवश्यकता है (जैसे पृथक विलक्षणताएं)

भविष्य की दिशाएं

  1. अधिक सामान्य आयाम स्थितियों तक सामान्यीकरण करना
  2. गैर-क्रमविनिमेय स्थिति का अनुसंधान करना
  3. बीजगणितीय ज्यामिति के साथ गहरे संबंधों की खोज करना

गहन मूल्यांकन

शक्तियां

  1. सैद्धांतिक गहराई: कई महत्वपूर्ण अवधारणाओं के बीच गहरे संबंध स्थापित करना
  2. तकनीकी नवाचार: सह-सह-समरूपता विलोपक अवधारणा का परिचय बहुत मूल्यवान है
  3. परिणाम की पूर्णता: एक-आयामी स्थिति के लिए पूर्ण अभिलक्षण प्रदान करना
  4. प्रमाण की कठोरता: गणितीय तर्क कठोर है, तकनीकी प्रबंधन सूक्ष्म है

कमियां

  1. प्रयोज्यता की सीमा: कुछ परिणामों को काफी मजबूत धारणा शर्तों की आवश्यकता है
  2. गणना जटिलता: व्यावहारिक रूप से विलोपक की गणना करना कठिन हो सकता है
  3. ज्यामितीय अंतर्ज्ञान: कुछ बीजगणितीय परिणामों का ज्यामितीय अर्थ पर्याप्त स्पष्ट नहीं है

प्रभाव

  1. सैद्धांतिक योगदान: विलक्षणता श्रेणी सिद्धांत के लिए नया अनुसंधान दृष्टिकोण प्रदान करना
  2. विधि मूल्य: प्रस्तुत तकनीकी विधियों में सामान्यता है
  3. अनुवर्ती अनुसंधान: संबंधित समस्याओं के अनुसंधान के लिए नए उपकरण प्रदान करना

प्रयोज्य परिदृश्य

  • क्रमविनिमेय बीजगणित में विलक्षणता सिद्धांत अनुसंधान
  • व्युत्पन्न श्रेणी और त्रिकोणीय श्रेणी के जनन गुणों का अनुसंधान
  • समरूप आयाम सिद्धांत के ज्यामितीय अनुप्रयोग

संदर्भ

यह पेपर 47 संबंधित संदर्भों का हवाला देता है, मुख्य रूप से शामिल हैं:

  • सह-समरूपता विलोपक पर Iyengar-Takahashi का अग्रणी कार्य
  • विलक्षणता श्रेणी पर Buchweitz का मूल सिद्धांत
  • त्रिकोणीय श्रेणी पर Orlov के महत्वपूर्ण परिणाम
  • जनन गुणों पर हाल के संबंधित प्रगति

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