نظریه گره
نظریه گره به مطالعه چگونگی جایگیری دایرهها در فضای سهبعدی میپردازد و به دنبال یافتن ناورداهایی است که تعیین میکنند چه زمانی دو گره یکسان هستند و توپولوژی ظریف ابعاد پایین را به تصویر میکشند.
Definition
نظریه گره شاخهای از توپولوژی ابعاد پایین است که به مطالعه جایگیری یک یا چند دایره در فضای سهبعدی تا حد ایزوتوپی محیطی (ambient isotopy) میپردازد و آنها را با استفاده از ناورداهای قابل محاسبه طبقهبندی میکند.
Scope
این حوزه شامل گرهها و پیوندها به عنوان جایگیری دایرهها در فضا، نمودارهای آنها و حرکات رایدیمایستر (Reidemeister moves) که همارزی را ایجاد میکنند، و سلسله مراتب ناورداهای مورد استفاده برای تمایز آنها میشود — از ناورداهای کلاسیک مانند گروه گره، جنس سایفرت (Seifert genus)، و چندجملهای الکساندر (Alexander polynomial) تا ناورداهای کوانتومی مانند چندجملهایهای جونز (Jones) و هومفلی (HOMFLY) و دستهبندیهای آنها. گروههای بافت (braid groups) که پیوندها را از طریق بستارها (closures) نمایش میدهند، و ارتباطات با توپولوژی سهبعدی و چهاربعدی نیز گنجانده شدهاند، در حالی که مکانیزم کلی توپولوژی جبری در حوزه خود مورد بررسی قرار میگیرد.
Sub-topics
Core questions
- چه زمانی دو نمودار گره همارز هستند و چگونه حرکات رایدیمایستر به این سوال پاسخ میدهند؟
- کدام ناورداها میتوانند گرهها را متمایز کنند و تا چه حد کامل یا ناقص هستند؟
- چگونه ساختارهای جبری مانند گروه بافت و جبر تمپرلی-لیب (Temperley-Lieb algebra) ناورداهای گره را تولید میکنند؟
- چگونه نظریه گره در سه بعد به توپولوژی منیفولدهای چهاربعدی متصل میشود؟
Key concepts
- گرهها، پیوندها، و ایزوتوپی محیطی
- نمودارهای گره و حرکات رایدیمایستر
- ناورداهای کلاسیک: گروه گره، جنس، چندجملهای الکساندر
- ناورداهای کوانتومی: چندجملهایهای جونز و هومفلی
- گروههای بافت و بستارهای بافت
Clinical relevance
نظریه گره توپولوژی DNA و عملکرد آنزیمهای توپوایزومراز (topoisomerase)، مکانیک آماری پشت چندجملهای جونز، و مسائل در محاسبات کوانتومی و نظریه میدان توپولوژیک را روشن میکند که در آنها ناورداهای گره به عنوان کمیتهای فیزیکی ظاهر میشوند.
History
این موضوع که در قرن نوزدهم با جدولبندی گرهها توسط تایت (Tait) آغاز شد، با حرکات رایدیمایستر و چندجملهای الکساندر در دهههای ۱۹۲۰ و ۱۹۳۰ دقت بیشتری یافت و در سال ۱۹۸۴ با کشف یک ناوردای چندجملهای جدید توسط جونز از جبرهای عملگر (operator algebras) متحول شد و دوران ناورداهای کوانتومی را گشود.
Key figures
- Kurt Reidemeister
- John Conway
- Vaughan Jones
Related topics
Seminal works
- lickorish1997
- rolfsen1976
Frequently asked questions
- چه زمانی دو گره یکسان در نظر گرفته میشوند؟
- زمانی که یکی را بتوان به طور پیوسته در فضا و بدون برش به دیگری تغییر شکل داد — به طور رسمی، زمانی که آنها توسط یک ایزوتوپی محیطی به هم مرتبط باشند، یا به طور معادل زمانی که نمودارهای آنها با یک دنباله متناهی از حرکات رایدیمایستر متفاوت باشند.
- آیا یک ناوردای واحد وجود دارد که همه گرهها را طبقهبندی کند؟
- هیچ ناوردای کامل و به راحتی قابل محاسبهای شناخته شده نیست. ناورداهای مختلف ویژگیهای متفاوتی را تشخیص میدهند، و حتی ناورداهای قوی مانند چندجملهای جونز نیز در تمایز همه گرههای متمایز ناتوان هستند، که مسئله طبقهبندی را باز نگه میدارد.