Inom algebraisk geometri, en del av matematiken, är ett geometriskt kvot av en algebraisk varietet X med verkan av en algebraisk grupp G en morfism av varieteter så att[1]
- (i) För varje y i Y är fibern en bana av G.
- (ii) Topologin av Y är kvottopologin: en delmängd är öppen om och bara om är öppen.
- (iii) För varje öppen delmängd är en isomorfi. (Här är k baskroppen.)
Relation till andra kvot
A geometrisk kvot är ett kategoriskt kvot.
Exempel
- Kanoniska avbildningen är ett geometriskt kvot.
- Om L är en lineariserad linjeknippe på en algebraisk G-varietet X och betecknar mängden stabila punkter i förhållande till L är kvoten
- ett geometriskt kvot.
Källor
- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Geometric quotient, 18 april 2015.
- M. Brion, "Introduction to actions of algebraic groups" [1]
Fotnoter
- ^ Brion 2009, Definition 1.18.