Let us call an algebraic variety $X$ an iterated $\mathbb{P}^1$-bundle if it is either a point or a locally trivial $\mathbb{P}^1$-bundle over $X'$, which is another iterated $\mathbb{P}^1$-bundle.

It is easy to construct examples of such varieties as toric varieties. Another (non-toric in general) examples of such varieties are the Bott-Samelson varieties.

Is there a simple (combinatorial or other) description of these spaces?

I would like this description to allow one to investigate some of the following:

  • line bundles (ampleness, global generation etc.),
  • properties of the rank two vector bundle $\mathscr{E}$ on $X'$ such that $X = \mathbb{P}(\mathscr{E})$ (which exists and is determined up to multiplication by some line bundle on $X'$),
  • sections of the bundle $X\to X'$ (that is, line subbundles of $\mathscr{E}$),
  • construction of $\mathbb{P}^1$-bundles over $X$ (i.e., classes of rank two vector bundles),
  • degenerations over $\mathbb{A}^1$ to other iterated $\mathbb{P}^1$-bundles (in particular, their toric degenerations).
  • $\begingroup$ Hi Piotr -- you might add "effectiveness" of line bundles to your first item... though I expect such a thing might be complicated in general. $\endgroup$ Oct 22, 2010 at 15:20
  • 2
    $\begingroup$ You cannot hope to have a simple combinatorial description --- the theory of rank 2 vector bundles on $P^1\times P^1$ is already rather complicated. $\endgroup$
    – Sasha
    Oct 22, 2010 at 18:53
  • $\begingroup$ Dear Sasha, that's a good point! But maybe, as in the framework of toric varieties, we can restrict ourselves to some "uniform" or "equivariant" rank two bundles, in which case there would be some good description (a class wide enough to include examples that appear in nature)? Note that every uniform rank two vector bundle on the quadric splits and that equivariant bundles on toric varieties have a good description. $\endgroup$ Oct 22, 2010 at 21:56
  • $\begingroup$ Certainly, if you restrict to the toric case, a combinatorial description is possible and I guess is quite simple. $\endgroup$
    – Sasha
    Oct 23, 2010 at 3:12
  • $\begingroup$ But the point is that e.g. the Bott-Samelson varieties are not toric in general, and I would like to include them as well. Probably I should consider such towers with a $B$-action instead of $T$-action (the toric ones would then have this $B$-action factored through the projection $B\to T$). $\endgroup$ Oct 23, 2010 at 13:33

1 Answer 1


This is only a partial answer, but the paper

M. Willems, "K-théorie équivariante des tours de Bott", Duke Math. J. 132 (2006)

includes a combinatorial description of a degeneration of Bott-Samelson varieties to toric ones. (It's based on a construction of Grossberg and Karshon, and was also done algebraically by Pasquier.)

  • $\begingroup$ Actually, Pasquier's paper is a partial motivation for this question. His degeneration however relies heavily of the BSDH varieties being a quotient by an action of a product of Borels (he ,,degenerates'' the identity $B\to B$ into the projection $B\to T$). $\endgroup$ Oct 22, 2010 at 17:33

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.