In algebraic geometry, a torus action on an algebraic variety is a group action of an algebraic torus on the variety. A variety equipped with an action of a torus T is called a
A normal algebraic variety with a torus acting on it in such a way that there is a dense orbit is called a toric variety (for example, orbit closures that are normal are toric varieties).
A linear action of a torus can be simultaneously diagonalized, after extending the base field if necessary: if a torus T is acting on a finite-dimensional vector space V, then there is a direct sum decomposition:
V=oplus\chiV\chi
\chi:T\toGm
V\chi=\{v\inV|t ⋅ v=\chi(t)v\}
\chi
The decomposition exists because the linear action determines (and is determined by) a linear representation
\pi:T\to\operatorname{GL}(V)
\pi(T)
If V does not have finite dimension, the existence of such a decomposition is tricky but one easy case when decomposition is possible is when V is a union of finite-dimensional representations (
\pi
Example: Let
S=k[x0,...,xn]
T=
r | |
G | |
m |
t=(t1,...,tr)\in T
t ⋅ xi=\chii(t)xi
\chii(t)=
\alphai, | |
t | |
1 |
...
\alphai, | |
t | |
r |
,
\alphai,
xi
m0 | |
x | |
0 |
...
mr | |
x | |
r |
\summi\chii
S=
oplus | |
m0,...mn\ge0 |
S | |
m0\chi0+...+mn\chin |
.
\chii(t)=t
The Białynicki-Birula decomposition says that a smooth projective algebraic T-variety admits a T-stable cellular decomposition.
It is often described as algebraic Morse theory.[1]