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,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Betti multiplets in Kaluza Klein compactifications

+ 6 like - 0 dislike
1284 views

It is well known that if the compactification manifold of a supergravity theory has non-zero Betti numbers, this may lead to the so called Betti multiplets in the spectrum of the low dimensional theory. A famous example is compactification of IIB supergravity on $T^{1,1}$, where a Betti multiplet shows up because of the nonzero second Betti number of $T^{1,1}$.

My question is this: is it the $L^2$-Betti numbers that necessitate Betti multiplets in the low dimensional theory, or just normal Betti numbers? In particular, do Betti numbers generated by discrete identification (orbifolding) of trivial manifolds lead to Betti multiplets? (I am actually not even sure if orbifolding trivial topologies can yield non-zero Betti numbers.) Is there a good reference I can look into for that?

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Arash Arabi
asked Nov 16, 2013 in Theoretical Physics by Arash Arabi (30 points) [ no revision ]

1 Answer

+ 1 like - 0 dislike

No physicist is using $L^2$ Betti numbers, and unless he is a (semi)professional mathematician at the same time, he doesn't even know what these $L^2$ Betti numbers are. So it's surely ordinary Betti numbers that matter in physics.

Otherwise compact (compactification) manifolds always have some nonzero Betti numbers. It is not clear why you think that the Betti numbers should be zero for "orbifolds of trivial topologies". Compact manifolds never have "quite" trivial topologies. The sphere $S^k$ could perhaps be viewed as one with the "nearly trivial" topology similar to the infinite space and it has the maximum number of vanishing Betti numbers, indeed. But aside from the sphere, pretty much all compact manifolds have some nonzero Betti numbers even if we don't count $b_0$ and $b_d$, the zero- and highest-dimensional ones.

The Euler characteristic tends to be divided by the order of the group for orbifolds but the behavior of the general Betti numbers for an orbifold may be very general and complex.

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Luboš Motl
answered Jan 24, 2014 by Luboš Motl (10,278 points) [ no revision ]
Thanks for the response Lubos. Let me explain why I think $L^2$ Betti numbers should matter, and not normal Betti numbers. Start from round $S^k$ ($k>1$) and it has a trivial fundamental group. Now a smooth quotient of the round sphere by a discrete identification leads to a non-trivial fundamental group, hence a non-zero first Betti number. However, smooth quotients do not lead to Betti multiplets in the massless sector; $S^5/Z_3$ compactification of IIB supergravity is an example. Therefore a non-zero Betti number doesn't necessitate a Betti multiplet, but a non-zero $L^2$ Betti number might

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Arash Arabi
I think $L^2$ Betti numbers are roughly Betti numbers on the universal cover (I'm not sure how precise or even correct this sentence is actually). So the complexities with orbifolding procedures are avoided once one speaks of $L^2$ Betti numbers.

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Arash Arabi
Sorry, Arash, we are not studying orbifolds in order to "avoid their complexities". The complexities - the orbifolds' being new solutions that are interesting and shouldn't be overlooked - is the very purpose why people study them. The orbifolds, especially those of flat manifolds, still lead to simpler analyses than their generic resolutions. So whether some other manifolds have simpler Betti numbers of one kind or another is completely irrelevant.

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Luboš Motl
Otherwise your paper arxiv.org/abs/arXiv:1304.1540 about the Z3 orbifold is "solving" a completely trivial problem. The spectrum of SUGRA in an orbifold is just the subspace of the spectrum on the covering space that is invariant under the action of the orbifolding group $\Gamma$. For a $Z_3$, it just means to divide the space to 3 possible eigenvalues and pick one. Nontrivial physics with orbifolds starts in string theory's twisted sectors or, which is what this reduces to in the SUGRA limit, in physics of possible resolutions of the fixed points (orbifold singularities).

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Luboš Motl
These fixed points play an important role in the existence of new states and modified Betti numbers. For example, the Betti numbers of a four-torus T4 are (1,4,6,4,1) but the orbifolds T4/Z2 and T4/Z3 when properly done are K3 manifolds whose Betti numbers are (1,0,22,0,1), very different. Some of them have dropped, some of them have increased, and the exact nature of the orbifolding group and the physics localized near the fixed points were needed to "adjust" the original Betti numbers to the orbifolds' Betti numbers. It's the genuine Betti numbers (1,0,22,0,1) that dictate physics on a K3.

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Luboš Motl
Your comment on orbifolds of T4 and their relation to K3 was very interesting.

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Arash Arabi
I think I should correct my second comment. As you correctly said, we don't want to avoid complexities with singular orbifolds, they are quite interesting in their own right. What I meant was that for smooth orbifolds, there is no added massless Betti multiplets while there are (sometimes) added Betti numbers, hence putting the Betti multiplets in correspondence with Betti numbers doesn't seem correct; but maybe putting Betti multiplets with $L^2$ Betti numbers works.

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Arash Arabi
I also see now, thanks to your comments, that the proposal that $L^2$ Betti numbers are the right ones to use, requires that when the orbifold action is singular, $L^2$ Betti numbers are `not' simply the Betti numbers of the universal cover (otherwise if the cover is smooth, we would loose the Betti multiplets in the twisted sector). I don't know the relation to the universal cover for singular orbifolds though.

This post imported from StackExchange Physics at 2014-03-07 13:10 (UCT), posted by SE-user Arash Arabi

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$ysicsOver$\varnothing$low
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
...