🔢 mathematics

Uniform volume estimates and maximal functions on generalized Heisenberg-type groups

यह शोध पत्र कार्नोट-कैरोथियोडोरिया (Carnot-Carathéodory) बॉल्स के लिए समान आयतन अनुमान स्थापित करता है और सामान्यीकृत हीज़ेनबर्ग-प्रकार के समूहों (generalized Heisenberg-type groups) पर केंद्रित हार्डी-लिटिलवुड मैक्सिमल फंक्शन्स के लिए कमजोर (1, 1) $O(C^m n)$ सीमाएँ व्युत्पन्न करता है, जिससे पिछले परिणामों का विस्तार होता है और हीज़ेनबर्ग समूहों पर बाईं-अ invariant (left-invariant) रिमानियन मेट्रिक्स के एक वर्ग के लिए एक समान आयतन दोहरीकरण (volume doubling) गुण प्रदर्शित होता है।

मूल लेखक: Cheng Bi, Hong-Quan Li

प्रकाशित 2026-04-17

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

CC BY 4.0

मूल लेखक: Cheng Bi, Hong-Quan Li

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

बड़ी तस्वीर: अनकहे को मापना

कल्पना कीजिए कि आप एक अजीब, नई दुनिया का मानचित्र बनाने की कोशिश कर रहे हैं एक खोजकर्ता के रूप में। यह दुनिया कागज की एक शीट (यूक्लिडियन स्पेस) की तरह सपाट नहीं है, और न ही यह एक साधारण गोला है। यह एक सामान्यीकृत हाइजेनबर्ग-प्रकार का समूह (Generalized Heisenberg-Type Group) है।

इस दुनिया को एक विशाल, बहु-आयामी भूलभुलैया के रूप में सोचें जहाँ चलने के नियम पेचीदा हैं। आप आगे, पीछे, बाएँ और दाएँ आसानी से चल सकते हैं, लेकिन "ऊपर" या "नीचे" (एक विशिष्ट ऊर्ध्वाधर दिशा में) जाना तभी संभव है जब आप पहले टेढ़े-मेढ़े होकर अपनी राह बनाएँ। यह एक तंग जगह में कार पार्क करने की कोशिश करने जैसा है: आप सीधे अंदर नहीं जा सकते; आपको अंतिम स्थिति में पहुँचने के लिए आगे-पीछे-बाएँ-दाएँ के कई युद्धाभ्यास करने होंगे।

लेखक, चेंग बी और होंग-क्वान ली, इस अजीब दुनिया के बारे में दो बड़े सवालों के जवाब देने की कोशिश कर रहे हैं:

एक वृत्त के अंदर कितनी जगह है? (वॉल्यूम अनुमान/Volume Estimates)
हम इस स्थान में किसी चीज़ का "औसत" मान बिना भटके कैसे ज्ञात कर सकते हैं? (मैक्सिमल फंक्शन्स/Maximal Functions)

भाग 1: वॉल्यूम की समस्या (द "इन्फ्लेशन" यानी मुद्रास्फीति सादृश्य)

हमारी सामान्य दुनिया में, यदि आप एक गुब्बारे (एक बॉल) को उसके आकार से दोगुना फुलाते हैं, तो उसका आयतन (वॉल्यूम) एक अनुमानित मात्रा में बढ़ता है (8 गुना, क्योंकि $2^3 = 8$ होता है)। इसे डबलिंग प्रॉपर्टी (Doubling Property) कहा जाता है।

हालाँकि, इस अजीब "हाइजेनबर्ग" दुनिया में, ज्यामिति (geometry) विकृत है। लेखक इस बात को लेकर चिंतित थे कि यदि आप दूरी मापने के लिए उपयोग किए जाने वाले "रूलर" (माप यंत्र) को बदलते हैं, तो क्या गुब्बारा अराजक और अप्रत्याशित तरीके से फूल सकता है। शायद कभी यह दोगुना हो जाए, और कभी अन्य समय में यह लाखों गुना बड़ा होकर फट जाए।

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

सादृश्य: एक जादुई गुब्बारे की कल्पना करें जो इसे पकड़ने के तरीके के आधार पर अपना आकार बदल लेता है। कभी यह लंबा और पतला होता है, तो कभी छोटा और मोटा। लेखकों ने सिद्ध किया कि भले ही आकार बदल जाए, लेकिन जब आप इसका आकार दोगुना करते हैं, तो इसके अंदर की हवा की मात्रा कभी नियंत्रण से बाहर नहीं होती। यह हमेशा एक विशिष्ट, प्रबंधनीय सीमा के भीतर रहती है।
यह क्यों मायने रखता है: यह "यूनिफॉर्म डबलिंग" इस दुनिया में कैलकुलस करने के लिए आधारशिला है। इसके बिना, आप यह सिद्ध नहीं कर सकते कि गर्मी समान रूप से कैसे फैलती है या तरंगें (waves) कैसे व्यवहार करती हैं। लेखकों ने दिखाया कि यह आधारशिला ठोस है, यहाँ तक कि इन समूहों के सबसे जटिल संस्करणों के लिए भी।

भाग 2: मैक्सिमल फंक्शन (द "सर्चलाइट" यानी खोजबीन की रोशनी का सादृश्य)

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

सामान्य गणित में, हम जानते हैं कि यह सर्चलाइट अच्छी तरह काम करती है। लेकिन इस विकृत, सामान्यीकृत दुनिया में, "वृत्त" (बॉल्स) अजीब आकृतियों के होते हैं, और "चमक" (फंक्शन) अप्रत्याशित स्थानों पर अचानक बढ़ सकती है।

चुनौती:
लेखक यह जानना चाहते थे कि: "यदि मैं इस सर्चलाइट का उपयोग एक बहुत ही अस्त-व्यस्त, नुकीले सिग्नल पर करूँ, तो क्या परिणाम प्रबंधनीय होगा, या यह अनंत (infinity) तक पहुँच जाएगा?"

परिणाम:
उन्होंने सिद्ध किया कि सर्चलाइट सुरक्षित है। इस जटिल, मुड़ी हुई ज्यामिति में भी, औसत चमक का "सबसे खराब मामला" (worst-case scenario) सीमित है। यह विस्फोट नहीं करेगा।

सादृश्य: यह कहने जैसा है कि, "भले ही इलाका ऊबड़-खाबड़ चट्टानों और छिपी हुई घाटियों से भरा हो, यदि आप फ्लैशलाइट से क्षेत्र को स्कैन करते हैं, तो आपके द्वारा पाया गया सबसे चमकीला बिंदु कमरे की औसत रोशनी से अनंत गुना अधिक चमकदार नहीं होगा।"
"यूनिफॉर्म" ट्विस्ट: उन्होंने केवल इन दुनियाओं के एक विशिष्ट आकार के लिए सिद्ध नहीं किया; उन्होंने इन दुनियाओं के एक पूरे परिवार के लिए इसे सिद्ध किया। आप भूलभुलैया के मापदंडों (parameters) में कोई भी बदलाव करें, सर्चलाइट विश्वसनीय बनी रहती है।

भाग 3: "सीक्रेट सॉस" (उन्होंने यह कैसे किया)

उन्होंने इन अजीब आकृतियों को कैसे मापा?

"मैजिक मैप" (डिफ़ियोमॉर्फिज्म/Diffeomorphism): उन्होंने इस दुनिया के जटिल, मुड़े हुए निर्देशांकों (coordinates) को एक सरल, सपाट मानचित्र में बदलने का एक तरीका खोजा। यह एक ऐसे जीपीएस (GPS) की तरह है जो एक मुड़ी हुई रबर की चादर की तस्वीर लेता है और उसे चपटा कर देता है ताकि आप इसे एक मानक रूलर से माप सकें।
"स्टर्लिंग का फॉर्मूला" (सितारों की गिनती): उन्होंने इन अजीब आकृतियों के भीतर कितने बिंदु फिट बैठते हैं, इसकी गणना करने के लिए एक प्रसिद्ध गणितीय उपकरण (स्टर्लिंग का फॉर्मूला) का उपयोग किया, जो एक आकाशगंगा के केंद्र के घनत्व को देखकर उसमें कितने तारे हैं, इसका अनुमान लगाने के समान है।
"सेफ्टी नेट" (धारणा 2.6): उन्हें एक छोटी सी शर्त (कि भूलभुलैया के आयाम बहुत अधिक असंतुलित नहीं हैं) को मानना पड़ा। यह कहने जैसा है, "जब तक भूलभुलैया एक दिशा में अनंत रूप से पतली नहीं है, हमारा गणित काम करेगा।"

आपको इसकी परवाह क्यों करनी चाहिए?

आप सोच सकते हैं, "सामान्य हाइजेनबर्ग समूहों से किसे फर्क पड़ता है?"

लेकिन ये समूह उन गणितीय भाषाओं का उपयोग करते हैं जिनका उपयोग निम्नलिखित को वर्णित करने के लिए किया जाता है:

क्वांटम मैकेनिक्स: चुंबकीय क्षेत्रों में कण कैसे चलते हैं।
रोबोटिक्स: 3D स्पेस में एक रोबोटिक हाथ कैसे चलता है (इसके पास हाइजेनबर्ग समूह के समान बाधाएं होती हैं)।
इमेज प्रोसेसिंग: कंप्यूटर तस्वीरों में किनारों और आकारों का विश्लेषण कैसे करते हैं।

इन समूहों के लिए "यूनिफॉर्म वॉल्यूम" और "सुरक्षित सर्चलाइट" को सिद्ध करके, लेखक इंजीनियरों और भौतिकविदों को एक विश्वसनीय टूलकिट दे रहे हैं। वे कह रहे हैं, "आप अपने रोबोट और अपने क्वांटम मॉडल इस गणित पर बना सकते हैं, और यह दबाव में ढहेगा नहीं।"

एक वाक्य में सारांश

लेखकों ने सिद्ध किया कि एक जटिल, मुड़ी हुई गणितीय दुनिया में, जहाँ गति प्रतिबंधित है, स्थान को मापने और मानों को औसत निकालने के नियम सुसंगत और अनुमानित रहते हैं, जिससे वास्तविक दुनिया के भौतिकी और इंजीनियरिंग का मॉडल बनाने वाले गणित की स्थिरता सुनिश्चित होती है।

यहाँ चेंग बी और होंग-क्वान ली के शोध पत्र "Uniform Volume Estimates and Maximal Functions on Generalized Heisenberg-Type Groups" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ

यह शोध पत्र ली समूहों (Lie groups) पर हार्मोनिक विश्लेषण और ज्यामितीय विश्लेषण में दो परस्पर जुड़े हुए समस्याओं को संबोधित करता है:

एकीकृत आयतन दोहरीकरण (Uniform Volume Doubling): यह निर्धारित करना कि क्या सामान्यीकृत हाइजेनबर्ग-प्रकार के समूहों (जिसे $G(2n, m, U, W)$ $G (2 n, m, U, W)$ द्वारा दर्शाया गया है) में बॉल्स (balls) का आयतन एक बड़े वर्ग के लेफ्ट-इनवेरिएंट रिमानियन मेट्रिक्स (left-invariant Riemannian metrics) के संबंध में एक समान दोहरीकरण गुण (uniform doubling property) का पालन करता है। विशेष रूप से, लेखक यह जांचते हैं कि क्या दोहरीकरण स्थिरांक $D_g = \sup_{z, r} \frac{\nu_g(B_g(z, 2r))}{\nu_g(B_g(z, r))}$ $D_{g} = sup_{z, r} \frac{ν _{g} ( B _{g} ( z , 2 r ))}{ν _{g} ( B _{g} ( z , r ))}$ ऐसे सभी मेट्रिक्स में समान रूप से सीमित (uniformly bounded) है।
- संदर्भ: जबकि यूक्लिडियन स्पेस और कॉम्पैक्ट ली समूह समान रूप से दोहरीकरण (uniformly doubling) के लिए जाने जाते हैं, हाइजेनबर्ग जैसे गैर-कॉम्पैक्ट समूह चुनौतियाँ प्रस्तुत करते हैं क्योंकि उनमें समान रिक्की कर्वेचर (Ricci curvature) सीमाएँ नहीं होती हैं, जिससे शास्त्रीय बिशप-ग्रोमोव वॉल्यूम तुलना प्रमेय (Bishop-Gromov volume comparison theorem) लागू करने में असमर्थ हो जाता है।
मैक्सिमल फंक्शन अनुमान (Maximal Function Estimates): इन समूहों और मेट्रिक्स से जुड़े सेंटर्ड हार्डी-लिटिलवुड मैक्सिमल फंक्शन (centered Hardy-Littlewood maximal function) के लिए वीक $(1, 1)$ बाउंड स्थापित करना। इसका लक्ष्य स्टाइन-स्ट्रोमबर्ग (Stein-Strömberg) के $O(n)$ बाउंड (जहाँ $n$ आयाम है) को इस व्यापक सेटिंग में विस्तारित करना है, विशेष रूप से $O(C_m^n)$ बाउंड प्राप्त करना।

2. गणितीय परिवेश (Mathematical Setting)

लेखक सामान्यीकृत H-प्रकार के समूहों $G = G(2n, m, U, W)$ पर कार्य करते हैं, जो $\mathbb{R}^{2n} \times \mathbb{R}^m$ पर परिभाषित हैं और इसमें स्क्यू-सिमेट्रिक मैट्रिसेस $U^{(l)}$ और एक पॉजिटिव डेफिनिट मैट्रिक्स $W$ शामिल एक विशिष्ट ग्रुप लॉ (group law) है।

मेट्रिक्स: वे सामान्य सब-लैपलेसियन $\Delta_B = \Delta + \sum (B_{i,l} T_l)^2$ से जुड़े कार्नोट-कैराथियोडोरी दूरियों (Carnot-Carathéodory distances) $d_B$ पर विचार करते हैं, जहाँ $B$ एक मनमाना वास्तविक मैट्रिक्स है।
मुख्य पैरामीटर: संरचना को $W$ के आइगेनवैल्यूज़ (eigenvalues) के आधार पर विभाजित किया गया है। समूह को पूर्णांकों $k_j$ (उप-स्थानों के आयाम) और पैरामीटर्स $a_j$ ( $W$ के आइगेनवैल्यूज़ से संबंधित) द्वारा वर्णित किया गया है। शोध पत्र विशेष रूप से उस स्थिति पर केंद्रित है जहाँ अलग-अलग आइगेनवैल्यूज़ की संख्या $\ell \geq 2$ है, जो शास्त्रीय H-प्रकार के समूहों ( $\ell=1$ ) में मौजूद विषमता (asymmetry) को पेश करती है।

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

प्रमाण की रणनीति सामान्य तुलना प्रमेयों के बजाय स्पष्ट ज्यामितीय और विश्लेषणात्मक गणनाओं पर निर्भर करती है।

A. डिफ़ियोमॉर्फिज्म के माध्यम से स्पष्ट आयतन सूत्र

आयतन अनुमान का मुख्य आधार सब-लैपलेसियन के हीट कर्नेल (heat kernel) से प्राप्त कार्नोट-कैराथियोडोरी दूरी $d_B(g)$ का स्पष्ट सूत्र है।

दूरी का सूत्र: वर्ग दूरी को एक पैरामीटर डोमेन $\Omega^*$ पर सुप्रीमकम (supremum) के रूप में व्यक्त किया गया है:
$d_B(g)^2 = \sup_{\tau \in \Omega^*} \left( \sum_{j=1}^\ell (a_j|\lambda|)\cot(a_j|\lambda|)|x^{(j)}|^2 + 4t \cdot \lambda - 4\lambda^T A \lambda \right)$
कोऑर्डिनेट ट्रांसफॉर्मेशन: लेखक एक डिफ़ियोमॉर्फिज्म $F_x$ (हीट कर्नेल विश्लेषण से प्राप्त) का उपयोग करते हैं ताकि स्थानिक निर्देशांकों (spatial coordinates) को पैरामीटर स्पेस में मैप किया जा सके। यह उन्हें "समय" और "स्थान" चरों पर अलग-अलग समाकलन (integration) करके बॉल्स के आयतन की गणना करने की अनुमति देता है।
विघटन रणनीति (Decomposition Strategy): पैरामीटर डोमेन की सीमा के पास इंटीग्रेंड (integrand) की सिंगुलैरिटी को संभालने के लिए, लेखक एकीकरण क्षेत्र को दो भागों में विभाजित करते हैं:
1. आंतरिक क्षेत्र ( $O_1$ ): जहाँ पैरामीटर $\delta$ छोटा (0 के करीब) है। यहाँ, वे आयतन को अनुमानित करने के लिए टेलर एक्सपेंशन और स्टर्लिंग के सूत्र (Stirling's formula) का उपयोग करते हैं।
2. बाहरी क्षेत्र ( $O_2$ ): जहाँ $\delta$ 0 से दूर है। वे एनुलर डिकंपोजिशन (annular decomposition) और एक्सपोनेंशियल डिके अनुमानों का उपयोग करके यह दिखाते हैं कि यह क्षेत्र आंतरिक क्षेत्र की तुलना में नगण्य योगदान देता है।

B. पॉइसन कर्नेल का एसिम्प्टोटिक विश्लेषण

मैक्सिमल फंक्शन अनुमानों को सिद्ध करने के लिए, लेखक सब-लैपलेसियन से जुड़े पॉइसन कर्नेल $P_h(g)$ का विश्लेषण करते हैं।

सैडल पॉइंट विधि (Saddle Point Method): वे कर्नेल के इंटीग्रल रिप्रेजेंटेशन में फेज फंक्शन $S(\lambda)$ के लिए एक अद्वितीय मैक्सिमाइज़र $\tau_h$ की पहचान करते हैं।
हेसियन अनुमान (Hessian Estimates): वे $\tau_h$ पर $S$ के हेसियन की गणना करते हैं और सिद्ध करते हैं कि एक विशिष्ट तकनीकी धारणा (Assumption 2.6: $k_\ell/n \geq \eta_0$ ) के तहत, हेसियन समान रूप से व्यवहार करता है।
समान बाउंड्स (Uniform Bounds): आयतन अनुमानों को पॉइसन कर्नेल के एसिम्प्टोटिक व्यवहार के साथ जोड़कर, वे विशिष्ट मेट्रिक पैरामीटर्स से स्वतंत्र कर्नेल के लिए समान बाउंड प्राप्त करते हैं।

4. मुख्य योगदान और परिणाम

A. समान आयतन अनुमान (Theorem 2.2)

लेखक एक बॉल $B_B(o, r)$ के लिए एक स्पष्ट एसिम्प्टोटिक सूत्र स्थापित करते हैं:
$|B_B(o, r)| \sim |B_{\mathbb{R}^{2n+m}}(0, r)| \det\left( \frac{r^2 C_G}{12} I_m + B^T B \right)^{1/2}$
जहाँ $C_G = K/n$ एक संरचनात्मक स्थिरांक है जो $W^2$ के ट्रेस (trace) से संबंधित है।

उपसंहार (Corollary): यह एक समान आयतन दोहरीकरण गुण की ओर ले जाता है:
$\sup_{g, r, B} \frac{|B_B(g, 2r)|}{|B_B(g, r)|} \lesssim 2^{2(n+m)}$
यह पुष्टि करता है कि सामान्यीकृत हाइजेनबर्ग-प्रकार के समूह एक विस्तृत वर्ग के लेफ्ट-इनवेरिएंट रिमानियन मेट्रिक्स के लिए समान रूप से दोहरीकरण (uniformly doubling) प्रदर्शित करते हैं, जो शास्त्रीय H-प्रकार के समूहों के लिए ज्ञात पिछले परिणामों का विस्तार करता है।

B. वीक $(1, 1)$ मैक्सिमल फंक्शन अनुमान (Theorem 2.7)

यह मानते हुए कि आयाम अनुपात $k_\ell/n$ शून्य से दूर है, सेंटर्ड हार्डी-लिटिलवुड मैक्सिमल फंक्शन $M_B$ संतुष्ट करता है:
$\|M_B\|_{L^1 \to L^{1,\infty}} \leq C \left( \frac{3 a_\ell^2}{2 C_G} \right)^{\frac{m}{2} n}$

महत्व: यह स्टाइन-स्ट्रोमबर्ग के $O(n)$ बाउंड को सामान्यीकृत H-प्रकार के समूहों तक विस्तारित करता है। बाउंड आयाम $n$ और समूह के संरचनात्मक पैरामीटर्स पर निर्भर करता है, लेकिन $B$ द्वारा परिभाषित मेट्रिक्स के वर्ग में समान रहता है।

C. होमोजेनियस नॉर्म्स तक सामान्यीकरण (Theorem 4.8)

लेखक इन समूहों पर एक कोरान्यी-प्रकार (Korányi-type) का होमोजेनियस नॉर्म $d_G$ परिभाषित करते हैं और समान आयतन और मैक्सिमल फंक्शन अनुमान सिद्ध करते हैं, जो मानक H-प्रकार के समूहों के ज्ञात परिणामों को सामान्यीकृत करते हैं।

5. महत्व और प्रभाव

एक अनुमान का समाधान (आंशिक): यह शोध पत्र इस प्रश्न के आंशिक सकारात्मक उत्तर प्रदान करता है कि क्या हाइजेनबर्ग समूह समान रूप से दोहरीकरण (uniformly doubling) करते हैं। यह एक "बहुत स्वाभाविक" वर्ग के मेट्रिक्स के लिए इसे सिद्ध करता है, जो उन ज्यामितीय उपकरणों की कमी को दूर करता है जो मानक रिक्की कर्वेचर बाउंड्स के अभाव के कारण उपयोग नहीं किए जा सकते थे।
शास्त्रीय परिणामों का विस्तार: यह कार्य एल्ड्रिज, गोर्डिना और सालोफ़-कोस्ट (जिन्होंने कॉम्पैक्ट समूहों का अध्ययन किया था) और लेखकों के अपने पिछले कार्य [3] का महत्वपूर्ण विस्तार करता है। यह उस स्थिति को संभालता है जहाँ समूह संरचना अधिक जटिल ( $\ell \geq 2$ ) है, जो विषमता को प्रबंधित करने के लिए नई विश्लेषणात्मक तकनीकें पेश करती है।
विश्लेषणात्मक परिणाम: समान दोहरीकरण गुण और मैक्सिमल फंक्शन बाउंड निम्नलिखित को स्थापित करने के लिए आधारभूत हैं:
- समान पॉइन्केयर असमानताएँ (Uniform Poincaré inequalities)।
- समान टू-साइडेड हीट कर्नेल अनुमान (Uniform two-sided heat kernel estimates)।
- इन समूहों पर सब-इलिप्टिक ऑपरेटर्स के लिए रेगुलैरिटी थ्योरी।
तकनीकी नवाचार: यह शोध पत्र स्पष्ट हीट कर्नेल सूत्रों के साथ परिष्कृत इंटीग्रल अनुमानों (स्टर्लिंग फॉर्मूला, कॉनवेक्सिटी तर्क और एनुलर डिकंपोजिशन) को जोड़कर गैर-सममित सेटिंग्स में आयतन का अनुमान लगाने के लिए एक मजबूत पद्धति पेश करता है। यह कार्य पद्धति अन्य सब-रिमैनियन मैनिफोल्ड्स पर भी लागू होने की संभावना है जिनमें समान संरचनात्मक जटिलताएँ हैं।

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