A subgroup H of a reductive group G is horospherical if it contains a maximal
unipotent subgroup. We describe the Grothendieck semigroup of invariant
subspaces of regular functions on G/H as a semigroup of convex polytopes. From
this we obtain a formula for the number of solutions of a generic system of
equations on G/H in terms of mixed volume of polytopes. This generalizes
Bernstein-Kushnirenko theorem from toric geometry.
Two representations of a reductive group G are spectrally equivalent if the
same irreducible representations appear in both of them. The semigroup of
finite dimensional representations of G with tensor product and up to spectral
equivalence is a rather complicated object. We show that the Grothendieck group
of this semigroup is more tractable and give a description of it in terms of
moment polytopes of representations. As a corollary, we give a proof of the
Kazarnovskii theorem on the number of solutions in G of a system f_1(x) = ...
We consider the semigroup S of highest weights appearing in tensor powers V^k
of a finite dimensional representation V of a connected reductive group. We
describe the cone generated by S as the cone over the weight polytope of V
intersected with the positive Weyl chamber. From this we get a description for
the asymptotic of the number of highest weights appearing in V^k in terms of
the volume of this polytope.
We associate convex bodies to a wide class of graded G-algebras where G is a
connected reductive group. These convex bodies give information about the
Hilbert function as well as the multiplicities of irreducible representations
appearing in the graded algebra. We extend the notion of Duistermaat-Heckman
measure to graded G-algebras and prove a Fujita type approximation theorem as
well as a Brunn-Minkowski inequality for this measure. This in particular
applies to arbitrary G-line bundles giving an equivariant version of the theory
of volumes of line bundles.
Let G be a complex reductive group and X a projective spherical G-variety.
Moreover, assume that the subalgebra A of the cohomology ring H^*(X, R)
generated by Pic(X) has Poincare duality. We give a description of the
subalgebra A in terms of the volume of polytopes. This generalizes the
Khovanskii-Pukhlikov description of the cohomology ring of a smooth toric
variety. In particular, we obtain a unified description for the cohomology
rings of complete flag varieties and smooth toric varieties.
Let K(X) be the collection of all non-zero finite dimensional subspaces of
rational functions on an n-dimensional irreducible variety X. For any n-tuple
L_1,..., L_n in K(X), we define an intersection index [L_1,..., L_n] as the
number of solutions in X of a system of equations f_1 = ... = f_n = 0 where
each f_i is a generic function from the space L_i. In counting the solutions,
we neglect the solutions x at which all the functions in some space L_i vanish
as well as the solutions at which at least one function from some subspace L_i
has a pole.
Generalizing the notion of Newton polytope, we define the Newton-Okounkov
body, respectively, for semigroups of integral points, graded algebras, and
linear series on varieties. We prove that any semigroup in the lattice Z^n is
asymptotically approximated by the semigroup of all the points in a sublattice
and lying in a convex cone. Applying this we obtain several results: we show
that for a large class of graded algebras, the Hilbert functions have
polynomial growth and their growth coefficients satisfy a Brunn-Minkowski type
inequality.