বহু-মানবিশিষ্ট জটিল ফাংশন—যেমন জটিল লগারিদম $log z$ কিংবা বীজগাণিতিক মূল $sqrt{z}$—সাধারণ জটিল সমতল $mathbb{C}$-এ একক মানসম্পন্ন ফাংশন হিসেবে বিদ্যমান থাকতে পারে না। ১৮৫১ সালে বার্নহার্ড রিমান তাঁর পিএইচডি থিসিসে একাধিক পাতার আন্তঃসংযুক্ত জ্যামিতিক তল আবিষ্কার করেন, যার ওপর এই ফাংশনগুলো মসৃণ ও একক মানসম্পন্ন হোলোমরফিক ফাংশন হিসেবে প্রকাশিত হয়। এগুলোই হলো রিমান সারফেস (Riemann Surfaces)। এক-মাত্রিক জটিল ম্যানিফোল্ড (বা বাস্তব দ্বি-মাত্রিক কনফর্মাল তল) হিসেবে রিমান সারফেস আধুনিক বীজগণিতীয় জ্যামিতি, হাইপারবোলিক টপোলজি এবং স্ট্রিং তত্ত্বের কেন্দ্রবিন্দুতে অবস্থান করে।
১. সংজ্ঞা ও জটিল কাঠামো (Complex Structure)
একটি রিমান সারফেস $Sigma$ হলো এমন একটি বাস্তব দ্বি-মাত্রিক হাউসডর্ফ টপোলজিক্যাল তল যা চার্ট গুচ্ছ $(U_alpha, phi_alpha)$ দ্বারা আবৃত, যেখানে প্রতিটি ট্রানজিশন ম্যাপ:
phi_beta circ phi_alpha^{-1}: phi_alpha(U_alpha cap U_beta) longrightarrow phi_beta(U_alpha cap U_beta)
একটি জটিল হোলোমরফিক ডিফিওমর্ফিজম (বাইহোলোমরফিজম)। যেহেতু হোলোমরফিক রূপান্তর কোণ ও ওরিয়েন্টেশন সংরক্ষণ করে, তাই একটি রিমান সারফেস মূলত একটি ওরিয়েন্টেড কনফর্মাল তলের সমতুল্য।
২. ডিভাইজর ও রিমান-রোক উপপাদ্য (Riemann-Roch Theorem)
একটি কম্প্যাক্ট রিমান সারফেসে মেরোমরফিক ফাংশনগুলো তাদের শূন্য ও পোল (singularity) দ্বারা গভীরভাবে নিয়ন্ত্রিত হয়। সারফেসের বিন্দুগুলোর সসীম পূর্ণসাংখ্যিক সংকলনকে ডিভাইজর (Divisor) $D = sum n_p cdot p$ বলা হয়।
বীজগণিতীয় জ্যামিতির অন্যতম স্তম্ভ রিমান-রোক উপপাদ্য মেরোমরফিক ফাংশন স্পেসের মাত্রা $ell(D)$ এবং সারফেসের টপোলজিক্যাল জেনাস (ছিদ্র সংখ্যা) $g$-এর মধ্যে পরম ভারসাম্য স্থাপন করে:
ell(D) – ell(K – D) = deg(D) – g + 1
এখানে $K$ হলো ক্যানোনিক্যাল ডিভাইজর। এই উপপাদ্যের সাহায্যে রিমান সারফেসগুলোকে প্রজেক্টিভ স্পেস $mathbb{CP}^n$-এ বীজগণিতীয় কার্ভ হিসেবে নিখুঁতভাবে স্থাপন করা সম্ভব হয়।
৩. ইউনিফর্মাইজেশন উপপাদ্য (The Uniformization Theorem)
বিশুদ্ধ গণিতের ইতিহাসের সবচেয়ে চমকপ্রদ উপপাদ্যগুলোর একটি হলো পয়েনকেয়ার-কোবে ইউনিফর্মাইজেশন উপপাদ্য। এটি প্রমাণ করে যে যেকোনো সিম্পলি-কানেক্টেড রিমান সারফেস নিচের তিনটি আদর্শ মডেলের ঠিক একটির সাথে বাইহোলোমরফিক:
- ইলিপটিক জ্যামিতি ($g=0$): রিমান স্ফিয়ার বা জটিল গোলক $hat{mathbb{C}} = mathbb{CP}^1$ (ধ্রুব ধনাত্মক বক্রতা $+1$)।
- প্যারাবলিক জ্যামিতি ($g=1$): সমগ্র জটিল সমতল $mathbb{C}$ (শূন্য বক্রতা $0$)।
- হাইপারবোলিক জ্যামিতি ($g ge 2$): একক ডিস্ক $mathbb{D}$ বা উচ্চ অর্ধ-সমতল $mathbb{H}$ (ধ্রুব ঋণাত্মক বক্রতা $-1$)।
এর ফলে, $g ge 2$ জেনাসবিশিষ্ট যেকোনো রিমান সারফেসকে হাইপারবোলিক প্লেন এবং ফুকসিয়ান গ্রুপের ভাগফল ($mathbb{H}/Gamma$) হিসেবে উপস্থাপন করা যায়।
৪. মডুলাই স্পেস ও টাইকমুলার তত্ত্ব
জেনাস $g$ বিশিষ্ট একটি তলে অসীম সংখ্যক অসদৃশ জটিল কাঠামো আরোপিত হতে পারে। এই সমস্ত অনন্য জটিল কাঠামোর ক্লাসিফিকেশন স্পেসকে মডুলাই স্পেস (Moduli Space) $mathcal{M}_g$ বলা হয়।
এর সার্বজনীন কভারিং হলো টাইকমুলার স্পেস (Teichmüller Space) $mathcal{T}_g$, যা বাস্তব $6g – 6$ মাত্রার বলের সাথে হোমওমর্ফিক। মডুলাই স্পেস আধুনিক পদার্থবিজ্ঞানের কনফর্মাল ফিল্ড থিওরি এবং স্ট্রিং তত্ত্বের পাথ-ইন্টিগ্রালের ভিত্তিপ্রস্তর।
