Geometric quotient

In algebraic geometry, a geometric quotient of an algebraic variety X with the action of an algebraic group G is a morphism of varieties such that (i) For each y in Y, the fiber is an orbit of G.(ii) The topology of Y is the quotient topology: a subset is open if and only if is open.(iii) For any open subset , is an isomorphism. (Here, k is the base field.)

Geometric quotient

In algebraic geometry, a geometric quotient of an algebraic variety X with the action of an algebraic group G is a morphism of varieties such that (i) For each y in Y, the fiber is an orbit of G.(ii) The topology of Y is the quotient topology: a subset is open if and only if is open.(iii) For any open subset , is an isomorphism. (Here, k is the base field.)