توپی هموار که تنها در یک نقطه گرد است
یک توپ در هر جهت به یک اندازه خمیده است. پهلوی توپ راگبی چنین نیست: در پیرامون کمرگاهش تند خم می‌شود و در درازایش تنها به‌ملایمت. هندسه‌دانان در هر نقطهٔ یک رویه بیشترین و کمترین خمش را ثبت می‌کنند که جهت‌هایشان همیشه بر هم عمودند؛ این دو، انحناهای اصلی (principal curvatures) هستند. نقطه‌ای که در آن این دو برابرند، یعنی جایی که رویه در همهٔ جهت‌ها به یک اندازه خم می‌شود، نقطهٔ نافی (umbilic) نام دارد. روی یک گوی کامل، هر نقطه چنین است.
شمردن دورها در پیرامون نقطهٔ نافی
دور از نقطه‌های نافی، جهت‌های بیشترین و کمترین خمش دو خانواده خط روی رویه می‌کشند که همه‌جا با زاویهٔ قائمه یکدیگر را قطع می‌کنند. یک بار در امتداد حلقه‌ای کوچک دور یک نقطهٔ نافی منفرد بگردید و یکی از این خط‌ها را دنبال کنید: می‌چرخد. شمار دورهایی که می‌زند اندیس (index) آن نقطهٔ نافی است. چون خط پیکان ندارد، می‌تواند پس از نیم دور بر خودش منطبق شود، پس اندیس می‌تواند نیمه‌صحیح باشد، مثلاً 3/2.
دو حدس، آن‌گونه که مقاله بیانشان می‌کند:
- حدس لوونر (Loewner): اندیس یک نقطهٔ نافی منفرد حداکثر 1 است.
- حدس کاراتئودوری (Carathéodory): یک رویهٔ منتظم محدب بسته (رویه‌ای هموار و بی‌لبه که همه‌جا به بیرون برآمده است، مانند تخم‌مرغ) در فضای سه‌بعدی معمولی دست‌کم دو نقطهٔ نافی دارد.
این دو به هم پیوسته‌اند. روی یک رویهٔ محدب بسته که نقطه‌های نافی‌اش منفردند، جمع اندیس‌ها همیشه 2 است. اگر هیچ‌کدام نمی‌توانست از 1 بیشتر شود، دست‌کم دو نقطهٔ نافی لازم می‌بود: حدس لوونر حدس کاراتئودوری را نتیجه می‌داد. یک نقطهٔ نافی تنها باید کل عدد 2 را به‌تنهایی بر دوش بکشد، و هر دو حدس را بشکند.
اعلام‌شده در اوت، بازسازی‌شده از سینوس‌ها
نخستین مثال‌های نقض از این مقاله نیامدند. به گفتهٔ مقدمهٔ آن، ل. آلپوگه (L. Alpöge) در پستی در X به تاریخ 19 اوت 2026 مثال‌های نقضی برای هر دو حدس در مورد رویه‌های هموار اعلام کرد که «با کمک هوش مصنوعی پرورانده شده‌اند». ساخت موضعی آلپوگه از پیش به اندیس 1 + k/2 برای هر عدد درست مثبت k می‌رسد، و آلپوگه از رویه‌ای بسته و اکیداً محدب با دقیقاً یک نقطهٔ نافی، با اندیس 2، خبر می‌دهد.
نائویا آندو (Naoya Ando) از دانشگاه کوماموتو (Kumamoto University) و ماساآکی اومه‌هارا (Masaaki Umehara) از مؤسسهٔ علوم توکیو (Institute of Science Tokyo) بر آن شدند که «ساختی ساده‌تر از راه گونه‌ای از ساخت آلپوگه» ارائه دهند. تابع آغازین آلپوگه سه کسینوس را با ضریب‌های −1/4، 3/10 و −1/32 ترکیب می‌کند، درون تابع‌هایی که ثابت‌هایی مانند 10¹⁰ و 100 در خود دارند. «بذر» آن‌ها این است:
F(x, y) = a(x) − a(y) + sin x sin y، با a(t) = sin⁴t + 3 sin²t
تابعی از دو متغیر را چشم‌اندازی از برآمدگی‌ها و فرورفتگی‌ها تصور کنید. بذر به یک ویژگی نیاز دارد: این چشم‌انداز در هیچ‌جا نباید در همهٔ جهت‌ها به یک اندازه خم شود. به زبان فنی، هسین بی‌ردِ آن (trace-free Hessian)، یعنی جدول مشتق‌های دوم پس از کنار گذاشتن بخش «یکسان در همهٔ جهت‌ها»، هرگز صفر نمی‌شود. برای این بذر، این بررسی سه خط بیشتر نیست. این ویژگی در یک عدد مختلط فشرده می‌شود — جفتی از دو عدد معمولی، یک بخش «حقیقی» و یک بخش «موهومی»، که تنها وقتی صفر است که هر دو صفر باشند: 12 − 16(sin⁴x + sin⁴y) + 2i cos x cos y. بخش موهومی‌اش تنها جایی صفر می‌شود که یک کسینوس صفر شود؛ در آنجا یک سینوس برابر ±1 است، پس بخش حقیقی‌اش حداکثر −4 است. بنابراین هرگز صفر نمی‌شود.
نویسندگان می‌گویند از ChatGPT برای کمک به جست‌وجوی تابع‌های نامزد و بازنگری متن استفاده کرده‌اند، و همهٔ استدلال‌ها را خودشان وارسی کرده‌اند.
تا کردن الگویی بی‌پایان در یک نقطه
بذر تا بی‌نهایت در سراسر صفحه تکرار می‌شود. نویسندگان همهٔ آن را در قرصی کوچک می‌فشارند: H_k(z) = exp(−|z|^(−k/4)) F(z^(−k/2))، که در آن z نقطه‌ای از صفحه است که به‌صورت یک عدد مختلط نوشته شده، و k عدد درست مثبتی است که نویسندگان در انتخابش آزادند. این جایگذاری دوردست‌های صفحه را به سوی مرکز می‌فرستد، پس الگوی سینوسی در حلقه‌هایی هرچه تنگ‌تر پیرامون آن انباشته می‌شود. عامل نمایی همه‌چیز را له می‌کند: در مرکز، تابع و همهٔ مشتق‌هایش صفرند. ریاضی‌دانان چنین تابعی را تخت (flat) می‌نامند.
در پیرامون آن مرکز، جهت‌های بیشترین خمش این چشم‌انداز 1 + k/2 دور می‌چرخند: 3/2 برای k = 1، 2 برای k = 2، 5/2 برای k = 3، بی هیچ حد بالایی (قضیهٔ 1.3). همین دو نویسنده پیش‌تر همراه با فوجی‌یاما (Fujiyama) با مثال‌هایی که در نقطهٔ نافی تنها C¹، یعنی یک بار مشتق‌پذیر، بودند به اندیس‌های دلخواه بزرگ رسیده بودند؛ این مثال‌های تازه هموارند.
برای تبدیل چشم‌انداز به رویه، نویسندگان از یک تابع تکیه‌گاهی (support function) بهره می‌گیرند: این تابع برای هر جهت فاصلهٔ یک مرکز تا صفحهٔ تختی را می‌دهد که در آن سو بر رویه مماس است، مانند خط‌کشی که به سنگریزه‌ای فشرده شود. تابع تکیه‌گاهی ثابت یک کره را توصیف می‌کند. افزودن مضرب کوچکی از چشم‌انداز به آن ثابت رویه‌ای می‌دهد که نقطه‌های نافی و اندیس‌هایش با نقطه‌ها و اندیس‌های چشم‌انداز یکی‌اند. این تناظری کلاسیک است؛ مقاله تنها بخشی را که برای رویهٔ بسته لازم دارد اثبات می‌کند و برای بقیه به منابع ارجاع می‌دهد. نتیجه: تکه‌های کوچکی از رویهٔ هموار که برای هر k نقطه‌های نافی با اندیس 1 + k/2 دارند، پس اندیس سقفی ندارد. همین برای رده‌ای از رویه‌ها در فضای لورنتس–مینکوفسکی (Lorentz–Minkowski) هم برقرار است، جایی که در فرمول فیثاغورس برای فاصله، مجذور یکی از سه تفاضل مختصات به جای افزوده شدن کم می‌شود.
تنها نقطهٔ نافی در قطب شمال نشسته است
برای رویهٔ بسته، صفحهٔ بی‌پایان بذر دور یک کره پیچیده می‌شود، مانند یک تصویر نقشه‌برداری که وارونه اجرا شود: همهٔ نقطه‌ها را می‌پوشاند جز قطب شمال، جایی که همهٔ دوردست‌هایش به هم می‌رسند. بذر به شیوه‌ای دیگر میرا می‌شود، تا سریع‌تر از هر توانی از فاصله تا مرکز آن صفحه محو شود، و مضرب کوچکی ε از آن به تابع تکیه‌گاهی کره افزوده می‌شود. برای ε به‌اندازهٔ کافی کوچک، نتیجه رویه‌ای بسته، تقریباً گرد و اکیداً محدب است: همه‌جا به بیرون برآمده است. در هر نقطه به‌جز یکی، ویژگی بذر وجود نقطهٔ نافی را منتفی می‌کند. استثنا قطب شمال است، N = (0, 0, 1): در آنجا تابع تکیه‌گاهی در همهٔ مشتق‌ها با تابع تکیه‌گاهی کره یکی است، پس N یک نقطهٔ نافی است، و تنها نقطهٔ نافی (قضیهٔ 2.2). چون جمع اندیس‌ها باید 2 باشد، اندیس آن 2 است. یک نقطهٔ نافی: حدس کاراتئودوری فرو می‌ریزد. اندیس 2، بیش از 1: حدس لوونر هم.
هموار، اما نه تحلیلی
همهٔ رویه‌های مقاله بی‌نهایت بار مشتق‌پذیر، یا «هموار»، هستند. نویسندگان تصریح می‌کنند که رویه‌هایشان در فضای معمولی تحلیلی حقیقی (real analytic) نیستند، که گونهٔ سخت‌گیرانه‌تری از همواری است که در آن، نزدیک هر نقطه، شکل دقیقاً با یک مجموع نامتناهی از توان‌ها داده می‌شود. مقاله دربارهٔ اینکه آیا رویه‌های تحلیلی می‌توانند تنها یک نقطهٔ نافی داشته باشند چیزی نمی‌گوید. مقاله خود را برای نقطهٔ نافی با اندیس 2 و مثال نقض حدس کاراتئودوری خودبسنده توصیف می‌کند. و هیچ تصویری از رویه ندارد: دو ثابتی که شکلش را تعیین می‌کنند، δ و ε، تنها باید «به‌اندازهٔ کافی کوچک» باشند، و هیچ مقداری برایشان داده نشده است.