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 হল সহ-মাত্রা ১ এর বন্ধ সাবম্যানিফোল্ড, যা Poincaré দ্বৈত PD(w1(L)) প্রতিনিধিত্ব করে; বিশেষত, যখন n=1 হয়, স্পর্শ বিন্দুর সংখ্যার সমতা ⟨w1(L),[S]⟩ দ্বারা নির্ধারিত হয়।
(B) মোচড়ানো ডিগ্রি মানদণ্ড: যদি FC1 নিমজ্জন π:M→Bn দ্বারা দেওয়া হয়, এবং f:=π∣S সন্তুষ্ট করে f∗[S]f∗OB=0∈Hn(B;OB) (যখন B অভিমুখী হয় তখন deg(f)=0 এর সমতুল্য), তাহলে S অবশ্যই কোথাও ফোলিয়েশনের সাথে স্পর্শ করে।
এই দুটি মানদণ্ড সম্পূর্ণ গোষ্ঠী এবং ট্রান্সভার্সাল অভিমুখীতার অভাবের সাথে পরিস্থিতিতে প্রযোজ্য, এবং অনুবাদ পৃষ্ঠের পর্যায়ক্রমিক দিক এবং যুক্তিসঙ্গত বহুভুজ বিলিয়ার্ড সিস্টেমে প্রয়োগ করা হয়।
এই পেপারের মূল সমস্যা হল: প্রবাহক Mℓ+n উপর র্যাঙ্ক ℓ এর C1 ফোলিয়েশন F এবং বন্ধ এমবেডেড সাবম্যানিফোল্ড Sn⊂M দেওয়া হলে, কখন SF এর পাতার সাথে সর্বত্র ট্রান্সভার্সালভাবে থাকতে পারে?
জ্যামিতিক টপোলজি ভিত্তি সমস্যা: ট্রান্সভার্সালিটি হল অবকল টপোলজিতে একটি মূল ধারণা, ফোলিয়েশনের ট্রান্সভার্সালিটি বোঝা প্রবাহকের সামগ্রিক জ্যামিতি এবং টপোলজি অধ্যয়নের জন্য অপরিহার্য
গতিশীল সিস্টেম প্রয়োগ: গতিশীল সিস্টেমে, বন্ধ ট্র্যাজেক্টরি এবং অপরিবর্তনীয় ফোলিয়েশনের ট্রান্সভার্সালিটি সম্পর্ক সিস্টেমের স্থিতিশীলতা এবং পর্যায়ক্রমিক ট্র্যাজেক্টরির অস্তিত্বের সাথে সম্পর্কিত
নির্দিষ্ট জ্যামিতি প্রয়োগ: অনুবাদ পৃষ্ঠ এবং বিলিয়ার্ড সিস্টেমে পর্যায়ক্রমিক দিক সমস্যা সরাসরি ট্রান্সভার্সালিটি সমস্যার সাথে সামঞ্জস্যপূর্ণ
সমস্যা: 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)
(⇐): গঠনমূলক প্রমাণ
१. 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 একটি স্যাডেল সংযোগের সাথে সামঞ্জস্যপূর্ণ
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 উপর উল্লম্ব বৃত্ত ফোলিয়েশন π(θ,ϕ)=θ
१. সমতল টোরাস বনাম শঙ্কু বিশেষত্ব পৃষ্ঠের তুলনা (Remark 11):
সমতল টোরাস Σ=∅: পর্যায়ক্রমিক দিক বন্ধ সিলিন্ডার প্রদান করে, পাতা স্থান ≅S1, বন্ধ বৃত্ত-মূল্যবান প্রথম অবিচ্ছেদ্য বিদ্যমান, deg(πθ∣S) অ-শূন্য হতে পারে
শঙ্কু বিশেষত্ব পৃষ্ঠ: পর্যায়ক্রমিক সিলিন্ডার খোলা, সীমানা স্যাডেল সংযোগে; ভিত্তি স্থান Bθ খোলা ব্যবধান এবং বিচ্ছিন্ন বিন্দু, H1(Bθ)=0, Corollary 10 প্রযোজ্য
२. দুটি মানদণ্ডের স্বাধীনতা:
w1(L)=0 কিন্তু মোচড়ানো ডিগ্রি ট্রান্সভার্সালিটা বাধা দেয় এমন পরিস্থিতি বিদ্যমান
মোচড়ানো ডিগ্রি অ-শূন্য কিন্তু w1(L)=0 ট্রান্সভার্সালিটা বাধা দেয় এমন পরিস্থিতি বিদ্যমান
দুটি উভয়ই বাধা দেয় না এবং নিশ্চিত ট্রান্সভার্সাল এমন পরিস্থিতি বিদ্যমান
३. সমতা তথ্যের নির্ভুলতা: যখন n=1 হয়, #Z(mod2)⟨w1(L),[S]⟩ দ্বারা সম্পূর্ণভাবে নির্ধারিত হয়, গণনাযোগ্য বিচার মানদণ্ড প্রদান করে
१. নির্ধারক লাইন বান্ডেল বাধা: এমনকি C1 ফোলিয়েশনের জন্যও, স্পর্শ বিন্দু সেট ছোট বিকৃতির পরে মসৃণ হাইপারসারফেস, এর সমসংস্থান ক্লাস w1(L) দ্বারা নির্ধারিত; n=1 হলে স্পর্শ বিন্দু সংখ্যার সমতা প্রদান করে
२. মোচড়ানো ডিগ্রি মানদণ্ড: যখন ফোলিয়েশন নিমজ্জন দ্বারা উপস্থাপিত হয় এবং মোচড়ানো ডিগ্রি শূন্য হয়, তখন স্পর্শ বিন্দু অবশ্যই বিদ্যমান; ক্লাসিক্যাল ডিগ্রি তত্ত্ব অ-অভিমুখী পরিস্থিতিতে প্রসারিত করে
३. জ্যামিতি প্রয়োগ: প্রমাণ করে যে শঙ্কু বিশেষত্ব সহ অনুবাদ পৃষ্ঠ এবং যুক্তিসঙ্গত বহুভুজ বিলিয়ার্ডে, বন্ধ লুপ পর্যায়ক্রমিক দিকে সর্বত্র ট্রান্সভার্সাল হতে পারে না
१. Hatcher (2002): বীজগণিত টপোলজি মান পাঠ্যপুস্তক, স্থানীয় সহগ সমসংস্থান তত্ত্ব
२. Hirsch (1976): অবকল টপোলজি ক্লাসিক্যাল কাজ, ট্রান্সভার্সালিটা উপপাদ্য
३. Lee (2013): মসৃণ প্রবাহক পরিচয়, কভার স্থান তত্ত্ব
४. Milnor-Stasheff (1974): বৈশিষ্ট্য ক্লাস তত্ত্বের ভিত্তিমূলক কাজ
५. Zemlyakov-Katok (1975): বহুভুজ বিলিয়ার্ডের টপোলজিক্যাল ট্রানজিটিভিটি
६. Masur-Tabachnikov (2002): যুক্তিসঙ্গত বিলিয়ার্ড এবং সমতল কাঠামোর সমীক্ষা
७. Husemoller (1994): ফাইবার বান্ডেল তত্ত্ব
সামগ্রিক মূল্যায়ন: এটি বিশুদ্ধ গণিতের একটি উচ্চ-মানের পেপার, ফোলিয়েশনের ট্রান্সভার্সালিটা তত্ত্বে বাস্তব অবদান করে। চতুর কৌশলের মাধ্যমে (নির্ধারক লাইন বান্ডেল, স্থানীয় মসৃণকরণ, মোচড়ানো সমসংস্থান), ক্লাসিক্যাল তত্ত্ব নিম্ন নিয়মিততা এবং অ-অভিমুখী পরিস্থিতিতে প্রসারিত করে, এবং অনুবাদ পৃষ্ঠ এবং বিলিয়ার্ড সিস্টেমে অ-তুচ্ছ প্রয়োগ প্রদান করে। পেপার যুক্তিসঙ্গত কঠোর, প্রমাণ সম্পূর্ণ, জ্যামিতি টপোলজি এবং গতিশীল সিস্টেম ক্ষেত্রের গবেষকদের জন্য গুরুত্বপূর্ণ রেফারেন্স মূল্য রয়েছে। প্রধান সীমাবদ্ধতা উচ্চ-মাত্রা বা আরও সাধারণ পরিস্থিতির উদাহরণের অভাব, এবং ব্যবহারিক গণনার অ্যালগরিদম বিবরণ।