Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T05:23:49Z http://mathoverflow.net/feeds/question/15336 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15336/is-symn-v-cong-symn-v-ast-naturally-in-positive-characteristic Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic? Andrea Ferretti 2010-02-15T15:02:10Z 2010-02-15T18:21:27Z <p><strong>Background/motivation</strong></p> <p>It is a classical fact that we have a natural isomorphism $Sym^n (V^*) \cong Sym^n (V) ^\ast$ for vector spaces $V$ over a field $k$ of characteristic 0. One way to see this is the following.</p> <p>On the one hand elements of $Sym^n (V^*)$ are symmetric powers of degree n of linear forms on $V$, so they can be identified with homogeneous polynomials of degree n on $V$. On the other hand elements of $Sym^n (V) ^\ast$ are linear functionals on $Sym^n V$; by the universal property of $Sym^n V$ these correspond to n-multilinear symmetric forms on $V$. The isomorphism is then as follows.</p> <p>An n-multilinear symmetric form $\phi$ corresponds to the homogeneous polynomial $p(v) = \phi(v, \dots, v)$. In the other direction to a polynomial $p(v)$ we attach the multinear form obtained by polarization $\phi(v_1, \dots, v_n) = \frac{1}{n!}\sum_{I \subset [n]} (-1)^{n - \sharp I} p(\sum_{i \in I} v_i)$. Here $[n]$ is the set $\lbrace 1, \dots, n \rbrace$.</p> <p><strong>Problem</strong></p> <p>Of course this will not work for $n$ greater than the characteristic of $k$ if the latter is positive.</p> <p>One can expect that an isomorphism $Sym^n (V^*) \cong Sym^n (V) ^\ast$ holds also in positive characteristic, and that this should be trivially true by using the universal properties of the symmetric powers. The problem is that if I try to define a natural map between the two spaces using the universal properties I have at some point to divide by $n!$ anyway.</p> <p>Still there may be some natural isomorphism that I cannot see. Or maybe there is not a natural isomorphism, but I don't know how to prove this.</p> <blockquote> <p>Is there a natural isomoprhism $Sym^n (V^*) \cong Sym^n (V)^\ast$ in positive characteristic?</p> </blockquote> http://mathoverflow.net/questions/15336/is-symn-v-cong-symn-v-ast-naturally-in-positive-characteristic/15339#15339 Answer by B. Cais for Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic? B. Cais 2010-02-15T15:32:52Z 2010-02-15T17:14:14Z <p>As several MO'ers have noted, the answer is in general no, contrary to what I falsely claimed in my previous post. To make amends for writing nonsense before, let me point you to Eisenbud, Commutative Algebra with a View, where this issue is nicely discussed in A.2.4. What turns out to be true, as Marty had hinted at, is that the graded dual of the symmetric algebra is naturally isomorphic to the divided power algebra of the dual. When you are working over $\mathbf{Q}$, this divided power algebra is isomorphic to the symmetric algebra, but in general it need not even be noetherian. </p> http://mathoverflow.net/questions/15336/is-symn-v-cong-symn-v-ast-naturally-in-positive-characteristic/15344#15344 Answer by Torsten Ekedahl for Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic? Torsten Ekedahl 2010-02-15T16:59:27Z 2010-02-15T16:59:27Z <p>The answer is no (and well-known to people working in the representation theory of algebraic groups in positive characteristic). In fact for $V$ finite dimensional and of dimension $>1$ the two vector spaces are not isomorphic as $GL(V)$-modules ($GL(V)$ is either considered naively as an abstract group when the field $k$ is infinite or as an algebraic group in the general case) for $n=p$ equal to the characteristic.</p> <p>Under the assumption that $V$ is finite dimensional we may instead formulate the problem as the impossibility of having a $GL(V)$-isomorphism $Sym^n(V) \cong Sym^n(V^\ast)^\ast$. Now, we have an injective $GL(V)$-map $V^{(p)} \to Sym^p(V)$ given by $v \mapsto v^p$, where $V^{(p)}=k\bigotimes_kV$, where $k$ acts on the left hand side through the $p$'th power (concretely if we choose a basis for $V$ then the action on $V=k^m$ is given by the group homomorphism $GL_m(k) \to GL_m(k)$ which takes $(a_{ij})$ to $(a^p_{ij})$). As $\dim V > 1$ we have $\dim V^{(p)}=\dim V &lt; \dim Sym^p(V)$ so that the inclusion is proper.</p> <p>It is easily verified that $V^{(p)}$ is irreducible and it is in fact the unique irreducible submodule of $S^p(V)$. This can be seen by starting with an arbitrary non-zero element $f$ of $S^p(V)$ and then acting on it by suitable linear combinations of the action of elementary matrices of $GL(V)$ until one arrives at a non-zero element of (the image of) $V^{(p)}$. This is more easily understood if one uses the fact that we have an action of an algebraic and consider the induced action by its Lie algebra. Choosing again a basis of $V$ we have elements $x_i\partial/\partial x_j$ whose action on a monomial are very visible. In this way it is clear that starting with any monomial of degree $p$ one may apply a sequence of such operators to obtain a non-zero multiple of a monomial of the form $x_k^p$. This plus some thought shows the statement.</p> <p>Assume now that we have a $GL(V)$-isomorphism $Sym^p(V) \cong Sym^p(V^\ast)^\ast$. Dualising the inclusion $V^{\ast(p)} \hookrightarrow Sym^p(V^\ast)$ and composing with the isomorphism we got a quotient map $Sym^p(V) \to V^{(p)}$. It is easy to see that in Jordan-Hölder sequence of $Sym^p(V)$ $V^{(p)}$ so that the composite $V^{(p)} \to Sym^p(V) \to V^{(p)}$ must be an isomorphism and hence the inclusion $V^{(p)} \hookrightarrow Sym^p(V)$ is split, contradicting that $V^{(p)}$ is the unique simple submodule.</p> http://mathoverflow.net/questions/15336/is-symn-v-cong-symn-v-ast-naturally-in-positive-characteristic/15345#15345 Answer by BCnrd for Is $Sym^n (V^*) \cong Sym^n (V)^\ast$ naturally in positive characteristic? BCnrd 2010-02-15T17:14:17Z 2010-02-15T17:14:17Z <p>The dual to symmetric powers of a projective module of finite rank over any commutative ring is most elegantly expressed in terms of divided powers (thereby also "explaining" why over a field of nonzero characteristic there are subtleties once the dimension reaches the characteristic, and why the version in characteristic zero has factorials all over the place in the denominators). It is very nicely explained in an appendix to the book by Berthelot-Ogus on crystalline cohomology. </p>