0
$\begingroup$

Let $V_n,V_m$ be the vector $\mathbb{C}$-spaces of the binary forms of degrees $n,m$ considered as usual $SL_2$-modules. Let $I_{n,m}=\mathbb{C}[V_n \oplus V_m]^{SL_2}$ and $C_{n,m}=\mathbb{C}[V_n \oplus V_m \oplus \mathbb{C}^2]^{SL_2}$ be the corresponding algebras of joint invariants and covariants. The transcendence degree of $I_{n,m}$ over $\mathbb{C}$ is $n+m-1.$

Questions:

  1. What is the transcendence degree of $C_{n,m}$ over the subalgebra $I_{n,m}$?

  2. What is the transcendence degree of $C_{n,m}$ over the quotient field of the subalgebra $I_{n,m}$?

Improve this question
$\endgroup$
2
  • $\begingroup$ I think you meant to write that the transcendence degree of $I_{n,m}$ (not $C_{n,m}$) over $\mathbb{C}$ is $m{+}n{-}1$. Isn't it true that the transcendence degree of $C_{n,m}$ over $I_{n,m}$ is $2$? $\endgroup$
    – Robert Bryant
    Dec 1, 2012 at 13:35
  • $\begingroup$ @Robert Thanks, corrected. Please, any reference to the result that $trdegC_{n,m}$ over $I_{n,m}$ is 2. What about the second question? $\endgroup$
    – Melania
    Dec 3, 2012 at 6:38

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.