ریاضیات

تانسور و هوم (Tensor-Hom Adjunction): نغمهٔ الحاق و یگانگی روابط

در هندسه و جبر جدید، دو عملگر وجود دارند که همچون دم و بازدم، حیاتِ روابط میان مدول‌ها را تنظیم می‌کنند: ضرب تانسوری که پیوندزننده و گستراننده است، و فانکتور هوم (Hom) که سنجش‌گر و مشاهده‌کنندهٔ نگاشت‌هاست. پیوند این دو، یکی از عمیق‌ترین قوانین رده‌شناسی یعنی «هم‌یوغی یا الحاق تانسور و هوم» را شکل می‌دهد.

1. ۱. تناظر کلامی الحاق:
   

   قضیهٔ الحاق به زبان ساده می‌گوید: بررسی نگاشت‌های سازگار از یک فضای مرکب (ضرب تانسوری دو مدول) به سوی یک مدول سوم، کاملاً هم‌ارز است با این‌که ابتدا یکی از مدول‌ها را در فضای نگاشت‌های مدول دیگر بنشانیم و سپس همریختی‌ها را ارزیابی کنیم. هیچ داده‌ای در این تغییر دیدگاه گم نمی‌شود.

2. ۲. جابه‌جایی چپ و راست (چپ‌دقیق و راست‌دقیق):
   

   به برکت این الحاق، ضرب تانسوری همواره دنباله‌های دقیق را از سمت راست حفظ می‌کند (راست‌دقیق است) و با جمع‌های مستقیم جابه‌جا می‌شود؛ در حالی که هوم از سمت چپ دنباله‌ها پاسداری می‌کند (چپ‌دقیق است) و حاصل‌ضرب‌های مستقیم را به جمع مبدل می‌سازد.

3. ۳. تغییر پایه و القای نمایش‌ها (Induction & Restriction):
   

   هنگامی که از یک زیرجبر به جبری بزرگ‌تر می‌رویم، به کمک ضرب تانسوری نمایش‌ها را «القا» می‌کنیم. هم‌ارزی تانسور و هوم تضمین می‌کند که القای نمایش‌ها رفیق همیشگیِ «تحدید نمایش‌ها» است؛ اصلی که تمام نظریهٔ نمایش گروه‌های متناهی فروبنیوس بر آن استوار شده است.

4. ۴. ثمره در جبر همولوژیک:
   

   مشتق‌های این دو عملگر، توابع مشهور Tor (پیچش همولوژیک) و Ext (امتداد ساختاری) را می‌آفرینند. سنجش هر مانع یا انسداد ساختاری در جبر، بر دوش اطلاعاتی است که این دو از دل هم‌یوغی بیرون می‌کشند.