3
$\begingroup$

Let $F: \mathbb{R} \rightarrow S^1 \times S^1$ defined by $$F(t) = ((\cos2\pi t, \sin2 \pi t), (\cos2\pi \alpha t, \sin2 \pi \alpha t))$$.

For which values ​​of $\alpha$ the map $F$ is open? For which values ​​of $\alpha$ the set $F(\mathbb{R})$ is a submanifold?

ps.: my initial idea was to verify what is required for the coordinate functions $F_1$ and $F_2$ to be a local diffeomorphismos. Hence he would find conditions on the $\alpha$. And it would use that local diphomorphism product is local diffeomorphism and therefore open. But I did not succeed.

$\endgroup$
  • $\begingroup$ This map is called Kronecker's flux on $2$-torus. $\endgroup$ – Armando j18eos May 6 '18 at 23:38
5
$\begingroup$

For general values of $\alpha$, each coordinate of $F$ wraps $\Bbb R$ around $S^1$ (if $\alpha=0$, then $F$ is just a circle "parallel" to the first "axis"). So, if we imagine a point going to the right in $\Bbb R$ and its respective image point on the torus $S^1\times S^1$, this means that each coordinate (the projection on each of the "axes" $S^1$) keeps spinning around. So, intuitively, we can hope the image $F(\Bbb R)$ to be something like in the figure below.

                                           enter image description here

In fact, we are being optimistic. In general, $F$ is not a closed (i.e. periodic) curve as in the figure. Maybe $F$ keeps "infinitely" going around $S^1\times S^1$ and in this case $F(\Bbb R)$ is dense in $S^1\times S^1$. The fact is that $F$ is a closed curve if and only if $\alpha \in \Bbb Q$. But let's answer the first question first:

For which values of $\alpha$ the map $F$ is open?

Answer: for none of them. Indeed, by the coordinates of $F$ we see that $F$ is continuous ($C^\infty$, in fact). Suppose that for some value of $\alpha$ the map $F$ is also open. Suppose also that $\alpha\neq 0$ (the case $\alpha=0$ is similar). Put $\epsilon=\frac{1}{2}\min\{1,\,1/|\alpha|\}$>0. Then $G:(-\epsilon,\epsilon)\to F(-\epsilon,\epsilon)$, with $G=F|_{(-\epsilon,\epsilon)}$ is open, bijective and continuous, therefore, a homeomorphism. But $(-\epsilon,\epsilon)$ has dimension 1, while $F(-\epsilon,\epsilon)$ has dimension 2 (because it is open in $S^1\times S^1$). This is impossible (because of this). This proves that $F$ is never open.

Comment: I am doubtful about this question. Shouldn't it be: "For which values of $\alpha$ the map $F$ is open onto its image?" Then this would be very related to the cases below. I think $F$ is open onto its image if and only if $\alpha\in \Bbb Q$...

For which values of $\alpha$ the set $F(\Bbb R)$ is a submanifold?

Answer: for and only for rational values of $\alpha$. Let's prove that.

Suppose $\alpha\in \Bbb Q$: suppose also $\alpha> 0$, $\alpha\neq 1$, the cases $\alpha\leq 0$ or $\alpha=1$ are similar. Denote $\alpha=\frac{p}{q}$, with $p,q\in \Bbb N$ having no common factors other than $\pm 1$. Then \begin{align}F(t+q)&=((\cos 2\pi(t+q),\sin 2\pi(t+q)),(\cos 2\pi\alpha(t+q),\sin 2\pi\alpha(t+q)))\\ &=((\cos (2\pi t+2\pi q),\sin (2\pi t+2\pi q)),(\cos (2\pi\alpha t+2\pi p),\sin (2\pi\alpha t+2\pi p)))\\ &=((\cos 2\pi t,\sin 2\pi t),(\cos 2\pi\alpha t,\sin 2\pi\alpha t))\\ &=F(t), \end{align} so $F$ is $q$-periodic. Therefore, parametrizing $S^1$ by $(\cos 2\pi \theta,\sin 2\pi \theta),\,\, \theta \in [0,1]$, we define \begin{align} \begin{matrix} G:&S^1&\to&S^1\times S^1\\ &(\cos 2\pi \theta,\sin 2\pi\theta)&\mapsto&((\cos 2\pi q \theta,\sin 2\pi q\theta),\,(\cos 2\pi p \theta,\sin 2\pi p\theta)). \end{matrix} \end{align} One verifies that $G$ is an immersion from $S^1$ into $S^1\times S^1$. Also, because $p$ and $q$ have no common factors, $G$ is injective. Since $S^1$ is compact and $G(S^1)\subset S^1\times S^1$ is Hausdorff, we have that $G:S^1\to S^1\times S^1$ is a homeomorphism onto its image $G(S^1)$ (by this result). Therefore, $G$ is an embedding or, in other words, $G(S^1)$ is a submanifold of $S^1\times S^1$. So, we are done if we prove that $G(S^1)=F(\Bbb R)$.

Note that $\theta\in [0,1]$, then putting $t=q\theta$, we have \begin{align} G(S^1)&\ni ((\cos 2\pi q \theta,\sin 2\pi q\theta),\,(\cos 2\pi p \theta,\sin 2\pi p\theta))\\ &=((\cos 2\pi t,\sin 2\pi t),\,(\cos 2\pi \alpha t,\sin 2\pi \alpha t))\in F(\Bbb R). \end{align}

Therefore, $G(S^1)\subset F(\Bbb R)$. Conversely, if $t\in \Bbb R$ is arbitrary, then because $F$ is $q$-periodic, there exists some $t'\in [0,q]$ such that $F(t)=F(t')$. Then, putting $\theta=t'/q\in [0,1]$, by the same equation above with $t'$ replaced for $t$ we get that $F(\Bbb R)\ni F(t)=F(t')=G(\theta)\in G(S^1)$. This shows that $F(\Bbb R)=G(S^1)$ is a submanifold of $S^1\times S^1$.

Suppose now $\alpha\notin \Bbb Q$: I will prove that $F(\Bbb R)$ is not submanifold a bit more intuitively than I has been doing in the item above (it's pretty geometric but somewhat troublesome to write down; maybe I can improve with details later). If $\alpha\notin \Bbb Q$, then $F$ wraps $\Bbb R$ around $S^1\times S^1$ just like the figure above, BUT never closing (i.e. with no period at all). It keeps going on and on, always going spinning around $S^1\times S^1$, in such a way that $F(\Bbb R)$ is dense in $S^1\times S^1$. Therefore, for any point $p\in F(\Bbb R)$, every sufficiently small open neighborhood of $p$ in $F(\Bbb R)$ has infinitely many path-connected components (remember, an open neighborhood of $p$ in $F(\Bbb R)$ is some $U\cap F(\Bbb R)$, for some $U\ni p$ open in $S^1\times S^1$). Therefore, $F(\Bbb R)$ with its induced topology from $S^1\times S^1$ is not locally path-connected. Since every submanifold is itself a manifold, $F(\Bbb R)$ cannot be a submanifold because every manifold is locally path-connected.

$\endgroup$
3
$\begingroup$

It is for this helpful to view the torus $S^1 \times S^1$ as a square $[0,1 ]^2$ with opposite edges identified. In one dimension, for example, $S^1$ can be viewed as $[0, 1]$ with the "edges" 0 and 1 identified, via the map $\theta \in [0,1 ] \mapsto (\cos(2\pi \theta), \sin(2\pi \theta))$.

With this said, viewed on the square with edges identified (call this $A$, even though really it is the same space up to homeomorphism), your map $F : \mathbb{R} \to S^1 \times S^1$ becomes $\tilde{F}(t) = (t, \alpha t)$. This is a much easier map to visualize; consider the question in this setting. For then the image of $\tilde{F}$ is just the graph of the function $f(t) = \alpha t$, taken back to the fundamental domain. Now try some cases.

If $\alpha = 1$, then we just get the diagonal line $(t, t)$ through the unit square. This is clearly a submanifold. What about for $\alpha = 1/2$? 2? Any rational number? If $\alpha$ is irrational, what happens?

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.