A determinant-line and degree obstruction to foliation transversality
Farsani
Let pi: M^{ell+n} -> B^n be a submersion that presents a regular foliation by its fibers, and let S^n subset M be a closed embedded complementary submanifold, with f = pi|S: S -> B. We give two concise obstructions to keeping S everywhere transverse. (A) Determinant-line obstruction: with L = det(TS)^* tensor f^* det(TB) -> S, a C^1-small perturbation makes the tangency locus Z = {det(df) = 0} subset S a closed (n-1)-dimensional submanifold whose mod 2 fundamental class equals PD(w1(L)) in H{n-1}(S; Z_2). In particular, when n = 1 the set of tangencies is finite and the parity of #Z equals the pairing <w1(L), [S]> mod 2. (B) Twisted homology/degree obstruction: if pi is proper with connected fibers and f_[S]_{f^ O_B} = 0 in H_n(B; O_B) (top homology with the orientation local system), then S must be tangent somewhere. These recover the covering-space argument in the orientable case and extend to nonorientable settings via w1(L). We also give short applications beyond the classical degree test, including the case H_n(B; O_B) = 0 and a nonorientable base with vanishing top homology.
academic
एक सारणिक-रेखा और डिग्री बाधा पत्तियों के अनुप्रस्थता के लिए
यह पेपर पत्तियों की संरचना (foliation) की अनुप्रस्थता समस्या का अध्ययन करता है, बंद एम्बेडेड पूरक उप-बहुविध Sn⊂Mℓ+n और C1 पत्तियों की संरचना F के सर्वत्र अनुप्रस्थ होने की शर्तों के लिए दो सुंदर बाधा मानदंड प्रस्तावित करता है:
(A) सारणिक रेखा बंडल बाधा: रेखा बंडल L:=det(TS)∗⊗det(νF)∣S के लिए, C1 छोटे समस्थानिक विरूपण के बाद, एक चिकनी खंड शून्य खंड के अनुप्रस्थ मौजूद है, जिसका शून्य समुच्चय Z सहआयाम 1 का बंद उप-बहुविध है, जो Poincaré द्वैत PD(w1(L)) को प्रदर्शित करता है; विशेष रूप से, जब n=1 हो, तो स्पर्श बिंदुओं की संख्या की समता ⟨w1(L),[S]⟩ द्वारा निर्धारित होती है।
(B) मुड़ी हुई डिग्री मानदंड: यदि F को C1 निमज्जन π:M→Bn द्वारा दिया जाता है, और f:=π∣S संतुष्ट करता है f∗[S]f∗OB=0∈Hn(B;OB) (जब B अभिविन्यासित हो तो deg(f)=0 के बराबर), तो S अवश्य ही पत्तियों की संरचना के साथ कहीं स्पर्श करता है।
ये दोनों मानदंड पूर्ण समूह वाली और अनुप्रस्थ अभिविन्यास की कमी वाली स्थितियों में लागू होते हैं, और अनुवाद सतहों की आवधिक दिशाओं और तर्कसंगत बहुभुज बिलियर्ड प्रणालियों में लागू होते हैं।
इस पेपर की मूल समस्या यह है: बहुविध Mℓ+n पर रैंक ℓ की C1 पत्तियों की संरचना F और बंद एम्बेडेड उप-बहुविध Sn⊂M दिए गए, कब S पत्तियों की संरचना F की पत्तियों के साथ सर्वत्र अनुप्रस्थ हो सकता है?
ज्यामितीय सांस्थिति की मूल समस्या: अनुप्रस्थता सूक्ष्म सांस्थिति में एक मूल अवधारणा है, पत्तियों की संरचना की अनुप्रस्थता को समझना बहुविध के समग्र ज्यामिति और सांस्थिति गुणों के अध्ययन के लिए महत्वपूर्ण है
गतिशील प्रणाली अनुप्रयोग: गतिशील प्रणालियों में, बंद कक्षाओं और अपरिवर्तनीय पत्तियों की संरचना की अनुप्रस्थता प्रणाली की स्थिरता और आवधिक कक्षाओं के अस्तित्व से संबंधित है
ठोस ज्यामिति अनुप्रयोग: अनुवाद सतहों और बिलियर्ड प्रणालियों में आवधिक दिशा समस्या सीधे अनुप्रस्थता समस्या से मेल खाती है
समस्या: C1 पत्तियों की संरचना TF केवल एक सतत उप-बंडल है, सारणिक खंड det(d⊥) पर्याप्त चिकना नहीं है, शास्त्रीय अनुप्रस्थता प्रमेय को सीधे लागू करने के लिए।
समाधान:
स्थानीय चिकनापन सन्निकटन: S के पड़ोस U पर, परिमित तुच्छीकरण कवर {Ui} चुनें
फ्रेम सन्निकटन: प्रत्येक Ui पर, सतत फ्रेम Ei=(e1(i),…,eℓ(i)) का उपयोग करें जो TF को फैलाते हैं, फिर चिकने फ्रेम E~i से समान रूप से सन्निकट करें
संयोजन: स्थानांतरण फलन gij:Ui∩Uj→GL(ℓ) के चिकने सन्निकटन g~ij के माध्यम से, वैश्विक चिकना उप-बंडल T~⊂TM∣U का निर्माण करें
समस्थानिक संयोजन: रैखिक समस्थानिक Eit=(1−t)Ei+tE~i का निर्माण करें, पर्याप्त छोटे सन्निकटन के लिए, Eit पूर्ण रैंक रखता है, उप-बंडल समस्थानिक Tt देता है
मुख्य गुण: समस्थानिक Stiefel-Whitney वर्गों को संरक्षित करता है:
w1(L~)=w1(L)
जहां L~:=det(TS)∗⊗det(ν~)∣S, ν~:=TM/T~।
प्रमेय कथन: मान लीजिए ξ→S एक वास्तविक रेखा बंडल है, Z⊂S एक बंद एम्बेडेड अतिपृष्ठ है। तब Z किसी चिकने खंड s∈Γ(ξ) के शून्य बिंदु समुच्चय के अनुप्रस्थ हैं, यदि और केवल यदि
[Z]=PD(w1(ξ))∈Hn−1(S;Z2)
प्रमाण विचार:
(⇒): शास्त्रीय परिणाम, अनुप्रस्थ शून्य बिंदु समुच्चय Poincaré द्वैत को प्रदर्शित करता है
(⇐): रचनात्मक प्रमाण
S∖Z पर, j∗w1(ξ)=0, इसलिए ξ∣S∖Z तुच्छ है, सर्वत्र गैर-शून्य इकाई खंड σ0 लें
ट्यूबलर पड़ोस τ:(−ε,ε)×Z→S चुनें, सामान्य बंडल νZ/S संतुष्ट करता है
w1(νZ/S)=i∗PD([Z])=i∗w1(ξ)=w1(ξ∣Z)
बंडल समरूपता Φ:ξ∣tube∼τ∗(νZ/S) का निर्माण करें
ट्यूब के अंदर खंड परिभाषित करें sin:=Φ−1(t⋅n), जहां t सामान्य निर्देशांक है, n इकाई सामान्य वेक्टर है
चिकने विस्तार और सीमांत तकनीकों के माध्यम से, sin को σ0 के साथ वैश्विक अनुप्रस्थ खंड में संयोजित करें
परिभाषा: कॉम्पैक्ट अनुवाद सतह (M,u) समांतर चतुर्भुज के संयोजन से प्राप्त रीमैन सतह है, जिसमें सपाट मेट्रिक और परिमित शंकु विलक्षणता समुच्चय Σ है।
आवधिक दिशा: दिशा θ को आवधिक कहा जाता है, यदि M∖Σ परिमित खुली बेलनाकार सतहों में विघटित होता है
Cj≅SLj1×(0,hj),j=1,…,k
जिनकी पत्तियां क्षैतिज वृत्त SLj1×{y} हैं।
आधार स्थान निर्माण (Corollary 7 & Remark 8):
बेलनाकार भाग: Bθ∘:=⨆j=1kIj, Ij=(0,hj)
काठी संयोजन: M∖Σ में परिमित खुली काठी संयोजन भी हैं (पतित पत्तियां, खुले अंतराल)
संवर्धित आधार स्थान: Bθ:=Bθ∘⊔{p1,…,pr}, प्रत्येक pm एक काठी संयोजन के अनुरूप है
प्रक्षेपण मानचित्र:
πθ:M∖Σ→BθMθ∘ पर C1 निमज्जन है, काठी संयोजन पर स्थानीय रूप से स्थिर है
सहसंयोजन गुण (Remark 9):
H1(Bθ;Z)=0,OBθप्रत्येकशाखापरतुच्छहै
Corollary 10: शंकु विलक्षणताओं वाली कॉम्पैक्ट अनुवाद सतह (M,u) पर, किसी भी आवधिक दिशा θ के लिए, M∖Σ में प्रत्येक बंद C1 लूप S सीधी पत्तियों की संरचना Fθ के साथ कहीं स्पर्श करता है।
प्रमाण मुख्य बिंदु:
यदि S खुली काठी संयोजन को काटता है, तो उस खंड पर f=πθ∣S स्थानीय रूप से स्थिर है, df=0, स्पर्श बिंदु है
अन्यथा S⊂Mθ∘, f:=πθ∘∣S वास्तविक स्थानीय भिन्नता है
H1(Bθ∘;Z)=0 से, f∗[S]f∗O=0 प्राप्त करें
Proposition 3 लागू करें, S अवश्य स्पर्श बिंदु रखता है
निर्माण: Reeb शाखा (V=S1×D2) से शुरू करके, सीमा भिन्नता के माध्यम से अनुप्रस्थ अभिविन्यास को उलट कर, 3-बहुविध M पर सहआयाम 1 पत्तियों की संरचना का निर्माण करें
निलंबित लूप: γ परिभाषित अभिविन्यास-उलट पूर्ण समूह रखता है, ⟨w1(νF),[γ]⟩=1
उप-बहुविध: S=Σg−1×γ लें (Σ अभिविन्यासित)
गणना:
w1(L)=ι∗w1(νF)=0
निष्कर्ष: Theorem 1 स्पर्श बिंदु अस्तित्व को बाध्य करता है; Proposition 3 लागू नहीं होता (गैर-सरल पत्तियों की संरचना)
Example 5 (टोरस पर अनुप्रस्थ आच्छादन):
पत्तियों की संरचना: T2 पर ऊर्ध्वाधर वृत्त पत्तियों की संरचना π(θ,ϕ)=θ
वक्र: Sp/q={(θ,ϕ)=(qt,pt)} (gcd(p,q)=1,q=0) सर्वत्र अनुप्रस्थ है
गणना:
w1(νF)=0, w1(detTS)=0⇒w1(L)=0
f=π∣Sp/q∣q∣ परत आच्छादन है, deg(f)=±q=0
निष्कर्ष: दोनों मानदंड अनुप्रस्थता को बाधित नहीं करते (वास्तव में सर्वत्र अनुप्रस्थ है)
Example 6 (अभिविन्यास-रहित आधार):
निर्माण: M=Fℓ×Bn, प्रक्षेपण π, w1(TB)=0 (जैसे B=RPn, n सम)
सपाट टोरस बनाम शंकु विलक्षणता सतहों की तुलना (Remark 11):
सपाट टोरस Σ=∅: आवधिक दिशा बंद बेलनाकार सतहों को देती है, पत्ती स्थान ≅S1, बंद वृत्त-मूल्यवान प्रथम समाकलन मौजूद है, deg(πθ∣S) गैर-शून्य हो सकता है
शंकु विलक्षणता सतह: आवधिक बेलनाकार सतहें खुली हैं, सीमा काठी संयोजन पर है; आधार स्थान Bθ खुले अंतराल और पृथक बिंदुओं का संघ है, H1(Bθ)=0, Corollary 10 लागू होता है
दोनों मानदंडों की स्वतंत्रता:
w1(L)=0 लेकिन मुड़ी हुई डिग्री अनुप्रस्थता को बाधित करने वाली स्थिति मौजूद है
मुड़ी हुई डिग्री गैर-शून्य लेकिन w1(L)=0 अनुप्रस्थता को बाधित करने वाली स्थिति मौजूद है
दोनों को बाधित न करने और सर्वत्र अनुप्रस्थ होने वाली स्थिति मौजूद है
समता जानकारी की सटीकता: जब n=1 हो, तो #Z(mod2) पूरी तरह से ⟨w1(L),[S]⟩ द्वारा निर्धारित होता है, गणनीय विभेदन मानदंड प्रदान करता है
Hirsch 2: C1 अनुप्रस्थता प्रमेय, मानचित्र और लक्ष्य उप-बहुविध दोनों के पर्याप्त चिकनापन की आवश्यकता
इस पेपर का योगदान: अनुप्रस्थता सिद्धांत को C1 पत्तियों की संरचना तक विस्तारित करना, स्थानीय चिकनापन के माध्यम से सांस्थितिक अपरिवर्तनीयों को संरक्षित करना
सारणिक रेखा बंडल बाधा: C1 पत्तियों की संरचना के लिए भी, स्पर्श बिंदु समुच्चय छोटे विक्षोभ के बाद चिकना अतिपृष्ठ है, इसका सहसंयोजन वर्ग w1(L) द्वारा निर्धारित होता है; n=1 समय स्पर्श बिंदुओं की संख्या की समता दी गई है
मुड़ी हुई डिग्री मानदंड: जब पत्तियों की संरचना निमज्जन द्वारा प्रस्तुत की जाती है और मुड़ी हुई डिग्री शून्य हो, तो स्पर्श बिंदु अवश्य मौजूद हैं; शास्त्रीय डिग्री सिद्धांत को अभिविन्यास-रहित स्थितियों तक विस्तारित करता है
ज्यामिति अनुप्रयोग: साबित किया कि शंकु विलक्षणता अनुवाद सतहों और तर्कसंगत बहुभुज बिलियर्ड में, बंद लूप आवधिक दिशाओं में सर्वत्र अनुप्रस्थ नहीं हो सकते
Hatcher (2002): बीजगणितीय सांस्थिति मानक पाठ्यपुस्तक, स्थानीय गुणांक सहसंयोजन सिद्धांत
Hirsch (1976): सूक्ष्म सांस्थिति शास्त्रीय कार्य, अनुप्रस्थता प्रमेय
Lee (2013): चिकनी बहुविध परिचय, आच्छादन स्थान सिद्धांत
Milnor-Stasheff (1974): विशेषता वर्ग सिद्धांत की स्थापना कार्य
Zemlyakov-Katok (1975): बहुभुज बिलियर्ड की सांस्थितिक संक्रामकता
Masur-Tabachnikov (2002): तर्कसंगत बिलियर्ड और सपाट संरचनाओं का सर्वेक्षण
Husemoller (1994): फाइबर बंडल सिद्धांत
समग्र मूल्यांकन: यह पत्तियों की संरचना की अनुप्रस्थता सिद्धांत पर एक उच्च गुणवत्ता वाला शुद्ध गणित पेपर है। बुद्धिमान तकनीकों (सारणिक रेखा बंडल, स्थानीय चिकनापन, मुड़े हुए सहसंयोजन) के माध्यम से, शास्त्रीय सिद्धांत को निम्न नियमितता और अभिविन्यास-रहित स्थितियों तक विस्तारित किया गया है, और अनुवाद सतहों और बिलियर्ड प्रणालियों में गैर-तुच्छ अनुप्रयोग दिए गए हैं। पेपर तार्किक रूप से कठोर है, प्रमाण पूर्ण है, ज्यामितीय सांस्थिति और गतिशील प्रणाली क्षेत्र के शोधकर्ताओं के लिए महत्वपूर्ण संदर्भ मूल्य है। मुख्य सीमाएं उच्च आयाम या अधिक सामान्य स्थितियों के उदाहरणों की कमी, और व्यावहारिक गणना के एल्गोरिथ्मिक विवरण में हैं।