Let $\mathcal{X}$ be a toric variety, with $T$ a torus embedded as an open set in $\mathcal{X}$ (and where the algebraic action of $T$ extends to $\mathcal{X}$). As I am not a toric specialist at all, I was wondering if there is a simple description of the "boundary," that is, the closed subvariety $C_T := \mathcal{X} \setminus T$. Example: if $\mathcal{X} = \mathrm{Spec}(k[x,y])$ and $T \cong (k^\times)^2$, then $C_T$ consists of two intersecting (affine) lines.
4
-
3$\begingroup$ All this information is encoded in the fan of a toric variety. $\endgroup$– SashaCommented Dec 15, 2016 at 13:33
-
1$\begingroup$ It's given by the unique torus invariant section of the anticanonical bundle. $\endgroup$– Allen KnutsonCommented Dec 15, 2016 at 14:44
-
$\begingroup$ @Sasha: by using (= translating from) the fan, can one give a simple ("concrete") description in the case dimension 2 (I mean, in a similar way as in my question) ? Thanks so much. $\endgroup$– THCCommented Dec 15, 2016 at 16:45
-
$\begingroup$ @THC: Yes, everything is very explicit in terms of the fan. $\endgroup$– SashaCommented Dec 15, 2016 at 19:50
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
Here is a gentle lecture note Minicourse on Toric varieties by D. A. Cox with illustrative examples, hope it helps.
answered Dec 15, 2016 at 13:37
$\begingroup$
$\endgroup$
Invariant toric subvarieties are just orbit closures. In the affine case there is a simple combinatorial description of such subvarieties in terms of quotient fans. Details can be found, for example, in the book by Günter Ewald entitled "Combinatorial convenite and algebraic geometry", GTM 168, Springer
