1

Suppose we have a compact manifold $M$, like for example $\mathbb{C}P^n.$ We can cover this manifold by finitely many open geodesic balls $B_r(p)$ of radius $r$.

If for example $r$ is equal to the injectivity radius of $M$, can we say how many balls are needed to cover our manifold? What about the case $M=\mathbb{C}P^n$ with $\omega_{FS}=\frac{\sqrt{-1}}{2\pi}\partial\bar{\partial}\log(1+|z_1|^2+\ldots+|z_n|^2)$ ?

KS_
  • 881
  • 2
    Do you know about injectivity radius? And can you answer this immediately for $n=1$? – Ted Shifrin Dec 12 '16 at 01:07
  • Naturally you first have to fix a metric (e.g., a particular scaling of Fubini-Study, to refer back to an earlier question of yours). Do you mean you have a specific $r$ in mind, or are you looking for the number of balls as a function of $r$ (which I suspect is Difficult)? – Andrew D. Hwang Dec 12 '16 at 01:07
  • Any $r$ for which I could say something about the number of balls is fine. – KS_ Dec 12 '16 at 01:18
  • 1
    Oops ... I was thinking about the largest possible $r$. :) Hi, Andy :) – Ted Shifrin Dec 12 '16 at 01:19
  • 1
    @JoeAaron: That's the scaling for which a projective line has unit area, so the diameter is $\sqrt{\pi}/2$; as Ted is hinting, there's an easy way to count the minimum number of open geodesic balls of radius $\sqrt{\pi}/2$ that cover. These balls have considerable overlap: The complement of each is a complex hyperplane. Offhand, it looks as if each can be shrunk (keeping the same centers) to radius $\sqrt{\pi}/4 + \varepsilon$ while still covering. – Andrew D. Hwang Dec 12 '16 at 01:28
  • @AndrewD.Hwang: thanks for the help Prof. Could you elaborate a bit more? Maybe there is something I am missing, I still don't get it. – KS_ Dec 13 '16 at 02:36
  • 1
    @JoeAaron: Does Ted's suggestion for $n = 1$ help? (Think of open geodesic balls on a round sphere of intrinsic diameter $d$; how many balls of radius [sic] $d$ does it take to cover? What is the complement of each ball?) Then (for $n > 1$) show that if your Fubini-Study metric has intrinsic diameter $d$, the complement of the geodesic ball of center $[p]$ and radius $d$ is the projective hyperplane orthogonal to $p$. – Andrew D. Hwang Dec 13 '16 at 14:01
  • @AndrewD.Hwang So, my understanding is that: For $\mathbb{C}P^n$ we could choose $p_i=[0:\ldots:0:1:0:\ldots:0]$ and so there are $n+1$ balls of radius $d$. Geometrically this seems to be the picture, although I don't know how to prove this yet.. – KS_ Feb 17 '17 at 03:51

0 Answers0