• 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.


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


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,075 questions , 2,226 unanswered
5,348 answers , 22,757 comments
1,470 users with positive rep
818 active unimported users
More ...

  Relation of cubical structures in M-theory, in Heterotic string theory (and maybe in F-theory)?

+ 7 like - 0 dislike

It is "well known" that 

  • on the hand there is a "cubical line bundle" governing the fine structure of the Chern-Simons term in 11-dimensional supergravity/M-theory; 
  • on the other hand just such "cubical lines" on elliptic curves induce the elliptic cohomology refinement of the partition function of the heterotic string.

I provide a review of that with pointers to the literature below, to be self-contained. First though my question:

it is natural to speculate that these two "cubical structures" are in fact "the same", or at least closely related. In fact it seems to me that standard F-theory lore gives a way to relate them in some detail (this, too, I spell out below). But I am not really sure yet about the full story. My question is:

has this or anything like this been considered/worked out anywhere? 

Here now more details on and pointers to what I have in mind here:

Cubical Structure in M-Theory

It is well known that when the higher Chern-Simons term in 11-dimensional supergravity is compactified on a 4-sphere to yield the 7-dimensional Chern-Simons theory which inside AdS7/CFT6 is dual to the M5-brane 6d (2,0)-superconformal QFT, the cup product square in ordinary differential cohomology that enters its definition is to receive a quadratic refinement. This was originally argued in (Witten 97) and then formalized and proven in (Hopkins-Singer 02).

What though is the situation up in 11 dimensions before compactifying to 7-dimensions?

In (DFM 03, section 9) it is claimed that the full 11-dimensional Chern-Simons term evaluated on the supergravity C-field (with its flux quantization correction, see there) indeed carries a cubic refinement.

More precisely, and slightly paraphrasing, the transgression \(\int_X \mathrm{CS}_{11}(\hat C)\) of the 11-dimensional Chern-Simons term of 11d SuGra to 10d spacetime X is a complex line bundle on the moduli space CField(X) of supergravity C-fields \(\hat C\)  is claimed to be such that its “cubical line” \(\Theta^3\left(\int_X \mathrm{CS}_{11}(\hat C)\right)\) (in the notation at cubical structure on a line bundle) is the line bundle on the space of triples of C-field configurations which is given by the transgression of the three-fold cup product in ordinary differential cohomology,

\(\Theta^3\left(\int_X \mathrm{CS}_{11}(\hat -)\right) \simeq \int_X (\hat -)_1 \cup (\hat -)_2 \cup (\hat-)_3\)



In the context of “F-theory compactifications” of M-theory, one considers C-fields on an elliptic fibration which are “factorizable fluxes”, in that their underlying cocycle \(\hat C\) in ordinary differential cohomology is the cup product of a cocycle \(\hat C_{fib }\) on the fiber with one \(\hat C_{b}\) on the base

\(\hat C = \hat C_{b} \cup \hat C_{fib}\)

In approaches like (GKP 12 (around p. 19)KMW 12) the C-field is factored as a cup product of a degree-2 cocycle on the elliptic fiber with a degree-2 class in the Calabi-Yau-base. This makes the component of the C-field on the elliptic fiber a complex line bundle (with connection). Notice that the space of complex line bundles on an elliptic curve is dual to the elliptic curve itself.

On the other hand in e.g. (DFM 03, p.38) the factorization is taken to be that of two degree-3 cocycles in the base (which are then identified with the combined degree-3 RR-field/B-field flux coupled to the (p,q)-string) with, respectively, the two canonical degree-1 cocycles \(\hat t_i\) on the elliptic fiber which are given by the two canonical coordinate functions \(t_i\) (speaking of a framed elliptic curve). In this case the fiber-component of thesupergravity C-field “is” the elliptic curve-fiber,

\(\hat C = \hat B_{NS} \cup \hat t_1 + \hat B_{RR}\cup \hat t_2\)

or equivalently: each point in the moduli space of H-flux in 10d induces an identification of the G-flux with the elliptic curve this way.

This is maybe noteworthy in that when the C-field is identified with the compactification elliptic curve in this way, then the formula for \(\Theta^3\left(\int_X \mathrm{CS}_{11}(\hat C)\right)\) as above is exactly that appearing in the definition of a cubical structure on a line bundle over an elliptic curve. But a “cubical” trivialization of \(\Theta^3(\mathcal{O}(-\{0\}))\) over a given elliptic curve is what in (Hopkins 02AHS01) is used to induce the sigma-orientation of the corresponding elliptic cohomology theory and in totality the string-orientation of tmf. But that is the refinement of the Witten genus, hence of the partition function of the heterotic string.

Now, by the above M-theoretic equivalence, the cubical trivialization is also given by a trivialization of the topological class of the C-field. This is one way (or is at least closely related) to the trivialization of the anomaly line bundle which “sets the quantum integrand” of M-theory.

So there is a curious coincidence of concepts here, which might want to become a precise identification:

on the one hand there is naturally a cubical structure on a line bundle on the Chern-Simons line bundle over the moduli space of supergravity C-fields which for F-theory compactifications and factorizable flux configurations induces in particular a cubical structure on a line bundle over the compactification elliptic curve. On the other hand, the latter are the structures that enter the refined construction of the Witten genus via the string orientation of tmf.

Has this been related further anywhere?

asked May 13, 2014 in Theoretical Physics by Urs Schreiber (6,095 points) [ revision history ]
retagged May 21, 2014 by dimension10

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:
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