🔢 mathematics

Thick subcategories on weighted projective curves and nilpotent representations of quivers

यह शोध पत्र भारित प्रक्षेपिक वक्रों (weighted projective curves) पर घने उपश्रेणियों (thick subcategories) को या तो "क्वीवर-समान" (nilpotent quiver representations के व्युत्पन्न श्रेणियों के तुल्य) या "विशाल" (exceptional torsion sheaves के लंबवत) के रूप में वर्गीकृत करता है, जबकि यह स्थापित करता है कि ये श्रेणियाँ जॉर्डन-होल्डर गुण (Jordan-Holder property) का पालन करती हैं, इनमें फैंटम (phantoms) का अभाव है, और ये पूर्ण अपवादिक संग्रह (full exceptional collections) रखती हैं।

मूल लेखक: Alexey Elagin

प्रकाशित 2026-03-30

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Alexey Elagin

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

कल्पना कीजिए कि आप एक वास्तुकार (architect) हैं जो एक विशाल, जटिल शहर को देख रहे हैं। गणित की दुनिया में, इस शहर को वेटेड प्रोजेक्टिव कर्व (Weighted Projective Curve) कहा जाता है। यह एक ऐसी आकृति है जो एक चिकपे लूप (जैसे एक वृत्त या डोनट) की तरह दिखती है, लेकिन इसमें कुछ विशेष "गड्ढे" या "मुड़े हुए स्थान" (twisted spots) हैं। इन स्थानों को ऑर्बीफोल्ड पॉइंट्स (orbifold points) कहा जाता है।

जिस शोध पत्र के बारे में आपने पूछा है, वह एलेक्सी एलगिन (Alexey Elgin) द्वारा लिखा गया एक मार्गदर्शिका (guidebook) है। इसका काम इस बड़े शहर के भीतर छोटे, आत्मनिर्भर "पड़ोस" (जिन्हें थिक सबकैटेगरी - thick subcategories कहा जाता है) को समझना है। लेखक जानना चाहता है: ये पड़ोस कैसे दिखते हैं? क्या हम उन सभी का वर्णन कर सकते हैं?

यहाँ इस शोध पत्र की खोजों का सरल उपमाओं (analogies) का उपयोग करके विवरण दिया गया है।

1. पड़ोस के दो प्रकार

लेखक ने खोजा है कि इस शहर के भीतर बनाया गया कोई भी पड़ोस दो मुख्य श्रेणियों में से एक में आता है। इसे दो बाल्टियों में इमारतों को छाँटने जैसा समझें:

बाल्टी A: "क्वीवर-जैसे" पड़ोस (Lego सेट्स)

ये पड़ोस पूरी तरह से सरल, अलग-अलग ब्लॉकों से बने होते हैं।

उपमा: कल्पना कीजिए कि आपके पास लेगो ब्रिक्स (Lego bricks) या एक फ्लोचार्ट का एक सेट है। आपके पास कुछ विशिष्ट बिंदु (vertices) और उन्हें जोड़ने वाले तीर (arrows) हैं। आप जटिल संरचनाएं बना सकते हैं, लेकिन वे हमेशा इन सरल, सीमित टुकड़ों से ही बनी होती हैं।
गणित: इन्हें "क्वीवर-लाइक" (quiver-like) कहा जाता है। ये एक क्वीवर (बिंदुओं और तीरों का एक आरेख) के निरूपण (representations) की तरह व्यवहार करते हैं। वे एक विशिष्ट गणितीय अर्थ में "छोटे" होते हैं। उन्हें समझना आसान है क्योंकि वे सरल वस्तुओं (जैसे बुनियादी लेगो ब्रिक्स) की एक सीमित सूची से बने होते हैं।
मुख्य विशेषता: यदि आप इन पड़ोसों के "कंकाल" को देखते हैं, तो वे ट्यूबों या सरल रेखाओं के संग्रह की तरह दिखते हैं। उनमें "पूरे शहर" वाला अहसास नहीं होता; वे बस विशिष्ट, प्रबंधनीय हिस्से हैं।

बाल्टी B: "बड़े" पड़ोस (पूरा शहर या बड़े जिले)

ये पड़ोस मूल शहर की तरह ही बहुत बड़े होते हैं।

उपमा: कल्पना कीजिए कि यह एक बड़ा पार्क या एक जिला है जिसमें सब कुछ शामिल है: घर, पार्क और सड़कें। यह केवल लेगो ब्रिक्स का ढेर नहीं है; इसमें पूरे शहर का "प्रवाह" और "संरचना" है।
गणित: इन्हें "बड़े" (big) कहा जाता है। ये आमतौर पर कुछ विशेष, अलग-थलग बिंदुओं (exceptional torsion sheaves) के "ऑर्थोगोनल" (विपरीत) होते हैं। यदि आप पूरे शहर में से कुछ विशिष्ट "अजीब" बिंदुओं को हटा दें, तो जो बचता है वह एक "बड़ा" पड़ोस होता है।
मुख्य विशेषता: इन पड़ोसों में अक्सर वेक्टर बंडल्स (vector bundles) (सोचिए कि ये चिकनी, निरंतर सड़कें हैं जो पूरे शहर में फैली हुई हैं) और स्फेयर-जैसे ऑब्जेक्ट्स (sphere-like objects) (विशेष बिंदु जो एक गोले के केंद्र के रूप में कार्य करते हैं) होते हैं। ये "पूरे शहर के बहुत करीब" होते हैं।

2. मुख्य खोज: "या तो/या" का नियम

शोध पत्र का सबसे बड़ा परिणाम (Theorem D) एक सरल नियम है: प्रत्येक पड़ोस या तो एक "लेगो सेट" (क्वीवर-लाइक) है या एक "बड़ा जिला" (बिग)।

कोई तीसरा विकल्प नहीं है। आप ऐसा पड़ोस नहीं बना सकते जो इन दोनों विवरणों में से किसी में भी फिट न होने वाला एक अजीब मिश्रण हो।

यदि आपके पड़ोस में एक चिकनी सड़क (वेक्टर बंडल) और एक विशेष केंद्र बिंदु (स्फेयर-लाइक ऑब्जेक्ट) है, तो यह एक बड़ा (Big) पड़ोस है।
यदि इसमें दोनों नहीं हैं, तो यह एक क्वीवर-लाइक (Quiver-like) पड़ोस है (मूल रूप से लेगो ब्रिक्स का एक संग्रह)।

3. "ट्विस्ट" और "ऑर्बीफोल्ड"

ये "बड़े" पड़ोस क्यों मौजूद हैं?

ट्विस्ट (The Twist): शहर में ये विशेष "ऑर्बीफोल्ड पॉइंट्स" हैं जहाँ ज्यामिति मुड़ी हुई (twisted) है। यदि आप इनके चारों ओर चलने की कोशिश करते हैं, तो आपको वापस अपनी जगह पर आने के लिए कुछ चक्कर लगाने होंगे।
ट्यूब्स (The Tubes): इन मुड़े हुए बिंदुओं के चारों ओर, गणित "ट्यूब्स" (रिंग्स के ढेर की तरह) बनाता है। इन ट्यूबों के भीतर, आप विशेष "एक्सेप्शनल" (exceptional) वस्तुओं को पा सकते हैं।
परिणाम: यदि आप इन मुड़े हुए बिंदुओं से बचने वाला पड़ोस बनाते हैं, तो आपको "लेगो सेट" (क्वीवर-लाइक) मिलता है। यदि आप चिकनी सड़कों को शामिल करते हैं और इन मुड़े हुए बिंदुओं के साथ अंतःक्रिया करते हैं, तो आपको एक "बड़ा" (Big) पड़ोस मिलता है।

4. यह क्यों महत्वपूर्ण है ("नो घोस्ट्स" नियम)

लेखक ने इन शहरों के बारे में दो बहुत महत्वपूर्ण बातें भी सिद्ध की हैं:

कोई भूत नहीं (No Ghosts/Phantoms): कुछ गणितीय शहरों में, आप एक "भूतिया" (ghost) पड़ोस बना सकते हैं। यह दिखता तो है कि यह मौजूद है, लेकिन इसका कोई "भार" (गणितीय रूप से, इसकी K-theory शून्य है) नहीं होता। लेखक सिद्ध करता है कि इन वेटेड कर्व्स में, भूत (ghosts) मौजूद नहीं होते। प्रत्येक पड़ोस की एक वास्तविक, मापने योग्य संरचना होती है।
"जॉर्डन-होल्डर" गुण (The Jordan-Hölder Property): कल्पना कीजिए कि आप किसी इमारत को अलग-अलग हिस्सों में तोड़ रहे हैं। आपको लग सकता है कि इसे ईंटों में तोड़ने के कई तरीके हो सकते हैं। लेखक सिद्ध करता है कि इन शहरों के लिए, उन्हें उनके मौलिक, अविनाशी टुकड़ों में तोड़ने का केवल एक ही तरीका है। आप शहर को तोड़ने की कितनी भी कोशिश करें, आप हमेशा उन्हीं बुनियादी "परमाणु" (atomic) पड़ोसों तक पहुँचेंगे। यह अराजकता में व्यवस्था और पूर्वानुमान की भावना लाता है।

5. "एडमिसेबल" (Admissible) पड़ोस

शोध पत्र "एडमिसेबल" पड़ोसों (वे जो बाकी शहर के साथ तालमेल बिठाकर चलते हैं) को भी देखता है।

यदि शहर एक सरल रेखा (एक वेटेड प्रोजेक्टिव लाइन) है, तो प्रत्येक एडमिसेबल पड़ोस विशिष्ट "एक्सेप्शनल" वस्तुओं (जैसे लेगो निर्देशों का एक सटीक सेट) से बना होता है।
यदि शहर अधिक जटिल है (जैसे छेदों वाला एक डोनट), तो एडमिसेबल पड़ोस या तो "बड़े" (पूरे शहर की तरह) होते हैं या "छोटे" (केवल कुछ अलग-थलग बिंदु)। आप ऐसा "मध्यम" आकार का एडमिसेबल पड़ोस नहीं रख सकते जो इन दोनों में से एक न हो।

सारांश

एलेक्सी एलगिन का शोध पत्र एक जटिल, मुड़े हुए शहर के लिए एक मास्टर मैप की तरह है। वह हमें बताता है:

आप वहां जो कुछ भी बनाएंगे वह या तो ब्लॉकों का एक सरल संग्रह (क्वीवर-लाइक) होगा या एक बड़ा, जटिल जिला (बिग) होगा।
कोई भूत नहीं है (कुछ भी जो वास्तविक दिखता है लेकिन वास्तव में नहीं है)।
उनके मूल टुकड़ों में सब कुछ अलग करने का एक अद्वितीय तरीका है।

यह एक बहुत ही अमूर्त, उच्च-स्तरीय गणितीय समस्या को एक स्पष्ट वर्गीकरण प्रणाली में बदल देता है: यदि यह एक साधारण लेगो सेट नहीं है, तो यह एक बड़ा जिला है।

यहाँ एलेक्सी एलगिन के शोध पत्र "Thick Subcategories on Weighted Projective Curves and Nilpotent Representations of Quivers" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र एक भारित प्रक्षेपिक वक्र (weighted projective curve), $X$ के कोहेरेंट शीव्स (coherent sheaves) के व्युत्पन्न श्रेणी (derived category), $D^b(\text{coh } X)$ के भीतर थिक सबकैटेगरीज़ (thick subcategories) के वर्गीकरण को संबोधित करता है।

संदर्भ: यह कार्य लुन्ट्स और एलगिन (2023) के पिछले शोध का विस्तार है, जिन्होंने सुचारू (smooth) प्रक्षेपिक वक्रों के लिए थिक सबकैटेगरीज़ का वर्गीकरण किया था। सुचारू मामले में, कोई भी उचित (proper) थिक सबकैटेगरी "क्वीवर-जैसी" (quiver-like) होती है (अर्थात, एक क्वीवर के निलपोटेंट निरूपणों की व्युत्पन्न श्रेणी के समतुल्य)।
चुनौती: भारित प्रक्षेपिक वक्रों में ऑर्बिफोल्ड बिंदु (orbifold points) होते हैं (ऐसे बिंदु जहाँ भार $w(x) > 1$ होता है)। ये बिंदु अपवादपूर्ण टोरशन शीव्स (exceptional torsion sheaves) और "स्फीयर-जैसे" ऑब्जेक्ट्स (ऐसे ऑब्जेक्ट्स $E$ जहाँ $\text{Hom}(E,E)=k$ और $\text{Hom}^1(E,E)=k$ ) को सहारा देते हैं। इन ऑब्जेक्ट्स की उपस्थिति ऐसी सबकैटेगरीज़ बनाती है जो पूरी तरह से क्वीवर-जैसी नहीं हैं, लेकिन पूरी श्रेणी के "करीब" हैं।
लक्ष्य: भारित वक्रों के लिए $D^b(\text{coh } X)$ में थिक सबकैटेगरीज़ का एक पूर्ण संरचनात्मक विवरण प्रदान करना, जो अपवादपूर्ण संग्रहों (exceptional collections) द्वारा जनरेट की गई श्रेणियों और वक्र की वैश्विक ज्यामिति से उत्पन्न श्रेणियों के बीच अंतर स्पष्ट करता है।

2. कार्यप्रणाली (Methodology)

लेखक होमोलॉजिकल अलजेब्रा, रिप्रेजेंटेशन थ्योरी और डैरिब्ड कैटेगरी तकनीकों के संयोजन का उपयोग करते हैं:

$A_\infty$ -श्रेणियाँ और DG-एन्हांसमेंट्स: यह शोध पत्र जनरेटिंग सेट्स पर परिमितता (finiteness) की धारणाओं और dg-एंडोमोर्फिज्म बीजगणित पर फॉर्मैलिटी धारणाओं को हटाकर पिछले परिणामों का सामान्यीकरण करता है। इसके बजाय, यह अमूर्त त्रिकोणीय श्रेणियों और क्वीवर्स की परफेक्ट डैरिब्ड श्रेणियों के बीच तुल्यता स्थापित करने के लिए $A_\infty$ -श्रेणियों का उपयोग करता है।
वर्टेक्स-जैसी संग्रह (Vertex-like Collections): एक केंद्रीय अवधारणा वर्टेक्स-जैसी संग्रहों $\{t_i\}$ ${t_{i}}$ की पहचान करना है जो विशिष्ट ऑर्थोगोनैलिटी (orthogonality) शर्तों को पूरा करते हैं:
- $\text{Hom}(t_i, t_i) = k$ , $\text{Hom}(t_i, t_j) = 0$ जब $i \neq j$ ।
- $\text{Hom}^p(t_i, t_j) = 0$ जब $p \neq 0, 1$ ।
  शोध पत्र सिद्ध करता है कि ऐसी संग्रह द्वारा जनरेट की गई कोई भी श्रेणी एक क्वीवर की व्युत्पन्न श्रेणी के समतुल्य होती है।
सेमी-ऑर्थोगोनल डीकंपोज़िशन (SOD): विश्लेषण अर्ध-लंबवत घटकों (orthogonal components) में श्रेणी को विभाजित करने पर अत्यधिक निर्भर है। लेखक एक अबीलियन हेरेडिटरी श्रेणी $\mathcal{A}$ में थिक सबकैटेगरीज़ और उसकी व्युत्पन्न श्रेणी $D^b(\mathcal{A})$ के बीच संबंध का उपयोग करते हैं।
ट्विस्ट फंक्टर्स (Twist Functors): वक्र पर बिंदुओं से जुड़े स्फेरिकल ट्विस्ट फंक्टर्स ( $\sigma_x$ ) और उनके पुनरावृत्तियों ( $c_x$ ) का उपयोग सबकैटेगरीज़ की संरचना का विश्लेषण करने के लिए किया जाता है, विशेष रूप से "बड़ी" (big) सबकैटेगरीज़ के अस्तित्व को सिद्ध करने में।
ऑर्बिफोल्ड वेट्स पर इंडक्शन: मुख्य वर्गीकरण प्रमेय के लिए, लेखक ऑर्बिफोल्ड बिंदुओं के कुल भार पर आधारित एक इंडक्टिव तर्क का उपयोग करते हैं, जिससे समस्या को कम भार या सुचारू वक्रों वाले मामलों में बदला जा सके।

3. प्रमुख योगदान और परिभाषाएँ (Key Contributions and Definitions)

A. क्वीवर-जैसी श्रेणियाँ (Quiver-like Categories)

शोध पत्र क्वीवर-जैसी श्रेणियों की परिभाषा को परिष्कृत करता है:

त्रिकोणीय (Triangulated): $D^b_0(kQ)$ , एक क्वीवर $Q$ के परिमित-आयामी निलपोटेंट निरूपणों की व्युत्पन्न श्रेणी के समतुल्य।
अबीलियन (Abelian): $\text{mod}_0\text{-}kQ$ के समतुल्य।
प्रमेय A: एक बीजगणितीय त्रिकोणीय श्रेणी के क्वीवर-जैसी होने के लिए पर्याप्त स्थिति प्रदान करता है: यदि यह वर्टेक्स-जैसी स्थितियों को संतुष्ट करने वाले ऑब्जेक्ट्स के सेट द्वारा क्लासिकली जनरेट की जाती है (परिमितता की धारणा के बिना भी), तो यह क्वीवर-जैसी है।

B. थिक सबकैटेगरीज़ का वर्गीकरण (मुख्य परिणाम)

शोध पत्र $T \subset D^b(\text{coh } X)$ के लिए एक द्विशाखीय विभाजन (dichotomy) प्रस्तुत करता है:

छोटी सबकैटेगरीज़ (Small Subcategories): अपवादपूर्ण टोरशन शीव्स के संग्रह द्वारा जनरेट की जाती हैं। ये हमेशा क्वीवर-जैसी होती हैं।
बड़ी सबकैटेगरीज़ (Big Subcategories): एक छोटी सबकैटेगरी का ऑर्थोगोनल कॉम्प्लीमेंट। इनमें "वैश्विक" ज्यामितीय जानकारी होती है।
- प्रमेय D: कोई भी थिक सबकैटेगरी $T$ या तो बड़ी (big) है या क्वीवर-जैसी (quiver-like) है।
- बड़ी सबकैटेगरीज़: इन्हें एक गैर-शून्य वेक्टर बंडल और एक "स्फीयर-जैसे" टोरशन शीफ को समाहित करने के आधार पर पहचाना जाता है। यह दिखाया गया है कि ये एक "वक्र-जैसी" श्रेणी (एक संशोधित वक्र $X'$ के लिए $D^b(\text{coh } X')$ के समतुल्य) और एक छोटी श्रेणी के उत्पाद के समतुल्य हैं।

C. वक्र-जैसी सबकैटेगरीज़ (Curve-like Subcategories)

एक सबकैटेगरी वक्र-जैसी है यदि वह दूसरे भारित प्रक्षेपिक वक्र के कोहेरेंट शीव्स से एक फुलली फुलरफुल फंकशन (fully faithful functor) का आवश्यक प्रतिबिंब (essential image) है, जो रैंक और सपोर्ट को सुरक्षित रखता है। शोध पत्र सिद्ध करता है कि बड़ी सबकैटेगरीज़ अनिवार्य रूप से (एक छोटे कारक तक) वक्र-जैसी होती हैं।

4. मुख्य परिणाम (Key Results)

एडमिसिबल (Admissible) सबकैटेगरीज़ की संरचना:
- भारित प्रक्षेपिक रेखाओं के लिए ( $X \cong \mathbb{P}^1$ ): कोई भी एडमिसिबल सबकैटेगरी एक अपवादपूर्ण संग्रह द्वारा जनरेट की जाती है, और किसी भी अपवादपूर्ण संग्रह को एक पूर्ण (full) संग्रह में विस्तारित किया जा सकता है।
- $g \geq 1$ जनस (genus) वाले वक्रों के लिए: कोई भी एडमिसिबल सबकैटेगरी या तो छोटी (small) है या बड़ी (big) है। ऐसी वक्रों पर कोई "मध्यवर्ती" एडमिसिबल सबकैटेगरी नहीं होती है, और न ही कोई अपवादपूर्ण वेक्टर बंडल मौजूद होता है।
जॉर्डन-होल्डर गुण (Jordan–Hölder Property): भारित प्रक्षेपिक वक्रों की व्युत्पन्न श्रेणियाँ जॉर्डन-होल्डर गुण का पालन करती हैं। इसका अर्थ है कि किन्हीं भी दो मैक्सिमल सेमी-ऑर्थोगोनल डीकंपोज़िशन में घटकों की संख्या समान होती है, और घटक क्रम परिवर्तन (permutation) के अधीन समतुल्य होते हैं।
फैंटम की अनुपस्थिति (Absence of Phantoms): भारित प्रक्षेपिक वक्रों की व्युत्पन्न श्रेणियों में फैंटम सबकैटेगरीज़ (शून्य ग्रोटेंडिएक समूह वाली गैर-शून्य त्रिकोणीय श्रेणियाँ) नहीं होती हैं।
गैर-बड़ी सबकैटेगरीज़ का अपघटन: कोई भी थिक सबकैटेगरी जो बड़ी नहीं है, वह एक अद्वितीय सेमी-ऑर्थोगोनल डीकंपोज़िशन $T = \langle T_1, T_2 \rangle$ को स्वीकार करती है, जहाँ $T_1$ टोरशन है और $T_2$ टोरशन-फ्री है।

5. महत्व (Significance)

सामान्यीकरण (Generalization): यह कार्य सुचारू वक्रों से भारित प्रक्षेपिक वक्रों (ऑर्बिफोल्ड्स) के व्यापक वर्ग तक थिक सबकैटेगरीज़ के वर्गीकरण का महत्वपूर्ण विस्तार करता है, जो सिंगुलैरिटीज़ द्वारा उत्पन्न जटिलताओं को संभालता है।
पद्धतिगत प्रगति (Methodological Advancement): $A_\infty$ -श्रेणियों का उपयोग करके और परिमितता की धारणाओं को शिथिल करके, यह शोध पत्र अनंत या गैर-फॉर्मल सेटिंग्स में क्वीवर-जैसी संरचनाओं को पहचानने के लिए एक अधिक मजबूत ढांचा प्रदान करता है।
ज्यामितीय अंतर्दृष्टि (Geometric Insight): "बड़ी" और "क्वीवर-जैसी" सबकैटेगरीज़ के बीच का अंतर व्युत्पन्न श्रेणियों की ज्यामितीय प्रकृति को स्पष्ट करता है। "बड़ी" सबकैटेगरीज़ वक्र के ज्यामितीय सार (वेक्टर बंडल्स, रैंक) को बनाए रखती हैं, जबकि "क्वीवर-जैसी" सबकैटेगरीज़ विशुद्ध रूप से प्रतिनिधित्व-सैद्धांतिक (टोरशन, निलपोटेंट) होती हैं।
पैथोलॉजी उन्मूलन (Pathology Elimination): परिणाम पुष्टि करते हैं कि भारित प्रक्षेपिक वक्र व्युत्पन्न श्रेणियों के संदर्भ में "सुव्यवस्थित" हैं, जो जॉर्डन-होल्डर गुण का पालन करते हैं और फैंटम सबकैटेगरीज़ से मुक्त हैं, जो अक्सर अधिक जटिल बीजगणिक किस्मों (algebraic varieties) में पाए जाने वाले पैथोलॉजी हैं।
अनुप्रयोग (Applications): यह वर्गीकरण बीजगणिक ज्यामिति में सेमी-ऑर्थोगोनल डीकंपोज़िशन को समझने में सहायता करता है और स्टैक्स (stacks) एवं ऑर्बिफोल्ड्स की व्युत्पन्न श्रेणियों के अध्ययन के लिए उपकरण प्रदान करता है।

संक्षेप में, एलगिन एक व्यापक संरचनात्मक प्रमेय प्रदान करते हैं जो भारित प्रक्षेपिक वक्रों की सभी थिक सबकैटेगरीज़ को दो अलग-अलग परिवारों में वर्गीकृत करता है: वे जो विशुद्ध रूप से प्रतिनिधित्व-सैद्धांतिक (क्वीवर-जैसी) हैं और वे जो ज्यामितीय रूप से महत्वपूर्ण (बड़ी/वक्र-जैसी) हैं, जिससे इस महत्वपूर्ण वर्ग के लिए वर्गीकरण समस्या का समाधान होता है।