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.
পেপার আইডি : 2501.00576শিরোনাম : পোলারাইজড গ্রুপে সাব-ল্যাপ্লাসিয়ানের সমতুল্যতালেখক : Antoni Kijowski, Sebastiano Nicolussi Golo, Ben Warhurstশ্রেণীবিভাগ : math.DG (অবকল জ্যামিতি), math.AP (বিশ্লেষণ এবং আংশিক অবকল সমীকরণ)প্রকাশনার সময় : ২০২৪ সালের ৩১ ডিসেম্বরপেপার লিঙ্ক : https://arxiv.org/abs/2501.00576 এই পেপারটি সাব-রিম্যানিয়ান লাই গ্রুপের মধ্যে সাব-ল্যাপ্লাসিয়ান অপারেটরের সাথে পরিবর্তনশীল মসৃণ ম্যাপিংগুলিকে চিহ্নিত করে, এবং প্রমাণ করে যে এই ম্যাপিংগুলি ঠিক সাব-রিম্যানিয়ান কনফর্মাল নিমজ্জন। এই কাজটি কার্নট গ্রুপে শুরু হওয়া বিশ্লেষণকে স্পষ্ট করে, বিশেষত প্রমাণ করে যে কার্নট গ্রুপে সাব-ল্যাপ্লাসিয়ান অপারেটর সম্পূর্ণভাবে সাব-রিম্যানিয়ান কাঠামো নির্ধারণ করে।
ক্লাসিক্যাল ফলাফলের সম্প্রসারণের প্রয়োজনীয়তা : হেলগাসন রিম্যানিয়ান ম্যানিফোল্ডে প্রমাণ করেছেন যে একটি ডিফিওমরফিজম একটি আইসোমেট্রি যদি এবং শুধুমাত্র যদি এটি ল্যাপ্লাসিয়ান পরিবর্তনশীল ম্যাপিং হয়। ওয়াটসন এবং অন্যরা এই ফলাফলটি সুসংগত রিম্যানিয়ান নিমজ্জনে প্রসারিত করেছেন। এই পেপারটি এই তত্ত্বকে সাব-রিম্যানিয়ান সেটিংয়ে প্রসারিত করে।সাব-ল্যাপ্লাসিয়ানের জ্যামিতিক অর্থ : সাব-রিম্যানিয়ান লাই গ্রুপে, সাব-ল্যাপ্লাসিয়ান অপারেটর মেট্রিক এবং পরিমাপ উভয় দ্বারা নির্ধারিত হয়। কোন ধরনের ম্যাপিং এই অপারেটর কাঠামো সংরক্ষণ করে তা বোঝা সাব-রিম্যানিয়ান জ্যামিতি বোঝার জন্য অত্যন্ত গুরুত্বপূর্ণ।কার্নট গ্রুপে খোলা সমস্যা : সাহিত্য ১ এ কার্নট গ্রুপে দুটি ভেক্টর ক্ষেত্রের বর্গের যোগফল হিসাবে সংজ্ঞায়িত দুটি অবকল অপারেটর সমতুল্য কিনা তা নিয়ে প্রশ্ন উত্থাপন করা হয়েছিল। এই পেপারটি এই সমস্যাটি সম্পূর্ণভাবে সমাধান করে।সাব-রিম্যানিয়ান জ্যামিতিতে অপারেটর সমতুল্যতার সম্পূর্ণ তত্ত্ব প্রতিষ্ঠা করা কার্নট গ্রুপে সাব-ল্যাপ্লাসিয়ান অনন্যতা সমস্যা সমাধান করা সাব-রিম্যানিয়ান জ্যামিতির জন্য নতুন বিশ্লেষণাত্মক সরঞ্জাম প্রদান করা প্রধান উপপাদ্য A : সাব-রিম্যানিয়ান লাই গ্রুপের মধ্যে সাব-ল্যাপ্লাসিয়ানের সাথে পরিবর্তনশীল C² ম্যাপিংগুলিকে সম্পূর্ণভাবে চিহ্নিত করে, প্রমাণ করে যে তারা ঠিক কনফর্মাল নিমজ্জনউপপাদ্য B : কার্নট গ্রুপের জন্য, প্রমাণ করে যে সাব-ল্যাপ্লাসিয়ান সম্পূর্ণভাবে সাব-রিম্যানিয়ান কাঠামো নির্ধারণ করেঅপারেটর সমতুল্যতা তত্ত্ব : বর্গের যোগফল অপারেটর সমতুল্যতার সম্পূর্ণ শ্রেণীবিভাগ প্রতিষ্ঠা করেহাইজেনবার্গ গ্রুপের সম্পূর্ণ বর্ণনা : হাইজেনবার্গ গ্রুপে সমস্ত সমতুল্য সাব-ল্যাপ্লাসিয়ানের সম্পূর্ণ বর্ণনা প্রদান করেসাব-রিম্যানিয়ান লাই গ্রুপ G এবং H এর মধ্যে C² ম্যাপিং F অধ্যয়ন করুন, যেমন সমস্ত u ∈ C²(H) এর জন্য:
△ G ( u ∘ F ) = λ 2 ⋅ ( △ H u ) ∘ F + ⟨ b , ( ∇ H u ) ∘ F ⟩ H + c ⋅ ( u ∘ F ) \triangle_G(u \circ F) = \lambda^2 \cdot (\triangle_H u) \circ F + \langle b, (\nabla_H u) \circ F \rangle_H + c \cdot (u \circ F) △ G ( u ∘ F ) = λ 2 ⋅ ( △ H u ) ∘ F + ⟨ b , ( ∇ H u ) ∘ F ⟩ H + c ⋅ ( u ∘ F )
সংজ্ঞা : পোলারাইজড লাই গ্রুপ হল (G,V), যেখানে G একটি সংযুক্ত লাই গ্রুপ, V ⊂ g V \subset \mathfrak{g} V ⊂ g একটি বন্ধনী-উৎপাদক উপস্থানসাব-রিম্যানিয়ান লাই গ্রুপ : পোলারাইজেশনের উপর ভিত্তি করে একটি স্কেলার পণ্য ⟨ ⋅ , ⋅ ⟩ G \langle \cdot, \cdot \rangle_G ⟨ ⋅ , ⋅ ⟩ G যোগ করাপ্রথম-ক্রম লাই অবকল : D F ( p ) [ v ] : = d d t ∣ t = 0 F ( p ) − 1 F ( p exp ( t v ) ) DF(p)[v] := \frac{d}{dt}\big|_{t=0} F(p)^{-1}F(p\exp(tv)) D F ( p ) [ v ] := d t d t = 0 F ( p ) − 1 F ( p exp ( t v )) দ্বিতীয়-ক্রম লাই অবকল : D 2 F ( p ) [ v , w ] : = d d t ∣ t = 0 D F ( p exp ( t w ) ) [ v ] D^2F(p)[v,w] := \frac{d}{dt}\big|_{t=0} DF(p\exp(tw))[v] D 2 F ( p ) [ v , w ] := d t d t = 0 D F ( p exp ( tw )) [ v ] ম্যাপিং F : Ω G → Ω H F: \Omega_G \to \Omega_H F : Ω G → Ω H হল ফ্যাক্টর λ \lambda λ এর কনফর্মাল নিমজ্জন, যদি:
F একটি যোগাযোগ ম্যাপিং: D F ( p ) [ V ( G ) ] ⊆ V ( H ) DF(p)[V(G)] \subseteq V(H) D F ( p ) [ V ( G )] ⊆ V ( H ) সীমাবদ্ধতা D F ( p ) ∣ V ( G ) : V ( G ) → V ( H ) DF(p)|_{V(G)}: V(G) \to V(H) D F ( p ) ∣ V ( G ) : V ( G ) → V ( H ) হল ফ্যাক্টর λ ( p ) \lambda(p) λ ( p ) এর একটি সমজাতীয় প্রজেকশন স্ট্যান্ডার্ড অবকল জ্যামিতি অবকলের পরিবর্তে লাই অবকল ব্যবহার করুন, যা লাই গ্রুপ কাঠামোর জন্য আরও উপযুক্ত:
D 2 F ( p ) [ v , v ] = v ~ 2 u ( p ) D^2F(p)[v,v] = \tilde{v}^2u(p) D 2 F ( p ) [ v , v ] = v ~ 2 u ( p )
রৈখিক ম্যাপিং L : V → W L: V \to W L : V → W হল ফ্যাক্টর λ \lambda λ এর সমজাতীয় প্রজেকশন যদি এবং শুধুমাত্র যদি:
⟨ L T w 1 , L T w 2 ⟩ V = λ 2 ⟨ w 1 , w 2 ⟩ W \langle L^T w_1, L^T w_2 \rangle_V = \lambda^2 \langle w_1, w_2 \rangle_W ⟨ L T w 1 , L T w 2 ⟩ V = λ 2 ⟨ w 1 , w 2 ⟩ W
বিশেষ পরীক্ষা ফাংশন u α q ^ ( q ) : = ϕ ( q ) ⋅ ⟨ α ∣ log ( q ) ⟩ 2 u_\alpha^{\hat{q}}(q) := \phi(q) \cdot \langle \alpha|\log(q) \rangle^2 u α q ^ ( q ) := ϕ ( q ) ⋅ ⟨ α ∣ log ( q ) ⟩ 2 নির্মাণ করুন কনফর্মাল বৈশিষ্ট্য যাচাই করতে।
বিবৃতি : G এবং H সাব-রিম্যানিয়ান লাই গ্রুপ হোক, F : Ω G → Ω H F: \Omega_G \to \Omega_H F : Ω G → Ω H একটি C² ম্যাপিং হোক। নিম্নলিখিত সমতুল্য:
(i) সমস্ত u ∈ C 2 ( Ω H ) u \in C^2(\Omega_H) u ∈ C 2 ( Ω H ) এর জন্য:
△ G ( u ∘ F ) = λ 2 ⋅ ( △ H u ) ∘ F + ⟨ b , ( ∇ H u ) ∘ F ⟩ H + c ⋅ ( u ∘ F ) \triangle_G(u \circ F) = \lambda^2 \cdot (\triangle_H u) \circ F + \langle b, (\nabla_H u) \circ F \rangle_H + c \cdot (u \circ F) △ G ( u ∘ F ) = λ 2 ⋅ ( △ H u ) ∘ F + ⟨ b , ( ∇ H u ) ∘ F ⟩ H + c ⋅ ( u ∘ F )
(ii) F হল ফ্যাক্টর λ \lambda λ এর কনফর্মাল নিমজ্জন, c ≡ 0 c \equiv 0 c ≡ 0 এবং:
b ( p ) = trace G ( D 2 F ( p ) ) + D F ( p ) [ ∇ G μ G ( p ) ] − λ ( p ) 2 ∇ H μ H ( F ( p ) ) b(p) = \text{trace}_G(D^2F(p)) + DF(p)[\nabla_G\mu_G(p)] - \lambda(p)^2\nabla_H\mu_H(F(p)) b ( p ) = trace G ( D 2 F ( p )) + D F ( p ) [ ∇ G μ G ( p )] − λ ( p ) 2 ∇ H μ H ( F ( p ))
বিবৃতি : G এবং H সাব-রিম্যানিয়ান কার্নট গ্রুপ হোক। যদি একটি C² ম্যাপিং F : G → H F: G \to H F : G → H এবং λ > 0 \lambda > 0 λ > 0 বিদ্যমান থাকে যেমন:
△ G ( u ∘ F ) = λ 2 ( △ H u ) ∘ F \triangle_G(u \circ F) = \lambda^2(\triangle_H u) \circ F △ G ( u ∘ F ) = λ 2 ( △ H u ) ∘ F
তাহলে H হল G এর একটি ভাগফল গ্রুপ। যদি dim ( G ) = dim ( H ) \dim(G) = \dim(H) dim ( G ) = dim ( H ) , তাহলে F হল সম্প্রসারণ, বাম অনুবাদ এবং আইসোমেট্রির সমন্বয়।
দুটি বর্গের যোগফল অপারেটর P X = ∑ i = 1 r X ~ i 2 + div G ( X ~ i ) X ~ i P_X = \sum_{i=1}^r \tilde{X}_i^2 + \text{div}_G(\tilde{X}_i)\tilde{X}_i P X = ∑ i = 1 r X ~ i 2 + div G ( X ~ i ) X ~ i এবং P Y = ∑ i = 1 r Y ~ i 2 + div G ( Y ~ i ) Y ~ i P_Y = \sum_{i=1}^r \tilde{Y}_i^2 + \text{div}_G(\tilde{Y}_i)\tilde{Y}_i P Y = ∑ i = 1 r Y ~ i 2 + div G ( Y ~ i ) Y ~ i সমান যদি এবং শুধুমাত্র যদি একটি স্কেলার পণ্য বিদ্যমান থাকে যেমন X এবং Y উভয়ই মান-অর্থোগোনাল ভিত্তি।
(ii) ⇒ (i) : কনফর্মাল নিমজ্জনের সাব-ল্যাপ্লাসিয়ানের সরাসরি গণনা(i) ⇒ (ii) :
বিশেষ পরীক্ষা ফাংশন নির্মাণ করে কনফর্মাল বৈশিষ্ট্য যাচাই করুন পরিচয় ∑ i = 1 r ⟨ α ∣ D F ( p ^ ) X i ⟩ 2 = λ ( p ^ ) 2 ∑ i = 1 s ⟨ α ∣ Y i ⟩ 2 \sum_{i=1}^r \langle\alpha|DF(\hat{p})X_i\rangle^2 = \lambda(\hat{p})^2 \sum_{i=1}^s \langle\alpha|Y_i\rangle^2 ∑ i = 1 r ⟨ α ∣ D F ( p ^ ) X i ⟩ 2 = λ ( p ^ ) 2 ∑ i = 1 s ⟨ α ∣ Y i ⟩ 2 ব্যবহার করুন প্রমাণ করুন যে D F ( p ^ ) [ V ( G ) ] ⊂ V ( H ) DF(\hat{p})[V(G)] \subset V(H) D F ( p ^ ) [ V ( G )] ⊂ V ( H ) এবং এটি একটি সমজাতীয় প্রজেকশন কার্নট গ্রুপের সম্প্রসারণ বৈশিষ্ট্য ব্যবহার করুন পানসু পার্থক্যতা তত্ত্ব প্রয়োগ করুন কার্নট গ্রুপ আইসোমেট্রির শ্রেণীবিভাগ ফলাফল ব্যবহার করুন হাইজেনবার্গ গ্রুপ H ( ω , g ) H(\omega,g) H ( ω , g ) এর জন্য, সিমপ্লেক্টিক বর্ণালী সংজ্ঞায়িত করুন:
r ⃗ ω ( g ) = ( r 1 , … , r n ) ∈ ( 0 , + ∞ ) n \vec{r}_\omega(g) = (r_1, \ldots, r_n) \in (0,+\infty)^n r ω ( g ) = ( r 1 , … , r n ) ∈ ( 0 , + ∞ ) n
দুটি হাইজেনবার্গ গ্রুপ H ( ω 1 , g 1 ) H(\omega_1,g_1) H ( ω 1 , g 1 ) এবং H ( ω 2 , g 2 ) H(\omega_2,g_2) H ( ω 2 , g 2 ) আইসোমেট্রিক যদি এবং শুধুমাত্র যদি একটি ρ > 0 \rho > 0 ρ > 0 বিদ্যমান থাকে যেমন:
r ⃗ ω 1 ( g 1 ) = ρ r ⃗ ω 2 ( g 2 ) \vec{r}_{\omega_1}(g_1) = \rho\vec{r}_{\omega_2}(g_2) r ω 1 ( g 1 ) = ρ r ω 2 ( g 2 )
মান স্থানাঙ্কে ( x , y , z ) ∈ R 2 n + 1 (x,y,z) \in \mathbb{R}^{2n+1} ( x , y , z ) ∈ R 2 n + 1 , সাব-ল্যাপ্লাসিয়ান হল:
△ r ˉ = ∑ i = 1 n r i 2 ( ∂ 2 ∂ x i 2 + ∂ 2 ∂ y i 2 + x i 2 + y i 2 4 ∂ 2 ∂ z 2 + ( x i ∂ ∂ y i − y i ∂ ∂ x i ) ) \triangle_{\bar{r}} = \sum_{i=1}^n r_i^2 \left( \frac{\partial^2}{\partial x_i^2} + \frac{\partial^2}{\partial y_i^2} + \frac{x_i^2 + y_i^2}{4}\frac{\partial^2}{\partial z^2} + \left(x_i\frac{\partial}{\partial y_i} - y_i\frac{\partial}{\partial x_i}\right) \right) △ r ˉ = ∑ i = 1 n r i 2 ( ∂ x i 2 ∂ 2 + ∂ y i 2 ∂ 2 + 4 x i 2 + y i 2 ∂ z 2 ∂ 2 + ( x i ∂ y i ∂ − y i ∂ x i ∂ ) )
ক্লাসিক্যাল তত্ত্ব : হেলগাসন, ওয়াটসন, ফুগলেড, ইশিহারা রিম্যানিয়ান ক্ষেত্রে সম্পর্কিত ফলাফলসাব-রিম্যানিয়ান জ্যামিতি : বোনফিগ্লিওলি-ল্যাঙ্কোনেলি-উগুজোনির খোলা সমস্যাকার্নট গ্রুপ তত্ত্ব : মুক্ত লাই গ্রুপ এবং হাইজেনবার্গ গ্রুপের পরিচিত ফলাফলসুসংগত মানচিত্র তত্ত্ব : গোল্ডবার্গ-ইশিহারার সম্প্রসারণসাব-রিম্যানিয়ান লাই গ্রুপের মধ্যে অপারেটর পরিবর্তনশীল ম্যাপিংয়ের চিহ্নিতকরণ সমস্যা সম্পূর্ণভাবে সমাধান করা প্রমাণ করা যে কার্নট গ্রুপে সাব-ল্যাপ্লাসিয়ান অনন্যভাবে জ্যামিতিক কাঠামো নির্ধারণ করে বর্গের যোগফল অপারেটর সমতুল্যতার সম্পূর্ণ তত্ত্ব প্রতিষ্ঠা করা হাইজেনবার্গ গ্রুপে সমস্ত সাব-ল্যাপ্লাসিয়ানের শ্রেণীবিভাগ প্রদান করা ফলাফলগুলি প্রধানত লাই গ্রুপ সেটিংয়ে প্রযোজ্য, সাধারণ সাব-রিম্যানিয়ান ম্যানিফোল্ডের জন্য আরও গবেষণা প্রয়োজন C² নিয়মিততার প্রয়োজনীয়তা অত্যধিক কঠোর হতে পারে, সর্বোত্তম নিয়মিততা শর্ত এখনও অনির্ধারিত অ-মডুলার গ্রুপের ক্ষেত্রে জটিল মডুলার ফাংশন গণনা জড়িত সাধারণ সাব-রিম্যানিয়ান ম্যানিফোল্ডে প্রসারিত করা সর্বোত্তম নিয়মিততা শর্ত অধ্যয়ন করা উপ-উপবৃত্তাকার PDE তত্ত্বের সাথে সংযোগ অন্বেষণ করা জ্যামিতিক বিশ্লেষণ এবং সুসংগত বিশ্লেষণে প্রয়োগ করা তাত্ত্বিক সম্পূর্ণতা : সমস্যার সম্পূর্ণ সমাধান প্রদান করে, একটি সিস্টেমেটিক তাত্ত্বিক কাঠামো প্রতিষ্ঠা করেপ্রযুক্তিগত উদ্ভাবন : লাই অবকল পদ্ধতি এবং সমজাতীয় প্রজেকশন তত্ত্বের চতুর প্রয়োগপ্রয়োগের মূল্য : ক্ষেত্রে গুরুত্বপূর্ণ খোলা সমস্যা সমাধান করেলেখার স্পষ্টতা : কাঠামো স্পষ্ট, প্রমাণ কঠোরপ্রযুক্তিগত প্রবেশদ্বার : লাই গ্রুপ এবং সাব-রিম্যানিয়ান জ্যামিতিতে গভীর পটভূমি প্রয়োজনপ্রয়োগের পরিসীমা : প্রধানত লাই গ্রুপ সেটিংয়ে সীমাবদ্ধগণনার জটিলতা : বাস্তব প্রয়োগে গণনা অত্যন্ত জটিল হতে পারেতাত্ত্বিক অবদান : সাব-রিম্যানিয়ান জ্যামিতির জন্য গুরুত্বপূর্ণ বিশ্লেষণাত্মক সরঞ্জাম প্রদান করেসমস্যা সমাধান : বোনফিগ্লিওলি এবং অন্যদের দ্বারা উত্থাপিত খোলা সমস্যা সম্পূর্ণভাবে সমাধান করেপদ্ধতিবিদ্যা : লাই অবকল পদ্ধতি অন্যান্য সম্পর্কিত গবেষণাকে অনুপ্রাণিত করতে পারেসাব-রিম্যানিয়ান জ্যামিতি গবেষণা কার্নট গ্রুপ তত্ত্ব উপ-উপবৃত্তাকার আংশিক অবকল সমীকরণ জ্যামিতিক গ্রুপ তত্ত্বে কঠোরতা সমস্যা 1 A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni. Stratified Lie groups and potential theory for their sub-Laplacians. Springer, 2007.
8 S. Helgason. Differential geometry, Lie groups, and symmetric spaces. AMS, 2001.
18 B. Watson. "Manifold maps commuting with the Laplacian". J. Differential Geometry, 1973.