MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let us stick to affine toric variety.

By definition, a toric variety is a variety containing a torus $T \cong (\mathbb{C}^*)^n$, with the torus action on $T$ extend to the whole variety. The torus action in the definition is the usual multiplication:

$T \times T \to T$

$(a_1,\dots,a_n) \times (b_1,\dots,b_n) \mapsto (a_1 b_1,\dots,a_n b_n)$.

But what if we allow the torus action to be any group morphism. Say

$(a_1,\dots,a_n) \times (b_1,\dots,b_n) \mapsto ({a_1}^{m_1} {b_1},\dots,{a_n}^{m_n} {b_n})$.

If we defined a category of variety similar to the definition giving above, but allowing the torus action to be any group morphism, and this group morphism extend to the variety. Do we have the SAME category of toric variety?

share|cite|improve this question
What you've written is not an action: the identity doesn't act trivially (if some $m_i\neq 0$). – Qfwfq Jun 10 '13 at 10:27
You might need to clarify what property the "toric" variety $X$ should satisfy, e.g., the morphism $\phi : T \times T \to T$ should extend to a (scheme) morphism $\overline{\phi} : T \times X \to X$? – expz Jun 10 '13 at 12:30
* I meant: " If some $m_i\neq 1$ " – Qfwfq Jun 10 '13 at 18:02
Thank you, I have edited it. – Li Yutong Jun 11 '13 at 0:26
This action factors through the action of another torus. So I think you just end up with the same definition. – Will Sawin Jun 11 '13 at 2:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.