A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of the classical tangent bundle of smooth manifolds. In this paper, we show that, surprisingly, the category of groups is a tangent category whose tangent bundle functor is induced by abelianization and whose differential bundles correspond to abelian groups. We generalize this construction by introducing the concept of linear assignments, which are endofunctors assigning to every object a commutative monoid in a natural and idempotent manner. We then show that a linear assignment induces a tangent bundle functor, whose differential bundles correspond to a notion of linear algebras. We show that any finitely cocomplete regular unital category is a tangent category whose tangent bundle functor is induced by the canonical abelianization functor, which is a monadic linear assignment. This allows us to provide multiple new examples of tangent categories including monoids, pointed magmas, loops, non-unital rings, Jónsson--Tarski varieties, and pointed Mal'tsev varieties.
- पेपर ID: 2510.12324
- शीर्षक: From Abelianization to Tangent Categories
- लेखक: Sacha Ikonicoff, Jean-Simon Pacaud Lemay, Tim Van der Linden
- वर्गीकरण: math.CT (श्रेणी सिद्धांत)
- प्रकाशन समय: 15 अक्टूबर, 2025
- पेपर लिंक: https://arxiv.org/abs/2510.12324
स्पर्शरेखा श्रेणियाँ एक आंतरिक फलनकार (स्पर्शरेखा फलनकार कहलाता है) से सुसज्जित श्रेणियाँ हैं, जो विभिन्न प्राकृतिक रूपांतरों के साथ आती हैं, जो चिकने बहुविध की शास्त्रीय स्पर्शरेखा बंडल के मौलिक गुणों को पकड़ती हैं। यह पेपर आश्चर्यजनक रूप से प्रमाणित करता है कि समूह श्रेणी एक स्पर्शरेखा श्रेणी है, जिसका स्पर्शरेखा फलनकार एबेलियनीकरण द्वारा प्रेरित है, और अवकल बंडल एबेलियन समूहों के अनुरूप हैं। लेखक रैखिक आवंटन की अवधारणा को प्रस्तुत करके इस निर्माण को सामान्यीकृत करते हैं, जो प्रत्येक वस्तु को प्राकृतिक और निर्बल तरीके से क्रमविनिमेय मोनोइड्स को निर्दिष्ट करने वाले आंतरिक फलनकार हैं। इसके बाद यह प्रमाणित किया जाता है कि रैखिक आवंटन स्पर्शरेखा फलनकार को प्रेरित करते हैं, जिनके अवकल बंडल रैखिक बीजगणित की अवधारणाओं के अनुरूप हैं। कोई भी परिमित सहपूर्ण नियमित एकात्मक श्रेणी एक स्पर्शरेखा श्रेणी है, जिसका स्पर्शरेखा फलनकार मानक एबेलियनीकरण फलनकार द्वारा प्रेरित है, जो एक मोनैडिक रैखिक आवंटन है। यह लेखकों को अनेक नई स्पर्शरेखा श्रेणियों के उदाहरण प्रदान करने में सक्षम बनाता है, जिनमें मोनोइड्स, बिंदुयुक्त मैग्मा, वलय, अनैकात्मक वलय, जॉन्सन-टार्स्की किस्में और बिंदुयुक्त मल्त्सेव किस्में शामिल हैं।
- स्पर्शरेखा श्रेणी सिद्धांत: स्पर्शरेखा श्रेणियाँ चिकने बहुविध पर अवकल गणना के आधार के लिए श्रेणी-सैद्धांतिक ढांचा प्रदान करती हैं, स्पर्शरेखा बंडल की अवधारणा को अमूर्त करके। यह सिद्धांत पहली बार रोसिस्की द्वारा प्रस्तुत किया गया था और बाद में कॉकेट और क्रुटवेल द्वारा विकसित किया गया था।
- ज्यामिति और बीजगणित का संबंध: स्पर्शरेखा श्रेणियों के पारंपरिक उदाहरण मुख्य रूप से अवकल ज्यामिति से आते हैं, जैसे चिकने बहुविध की श्रेणी, (सजातीय) योजनाओं की श्रेणी और क्रमविनिमेय बीजगणा की श्रेणी। इन उदाहरणों में स्पष्ट ज्यामितीय विशेषताएँ हैं।
- बीजगणितीय संरचनाओं की स्पर्शरेखा गुण: इस पेपर का मूल अवलोकन यह है कि समूह श्रेणी वास्तव में एक स्पर्शरेखा श्रेणी है, जिसका स्पर्शरेखा फलनकार एबेलियनीकरण द्वारा प्रेरित है: T(G)=G×Ab(G)।
- सिद्धांत का एकीकरण: बीजगणितीय संरचनाओं को स्पर्शरेखा श्रेणी ढांचे में शामिल करने के लिए एक सामान्य विधि खोजना
- संरचना का अमूर्तीकरण: समूह श्रेणी और एबेलियनीकरण फलनकार में स्पर्शरेखा संरचना के निर्माण की अनुमति देने वाली आवश्यक गुणों को निकालना
- उदाहरणों का विस्तार: स्पर्शरेखा श्रेणी सिद्धांत के लिए बीजगणित से नए, समृद्ध उदाहरण प्रदान करना
वर्तमान स्पर्शरेखा श्रेणी सिद्धांत मुख्य रूप से ज्यामितीय शैली के उदाहरणों पर केंद्रित है, और बीजगणितीय संरचनाओं से निपटने के लिए एक व्यवस्थित विधि की कमी है। हालाँकि क्रमविनिमेय बीजगणा जैसे बीजगणितीय उदाहरण मौजूद हैं, लेकिन सामान्य निर्माण सिद्धांतों की कमी है।
- समूह श्रेणी की स्पर्शरेखा संरचना की खोज: यह प्रमाणित किया गया कि समूह श्रेणी एक रोसिस्की स्पर्शरेखा श्रेणी है, स्पर्शरेखा फलनकार T(G)=G×Ab(G) है
- रैखिक आवंटन अवधारणा का परिचय: रैखिक आवंटन और योगात्मक आवंटन को परिभाषित किया, जो परिमित उत्पादों को संरक्षित करने वाले, निर्बल और स्वाभाविक रूप से वस्तुओं को क्रमविनिमेय मोनोइड्स (या एबेलियन समूहों) में मैप करने वाले आंतरिक फलनकार हैं
- रैखिक आवंटन और स्पर्शरेखा संरचना के बीच पत्राचार स्थापित करना: यह प्रमाणित किया गया कि कोई भी रैखिक आवंटन स्पर्शरेखा संरचना को प्रेरित करता है, स्पर्शरेखा फलनकार T(X)=X×L(X) है
- अवकल वस्तुओं और अवकल बंडलों को चिह्नित करना: यह प्रमाणित किया गया कि अवकल वस्तुएँ रैखिक बीजगणित (L-बीजगणित) के साथ एक-से-एक पत्राचार में हैं, उपयुक्त शर्तों के तहत अवकल बंडल आधार वस्तु और रैखिक बीजगणित के उत्पाद के अनुरूप हैं
- मोनैडिक रैखिक आवंटन सिद्धांत का विकास: मोनैडिक रैखिक आवंटन और रैखिक प्रतिबिंब उप-श्रेणियों के बीच पत्राचार स्थापित किया
- एकात्मक नियमित श्रेणियों तक सामान्यीकरण: यह प्रमाणित किया गया कि कोई भी परिमित सहपूर्ण नियमित एकात्मक श्रेणी एक स्पर्शरेखा श्रेणी है, जो बड़ी संख्या में नए उदाहरण प्रदान करता है
परिभाषा 2.1: मान लीजिए X परिमित उत्पादों वाली एक श्रेणी है, एक रैखिक आवंटन चतुर्भुज (L,+,0,ν) है, जहाँ:
- L:X→X परिमित उत्पादों को संरक्षित करने वाला आंतरिक फलनकार है
- +X:L(X)×L(X)→L(X) और 0X:∗→L(X) प्राकृतिक रूपांतर हैं
- νX:LL(X)→L(X) प्राकृतिक समरूपता है
संतुष्ट करते हुए:
- प्रत्येक वस्तु X के लिए, (L(X),+X,0X) एक क्रमविनिमेय मोनोइड है
- νX:L(L(X))→L(X) एक मोनोइड समरूपता है
- νL(X)=L(νX)
प्रमेय 2.5: रैखिक आवंटन और रैखिक प्रक्षेपक एक-से-एक पत्राचार में हैं, बाद वाले परिमित उत्पादों को संरक्षित करने वाले फलनकार L:X→CMON[X] हैं जो प्राकृतिक समरूपता νX:L(U(L(X)))→L(X) से सुसज्जित हैं।
प्रमेय 3.5: मान लीजिए L श्रेणी X पर एक रैखिक आवंटन है, तब (X,TL) एक कार्तीय स्पर्शरेखा श्रेणी है, जहाँ:
- स्पर्शरेखा फलनकार: TL(X)=X×L(X)
- प्रक्षेपण: pX=π1:X×L(X)→X
- योग: sX=1X×+X:X×(L(X)×L(X))→X×L(X)
- शून्य: zX=⟨1X,0X∘tX⟩:X→X×L(X)
- ऊर्ध्वाधर उत्थान: ℓX=⟨1X,0X∘tX⟩×⟨0X∘tL(X),νX−1⟩
- मानक फ्लिप: cX प्राकृतिक विनिमय समरूपता द्वारा दिया जाता है
परिभाषा 4.1: L-बीजगणित जोड़ी (A,a) है, जहाँ a:L(A)→A समरूपता है और L(a)=νA।
प्रमेय 4.13: अवकल वस्तु श्रेणी L-बीजगणित श्रेणी के साथ समरूप है: DOb[X,TL]≃L-ALG।
प्रमेय 4.15: यदि X में शून्य आकारिकी और कर्नेल हैं, तब:
- DBUN[(X,TL)]≃X×L-ALG
- प्रत्येक वस्तु X के लिए: DBUN[(X,TL)]X≃L-ALG
परिभाषा 5.1: मोनैडिक रैखिक आवंटन मोनैडिक संरचना (L,ν,η) से सुसज्जित रैखिक आवंटन है।
प्रमेय 5.10: मोनैडिक रैखिक आवंटन और रैखिक प्रतिबिंब उप-श्रेणियों के बीच एक-से-एक पत्राचार है।
प्रमेय 6.3: मान लीजिए X परिमित सहपूर्ण नियमित एकात्मक श्रेणी है, तब (X,TLCMon) एक कार्तीय स्पर्शरेखा श्रेणी है, स्पर्शरेखा फलनकार है:
T(X)=X×CMon(X)
प्रमेय 6.6: मान लीजिए X परिमित सहपूर्ण नियमित दृढ़ एकात्मक श्रेणी है, तब (X,TLAb) एक कार्तीय रोसिस्की स्पर्शरेखा श्रेणी है, स्पर्शरेखा फलनकार है:
T(X)=X×Ab(X)
- समूह श्रेणी: T(G)=G×Ab(G), अवकल वस्तुएँ एबेलियन समूहों के अनुरूप हैं
- अर्ध-योगात्मक श्रेणियाँ: T(X)=X×X (विकर्ण फलनकार)
- अंतिम आवंटन: T(X)=X×∗ (तत्समक फलनकार)
- मोनोइड श्रेणी: अवकल वस्तुएँ क्रमविनिमेय मोनोइड्स के अनुरूप हैं
- बिंदुयुक्त मैग्मा श्रेणी: जॉन्सन-टार्स्की किस्मों का मुक्त उदाहरण
- अनैकात्मक वलय श्रेणी: एबेलियनीकरण R↦R/R2 है
- लाई बीजगणा श्रेणी: एबेलियनीकरण g↦g/[g,g] है
- वलय श्रेणी: क्रॉस मॉड्यूल, हॉपफ बीजगणा आदि सहित
- श्रेणी सिद्धांत: स्पर्शरेखा श्रेणी सिद्धांत के लिए नया बीजगणितीय दृष्टिकोण प्रदान करता है
- समरूप बीजगणा: एबेलियनीकरण और अवकल ज्यामिति अवधारणाओं के बीच गहरा संबंध स्थापित करता है
- सार्वभौमिक बीजगणा: विभिन्न बीजगणितीय संरचनाओं के लिए एकीकृत स्पर्शरेखा ढांचा प्रदान करता है
- रैखिक आवंटन: "रैखिकीकरण" प्रक्रिया के सार को अमूर्त करता है
- बीजगणितीय स्पर्शरेखा: अवकल ज्यामिति अवधारणाओं को शुद्ध बीजगणितीय सेटिंग में सामान्यीकृत करता है
- समांतर वस्तुएँ: सभी वस्तुएँ "समांतरित" हैं (स्पर्शरेखा बंडल तुच्छ बंडल हैं)
- निर्माण सत्यापन: स्पर्शरेखा स्वयंसिद्धों को सीधे गणना द्वारा सत्यापित करना
- सार्वभौमिक गुण: पुलबैक और समीकरणकारी के सार्वभौमिक गुणों का उपयोग करना
- मोनैड सिद्धांत: निर्बल मोनैड्स और प्रतिबिंब उप-श्रेणियों के पत्राचार का उपयोग करना
- लेम्मा 2.2: रैखिक आवंटन मोनोइड संरचना को संरक्षित करते हैं
- लेम्मा 3.4: उत्पाद और क्रमविनिमेय मोनोइड्स योगात्मक बंडल देते हैं
- लेम्मा 4.12: अवकल वस्तुओं से L-बीजगणित संरचना का निर्माण
- समांतरीकरण प्रतिबंध: निर्मित स्पर्शरेखा श्रेणियों में सभी वस्तुएँ समांतरित हैं
- कठोरता समस्या: कुछ समरूपता संबंधों को गैर-कठोर उपचार की आवश्यकता है
- ज्यामितीय अंतर्ज्ञान: पारंपरिक ज्यामितीय स्पर्शरेखा बंडलों की सहज व्याख्या की कमी
- समांतरित वस्तु सिद्धांत: स्पर्शरेखा श्रेणियों में समांतरित वस्तुओं के सामान्य सिद्धांत का विकास
- गैर-कठोर सामान्यीकृत कार्तीय अवकल श्रेणियाँ: समरूपता के साथ स्थितियों को संभालना, कठोर समानता नहीं
- बड़ी स्पर्शरेखा श्रेणियाँ: समूह श्रेणी को समांतरित वस्तु उप-श्रेणी के रूप में रखने वाली बड़ी स्पर्शरेखा श्रेणियों की खोज
- सैद्धांतिक एकता: देखने में असंबंधित बीजगणितीय और ज्यामितीय अवधारणाओं को स्पर्शरेखा श्रेणी ढांचे के तहत एकीकृत करता है
- निर्माण की स्वाभाविकता: रैखिक आवंटन अवधारणा स्वाभाविक रूप से एबेलियनीकरण जैसी रैखिकीकरण प्रक्रियाओं को अमूर्त करती है
- उदाहरणों की समृद्धि: बीजगणित से आने वाली बड़ी संख्या में नई स्पर्शरेखा श्रेणियों के उदाहरण प्रदान करता है
- तकनीकी कठोरता: प्रमाण विस्तृत और तकनीकी रूप से उपयुक्त हैं
- अवधारणा नवाचार: रैखिक आवंटन पूरी तरह से नई अवधारणा है, समस्या के सार को पकड़ता है
- दृष्टिकोण परिवर्तन: स्पर्शरेखा संरचना को समझने के लिए ज्यामितीय दृष्टिकोण से बीजगणितीय दृष्टिकोण में परिवर्तन
- सिद्धांत सामान्यीकरण: स्पर्शरेखा श्रेणी सिद्धांत के लिए अनुसंधान की नई दिशा खोलता है
- निर्माण विधि: बीजगणितीय संरचनाओं से स्पर्शरेखा श्रेणियों के निर्माण की व्यवस्थित विधि प्रदान करता है
- पत्राचार संबंध: कई महत्वपूर्ण श्रेणी समतुल्यता संबंध स्थापित करता है
- गणना तकनीकें: स्पर्शरेखा श्रेणियों में गणना के लिए प्रभावी विधियों का विकास करता है
- सैद्धांतिक विकास: स्पर्शरेखा श्रेणी सिद्धांत को बीजगणितीय दिशा में विकसित करने में सहायक हो सकता है
- अनुप्रयोग संभावनाएँ: बीजगणितीय संरचनाओं के अनुसंधान के लिए नया ज्यामितीय अंतर्ज्ञान प्रदान करता है
- अंतर-क्षेत्र संबंध: बीजगणित और ज्यामिति के बीच संबंध को मजबूत करता है
- बीजगणितीय टोपोलॉजी: बीजगणितीय संरचनाओं के समरूप गुणों का अध्ययन
- बीजगणितीय ज्यामिति: बीजगणितीय विविधताओं की स्पर्शरेखा संरचना को समझना
- श्रेणी सिद्धांत: नई श्रेणी-सैद्धांतिक उपकरणों और विधियों का विकास
यह पेपर रैखिक आवंटन की अवधारणा को प्रस्तुत करके, एबेलियनीकरण जैसी बीजगणितीय निर्माणों को स्पर्शरेखा श्रेणी ढांचे में सफलतापूर्वक शामिल करता है, इस महत्वपूर्ण गणितीय सिद्धांत के लिए पूरी तरह से नया बीजगणितीय दृष्टिकोण प्रदान करता है। पेपर न केवल एक विशिष्ट समस्या (समूह श्रेणी की स्पर्शरेखा संरचना) को हल करता है, बल्कि अधिक महत्वपूर्ण रूप से एक सामान्य सैद्धांतिक ढांचा स्थापित करता है, जो बड़ी संख्या में बीजगणितीय संरचनाओं के लिए स्पर्शरेखा श्रेणियों की व्याख्या प्रदान करता है। यह कार्य गहरी गणितीय अंतर्दृष्टि प्रदर्शित करता है और स्पर्शरेखा श्रेणी सिद्धांत और संबंधित क्षेत्रों पर महत्वपूर्ण प्रभाव डालेगा।