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

I'm trying to understand the standard $GL(3,\mathbb{R})$ action on the 15-dimensional space of possible values for the derivative of the Riemann curvature tensor of a 3-dimensional manifold $M$ at a point, thought of as the codimension-3 subspace of the space

$ S^2(\Lambda^2 T^*M) \otimes T^*M = \{r_{ijkl,m} (dx^i \wedge dx^j) \circ (dx^k \wedge dx^l) \otimes dx^m \} $

defined by the 2nd Bianchi identities:

$r_{2323,1} + r_{2331,2} + r_{1223,3} = r_{3131,2} + r_{1231,3} + r_{2331,1} = r_{1212,3} + r_{1223,1} + r_{1231,2} = 0.$

Is anything known about normal forms and/or invariants for this action?

share|improve this question
add comment

1 Answer

up vote 5 down vote accepted

There's a 'quasi-normal form' on a dense open set that can be described without too much trouble. Here's one way to do it.

First, recognize that we are looking for a normal form for elements $Q\in W=\bigl[S^2(\Lambda^2(V^\ast))\otimes V^\ast \bigr]_0$ under the action of $G=\mathrm{GL}(V)$, where $V$ is a vector space of dimension $3$ and $W$ is the kernel of the $G$-module mapping $$ S^2(\Lambda^2(V^\ast))\otimes V^\ast\hookrightarrow \Lambda^2(V^\ast)\otimes \Lambda^2(V^\ast)\otimes V^\ast\to \Lambda^2(V^\ast)\otimes\Lambda^3(V^\ast)$$ defined to be the natural inclusion followed by fully skewsymmetrizing in the last two factors. This $W$ is an irreducible $G$-module of dimension $15$.

Now, it makes things a little easier to follow if one recognizes that there is a canonical isomorphism $\Lambda^2(V^\ast) = V\otimes \Lambda^3(V^\ast)$ (given by the obvious contraction), so that $W$ can also be understood as a subspace of $S^2(V)\otimes V^\ast\otimes \bigl(\Lambda^3(V^\ast)\bigr)^2$. In fact $W = W_0\otimes \bigl(\Lambda^3(V^\ast)\bigr)^2$, where $W_0\subset S^2(V)\otimes V^\ast$ is the $15$-dimensional subspace that is the kernel of the trace mapping $S^2(V)\otimes V^\ast\to V$. So I am going to think of $Q$ as an element of $W_0\otimes \bigl(\Lambda^3(V^\ast)\bigr)^2$.

The vector space $U = V^\ast\otimes \bigl(\Lambda^3(V^\ast)\bigr)^2$ has dimension $3$, and by pairing $Q$ with elements in $U^\ast$, one can generate a subspace $\delta Q\subset S^2(V)$ of dimension at most $3$; say that $Q$ is of full quadratic rank if $\delta Q$ has dimension $3$, i.e., $\delta Q$ lies in $\mathrm{Gr}_3\bigl(S^2(V)\bigr)$. The set of $3$-dimensional subspaces of a $6$-dimensional vector space has dimension $9$, and there is another way to generate a $9$-parameter family $3$-dimensional subspaces of $S^2(V)$, namely, if $C\in S^3(V)$ is a nondegenerate cubic, thought of as a cubic polynomial function on $V^\ast$, then we can let $\partial C\subset S^2(V)$ denote the $3$-dimensional space of its partial derivatives. (In fact, 'nondegenerate' in this context means exactly that $\partial C$ has dimension $3$, the maximum dimension possible.)

Now, these two methods of generating a $3$-dimensional subspace of $S^2(V)$ are related: For any $3$-dimensional subspace $P\subset S^2(V)$, there is always a cubic $C$ such that $\partial C\subset P$, and, most of the time, this cubic is unique up to multiples and satisfies $\partial C = P$. One can see this as follows: There is a natural exact sequence $$ 0\to S^3(V)\to S^2(V)\otimes V\to V\otimes \Lambda^2(V)\to \Lambda^3(V)\to 0. $$ In particular, the image of the map $S^2(V)\otimes V\to V\otimes \Lambda^2(V)$ has dimension $8$. If $P\subset S^2(V)$ has dimension $3$, then the restriction of this map to $P\otimes V\to V\otimes \Lambda^2(V)$ has rank at most $8$, so there must be at least a $1$-dimensional kernel, i.e., there must be a nonzero $C\in S^3(V)$ whose image under the above mapping lies in $P\otimes V$. Say that a $3$-dimensional subspace $P\subset S^2(V)$ is uniquely partial if the kernel of $P\otimes V\to V\otimes \Lambda^2(V)$ has dimension $1$. The set of uniquely partial $P$ is a dense open set in $\mathrm{Gr}_3(S^2(V))$. In particular, for a dense open set of $Q\in W$, the subspace $\delta Q$ will be of dimension $3$ and uniquely partial. Let us say that $Q$ is nonsingular if, in addition, the cubic $C\in S^2(V)$ (unique up to multiples) such that $\partial C = \delta Q$ is nonsingular. The set of nonsingular $Q$ is a dense open set in $W$.

Finally, put the nonsingular $C$ associated (uniquely up to multiples) to a given nonsingular $Q$ in normal form, i.e., take a basis $e_i\in V$ such that $$ C = {e_1}^3+{e_2}^3+{e_3}^3 + 6\sigma\ e_1e_2e_3\ , $$ where $\sigma\not=-\tfrac12$ is a real number. (In fact, one needs to disallow a few more values of $\sigma$ in order to make sure that $\partial C$ is uniquely partial, but I'll leave that to the reader. For example, $\sigma=0$ is not allowed.) The basis $e_i$ is uniquely determined by $C$ up to permutations. (Of course, $C$ is only determined up to a multiple, so the basis $e_i$ is only defined by $Q$ up to permutation and simultaneous scaling by a real number. This $S_3\times \mathbb{R}^*$-ambiguity is the reason that the normal form is only 'quasi-normal', as we will see.)

Let $e^i$ be the dual basis. Now, by definition, $Q$ lies in $\partial C\otimes V^\ast\otimes S^2(\Lambda^3(V^\ast))$, so there are numbers such that $$ Q = \tfrac13 b_{ij} \frac{\partial C}{\partial e_i}\otimes e^j \otimes (e^1\wedge e^2\wedge e^3)^{\otimes 2} $$ The $9$ entries of $b = (b_{ij})$ are subject to three linear equations caused by the trace relation (i.e., the second Bianchi identity), and these relations are found to be $b_{ii}+\sigma(b_{jk}+b_{kj})=0$, where $(i,j,k)$ is any even permutation of $(1,2,3)$. They must also satisfy $\det b\not=0$, since, otherwise, $Q$ would be degenerate.

Obviously, these relations are invariant under the symmetric group and scaling. One could normalize the scaling away (up to a $\pm1$) by requiring that the sum of the squares of the $b_{ij}$ be equal to $1$, and this would leave a finite group $S_3\times \lbrace\pm1\rbrace$ that preserves this quasi-normal form. This brings the number of free parameters down to $6$, namely $\sigma$ and the $5$-sphere of the normalized $b_{ij}$ (which lie in a canonical $6$-dimensional subspace that depends on $\sigma$). One could then use the finite group to normalize things further or use the invariant theory of this finite group to find invariant combinations of these quantities that will yield invariants of the original $\mathrm{GL}(V)$-action on the dense open set consisting of the nonsingular $Q$s.

With a little more work, one could actually get quasi-normal forms for all of the orbits in $W$, but that can get complicated.

share|improve this answer
    
Thanks so much, Robert! Now I'll work on parsing this... –  Jeanne Clelland May 13 '13 at 22:00
    
You're welcome. By the way, is MathJax working for you on MO? I just realized that it hasn't worked for me since this morning when I input this answer and, moreover, it doesn't seem to be working on my laptop (also a Mac) either, under any browser I have installed. Hmmm. –  Robert Bryant May 13 '13 at 23:40
    
No, MathJax quit working for me RIGHT as I was starting to look at this, and parsing it from LaTeX code is considerably less fun than from nicely processed LaTeX! Glad it's not just me, though. –  Jeanne Clelland May 14 '13 at 1:12
    
Regarding MathJax: it does not work for me either. But, also the meta board is down and AFAIK both depend on the same server (which is not the one on which the main site depends). So I strondly assume this is a general problem (of that server). –  quid May 14 '13 at 1:13
    
This is really nice - but is there any computationally practical way of finding the values of $\sigma$, b^i_j associated to a given element Q? Even finding the symmetric basis of $\delta Q$ in order to find the cubic C appears to involve computing $8\times8$ determinants, and then finding the right change of basis to normalize $C$ is another bit of serious computational nastiness. –  Jeanne Clelland May 15 '13 at 4:10
show 2 more comments

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.