درود بر همراهِ باصفا و پژوهندهٔ ژرف‌اندیش.
در ادامهٔ این سیرِ ناب و نظام‌مند، به سراغ یکی از عمیق‌ترین و بنیادی‌ترین ابزارهای همولوژی در جبرهای با بعد متناهی می‌رویم: **«کوهومولوژی هوشیلد (Hochschild Cohomology) و تغییر شکلِ ساختار جبر (Algebra Deformations)»**.
در پست‌های پیشین، ریخت‌ها و مدول‌ها را بررسی کردیم؛ اما اکنون می‌پرسیم:
*«خودِ جبر چگونه می‌تواند با تغییراتی نامحسوس (Deformation) دگرگون شود؟ مرکزِ جبر کجاست و چه ابزاری ناورداییِ رستهٔ مشتق را در این تحولات پاسداری می‌کند؟»*
---
### پست سی‌وسوم: انعطاف در کالبدِ جبر؛ کوهومولوژی هوشیلد و دگردیسیِ ساختار
```html
پست سی‌وسوم: انعطاف در کالبدِ جبر؛ کوهومولوژی هوشیلد و دگردیسیِ ساختار
در ایستگاه‌های پیشین، جبر را چونان ساختمانی استوار و صلب پنداشتیم که مدول‌ها در تالارهای آن به جلوه‌گری می‌پردازند. اما در نگاهِ هندسه‌دانان و فیزیک‌پیشگانِ کوانتوم، هر ساختار جبری خود می‌تواند دستخوشِ «تغییرِ شکل پیوسته (Deformation)» گردد؛ گویی ضربِ داخلیِ عناصر، تحتِ تلاطمِ یک پارامترِ کوچک دستخوشِ لرزش و دگرگونیِ ظریف شود.
میزان‌سنج و ناظرِ دقیقِ این تغییر شکل‌ها در نظریهٔ نمایش، دستگاهِ شگفت‌انگیزِ «کوهومولوژی هوشیلد (Hochschild Cohomology)» است که در سال ۱۹۴۵ توسط گرهارد هوشیلد پایه‌گذاری شد و با نبوغِ موری گرسن‌هابر (Murray Gerstenhaber) پیوندی جاودان با هندسه و فیزیک یافت.
۱. بیمدولِ بنیادین و تعریفِ گروه‌های هوشیلد
اگر Λ جبری با بعد متناهی روی میدان k باشد، می‌توان آن را نه صرفاً به عنوان یک رینگ، بلکه به صورت یک بیمدول (Λ-Λ-bimodule) بر فرازِ خود نگریست؛ یا به بیانی دیگر، مدولی بر جبرِ پوشاننده:
Λe = Λ ⊗k Λop
آنگاه n-امین گروهِ کوهومولوژیِ هوشیلدِ جبر Λ، به زیبایی از طریقِ فونتورِ امتداد (Ext) تعریف می‌شود:
HHn(Λ) = ExtnΛe(Λ, Λ)
این گروه‌ها در ظاهر ابزاری همولوژیک‌اند، اما هر درجه از آنها پرده از رازی هندسی و ساختاری برمی‌دارد.
۲. درجاتِ سه‌گانه؛ از مرکزیت تا تغییرِ شکل
درجهٔ صفر (HH0): قلبِ تپنده و مرکز جبر
این فضا دقیقاً منطبق بر مرکزِ جبر (Center of Λ) است:
HH0(Λ) ≅ Z(Λ) = { x ∈ Λ | ∀ y ∈ Λ, xy = yx }
مرکزِ جبر، کانونِ تقارن‌های جابه‌جایی‌پذیر و شالودهٔ پایدارِ ساختار است.
درجهٔ یک (HH1): مشتق‌گیری‌ها و فضاهای مماس
این فضا برابر با خارج‌قسمتِ مشتق‌گیری‌های خارجی بر مشتق‌گیری‌های درونی است:
HH1(Λ) ≅ Der(Λ) / InnDer(Λ)
از منظرِ هندسی، HH1 فضای مماس بر واریتهٔ جبرهای هم‌ارز است و خودریختی‌های بی‌نهایت کوچک را بازمی‌نماید.
درجهٔ دو (HH2): عرصهٔ تغییر شکل‌ها (Deformations)
اگر بخواهیم ضربِ جبر را با یک پارامتر صوری t به شکل زیر بسط دهیم:
a *t b = ab + t φ1(a,b) + t2 φ2(a,b) + ...
شرط شرکت‌پذیریِ این ضربِ نو در مرتبهٔ نخست حکم می‌کند که نگاشتِ دوخطیِ φ1 باید یک ۲-کوسایکل باشد!
اگر
HH2(Λ) = 0باشد، جبر صلب و انعطاف‌ناپذیر (Rigid) است و هیچ دگردیسیِ بنیادی را نمی‌پذیرد.
۳. جبر گرسن‌هابر و ناوردایی مشتق (Derived Invariance)
یکی از درخشان‌ترین قضایای مدرن، دستاوردِ میشل ریکیارد (Michel Rickard) و برنهارد کلر (Bernhard Keller) است:
«اگر دو جبر Λ و Γ هم‌ارزی مشتق داشته باشند (Derived Equivalent)، آنگاه تالارِ کوهومولوژی هوشیلدِ آنها درجه‌به‌درجه با یکدیگر یکریخت خواهند بود.»
افزون بر این، با وجودِ کلوخهٔ گرسن‌هابر (Gerstenhaber Bracket)، مجموعهٔ کوهومولوژی هوشیلد نه فقط یک جبر مدرج جابه‌جایی، بلکه یک جبرِ لای مدرج (Graded Lie Algebra) می‌سازد که هندسهٔ نامتناهیِ فضا را راهبری می‌کند.
فرجام و پیامِ معرفت:
کوهومولوژی هوشیلد نمادِ تاب‌آوری و تحول در عینِ حفظِ اصالت است:
جبرِ صلب که HH2 آن صفر است، در برابرِ امواجِ تغییر بی‌حرکت می‌ماند؛ اما جبرِ بارور، راه را بر تغییر شکل‌های قانون‌مند می‌گشاید بی‌آنکه رشتهٔ همسانی و تقارنِ زیرینِ خود را از کف بدهد. در سلوکِ اندیشه نیز، پایبندی به مرکزیتِ حق (HH0) مانع از پویایی و تطابق با اقتضائاتِ زمانه (HH1 و HH2) نیست.
```
---
این گوهر ارزشمند نیز تقدیم ساحت پرمهرتان گردید تا دفتر همولوژی هوشیلد در این مجموعه گشوده شود.
برای گام بعدی (**پست سی‌وچهارم**)، دو افق پربار دیگر پیش روی ماست:
1. **پست سی‌وچهارم:** **«جبرهای کلاستر (خوشه‌ای) و رستهٔ کلاستر (Cluster Categories)»**؛ پیوند شگفت‌انگیز فومین–زلونسکی میان ترکیبیات، جهش کویورها و فیزیک.
2. **پست سی‌وچهارم:** **«قضیهٔ تناظر تائو-آوسلندر و تعمیم‌های ابعاد بالاتر در نظریه هائرنوس (Higher Auslander-Reiten Theory)»**.
هر چه هدایت فرمایید، گام بعدی را بر همان مدار برخواهیم داشت.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.