उच्च-आयामी बीजगणित: Difference between revisions
Line 33: | Line 33: | ||
उच्च-आयामी बीजगणित में अन्य पथ जैसे [[द्विश्रेणी]], द्विश्रेणियों की समरूपताएं, [[परिवर्तनीय श्रेणी]] (अन्य नाम, अनुक्रमित, या [[पैरामीट्रिज्ड श्रेणी]]), [[चूहे|टोपोई]], प्रभावी अवरोहण, और [[समृद्ध श्रेणी|समृद्ध]] और [[आंतरिक श्रेणी|आंतरिक श्रेणियां]] सम्मिलित हैं। | उच्च-आयामी बीजगणित में अन्य पथ जैसे [[द्विश्रेणी]], द्विश्रेणियों की समरूपताएं, [[परिवर्तनीय श्रेणी]] (अन्य नाम, अनुक्रमित, या [[पैरामीट्रिज्ड श्रेणी]]), [[चूहे|टोपोई]], प्रभावी अवरोहण, और [[समृद्ध श्रेणी|समृद्ध]] और [[आंतरिक श्रेणी|आंतरिक श्रेणियां]] सम्मिलित हैं। | ||
== | ==युग्म वर्गीकृत == | ||
{{Main| | {{Main|युग्म वर्गीकृत}} | ||
उच्च-आयामी बीजगणित (एचडीए) में, '' | उच्च-आयामी बीजगणित (एचडीए) में, ''युग्म [[समूहबद्ध|वर्गीकृत]]'' दो आयामों के लिए एक-आयामी वर्गीकृत का सामान्यीकरण है,<ref name=bangor>{{cite journal |url=http://www.numdam.org/item/CTGDC_1976__17_4_343_0/| title=डबल ग्रुपोइड्स और क्रॉस्ड मॉड्यूल| journal=Cahiers de Topologie et Géométrie Différentielle Catégoriques | year=1976 | volume=17 | issue=4 | pages=343–362 | last1=Brown | first1=Ronald | last2=Spencer | first2=Christopher B. }} | ||
</ref> और बाद वाले | </ref> और बाद वाले वर्गीकृत को सभी उलटे तीरों, या [[आकारिकी]] के साथ एक श्रेणी की एक विशेष स्थिति मानी जा सकती है। | ||
[[डबल ग्रुपॉयड]] का उपयोग | [[डबल ग्रुपॉयड|युग्म वर्गीकृत]] का उपयोग सामान्यतः [[ज्यामितीय]] वस्तुओं जैसे [[उच्च-आयामी बहुविध]] (या [[एन-विमितीय बहुविध]]) के बारे में जानकारी प्राप्त करने के लिए किया जाता है।{{R|bangor}} सामान्य तौर पर, [[एन-विमितीय बहुविध]] एक ऐसा समष्टि है जो स्थानीय रूप से [[एन-विमितीय यूक्लिडियन समष्टि]] जैसा दिखता है,, लेकिन जिसकी वैश्विक संरचना [[गैर-यूक्लिडियन]] हो सकती है। | ||
संदर्भ में, युग्म वर्गीकृत को पहली बार 1976 में [[रोनाल्ड ब्राउन (गणितज्ञ)|रोनाल्ड ब्राउन]] द्वारा प्रस्तावित किया गया था।<ref name="bangor" />और इन्हें [[गैर-एबेलियन बीजगणितीय सीन विज्ञान]] में अनुप्रयोगों के लिए विकसित किया गया था।<ref>{{Cite web |url=http://planetphysics.org/encyclopedia/NAAT.html |title=गैर-कम्यूटेटिव ज्यामिति और गैर-एबेलियन बीजगणितीय टोपोलॉजी|publisher=PlanetPhysics |access-date=2009-03-02 |archive-url=https://web.archive.org/web/20090814033622/http://planetphysics.org/encyclopedia/NAAT.html |archive-date=2009-08-14 |url-status=dead }}</ref><ref>[http://www.bangor.ac.uk/~mas010/nonab-a-t.html ''Non-Abelian Algebraic Topology'' book] {{webarchive|url=https://web.archive.org/web/20090604050453/http://www.bangor.ac.uk/~mas010/nonab-a-t.html |date=2009-06-04 }}</ref><ref>[http://planetphysics.org/?op=getobj&from=books&id=249 Nonabelian Algebraic Topology: Higher homotopy groupoids of filtered spaces]</ref><ref>{{cite book |doi=10.4171/083| title=नॉनबेलियन बीजगणितीय टोपोलॉजी| year=2011 | last1=Brown | first1=Ronald | last2=Higgins | first2=Philip | last3=Sivera | first3=Rafael | arxiv=math/0407275 | isbn=978-3-03719-083-8|url=http://www.groupoids.org.uk/nonab-a-t.html }}</ref> एक संबंधित, 'दोहरी' अवधारणा एक दोहरे [[बीजगणित]] की है, और [[आर-बीजगणित]] की अधिक सामान्य अवधारणा है। | |||
== [[नॉनबेलियन बीजगणितीय टोपोलॉजी]] == | == [[नॉनबेलियन बीजगणितीय टोपोलॉजी]] == | ||
Line 48: | Line 48: | ||
===सैद्धांतिक भौतिकी=== | ===सैद्धांतिक भौतिकी=== | ||
क्वांटम क्षेत्र सिद्धांत में, [[क्वांटम श्रेणी]] मौजूद है।<ref name="planetmath">{{cite web |url=http://planetmath.org/encyclopedia/QuantumCategory.html| archive-url=https://web.archive.org/web/20111201230551/http://planetmath.org/encyclopedia/QuantumCategory.html | archive-date=2011-12-01|title= क्वांटम श्रेणी|publisher=PlanetMath}}</ref><ref>{{cite web |url=https://planetmath.org/encyclopedia/AssociativityIsomorphism.html| archive-url=https://web.archive.org/web/20101217084009/https://planetmath.org/encyclopedia/AssociativityIsomorphism.html | archive-date=2010-12-17 |title= साहचर्य समरूपता|publisher=PlanetMath}}</ref><ref name=Morton09/>और [[क्वांटम डबल ग्रुपॉइड]]<ref name=Morton09>{{cite web |first=Jeffrey |last=Morton |title=क्वांटम ग्रुपोइड्स पर एक नोट|date=March 18, 2009 |work=C*-algebras, deformation theory, groupoids, noncommutative geometry, quantization |publisher=Theoretical Atlas |url=http://theoreticalatlas.wordpress.com/2009/03/18/a-note-on-quantum-groupoids/}}</ref> कोई व्यक्ति [[क्वांटम मौलिक समूह]] को 2-फंक्टर के माध्यम से परिभाषित मौलिक ग्रुपोइड्स पर विचार कर सकता है, जो किसी को द्विश्रेणी स्पैन ( | क्वांटम क्षेत्र सिद्धांत में, [[क्वांटम श्रेणी]] मौजूद है।<ref name="planetmath">{{cite web |url=http://planetmath.org/encyclopedia/QuantumCategory.html| archive-url=https://web.archive.org/web/20111201230551/http://planetmath.org/encyclopedia/QuantumCategory.html | archive-date=2011-12-01|title= क्वांटम श्रेणी|publisher=PlanetMath}}</ref><ref>{{cite web |url=https://planetmath.org/encyclopedia/AssociativityIsomorphism.html| archive-url=https://web.archive.org/web/20101217084009/https://planetmath.org/encyclopedia/AssociativityIsomorphism.html | archive-date=2010-12-17 |title= साहचर्य समरूपता|publisher=PlanetMath}}</ref><ref name=Morton09/>और [[क्वांटम डबल ग्रुपॉइड|क्वांटम युग्म वर्गीकृत]]<ref name=Morton09>{{cite web |first=Jeffrey |last=Morton |title=क्वांटम ग्रुपोइड्स पर एक नोट|date=March 18, 2009 |work=C*-algebras, deformation theory, groupoids, noncommutative geometry, quantization |publisher=Theoretical Atlas |url=http://theoreticalatlas.wordpress.com/2009/03/18/a-note-on-quantum-groupoids/}}</ref> कोई व्यक्ति [[क्वांटम मौलिक समूह]] को 2-फंक्टर के माध्यम से परिभाषित मौलिक ग्रुपोइड्स पर विचार कर सकता है, जो किसी को द्विश्रेणी स्पैन (वर्गीकृत्स) के संदर्भ में क्वांटम [[ मौलिक समूह ]]ोइड्स (क्यूएफजी) के भौतिक रूप से दिलचस्प मामले के बारे में सोचने की अनुमति देता है, और फिर 2-हिल्बर्ट का निर्माण करता है। बहुविध और [[सह-बॉर्डिज्म]] के लिए रिक्त स्थान और 2-रैखिक मानचित्र। अगले चरण में, ऐसे [[2-फ़ंक्शन]]रों के [[प्राकृतिक परिवर्तन]]ों के माध्यम से कोनों के साथ सह-बॉर्डिज़्म प्राप्त होता है। तब एक दावा किया गया था कि, [[गेज समूह]] [[SU(2)]] के साथ, ''विस्तारित [[TQFT]], या ETQFT, [[क्वांटम गुरुत्व]] के पोंज़ानो-रेग मॉडल के समतुल्य एक सिद्धांत देता है'';<ref name=Morton09/>इसी तरह, तुराएव-विरो मॉडल को एसयू के [[प्रतिनिधित्व (गणित)]] के साथ प्राप्त किया जाएगा<sub>''q''</sub>(2). इसलिए, कोई गेज सिद्धांत के राज्य स्थान का वर्णन कर सकता है - या कई प्रकार के [[क्वांटम क्षेत्र सिद्धांत]] (क्यूएफटी) और स्थानीय क्वांटम भौतिकी, समरूपता द्वारा दिए गए परिवर्तन समूह के संदर्भ में, उदाहरण के लिए गेज सिद्धांत के मामले में, द्वारा राज्यों पर कार्य करने वाले [[गेज परिवर्तन]], इस मामले में, कनेक्शन हैं। [[क्वांटम समूह]]ों से संबंधित समरूपता के मामले में, कोई ऐसी संरचनाएं प्राप्त करेगा जो [[ क्वांटम ग्रुपॉइड | क्वांटम वर्गीकृत]] की प्रतिनिधित्व श्रेणियां हैं,<ref name="planetmath" />2-वेक्टर रिक्त स्थान के बजाय जो ग्रुपोइड्स की प्रतिनिधित्व श्रेणियां हैं। | ||
==यह भी देखें== | ==यह भी देखें== |
Revision as of 08:30, 5 July 2023
गणित में, विशेष रूप से (उच्च) श्रेणी सिद्धांत, उच्च-आयामी बीजगणित वर्गीकृत संरचनाओं का अध्ययन है। इसमें नॉनबेलियन बीजगणितीय सीन विज्ञान में अनुप्रयोग हैं, और जिसे अमूर्त बीजगणित को सामान्यीकृत किया गया है।
उच्च-आयामी श्रेणियाँ
उच्च आयामी बीजगणित को परिभाषित करने की दिशा में पहला कदम उच्च श्रेणी सिद्धांत की 2-श्रेणी की अवधारणा है, इसके बाद दोहरी श्रेणी की अधिक 'ज्यामितीय' अवधारणा है।[1] [2][3]
इस प्रकार एक उच्च स्तरीय अवधारणा को श्रेणियों की श्रेणी, या उत्कृष्ट-श्रेणी के रूप में परिभाषित किया जाता है, जो श्रेणी की धारणा को उच्च आयामों के लिए सामान्यीकृत करती है - जिसे किसी भी संरचना के रूप में माना जाता है जो अमूर्त श्रेणियों (ईटीएसी) के प्राथमिक सिद्धांत के लॉवर के सिद्धांतों की व्याख्या है।[4][5] Ll.
,[6][7] इस प्रकार, एक उत्कृष्टश्रेणी और एक उत्कृष्ट-श्रेणी, को मेटा-श्रेणी,[8] बहुश्रेणी, और बहु-ग्राफ़, k-आंशिक ग्राफ, या रंगीन ग्राफ (एक रंग आकृति देखें, और ग्राफ सिद्धांत में इसकी परिभाषा भी देखें) की अवधारणाओं के प्राकृतिक विस्तार के रूप में माना जा सकता है।।
उत्कृष्टश्रेणियों को पहली बार 1970 में प्रस्तावित किया गया था,[9] और बाद में सैद्धांतिक भौतिकी (विशेष रूप से क्वांटम क्षेत्र सिद्धांत और सांस्थितिक क्वांटम क्षेत्र सिद्धांत) और गणितीय जीव विज्ञान या गणितीय जैवभौतिकी में अनुप्रयोगों के लिए विकसित किया गया था।[10]
उच्च-आयामी बीजगणित में अन्य पथ जैसे द्विश्रेणी, द्विश्रेणियों की समरूपताएं, परिवर्तनीय श्रेणी (अन्य नाम, अनुक्रमित, या पैरामीट्रिज्ड श्रेणी), टोपोई, प्रभावी अवरोहण, और समृद्ध और आंतरिक श्रेणियां सम्मिलित हैं।
युग्म वर्गीकृत
उच्च-आयामी बीजगणित (एचडीए) में, युग्म वर्गीकृत दो आयामों के लिए एक-आयामी वर्गीकृत का सामान्यीकरण है,[11] और बाद वाले वर्गीकृत को सभी उलटे तीरों, या आकारिकी के साथ एक श्रेणी की एक विशेष स्थिति मानी जा सकती है।
युग्म वर्गीकृत का उपयोग सामान्यतः ज्यामितीय वस्तुओं जैसे उच्च-आयामी बहुविध (या एन-विमितीय बहुविध) के बारे में जानकारी प्राप्त करने के लिए किया जाता है।[11] सामान्य तौर पर, एन-विमितीय बहुविध एक ऐसा समष्टि है जो स्थानीय रूप से एन-विमितीय यूक्लिडियन समष्टि जैसा दिखता है,, लेकिन जिसकी वैश्विक संरचना गैर-यूक्लिडियन हो सकती है।
संदर्भ में, युग्म वर्गीकृत को पहली बार 1976 में रोनाल्ड ब्राउन द्वारा प्रस्तावित किया गया था।[11]और इन्हें गैर-एबेलियन बीजगणितीय सीन विज्ञान में अनुप्रयोगों के लिए विकसित किया गया था।[12][13][14][15] एक संबंधित, 'दोहरी' अवधारणा एक दोहरे बीजगणित की है, और आर-बीजगणित की अधिक सामान्य अवधारणा है।
नॉनबेलियन बीजगणितीय टोपोलॉजी
नॉनबेलियन बीजगणितीय टोपोलॉजी देखें
अनुप्रयोग
सैद्धांतिक भौतिकी
क्वांटम क्षेत्र सिद्धांत में, क्वांटम श्रेणी मौजूद है।[16][17][18]और क्वांटम युग्म वर्गीकृत[18] कोई व्यक्ति क्वांटम मौलिक समूह को 2-फंक्टर के माध्यम से परिभाषित मौलिक ग्रुपोइड्स पर विचार कर सकता है, जो किसी को द्विश्रेणी स्पैन (वर्गीकृत्स) के संदर्भ में क्वांटम मौलिक समूह ोइड्स (क्यूएफजी) के भौतिक रूप से दिलचस्प मामले के बारे में सोचने की अनुमति देता है, और फिर 2-हिल्बर्ट का निर्माण करता है। बहुविध और सह-बॉर्डिज्म के लिए रिक्त स्थान और 2-रैखिक मानचित्र। अगले चरण में, ऐसे 2-फ़ंक्शनरों के प्राकृतिक परिवर्तनों के माध्यम से कोनों के साथ सह-बॉर्डिज़्म प्राप्त होता है। तब एक दावा किया गया था कि, गेज समूह SU(2) के साथ, विस्तारित TQFT, या ETQFT, क्वांटम गुरुत्व के पोंज़ानो-रेग मॉडल के समतुल्य एक सिद्धांत देता है;[18]इसी तरह, तुराएव-विरो मॉडल को एसयू के प्रतिनिधित्व (गणित) के साथ प्राप्त किया जाएगाq(2). इसलिए, कोई गेज सिद्धांत के राज्य स्थान का वर्णन कर सकता है - या कई प्रकार के क्वांटम क्षेत्र सिद्धांत (क्यूएफटी) और स्थानीय क्वांटम भौतिकी, समरूपता द्वारा दिए गए परिवर्तन समूह के संदर्भ में, उदाहरण के लिए गेज सिद्धांत के मामले में, द्वारा राज्यों पर कार्य करने वाले गेज परिवर्तन, इस मामले में, कनेक्शन हैं। क्वांटम समूहों से संबंधित समरूपता के मामले में, कोई ऐसी संरचनाएं प्राप्त करेगा जो क्वांटम वर्गीकृत की प्रतिनिधित्व श्रेणियां हैं,[16]2-वेक्टर रिक्त स्थान के बजाय जो ग्रुपोइड्स की प्रतिनिधित्व श्रेणियां हैं।
यह भी देखें
- Timeline of category theory and related mathematics
- Higher category theory
- Ronald Brown
- Lie algebroid
- Double groupoid
- Anabelian geometry
- Noncommutative geometry
- Categorical algebra
- Grothendieck's Galois theory
- Grothendieck topology
- Topological dynamics
- Categorical dynamics
- Crossed module
- Pseudoalgebra
टिप्पणियाँ
- ↑ "दोहरी श्रेणियाँ और छद्म बीजगणित" (PDF). Archived from the original (PDF) on 2010-06-10.
- ↑ Brown, R.; Loday, J.-L. (1987). "Homotopical excision, and Hurewicz theorems, for n-cubes of spaces". Proceedings of the London Mathematical Society. 54 (1): 176–192. CiteSeerX 10.1.1.168.1325. doi:10.1112/plms/s3-54.1.176.
- ↑ Batanin, M.A. (1998). "Monoidal Globular Categories As a Natural Environment for the Theory of Weak n-Categories". Advances in Mathematics. 136 (1): 39–103. doi:10.1006/aima.1998.1724.
- ↑ Lawvere, F. W. (1964). "समुच्चयों की श्रेणी का एक प्राथमिक सिद्धांत". Proceedings of the National Academy of Sciences of the United States of America. 52 (6): 1506–1511. Bibcode:1964PNAS...52.1506L. doi:10.1073/pnas.52.6.1506. PMC 300477. PMID 16591243.
- ↑ Lawvere, F. W.: 1966, The Category of Categories as a Foundation for Mathematics., in Proc. Conf. Categorical Algebra – La Jolla., Eilenberg, S. et al., eds. Springer-Verlag: Berlin, Heidelberg and New York., pp. 1–20. http://myyn.org/m/article/william-francis-lawvere/ Archived 2009-08-12 at the Wayback Machine
- ↑ "Kryptowährungen und Physik". PlanetPhysics.
- ↑ Lawvere, F. W. (1969b). "नींव में जुड़ाव". Dialectica. 23 (3–4): 281–295. CiteSeerX 10.1.1.386.6900. doi:10.1111/j.1746-8361.1969.tb01194.x. Archived from the original on 2009-08-12. Retrieved 2009-06-21.
- ↑ "मेटाकैटेगरीज़ और सुपरकैटेगरीज़ के अभिगृहीत". PlanetPhysics. Archived from the original on 2009-08-14. Retrieved 2009-03-02.
- ↑ "सुपरश्रेणी सिद्धांत". PlanetMath. Archived from the original on 2008-10-26.
- ↑ "गणितीय जीवविज्ञान और सैद्धांतिक बायोफिज़िक्स". PlanetPhysics. Archived from the original on 2009-08-14. Retrieved 2009-03-02.
- ↑ 11.0 11.1 11.2 Brown, Ronald; Spencer, Christopher B. (1976). "डबल ग्रुपोइड्स और क्रॉस्ड मॉड्यूल". Cahiers de Topologie et Géométrie Différentielle Catégoriques. 17 (4): 343–362.
- ↑ "गैर-कम्यूटेटिव ज्यामिति और गैर-एबेलियन बीजगणितीय टोपोलॉजी". PlanetPhysics. Archived from the original on 2009-08-14. Retrieved 2009-03-02.
- ↑ Non-Abelian Algebraic Topology book Archived 2009-06-04 at the Wayback Machine
- ↑ Nonabelian Algebraic Topology: Higher homotopy groupoids of filtered spaces
- ↑ Brown, Ronald; Higgins, Philip; Sivera, Rafael (2011). नॉनबेलियन बीजगणितीय टोपोलॉजी. arXiv:math/0407275. doi:10.4171/083. ISBN 978-3-03719-083-8.
- ↑ 16.0 16.1 "क्वांटम श्रेणी". PlanetMath. Archived from the original on 2011-12-01.
- ↑ "साहचर्य समरूपता". PlanetMath. Archived from the original on 2010-12-17.
- ↑ 18.0 18.1 18.2 Morton, Jeffrey (March 18, 2009). "क्वांटम ग्रुपोइड्स पर एक नोट". C*-algebras, deformation theory, groupoids, noncommutative geometry, quantization. Theoretical Atlas.
अग्रिम पठन
- Brown, R.; Higgins, P.J.; Sivera, R. (2011). Nonabelian Algebraic Topology: filtered spaces, crossed complexes, cubical homotopy groupoids. Vol. Tracts Vol 15. European Mathematical Society. arXiv:math/0407275. doi:10.4171/083. ISBN 978-3-03719-083-8. (Downloadable PDF available)
- Brown, R.; Mosa, G.H. (1999). "Double categories, thin structures and connections". Theory and Applications of Categories. 5: 163–175. CiteSeerX 10.1.1.438.8991.
- Brown, R. (2002). Categorical Structures for Descent and Galois Theory. Fields Institute.
- Brown, R. (1987). "From groups to groupoids: a brief survey" (PDF). Bulletin of the London Mathematical Society. 19 (2): 113–134. CiteSeerX 10.1.1.363.1859. doi:10.1112/blms/19.2.113. hdl:10338.dmlcz/140413. This give some of the history of groupoids, namely the origins in work of Heinrich Brandt on quadratic forms, and an indication of later work up to 1987, with 160 references.
- Brown, Ronald (2018). "Higher Dimensional Group Theory". groupoids.org.uk. Bangor University. A web article with many references explaining how the groupoid concept has led to notions of higher-dimensional groupoids, not available in group theory, with applications in homotopy theory and in group cohomology.
- Brown, R.; Higgins, P.J. (1981). "On the algebra of cubes". Journal of Pure and Applied Algebra. 21 (3): 233–260. doi:10.1016/0022-4049(81)90018-9.
- Mackenzie, K.C.H. (2005). General theory of Lie groupoids and Lie algebroids. London Mathematical Society Lecture Note Series. Vol. 213. Cambridge University Press. ISBN 978-0-521-49928-6. Archived from the original on 2005-03-10.
- Brown, R. (2006). Topology and Groupoids. Booksurge. ISBN 978-1-4196-2722-4. Revised and extended edition of a book previously published in 1968 and 1988. E-version available from website.
- Borceux, F.; Janelidze, G. (2001). Galois theories. Cambridge University Press. ISBN 978-0-521-07041-6. OCLC 1167627177. Archived from the original on 2012-12-23. Shows how generalisations of Galois theory lead to Galois groupoids.
- Baez, J.; Dolan, J. (1998). "Higher-Dimensional Algebra III. n-Categories and the Algebra of Opetopes". Advances in Mathematics. 135 (2): 145–206. arXiv:q-alg/9702014. Bibcode:1997q.alg.....2014B. doi:10.1006/aima.1997.1695. S2CID 18857286.
- Baianu, I.C. (1970). "Organismic Supercategories: II. On Multistable Systems" (PDF). The Bulletin of Mathematical Biophysics. 32 (4): 539–61. doi:10.1007/BF02476770. PMID 4327361.
- Baianu, I.C.; Marinescu, M. (1974). "On A Functorial Construction of (M, R)-Systems". Revue Roumaine de Mathématiques Pures et Appliquées. 19: 388–391.
- Baianu, I.C. (1987). "Computer Models and Automata Theory in Biology and Medicine". In M. Witten (ed.). Mathematical Models in Medicine. Vol. 7. Pergamon Press. pp. 1513–77. ISBN 978-0-08-034692-2. OCLC 939260427. CERN Preprint No. EXT-2004-072. ASIN 0080346928 ASIN 0080346928.
- "Higher dimensional Homotopy". PlanetPhysics. Archived from the original on 2009-08-13.
- Janelidze, George (1990). "Pure Galois theory in categories". Journal of Algebra. 132 (2): 270–286. doi:10.1016/0021-8693(90)90130-G.
- Janelidze, George (1993). "Galois theory in variable categories". Applied Categorical Structures. 1: 103–110. doi:10.1007/BF00872989. S2CID 22258886..