மூன்று நிரூபணங்களை மூழ்கடித்த குறிப் பிழை

ஹாட்ஜ் ஊகம் (Hodge conjecture) கணிதத்தின் மிக ஆழமான தீர்க்கப்படாத கேள்விகளில் ஒன்று. இந்த ஆய்வுக்கட்டுரையில் அதன் கூற்று, Clay Mathematics Institute-இன் The Millennium Prize Problems நூலில் Pierre Deligne எழுதிய ஒரு அத்தியாயத்திலிருந்து எடுக்கப்பட்டுள்ளது. மிகத் தோராயமாகச் சொன்னால், பல்லுறுப்புக்கோவைச் சமன்பாடுகளால் வரையறுக்கப்படும் ஒரு வடிவியல் வெளியின் இடவியலில் மறைந்திருக்கும் சில “வடிவங்களை”, தாமும் சமன்பாடுகளால் வரையறுக்கப்படும் சிறிய துண்டுகளிலிருந்து எப்போதும் கட்டியெழுப்ப முடியும் என்று அது கூறுகிறது.

2026 செப்டம்பர், அக்டோபர் மாதங்களில், OpenAI “OAI” என்று கையொப்பமிடப்பட்ட மூன்று ஆவணங்களை வெளியிட்டது; அவை சிறப்பு நிலைகளில் ஊகத்தை நிரூபித்ததாகக் கூறின: K3 பரப்புகள் எனப்படும் சில பரப்புகள், அவற்றின் பெருக்கங்கள் (products), சில எட்டுப் பரிமாண வெளிகள் ஆகியவற்றுக்கு. பின்னர் OpenAI மூன்றையும் திரும்பப் பெற்றது. Imperial College London-ஐச் சேர்ந்த Yankı Lekili-யும், எடின்பர்க் பல்கலைக்கழகத்தைச் சேர்ந்த Nick Sheridan-உம் அவை சரியாக எங்கே தவறின என்பதை இப்போது விளக்குகின்றனர்.

கண்ணாடி வழியாக ஒரு செல்லுபடியான பாதை

ஆவணங்கள் ஒரு நேர்த்தியான பாதையைப் பின்பற்றின. Maxim Kontsevich ஊகித்த ஹோமாலஜிக்கல் ஆடிச் சமச்சீர் (homological mirror symmetry) என்ற வலிமையான கருத்து, ஒரு வடிவியல் வெளி X-ஐ, சிம்ப்ளெக்டிக் வடிவியலில் (symplectic geometry — இயக்க இயற்பியலிலிருந்து பெறப்பட்ட, நீளங்களுக்குப் பதிலாகப் பரப்புகள் அளக்கப்படும் ஒரு வடிவியல்) ஆராயப்படும் முற்றிலும் வேறு வகையான ஒரு “ஆடி” வெளி Y-உடன் இணைக்கிறது. இந்த இணைப்பு நிறுவப்பட்டதும், X பற்றிய ஒரு கேள்வியை Y பற்றிய ஒரு கேள்வியாக மாற்றிக்கொள்ளலாம்.

இங்கே, X-க்கான ஹாட்ஜ் கேள்வியைத் தீர்க்க, ஆடி Y-இல் ஒரு குறிப்பிட்ட பொருளைக் கட்டினால் போதும்: லக்ராஞ்சியன் அமிழ்வு (Lagrangian immersion) எனப்படும் பரப்பு போன்ற ஒரு வடிவம்; அது தடையற்றதாகவும் (unobstructed) இருக்க வேண்டும் — அதை ஆடியின் கருவித்தொகுப்பின் முறையான உறுப்பாக்கும் ஒரு தொழில்நுட்ப நிபந்தனை. இது ஒரு செல்லுபடியான அணுகுமுறை என்பதை Lekili-யும் Sheridan-உம் ஏற்கின்றனர். சிக்கல் என்னவென்றால்: தடையற்ற லக்ராஞ்சியன்களைக் கட்டுவதே ஒரு கடினமான சிக்கல். மூன்று ஆவணங்களும் உடைந்தது அங்கேதான்.

வெட்டுப் புள்ளிகள் நுழையும் இடம்

ஒரு அமிழ்வு தன்னைத்தானே வெட்டிக்கொள்ள அனுமதிக்கப்படுகிறது; ஒவ்வொரு வெட்டுப் புள்ளியும் ஒரு எண்ணைக் கொண்டிருக்கிறது — அதன் படி (degree). ஒற்றைப் படி கொண்ட வெட்டுகள் இங்கே தீங்கற்றவை. படி 2 கொண்ட வெட்டுகள் ஒரு தடையை உருவாக்கக்கூடும்.

ஆவணங்கள் முதலில் Gromov, Lees ஆகியோரின் h-கொள்கை (h-principle) என்ற நெகிழ்வான ஒரு நுட்பத்தைப் பயன்படுத்தி ஒரு தோராயமான அமிழ்வைக் கட்டின. பிறகு அதைச் சீர்படுத்த Tobias Ekholm, Yakov Eliashberg, Emmy Murphy, Ivan Smith ஆகியோரின் 2013 தேற்றம் ஒன்றைப் பயன்படுத்தின; இதனால் ஒவ்வொரு வெட்டும் ஒற்றைப் படி கொண்டதாக இருக்கும். இரட்டைப் படி வெட்டுகள் எதுவும் மிஞ்சாவிட்டால், தடையின்மை தானாகவே பின்தொடரும்.

கழித்தலாக இருந்திருக்க வேண்டிய ஒரு கூட்டல்

2013 தேற்றம் சரியானது. ஆனால் அது வெட்டுகளை நிலையான மரபுக்கு நேர்மாறான குறி மரபுடன் எண்ணுகிறது. அதன் ஆசிரியர்கள் இதை ஒருபோதும் வெளிப்படையாகச் சொல்லவில்லை; தங்கள் மரபை அவர்கள் சீராகப் பயன்படுத்துகின்றனர்; அவர்களின் சூத்திரங்களிலிருந்தும் நிரூபணத்திலிருந்தும் அதை ஊகித்தறியலாம். OpenAI ஆவணங்களோ நிலையான மரபைப் பயன்படுத்தின — ஒரு குறி தலைகீழானது. இது முக்கியம், ஏனெனில் தேற்றத்தின் முடிவு, கூட்டல், கழித்தல் குறிகளுடன் எண்ணப்படும் வெட்டுகளின் ஒரு குறிப்பிட்ட மொத்தக் கணக்கு எதிர்மமாக வருகிறதா இல்லையா என்பதைப் பொறுத்தது. அந்த மொத்தம் எதிர்மமாக இருக்கும்படி ஆவணங்கள் தங்கள் அமிழ்வைக் கட்டியிருந்தன — ஒவ்வொரு வெட்டையும் ஒற்றைப் படி கொண்டதாக்க முடியும் என்று அவை நம்பிய நிலை அது. தேற்றத்தின் சொந்தக் குறியுடன், அதே மொத்தம் நேர்மமாக வருகிறது: அது மற்ற நிலை. இந்தச் சிக்கலை முதலில் கவனித்து OpenAI-க்குத் தெரிவித்தவர் Nathan Humphrey என்று தெரிகிறது.

குறியைச் சரியாகப் படித்தால், தேற்றம் வேறொரு கதையைச் சொல்கிறது. அதன் கட்டமைப்பு எப்போதும் படி 2 கொண்ட ஒரு வெட்டுப் புள்ளியை விட்டுச் செல்கிறது; அதை Lekili-யும் Sheridan-உம் p என்று அழைக்கின்றனர். மற்ற ஒவ்வொரு வெட்டையும் ஒற்றையாக்கலாம்; p மட்டும் நிலைக்கிறது. நிரூபணத்தை உடைக்க p போதும்.

இது ஒரு இடைவெளியை விட மோசமானது. இவ்வாறு உருவாக்கப்படும் அமிழ்வுகள் பொதுவாகத் தடையுள்ளவை என்று ஆசிரியர்கள் காட்டுகின்றனர்: ஒரு சிறிய “விறைப்பான” வட்டு (rigid disc) — உருமாற்ற முடியாத, தனித்து நிற்கும் ஒரு பரப்பு; அதன் விளிம்பு அமிழ்வின் மீது அமைந்து p வழியாகச் செல்கிறது — ஒரு குறிப்பிட்ட நிலைமையில் மறைய முடியாத ஒரு தடையை உருவாக்குகிறது — அந்த நிலைமைக்கு வெளியேயும் அது ரத்தாக எந்தக் காரணமும் இல்லை. அவர்களின் சொற்களில், இந்த வெட்டு “நெகிழ்வின் விலை”.

விறைப்பு எதிர் நெகிழ்வு

இந்தத் துறையின் கணிதவியலாளர்கள், வகையீட்டு இடவியலின் (differential topology) பொதுப் பயன்பாட்டுக் கருவிகளுக்குப் பணியும் நெகிழ்வான சிக்கல்களையும், பணியாத விறைப்பான (rigid) சிக்கல்களையும் வேறுபடுத்துகின்றனர். தடையற்ற லக்ராஞ்சியன்கள் பொதுவாக விறைப்பானவை; வழக்கமாக விறைப்பிலிருந்து நெகிழ்வுக்குச் செல்லலாம், ஆனால் திரும்ப முடியாது. இந்த உள்ளுணர்வு, ஆவணங்கள் திரும்பப் பெறப்படுவதற்கு முன்பே பல ஆய்வாளர்களை அவை பற்றிச் சந்தேகம் கொள்ள வைத்தது. இருந்தாலும் ஆசிரியர்கள் ஒரு பணிவுக் குறிப்பைச் சேர்க்கின்றனர்: உள்ளுணர்வு தோற்கக்கூடும்; 2013 தேற்றமே ஒருமுறை எதிர்பார்ப்புகளுக்கு முரணாக இருந்தது.

எஞ்சியிருப்பது என்ன

Lekili-யும் Sheridan-உம் மீதமுள்ள வாதங்களைப் பகுப்பாய்வு செய்யவில்லை; மூன்று நேர்மறை விளைவுகளைப் பட்டியலிடுகின்றனர். ஒட்டுமொத்த உத்தி — ஆடிச் சமச்சீர் வழியாக ஹாட்ஜ் ஊகத்தை அணுகுவது — சுவாரசியமானது, தொடரத் தக்கது; லக்ராஞ்சியன் தடையை யாராவது கடந்தால், மீதமுள்ள தொழில்நுட்பப் படிகளுக்கு ஆவணங்கள் வழிகாட்டக்கூடும். 2013 ஆய்வுக்கட்டுரையின் மறைந்த குறி மரபு இப்போது தெளிவாகியுள்ளது. அதன் அமிழ்வுகள் எப்போதாவது தடையற்றவையாக இருக்க முடியுமா என்ற கேள்வியும் அப்படியே.