1
$\begingroup$

Let $G$ be a connected linear algebraic group (a torus, for example) of finite type over a field $K$. I have several, I suppose rather base, questions concerning the theory of such groups.

  1. Suppose we fix an embedding $\iota\colon G\hookrightarrow GL_n$. In $GL_n$ we can define eigenvalues of the elements of $G$. Let us choose $g\in G$ with eigenvalues $\lambda_1,...\lambda_n$ and we define $K_{g,\iota}$ as $K(\lambda_1,...\lambda_n)$. Does $K_{g,\iota}$ depend on $\iota$? (EDIT) It depends. But here's another conjecture. There is a "universal" embedding $u\colon G\hookrightarrow GL_n$ such that $\forall \iota\colon G\hookrightarrow GL_m$ $\forall g$ $K_{g,\iota}\subset K_{g,u}$. Perhaps this embedding is unique. Perhaps it doesn't exist but the composite of all $K_{g,\iota}$ for a fixed $g$ is finite over $K$.

  2. Suppose again we have an embedding $\iota\colon G\hookrightarrow GL_n$. Then we have the determinant map $\Delta\colon GL_n\to \mathbb G_m$. Does the map $\Delta\circ\iota$ depend on the choice of $\iota$? (EDIT) It depends. Just take the tensor product of two representations. But again, perhaps there exists a universal embedding $u\hookrightarrow GL_n$ such that for all other embeddings $\iota$ $\Delta\circ\iota = (\Delta\circ u)^m$ for some $m$. Perhaps an embedding doesn't exist but still there is a homomorphism $\alpha\colon G\to \mathbb G_m$ such that $\Delta\circ\iota = \alpha^m$. (EDIT 2) As Viktor Petrov said it's not true for tori as the lattice of their one-dimensional representations can have a big rank.

  3. Let $G\hookrightarrow GL_n\cong GL(V)\subset \textrm{End}(V)$ where $\textrm{End}(V)$ is a ring algebraic variety of endomorphisms of $V$. Let us call $R_\iota$ the minimal ring variety containing $G$. Does $R_\iota$ depend on the embedding?

$\endgroup$
14
  • 7
    $\begingroup$ It's a standard (fairly easy) theorem that all affine algebraic groups are linear. More precisely, the regular representation contains a faithful finite-dimensional subrepresentation --- this can be proved by looking at the Hopf algebra. $\endgroup$
    – anon
    Commented Oct 8, 2018 at 13:46
  • 1
    $\begingroup$ I am a little confused how you can come to study semisimple linear algebraic groups without coming across the theorem mentioned by @anon above. This is covered in pretty much all books on the topic (including the three named "Linear Algebraic Groups"), and is indeed the justification for naming them "linear". $\endgroup$ Commented Oct 8, 2018 at 16:48
  • 1
    $\begingroup$ For number 3, have you tried basic examples, like the symmetric square representation of $SL_2$ into $GL_3$? $\endgroup$
    – S. Carnahan
    Commented Oct 8, 2018 at 16:52
  • 1
    $\begingroup$ @Anna: At this site it's less confusing to formulate a single question, as stated clearly in the "help" section. In any case your questions are all rather elementary for a research-level site. $\endgroup$ Commented Oct 8, 2018 at 20:55
  • 1
    $\begingroup$ Concerning point 2, you can look at 1-dimensional representations (after all, composing with $\det$ gives you a 1-dimensional representation), that are called "characters" and form a lattice. It's rather obvious that in general (say, for tori of dimension greater than 1) this lattice is not 1-dimensional, so the answer is "no". $\endgroup$ Commented Oct 9, 2018 at 18:41

0

You must log in to answer this question.