Quotients of toric varieties by the action of a subtorus

DOI10.2748/TMJ/1178224848MaRDI QIDQ1292763zbMATH OpenOpenAlexFDO

Authors Annette A'Campo-Neuen, Jürgen Hausen

Publication date 1 August 2000

Published in Tôhoku Mathematical Journal. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9806049

algorithm categorical quotient fan geometric invariant theory toric variety

Geometric invariant theory (14L24) Group actions on varieties or schemes (quotients) (14L30) Homogeneous spaces and generalizations (14M17) Toric varieties, Newton polyhedra, Okounkov bodies (14M25)

Abstract: We consider the action of a subtorus of the big torus on a toric variety. The aim of the paper is to define a natural notion of a quotient for this setting and to give an explicit algorithm for the construction of this quotient from the combinatorial data corresponding to the pair consisting of the subtorus and the toric variety. Moreover, we study the relations of such quotients with good quotients. We construct a good model, i.e. a dominant toric morphism from the given toric variety to some ``maximal toric variety having a good quotient by the induced action of the given subtorus.

Review text

If an algebraic group \(H\) acts on an algebraic variety \(X\) then a categorical quotient is a morphism \(p:X\to Y\) which is constant on \(H\)-orbits, such that all \(H\)-invariant morphisms \(f:X\to Z\) factor uniquely through~\(p\). In general such a \(p\) need not exist. In the special case where \(X\) is a toric variety and \(H\) is a subtorus of the open torus \(T\subset X\), a categorical quotient in the category of toric varieties does always exist. The authors prove this by giving an algorithm that constructs the fan of~\(Y\) starting from the fan of~\(X\). If \(X\) has a good quotient (in the sense of Seshadri), \(p:X\to Y\), under the action of~\(H\), then \(p\) coincides with the categorical quotient. However the toric categorical quotient will usually not be good. In the last part of this paper it is shown that \(X\) has a good model \(\overline X\), which is an associated toric variety with an action of~\(H\) that does have a good quotient. Thus the assignment \(X\mapsto \overline X\) is adjoint to the forgetful functor on toric varieties with \(H\)-action and a good quotient that forgets the existence of the good quotient. Again the proof is a direct construction of the appropriate fan.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Quotients of toric varieties by the action of a subtorus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292763)