GIT-equivalence beyond the ample cone (Q956717): Difference between revisions

Whenever a reductive algebraic group acts on a variety \(X\), then GIT (``geometric invariant theory'') leads to so-called good quotients by considering linearizations of ample line bundles, building the associated sets of semistable points and, finally, taking the sheaf of invariant functions on them. Different line bundles or linearizations lead to different results -- related to each other by a system of flips parametrized by the so-called GIT fan. This method, however, does not yield all possible quasi-projective, good quotients of \(X\). In an earlier paper, Hausen had shown that this goal can be reached by extending the above theory to (sheaves of) arbitrary Weil divisors. In the case of a torus action on a Mori Dream Space \(X\) (``MDS''), the present paper describes the associated chamber system replacing the GIT fan in the classical situation. The new system consists of so-called GIT-bags. Besides the new name, they also behave differently -- for instance, they might overlap. After reviewing the GIT for linearizations of the trivial bundle on an affine variety (including its relation to combinatorial notions like the orbit cone of a point), the whole new theory is developed on this fundament: If \(X\) is a MDS, then each linearization of a Weil divisors can be lifted to a linearization of the trivial bundle on the Cox ring. The latter inherits the action of the original torus \(T\) with character set \(M\) -- extending the natural grading by \(\text{Cl}(X)\). Since one is only interested in those \(T\)-invariant subsets of the Cox ring that come from \(X\), this leads to a game between the extended character set \(M\oplus\text{Cl}(X)\) and its projection onto \(\text{Cl}(X)\). In particular, the system of GIT bags arises as a coarsifying of the GIT fan of the Cox ring. Restricted to the ample cone, this system becomes a fan again. The explicit knowledge of the GIT bags leads to a description of ``qp-maximal \(T\)-sets'' in \(X\) -- the maximal semisimple open subsets leading to quasiprojective quotients. Finally, the case of \(\mathbb Q\)-factorial is investigated in more detail, and the last chapter contains examples illustrating the whole theory with its new features.