ریاضیات

تور (Tor) و اکست (Ext): اندازه‌گیری لرزش‌ها و شکست‌های ساختاری

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

1. ۱. اکست (Ext)؛ راویِ موانع امتداد:
   

   اگر دو مدول داشته باشیم، ممکن است بخواهیم مدول اول را در دل یک مدول بزرگ‌تر بنشانیم به طوری که خارج‌قسمت آن، مدول دوم باشد. به این ساختار «امتداد مدول‌ها» می‌گویند. گروه Ext دقیقاً کلاس‌های مختلف چنین امتدادهایی را دسته‌بندی می‌کند. هرگاه Ext صفر شود، به این معناست که هیچ امتداد غیربدیهی وجود ندارد و مدول بزرگ‌تر به جمع مستقیم دو جزء خود تجزیه می‌شود.

2. ۲. تور (Tor)؛ ردپای پیچش در ضرب تانسوری:
   

   نام «تور» از واژهٔ پیچش (Torsion) در گروه‌های آبلی ریشه گرفته است. وقتی دو مدول را در هم ضرب تانسوری می‌کنیم، اگر یکی از آن‌ها دارای عناصری باشد که با ضرب‌شدن در عناصر خاصی صفر می‌شوند (عناصر پیچشی)، این رفتار ممکن است دقت تانسور را برهم زند. فانکتور Tor مقدارِ دقیق این افت و پیچش را در درجات مختلف آشکار می‌سازد.

3. ۳. ساخت از راه حل‌های تصویری و تزریقی:
   

   برای محاسبهٔ عملی Ext و Tor، مدول را به زنجیره‌ای از مدول‌های تصویری (یا تزریقی) می‌گشاییم که آن را حل تصویری می‌نامند. با اعمال فانکتورها بر این زنجیره و محاسبهٔ همولوژی، مقادیر Tor و Ext مانند ضرایب پنهانِ ساختار آشکار می‌شوند.

4. ۴. معیار همولوژیک برای سادگی مدول‌ها:
   

   یک مدول تصویری است اگر و تنها اگر تمام گروه‌های Ext مرتبهٔ مثبتِ آن با هر مدول دیگر ناپدید (صفر) شوند. همین‌طور، مدولی را مسطح می‌دانیم که تمام درجات مثبت فانکتور Tor برای آن فرو بریزند و هیچ اثری برجای نگذارند.