arroy_0205 said:
2. Is there any difference between two spacetimes: S^1/Z_2 and S^1XZ_2 ? note that the first one denotes compactification in Randall-Sundrum models. I have never seen the second notation but my confusion is am I allowed to write Z_2 term this way or not. When should we write X and when use / notations?
My guess is that when we use X sign we mean one or more dimension(s) and its nature(like S^1XR^n etc) and when we use / notation we mean a condition on the immediately previous dimension (in this case miror symmetry). is that correct?
In brief: / is used to denote an equivalence relation and \times to denote a Cartesian product. If S is any set, and R is any equivalence relation on S, you are allowed to write S/R; If S and T are any two sets, you are allowed to write S \times T
Now, more details.
Given a set S, an equivalence relation R on S partitions S into a union of disjoint subsets. Picture S as a rectangle and R as a few horizontal and vertical lines that partition S into a bunch of smaller rectangles. Each smaller rectangle counts as just one point in the set S/R, so in some sense (but maybe not in a cardinality sense), S/R is smaller than S. S/R is often called a factor or quotient space.
Sets are often more useful when they have additional structures that turn them into things like topological spaces, or groups, or vector spaces, or algebras, etc. A good question, then, is: If S is a whatever (set with structure) and R is an equivalence relation on S, is the quotient space S/R also whatever? Maybe.
As an example, consider a group G and a normal (i.e., left cosets = right cosets) subgroup H of G. Any subgroup generates an equivalence relation R on the whole group in a (couple of) natural way(s), but a normal subgroup does so such that structure is preserved. In other words, G/R is also a group. The smaller rectangles can be multiplied together in such a way that axioms of group multiplication are satisfied. Usually, G/H is written instead of G/R.
In order to see what S^1 / \mathbb{Z}_2 is, you might want to look at the first seven posts in
https://www.physicsforums.com/showthread.php?t=180261", although the thread might just confuse you. These posts are about problem 2.4 (a) from Zwiebach's book.
Given sets S and T, S \times T is the set of ordered pairs
S \times T = \left\{ \left( s , t \right) | s \in S, t \in T \right\},
which, in some sense (again, not necessarily in the sense of cardinality), is bigger than either S or T.
In particular, for any set S, S \times \mathbb{Z}_2 is just two separate copies of S.
For groups G and H (here, H is a not a subgroup of G), the set of order pairs is turned into a group by defining
\left(g_1 , h_1 \right) \left(g_2 , h_2 \right) = \left(g_1 g_2 , h_1 h_2 \right).
Each of the two groups does its own thing separately.
In quantum theory, we want groups to act on something, i.e., we want group elements to act (possibly internally) on states. We do this by representing the group elements by linear operators on state space, which then act on state space. State space is the carrier space for a representation of the group.
Also in quantum theory, the state space of a combined system is the tensor product of the state spaces of the individual parts (think |>|>). In this way \times, the Cartesian product of groups, acts through a representation on a tensor product \otimes of spaces, as blechman has said.
This thread is about more than just notation. While communication is impossible without understanding notation, notation itself is used with respect to underlying concepts. Presenting these concepts takes more than a few posts in a thread; real study is required.
