మూడు నిరూపణలను ముంచేసిన గుర్తు పొరపాటు

హాడ్జ్ ఊహ (Hodge conjecture) గణితంలోని అత్యంత లోతైన అపరిష్కృత ప్రశ్నల్లో ఒకటి. ఈ పత్రంలో, దాని ప్రవచనాన్ని క్లే గణిత సంస్థ ప్రచురించిన The Millennium Prize Problems పుస్తకంలో పియర్ డెలీన్ (Pierre Deligne) రాసిన అధ్యాయం నుంచి తీసుకున్నారు. చాలా స్థూలంగా చెప్పాలంటే, బహుపది సమీకరణాలతో నిర్వచించిన ఒక జ్యామితీయ ప్రదేశపు టోపాలజీలో దాగి ఉన్న కొన్ని “ఆకారాలను” ఎల్లప్పుడూ చిన్న ముక్కలతో నిర్మించవచ్చని, ఆ ముక్కలు కూడా సమీకరణాలతోనే నిర్వచించబడతాయని అది చెబుతుంది.

సెప్టెంబర్, అక్టోబర్ 2026లో, OpenAI “OAI” అని సంతకం చేసిన మూడు పత్రాలను విడుదల చేసింది. ప్రత్యేక సందర్భాల్లో ఈ ఊహను నిరూపించినట్లు అవి ప్రకటించాయి: K3 ఉపరితలాలు అని పిలిచే కొన్ని ఉపరితలాలకు, వాటి లబ్ధాలకు, కొన్ని ఎనిమిది-పరిమాణాల ప్రదేశాలకు. తర్వాత OpenAI మూడింటినీ ఉపసంహరించుకుంది. ఇంపీరియల్ కాలేజ్ లండన్‌కు చెందిన Yankı Lekili, ఎడిన్‌బరో విశ్వవిద్యాలయానికి చెందిన Nick Sheridan అవి సరిగ్గా ఎక్కడ తప్పాయో ఇప్పుడు వివరిస్తున్నారు.

అద్దం గుండా ఒక చెల్లుబాటు మార్గం

పత్రాలు ఒక సొగసైన మార్గాన్ని ఎంచుకున్నాయి. మాక్సిమ్ కొంత్సెవిచ్ ఊహించిన హోమోలాజికల్ మిర్రర్ సిమెట్రీ (homological mirror symmetry) అనే శక్తివంతమైన ఆలోచన, ఒక జ్యామితీయ ప్రదేశం Xను పూర్తిగా భిన్నమైన రకానికి చెందిన “అద్దం” ప్రదేశం Yతో కలుపుతుంది, దీన్ని సింప్లెక్టిక్ జ్యామితిలో (symplectic geometry) అధ్యయనం చేస్తారు — ఇది చలన భౌతికశాస్త్రం నుంచి వారసత్వంగా వచ్చిన జ్యామితి, ఇందులో పొడవులకు బదులుగా వైశాల్యాలను కొలుస్తారు. ఆ సంబంధం స్థాపితమైతే, X గురించిన ప్రశ్నను Y గురించిన ప్రశ్నగా మార్చుకోవచ్చు.

ఇక్కడ, X కోసం హాడ్జ్ ప్రశ్నను తేల్చడానికి, అద్దం Yలో ఒక నిర్దిష్ట వస్తువును నిర్మిస్తే చాలు: లాగ్రాంజియన్ ఇమ్మర్షన్ (Lagrangian immersion) అనే ఉపరితలం లాంటి ఆకారం, ఇది అవరోధరహితం (unobstructed) కూడా అయి ఉండాలి — దాన్ని అద్దపు పనిముట్ల పెట్టెలో చట్టబద్ధ సభ్యునిగా చేసే ఒక సాంకేతిక షరతు. ఇది చెల్లుబాటయ్యే విధానమని Lekili, Sheridan అంగీకరిస్తారు. చిక్కు ఏమిటంటే: అవరోధరహిత లాగ్రాంజియన్‌లను నిర్మించడమే ఒక కష్టమైన సమస్య. మూడు పత్రాలూ సరిగ్గా అక్కడే విఫలమయ్యాయి.

ఖండన బిందువులు ఎక్కడ వస్తాయి

ఒక ఇమ్మర్షన్ తనను తానే ఖండించుకోవచ్చు, ప్రతి ఖండన బిందువుకూ ఒక సంఖ్య ఉంటుంది, అదే దాని డిగ్రీ. ఇక్కడ బేసి డిగ్రీ ఖండనలు హానిరహితం. డిగ్రీ 2 ఖండనలు ఒక అవరోధాన్ని సృష్టించగలవు.

పత్రాలు మొదట గ్రోమోవ్, లీస్‌ల h-సూత్రం అనే సరళమైన పద్ధతిని వాడి ఒక స్థూలమైన ఇమ్మర్షన్‌ను నిర్మించాయి. తర్వాత దాన్ని చక్కదిద్దడానికి Tobias Ekholm, Yakov Eliashberg, Emmy Murphy, Ivan Smith 2013లో నిరూపించిన ఒక సిద్ధాంతాన్ని ఉపయోగించాయి, తద్వారా ప్రతి ఖండనకూ బేసి డిగ్రీ ఉంటుంది. ఒక్క సరి ఖండన కూడా మిగలకపోతే, అవరోధరహితత్వం దానంతటదే వస్తుంది.

మైనస్ ఉండాల్సిన చోట ప్లస్

2013 సిద్ధాంతం సరైనదే. కానీ అది ఖండనలను ప్రామాణిక సంప్రదాయానికి వ్యతిరేకమైన గుర్తు సంప్రదాయంతో లెక్కిస్తుంది. దాని రచయితలు ఆ విషయాన్ని ఎప్పుడూ స్పష్టంగా చెప్పరు; వారు తమ సంప్రదాయాన్ని స్థిరంగా వాడతారు, దాన్ని వారి సూత్రాల నుంచి, నిరూపణ నుంచి గ్రహించవచ్చు. OpenAI పత్రాలు బదులుగా ప్రామాణిక సంప్రదాయాన్ని వాడాయి — ఒక గుర్తు తిరగబడింది. ఇది ముఖ్యం, ఎందుకంటే సిద్ధాంతం ఫలితం, ప్లస్‌లు మైనస్‌లతో లెక్కించిన ఖండనల ఒక నిర్దిష్ట మొత్తం రుణాత్మకంగా వస్తుందా లేదా అనే దానిపై ఆధారపడి ఉంటుంది. పత్రాలు ఆ మొత్తం రుణాత్మకంగా ఉండేలా తమ ఇమ్మర్షన్‌ను నిర్మించాయి — ప్రతి ఖండననూ బేసి డిగ్రీదిగా చేయవచ్చని అవి నమ్మిన సందర్భం అదే. సిద్ధాంతపు సొంత గుర్తుతో, అదే మొత్తం ధనాత్మకం: అది మరో సందర్భం. ఈ సమస్యను మొదట Nathan Humphrey గుర్తించి OpenAIకి నివేదించినట్లు తెలుస్తోంది.

గుర్తును సరిగ్గా చదివితే, సిద్ధాంతం వేరే కథ చెబుతుంది. దాని నిర్మాణం ఎల్లప్పుడూ డిగ్రీ 2 ఉన్న ఒక ఖండన బిందువును మిగులుస్తుంది, దాన్ని Lekili, Sheridan p అని పిలుస్తారు. మిగతా ప్రతి ఖండననూ బేసిగా మార్చవచ్చు; p మిగిలిపోతుంది. నిరూపణను విరగ్గొట్టడానికి p ఒక్కటి చాలు.

ఇది ఒక ఖాళీ కంటే దారుణమైనది. ఈ విధంగా ఉత్పత్తి అయ్యే ఇమ్మర్షన్‌లు సాధారణంగా అవరోధంతో కూడినవి అని రచయితలు చూపిస్తారు: ఒక చిన్న “దృఢమైన” (rigid) చక్రం — వికృతపరచడం అసాధ్యమైన ఒక ఏకాంత ఉపరితలం, దాని అంచు ఇమ్మర్షన్‌పై ఉండి p గుండా వెళ్తుంది — ఒక అవరోధాన్ని సృష్టిస్తుంది, అది ఒక నిర్దిష్ట పరిధిలో ఎప్పటికీ అదృశ్యం కాదు — ఆ పరిధి బయట కూడా అది రద్దయ్యేందుకు కారణం లేదు. వారి మాటల్లో, ఈ ఖండన “సరళత్వానికి చెల్లించే మూల్యం”.

దృఢం వర్సెస్ సరళం

ఈ రంగంలోని గణిత శాస్త్రవేత్తలు అవకలన టోపాలజీ (differential topology) సాధారణ సాధనాలకు లొంగే సరళమైన (flexible) సమస్యలను, లొంగని దృఢమైన (rigid) సమస్యలను వేరు చేస్తారు. అవరోధరహిత లాగ్రాంజియన్‌లు సాధారణంగా దృఢమైనవి, సాధారణంగా దృఢం నుంచి సరళానికి వెళ్లవచ్చు కానీ వెనక్కి కాదు. ఆ అంతర్బుద్ధి వల్లే పత్రాలు ఉపసంహరించబడక ముందే అనేక మంది పరిశోధకులు వాటిపై సందేహంగా ఉన్నారు. అయినా రచయితలు వినమ్రతతో కూడిన ఒక మాట జోడిస్తారు: అంతర్బుద్ధి విఫలం కావచ్చు, 2013 సిద్ధాంతమే ఒకప్పుడు అంచనాలకు విరుద్ధంగా నిలిచింది.

ఏం మిగులుతుంది

Lekili, Sheridan వాదనల మిగతా భాగాన్ని విశ్లేషించరు, వారు మూడు సానుకూల ఫలితాలను పేర్కొంటారు. మొత్తం వ్యూహం — మిర్రర్ సిమెట్రీ ద్వారా హాడ్జ్ ఊహపై దాడి — ఆసక్తికరమైనది, కొనసాగించదగినది; ఎవరైనా లాగ్రాంజియన్ అడ్డంకిని అధిగమిస్తే, మిగిలిన సాంకేతిక దశలకు ఈ పత్రాలు మార్గదర్శకం కావచ్చు. 2013 పత్రంలో దాగి ఉన్న గుర్తు సంప్రదాయం ఇప్పుడు స్పష్టమైంది. దాని ఇమ్మర్షన్‌లు ఎప్పుడైనా అవరోధరహితం కాగలవా అనే ప్రశ్న కూడా స్పష్టమైంది.