علامت کی وہ لغزش جس نے تین ثبوت ڈبو دیے

ہاج قیاس (Hodge conjecture) ریاضی کے سب سے گہرے حل طلب سوالوں میں سے ایک ہے۔ اس مقالے میں اس کا بیان Clay Mathematics Institute کی کتاب The Millennium Prize Problems میں پیئر دیلین (Pierre Deligne) کے ایک باب سے لیا گیا ہے۔ بہت موٹے طور پر یہ کہتا ہے کہ کثیر رقمی مساواتوں سے متعین ہونے والی کسی ہندسی فضا کی ٹوپولوجی میں چھپی کچھ “شکلیں” ہمیشہ ایسے چھوٹے ٹکڑوں سے بنائی جا سکتی ہیں جو خود بھی مساواتوں سے متعین ہوں۔

ستمبر اور اکتوبر 2026 میں OpenAI نے “OAI” کے دستخط سے تین دستاویزات جاری کیں، جن میں خاص صورتوں میں اس قیاس کو ثابت کرنے کا دعویٰ تھا: K3 سطحیں کہلانے والی کچھ سطحوں، ان کے حاصلِ ضرب، اور کچھ آٹھ جہتی فضاؤں کے لیے۔ OpenAI نے بعد میں تینوں واپس لے لیں۔ امپیریل کالج لندن کے یانکی لیکیلی اور یونیورسٹی آف ایڈنبرا کے نک شیریڈن اب ٹھیک ٹھیک بتاتے ہیں کہ وہ کہاں غلط ہوئیں۔

آئینے سے گزرتا ایک جائز راستہ

دستاویزات نے ایک خوبصورت راستہ اپنایا۔ ایک طاقتور خیال جسے ہومولوجیکل آئینہ تشاکل (homological mirror symmetry) کہتے ہیں، اور جس کا قیاس میکسم کونتسیوچ نے پیش کیا، ایک ہندسی فضا X کو بالکل مختلف قسم کی ایک “آئینہ” فضا Y سے جوڑتا ہے، جس کا مطالعہ سمپلیکٹک جیومیٹری (symplectic geometry) میں ہوتا ہے — یہ حرکت کی طبیعیات سے وراثت میں ملی ایک جیومیٹری ہے، جس میں لمبائیاں نہیں بلکہ رقبے ناپے جاتے ہیں۔ ایک بار یہ ربط قائم ہو جائے تو X کے بارے میں سوال کو Y کے بارے میں سوال سے بدلا جا سکتا ہے۔

یہاں X کے لیے ہاج کا سوال طے کرنے کے لیے آئینے Y میں ایک خاص شے بنانا کافی ہے: سطح جیسی ایک شکل جسے لاگرانژی غوطہ (Lagrangian immersion) کہتے ہیں، جسے غیر رکاوٹی (unobstructed) بھی ہونا چاہیے — ایک تکنیکی شرط جو اسے آئینے کے اوزاروں کا جائز رکن بناتی ہے۔ لیکیلی اور شیریڈن مانتے ہیں کہ یہ ایک جائز طریقہ ہے۔ مشکل یہ ہے کہ غیر رکاوٹی لاگرانژی بنانا خود ایک کٹھن مسئلہ ہے۔ یہیں تینوں دستاویزات ناکام ہوئیں۔

تقاطع کے نقطے کہاں آتے ہیں

ایک غوطہ خود کو کاٹ سکتا ہے، اور تقاطع کا ہر نقطہ ایک عدد رکھتا ہے، اس کا درجہ۔ طاق درجے والے تقاطع یہاں بے ضرر ہیں۔ درجہ 2 والے تقاطع رکاوٹ پیدا کر سکتے ہیں۔

دستاویزات نے پہلے ایک لچکدار تکنیک، گروموف اور لیز کے h-اصول، سے ایک کچا غوطہ بنایا۔ پھر انہوں نے ٹوبیاس ایکہولم، یاکوف ایلیاشبرگ، ایمی مرفی اور آئیون اسمتھ کے 2013 کے ایک مسئلے سے اسے سنوارا، تاکہ ہر تقاطع طاق درجے کا ہو۔ کوئی جفت تقاطع باقی نہ رہے تو غیر رکاوٹی ہونا خود بخود نتیجہ ہوتا۔

ایک جمع جسے تفریق ہونا چاہیے تھا

2013 کا مسئلہ درست ہے۔ لیکن یہ تقاطع کو معیاری رواج کے الٹ علامتی رواج سے گنتا ہے۔ اس کے مصنفین کبھی صراحت سے یہ نہیں کہتے؛ وہ اپنا رواج مستقل مزاجی سے استعمال کرتے ہیں، اور اسے ان کے فارمولوں اور ثبوت سے اخذ کیا جا سکتا ہے۔ OpenAI کی دستاویزات نے اس کے بجائے معیاری رواج استعمال کیا — ایک علامت الٹی ہو گئی۔ یہ اہم ہے کیونکہ مسئلے کا نتیجہ اس بات پر منحصر ہے کہ تقاطع کا ایک خاص میزان، جو جمع اور تفریق کی علامتوں کے ساتھ گنا جاتا ہے، منفی نکلتا ہے یا نہیں۔ دستاویزات نے اپنا غوطہ اس طرح بنایا تھا کہ یہ میزان منفی ہو — وہ صورت جس میں ان کے خیال میں ہر تقاطع کو طاق بنایا جا سکتا تھا۔ مسئلے کی اپنی علامت کے ساتھ یہی میزان مثبت ہے: یعنی دوسری صورت۔ بظاہر یہ مسئلہ سب سے پہلے نیتھن ہمفری نے دیکھا اور OpenAI کو بتایا۔

علامت صحیح پڑھی جائے تو مسئلہ ایک مختلف کہانی سناتا ہے۔ اس کی تعمیر ہمیشہ درجہ 2 کا ایک تقاطع کا نقطہ چھوڑ دیتی ہے، جسے لیکیلی اور شیریڈن p کہتے ہیں۔ باقی ہر تقاطع کو طاق بنایا جا سکتا ہے؛ p باقی رہتا ہے۔ اور ثبوت توڑنے کے لیے p کافی ہے۔

یہ کسی خلا سے بھی بدتر ہے۔ مصنفین دکھاتے ہیں کہ اس طرح بننے والے غوطے عموماً رکاوٹی ہوتے ہیں: ایک چھوٹی “سخت” ٹکیہ (disc) — ایک الگ تھلگ سطح، جسے بگاڑا نہیں جا سکتا، اور جس کا کنارہ غوطے پر واقع ہے اور p سے گزرتا ہے — ایسی رکاوٹ پیدا کرتی ہے جو ایک خاص دائرے میں ختم نہیں ہو سکتی — اور اس دائرے سے باہر اس کے کٹ جانے کی کوئی وجہ نہیں۔ ان کے الفاظ میں یہ تقاطع “لچک کی قیمت” ہے۔

سخت بمقابلہ لچکدار

اس شعبے کے ریاضی دان لچکدار مسائل، جو تفرقی ٹوپولوجی کے عمومی اوزاروں کے آگے جھک جاتے ہیں، اور سخت مسائل، جو نہیں جھکتے، میں فرق کرتے ہیں۔ غیر رکاوٹی لاگرانژی عام طور پر سخت ہوتے ہیں، اور عموماً سخت سے لچکدار کی طرف جایا جا سکتا ہے لیکن واپس نہیں۔ اسی وجدان نے کئی محققین کو دستاویزات کی واپسی سے پہلے ہی ان کے بارے میں شکی بنا دیا تھا۔ پھر بھی مصنفین انکسار کا ایک نکتہ شامل کرتے ہیں: وجدان غلط ہو سکتا ہے، اور 2013 کا مسئلہ خود بھی کبھی توقعات کے خلاف گیا تھا۔

کیا بچ جاتا ہے

لیکیلی اور شیریڈن باقی دلائل کا تجزیہ نہیں کرتے، اور تین مثبت نتائج گنواتے ہیں۔ مجموعی حکمتِ عملی — آئینہ تشاکل کے ذریعے ہاج قیاس پر حملہ — دلچسپ اور آگے بڑھانے کے قابل ہے؛ اگر کوئی لاگرانژی رکاوٹ پر قابو پا لے تو یہ دستاویزات باقی تکنیکی قدموں میں رہنمائی کر سکتی ہیں۔ 2013 کے مقالے کا چھپا علامتی رواج اب واضح ہو گیا ہے۔ اور یہ سوال بھی کہ کیا اس کے غوطے کبھی غیر رکاوٹی ہو سکتے ہیں۔