Let $G$ be an algebraic group acting on a variety $V$. Which information can be obtained by looking the action of $G$, and subgroups of $G$ that fixes points of $V$?. In other words how we obtain $V$ from the group $G$?
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
1
|
||||||||||||
|
|
3
|
A lot if $G$ is transitive. Then $V=G/H$ for a subgroup $H$ (if it has a point), or a $G$-torsor mod $H$ (if it doesn't). Then most questions about the geometry of the variety are best answered by studying the group action. For instance, we can study line bundles on a flag variety of a reductive group using the root lattice for that group. Another case where you gain a lot of information is where $G$ acts almost transitively, i.e., there is a dense orbit, as in the case of toric varieties. Then it is not as simple to "obtain" our variety as just choosing a group $G$ and subgroup $H$. We must also include some information on how to glue on the other orbits. But usually, because of the extra symmetry the group structure provides, this description is not so complex as defining an entire algebraic variety, since if you know something about the geometry of a point, you can deduce the equivalent statement about all other points in its orbit. |
||||||||||||||
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
2
|
Not much if $G$ is trivial (or more generally if the action is trivial). |
|||||
|
|
3
|
As indicated by the other answers, you question is not specific enough. In the particular case where $G$ is the multiplicative group, a theorem of Białynicki-Birula (On fixed point schemes of actions of multiplicative and additive groups. Topology 12 (1973), 99–103, MR:313261), furnishes a decomposition of $V$ into locally closed subsets $V_i$, each of them being stable under the action of $G$ and a trivial fibration over the fixed point set $V_i^G$. |
||
|
|

