व्युत्पन्न बीजगणितीय ज्यामिति: Difference between revisions

Revision as of 09:00, 8 May 2023

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

परिचय

क्षेत्र में अध्ययन की मूल वस्तुएं व्युत्पन्न योजनाएं और व्युत्पन्न चित्ति हैं। प्रायः उद्धृत प्रयोजन सेरे का प्रतिच्छेदन सूत्र है।^[2] सामान्य सूत्रीकरण में, सूत्र में टोर फलन-निर्धारक सम्मिलित होता है और इस प्रकार, जब तक उच्च टोर नष्ट नहीं हो जाता, तब तक योजना-सैद्धांतिक प्रतिच्छेदन (अर्थात, संलयन के सूत्र गुणनफल) सही प्रतिच्छेदन संख्या नहीं देते हैं। व्युत्पन्न संदर्भ में, कोई व्युत्पन्न प्रदिश गुणनफल $A\otimes ^{L}B$ लेता है, जिसका उच्च समस्थेयता उच्चतम टोर है, जिसका विनिर्देश एक योजना नहीं बल्कि एक व्युत्पन्न योजना है। इसलिए, व्युत्पन्न सूत्र गुणनफल सही प्रतिच्छेदन संख्या देता है। वर्तमान में यह काल्पनिक है व्युत्पन्न प्रतिच्छेदन सिद्धांत को अभी विकसित किया जाना है।

व्युत्पन्न शब्द का उपयोग उसी तरह से किया जाता है जैसे कि व्युत्पन्न फलन-निर्धारक या व्युत्पन्न श्रेणी, इस अर्थ में कि क्रमविनिमेय वलयों की श्रेणी को व्युत्पन्न वलयों की ∞-श्रेणी से प्रतिस्थापित किया जा रहा है। उत्कृष्ट बीजगणितीय ज्यामिति में, अर्ध-सुसंगत चित्ति की व्युत्पन्न श्रेणी को त्रिकोणीय श्रेणी के रूप में देखा जाता है, लेकिन इसमें एक स्थिर ∞-श्रेणी में प्राकृतिक वृद्धि होती है, जिसे एक एबेलियन श्रेणी के ∞-श्रेणीबद्ध एनालॉग के रूप में माना जा सकता है।

परिभाषाएँ

व्युत्पन्न बीजगणितीय ज्यामिति मूल रूप से होमोलॉजिकल (समरूप) बीजगणित और समस्थेयता का उपयोग करके ज्यामितीय वस्तुओं का अध्ययन है। चूंकि इस क्षेत्र में वस्तुओं को समरूपता और समस्थेयता जानकारी को सांकेतिक शब्दों में बदलना चाहिए, इसलिए व्युत्पन्न समष्‍टियो के बारे में विभिन्न धारणाएं हैं। व्युत्पन्न बीजगणितीय ज्यामिति में अध्ययन की मूल वस्तुएँ व्युत्पन्न योजनाएँ हैं, और अधिक सामान्यतः, व्युत्पन्न चित्ति हैं। स्वाभाविक रूप से, व्युत्पन्न योजनाओं को व्युत्पन्न वलयों की कुछ श्रेणी से लेकर समुच्चय की श्रेणी तक फलन-निर्धारक होना चाहिए

F:{\text{DerRings}}\to {\text{Sets}}

जिसे उच्च समूह के क्षेत्रों के लिए सामान्यीकृत किया जा सकता है जो कि समस्थेयता प्रकारों द्वारा तैयार किए जाने की अपेक्षा है। ये व्युत्पन्न चित्ति प्ररूप के उपयुक्त कारक हैं

F:{\text{DerRings}}\to {\text{HoT}}

कई लेखक ऐसे फलन-निर्धारको को सरलीकृत समुच्चय में मानो के साथ फलन-निर्धारक के रूप में मॉडल करते हैं, क्योंकि वे समस्थेयता प्रकारों का मॉडल करते हैं और अच्छी तरह से अध्ययन किए जाते हैं। इन व्युत्पन्न स्थानों पर अलग-अलग परिभाषाएँ इस बात पर निर्भर करती हैं कि व्युत्पन्न वलय क्या हैं, और समस्थेयता प्रकार क्या दिखना चाहिए। व्युत्पन्न रिंगों के कुछ उदाहरणों में क्रमविनिमेय अवकल वर्गीकृत बीजगणित, प्रतिसमुच्‍चीय वलय और $E_{\infty }$ -वलय सम्मिलित है।

विशिष्ट 0 पर व्युत्पन्न ज्यामिति

विशिष्ट 0 से अधिक व्युत्पन्न ज्यामिति सहमत हैं क्योंकि व्युत्पन्न वलय समान हैं। और $E_{\infty }$ बीजगणित विशिष्ट शून्य पर केवल क्रमविनिमेय अवकल वर्गीकृत बीजगणित हैं। फिर हम व्युत्पन्न योजनाओं को बीजगणितीय ज्यामिति में योजनाओं के समान परिभाषित कर सकते हैं। बीजगणितीय ज्यामिति के समान, हम इन वस्तुओं को एक युग्म $(X,{\mathcal {O}}_{X}^{\bullet })$ के रूप में भी देख सकते हैं, जो क्रमविनिमेय अवकल वर्गीकृत बीजगणित के समूह के साथ सांस्थितिक समष्टि $X$ है। कभी-कभी लेखक यह मानते हैं कि ये ऋणात्मक रूप से वर्गीकृत हैं, इसलिए ${\mathcal {O}}_{X}^{n}=0$ के लिए $n>0$ होता है। शीफ की स्थिति को भी दुर्बल किया जा सकता है ताकि $X$ के कवर $U_{i}$ के लिए चक्रिका ${\mathcal {O}}_{U_{i}}^{\bullet }$ केवल अर्ध-समरूपता द्वारा $U_{ij}$ अतिछादन पर जोड़ेगा।

दुर्भाग्य से, विशेष p पर, अवकल वर्गीकृत बीजगणित इस तथ्य $d[x^{p}]=p[x^{p-1}]$ के कारण समस्थेयता सिद्धांत के लिए निम्न काम करते हैं।[1] प्रतिसमुच्‍चीय बीजगणित का उपयोग करके इसे दूर किया जा सकता है।

यादृच्छिक विशेषता पर व्युत्पन्न ज्यामिति

यादृच्छिक विशेषता पर व्युत्पन्न वलयों को सरल श्रेणीबद्ध गुणों के कारण साधारण क्रमविनिमेय वलय के रूप में लिया जाता है। विशेष रूप से, साधारण वलय की श्रेणी सरल रूप से समृद्ध होती है, जिसका अर्थ है कि होम-समुच्चय स्वयं सरल समुच्चय होते हैं। इसके अतिरिक्त, साधारण समुच्चय से आने वाले साधारण क्रमविनिमेय वलयों पर एक प्रामाणिक मॉडल संरचना है।^[3] वास्तव में, यह क्विलेन का एक प्रमेय है कि सरल समुच्चय पर मॉडल संरचना को साधारण क्रमविनिमेय वलयों में स्थानांतरित किया जा सकता है।

उच्चतम राशि

यह अनुमान लगाया गया है कि उच्च चित्ति का एक अंतिम सिद्धांत है जो समस्थेयता परिकल्पना का मॉडल है। ग्रोथेंडिक ने अनुमान लगाया कि इन्हें वलयित समूह, या उनकी परिभाषा के दुर्बल रूप से तैयार किया जाएगा। सिम्पसन^[4] ग्रोथेंडिक के विचारों की मनोवृति में एक उपयोगी परिभाषा देता है। याद रखें कि एक बीजगणितीय चित्ति (यहां 1-चित्ति) को प्रतिनिधित्व योग्य कहा जाता है यदि किन्हीं दो योजनाओं का सूत्र गुणनफल एक योजना के लिए समरूपी है।^[5] यदि हम यह मान लें कि 0-चित्ति केवल एक बीजगणितीय समष्टि है और 1-राशि केवल एक राशि है, तो हम पुनरावर्ती रूप से एक n- राशि को एक वस्तु के रूप में परिभाषित कर सकते हैं जैसे कि किसी भी दो योजनाओं के साथ सूत्र गुणनफल एक (n-1)-स्टैक है। यदि हम बीजगणितीय राशि की परिभाषा पर वापस जाते हैं, तो यह नई परिभाषा सहमत होती है।

वर्णक्रमीय योजनाएं

व्युत्पन्न बीजगणितीय ज्यामिति का एक अन्य सिद्धांत वर्णक्रमीय योजनाओं के सिद्धांत द्वारा समझाया गया है। परिशुद्ध स्थिति के लिए उनकी परिभाषा के लिए उपयुक्त मात्रा में प्रौद्योगिकी की आवश्यकता होती है।^[6] लेकिन, संक्षेप में, वर्णक्रमीय योजनाएँ $X=({\mathfrak {X}},{\mathcal {O}}_{\mathfrak {X}})$ एक वर्णक्रमीय रूप से $\infty$ - सांस्थितिक ${\mathfrak {X}}$ एक साथ $\mathbb {E} _{\infty }$ -वलय के एक शीफ के साथ ${\mathcal {O}}_{\mathfrak {X}}$ वलय द्वारा दिया जाता है। इस पर एफ़िन योजनाओं की परिभाषा के समान कुछ स्थानीय स्थितियों के अधीन होती है। विशेष रूप से

${\mathfrak {X}}\cong {\text{Shv}}(X_{top})$ को कुछ सांस्थितिक समष्टि के $\infty$ सांस्थितिक के समतुल्य होना चाहिए।
$U_{i}$ का एक आच्छादन $X_{top}$ सम्मिलित होना चाहिए। जैसे कि प्रेरित शीर्ष $({\mathfrak {X}}_{U_{i}},{\mathcal {O}}_{{\mathfrak {X}}_{U_{i}}})$ एक वर्णक्रमीय रूप से वलयित टोपोस ${\text{Spec}}(A_{i})$ के समतुल्य है। कुछ के लिए $\mathbb {E} _{\infty }$ -वलय $A_{i}$ के समतुल्य होता है।

इसके अतिरिक्त, यदि $\pi _{i}({\mathcal {O}}_{\mathfrak {X}})=0$ के लिए $i<0$ तो वर्णक्रमीय योजना $X$ को संयोजक कहा जाता है।

उदाहरण

स्मरण करो कि एक बिंदु ${\text{Sh}}(*)$ का टोपोस समुच्चयों की श्रेणी के बराबर है। फिर, $\infty$ -टॉपोस समुच्चयन में, हम इसके अतिरिक्त $\infty$ -शेव के $\infty$ -ग्रुपोइड्स (जो हैं $\infty$ -श्रेणियाँ समान वस्तु के साथ) विचार करते हैं, जिसे ${\text{Shv}}(*)$ निरूपित करते है, अतः $\infty$ -टोपोस समुच्चयन बिंदु टोपोस के अनुरूप है। फिर, संलग्न करके एक वर्णक्रमीय रूप से वलयित समष्टि $\mathbb {E} _{\infty }$ -वलय $A$ की संरचना दी जा सकती है। ध्यान दें कि इसका तात्पर्य वर्णक्रमीय रूप से वलयित रिक्त समष्टि सामान्यीकरण करता है अतः $\mathbb {E} _{\infty }$ -वलय क्योंकि प्रत्येक $\mathbb {E} _{\infty }$ -वलय को वर्णक्रमीय रूप से वलयित समष्टि से संबद्ध किया जा सकता है।

यह वर्णक्रमीय रूप से वलयित टोपोस एक वर्णक्रमीय योजना हो सकती है यदि इस वलय का वर्णक्रम $\infty$ -टॉपोस एक समतुल्य देता है, इसलिए इसका अंतर्निहित समष्टि एक बिंदु है। उदाहरण के लिए, यह वलय वर्णक्रम $H\mathbb {Q}$ द्वारा दिया जा सकता है, जिसे ईलेनबर्ग-मैकलेन वर्णक्रम कहा जाता है, जो ईलेनबर्ग-मैकलेन समष्टि $K(\mathbb {Q} ,n)$ से निर्मित होता है।

अनुप्रयोग

व्युत्पन्न बीजगणितीय ज्यामिति का उपयोग केर्ज़, स्ट्रंक एंड टैमे (2018) द्वारा ऋणात्मक k-सिद्धांत के नष्ट होने पर वीबेल के अनुमान को प्रमाणित करने के लिए किया गया था।
अरिंकिन और गैट्सगोरी द्वारा ज्यामितीय लैंगलैंड अनुमान का सूत्रीकरण व्युत्पन्न बीजगणितीय ज्यामिति का उपयोग करता है।^[7]

यह भी देखें

व्युत्पन्न योजना
स्टैक का अनुसरण
गैर क्रमपरिवर्तनीय ति बीजगणितीय ज्यामिति
सरल क्रमविनिमेय वलय
व्युत्पन्न
एक ओपेरा पर बीजगणित
En-वलय
उच्चतम टोपोस सिद्धांत
∞-टोपोस
एटेल स्पेक्ट्रम (वर्णक्रम)

↑ Khan, Adeel A. (2019). "ब्रेव न्यू मोटिविक होमोटॉपी थ्योरी I". Geom. Topol. 23: 3647–3685. arXiv:1610.06871. doi:10.2140/gt.2019.23.3647. S2CID 119661301.
↑ Serre intersection formula and derived algebraic geometry?
↑ Mathew, Akhil. "सिंपल कम्यूटेटिव रिंग्स, आई" (PDF). Archived (PDF) from the original on 16 June 2019.
↑ Simpson, Carlos (1996-09-17). "बीजीय (ज्यामितीय) $n$-स्टैक". arXiv:alg-geom/9609014.
↑ Which can be checked by looking at the diagonal morphism and checking if that itself is representable. Check out https://math.dartmouth.edu/~jvoight/notes/moduli-red-harvard.pdf for more information
↑ Rezk, Charles. "स्पेक्ट्रल बीजगणितीय ज्यामिति" (PDF). p. 23 (section 10.6). Archived (PDF) from the original on 2020-04-25.
↑ Arinkin, Dima; Gaitsgory, Dennis (2015). "सुसंगत ढेरों का विलक्षण समर्थन और ज्यामितीय लैंगलैंड्स अनुमान". Selecta Math. 21 (1): 1–199. doi:10.1007/s00029-014-0167-5. S2CID 119136874.

संदर्भ

सादा दिन

Toën, Bertrand (2014-01-06). "व्युत्पन्न बीजगणितीय ज्यामिति". arXiv:1401.1044 [math.AG].
Toën, Bertrand; Vezzosi, Gabriele (2004). "From HAG to DAG: derived moduli stacks". In Greenlees, J. P. C. (ed.). स्वयंसिद्ध, समृद्ध और प्रेरक समरूपता सिद्धांत। नाटो उन्नत अध्ययन संस्थान की कार्यवाही, कैम्ब्रिज, यूके, 9-20 सितंबर, 2002. NATO Science Series II: Mathematics, Physics and Chemistry. Vol. 131. Dordrecht: Kluwer Academic Publishers. pp. 173–216. ISBN 1-4020-1833-9. Zbl 1076.14002.
Vezzosi, Gabriele (2011). "एक व्युत्पन्न ढेर क्या है?" (PDF). Notices Am. Math. Soc. 58 (7): 955–958. Zbl 1228.14004.

डिफरेंशियल क्रमिक डीएजी

Eugster, J.; Pridham, J.P. (2021-10-25). "व्युत्पन्न (बीजीय) ज्यामिति का परिचय". arXiv:2109.14594 [math.AG].

और_n और ई_∞ -अंगूठियां

स्पेक्ट्रल बीजगणितीय ज्यामिति - Rezk
ऑपरेड्स एंड शीफ कोहोलॉजी - जेपी मई - $E_{\infty }$ विशेषता 0 और पर -रिंग्स $E_{\infty }$ शेफ कोहोलॉजी के लिए संरचना
ई की स्पर्शरेखा जटिल और होशचाइल्ड कोहोलॉजी_n-रिंग्स https://arxiv.org/abs/1104.0181
फ्रांसिस, जॉन; व्युत्पन्न बीजगणितीय ज्यामिति ओवर ${\mathcal {E}}_{n}$ -रिंग्स

अनुप्रयोग

लोरे, पार्कर; शुर्ग, टिमो। (2018)। arxiv:1208.6325|व्युत्पन्न योजनाओं के लिए Grothendieck-Riemann-Roch
सियोकान-फोंटेनाइन, आई., कापरानोव, एम. (2007)। arxiv:math/0703214|dg-manifolds के माध्यम से वर्चुअल फंडामेंटल क्लासेस
मान, ई., रोबालो एम. (2018)। arxiv:1803.09476|ग्रोमोव-विटन सिद्धांत व्युत्पन्न बीजगणितीय ज्यामिति के साथ
डेविड बेन-ज़वी|बेन-ज़्वी, डी., फ्रांसिस, जे., और डी. नाडलर। व्युत्पन्न बीजगणितीय ज्यामिति में इंटीग्रल ट्रांसफॉर्म्स और ड्रिनफेल्ड केंद्र .
Kerz, Moritz; Strunk, Florian; Tamme, Georg (2018), "Algebraic K-theory and descent for blow-ups", Invent. Math., 211 (2): 523–577, arXiv:1611.08466, Bibcode:2018InMat.211..523K, doi:10.1007/s00222-017-0752-2, MR 3748313, S2CID 119165673

क्वांटम फील्ड सिद्धांत

आर्क्सिव: 1111.4234

बाहरी संबंध

Jacob Lurie's Home Page
Overview of Spectral Algebraic Geometry
DAG reading group (Fall 2011) at Harvard
http://ncatlab.org/nlab/show/derived+algebraic+geometry
Michigan Derived Algebraic Geometry RTG Learning Workshop, 2012
Derived algebraic geometry: how to reach research level math?
Derived Algebraic Geometry and Chow Rings/Chow Motives
Gabriele Vezzosi, An overview of derived algebraic geometry, October 2013

[1] Khan, Adeel A. (2019). "ब्रेव न्यू मोटिविक होमोटॉपी थ्योरी I". Geom. Topol. 23: 3647–3685. arXiv:1610.06871. doi:10.2140/gt.2019.23.3647. S2CID 119661301.

[2] Serre intersection formula and derived algebraic geometry?

[3] Mathew, Akhil. "सिंपल कम्यूटेटिव रिंग्स, आई" (PDF). Archived (PDF) from the original on 16 June 2019.

[4] Simpson, Carlos (1996-09-17). "बीजीय (ज्यामितीय) $n$-स्टैक". arXiv:alg-geom/9609014.

[5] Which can be checked by looking at the diagonal morphism and checking if that itself is representable. Check out https://math.dartmouth.edu/~jvoight/notes/moduli-red-harvard.pdf for more information

[6] Rezk, Charles. "स्पेक्ट्रल बीजगणितीय ज्यामिति" (PDF). p. 23 (section 10.6). Archived (PDF) from the original on 2020-04-25.

[7] Arinkin, Dima; Gaitsgory, Dennis (2015). "सुसंगत ढेरों का विलक्षण समर्थन और ज्यामितीय लैंगलैंड्स अनुमान". Selecta Math. 21 (1): 1–199. doi:10.1007/s00029-014-0167-5. S2CID 119136874.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 1: / Line 1: @@
 {{Short description|Branch of mathematics}}
-व्युत्पन्न [[बीजगणितीय ज्यामिति]] गणित की एक शाखा है जो बीजगणितीय ज्यामिति को एक ऐसी स्थिति में सामान्यीकृत करती है जहां क्रमविनिमेय छल्ले, जो स्थानीय चार्ट प्रदान करते हैं, को या तो विभेदक श्रेणीबद्ध बीजगणित से बदल दिया जाता है। <math>\mathbb{Q}</math>), साधारण क्रमविनिमेय वलय या अत्यधिक संरचित वलय स्पेक्ट्रम|<math>E_{\infty}</math>[[बीजगणितीय टोपोलॉजी]] से रिंग स्पेक्ट्रा, जिनके उच्च होमोटॉपी समूह संरचना शीफ की गैर-विसंगतता (जैसे, टोर) के लिए खाते हैं। ग्रोथेंडिक की [[योजना सिद्धांत]] संरचना शीफ को नीलपोटेंट तत्वों को ले जाने की अनुमति देता है। व्युत्पन्न बीजगणितीय ज्यामिति को इस विचार के विस्तार के रूप में माना जा सकता है, और [[प्रतिच्छेदन सिद्धांत]] (या प्रेरक होमोटोपी सिद्धांत) के लिए प्राकृतिक सेटिंग्स प्रदान करता है।<ref>{{cite journal|last=Khan|first=Adeel A.|year=2019|title=ब्रेव न्यू मोटिविक होमोटॉपी थ्योरी I|journal=Geom. Topol.|volume=23|pages=3647–3685|arxiv=1610.06871|doi=10.2140/gt.2019.23.3647|s2cid=119661301}}</ref>) अन्य अनुप्रयोगों के बीच [[विरूपण सिद्धांत]] (cf. J. फ्रांसिस) में एकवचन बीजगणितीय किस्मों और कोटेंगेंट परिसरों का।
+'''''व्युत्पन्न बीजगणितीय ज्यामिति''''' गणित की एक शाखा है जो बीजगणितीय ज्यामिति को ऐसी स्थिति में सामान्यीकृत करती है जहां क्रमविनिमेय वलय, जो स्थानीय चार्ट प्रदान करते हैं, या तो अवकल क्रमिक बीजगणित <math>\mathbb{Q}</math> से अधिक, साधारण क्रमविनिमेय वलय या <math>E_{\infty}</math> द्वारा प्रतिस्थापित किए जाते हैं। बीजगणितीय सांस्थिति से वलय दीप्ति रेखाएं, जिसके उच्च समस्थेयता समूह संरचना शीफ की गैर-विसंगतता (जैसे, टोर) के लिए अधीन हैं। ग्रोथेंडिक की योजना सिद्धांत संरचना शीफ को शून्यंभावी अवयव को ले जाने की स्वीकृति देता है। व्युत्पन्न बीजगणितीय ज्यामिति को इस विचार के विस्तार के रूप में माना जा सकता है और अन्य अनुप्रयोगों के बीच विरूपण सिद्धांत (सीएफ जे फ्रांसिस) में विशिष्ट बीजगणितीय किस्मों और कोटिस्पर्शी सम्मिश्रों के प्रतिच्छेदन सिद्धांत (या प्रेरक समस्थेयता सिद्धांत<ref>{{cite journal|last=Khan|first=Adeel A.|year=2019|title=ब्रेव न्यू मोटिविक होमोटॉपी थ्योरी I|journal=Geom. Topol.|volume=23|pages=3647–3685|arxiv=1610.06871|doi=10.2140/gt.2019.23.3647|s2cid=119661301}}</ref>) के लिए प्राकृतिक समायोजन प्रदान करता है।
 == परिचय ==
-क्षेत्र में अध्ययन की मूल वस्तुएँ [[व्युत्पन्न योजना]]एँ और [[व्युत्पन्न ढेर]] हैं। अक्सर उद्धृत प्रेरणा सेरे का प्रतिच्छेदन सूत्र है।<ref>[https://mathoverflow.net/q/12236 Serre intersection formula and derived algebraic geometry?]</ref> सामान्य सूत्रीकरण में, सूत्र में [[टोर काम करता है]] शामिल होता है और इस प्रकार, जब तक उच्च टोर गायब नहीं हो जाता, तब तक योजना-सैद्धांतिक प्रतिच्छेदन (यानी, विसर्जन के फाइबर उत्पाद) सही प्रतिच्छेदन संख्या नहीं देते हैं। व्युत्पन्न संदर्भ में, कोई [[व्युत्पन्न टेंसर उत्पाद]] लेता है <math>A \otimes^L B</math>, जिसका उच्च होमोटॉपी उच्चतर टोर है, जिसका ईटेल स्पेक एक योजना नहीं बल्कि एक व्युत्पन्न योजना है। इसलिए, व्युत्पन्न फाइबर उत्पाद सही प्रतिच्छेदन संख्या देता है। (वर्तमान में यह काल्पनिक है; व्युत्पन्न प्रतिच्छेदन सिद्धांत को अभी विकसित किया जाना है।)
+क्षेत्र में अध्ययन की मूल वस्तुएं व्युत्पन्न योजनाएं और व्युत्पन्न चित्ति हैं। प्रायः उद्धृत प्रयोजन सेरे का प्रतिच्छेदन सूत्र है।<ref>[https://mathoverflow.net/q/12236 Serre intersection formula and derived algebraic geometry?]</ref> सामान्य सूत्रीकरण में, सूत्र में टोर फलन-निर्धारक सम्मिलित होता है और इस प्रकार, जब तक उच्च टोर नष्ट नहीं हो जाता, तब तक योजना-सैद्धांतिक प्रतिच्छेदन (अर्थात, संलयन के सूत्र गुणनफल) सही प्रतिच्छेदन संख्या नहीं देते हैं। व्युत्पन्न संदर्भ में, कोई [[व्युत्पन्न टेंसर उत्पाद|व्युत्पन्न प्रदिश गुणनफल]] <math>A \otimes^L B</math> लेता है, जिसका उच्च समस्थेयता उच्चतम टोर है, जिसका विनिर्देश एक योजना नहीं बल्कि एक व्युत्पन्न योजना है। इसलिए, व्युत्पन्न सूत्र गुणनफल सही प्रतिच्छेदन संख्या देता है। वर्तमान में यह काल्पनिक है व्युत्पन्न प्रतिच्छेदन सिद्धांत को अभी विकसित किया जाना है।
-व्युत्पन्न शब्द का उपयोग उसी तरह से किया जाता है जैसे कि व्युत्पन्न फंक्टर या [[व्युत्पन्न श्रेणी]], इस अर्थ में कि क्रमविनिमेय रिंगों की श्रेणी को व्युत्पन्न रिंगों की ∞-श्रेणी से प्रतिस्थापित किया जा रहा है। शास्त्रीय बीजगणितीय ज्यामिति में, [[अर्ध-सुसंगत शीफ]] की व्युत्पन्न श्रेणी|अर्ध-सुसंगत ढेरों को [[त्रिकोणीय श्रेणी]] के रूप में देखा जाता है, लेकिन इसमें एक स्थिर ∞-श्रेणी में प्राकृतिक वृद्धि होती है, जिसे ∞-श्रेणी के रूप में माना जा सकता है|∞- एक [[एबेलियन श्रेणी]] का श्रेणीबद्ध एनालॉग।
+व्युत्पन्न शब्द का उपयोग उसी तरह से किया जाता है जैसे कि व्युत्पन्न फलन-निर्धारक या [[व्युत्पन्न श्रेणी]], इस अर्थ में कि क्रमविनिमेय वलयों की श्रेणी को व्युत्पन्न वलयों की ∞-श्रेणी से प्रतिस्थापित किया जा रहा है। उत्कृष्ट बीजगणितीय ज्यामिति में, [[अर्ध-सुसंगत शीफ|अर्ध-सुसंगत चित्ति]] की व्युत्पन्न श्रेणी को [[त्रिकोणीय श्रेणी]] के रूप में देखा जाता है, लेकिन इसमें एक स्थिर ∞-श्रेणी में प्राकृतिक वृद्धि होती है, जिसे एक एबेलियन श्रेणी के ∞-श्रेणीबद्ध एनालॉग के रूप में माना जा सकता है।
 == परिभाषाएँ ==
-व्युत्पन्न बीजगणितीय ज्यामिति मूल रूप से होमोलॉजिकल बीजगणित और होमोटोपी का उपयोग करके ज्यामितीय वस्तुओं का अध्ययन है। चूंकि इस क्षेत्र में वस्तुओं को समरूपता और होमोटोपी जानकारी को सांकेतिक शब्दों में बदलना चाहिए, इसलिए व्युत्पन्न रिक्त स्थान के बारे में विभिन्न धारणाएं हैं। व्युत्पन्न बीजगणितीय ज्यामिति में अध्ययन की मूल वस्तुएँ व्युत्पन्न योजनाएँ हैं, और अधिक सामान्यतः, व्युत्पन्न ढेर हैं। स्वाभाविक रूप से, व्युत्पन्न योजनाओं को व्युत्पन्न रिंगों की कुछ श्रेणी से लेकर सेट की श्रेणी तक फ़ैक्टर होना चाहिए
+व्युत्पन्न बीजगणितीय ज्यामिति मूल रूप से होमोलॉजिकल (समरूप) बीजगणित और समस्थेयता का उपयोग करके ज्यामितीय वस्तुओं का अध्ययन है। चूंकि इस क्षेत्र में वस्तुओं को समरूपता और समस्थेयता जानकारी को सांकेतिक शब्दों में बदलना चाहिए, इसलिए व्युत्पन्न समष्‍टियो के बारे में विभिन्न धारणाएं हैं। व्युत्पन्न बीजगणितीय ज्यामिति में अध्ययन की मूल वस्तुएँ व्युत्पन्न योजनाएँ हैं, और अधिक सामान्यतः, व्युत्पन्न चित्ति हैं। स्वाभाविक रूप से, व्युत्पन्न योजनाओं को व्युत्पन्न वलयों की कुछ श्रेणी से लेकर समुच्चय की श्रेणी तक फलन-निर्धारक होना चाहिए
 :<math>F: \text{DerRings} \to \text{Sets}</math>
-जिसे उच्च समूह के लक्ष्यों के लिए सामान्यीकृत किया जा सकता है (जो कि होमोटोपी प्रकारों द्वारा तैयार किए जाने की उम्मीद है)। ये व्युत्पन्न ढेर फॉर्म के उपयुक्त कारक हैं
+जिसे उच्च समूह के क्षेत्रों के लिए सामान्यीकृत किया जा सकता है जो कि समस्थेयता प्रकारों द्वारा तैयार किए जाने की अपेक्षा है। ये व्युत्पन्न चित्ति प्ररूप के उपयुक्त कारक हैं
 :<math>F: \text{DerRings} \to \text{HoT}</math>
-कई लेखक ऐसे फ़ंक्टरों को सरलीकृत सेटों में मूल्यों के साथ फ़ंक्टर्स के रूप में मॉडल करते हैं, क्योंकि वे होमोटोपी प्रकारों का मॉडल करते हैं और अच्छी तरह से अध्ययन किए जाते हैं। इन व्युत्पन्न स्थानों पर अलग-अलग परिभाषाएँ इस बात पर निर्भर करती हैं कि व्युत्पन्न छल्ले क्या हैं, और होमोटोपी प्रकार क्या दिखना चाहिए। व्युत्पन्न रिंगों के कुछ उदाहरणों में कम्यूटेटिव डिफरेंशियल ग्रेडेड अल्जेब्रा, सिंपलियल रिंग्स और शामिल हैं <math>E_\infty</math>-छल्ले।
+कई लेखक ऐसे फलन-निर्धारको को सरलीकृत समुच्चय में मानो के साथ फलन-निर्धारक के रूप में मॉडल करते हैं, क्योंकि वे समस्थेयता प्रकारों का मॉडल करते हैं और अच्छी तरह से अध्ययन किए जाते हैं। इन व्युत्पन्न स्थानों पर अलग-अलग परिभाषाएँ इस बात पर निर्भर करती हैं कि व्युत्पन्न वलय क्या हैं, और समस्थेयता प्रकार क्या दिखना चाहिए। व्युत्पन्न रिंगों के कुछ उदाहरणों में क्रमविनिमेय अवकल वर्गीकृत बीजगणित, प्रतिसमुच्‍चीय वलय और <math>E_\infty</math>-वलय सम्मिलित है।
-=== विशेषता 0 === पर व्युत्पन्न ज्यामिति
+===== विशिष्ट 0 पर व्युत्पन्न ज्यामिति =====
-विशेषता 0 से अधिक व्युत्पन्न ज्यामिति सहमत हैं क्योंकि व्युत्पन्न वलय समान हैं। <math>E_\infty</math> बीजगणित विशिष्ट शून्य पर केवल क्रमविनिमेय अंतर वर्गीकृत बीजगणित हैं। फिर हम व्युत्पन्न योजनाओं को बीजगणितीय ज्यामिति में योजनाओं के समान परिभाषित कर सकते हैं। बीजगणितीय ज्यामिति के समान, हम इन वस्तुओं को एक युग्म के रूप में भी देख सकते हैं <math>(X,\mathcal{O}_X^\bullet)</math> जो एक टोपोलॉजिकल स्पेस है <math>X</math> कम्यूटेटिव डिफरेंशियल ग्रेडेड अल्जेब्रस के एक समूह के साथ। कभी-कभी लेखक यह मानते हैं कि ये नकारात्मक रूप से वर्गीकृत हैं, इसलिए <math>\mathcal{O}_X^{n} = 0</math> के लिए <math>n > 0</math>. एक आवरण के लिए शीफ की स्थिति को भी कमजोर किया जा सकता है <math>U_i</math> का <math>X</math>, शीशों <math>\mathcal{O}_{U_i}^\bullet</math> ओवरलैप्स पर चिपकाएगा <math>U_{ij}</math> केवल अर्ध-समरूपता द्वारा।
+विशिष्ट 0 से अधिक व्युत्पन्न ज्यामिति सहमत हैं क्योंकि व्युत्पन्न वलय समान हैं। और <math>E_\infty</math> बीजगणित विशिष्ट शून्य पर केवल क्रमविनिमेय अवकल वर्गीकृत बीजगणित हैं। फिर हम व्युत्पन्न योजनाओं को बीजगणितीय ज्यामिति में योजनाओं के समान परिभाषित कर सकते हैं। बीजगणितीय ज्यामिति के समान, हम इन वस्तुओं को एक युग्म <math>(X,\mathcal{O}_X^\bullet)</math> के रूप में भी देख सकते हैं, जो क्रमविनिमेय अवकल वर्गीकृत बीजगणित के समूह के साथ सांस्थितिक समष्टि <math>X</math> है। कभी-कभी लेखक यह मानते हैं कि ये ऋणात्मक रूप से वर्गीकृत हैं, इसलिए <math>\mathcal{O}_X^{n} = 0</math> के लिए <math>n > 0</math> होता है। शीफ की स्थिति को भी दुर्बल किया जा सकता है ताकि <math>X</math> के कवर <math>U_i</math> के लिए चक्रिका <math>\mathcal{O}_{U_i}^\bullet</math> केवल अर्ध-समरूपता द्वारा <math>U_{ij}</math> अतिछादन पर जोड़ेगा।
-दुर्भाग्य से, विशिष्ट पी पर, अंतर वर्गीकृत बीजगणित होमोटोपी सिद्धांत के लिए खराब काम करते हैं, इस तथ्य के कारण <math>d[x^p] = p[x^{p-1}]</math>[https://mathoverflow.net/questions/229022/why-do-people-say-dg-algebras-behave-badly-in-positive-characteristic]। सरल बीजगणित का उपयोग करके इसे दूर किया जा सकता है।
+दुर्भाग्य से, विशेष p पर, अवकल वर्गीकृत बीजगणित इस तथ्य <math>d[x^p] = p[x^{p-1}]</math> के कारण समस्थेयता सिद्धांत के लिए निम्न काम करते हैं।[https://mathoverflow.net/questions/229022/why-do-people-say-dg-algebras-behave-badly-in-positive-characteristic] प्रतिसमुच्‍चीय बीजगणित का उपयोग करके इसे दूर किया जा सकता है।
-=== मनमाना विशेषता === पर व्युत्पन्न ज्यामिति
+==== यादृच्छिक विशेषता पर व्युत्पन्न ज्यामिति ====
-मनमाना विशेषता पर व्युत्पन्न रिंगों को सरल श्रेणीबद्ध गुणों के कारण साधारण कम्यूटेटिव रिंग के रूप में लिया जाता है। विशेष रूप से, साधारण छल्ले की श्रेणी सरल रूप से समृद्ध होती है, जिसका अर्थ है कि होम-सेट स्वयं सरल सेट होते हैं। इसके अलावा, साधारण सेट से आने वाले साधारण कम्यूटेटिव रिंगों पर एक कैनोनिकल मॉडल संरचना है।<ref>{{Cite web|url=http://math.uchicago.edu/~amathew/SCR.pdf|title=सिंपल कम्यूटेटिव रिंग्स, आई|last=Mathew|first=Akhil|date=|website=|url-status=live|archive-url=https://web.archive.org/web/20190616111255/http://math.uchicago.edu/~amathew/SCR.pdf|archive-date=16 June 2019|access-date=}}</ref> वास्तव में, यह क्विलेन का एक प्रमेय है कि सरल सेटों पर मॉडल संरचना को साधारण क्रमविनिमेय रिंगों में स्थानांतरित किया जा सकता है।
+यादृच्छिक विशेषता पर व्युत्पन्न वलयों को सरल श्रेणीबद्ध गुणों के कारण साधारण क्रमविनिमेय वलय के रूप में लिया जाता है। विशेष रूप से, साधारण वलय की श्रेणी सरल रूप से समृद्ध होती है, जिसका अर्थ है कि होम-समुच्चय स्वयं सरल समुच्चय होते हैं। इसके अतिरिक्त, साधारण समुच्चय से आने वाले साधारण क्रमविनिमेय वलयों पर एक प्रामाणिक मॉडल संरचना है।<ref>{{Cite web|url=http://math.uchicago.edu/~amathew/SCR.pdf|title=सिंपल कम्यूटेटिव रिंग्स, आई|last=Mathew|first=Akhil|date=|website=|url-status=live|archive-url=https://web.archive.org/web/20190616111255/http://math.uchicago.edu/~amathew/SCR.pdf|archive-date=16 June 2019|access-date=}}</ref> वास्तव में, यह क्विलेन का एक प्रमेय है कि सरल समुच्चय पर मॉडल संरचना को साधारण क्रमविनिमेय वलयों में स्थानांतरित किया जा सकता है।
-=== उच्च ढेर ===
+=== उच्चतम राशि ===
-यह अनुमान लगाया गया है कि उच्च ढेर का एक अंतिम सिद्धांत है जो [[होमोटॉपी परिकल्पना]] का मॉडल है। ग्रोथेंडिक ने अनुमान लगाया कि इन्हें गोलाकार समूह, या उनकी परिभाषा के कमजोर रूप से तैयार किया जाएगा। सिम्पसन<ref>{{cite arXiv|last=Simpson|first=Carlos|date=1996-09-17|title=बीजीय (ज्यामितीय) $n$-स्टैक|eprint=alg-geom/9609014}}</ref> ग्रोथेंडिक के विचारों की भावना में एक उपयोगी परिभाषा देता है। याद रखें कि एक बीजगणितीय स्टैक (यहां 1-स्टैक) को प्रतिनिधित्व योग्य कहा जाता है यदि किन्हीं दो योजनाओं का फाइबर उत्पाद एक योजना के लिए आइसोमोर्फिक है।<ref>Which can be checked by looking at the diagonal morphism and checking if that itself is representable. Check out https://math.dartmouth.edu/~jvoight/notes/moduli-red-harvard.pdf for more information</ref> यदि हम यह मान लें कि 0-स्टैक केवल एक बीजगणितीय स्थान है और 1-स्टैक केवल एक स्टैक है, तो हम पुनरावर्ती रूप से एक n-स्टैक को एक वस्तु के रूप में परिभाषित कर सकते हैं जैसे कि किसी भी दो योजनाओं के साथ फाइबर उत्पाद एक (n-) है। 1)-स्टैक। यदि हम बीजगणितीय ढेर की परिभाषा पर वापस जाते हैं, तो यह नई परिभाषा सहमत होती है।
+यह अनुमान लगाया गया है कि उच्च चित्ति का एक अंतिम सिद्धांत है जो [[होमोटॉपी परिकल्पना|समस्थेयता परिकल्पना]] का मॉडल है। ग्रोथेंडिक ने अनुमान लगाया कि इन्हें वलयित समूह, या उनकी परिभाषा के दुर्बल रूप से तैयार किया जाएगा। सिम्पसन<ref>{{cite arXiv|last=Simpson|first=Carlos|date=1996-09-17|title=बीजीय (ज्यामितीय) $n$-स्टैक|eprint=alg-geom/9609014}}</ref> ग्रोथेंडिक के विचारों की मनोवृति में एक उपयोगी परिभाषा देता है। याद रखें कि एक बीजगणितीय चित्ति (यहां 1-चित्ति) को प्रतिनिधित्व योग्य कहा जाता है यदि किन्हीं दो योजनाओं का सूत्र गुणनफल एक योजना के लिए समरूपी है।<ref>Which can be checked by looking at the diagonal morphism and checking if that itself is representable. Check out https://math.dartmouth.edu/~jvoight/notes/moduli-red-harvard.pdf for more information</ref> यदि हम यह मान लें कि 0-चित्ति केवल एक बीजगणितीय समष्टि है और 1-राशि केवल एक राशि है, तो हम पुनरावर्ती रूप से एक n- राशि को एक वस्तु के रूप में परिभाषित कर सकते हैं जैसे कि किसी भी दो योजनाओं के साथ सूत्र गुणनफल एक (n-1)-स्टैक है। यदि हम बीजगणितीय राशि की परिभाषा पर वापस जाते हैं, तो यह नई परिभाषा सहमत होती है।
-== स्पेक्ट्रल योजनाएं ==
+== वर्णक्रमीय योजनाएं ==
-व्युत्पन्न बीजगणितीय ज्यामिति का एक अन्य सिद्धांत वर्णक्रमीय योजनाओं के सिद्धांत द्वारा समझाया गया है। सटीक स्थिति के लिए उनकी परिभाषा के लिए उचित मात्रा में प्रौद्योगिकी की आवश्यकता होती है।<ref>{{Cite web|url=https://faculty.math.illinois.edu/~rezk/sag-chapter.pdf|title=स्पेक्ट्रल बीजगणितीय ज्यामिति|last=Rezk|first=Charles|date=|website=|page=23 (section 10.6)|url-status=live|archive-url=https://web.archive.org/web/20200425203513/https://faculty.math.illinois.edu/~rezk/sag-chapter.pdf|archive-date=2020-04-25|access-date=}}</ref> लेकिन, संक्षेप में, वर्णक्रमीय योजनाएँ <math>X = (\mathfrak{X},\mathcal{O}_{\mathfrak{X}})</math> एक वर्णक्रमीय रूप से वलय द्वारा दिया जाता है <math>\infty</math>-टोपोस <math>\mathfrak{X}</math> एक साथ के एक पूले के साथ <math>\mathbb{E}_\infty</math>-छल्ले <math>\mathcal{O}_{\mathfrak{X}}</math> इस पर affine योजनाओं की परिभाषा के समान कुछ स्थानीय स्थितियों के अधीन। विशेष रूप से
+व्युत्पन्न बीजगणितीय ज्यामिति का एक अन्य सिद्धांत वर्णक्रमीय योजनाओं के सिद्धांत द्वारा समझाया गया है। परिशुद्ध स्थिति के लिए उनकी परिभाषा के लिए उपयुक्त मात्रा में प्रौद्योगिकी की आवश्यकता होती है।<ref>{{Cite web|url=https://faculty.math.illinois.edu/~rezk/sag-chapter.pdf|title=स्पेक्ट्रल बीजगणितीय ज्यामिति|last=Rezk|first=Charles|date=|website=|page=23 (section 10.6)|url-status=live|archive-url=https://web.archive.org/web/20200425203513/https://faculty.math.illinois.edu/~rezk/sag-chapter.pdf|archive-date=2020-04-25|access-date=}}</ref> लेकिन, संक्षेप में, वर्णक्रमीय योजनाएँ <math>X = (\mathfrak{X},\mathcal{O}_{\mathfrak{X}})</math> एक वर्णक्रमीय रूप से <math>\infty</math>- सांस्थितिक <math>\mathfrak{X}</math> एक साथ <math>\mathbb{E}_\infty</math>-वलय के एक शीफ के साथ <math>\mathcal{O}_{\mathfrak{X}}</math> वलय द्वारा दिया जाता है। इस पर एफ़िन योजनाओं की परिभाषा के समान कुछ स्थानीय स्थितियों के अधीन होती है। विशेष रूप से
-#<math>\mathfrak{X} \cong \text{Shv}(X_{top})</math> के समकक्ष होना चाहिए <math>\infty</math>कुछ टोपोलॉजिकल स्पेस के टॉपोज़
+#<math>\mathfrak{X} \cong \text{Shv}(X_{top})</math> को कुछ सांस्थितिक समष्टि के <math>\infty</math> सांस्थितिक के समतुल्य होना चाहिए।
-# एक आवरण मौजूद होना चाहिए <math>U_i</math> का <math>X_{top}</math> जैसे कि प्रेरित टोपोस <math>(\mathfrak{X}_{U_i}, \mathcal{O}_{\mathfrak{X}_{U_i}})</math> एक वर्णक्रमीय रूप से चक्राकार टोपोस के बराबर है <math>\text{Spec}(A_i)</math> कुछ के लिए <math>\mathbb{E}_\infty</math>-अँगूठी <math>A_i</math>
+# <math>U_i</math> का एक आच्छादन <math>X_{top}</math> सम्मिलित होना चाहिए। जैसे कि प्रेरित शीर्ष <math>(\mathfrak{X}_{U_i}, \mathcal{O}_{\mathfrak{X}_{U_i}})</math> एक वर्णक्रमीय रूप से वलयित टोपोस <math>\text{Spec}(A_i)</math> के समतुल्य है। कुछ के लिए <math>\mathbb{E}_\infty</math>-वलय <math>A_i</math> के समतुल्य होता है।
-इसके अलावा, वर्णक्रमीय योजना <math>X</math> संयोजी कहा जाता है यदि <math>\pi_i(\mathcal{O}_{\mathfrak{X}}) = 0</math> के लिए <math>i < 0</math>.
+इसके अतिरिक्त, यदि <math>\pi_i(\mathcal{O}_{\mathfrak{X}}) = 0</math> के लिए <math>i < 0</math> तो वर्णक्रमीय योजना <math>X</math> को संयोजक कहा जाता है।
 === उदाहरण ===
-स्मरण करो कि एक बिंदु के शीर्ष <math>\text{Sh}(*)</math> सेट की श्रेणी के बराबर है। फिर, में <math>\infty</math>-टॉपोस सेटिंग, हम इसके बजाय विचार करते हैं <math>\infty</math>-शेव <math>\infty</math>-ग्रुपोइड्स (जो हैं <math>\infty</math>-श्रेणियाँ एक ही वस्तु के साथ), निरूपित <math>\text{Shv}(*)</math>, बिंदु टोपोस का एक एनालॉग दे रहा है <math>\infty</math>-टोपोस सेटिंग। फिर, संलग्न करके एक वर्णक्रमीय रूप से चक्राकार स्थान की संरचना दी जा सकती है <math>\mathbb{E}_\infty</math>-अँगूठी <math>A</math>. ध्यान दें कि इसका मतलब वर्णक्रमीय रूप से चक्राकार रिक्त स्थान सामान्यीकरण है <math>\mathbb{E}_\infty</math>-हर के बाद से बजता है <math>\mathbb{E}_\infty</math>-अंगूठी को वर्णक्रमीय रूप से चक्राकार स्थान से संबद्ध किया जा सकता है।
+स्मरण करो कि एक बिंदु <math>\text{Sh}(*)</math> का टोपोस समुच्चयों की श्रेणी के बराबर है। फिर, <math>\infty</math>-टॉपोस समुच्चयन में, हम इसके अतिरिक्त <math>\infty</math>-शेव के <math>\infty</math>-ग्रुपोइड्स (जो हैं <math>\infty</math>-श्रेणियाँ समान वस्तु के साथ) विचार करते हैं, जिसे <math>\text{Shv}(*)</math> निरूपित करते है, अतः <math>\infty</math>-टोपोस समुच्चयन बिंदु टोपोस के अनुरूप है। फिर, संलग्न करके एक वर्णक्रमीय रूप से वलयित समष्टि <math>\mathbb{E}_\infty</math>-वलय <math>A</math> की संरचना दी जा सकती है। ध्यान दें कि इसका तात्पर्य वर्णक्रमीय रूप से वलयित रिक्त समष्टि सामान्यीकरण करता है अतः <math>\mathbb{E}_\infty</math>-वलय क्योंकि प्रत्येक <math>\mathbb{E}_\infty</math>-वलय को वर्णक्रमीय रूप से वलयित समष्टि से संबद्ध किया जा सकता है।
-यह वर्णक्रमीय रूप से चक्राकार टोपोस एक वर्णक्रमीय योजना हो सकती है यदि इस वलय का स्पेक्ट्रम एक समतुल्य देता है <math>\infty</math>-टॉपोस, इसलिए इसका अंतर्निहित स्थान एक बिंदु है। उदाहरण के लिए, यह रिंग स्पेक्ट्रम द्वारा दिया जा सकता है <math>H\mathbb{Q}</math>, ईलेनबर्ग-मैकलेन स्पेक्ट्रम कहा जाता है, जो ईलेनबर्ग-मैकलेन रिक्त स्थान से निर्मित होता है <math>K(\mathbb{Q},n)</math>.
+यह वर्णक्रमीय रूप से वलयित टोपोस एक वर्णक्रमीय योजना हो सकती है यदि इस वलय का वर्णक्रम <math>\infty</math>-टॉपोस एक समतुल्य देता है, इसलिए इसका अंतर्निहित समष्टि एक बिंदु है। उदाहरण के लिए, यह वलय वर्णक्रम <math>H\mathbb{Q}</math> द्वारा दिया जा सकता है, जिसे ईलेनबर्ग-मैकलेन वर्णक्रम कहा जाता है, जो ईलेनबर्ग-मैकलेन समष्टि <math>K(\mathbb{Q},n)</math> से निर्मित होता है।
 == अनुप्रयोग ==
-*व्युत्पन्न बीजगणितीय ज्यामिति का प्रयोग किसके द्वारा किया गया था {{harvtxt|Kerz|Strunk|Tamme|2018}} नेगेटिव बीजगणितीय के-थ्योरी|के-थ्योरी के लुप्त होने पर वीबेल के अनुमान को साबित करने के लिए।
+*व्युत्पन्न बीजगणितीय ज्यामिति का उपयोग केर्ज़, स्ट्रंक एंड टैमे (2018) द्वारा ऋणात्मक k-सिद्धांत के नष्ट होने पर वीबेल के अनुमान को प्रमाणित करने के लिए किया गया था।
-* अरिंकिन और [[डेनिस गैट्सगोरी]] द्वारा [[ज्यामितीय लैंगलैंड्स पत्राचार]] का सूत्रीकरण व्युत्पन्न बीजगणितीय ज्यामिति का उपयोग करता है।<ref>{{cite journal |last1=Arinkin |first1=Dima|last2=Gaitsgory |first2=Dennis |date=2015|title=सुसंगत ढेरों का विलक्षण समर्थन और ज्यामितीय लैंगलैंड्स अनुमान|journal=Selecta Math. |volume=21|number=1|pages=1–199|doi=10.1007/s00029-014-0167-5|s2cid=119136874}}</ref>
+* अरिंकिन और गैट्सगोरी द्वारा ज्यामितीय लैंगलैंड अनुमान का सूत्रीकरण व्युत्पन्न बीजगणितीय ज्यामिति का उपयोग करता है।<ref>{{cite journal |last1=Arinkin |first1=Dima|last2=Gaitsgory |first2=Dennis |date=2015|title=सुसंगत ढेरों का विलक्षण समर्थन और ज्यामितीय लैंगलैंड्स अनुमान|journal=Selecta Math. |volume=21|number=1|pages=1–199|doi=10.1007/s00029-014-0167-5|s2cid=119136874}}</ref>
 == यह भी देखें ==
 * [[व्युत्पन्न]] योजना
-* [[स्टैक का पीछा करना]]
+* [[स्टैक का पीछा करना|स्टैक का अनुसरण]]
-*नॉनकम्यूटेटिव बीजगणितीय ज्यामिति
+*गैर क्रमपरिवर्तनीय ति बीजगणितीय ज्यामिति
-* सिंपल कम्यूटेटिव रिंग
+* सरल क्रमविनिमेय वलय
 *व्युत्पन्न
 * [[एक ओपेरा पर बीजगणित]]
-* [[एक अंगूठी]]
+* [[एक अंगूठी|En-वलय]]
-* उच्च टोपोस थ्योरी
+* उच्चतम टोपोस सिद्धांत
 *∞-टोपोस
-*एटेल स्पेक्ट्रम
+*एटेल स्पेक्ट्रम (वर्णक्रम)
 == टिप्पणियाँ ==
@@ Line 70: / Line 70: @@
 *{{cite journal | last=Vezzosi | first=Gabriele | authorlink=Gabriele Vezzosi | title=एक व्युत्पन्न ढेर क्या है?| zbl=1228.14004 | journal=Notices Am. Math. Soc. | volume=58 | number=7 | pages=955–958 | year=2011 | url=https://www.ams.org/notices/201107/rtx110700955p.pdf}}
-=== डिफरेंशियल ग्रेडेड डीएजी ===
+=== डिफरेंशियल क्रमिक डीएजी ===
 *{{Cite arXiv|title = व्युत्पन्न (बीजीय) ज्यामिति का परिचय|eprint = 2109.14594|date = 2021-10-25|first1 = J. | last1 = Eugster | first2= J.P. | last2 = Pridham | class= math.AG }}

Anonymous

Search

व्युत्पन्न बीजगणितीय ज्यामिति: Difference between revisions

Namespaces

More

Page actions

Revision as of 09:00, 8 May 2023

Contents

परिचय