Skip to main content
added 301 characters in body
Source Link
ε-δ
  • 1.8k
  • 3
  • 16
  • 34

ConstructLet $h$ be the "common perpendicular". Assume $c\sim h$ with ends on $A$ and $B$. Choose a homotopy and let $\alpha(t)$, $\beta(t)$ be trajectories of its ends (in $A$ and $B$ resp.). Pass to universal cover, let $\tilde\beta*\tilde c*\tilde\alpha^{-1}$ a joint $\beta*c*\alpha^{-1}$. Consider of geodesics $\tilde c_t$ from "common perpendicular"$\tilde\alpha(t)$ to $\tilde\beta(t)$. Let $c_t$ be its projection to Y-piece, it is a homotopy of geodesics from $h$ to a geodesic $c'$ from$c_1$ and $c(0)$ to$c_1(0)=c(0)$, $c(1)$ with the$c_1(1)=c(1)$. Thus, $c\sim c_1$ rel ends are on A and B. (This is possible sinceSince curvature is negative, $c\sim c_1$ rel ends implies $c=c_1$.) In this process(If doubt pass to universal cover.)

Note that, the number of self intersections of $c_t$ stays constant; i.e. $c'$$c_1=c$ is simple. Thus, we get two geodesics $c$ and $c'$ with common ends. Since curvature is negative, $c\sim c'$ implies $c=c'$, which is not possible if $c$ is non-simple.

Construct a homotopy of geodesics from "common perpendicular" $h$ to a geodesic $c'$ from $c(0)$ to $c(1)$ with the ends are on A and B. (This is possible since curvature is negative.) In this process, the number of self intersections stays constant; i.e. $c'$ is simple. Thus, we get two geodesics $c$ and $c'$ with common ends. Since curvature is negative, $c\sim c'$ implies $c=c'$, which is not possible if $c$ is non-simple.

Let $h$ be the "common perpendicular". Assume $c\sim h$ with ends on $A$ and $B$. Choose a homotopy and let $\alpha(t)$, $\beta(t)$ be trajectories of its ends (in $A$ and $B$ resp.). Pass to universal cover, let $\tilde\beta*\tilde c*\tilde\alpha^{-1}$ a joint $\beta*c*\alpha^{-1}$. Consider of geodesics $\tilde c_t$ from $\tilde\alpha(t)$ to $\tilde\beta(t)$. Let $c_t$ be its projection to Y-piece, it is a homotopy of geodesics from $h$ to a geodesic $c_1$ and $c_1(0)=c(0)$, $c_1(1)=c(1)$. Thus, $c\sim c_1$ rel ends. Since curvature is negative, $c\sim c_1$ rel ends implies $c=c_1$. (If doubt pass to universal cover.)

Note that, the number of self intersections of $c_t$ stays constant; i.e. $c_1=c$ is simple.

Source Link
ε-δ
  • 1.8k
  • 3
  • 16
  • 34

Construct a homotopy of geodesics from "common perpendicular" $h$ to a geodesic $c'$ from $c(0)$ to $c(1)$ with the ends are on A and B. (This is possible since curvature is negative.) In this process, the number of self intersections stays constant; i.e. $c'$ is simple. Thus, we get two geodesics $c$ and $c'$ with common ends. Since curvature is negative, $c\sim c'$ implies $c=c'$, which is not possible if $c$ is non-simple.