We characterize smooth maps between sub-Riemannian Lie groups that commute with sub-Laplacians.
We show they are sub-Riemannian conformal submersions.
Our work clarifies the analysis initiated on Carnot groups in \cite{MR2363343}.
In particular, we show that the sub-Laplacian in a Carnot group determines the sub-Riemannian structure.
यह पेपर उप-रीमानियन लाई समूहों के बीच उप-लाप्लासियन संचालक के साथ क्रमविनिमेय सुचारु मानचित्रों को चिन्हित करता है, और सिद्ध करता है कि ये मानचित्र बिल्कुल उप-रीमानियन अनुरूप विसर्जन हैं। यह कार्य कार्नोट समूहों पर शुरू किए गए विश्लेषण को स्पष्ट करता है, विशेष रूप से यह सिद्ध करता है कि कार्नोट समूहों में उप-लाप्लासियन संचालक पूरी तरह से उप-रीमानियन संरचना को निर्धारित करता है।
शास्त्रीय परिणामों के सामान्यीकरण की आवश्यकता: हेलगासन ने रीमानियन बहुविध पर सिद्ध किया कि अवकल समरूपता समदूरस्थ मानचित्र है यदि और केवल यदि यह लाप्लासियन क्रमविनिमेय मानचित्र है। वाटसन आदि ने इस परिणाम को सामंजस्यपूर्ण रीमानियन विसर्जन तक विस्तारित किया। यह पेपर इस सिद्धांत को उप-रीमानियन सेटिंग तक विस्तारित करता है।
उप-लाप्लासियन का ज्यामितीय महत्व: उप-रीमानियन लाई समूहों पर, उप-लाप्लासियन संचालक मीट्रिक और माप द्वारा संयुक्त रूप से निर्धारित होता है। यह समझना कि कौन से मानचित्र इस संचालक संरचना को संरक्षित करते हैं, उप-रीमानियन ज्यामिति को समझने के लिए महत्वपूर्ण है।
कार्नोट समूहों पर खुली समस्या: साहित्य में कार्नोट समूहों पर दो अवकल संचालकों के बारे में प्रश्न उठाया गया था जो सदिश क्षेत्रों के वर्गों के योग के रूप में परिभाषित हैं कि क्या वे समतुल्य हैं। यह पेपर इस समस्या को पूरी तरह से हल करता है।
मुख्य प्रमेय A: उप-रीमानियन लाई समूहों के बीच उप-लाप्लासियन के साथ क्रमविनिमेय C² मानचित्रों को पूरी तरह से चिन्हित करता है, सिद्ध करता है कि वे बिल्कुल अनुरूप विसर्जन हैं
प्रमेय B: कार्नोट समूहों के लिए, सिद्ध करता है कि उप-लाप्लासियन पूरी तरह से उप-रीमानियन संरचना को निर्धारित करता है
संचालक समतुल्यता सिद्धांत: वर्गों के योग संचालकों की समतुल्यता का एक संपूर्ण वर्गीकरण स्थापित करता है
हाइजेनबर्ग समूह का संपूर्ण विवरण: हाइजेनबर्ग समूह पर सभी समतुल्य वर्ग उप-लाप्लासियन का संपूर्ण विवरण देता है
उप-रीमानियन लाई समूहों G और H के बीच C² मानचित्र F का अध्ययन करें, जो सभी u ∈ C²(H) के लिए संतुष्ट करता है:
△G(u∘F)=λ2⋅(△Hu)∘F+⟨b,(∇Hu)∘F⟩H+c⋅(u∘F)
दो वर्गों के योग संचालक PX=∑i=1rX~i2+divG(X~i)X~i और PY=∑i=1rY~i2+divG(Y~i)Y~i बराबर हैं यदि और केवल यदि एक अदिश गुणनफल मौजूद है जैसे कि X और Y दोनों मानक ऑर्थोनॉर्मल आधार हैं।