Skip to main content
added figure
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Here's a compact example without boundary (a 2-torus).

Choose a "small"topological disc $D$ on the two-torus $T$, and choose a Riemannian metric so that $D$ has very close Gromov-Hausdorff distance (say $\le 1$) to a segment of length $20$, while $T\smallsetminus D$ has diameter $\le 1$ (so metrically $D$ is predominant, while all the homotopic part lies in $T\smallsetminus D$. Also assume (just to fix ideas) that there exists $x_0\in D$ such that $d(x_0,D)=20$ (so $x_0$ is the "opposite tip" of the segment). Again to fix ideas, suppose that $x_0$ is part a geodesic segment $(x_t)_{0\le t\le 10}$ such that $\sup_{x\in T}\inf_{t\in [0,20]}d(x,x_t)\le 1$.

Long torus picture

(On the picture, the complement of $D$ is the little left tip, including the handle, and $x_0$ is at the right tip.)

Then $T$ (with this metric) has no large equilateral triangle: indeed if $r$ is the size of an equilateral triangle, such a triangle would be 1-close to a "triangle" $\{x_{t_1},x_{t_2},x_{t_3}\}$, with $t_1\le t_2\le t_3$ and $||t_i-t_j|-a\le 2$ for all $i\neq j$. So $t_3-t_1\le a+2$, $t_3-t_2,t_2-t_1\ge a-2$, hence $t_3-t_1\ge 2a-4$, so $2a-4\le a+2$, i.e., $a\le 6$.

Hence, if $f$ is an "equilateral" self-homeomorphism, we have $d(f(x),x)\le 6$ for all $x$. Let $B$ be the open $7$-ball around $x_0$. Then the open subset $U=B\cup f(B)\cup f^{-1}(B)$ is $f$-invariant, and contained in the $13$-ball around $x_0$. The connected component $U'\subset U$ of $x_0$ contains the $f$-orbit of $x_0$.

Let $T'$ be the quotient $T/\langle f\rangle$, so $T\to T'$ is a connected covering of degree 3. Since $\pi_1(U',x_0)\to \pi_1(T,x_0)$ is trivial, the covering is trivial in restriction to $U'$. We get a contradiction, since $U'$ is connected and contains as fiber the orbit of $x_0$.

Here's a compact example without boundary (a 2-torus).

Choose a "small" disc $D$ on the two-torus $T$, and choose a Riemannian metric so that $D$ has very close Gromov-Hausdorff distance (say $\le 1$) to a segment of length $20$, while $T\smallsetminus D$ has diameter $\le 1$ (so metrically $D$ is predominant, while all the homotopic part lies in $T\smallsetminus D$. Also assume (just to fix ideas) that there exists $x_0\in D$ such that $d(x_0,D)=20$ (so $x_0$ is the "opposite tip" of the segment). Again to fix ideas, suppose that $x_0$ is part a geodesic segment $(x_t)_{0\le t\le 10}$ such that $\sup_{x\in T}\inf_{t\in [0,20]}d(x,x_t)\le 1$.

Then $T$ (with this metric) has no large equilateral triangle: indeed if $r$ is the size of an equilateral triangle, such a triangle would be 1-close to a "triangle" $\{x_{t_1},x_{t_2},x_{t_3}\}$, with $t_1\le t_2\le t_3$ and $||t_i-t_j|-a\le 2$ for all $i\neq j$. So $t_3-t_1\le a+2$, $t_3-t_2,t_2-t_1\ge a-2$, hence $t_3-t_1\ge 2a-4$, so $2a-4\le a+2$, i.e., $a\le 6$.

Hence, if $f$ is an "equilateral" self-homeomorphism, we have $d(f(x),x)\le 6$ for all $x$. Let $B$ be the open $7$-ball around $x_0$. Then the open subset $U=B\cup f(B)\cup f^{-1}(B)$ is $f$-invariant, and contained in the $13$-ball around $x_0$. The connected component $U'\subset U$ of $x_0$ contains the $f$-orbit of $x_0$.

Let $T'$ be the quotient $T/\langle f\rangle$, so $T\to T'$ is a connected covering of degree 3. Since $\pi_1(U',x_0)\to \pi_1(T,x_0)$ is trivial, the covering is trivial in restriction to $U'$. We get a contradiction, since $U'$ is connected and contains as fiber the orbit of $x_0$.

Here's a compact example without boundary (a 2-torus).

Choose a topological disc $D$ on the two-torus $T$, and choose a Riemannian metric so that $D$ has very close Gromov-Hausdorff distance (say $\le 1$) to a segment of length $20$, while $T\smallsetminus D$ has diameter $\le 1$ (so metrically $D$ is predominant, while all the homotopic part lies in $T\smallsetminus D$. Also assume (just to fix ideas) that there exists $x_0\in D$ such that $d(x_0,D)=20$ (so $x_0$ is the "opposite tip" of the segment). Again to fix ideas, suppose that $x_0$ is part a geodesic segment $(x_t)_{0\le t\le 10}$ such that $\sup_{x\in T}\inf_{t\in [0,20]}d(x,x_t)\le 1$.

Long torus picture

(On the picture, the complement of $D$ is the little left tip, including the handle, and $x_0$ is at the right tip.)

Then $T$ (with this metric) has no large equilateral triangle: indeed if $r$ is the size of an equilateral triangle, such a triangle would be 1-close to a "triangle" $\{x_{t_1},x_{t_2},x_{t_3}\}$, with $t_1\le t_2\le t_3$ and $||t_i-t_j|-a\le 2$ for all $i\neq j$. So $t_3-t_1\le a+2$, $t_3-t_2,t_2-t_1\ge a-2$, hence $t_3-t_1\ge 2a-4$, so $2a-4\le a+2$, i.e., $a\le 6$.

Hence, if $f$ is an "equilateral" self-homeomorphism, we have $d(f(x),x)\le 6$ for all $x$. Let $B$ be the open $7$-ball around $x_0$. Then the open subset $U=B\cup f(B)\cup f^{-1}(B)$ is $f$-invariant, and contained in the $13$-ball around $x_0$. The connected component $U'\subset U$ of $x_0$ contains the $f$-orbit of $x_0$.

Let $T'$ be the quotient $T/\langle f\rangle$, so $T\to T'$ is a connected covering of degree 3. Since $\pi_1(U',x_0)\to \pi_1(T,x_0)$ is trivial, the covering is trivial in restriction to $U'$. We get a contradiction, since $U'$ is connected and contains as fiber the orbit of $x_0$.

joke perceived as possibly impolite removed
Source Link
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322

Here's a compact example without boundary (a 2-torus).

Choose a "small" disc $D$ on the two-torus $T$, and choose a Riemannian metric so that $D$ has very close Gromov-Hausdorff distance (say $\le 1$) to a segment of length $20$, while $T\smallsetminus D$ has diameter $\le 1$ (so metrically $D$ is predominant, while all the homotopic part lies in $T\smallsetminus D$. Also assume (just to fix ideas) that there exists $x_0\in D$ such that $d(x_0,D)=20$ (so $x_0$ is the "opposite tip" of the segment). Again to fix ideas, suppose that $x_0$ is part a geodesic segment $(x_t)_{0\le t\le 10}$ such that $\sup_{x\in T}\inf_{t\in [0,20]}d(x,x_t)\le 1$.

Then $T$ (with this metric) has no large equilateral triangle: indeed if $r$ is the size of an equilateral triangle, such a triangle would be 1-close to a "triangle" $\{x_{t_1},x_{t_2},x_{t_3}\}$, with $t_1\le t_2\le t_3$ and $||t_i-t_j|-a\le 2$ for all $i\neq j$. So $t_3-t_1\le a+2$, $t_3-t_2,t_2-t_1\ge a-2$, hence $t_3-t_1\ge 2a-4$, so $2a-4\le a+2$, i.e., $a\le 6$.

Hence, if $f$ is an "equilateral" self-homeomorphism, we have $d(f(x),x)\le 6$ for all $x$. Let $B$ be the open $7$-ball around $x_0$. Then the open subset $U=B\cup f(B)\cup f^{-1}(B)$ is $f$-invariant, and contained in the $13$-ball around $x_0$. The connected component $U'\subset U$ of $x_0$ contains the $f$-orbit of $x_0$.

Let $T'$ be the quotient $T/\langle f\rangle$, so $T\to T'$ is a connected covering of degree 3. Since $\pi_1(U',x_0)\to \pi_1(T,x_0)$ is trivial, the covering is trivial in restriction to $U'$. We get a contradiction, since $U'$ is connected and contains as fiber the orbit of $x_0$.


PS I used without proof the following lemma:

Lemma. $13<20$.

Here's a compact example without boundary (a 2-torus).

Choose a "small" disc $D$ on the two-torus $T$, and choose a Riemannian metric so that $D$ has very close Gromov-Hausdorff distance (say $\le 1$) to a segment of length $20$, while $T\smallsetminus D$ has diameter $\le 1$ (so metrically $D$ is predominant, while all the homotopic part lies in $T\smallsetminus D$. Also assume (just to fix ideas) that there exists $x_0\in D$ such that $d(x_0,D)=20$ (so $x_0$ is the "opposite tip" of the segment). Again to fix ideas, suppose that $x_0$ is part a geodesic segment $(x_t)_{0\le t\le 10}$ such that $\sup_{x\in T}\inf_{t\in [0,20]}d(x,x_t)\le 1$.

Then $T$ (with this metric) has no large equilateral triangle: indeed if $r$ is the size of an equilateral triangle, such a triangle would be 1-close to a "triangle" $\{x_{t_1},x_{t_2},x_{t_3}\}$, with $t_1\le t_2\le t_3$ and $||t_i-t_j|-a\le 2$ for all $i\neq j$. So $t_3-t_1\le a+2$, $t_3-t_2,t_2-t_1\ge a-2$, hence $t_3-t_1\ge 2a-4$, so $2a-4\le a+2$, i.e., $a\le 6$.

Hence, if $f$ is an "equilateral" self-homeomorphism, we have $d(f(x),x)\le 6$ for all $x$. Let $B$ be the open $7$-ball around $x_0$. Then the open subset $U=B\cup f(B)\cup f^{-1}(B)$ is $f$-invariant, and contained in the $13$-ball around $x_0$. The connected component $U'\subset U$ of $x_0$ contains the $f$-orbit of $x_0$.

Let $T'$ be the quotient $T/\langle f\rangle$, so $T\to T'$ is a connected covering of degree 3. Since $\pi_1(U',x_0)\to \pi_1(T,x_0)$ is trivial, the covering is trivial in restriction to $U'$. We get a contradiction, since $U'$ is connected and contains as fiber the orbit of $x_0$.


PS I used without proof the following lemma:

Lemma. $13<20$.

Here's a compact example without boundary (a 2-torus).

Choose a "small" disc $D$ on the two-torus $T$, and choose a Riemannian metric so that $D$ has very close Gromov-Hausdorff distance (say $\le 1$) to a segment of length $20$, while $T\smallsetminus D$ has diameter $\le 1$ (so metrically $D$ is predominant, while all the homotopic part lies in $T\smallsetminus D$. Also assume (just to fix ideas) that there exists $x_0\in D$ such that $d(x_0,D)=20$ (so $x_0$ is the "opposite tip" of the segment). Again to fix ideas, suppose that $x_0$ is part a geodesic segment $(x_t)_{0\le t\le 10}$ such that $\sup_{x\in T}\inf_{t\in [0,20]}d(x,x_t)\le 1$.

Then $T$ (with this metric) has no large equilateral triangle: indeed if $r$ is the size of an equilateral triangle, such a triangle would be 1-close to a "triangle" $\{x_{t_1},x_{t_2},x_{t_3}\}$, with $t_1\le t_2\le t_3$ and $||t_i-t_j|-a\le 2$ for all $i\neq j$. So $t_3-t_1\le a+2$, $t_3-t_2,t_2-t_1\ge a-2$, hence $t_3-t_1\ge 2a-4$, so $2a-4\le a+2$, i.e., $a\le 6$.

Hence, if $f$ is an "equilateral" self-homeomorphism, we have $d(f(x),x)\le 6$ for all $x$. Let $B$ be the open $7$-ball around $x_0$. Then the open subset $U=B\cup f(B)\cup f^{-1}(B)$ is $f$-invariant, and contained in the $13$-ball around $x_0$. The connected component $U'\subset U$ of $x_0$ contains the $f$-orbit of $x_0$.

Let $T'$ be the quotient $T/\langle f\rangle$, so $T\to T'$ is a connected covering of degree 3. Since $\pi_1(U',x_0)\to \pi_1(T,x_0)$ is trivial, the covering is trivial in restriction to $U'$. We get a contradiction, since $U'$ is connected and contains as fiber the orbit of $x_0$.

Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Here's a compact example without boundary (a 2-torus).

Choose a "small" disc $D$ on the two-torus $T$, and choose a Riemannian metric so that $D$ has very close Gromov-Hausdorff distance (say $\le 1$) to a segment of length $20$, while $T\smallsetminus D$ has diameter $\le 1$ (so metrically $D$ is predominant, while all the homotopic part lies in $T\smallsetminus D$. Also assume (just to fix ideas) that there exists $x_0\in D$ such that $d(x_0,D)=20$ (so $x_0$ is the "opposite tip" of the segment). Again to fix ideas, suppose that $x_0$ is part a geodesic segment $(x_t)_{0\le t\le 10}$ such that $\sup_{x\in T}\inf_{t\in [0,20]}d(x,x_t)\le 1$.

Then $T$ (with this metric) has no large equilateral triangle: indeed if $r$ is the size of an equilateral triangle, such a triangle would be 1-close to a "triangle" $\{x_{t_1},x_{t_2},x_{t_3}\}$, with $t_1\le t_2\le t_3$ and $||t_i-t_j|-a\le 2$ for all $i\neq j$. So $t_3-t_1\le a+2$, $t_3-t_2,t_2-t_1\ge a-2$, hence $t_3-t_1\ge 2a-4$, so $2a-4\le a+2$, i.e., $a\le 6$.

Hence, if $f$ is an "equilateral" self-homeomorphism, we have $d(f(x),x)\le 6$ for all $x$. Let $B$ be the open $7$-ball around $x_0$. Then the open subset $U=B\cup f(B)\cup f^{-1}(B)$ is $f$-invariant, and contained in the $13$-ball around $x_0$. The connected component $U'\subset U$ of $x_0$ contains the $f$-orbit of $x_0$.

Let $T'$ be the quotient $T/\langle f\rangle$, so $T\to T'$ is a connected covering of degree 3. Since $\pi_1(U',x_0)\to \pi_1(T,x_0)$ is trivial, the covering is trivial in restriction to $U'$. We get a contradiction, since $U'$ is connected and contains as fiber the orbit of $x_0$.


PS I used without proof the following lemma:

Lemma. $13<20$.