Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

145 submissions , 122 unreviewed
3,930 questions , 1,398 unanswered
4,847 answers , 20,601 comments
1,470 users with positive rep
501 active unimported users
More ...

Topological strings: Why is the complex structure for $T^2$ denoted as $\tau$ in string theory?

+ 2 like - 0 dislike
124 views

In these notes by Vafa on topological string theory he says in page 7 that the moduli of the 2-torus can be repackaged into two quantities: $$A=iR_1/R_2 \,\,\,\,\,\,\,\,\, \tau=iR_2/R_1$$ where $A$ describes the overall area of the torus or its size and $\tau$ describes its complex structure or its shape.

  1. Why $A$ measures the area?
  2. Why is $\tau$ describing the complex structure of $T^2$? The complex structure of $T^2$ which is Kahler is a tensor $J$. What is its relation to this $\tau$? And what has the complex structure to do with the shape of $T^2$? I would assume that the cohomology class of the Kahler form only as to do with the area.
  3. Later he says that this is an example of mirror symmetry in string theory. Why? Mirror symmetry relates two different CYs. Here we only have different moduli of $T^2$
  4. Finally, which parameters actually correspond to the moduli space of $T^2$? Both $A,\tau$ only $A$ or only $\tau$?

This is a quite mathematical question but it is in the heart of string theory.


This post imported from StackExchange Physics at 2015-06-05 09:44 (UTC), posted by SE-user Marion

asked Jun 3, 2015 in Theoretical Physics by Marion Edualdo (250 points) [ revision history ]
edited Jun 5, 2015 by Dilaton

2 Answers

+ 3 like - 0 dislike

I will attempt to answer with very little string theory background - because your questions seem oriented towards this basic case rather then the theory in general.

  1. First, a correction. On page 7 of that article, it defines $A=iR_1R_2$, not $R_1/R_2$. So, since the torus is flat, $A$ is $i$ times the usual area $R_1R_2$.

  2. As you say, a complex structure is a map $J$ such that $J^2=-1$. It comes from thinking of the complex structure on $\mathbb{C}$, where $iz=i(x+iy)=-y+ix$, so it exchanges the roles of the two coordinates. If the torus is a rectangular region of $\mathbb{C}$ with the opposite sides identified, the complex structure is a "rotation+flip", and changes the appearance of the rectangle. Since $\tau$ is the ratio of the two sides of the rectangle, it tells us something about the shape of the torus [some clarity below].

  3. The torus is a CY manifold in 1 dimension, so the symmetry $A\leftrightarrow\tau$ is a map between two CY manifolds. He equates this with T-duality $A\leftrightarrow 1/A$, which is closely related to mirror symmetry.

  4. Well, to be clear we are talking about the torus metrics, which are completely specified by $R_1$ and $R_2$. (This is not the same as "the moduli space of $\mathbb{T}^2$" because that would mean more or less structure, depending on the context. To a topologist, the moduli space of tori is 0-dimensional, since there is only one 2d topological surface with genus 1). That means just $A$ wouldn't cut it - there would be pairs $(R_1,R_2)$ with the same $A$ but different sizes. If you include $\tau$ (linearly independent from $A$), then you can break that degeneracy. So the moduli space is parametrized by either the pair $(R_1,R_2)$ or $(A,\tau)$. (He does say that for more general tori you need to consider real parts for $A$ and $\tau$, so the moduli space would be bigger).

[Some Clarity] In case that wasn't clear - consider the complex structure of $\mathbb{C}$, the imaginary unit $i$. It's action on the edges is

$(R_1,R_2)\rightarrow (-R_2,R_1)$

So what happens to $A$ and $\tau$ under this map?

$$A=iR_1R_2\rightarrow A'=-iR_2R_1$$ $$\tau=iR_2/R_1\rightarrow \tau'=i(R_1)/(-R_2)$$

So $A$ doesn't tell us anything about the complex structure, because under that map we just get $A\rightarrow -A$. However, $\tau\rightarrow -1/\tau$, so $\tau$ tells "how wide" and "how long" the torus is (at least, the ratio of these), which is the complex structure.

This post imported from StackExchange Physics at 2015-06-05 09:44 (UTC), posted by SE-user levitopher
answered Jun 4, 2015 by levitopher (160 points) [ no revision ]
Thanks a lot, this has been extremely useful and helpful. Thanks for correcting my typo as well.

This post imported from StackExchange Physics at 2015-06-05 09:44 (UTC), posted by SE-user Marion
+ 1 like - 0 dislike

I don't know string theory, but I do know about complex structures on 2-tori, also known as complex elliptic curves. Most of your questions were answered by levitopher, I'll just elaborate a bit on that part. The space of all complex structures on a topological torus is called the moduli space of elliptic curves. This means that points of this space correspond exactly to isomorphism classes of elliptic curves, where two elliptic curves are isomorphic if there exists a biholomorphic mapping between them (typically a point is singled out that has to be respected by the mapping, but that is not important).

It can be shown that every complex structure on a torus is obtained as a quotient of the complex plane modulo a lattice, i.e. a discrete subgroup of rank two of the plane, acting by translation: you roll up the plane in two independent directions. An isomorphism is a multiplication by a complex number that induces a bijection on these lattices.

Now let $R_1,R_2$ be two generators of your lattice, hence two complex numbers. I assume that in the first part of the example they authors are thinking of two perpendicular generators $R_1$ and $iR_2$. In general, multiplication by a (nonzero) complex number doesn't change the isomorphism class of the corresponding complex torus, to we use it to scale one of the generators to 1, and we get a lattice generated by $1, R_2/R_1$. Conventionally this scaling is done in such a way that $\tau$ has positive imaginary part. The ratio $R_2/R_1$ is often denoted $\tau$.

Now two complex tori having the same $\tau$ have equivalent complex structures, but the converse doesn't quite hold yet. I think what we have now is the Teichmüller space, which is easy as a space itself, namely the complex upper half plane, but whose moduli interpretation is more technical, namely of complex structures on the torus up to only some complex isomorphisms (namely those isotopic to the identity). To go to the actual moduli space of complex structures, you have to factor out equivalent lattices: e.g. $1, \tau + 1$ generates the same lattice, and $\tau + 1$ corresponds to the same complex structure as $\tau$. This is essentially a change of basis, and all bases are obtained by applying elements of $SL_2(\Bbb Z)$ to a given set of generators. Note that this directly translates into an action on $\tau$ by Möbius transformations:

$$\begin{pmatrix} a & b \\ c & d\end{pmatrix}\tau = \frac{a\tau + b}{c\tau + d}$$

The quotient of the complex upper half plane (with coordinate $\tau$) under the action of $SL_2(\Bbb Z)$ is exactly the moduli space of complex structures on a topological torus.

This post imported from StackExchange Physics at 2015-06-05 09:45 (UTC), posted by SE-user doetoe
answered Jun 4, 2015 by doetoe (110 points) [ no revision ]

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOve$\varnothing$flow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
To avoid this verification in future, please log in or register.




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...