1
$\begingroup$

In the paper Floer cohomology of lagrangian intersections and pseudo-holomorphic disks in page $1009$ the authors claim that a map $w:D^2\rightarrow S^2$ with $w|_{\partial D^2}\subset L$, where $L$ is the equator, and such that $\mu(w)=2$, where $\mu$ is the maslov index of the map, cannot be multiply covered and hence it will be injective in the interior of $D^2$.

I have tried proving this , but I am getting nowhere.

Following the paper "Relative frames on $J$-holomorphic curves" the definition of multicovered that I found is that there exists a simple disk $v:(D,\partial D)\rightarrow (S^2,L) $ and a surjective map $p:(D,\partial D)\rightarrow (D,\partial D)$ continuous on $D$, holomorphic on the interior , satisfying $p^{-1}(\partial D)=\partial D$ and $u=v\circ p$ thus $[u]=m[v]$ in relative homology with $m\geq 1$.

And so using this and the fact that the minimal maslov number is $2$ will force $m=1$ and $[u]=[v]$.

However from here I am not sure out to prove that $u$ is bijective in the interior of $D^2$.

Any help or reference where I can look this up is appreciated, thanks in advance.

$\endgroup$

1 Answer 1

0
+50
$\begingroup$

First, I assume you want $w$ to be holomorphic (or else it isn't true).

If the target is really $S^2$ with boundary on the equator $L$ then this should be easy to prove directly. Take a point $p$ not on $L$. We can define an intersection number between $w$ and $p$ using the intersection pairing between $H_2(S^2,L)$ and $H_0(S^2\setminus L)$. By positivity of intersections, any point $q$ in the preimage of $p$ under $w$ contributes positively to this intersection number (with multiplicity 1 if and only if $w$ is transverse to $p$ at $q$). Let's write $[N]$ and $[S]$ for the Northern and Southern hemispheres considered as (Maslov 2) classes (in fact generators) in $H_2(S^2,L)$. The class of $w$ is $a[N]+b[S]$ for some $a$ and $b$ with $a+b=1$ because $\mu(w)=2$. The intersection number of $w$ with $p$ is $a$ if $p\in N$ and $b$ if $p\in S$. Since both of these must be nonnegative and sum to 1, we get $[w]=[N]$ or $[S]$. Moreover, the preimage of each point in $N$ (or $S$) is a single point and the derivative of $w$ is nonzero there to get intersection multiplicity 1 at $p$.

Moreover, the preimage of any point in $N$ (or $S$) has the same intersection number with the disc, so $w$ is really just a bijective parametrisation of a hemisphere.

In fact, this works for any embedded circle on the sphere (the argument didn't depend on areas). I'm sure there are other, simpler, ways to see it that don't explicitly invoke relative homology; this is just one that sprang to mind.

$\endgroup$
6
  • $\begingroup$ Thanks for the answer. Could you just be a little more specific by what you mean as the intersection number between $w$ and $p$ using the intersection pairing between $H_2(S^2,L)$ and $H_0(S^2 -L)$? , i.e., how it's defined? Can I think of it as in the context of differential topology? $\endgroup$
    – user174565
    Commented Jul 3, 2021 at 7:07
  • $\begingroup$ If so I can see why we have positivity since the disk is holomorphic , otherwise I am not sure. $\endgroup$
    – user174565
    Commented Jul 3, 2021 at 7:27
  • $\begingroup$ Yes, the dimensions are complementary (2+0=2) so you get an intersection number by counting points weighted by signs/multiplicities. It's only homotopy invariant (moving the point) if your point stays in the complement of L. $\endgroup$ Commented Jul 3, 2021 at 11:55
  • $\begingroup$ Alright thank you. For proving that in fact this is an homotopy invariant on the maps , i.e., if $w$ and $w'$ are homotopic then their intersection number at $p$ is the same we need to use differetial topology techiques similar to what's done for degree right ? I am asking since the degree is defined for compact manifolds without boundary , and here we are working with $D^2$, so I would think some minor changes would be needed. $\endgroup$
    – user174565
    Commented Jul 3, 2021 at 13:26
  • 1
    $\begingroup$ The proof is identical to what you might see in Milnor's "Topology from the differentiable viewpoint": if you have a homotopy which avoids the boundary them the usual argument produces for you a cobordism of intersections whose boundaries are what you started with and what you finished with. If your homotopy crosses the boundary them your cobordism might pick up extra boundary components (intersections escape to the boundary). $\endgroup$ Commented Jul 3, 2021 at 13:56

You must log in to answer this question.