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

I am reading the paper "Calibrated embeddings in the special Lagrangian and coassociative cases" by R.Bryant (here the link: http://arxiv.org/abs/math/9912246) and there are certain things that are unclear to me.

  1. Bryant defines on page 11 in is paper the set $V_{n}(\mathcal{I},\pi) =$ {$E\in V_{n}(\mathcal{I})|D_{u}\pi : E \rightarrow T_{\pi(u)}M$ is injective} and claims that $V_{n}(\mathcal{I},\pi) \subset Gr_{n}(TF)$ is a submanifold of codimension $np$, where $p$ is the codimension of $G \subset SO(n)$ in $SO(n)$. My question is: why is this so? I tried to use several chart representations or the implicite function theorem but without any succes.

  2. On page 12 there are the subspaces $\mathfrak{h}_{k}$ defined. Then he computes that $H(E _ {k}) = E + ( \mathfrak{h} _ {k} ) _ {u}$. Why does this hold?

  3. How does he show that $SU(n)$ is reglarly presented in $SO(2n)$?

I hope that some of you have the answers to some of my questions.

Best regards Mario

share|improve this question
add comment

1 Answer

up vote 11 down vote accepted

I'm afraid that that article does not do a lot of details in the introductory Section 0, just because more complete explanations were already available in earlier articles of mine. Here are some brief answers. Right now, I don't have the time to write out the explanations in greater detail.

  1. This is a consequence of the claim, proved in the reference [Br$_2$], that the condition of being torsion-free is $np$ first order PDE for a section $\sigma:M\to S=F/G$ that defines a $G$-structure (where $n$ is the dimension of the manifold and $p$ is the codimension of $G$ in $\mathrm{SO}(n)$). The hypothesis of strong admissibility implies (indeed, it is equivalent to the condition) that all of these equations are captured by the condition of closure of the differential forms associated to the $G$-structure, which is exactly the condition that an $n$-plane $E$ be an integral element of $\mathcal{I}$.

  2. If you unwind the definitions, you will see that the spaces ${\frak{h}}_k$ were defined so as to make this equation true. This computation is best carried out up on $F$, where one can write out the definition of $\hat \alpha$ in a coframing of $F$ given by the structure equations and compute $d\hat\alpha$ explicitly. (When I have more time, maybe I can put in a brief description of this computation.)

  3. I didn't claim to give the proof that $\mathrm{SU}(n)\subset\mathrm{SO}(2n)$ is regularly presented for all $n$, I just said that it can be proved. You can get an indication of how the proof goes by looking a little further along in the paper where, on pages 13–14, I do (briefly) give the argument for $n=3$, the case of most interest in the article.

share|improve this answer
add comment

Your Answer


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.