ফান্ডামেন্টাল গ্রুপ $pi_1(X)$ একমাত্রিক লুপের ছিদ্র সনাক্তকরণে চমৎকার হলেও এর কিছু সীমাবদ্ধতা রয়েছে: এটি প্রায়শই অ-অ্যাবিলীয় (যা গণনা করা অত্যন্ত কঠিন) এবং এটি উচ্চতর মাত্রার গহ্বরকে (যেমন একটি ফাঁপা ফুটবলের অভ্যন্তরীণ ত্রিমাত্রিক শূন্যতা) পুরোপুরি উপেক্ষা করে। যেকোনো মাত্রার ছিদ্রকে সঠিকভাবে শ্রেণিবদ্ধ করতে বীজগাণিতিক টপোলজি তৈরি করেছে হোমোলজি ও কোহোমোলজি তত্ত্ব (Homology & Cohomology)—চেইন কমপ্লেক্সের ওপর ভিত্তি করে গঠিত এক সুসংহত অ্যাবিলীয় ব্যবস্থা যা টপোলজির কঠিন সমস্যাকে রৈখিক বীজগণিতের ভাষায় রূপান্তর করে।
১. চেইন কমপ্লেক্স ও সীমানার সীমানা শূন্যের নীতি
হোমোলজি তত্ত্বের মূল ভিত্তি হলো জ্যামিতির একটি চিরন্তন সত্য: যেকোনো সীমানার নিজস্ব কোনো সীমানা থাকতে পারে না ($partial circ partial equiv 0$)। যেমন: একটি নিরেট ত্রিভুজের সীমানা হলো তিনটি বাহুর রেখাচিত্র, কিন্তু সেই বাহুগুলোর বন্ধ লুপের কোনো প্রান্তীয় সীমানা নেই। এটি সংজ্ঞায়িত হয় একটি চেইন কমপ্লেক্স (Chain Complex) দ্বারা:
dots xrightarrow{partial_{k+1}} C_k xrightarrow{partial_k} C_{k-1} xrightarrow{partial_{k-1}} dots xrightarrow{partial_1} C_0 xrightarrow{partial_0} 0
যেখানে $C_k$ হলো $k$-মাত্রিক সিমপ্লেক্সসমূহের মুক্ত অ্যাবিলীয় গ্রুপ এবং সীমানা অপারেটর $partial$ নিখুঁতভাবে মেনে চলে: $partial_k circ partial_{k+1} equiv 0$।
২. সাইকেল, বাউন্ডারি ও হোমোলজি গ্রুপ $H_k(X)$
যেহেতু $partial^2 = 0$, তাই সমস্ত বাউন্ডারি স্বয়ংক্রিয়ভাবে আবদ্ধ সাইকেল। আমরা দুটি গ্রুপ সংজ্ঞায়িত করি:
- $k$-সাইকেল গ্রুপ: $Z_k = ker(partial_k)$ (যে সমস্ত চেইনের কোনো সীমানা নেই: $partial c = 0$)।
- $k$-বাউন্ডারি গ্রুপ: $B_k = text{im}(partial_{k+1})$ (যা উচ্চতর মাত্রার কোনো চেইনের প্রকৃত সীমানা)।
এই দুই গ্রুপের ভাগফলই হলো $k$-তম হোমোলজি গ্রুপ (Homology Group):
H_k(X) = frac{Z_k(X)}{B_k(X)} = frac{ker(partial_k)}{text{im}(partial_{k+1})}
হোমোলজি গ্রুপ সর্বদা অ্যাবিলীয়। দুটি বন্ধ সাইকেল যদি কেবল একটি অভ্যন্তরীণ ক্ষেত্রফল দ্বারা একে অপরের সাথে যুক্ত থাকে, তবে তারা একই হোমোলজি শ্রেণিভুক্ত হয়। $H_k(X)$-এর মাত্রাকে বলা হয় বেটি সংখ্যা (Betti Number) $b_k$, যা সরাসরি নির্দেশ করে স্থানটিতে কতটি স্বাধীন $k$-মাত্রিক ছিদ্র রয়েছে।
৩. কোহোমোলজি ও কাপ প্রোডাক্ট রিং
চেইন কমপ্লেক্সকে দ্বৈত বা ডুয়াল স্পেসে রূপান্তর করলে পাওয়া যায় কোহোমোলজি গ্রুপ $H^k(X)$। কোহোমোলজি কেবল সাধারণ গ্রুপের চেয়ে অনেক বেশি সমৃদ্ধ, কারণ এর উপাদানগুলোর মধ্যে কাপ প্রোডাক্ট (Cup Product) $cup$ সংজ্ঞায়িত করা যায়:
cup: H^p(X) times H^q(X) longrightarrow H^{p+q}(X)
এই কাপ প্রোডাক্ট সমস্ত কোহোমোলজি গ্রুপকে একটি অনন্য কোহোমোলজি রিংয়ে (Cohomology Ring) রূপান্তর করে, যা এমন জটিল স্থানগুলোকে আলাদা করতে পারে যাদের সাধারণ হোমোলজি হুবহু অভিন্ন।
৪. পয়েনকেয়ারের অমর দ্বৈততা উপপাদ্য (Poincaré Duality)
সাধারণ টপোলজিক্যাল স্পেসে বিভিন্ন মাত্রার ছিদ্রের মধ্যে কোনো সম্পর্ক নাও থাকতে পারে। কিন্তু একটি সসীম, বদ্ধ ও ওরিয়েন্টেবল মসৃণ $n$-মাত্রিক ম্যানিফোল্ডে স্থান-কালের জ্যামিতিতে সৃষ্টি হয় এক পরম বিস্ময়কর প্রতিসাম্য: পয়েনকেয়ার দ্বৈততা (Poincaré Duality)।
ম্যানিফোল্ডের মৌলিক ওরিয়েন্টেশন ক্লাসের সাথে ক্যাপ প্রোডাক্ট ($cap [M]$) ঘটানোর মাধ্যমে $k$-তম কোহোমোলজি এবং $(n-k)$-তম হোমোলজির মধ্যে এক অনন্য আইসোমরফিজম প্রতিষ্ঠিত হয়:
H^k(M; mathbb{Z}) cong H_{n-k}(M; mathbb{Z}) quad (0 le k le n)
এর ফলে ম্যানিফোল্ডের বেটি সংখ্যাগুলো হুবহু প্রতিসম হয়: $b_k = b_{n-k}$। ত্রিমাত্রিক ম্যানিফোল্ডের ক্ষেত্রে $b_0 = b_3$ এবং $b_1 = b_2$। পয়েনকেয়ার দ্বৈততা প্রমাণ করে যে উচ্চ মাত্রা এবং নিম্ন মাত্রার জ্যামিতিক ছিদ্রগুলো পরস্পর লম্বভাবে পরস্পরকে ছেদ করে এক চিরন্তন ঐক্য বজায় রাখে।
