Constructing geometric realizations of birational maps between Mori Dream Spaces

Abstract

We construct geometric realizations -- projective algebraic versions of cobordisms -- for birational maps between Mori Dream Spaces. We show that these geometric realizations are Mori Dream Spaces, as well, and that they can be constructed so that they induce factorizations of the original birational maps as compositions of wall-crossings. In the case of toric birational maps between normal $\mathbb{Q}$-factorial, projective toric varieties, we provide several SageMath functions to work with $\mathbb{C}^*$-actions and birational geometry; in particular we show how to explicitly construct a moment polytope of a toric geometric realization. Moreover, by embedding Mori Dream Spaces in toric varieties, we obtain geometric realizations of birational maps of Mori Dream Spaces as restrictions of toric geometric realizations. We also provide examples and discuss when a geometric realization is Fano.