Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
4  
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$? –  Jon Skowera Jun 10 '13 at 12:30
    
* I meant: " If some $m_i\neq 1$ " –  Qfwfq Jun 10 '13 at 18:02
1  
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
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.