I am reading the book "Differentiable Algebraic Topology, From Statifolds to Exotic Spheres" by Mathias Kreck.
In the page 136, he said:
We consider the flip diffeomorphism $\tau:M\times N\longrightarrow N\times M$ mapping $(x,y)$ to $(y,x)$, when $M$ and $N$ are oriented manifolds with dimensions $m$ and $n$, respectively. Then, $\tau$ changes the orientation by $(-1)^{mn}$.
However, in the whole book, he never mentioned this $\tau$ again. I believe this is related to a post here: Does the orientation on a product of manifolds depend on the order of the product?. However, this post did not provide the explicit formula of such a $\tau$.
A similar proof to vector space can be found here: $I(X,Z)=(-1)^{(\dim X) (\dim Z)}I(Z,X)$, and one could see that this diffeomorphism is the change of basis matrix.
However, do we have similar thing in manifolds? Can we modify the proof in the second link, to argue with the change of basis matrices?
Thank you!
Edit 1: (Question Solved)
As Tyrone pointed out, the orientation of a manifold is inherited from its corresponding tangent bundle. The orientation of the tangent bundle is the orientation of the vector space to which the fiber bundle isomorphic to (think about the trivialization map in the notion of vector bundle).
Then, the proof is immediate from the proof of the case of vector space, since we can treat the tangent space at each point as a vector space, and we have $T_{(p,q)}(M\times N)=T_{p}M\oplus T_{q}N,$ as vector spaces.
I did not know this fact pointed out by Tyrone, since my geometry course only talked about when the tangent bundle (or manifold) is orientable, without mentioning where the orientation comes from. I read some books for this, but it involves some $2-$fold covering space, section map and the notion of orientation character, homology, etc.
I understand these basic notions, but I don't want to go too deep for my question, since it seems that my confusion does not need these many notions to be clarified.
I have written a proof in the answer of my own question, but it is really appreciated if anyone have another, either similarly shorter or more intrinsically inspiring answer.
I also sincerely appreciate all the discussions and helps from comments.
Okay, as I said in my edit, thanks to Tyrone, we need to only consider the tangent space at each point as a vector space, so the proof follows immediately from a proof of vector space. That is:
Proof of Lemma:
Suppose $\dim(V)=n$ and $\dim(W)=m$ so that $\dim(V\oplus W)=n+m$. Denote $Y:=V\oplus W$ and since $V$ and $W$ are oriented, we know that $Y$ must be oriented, and thus it has a positive ordered basis $B=(y_{1},\cdots, y_{n+m}).$
Since $V,W$ are oriented, they have positive ordered bases $B_{V}=(v_{1},\cdots, v_{n})$ and $B_{W}=(w_{1},\cdots, w_{m})$. We write $B_{V}B_{W}$ as the concatenation of $B_{V}$ and $B_{W}$, namely the sequence $(v_{1},\cdots, v_{n}, w_{1},\cdots, w_{m})$.
This clearly induces an ordered basis for $Y:=V\oplus W$. Let us denote the change of basis matrix between two basis $b_{1}, b_{2}$ to be $C(b_{1}, b_{2})$. Then to decide if the decomposition $V\oplus W$ of the oriented vector space $Y$ as a direct sum of two oriented subspaces is positive or negative, we need to know if $B_{V}B_{W}$ is a positive or negative ordered basis for $V$, that is, to decide if the change of basis $C(B, B_{V}B_{W})$ has positive or negative determinant.
Firstly, we know that $C(B_{V}B_{W}, B_{W}B_{V})=(-1)^{nm}$ and thus we have $$C(B, B_{V}B_{W})=C(B_{V}B_{W}, B_{W}B_{V})C(B, B_{W}B_{V})=(-1)^{nm}C(B, B_{W}B_{V}).$$
This immediately tells us the "sign" of the decomposition $V\oplus W$ of $Y$ is $(-1)^{nm}$ times the "sign" of the decomposition $W\oplus V$.
Hence, in terms of orientation, we have $$V\oplus W=(-1)^{\dim(V)\dim(W)}(W\oplus V).$$
Proof of my question:
We know that an orientation of a manifold is the coherent orientation of every tangent space of it as a vector space, so to know how the orientation of $M\times N$ is related to that of $N\times M$, we only need to know the relationship between $T_{(p,q)}(M\times N)$ and $T_{(q,p)}(N\times M)$ in terms of orientation.
But we know that $T_{(p,q)}(M\times N)=T_{p}M\oplus T_{q}N$ and $T_{(q,p)}(N\times M)=T_{q}N\oplus T_{p}M$ as vector spaces, and thus it follows from the Lemma that $$T_{(p,q)}(M\times N)=T_{p}M\oplus T_{q}N=(-1)^{\dim(M)\dim(N)}\Big(T_{q}N\oplus T_{p}M\Big)=(-1)^{\dim(M)\dim(N)}T_{(q,p)}(N\times M).$$
Therefore, in terms of orientation $$M\times N=(-1)^{\dim(M)\dim(N)}(N\times M).$$
Back to what I addressed in my question, the flip diffeomorphism is then the change of basis matrix between the basis of $Y:=T_{p}M\oplus T_{q}N$ and the concatenation of the basis $T_{p}M$ with $T_{q}N$, as what we did in the case of vector space.