代数幾何における上群論