10
$\begingroup$

The Cox ring of a toric variety X can be viewed as a generalisation of the homogeneous coordinate ring of projective n-space. Over the complex numbers, the theory is outlined in The Homogeneous Coordinate Ring of a Toric Variety.

We associate to X a graded polynomial ring S and an ideal B. The space $V=Spec(S)$ is isomorphic to $\mathbb{C}^n$ and has a subvariety Z cut out by the ideal B. There is an action of a torus G on V such that V - Z is G-invariant with quotient isomorphic to X. Furthermore, when X is smooth and complete, the automorphism group Aut(X) of the toric variety has a cover $\widetilde{Aut}(X)$ fitting into the exact sequence

$1 \to G \to \widetilde{Aut}(X) \to Aut(X) \to 1$.

The construction can be generalised to other varieties and base fields, often under the name of "universal torsors." Unfortunately, this added generality lacks the wonderful combinatorial description in Cox's paper (for example, the Demazure root system).

Toric varieties over general base fields can be studied by considering the actions of Galois groups on the fan. It should be fairly straghtforward to extend these ideas to the Cox ring, as well. Rather then reinvent the wheel, I'd like to see if this has already been done.

Does there exist a reference? A combinatorial description of Cox rings of toric varieties over arbitrary base fields, especially descriptions of analogs of $\widetilde{Aut}(X)$.

$\endgroup$

1 Answer 1

2
$\begingroup$

Parametrizations of toric varieties over any field: also available via google

$\endgroup$
1
  • $\begingroup$ The link to sciencedirect.com is broken, but the article can be found at doi:10.1016/j.jalgebra.2006.08.016 (Zbl 1120.14043). The link to the PDF at A. Thoma's (old) website is now broken, and I couldn't find any snapshot on the Wayback Machine either, but it could perhaps be found at CORE. $\endgroup$ Commented May 11, 2023 at 14:48

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .