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

PO is now at the Physics Department of Bielefeld University!

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

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,786 comments
1,470 users with positive rep
820 active unimported users
More ...

  Role for generalized geometries in string theory

+ 8 like - 0 dislike
5055 views

What role do generalized geometries (in terms of Dirac structures, for instance, symplectic, Poisson, complex, and generalized complex structures in the sense of Hitchin, Cavalcanti, and Gualtieri) play in string theory?

EDIT: More generally, what role to Dirac structures (subbundles of the generalized tangent bundle $TM \bigoplus T^*M$ which are maximally isotropic to the natural pairing and closed under the Courant bracket) play?

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Yaniel Cabrera
asked Oct 22, 2010 in Theoretical Physics by Yaniel Cabrera (70 points) [ no revision ]
retagged Dec 20, 2014
Most voted comments show all comments
@both: if generalized complex structures are different from generalized geometries, then my question refers to generalized geometries. The type described in the comment right above this one. And yes David MJC, feel free to elaborate!

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Yaniel Cabrera
Unfortunately, I cannot edit your post to clarify that you are referring to geometric structures on $T\oplus T^*$, not just orthogonal complex structures. But I am willing to elaborate on my answer in due course anyway (despite being very busy IRL). I hope other MO contributors will provide answers too.

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user David MJC
Ah- right, so you mean Dirac structures, of course! I'll update it.

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user David Carchedi
Well, not really: $T\oplus T^*$ already has a Dirac structure, namely the maximal isotropic subspace $T$. Generalized geometry does not necessarily concern the study of other Dirac structures. This links with Urs' answer, and I will add a bit to my answer below.

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user David MJC
Related question on Phys.SE: physics.stackexchange.com/q/27615/2451

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Qmechanic
Most recent comments show all comments
The updated version changes the scope of the question. Generalized geometries play a much broader role in string theory that generalized complex structures do. If the question concerns the specific role played by generalized complex structures, then my answer to date (already brief 23/10) is inadequate.

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user David MJC
@Yaniel: feel free to update my edit if this is not exactly what you meant. @David: What other types of "generalized geometries" do you mean? Are you counting such things as orbifolds under this umbrella?

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user David Carchedi

4 Answers

+ 9 like - 0 dislike

What is called "generalized complex geometry" is really the study of symplectic Lie 2-algebroids, going by the name "Courant algebroid"s.

This is the beginning of a sequence of Lie n-algebroids -- symplectic Lie n-algebroids -- that goes along with n-dimensional quantum field theory.

As with ordinary symplectic structures, they appear in two (related) roles: as curvatures of lines bundles on target space and then as curvatures on bundles on phase space, via geometric quantization. Similarly for the string: the line 2-bundle aka bundle gerbe on target space that the string is charged under has an underlying Courant Lie 2-algebroid. This witnesses notably the T-duality on this background structure. But also the geometric quantization of the string in multisymplectic geometry is governed by a gerbe and its Courant Lie 2-algebroid -- on extended phase space.

See for instance Baez-Rogers; Categorified Symplectic Geometry and the String Lie 2-Algebra 


This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Urs Schreiber

answered Oct 23, 2010 by Urs Schreiber (6,095 points) [ revision history ]
edited Dec 20, 2014 by Urs Schreiber
Beware of thinking generalized geometry means complex. The real case is of sufficient interest, cf. double field theory

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Jim Stasheff
Hi Urs, do you know if there is a 3d (or higher) generalized B model depending on such a structure? Can you elaborate also on T-duality in this context?
+ 7 like - 0 dislike

Let me add something to what David and Urs have written already, since the way those two answers are shaping up, perhaps what I'm about to say does not get mentioned.

One of the most interesting applications of generalised geometry in string theory is in the study of supersymmetric flux compactifications. Ten-dimensional superstring theories have a well-defined limit (=the effective theory of massless states) which corresponds to ten-dimensional supergravity theories. One way to view these theories is as variational problems for certain geometric PDEs which generalise the Einstein-Maxwell equations. The dynamical variables consist of a lorentzian ten-dimensional metric and some extra fields, depending on the theory in question. One set of of fields common to the ten- and eleven-dimensional supergravity theories are $p$-forms obeying possibly nonlinear versions of Maxwell equations. In the Physics literature these $p$-form fields are called fluxes and the geometric data consisting of the lorentzian manifold, the fluxes and any other fields all subject to the field equations are known as supergravity backgrounds.

These supergravity backgrounds are actually not just lorentzian manifolds, but in fact they are spin and part of the baggage of the supergravity theory is a connection (depending on the fluxes,...) on the spinor bundle, which defines a notion of parallel transport. Parallel spinor fields are known as (supergravity) Killing spinors and backgrounds admitting Killing spinors are called supersymmetric.

One way to make contact with the 4-dimensional physics of everyday experience is to demand that the ten-dimensional geometry be of the form $M \times K$, where $M$ is a four-dimensional lorentzian spacetime (usually a lorentzian spaceform: Minkowski, de Sitter or anti de Sitter spacetimes) and $K$ a compact six-dimesional riemannian manifold, known as the compactification manifold.

When all fields, except the metric, are set to zero, the connection agrees with the spin lift of the Levi-Civita connection and supersymmetric backgrounds of this type are lorentzian Ricci-flat manifolds admitting parallel spinor fields. If we demand that they be metrically a product $M \times K$ as described above, then a typical solution is $M$ being Minkowski spacetime and $K$ a six-dimensional manifold admitting parallel spinors; that is, a Calabi-Yau manifold, by which I mean simply a manifold with holonomy contained in $SU(3)$. This result, which today seems quite unassuming, was revolutionary when it was first discovered in the 1985 paper of Candelas, Horowitz, Strominger and Witten. That paper is responsible for the interest of physicists in Calabi-Yau manifolds and ensuing rapprochement between physicists and algebraic geometers, the fruits of which we're still reaping today.

But Calabi-Yau compactifications are in fact very special from the physics point of view: since most of the fields in the theory (especially the fluxes) have been turned off. Generalised geometry enters in the search for more realistic "flux compactifications". One of the fields which all ten-dimensional supergravity theories have in common is the $B$-field (also called Kalb-Ramond field). One of Hitchin's motivations for the introduction of generalised geometry was to give a natural geometric meaning to the $B$-field. For example, the automorphism group of the Courant algebroid $T \oplus T^*$ is the semidirect product of the group of diffeomorphisms and $B$-field transformations.

More generally, I think that it is still true that all known supersymmetric flux compactifications $M \times K$ (even allowing for warped metrics) of ten-dimensional supergravity theories are such that $K$ is a generalised Calabi-Yau manifold. The fluxes turn out to be related to the pure spinors in the definition of a GCY structure. There are many papers on this subject and perhaps a good starting point is this review by Mariana Graña.

There are other uses of generalised geometry in string theory, e.g., the so-called doubled field theory formalism, as in this recent paper of Chris Hull and Barton Zwiebach.

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user José Figueroa-O'Farrill
answered Oct 25, 2010 by José Figueroa-O'Farrill (2,315 points) [ no revision ]
There is an obvious graded version of generalized geometry. Is the definition written down formally anywhere?

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Jim Stasheff
Double field theory goes beyond generalized geometry as Andreas Deser and I tried to explain in our recent posting arxiv.org/abs/1406.3601

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Jim Stasheff
@JimStasheff, I agree, but I have not seen it written down anywhere.

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user José Figueroa-O'Farrill
+ 6 like - 0 dislike

Generalized geometry (in Hitchin's sense, following Courant and Dorfman) is adapted to the physical motion of string-like particles in the same way that traditional geometry is adapted to the physical motion of point-like particles. More general generalized geometries are useful in connection with higher dimensional objects such as membranes (and hence also M-theory). Pavol Severa's first letter to Alan Weinstein is a nice early reference point for the basic idea.

Update 1. I won't be able to add significantly to this post until Tuesday perhaps, but I want to indicate some of the relationships between my answer (as it is and to come) and Urs'. Ignoring higher dimensional objects than strings for now, generalized geometry initially concerns geometry on the generalized tangent bundle $T\oplus T^*$ (where $T=TM$ is the tangent bundle of a manifold $M$). The bundle $T\oplus T^*$ has a natural symmetric form with respect to which both $T$ and $T^*$ are maximal isotropic.

However, generalized geometry takes the point of view that $T\oplus T^*$ is an extension of $T$ by $T^*$, and is thus an example of a Courant algebroid $CA$, in that there is a short exact sequence $0\to T^*\to CA\to T\to 0$, where $CA$ has a symmetric form and other structure (the Courant bracket) making it isomorphic to $T\oplus T^*$ for suitable isotropic splittings of the exact sequence. A Dirac structure is such an isotropic splitting.

From the naive $T\oplus T^*$ viewpoint, a Dirac structure is given by an orthogonal involution of $T\oplus T^*$ whose eigenspaces do not meet $T^*$. Generalized complex geometry is a subfield of generalized geometry, in which one studies orthogonal complex structures on $T\oplus T^*$ instead of involutions. However, there are interesting structures on $T\oplus T^*$ which involve neither Dirac structures nor generalized complex structures. This should not be surprising: there is more to ordinary geometry than involutions and complex structures.

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user David MJC
answered Oct 22, 2010 by David MJC (60 points) [ no revision ]
I am willing to elaborate on this answer considerably!

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user David MJC
As a rough guideline, a post here of about 10 times the length of your current post would be read; 40 times the length might not be. Links to explanations are also welcome. Gerhard "Ask Me About System Design" Paseman, 2010.10.22

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Gerhard Paseman
Welcome to MO, David!

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user José Figueroa-O'Farrill
Thanks José, and thanks for your answer above (now!), which complements the math viewpoint nicely, and will make it easier for me to elaborate on my comments when I get time!

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user David MJC
+ 2 like - 0 dislike

I would like to add that generalized geometry in the sense of Hitchin is also a good framework for the notion of brane (a very important notion in what physicists call M-theory) and also T-dualities one of which is mirror symmetry. Especially I have read an article basically saying that the category of generalized Calabi-Yau manifolds provide a good canditate for the Homological Mirror Symmetry conjecture but I don't remember the article anymore, sorry, maybe José Figueroa-O'Farrill does remember. See also the question: Mirror symmetries for generalized geometries ?.

EDIT: The article I was searching is: http://arxiv.org/abs/1106.1747.

This post imported from StackExchange MathOverflow at 2014-12-20 12:50 (UTC), posted by SE-user Benjamin
answered May 30, 2011 by Benjamin (20 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$ysicsOv$\varnothing$rflow
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).
Please complete the anti-spam verification




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

Your rights
...