حدس هاج

در ریاضیات، حدس هاج یک مسئله مهم حل نشده در هندسه جبری و هندسه مختلط است که توپولوژی جبری یک گونه جبری مختلط غیرمفرد را به زیرشاخه‌های آن مرتبط می‌کند. به زبان ساده، حدس هاج ادعا می‌کند که اطلاعات توپولوژیکی پایه مانند تعداد سوراخ‌ها در فضاهای هندسی خاص، گونه جبری مختلط، را می‌توان با مطالعه شکل‌های زیبای ممکن در داخل آن فضاها، که شبیه ریشه‌های معادلات چند جمله‌ای هستند، درک کرد. اجسام اخیر را می‌توان با استفاده از جبر و توابع تحلیلی مورد مطالعه قرار داد، و این به شخص اجازه می‌دهد تا به‌طور غیرمستقیم شکل و ساختار وسیع فضاهای اغلب با ابعاد بالاتر را که در غیر این صورت به راحتی قابل تجسم نیست درک کند.

به‌طور خاص، حدس بیان می‌کند که برخی از کلاس‌های کوهمولوژی د. رام جبری هستند؛ یعنی مجموع دوگان پوانکاره از کلاس‌های همولوژی زیر واریته‌ها هستند. این توسط ریاضیدان اسکاتلندی ویلیام والانس داگلاس هاج در نتیجه کار در بین سالهای ۱۹۳۰ و ۱۹۴۰ برای غنی سازی توصیف کوهمولوژی د. رام به منظور گنجاندن ساختار اضافی که در مورد گونه‌های جبری مختلط وجود دارد، فرموله شد. قبل از اینکه هاج آن را در سخنرانی کنگره جهانی ریاضیدانان در سال ۱۹۵۰، که در کمبریج، ماساچوست برگزار شد، توجه کمی به آن جلب شد. حدس هاج یکی از مسائل جایزه هزاره انجمن ریاضی کلی است که برای هر کسی که بتواند حدس هاج را اثبات یا رد کند، جایزه ۱٬۰۰۰٬۰۰۰ دلاری دارد.

مسئله 
فرض کنید  یک منیفولد مختلط فشرده با بعد مختلط  باشد. سپس  یک منیفولد هموار جهت‌پذیر با بعد حقیقی  است؛ بنابراین گروه‌های کوهمولوژی آن در درجه‌های صفر تا  قرار دارند. فرض کنید  یک منیفولد کاهلر است، به طوری که کوهمولوژی آن با ضرایب مختلط تجزیه می‌شود.

که در آن  زیر گروه کلاس‌های کوهمولوژی است که با فرم‌های هارمونیک از نوع  نشان داده می‌شود. به این معنا که این‌ها کلاس‌های کوهمولوژی هستند که با فرم‌های دیفرانسیلی نشان داده می‌شوند که در برخی از مختصات  می‌توانند به صورت ضرب چند تابع هارمونیک نوشته شوند:

اعمال ضرب خارجی روی این توابع هارمونیک باعث تطبیق آن با ضرب فنجانی در کوهمولوژی می‌شود، پس ضرب فنجانی با ضرایب مختلط با تجزیه هاج سازگار است:

از آنجایی که  یک منیفولد جهت پذیر فشرده‌است ،  یک کلاس بنیادی دارد و بنابراین  انتگرال پذیر است.
فرض کنید  یک زیر منیفلد مختلط از  با بعد  باشد، و فرض کنید  یک نگاشت شمول باشد. فرم دیفرانسیلی  را از نوع  انتخاب کنید. اکنون می‌توان از  روی  با استفاده از نگاشت عقب بر  ، انتگرال بگیریم:

منابع 

  Available from the Hirzebruch collection (pdf).
 .
 .
 .
 .
  Reprinted in .
 .
حدس‌ها
مسائل هزاره
نظریه همولوژی
هندسه جبری