ریاضیدانان با کشف سطوح «دوقلوی» دونات‌شکل، یک قانون ۱۵۰ ساله هندسه را زیر و رو کردند

به مدت ۱۵۰ سال، یک قانون بنیادی در هندسه دیفرانسیل حکم می‌کرد که اگر دو سطح بسته و خمیده بدون مرز—مانند سطح بیرونی یک دونات یا یک کره—از نظر انحنای محلی و میکروسکوپی خود یکسان باشند، باید در شکل کلی و جهانی خود نیز یکسان باشند. این مفهوم شهودی، سنگ بنای مدل‌سازی فضای سه‌بعدی توسط ریاضیدانان و فیزیکدانان بود.[1][3]

اکنون، تیمی از ریاضیدانان این فرض دیرینه را در هم شکسته‌اند. آن‌ها با موفقیت دو سطح دونات‌شکل متمایز، که در ریاضیات به عنوان چنبره (Tori) شناخته می‌شوند، ساختند که از نظر محلی غیرقابل تشخیص، اما از نظر کلی متفاوت هستند و بدین ترتیب یک اصل مسلم که از اواخر قرن نوزدهم پابرجا بود، واژگون شد.[2][5]

برای درک سازوکار پشت این کشف، یک مورچه را تصور کنید که روی سطح یک دونات راه می‌رود. برای مورچه، فواصل، زوایا و خمیدگی‌های محلی که تجربه می‌کند، کل جهان او را تعریف می‌کنند. حدس کلاسیک بیان می‌کرد که اگر یک مورچه روی دونات الف و یک مورچه روی دونات ب، دقیقاً همان اندازه‌گیری‌های محلی را در هر جایی که راه می‌روند ثبت کنند، دونات الف و دونات ب باید در فضای سه‌بعدی دقیقاً یک شکل باشند.[4][6]

اثبات جدید، که اخیراً در سرور پیش‌انتشار arXiv بارگذاری شده و در حال حاضر تحت بررسی دقیق همتایان است، ساختار ریاضی کاملی از دو چنبره ارائه می‌دهد که به صراحت این قانون را نقض می‌کنند. محققان از یک تکنیک بسیار پیچیده شامل معادلات دیفرانسیل جزئی استفاده کردند تا سطح را به صورت ریاضی «خم» کنند، بدون اینکه آن را بکشند، فشرده کنند یا پاره نمایند.[1][2]

برای درک اهمیت این شواهد، باید به مفهوم هندسی «صلبیت» (Rigidity) نگاه کنیم. در سال ۱۹۲۷، استفان کوهن-ووسن، ریاضیدان، ثابت کرد که هر دو سطح محدب—اشکالی که در همه جا به سمت بیرون برآمده‌اند، مانند کره‌ها یا تخم‌مرغ‌ها—که از نظر محلی یکسان باشند، باید از نظر کلی نیز هم‌نهشت باشند. برای اشکال محدب، هندسه محلی به شدت واقعیت کلی را دیکته می‌کند.[4][7]

با این حال، ریاضیدانان مدت‌ها گمان می‌کردند که سطوح غیرمحدب—اشکالی با حفره یا نقاط زینی، مانند چنبره—ممکن است «انعطاف‌پذیر» باشند، به این معنی که می‌توانند بدون تغییر هندسه محلی خود، تغییر شکل دهند. با وجود این گمان، یافتن یک نمونه هموار و بسته از چنین شکل انعطاف‌پذیری در فضای سه‌بعدی استاندارد، برای بیش از یک قرن غیرممکن بود.[1][5]

یک پیشرفت جزئی در دهه ۱۹۵۰ رخ داد، زمانی که جان نش و نیکولاس کویپر با نشان دادن اینکه سطوح «ناهموار» یا چین‌دار می‌توانند واقعاً انعطاف‌پذیر باشند، دنیای ریاضیات را شوکه کردند. اما سطوح نظری آن‌ها دارای چین‌های میکروسکوپی بی‌نهایت بودند و فاقد «همواری» سخت‌گیرانه‌ای بودند که هندسه دیفرانسیل کلاسیک طلب می‌کرد، بنابراین حدس اصلی ۱۵۰ ساله در مورد اشکال هموار دست‌نخورده باقی ماند.[3][7]

کشف جدید به طور خاص شامل سطوح هموار است و شکافی را پر می‌کند که نسل‌ها از محققان را ناامید کرده بود. نویسندگان موفق شدند انعطاف‌پذیری نشان داده شده توسط قضیه نش-کویپر را با الزامات سخت و سازش‌ناپذیر همواری در معادلات دیفرانسیل کلاسیک ادغام کنند و ثابت کنند که چنبره‌های انعطاف‌پذیر هموار واقعاً وجود دارند.[2][6]

این تیم با استفاده از یک چارچوب ریاضی پیشرفته به نام «انتگرال‌گیری محدب» (Convex Integration) به این مهم دست یافت. انتگرال‌گیری محدب که در اصل برای مطالعه جریان آشفته سیالات و تلاطم توسعه یافته بود، به ریاضیدانان اجازه می‌دهد تا به صورت تکراری «چین و چروک‌های» بسیار کنترل‌شده‌ای را به یک راه‌حل اضافه کنند. با به کارگیری این روش در هندسه، آن‌ها دنباله‌ای از چنبره‌های به طور فزاینده پیچیده ایجاد کردند که در نهایت به دو شکل متمایز و کاملاً هموار همگرا شدند.[1][4]

در حالی که معادلات زیربنایی بسیار انتزاعی هستند، مدل‌های کامپیوتری اولیه از این دو چنبره، آن‌ها را به صورت حلقه‌های موج‌دار و بسیار پیچیده نشان می‌دهند. یکی ممکن است تا حدودی شبیه یک تیوب داخلی استاندارد با موج‌های جزئی و دقیق ریاضی به نظر برسد، در حالی که «دوقلوی» آن در یک پیکربندی کلی کاملاً متفاوت پیچ و تاب خورده و برآمده است، با وجود اینکه دقیقاً همان انحنای محلی را به اشتراک می‌گذارند.[3][5]

عدم قطعیت اصلی در تحقیقات کنونی در تجسم فیزیکی این اشکال نهفته است. از آنجایی که اثبات بر محدودیت‌های ریاضی بسیار انتزاعی و غیرسازنده متکی است، رندر کردن یک مدل سه‌بعدی کامل از چنبره‌های دوقلو به قدرت پردازشی فراتر از محدودیت‌های محاسباتی فعلی نیاز دارد. مدل‌های کامپیوتری موجود، تقریبی از حقیقت نهایی ریاضی هستند.[2][6]

این کشف بسیار فراتر از یک کنجکاوی صرف ریاضی است؛ پیامدهای عمیقی برای فیزیک نظری دارد. نسبیت عام و نظریه ریسمان به شدت به هندسه دیفرانسیل متکی هستند تا شکل فضا-زمان، گرانش و ساختار بنیادی جهان را توصیف کنند.[3][7]

اگر سطوح بسته خاصی بتوانند از نظر محلی یکسان اما از نظر کلی متمایز باشند، این امر سؤالات نظری را در مورد توپولوژی خود جهان مطرح می‌کند. این نشان‌دهنده امکان ریاضی این است که دو شکل مختلف جهان می‌توانند از نظر تئوری دقیقاً همان اثرات گرانشی محلی را تولید کنند، که استنتاج فیزیکدانان در مورد شکل کلی کیهان از مشاهدات محلی را پیچیده می‌سازد.[4][6]

علاوه بر این، ریاضیات سطوح انعطاف‌پذیر مستقیماً در مطالعه لایه‌های نازک و فرامواد (متامتریال‌ها) کاربرد دارد. درک دقیق اینکه چگونه یک سطح پیچیده می‌تواند بدون کشیده شدن ساختار اتمی داخلی‌اش خم و تغییر شکل دهد، می‌تواند به اصول طراحی جدیدی در الکترونیک انعطاف‌پذیر، سازه‌های فضایی قابل استقرار و رباتیک پیشرفته منجر شود.[1][5]

جامعه ریاضی در حال حاضر مشغول بررسی دقیق این اثبات فشرده ۱۲۰ صفحه‌ای است. در حالی که اجماع اولیه در میان کارشناسان موسساتی مانند موسسه مطالعات پیشرفته (Institute for Advanced Study) نشان می‌دهد که منطق اثبات صحیح و کاربرد انتگرال‌گیری محدب بی‌نقص است، پیچیدگی محض ریاضیات به این معنی است که تأیید کامل و رسمی ماه‌ها طول خواهد کشید.[2][7]

صرف نظر از اینکه بررسی همتایان چقدر طول بکشد، ساخت این دونات‌های «دوقلو» نشان‌دهنده یک جهش بزرگ در درک ما از شکل، فضا و هندسه است. این کشف ثابت می‌کند که حتی پس از ۱۵۰ سال مطالعه فشرده، قوانین بنیادی حاکم بر فضای اطراف ما همچنان شگفتی‌های عمیق و زیبایی در خود دارند.[1][3][6]