توپولوژی جبری و نظریه همولوژی در واریته‌های جبری