Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Typo:
quaternionc
$S^4 \sslash \widehat{Sp(2)}$ and $S^7 \sslash \widehat{Sp(2)}$, respectively, where $\widehat{Sp(2)} \,:=\, Fivebrane\big( Sp(2)\big)$.
I like this!
Thanks! Fixed now.
The green text in Def 4.2 looks like it might be missing a hat.
True, thanks! Will fix tomorrow.
We are finalizing this followup article:
$\,$
$\,$
This adds proper equivariance to the twistorial character map discussed previously, and proves that upon flux quantization this includes the localization onto the heterotic M5-brane locus:
$\,$
Abstract. The Green-Schwarz mechanism has been suggested to secretly be a higher gauge theoretic phenomenon, embodying a higher Bianchi identity for a higher-degree analog of a curvature form of a higher gauge field.
Here we prove that the non-perturbative Hořava-Witten Green-Schwarz mechanism for heterotic line bundles in heterotic M-theory with M5-branes parallel to MO9-planes on A1-singularities is accurately encoded in the higher gauge theory for higher gauge group of the equivariant homotopy type of the $\mathbb{Z}_2$-equivariant $A_\infty$-loop group of twistor space. In this formulation, the flux forms of the heterotic gauge field, the B-field on the M5-brane and of the C-field in the M-theory bulk are all unified into the character image of a single cocycle in equivariant twistorial Cohomotopy theory; and that cocycle enforces the quantization condition on all fluxes: the integrality of the gauge flux, the half-shifted integrality of the C-field flux and the integrality of the dual C-field flux (i.e. of the Page charge in the bulk and of the Hopf-WZ term on the M5-brane). This result is in line with the Hypothesis H that M-brane charges are quantized in J-twisted Cohomotopy theory.
The mathematical heart of our proof is the construction of the equivariant twisted non-abelian character map via an equivariant twisted non-abelian de Rham theorem, which we prove; as well as the computation of the equivariant relative minimal model of the $\mathbb{Z}_2$-equivariant Sp(1)-parametrized twistor fibration. We lay out the relevant background in equivariant rational homotopy theory and explain how this brings about the subtle flux quantization relations in heterotic M-theory.
$\,$
Comments are welcome. If you have a look, please grab the latest version of the pdf from behind the above link.
Some quick typos
anaysis; equivarint; co-variantfunctors; equvariant; the the (twice)
Thanks! Fixed now.
Thanks for the alert.
A draft of a possible brief reply is now visible in the Sandbox. Comments are welcome.
Funny these kind of questions. Where else would they expect answers to come from but from authors summarising things already said in their papers. In which case you may as well direct the question to the author and ask for elaboration about what you didn’t get.
On the other hand, it’s a good opportunity to get people to look at your work.
There’s a typo- accomodate.
Good. There really should be pure mathematicians excited by your work.
Hm, does MO not allow to have hyperlink anchors inside a reply?
Have now posted the reply: MO-answer:377154/381.
Thanks again to Dmitri for the alert.
As I commented at MO, the actual question (what can twisted cohomotopy do that other approaches can’t?) is only answered in a nondescript one-sentence paragraph near the end (but before a massive list of references), referring to points made in the previous paragraph in an mildly ambiguous way. I think it a fine explanation, but this should be highlighted in a tl;dr preferably at the top. I skimmed the answer and couldn’t tell where the actual point was. It just looked like a wall of exposition text. It took a close reading to find what I was looking for. Maybe you could say that’s how anyone wanting an answer to the question should read it, but someone unfamiliar with the material is not helped by a small essay if they just want the answer to the question, not the whole background story. That’s not to say the background story shouldn’t be there!
The very first paragraphs of the reply highlight that subquotients of ordinary cohomology groups are not ordinary cohomology anymore – or else you’d conclude from the AHSS that everything is ordinary cohomology. There is a single flux quantization condition enforced by ordinary integral cohomology, namely integrality of the charge, and evidently that’s not the subtle web of conditions in question here. If C-field flux were quantized in ordinary cohomology, there’d be no need for DFM to discuss “models of the C-field”, namely candidate non-ordinary cohomology theories whose structure enforces the peculiar nature of C-field flux. From plain ordinary cohomology in 11d evidently K-theory does not follow, or else the latter were pointless. Ordinary cohomology quantizes non-interacting abelian gauge flux and nothing else, that does’t make an M-theory. It’s extra conditions on top of superficially ordinary cohomology classes which are the content of DMW’s old argument, as explained in the reply’s first section.
One needs to understand, as readers venturing into this discussion might be expected to know, that the Chern-Dold character map and the AHSS are tools to break down any generalized cohomology into ordinary cohomology with a sequence of conditions and identifications imposed on them. It is in this way that, conversely, an intricate web of flux quantization conditions on superficially ordinary cohomlology classes may be unified and be explained by making manifest a single but generalized cohomology theory which enforces them all. It is this nature of flux quantization in generalized cohomology which is the point, cause and aim of the discussion. The reader unclear about this would need to be provided with more explanation of the background story, not less.
It’s not about careful argumentation, but presentation. Winning people over who only have clicked on the question out of curiosity while browsing is not about giving them an essay, but a quick glimpse of why they should slow down and read the detailed justification. Even worse, imagine a string physicist searching for ’hypothesis H’ in Google and finding that question. They would also like to know why they should care. Currently they have to wade past Steenrod operations, the Atiyah–Hirzebruch spectral sequence, the Sullivan model of the 4-sphere. Maybe this doesn’t phase them. Or maybe if they saw at the top of the answer “Hořava-Witten Green-Schwarz mechanism in the presence of M5-branes” they would know this is something they really care about. And then the rest is there so they can invest time in learning what they need to fully appreciate the statement.
Just trying to help you get the message out.
Speaking less politely, for sake of clarity:
It is absurd to suggest that charge quantization in plain ordinary cohomology is of any relevance here. Approached with a question presupposing such a misled notion it behoves any decent reply to start out with explaining the fallacy, in order to arrive at a logical basis on which to lay out a relevant answer.
If a basic clarification of the fundamentals of the topic at hand appears like an inhibitively long “essay” beyond the reading comprehension of the impatient reader looking passively to be “won over”, then that the reader has ventured mistakenly into a subject above their head and should kindly look for leisure reading elsewhere. It is furthermore absurd to suggest that a reader caring to engage in discussion of the topic at hand would be hampered by notions of basic algebraic topology, for if not in these terms there is nothing contentful to be said here.
I heartily disagree with the all too wide-spread attitude of #118 that, allegedly: “It’s not about careful argumentation, but presentation.” On the contrary. Where could we be if not for that awful tendency towards the superficial.
Luckily, it’s a disagreement largely off-topic to this forum here, so I’ll leave it at that and instead look forward to further discussion of the maths/physics content of the topic of the present thread!
allegedly: “It’s not about careful argumentation, but presentation.”
That is not what I’m arguing. I’m saying both are important. I wasn’t claiming anything wrong with the careful argumentation, or that the careful details shouldn’t be there. Just that something might need to grab the eye of someone nonplussed about all the technical details at first. Give them a reason up-front to care, as fast as possible. Maybe someone might get a good impression of your work without wanting to know the details.
But as you say, let’s not flog a dead horse. Your answer is fine, just not how I would have structured it, and that’s not something I should complain about too much!
I was thinking about where a pure mathematician might take particular interest in Hypothesis H. Just as someone working on the enumerative geometry of rational curves on a quintic threefold in the 90s could learn from Candelas et al. on mirror symmetry, might a pure mathematician working on, say, elliptic cohomology benefit from:
we think we see now that there is a natural chromatic character map on twisted Cohomotopy which exhibits the M5-brane partition function as charge-quantized in elliptic cohomology, matching traditional discussion of M5-brane ellitptic genera.
In a curious turn of events, the core of the argument in our
turns out to overlap with a more physics-style but otherwise closely analogous argument in Section 4.1 of:
(While we did cite these authors for a series of articles, we did miss this one. It appeared half a year after our first writeup of the M5 anomaly cancellation argument in sections 2.5 & 4.5 in v1 of arXiv:1904.10207v1, while we were busy splitting it off as the stand-alone preprint that it became two months later.)
So these authors agree that in general the basic component $G_4^{basic}$ (they call it $\gamma_4$) needs to be considered and that one needs some extra assumption on the nature of M-theory to see that it vanishes (their appendix C). Their solution to this problem involves, somewhat implicitly but clearly, the characterization of the tangent structure to sphere-fiber bundles which in our article was encoded in the big diagram at the end:
Namely, on sphere fibrations all stable characteristic classes – notably all polynomials in Pontrjagin classes – are basic. This is what drives the cancellation proof.
In reaction, we have now reworked the discussion in our preprint, by splitting our Section 3 into two parts:
The new Sec. 3.1 gives a general mechanism for cancelling the remaining anomaly term.
The new Sec. 3.2 shows how Hypothesis H implements this mechanism – and uses the occasion to review/explain it all in a bit more detail.
The latest version of this v2 is kept behind the above link.
That’s encouraging, I guess. Have you been in touch with the authors?
Not to discuss politics here. As I said, in reaction we have reworked the writeup as indicated in #122. There is enough interesting mathematical content here to discuss, I’d think!
But don’t feel compelled to get into it. I understand you have other things on your mind. While it’s true that nobody here has entered into discussion of the maths/physics content of this thread much, this doesn’t mean that it has to remain this way, and in my endless optimism I have kept and probably will keep posting updates here. Maybe interested bystanders are silently following the maths content after all. Or will in the future.
I’m lurking and reading the updates :-)
What you call ’politics’ is the subject matter of the philosophy of science, but I can understand not wanting it here.
Some typos
as the anomaly polynomials (’of’ rather than ’as’); tiwsted; coccyle
You have
Atiyah-Penrose twistor fibration $t_{\mathbb{H}}$
but in (22) on the right label both maps are called $h_{\mathbb{C}}$. In any case, why is the first map there labelled ’complex Hopf fibration’ when that’s $S^3 \to S^2$?
Re the final point in #126, is it that you’re calling in (22) that map $h_{\mathbb{C}}: S^7 \to \mathbb{C}P^3$, the complex Hopf fibration, since it corresponds to the map of the fibres over $S^4$?
Oh, I see elsewhere you’re calling it ’7d complex Hopf fibration’.
Thanks for catching the typo in the twistor fibration! Fixed now, in the pdf there.
And, yes, it is fairly standard to call also $S^7 \to \mathbb{C}P^3$ a complex Hopf fibration (after all, it’s given by the same kind of construction, sending real lines to the complex lines that they span, as $S^3 \to S^2$).
Apart from this, the critique of the traditional curvature corrections to the $G_7$-Bianchi identiy is now split off from Remark 6 to its own Remark 7 (p. 7). With a paragraph below it leading over to the need to invoke a more fundamental principle for fixing Bianchi identities (namely cohomological flux quantization).
(Now that we suddenly all agree on the remaining M5-anomaly cancellation argument, this question about the form of the $G_7$-Bianchi identity is the key issue of debate…)
And the other typos I mentioned
as the anomaly polynomials (’of’ rather than ’as’); tiwsted; coccle
Ah, right thanks. Fixed now. Also added some more references on p. 8, and made more explicit the splitting used in the proof of Corollary 21.