代数幾何における同相理論の応用