A complex-analytic characterization of Lagrangian immersions in $\mathbb C^n$ with transverse double points
Gupta, Sahu
Given a compact smooth totally real immersed $n$-submanifold $M\subset\mathbb C^n$ with only finitely many transverse double points, it is known that if $M$ is Lagrangian with respect to some K{ä}hler form on $\mathbb C^n$, then it is rationally convex in $\mathbb C^n$ (Gayet, 2000), but the converse is not true (Mitrea, 2020). We show that $M$ is Lagrangian with respect to some K{ä}hler form on $\mathbb C^n$ if and only if $M$ is rationally convex {\em and} at each double point, the pair of transverse tangent planes to $M$ satisfies the following diagonalizability condition: there is a complex linear transformation on $\mathbb C^n$ that maps the pair to $\left(\mathbb R^n,(D+i)\mathbb R^n\right)$ for some real diagonal $n\times n$ matrix $D$.
academic
Cn में अनुप्रस्थ द्विबिंदुओं वाले Lagrangian निमज्जनों का जटिल-विश्लेषणात्मक लक्षणवर्णन
यह पेपर परिमित संख्या में अनुप्रस्थ द्विबिंदुओं वाले सुसंहत चिकने पूर्ण-वास्तविक निमज्जन n-उप-बहुविध M⊂Cn का अध्ययन करता है। यह ज्ञात है कि यदि MCn पर किसी Kähler रूप के संबंध में Lagrangian है, तो MCn में परिमेय उत्तल है (Gayet, 2000), किंतु विलोम सत्य नहीं है (Mitrea, 2020)। यह पेपर सिद्ध करता है: MCn पर किसी Kähler रूप के संबंध में Lagrangian है, यदि और केवल यदि M परिमेय उत्तल है, और प्रत्येक द्विबिंदु पर, M के अनुप्रस्थ स्पर्श समतल युग्म एक विकर्णीयकरणीय शर्त को संतुष्ट करते हैं: Cn पर एक जटिल रैखिक रूपांतरण मौजूद है जो इस समतल युग्म को (Rn,(D+i)Rn) में मानचित्रित करता है, जहाँ D कोई वास्तविक विकर्ण n×n आव्यूह है।
यह पेपर जटिल ज्यामिति और सहानुभूतिपूर्ण ज्यामिति के संक्रमण क्षेत्र में एक मौलिक समस्या का अध्ययन करता है: स्व-प्रतिच्छेद बिंदुओं वाले Lagrangian उप-बहुविध का लक्षणवर्णन।
मूल अवधारणाएं:
परिमेय उत्तलता: सुसंहत समुच्चय K⊂Cn को परिमेय उत्तल कहा जाता है, यदि इसका पूरक Cn में जटिल अतिसतहों के संघ है। यह K को महत्वपूर्ण सन्निकटन सिद्धांत गुण प्रदान करता है: K के पड़ोस पर होलोमॉर्फिक फलन परिमेय फलनों द्वारा एकसमान रूप से सन्निकट हो सकते हैं।
Lagrangian उप-बहुविध: n-विमीय वास्तविक उप-बहुविध M⊂Cn को Kähler रूप ω के संबंध में Lagrangian कहा जाता है, यदि ι∗ω=0, जहाँ ι:M→Cn निमज्जन मानचित्र है।
पूर्ण-वास्तविक उप-बहुविध: वास्तविक उप-स्थान जिसमें कोई जटिल रेखा नहीं होती।
शास्त्रीय Duval-Sibony प्रमेय (1991-1995) स्व-प्रतिच्छेद रहित स्थिति के लिए एक पूर्ण पत्राचार स्थापित करता है:
अंतःस्थापन स्थिति: सुसंहत चिकने पूर्ण-वास्तविक अंतःस्थापन ι:M→Cn का प्रतिबिंब परिमेय उत्तल है, यदि और केवल यदि यह किसी Kähler रूप के संबंध में Lagrangian है।
स्व-प्रतिच्छेद वाली स्थिति के लिए:
Gayet (2000): यदि निमज्जन ι:M→Cn केवल परिमित संख्या में अनुप्रस्थ द्विबिंदु रखता है और Lagrangian है, तो ι(M) परिमेय उत्तल है (एकदिशीय निहितार्थ)।
Mitrea (2020): प्रतिउदाहरण का निर्माण करता है जो दिखाता है कि विलोम सत्य नहीं है, और सिद्ध करता है कि यदि ι(M) परिमेय उत्तल है, तो स्व-प्रतिच्छेद बिंदुओं के बाहर एक गैर-नकारात्मक (1,1)-रूप ω मौजूद है जो सख्ती से धनात्मक है और ι∗ω=0।
मूल समस्या: स्व-प्रतिच्छेद बिंदुओं वाली स्थिति में, कौन सी अतिरिक्त शर्तें परिमेय उत्तलता को Lagrangian गुण का निहितार्थ बनाती हैं?
मुख्य अंतर्दृष्टि: समस्या का मूल द्विबिंदुओं पर स्थानीय ज्यामितीय संरचना में निहित है। Mitrea का प्रतिउदाहरण दिखाता है कि कुछ पूर्ण-वास्तविक समतल युग्मों का संघ परिमेय उत्तल है किंतु Lagrangian नहीं है। इसलिए द्विबिंदुओं पर अतिरिक्त ज्यामितीय बाधाएं लागू करने की आवश्यकता है।
मुख्य प्रमेय (Theorem 1.1): अनुप्रस्थ द्विबिंदुओं वाले निमज्जन Lagrangian उप-बहुविध का पूर्ण लक्षणवर्णन प्रदान करता है:
M Lagrangian है⟺Mपरिमेयउत्तलहै+सभीद्विबिंदुविकर्णीयकरणीयहैं
विकर्णीयकरणीय शर्त का लक्षणवर्णन (Proposition 3.2): सिद्ध करता है कि दो पूर्ण-वास्तविक समतलों Rn और S(A)=(A+i)Rn का संघ Lagrangian है, यदि और केवल यदि आव्यूह A वास्तविक क्षेत्र पर विकर्णीयकरणीय है।
स्थानीय Kähler रूप का निर्माण (Lemma 4.1): प्रत्येक विकर्णीयकरणीय द्विबिंदु के निकट स्थानीय Kähler रूप ddcf को स्पष्ट रूप से निर्मित करता है, जहाँ ι∗(dcf)=0, यह बाद के वैश्विक चिपकाने का मुख्य है।
वैश्विक चिपकाने की तकनीक (Section 5): स्थानीय Kähler रूपों को Mitrea के अपभ्रष्ट Kähler रूप के साथ चतुराई से चिपकाता है, वैश्विक Kähler रूप प्राप्त करता है।
समस्या में कमी: जटिल रैखिक रूपांतरण के माध्यम से, किसी भी अनुप्रस्थ द्विबिंदु की स्थानीय ज्यामिति को दो पूर्ण-वास्तविक समतलों Rn और S(A)=(A+i)Rn के मूल पर संघ में कम किया जा सकता है, जहाँ A∈Mn×n(R)।
मुख्य लेम्मा (Lemma 3.3): यदि P∈Mn×n(R) गैर-विलक्षण है, तो जटिल रैखिक रूपांतरण PRn को Rn में मानचित्रित करता है, S(A) को S(PAP−1) में मानचित्रित करता है।
मुख्य परिणाम (Proposition 3.2): Rn∪S(A) किसी Kähler रूप के संबंध में Lagrangian है, यदि और केवल यदि A विकर्णीयकरणीय है।
प्रमाण रणनीति:
स्थिर-गुणांक Kähler रूप पर विचार करें ω=∑j,khjkdzj∧dzˉk, जहाँ h=(hjk) धनात्मक निश्चित Hermite आव्यूह है।
उद्देश्य: विकर्णीयकरणीय द्विबिंदु p के निकट फलन f का निर्माण करें जहाँ:
ι∗(dcf)=0 (केवल ι∗(ddcf)=0 से अधिक मजबूत)
ddcf>0
निर्देशांक सेटअप: जटिल affine रूपांतरण के माध्यम से, मान लें कि p=0, T0R=Rn, T0S=(A+i)Rn, जहाँ A=diag(λ1,…,λn)।
स्थानीय प्रतिनिधित्व: अंतर्निहित फलन प्रमेय द्वारा, चिकने फलन φ,ψ:Rn→Rn मौजूद हैं जो φ(0)=ψ(0)=Dφ(0)=Dψ(0)=0 को संतुष्ट करते हैं, जहाँ:
R={t+iφ(t)},S={(A+i)t+ψ(t)}
निर्माण रणनीति: f(x,y)=∥x∥2+∥y∥2+r(x,y) सेट करें, जहाँ r को संतुष्ट करना चाहिए:
(Vr)(t,φ(t))=p(t)(Wr)(A⋅t+ψ(t),t)=q(t)
जहाँ:
V=∇x⋅(Dφ∘πx)−∇y
W=∇x−∇y⋅(A+Dψ∘πy)
p(t)=2φ(t)T−2tT⋅(Dφ)(t)
q(t)=2tT⋅(Dψ)(t)−2ψ(t)T
निर्देशांक रूपांतरण: रूपांतरण Θ(u,v)=(x(u,v),y(u,v)) का परिचय दें:
x(u,v)=u+A⋅v+ψ(v),y(u,v)=v−(A+(Dψ)(v))⋅u
यह रूपांतरण S को {u=0} में सीधा करता है, W को S के साथ {u=0} के साथ ∇u में पुलबैक करता है।
स्पष्ट निर्माण: परिभाषित करें
r~(u,v)=Q(v)⋅u+α(u)⋅(v−σ(u))
जहाँ σ अंतर्निहित फलन प्रमेय द्वारा निर्धारित है जहाँ Θ({v=σ(u)})=R, और
α(u)=(P(u)−Q(σ(u))⋅B(u)−uT⋅(DQ)(σ(u))⋅C(u))⋅(C(u)−(Dσ)(u)⋅B(u))−1
सूक्ष्म गणना के माध्यम से सत्यापित करें कि r~ सभी आवश्यकताओं को संतुष्ट करता है, फिर r=r~∘Θ−1 सेट करें।
विकर्णीयकरणीय शर्त का सटीक लक्षणवर्णन: पहली बार स्पष्ट रूप से इंगित करता है कि विकर्णीयकरणीयता Lagrangian गुण का सार बाधा है, Jordan मानक रूप के विश्लेषण के माध्यम से पूर्ण प्रमाण प्रदान करता है।
अधिक मजबूत स्थानीय शर्त: केवल ι∗(ddcf)=0 के बजाय ι∗(dcf)=0 को संतुष्ट करने वाले स्थानीय Kähler विभव का निर्माण करता है, यह चिपकाने की तकनीक की कुंजी है।
अंतर्निहित फलन प्रमेय का रचनात्मक अनुप्रयोग: सावधानीपूर्वक डिजाइन किए गए निर्देशांक रूपांतरण Θ के माध्यम से गैर-रैखिक समस्या को हल करने योग्य रैखिक समीकरण प्रणाली में परिवर्तित करता है।
स्पष्ट निर्माण: पूर्ण स्पष्ट स्थानीय Kähler विभव अभिव्यक्ति प्रदान करता है, अस्तित्व प्रमाण की अमूर्तता से बचता है।
Theorem 1.1 (मुख्य प्रमेय): मान लें कि M सुसंहत चिकना n-विमीय बहुविध है, ι:M→Cn पूर्ण-वास्तविक निमज्जन है, परिमित अनुप्रस्थ द्विबिंदु p1,…,pm को छोड़कर ι(M) चिकना उप-बहुविध है। तब:
ι(M) Lagrangian है⟺ι(M)परिमेयउत्तलहैऔरp1,…,pmविकर्णीयकरणीयहैं
Proposition 3.2 (रैखिक मॉडल): Rn∪S(A) Lagrangian है ⟺A वास्तविक विकर्णीयकरणीय है।
Lemma 4.1 (स्थानीय निर्माण): विकर्णीयकरणीय द्विबिंदु के निकट स्थानीय Kähler विभव f मौजूद है जो ι∗(dcf)=0 और ddcf>0 को संतुष्ट करता है।
पूर्णता: Gayet प्रमेय को अनुप्रस्थ द्विबिंदु स्थिति में सटीक विलोम प्रमेय प्रदान करता है, Lagrangian गुण को पूर्ण रूप से लक्षणवर्णित करता है।
ज्यामितीय अंतर्दृष्टि: विकर्णीयकरणीय शर्त स्पष्ट ज्यामितीय अर्थ रखती है—स्पर्श समतल युग्मों को एक साथ विकर्णीयकृत किया जा सकता है, जटिल eigenvalues द्वारा लाई गई "मुड़ने" से बचता है।
तकनीकी सफलता: स्थानीय Kähler विभव की स्पष्ट निर्माण तकनीक समान समस्याओं के लिए पद्धति संबंधी टेम्पलेट बन सकती है।
Duval (1991, 1994) और Duval-Sibony (1995): अंतःस्थापन स्थिति के लिए मूल सिद्धांत स्थापित करता है, स्व-प्रतिच्छेद रहित स्थिति में परिमेय उत्तलता और Lagrangian गुण की समानता सिद्ध करता है।
Gayet (2000): अनुप्रस्थ द्विबिंदुओं वाले निमज्जनों तक परिणाम विस्तारित करता है, एकदिशीय निहितार्थ (Lagrangian ⇒ परिमेय उत्तल) सिद्ध करता है।
Duval-Gayet (2008): द्वितीय क्रम स्व-स्पर्श वाली स्थिति तक आगे विस्तार करता है।
Weinstock (1988): दो पूर्ण-वास्तविक समतलों के संघ की बहुपद उत्तलता का अध्ययन करता है, स्थानीय परिमेय उत्तलता के लिए आवश्यक और पर्याप्त शर्त प्रदान करता है (आव्यूह A के पास मापांक 1 से अधिक कोई शुद्ध काल्पनिक eigenvalue नहीं है)।
Mitrea (2020): प्रतिउदाहरण का निर्माण करता है जो दिखाता है कि परिमेय उत्तलता Lagrangian का निहितार्थ नहीं है, और अपभ्रष्ट Kähler रूप के अस्तित्व को सिद्ध करता है।
यह पेपर पूर्ण रूप से हल करता है कि अनुप्रस्थ द्विबिंदुओं वाले पूर्ण-वास्तविक निमज्जन कब Lagrangian हैं: परिमेय उत्तलता प्लस द्विबिंदु विकर्णीयकरणीयता को संतुष्ट करना आवश्यक और पर्याप्त है। यह परिणाम जटिल विश्लेषण (परिमेय उत्तलता) और सहानुभूतिपूर्ण ज्यामिति (Lagrangian गुण) दोनों दृष्टिकोणों को सुंदरता से एकीकृत करता है।
स्व-प्रतिच्छेद प्रकार प्रतिबंध: केवल अनुप्रस्थ द्विबिंदुओं पर विचार करता है, अधिक जटिल स्व-प्रतिच्छेद (जैसे उच्च-गुणन बिंदु, स्पर्श बिंदु आदि) शामिल नहीं है।
विकर्णीयकरणीय शर्त का सत्यापन: व्यावहारिक अनुप्रयोग में, दिए गए द्विबिंदु की विकर्णीयकरणीयता का निर्धारण स्पर्श स्थान और आव्यूह eigenvalues की गणना की आवश्यकता है।
उच्च-विमीय सामान्यीकरण: विधि Cn की विशेष संरचना पर अत्यधिक निर्भर है, अधिक सामान्य Kähler बहुविधों तक सामान्यीकरण के लिए नई तकनीकें आवश्यक हैं।
निर्माण की गैर-अद्वितीयता: Kähler रूप का निर्माण कई मनमाने विकल्पों (जैसे काट-छाँट फलन, स्थिरांक C) को शामिल करता है, नियामकता की कमी है।
गणना की जटिलता: Section 4 की गणना अत्यंत लंबी है (विशेषकर समीकरण (15)-(24) के निकट), हालांकि कठोर है किंतु पठनीयता प्रभावित होती है। अधिक अमूर्त ढांचे के माध्यम से सरलीकरण संभव हो सकता है।
ज्यामितीय अंतर्दृष्टि की कमी: विकर्णीयकरणीय शर्त का ज्यामितीय अर्थ (यह बाधा क्यों है) सहानुभूतिपूर्ण ज्यामिति कोण से अधिक गहन समझ के साथ स्पष्ट नहीं है।
प्रतिउदाहरण की कमी: हालांकि Mitrea के प्रतिउदाहरण का संदर्भ है, किंतु विशिष्ट गैर-विकर्णीयकरणीय द्विबिंदु उदाहरण नहीं दिया गया है, शर्त की आवश्यकता की सहज समझ कमजोर करता है।
सामान्यीकरण चर्चा अपर्याप्त: अधिक सामान्य स्थितियों (जैसे गैर-सुसंहत बहुविध, उच्च-गुणन स्व-प्रतिच्छेद बिंदु) के लिए परिणाम के निहितार्थ पर चर्चा नहीं है।
अनुप्रयोग पृष्ठभूमि कमजोर: शुद्ध सैद्धांतिक परिणाम के रूप में, सहानुभूतिपूर्ण टोपोलॉजी, दर्पण समरूपता आदि क्षेत्रों में संभावित अनुप्रयोग स्पष्ट नहीं हैं।
सैद्धांतिक अनुसंधान: Lagrangian उप-बहुविध के टोपोलॉजी और ज्यामितीय गुणों के अध्ययन के लिए उपकरण प्रदान करता है।
दर्पण समरूपता: Lagrangian उप-बहुविध दर्पण समरूपता के मूल वस्तु हैं, यह पेपर विलक्षण स्थिति को समझने में सहायता कर सकता है।
सहानुभूतिपूर्ण टोपोलॉजी: सहानुभूतिपूर्ण बहुविध के Lagrangian कंकाल का अध्ययन करते समय, स्व-प्रतिच्छेद वाले उप-बहुविध को संभालने की आवश्यकता होती है।
जटिल गतिशीलता: पूर्ण-वास्तविक उप-बहुविध कुछ गतिशील प्रणालियों के अपरिवर्तनीय समुच्चय से संबंधित हैं, यह पेपर अपरिवर्तनीय समुच्चय के गुणों को निर्धारित करने में सहायता कर सकता है।
यह पेपर जटिल ज्यामिति और सहानुभूतिपूर्ण ज्यामिति के संक्रमण क्षेत्र में एक महत्वपूर्ण सैद्धांतिक योगदान है, विकर्णीयकरणीय शर्त का परिचय देकर, यह पूर्ण रूप से लक्षणवर्णित करता है कि अनुप्रस्थ द्विबिंदुओं वाले पूर्ण-वास्तविक निमज्जन कब Lagrangian हैं। प्रमाण बीजगणित (Jordan मानक रूप), विश्लेषण (अंतर्निहित फलन प्रमेय, अवकल समीकरण) और ज्यामिति (निर्देशांक रूपांतरण, चिपकाने की तकनीक) की कई तकनीकों को जोड़ता है, उच्च तकनीकी स्तर प्रदर्शित करता है। हालांकि शुद्ध सैद्धांतिक कार्य के रूप में अनुप्रयोग संभावनाएं सीमित हैं, किंतु इसकी पूर्णता और सुंदरता इसे इस क्षेत्र का एक मील का पत्थर परिणाम बनाता है। Lagrangian उप-बहुविध विलक्षणता सिद्धांत का अध्ययन करने वाले विद्वानों के लिए, यह एक आवश्यक पठन पेपर है।