Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm study the papper "H. Bray, S. Brendle, M. Eichmair, and A. Neves, Area-minimizing projective planes in three-manifolds, Comm. Pure Appl. Math". (see http://arxiv.org/abs/0909.1665).

Let be $$\mathrm{sys}(M,g):=\inf \{L(\gamma): \gamma \mathrm{\ is\ a\ non-contractible\ loop\ in}\ M\}$$

The Pu's inequality say that

$$\mathrm{sys}(\mathbb{RP}^2,g) = \frac\pi2 \mathrm{area}(\mathbb{RP}^2,g),$$

if $g$ is the round metric on $\mathbb{RP}^2$.

Why $$\mathrm{sys}(\mathbb{RP}^3,g) = \pi,$$ if $g$ is the round metric on $\mathbb{RP}^3$?

share|improve this question
    
Pu's inequality cannot say that $\mathrm{sys}(\mathbb{RP}^2,g) = \frac\pi2 \mathrm{area}(\mathbb{RP}^2,g),$ because the latter is an equality, not inequality. Furthermore, Pu's inequality is concerned with arbitrary metrics rather than round ones. –  user72694 Jan 23 at 16:57
add comment

1 Answer 1

up vote 1 down vote accepted

The homotopy group of ${\Bbb R}{\rm P}^3$ is ${\Bbb Z}/2$, the generator of which can be taken as the image of an equatorial circle in ${\Bbb S}^3$. Since the length of the of that circle is $2 \pi$, and the map ${\Bbb S}^3 \to {\Bbb R}{\rm P}^3$ identifies the anipodal points, the length of the generator in the induced metric has to become equal to $\pi$.

It remains to understand that any shorter loop can be lifted to ${\Bbb S}^3$ where it is contractible.

share|improve this answer
add comment

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.