Orbifold

From Wikipedia, the free encyclopedia - View original article

 
Jump to: navigation, search

This terminology should not be blamed on me. It was obtained by a democratic process in my course of 1976–77. An orbifold is something with many folds; unfortunately, the word “manifold” already has a different definition. I tried “foldamani”, which was quickly displaced by the suggestion of “manifolded”. After two months of patiently saying “no, not a manifold, a manifoldead,” we held a vote, and “orbifold” won.

Thurston (1980, section 13.2) explaining the origin of the word "orbifold"

In the mathematical disciplines of topology, geometry, and geometric group theory, an orbifold (for "orbit-manifold") is a generalization of a manifold. It is a topological space (called the underlying space) with an orbifold structure (see below).

The underlying space locally looks like the quotient space of a Euclidean space under the linear action of a finite group. Definitions of orbifold have been given several times: by Satake in the context of automorphic forms in the 1950s under the name V-manifold;[1] by Thurston in the context of the geometry of 3-manifolds in the 1970s[2] when he coined the name orbifold, after a vote by his students; and by Haefliger in the 1980s in the context of Gromov's programme on CAT(k) spaces under the name orbihedron.[3] The definition of Thurston will be described here: it is the most widely used and is applicable in all cases.

Mathematically, orbifolds arose first as surfaces with singular points long before they were formally defined.[4] One of the first classical examples arose in the theory of modular forms[5] with the action of the modular group SL(2,Z) on the upper half-plane: a version of the Riemann–Roch theorem holds after the quotient is compactified by the addition of two orbifold cusp points. In 3-manifold theory, the theory of Seifert fiber spaces, initiated by Seifert, can be phrased in terms of 2-dimensional orbifolds.[6] In geometric group theory, post-Gromov, discrete groups have been studied in terms of the local curvature properties of orbihedra and their covering spaces.[7]

In string theory, the word "orbifold" has a slightly different meaning,[8] discussed in detail below. In conformal field theory, a mathematical part of string theory, it is often used to refer to the theory attached to the fixed point subalgebra of a vertex algebra under the action of a finite group of automorphisms.

The main example of underlying space is a quotient space of a manifold under the properly discontinuous action of a possibly infinite group of diffeomorphisms with finite isotropy subgroups.[9] In particular this applies to any action of a finite group; thus a manifold with boundary carries a natural orbifold structure, since it is the quotient of its double by an action of Z2. Similarly the quotient space of a manifold by a smooth proper action of S1 carries the structure of an orbifold.

Orbifold structure gives a natural stratification by open manifolds on its underlying space, where one stratum corresponds to a set of singular points of the same type.

It should be noted that one topological space can carry many different orbifold structures. For example, consider the orbifold O associated with a factor space of the 2-sphere along a rotation by \pi^{}_{} ; it is homeomorphic to the 2-sphere, but the natural orbifold structure is different. It is possible to adopt most of the characteristics of manifolds to orbifolds and these characteristics are usually different from correspondent characteristics of underlying space. In the above example, the orbifold fundamental group of O is Z2 and its orbifold Euler characteristic is 1.

Formal definitions[edit]

Like a manifold, an orbifold is specified by local conditions; however, instead of being locally modelled on open subsets of Rn, an orbifold is locally modelled on quotients of open subsets of Rn by finite group actions. The structure of an orbifold encodes not only that of the underlying quotient space, which need not be a manifold, but also that of the isotropy subgroups.

An n-dimensional orbifold is a Hausdorff topological space X, called the underlying space, with a covering by a collection of open sets Ui, closed under finite intersection. For each Ui, there is

The collection of orbifold charts is called an orbifold atlas if the following properties are satisfied:

The orbifold atlas defines the orbifold structure completely: two orbifold atlases of X give the same orbifold structure if they can be consistently combined to give a larger orbifold atlas. Note that the orbifold structure determines the isotropy subgroup of any point of the orbifold up to isomorphism: it can be computed as the stabilizer of the point in any orbifold chart. If Ui  \subset Uj  \subset Uk, then there is a unique transition element gijk in Γk such that

gijk·ψik = ψjk·ψij

These transition elements satisfy

(Ad gijkfik = fjk·fij

as well as the cocycle relation (guaranteeing associativity)

fkm(gijkgikm = gijm·gjkm.

More generally, attached to an open covering of an orbifold by orbifold charts, there is the combinatorial data of a so-called complex of groups (see below).

Exactly as in the case of manifolds, differentiability conditions can be imposed on the gluing maps to give a definition of a differentiable orbifold. It will be a Riemannian orbifold if in addition there are invariant Riemannian metrics on the orbifold charts and the gluing maps are isometries.

For applications in geometric group theory, it is often convenient to have a slightly more general notion of orbifold, due to Haefliger. An orbispace is to topological spaces what an orbifold is to manifolds. An orbispace is a topological generalization of the orbifold concept. It is defined by replacing the model for the orbifold charts by a locally compact space with a rigid action of a finite group, i.e. one for which points with trivial isotropy are dense. (This condition is automatically satisfied by faithful linear actions, because the points fixed by any non-trivial group element form a proper linear subspace.) It is also useful to consider metric space structures on an orbispace, given by invariant metrics on the orbispace charts for which the gluing maps preserve distance. In this case each orbispace chart is usually required to be a length space with unique geodesics connecting any two points.

Examples[edit]

Orbifold fundamental group[edit]

There are several ways to define the orbifold fundamental group. More sophisticated approaches use orbifold covering spaces or classifying spaces of groupoids. The simplest approach (adopted by Haefliger and known also to Thurston) extends the usual notion of loop used in the standard definition of the fundamental group.

An orbifold path is a path in the underlying space provided with an explicit piecewise lift of path segments to orbifold charts and explicit group elements identifying paths in overlapping charts; if the underlying path is a loop, it is called an orbifold loop. Two orbifold paths are identified if they are related through multiplication by group elements in orbifold charts. The orbifold fundamental group is the group formed by homotopy classes of orbifold loops.

If the orbifold arises as the quotient of a simply connected manifold M by a proper rigid action of a discrete group Γ, the orbifold fundamental group can be identified with Γ. In general it is an extension of Γ by π1 M.

The orbifold is said to be developable or good if it arises as the quotient by a finite group action; otherwise it is called bad. A universal covering orbifold can be constructed for an orbifold by direct analogy with the construction of the universal covering space of a topological space, namely as the space of pairs consisting of points of the orbifold and homotopy classes of orbifold paths joining them to the basepoint. This space is naturally an orbifold.

Note that if an orbifold chart on a contractible open subset corresponds to a group Γ, then there is a natural local homomorphism of Γ into the orbifold fundamental group.

In fact the following conditions are equivalent:

Non-positively curved orbispaces[edit]

As explained above, an orbispace is basically a generalization of the orbifold concept applied to topological spaces. Let then X be an orbispace endowed with a metric space structure for which the charts are geodesic length spaces. The preceding definitions and results for orbifolds can be generalized to give definitions of orbispace fundamental group and universal covering orbispace, with analogous criteria for developability. The distance functions on the orbispace charts can be used to define the length of an orbispace path in the universal covering orbispace. If the distance function in each chart is non-positively curved, then the Birkhoff curve shortening argument can be used to prove that any orbispace path with fixed endpoints is homotopic to a unique geodesic. Applying this to constant paths in an orbispace chart, it follows that each local homomorphism is injective and hence:

Complexes of groups[edit]

Every orbifold has associated with it an additional combinatorial structure given by a complex of groups.

Definition[edit]

A complex of groups (Y,f,g) on an abstract simplicial complex Y is given by

The group elements must in addition satisfy the cocycle condition

fπρ(gρστ) gπρτ = gπστ gπρσ

for every chain of simplices π \subset ρ\subset σ\subset τ. (This condition is vacuous if Y has dimension 2 or less.)

Any choice of elements hστ in Γσ yields an equivalent complex of groups by defining

A complex of groups is called simple whenever gρστ = 1 everywhere.

It is often more convenient and conceptually appealing to pass to the barycentric subdivision of Y. The vertices of this subdivision correspond to the simplices of Y, so that each vertex has a group attached to it. The edges of the barycentric subdivision are naturally oriented (corresponding to inclusions of simplices) and each directed edge gives an inclusion of groups. Each triangle has a transition element attached to it belonging to the group of exactly one vertex; and the tetrahedra, if there are any, give cocycle relations for the transition elements. Thus a complex of groups involves only the 3-skeleton of the barycentric subdivision; and only the 2-skeleton if it is simple.

Example[edit]

If X is an orbifold (or orbispace), choose a covering by open subsets from amongst the orbifold charts fi : Vi \rightarrow Ui. Let Y be the abstract simplicial complex given by the nerve of the covering: its vertices are the sets of the cover and its n-simplices correspond to non-empty intersections Uα = Ui1 \cap ··· \cap Uin. For each such simplex there is an associated group Γα and the homomorphisms fij become the homomorphisms fστ. For every triple ρ  \subset σ  \subset τ corresponding to intersections

Ui \supset Ui \cap Uj \supset Ui \cap Uj \cap Uk

there are charts φi : Vi \rightarrow Ui, φij : Vij \rightarrow Ui \cap Uj and φijk : Vijk \rightarrow Ui \cap Uj \cap Uk and gluing maps ψ : V ij \rightarrow Vi, ψ' : V ijk \rightarrow Vij and ψ" : V ijk \rightarrow Vi.

There is a unique transition element gρστ in Γi such that gρστ·ψ" = ψ·ψ'. The relations satisfied by the transition elements of an orbifold imply those required for a complex of groups. In this way a complex of groups can be canonically associated to the nerve of an open covering by orbifold (or orbispace) charts. In the language of non-commutative sheaf theory and gerbes, the complex of groups in this case arises as a sheaf of groups associated to the covering Ui; the data gρστ is a 2-cocycle in non-commutative sheaf cohomology and the data hστ gives a 2-coboundary perturbation.

Edge-path group[edit]

The edge-path group of a complex of groups can be defined as a natural generalisation of the edge path group of a simplicial complex. In the barycentric subdivision of Y, take generators eij corresponding to edges from i to j where i \rightarrow j, so that there is an injection ψij : Γi  \rightarrow Γj. Let Γ be the group generated by the eij and Γk with relations

eij –1 · g · eij = ψij(g)

for g in Γi and

eik = ejk·eij·gijk

if i \rightarrow j \rightarrow k.

For a fixed vertex i0, the edge-path group Γ(i0) is defined to be the subgroup of Γ generated by all products

g0 · ei0 i1 · g1 · ei1 i2 · ··· · gn · eini 0

where i0, i1, ..., in, i0 is an edge-path, gk lies in Γik and eji=eij−1 if i \rightarrow j.

Developable complexes[edit]

A simplicial proper action of a discrete group Γ on a simplicial complex X with finite quotient is said to be regular if it satisfies one of the following equivalent conditions (see Bredon 1972):

The fundamental domain and quotient Y = X / Γ can naturally be identified as simplicial complexes in this case, given by the stabilisers of the simplices in the fundamental domain. A complex of groups Y is said to be developable if it arises in this way.

The action of Γ on the barycentric subdivision X ' of X always satisfies the following condition, weaker than regularity:

Indeed simplices in X ' correspond to chains of simplices in X, so that a subsimplices, given by subchains of simplices, is uniquely determined by the sizes of the simplices in the subchain. When an action satisfies this condition, then g necessarily fixes all the vertices of σ. A straightforward inductive argument shows that such an action becomes regular on the barycentric subdivision; in particular

There is in fact no need to pass to a third barycentric subdivision: as Haefliger observes using the language of category theory, in this case the 3-skeleton of the fundamental domain of X" already carries all the necessary data – including transition elements for triangles – to define an edge-path group isomorphic to Γ.

In two dimensions this is particularly simple to describe. The fundamental domain of X" has the same structure as the barycentric subdivision Y ' of a complex of groups Y, namely:

An edge-path group can then be defined. A similar structure is inherited by the barycentric subdivision Z ' and its edge-path group is isomorphic to that of Z.

Orbihedra[edit]

If a countable discrete group acts by a regular simplicial proper action on a simplicial complex, the quotient can be given not only the structure of a complex of groups, but also that of an orbispace. This leads more generally to the definition of "orbihedron", the simplicial analogue of an orbifold.

Definition[edit]

Let X be a finite simplicial complex with barycentric subdivision X '. An orbihedron structure consists of:

This action of Γi on Li' extends to a simplicial action on the simplicial cone Ci over Li' (the simplicial join of i and Li'), fixing the centre i of the cone. The map φi extends to a simplicial map of Ci onto the star St(i) of i, carrying the centre onto i; thus φi identifies Ci / Γi, the quotient of the star of i in Ci, with St(i) and gives an orbihedron chart at i.

If i \rightarrow j  \rightarrow k, then there is a unique transition element gijk in Γk such that

gijk·ψik = ψjk·ψij

These transition elements satisfy

(Ad gijkfik = fjk·fij

as well as the cocycle relation

ψkm(gijkgikm = gijm·gjkm.

Main properties[edit]

Triangles of groups[edit]

Historically one of the most important applications of orbifolds in geometric group theory has been to triangles of groups. This is the simplest 2-dimensional example generalising the 1-dimensional "interval of groups" discussed in Serre's lectures on trees, where amalgamated free products are studied in terms of actions on trees. Such triangles of groups arise any time a discrete group acts simply transitively on the triangles in the affine Bruhat-Tits building for SL3(Qp); in 1979 Mumford discovered the first example for p = 2 (see below) as a step in producing an algebraic surface not isomorphic to projective space, but having the same Betti numbers. Triangles of groups were worked out in detail by Gersten and Stallings, while the more general case of complexes of groups, described above, was developed independently by Haefliger. The underlying geometric method of analysing finitely presented groups in terms of metric spaces of non-positive curvature is due to Gromov. In this context triangles of groups correspond to non-positively curved 2-dimensional simplicial complexes with the regular action of a group, transitive on triangles.

Triangle.Centroid.svg

A triangle of groups is a simple complex of groups consisting of a triangle with vertices A, B, C. There are groups

There is an injective homomorphisms of ΓABC into all the other groups and of an edge group ΓXY into ΓX and ΓY. The three ways of mapping ΓABC into a vertex group all agree. (Often ΓABC is the trivial group.) The Euclidean metric structure on the corresponding orbispace is non-positively curved if and only if the link of each of the vertices in the orbihedron chart has girth at least 6.

This girth at each vertex is always even and, as observed by Stallings, can be described at a vertex A, say, as the length of the smallest word in the kernel of the natural homomorphism into ΓA of the amalgamated free product over ΓABC of the edge groups ΓAB and ΓAC:

 \Gamma_{AB} \star_{\,\Gamma_{ABC}} \Gamma_{AC} \rightarrow \Gamma_A.

The result using the Euclidean metric structure is not optimal. Angles α, β, γ at the vertices A, B and C were defined by Stallings as 2π divided by the girth. In the Euclidean case α, β, γ ≤ π/3. However, if it is only required that α + β + γ ≤ π, it is possible to identify the triangle with the corresponding geodesic triangle in the hyperbolic plane with the Poincaré metric (or the Euclidean plane if equality holds). It is a classical result from hyperbolic geometry that the hyperbolic medians intersect in the hyperbolic barycentre,[10] just as in the familiar Euclidean case. The barycentric subdivision and metric from this model yield a non-positively curved metric structure on the corresponding orbispace. Thus, if α+β+γ≤π,

Mumford's example[edit]

Let α = \sqrt{-7} be given by the binomial expansion of (1 − 8)1/2 in Q2 and set K = Q(α) \subset Q2. Let

ζ = exp 2πi/7
λ = (α − 1)/2 = ζ + ζ2 + ζ4
μ = λ/λ*.

Let E = Q(ζ), a 3-dimensional vector space over K with basis 1, ζ and ζ2. Define K-linear operators on E as follows:

The elements ρ, σ and τ generate a discrete subgroup of GL3(K) which acts properly on the affine Bruhat–Tits building corresponding to SL3(Q2). This group acts transitively on all vertices, edges and triangles in the building. Let

σ1 = σ, σ2 = ρσρ−1, σ3 = ρ2σρ−2.

Then

The elements σ and τ generate the stabiliser of a vertex. The link of this vertex can be identified with the spherical building of SL3(F2) and the stabiliser can be identified with the collineation group of the Fano plane generated by a 3-fold symmetry σ fixing a point and a cyclic permutation τ of all 7 points, satisfying στ = τ2σ. Identifying F8* with the Fano plane, σ can be taken to be the restriction of the Frobenius automorphism σ(x) = x22 of F8 and τ to be multiplication by any element not in the prime field F2, i.e. an order 7 generator of the cyclic multiplicative group of F8. This Frobenius group acts simply transitively on the 21 flags in the Fano plane, i.e. lines with marked points. The formulas for σ and τ on E thus "lift" the formulas on F8.

Mumford also obtains an action simply transitive on the vertices of the building by passing to a subgroup of Γ1 = <ρ, σ, τ, −I>. The group Γ1 preserves the Q(α)-valued hermitian form

f(x,y)=xy* + σ(xy*) + σ2(xy*)

on Q(ζ) and can be identified with U3(f) \cap GL3(S) where S = Z[α,½]. Since S/(α) = F7, there is a homomorphism of the group Γ1 into GL3(F7). This action leaves invariant a 2-dimensional subspace in F73 and hence gives rise to a homomorphism Ψ of Γ1 into SL2(F7), a group of order 16·3·7. On the other hand the stabiliser of a vertex is a subgroup of order 21 and Ψ is injective on this subgroup. Thus if the congruence subgroup Γ0 is defined as the inverse image under Ψ of the 2-Sylow subgroup of SL2(F7), the action of Γ0 on vertices must be simply transitive.

Generalizations[edit]

Other examples of triangles or 2-dimensional complexes of groups can be constructed by variations of the above example.

Cartwright et al. consider actions on buildings that are simply transitive on vertices. Each such action produces a bijection (or modified duality) between the points x and lines x* in the flag complex of a finite projective plane and a collection of oriented triangles of points (x,y,z), invariant under cyclic permutation, such that x lies on z*, y lies on x* and z lies on y* and any two points uniquely determine the third. The groups produced have generators x, labelled by points, and relations xyz = 1 for each triangle. Generically this construction will not correspond to an action on a classical affine building.

More generally, as shown by Ballmann and Brin, similar algebraic data encodes all actions that are simply transitively on the vertices of a non-positively curved 2-dimensional simplicial complex, provided the link of each vertex has girth at least 6. This data consists of:

The elements g in S label the vertices g·v in the link of a fixed vertex v; and the relations correspond to edges (g−1·v, h·v) in that link. The graph with vertices S and edges (g, h), for g−1h in S, must have girth at least 6. The original simplicial complex can be reconstructed using complexes of groups and the second barycentric subdivision.

Further examples of non-positively curved 2-dimensional complexes of groups have been constructed by Swiatkowski based on actions simply transitive on oriented edges and inducing a 3-fold symmetry on each triangle; in this case too the complex of groups is obtained from the regular action on the second barycentric subdivision. The simplest example, discovered earlier with Ballmann, starts from a finite group H with a symmetric set of generators S, not containing the identity, such that the corresponding Cayley graph has girth at least 6. The associated group is generated by H and an involution τ subject to (τg)3 = 1 for each g in S.

In fact, if Γ acts in this way, fixing an edge (v, w), there is an involution τ interchanging v and w. The link of v is made up of vertices g·w for g in a symmetric subset S of H = Γv, generating H if the link is connected. The assumption on triangles implies that

τ·(g·w) = g−1·w

for g in S. Thus, if σ = τg and u = g−1·w, then

σ(v) = w, σ(w) = u, σ(u) = w.

By simple transitivity on the triangle (v, w, u), it follows that σ3 = 1.

The second barycentric subdivision gives a complex of groups consisting of singletons or pairs of barycentrically subdivided triangles joined along their large sides: these pairs are indexed by the quotient space S/~ obtained by identifying inverses in S. The single or "coupled" triangles are in turn joined along one common "spine". All stabilisers of simplices are trivial except for the two vertices at the ends of the spine, with stabilisers H and <τ>, and the remaining vertices of the large triangles, with stabiliser generated by an appropriate σ. Three of the smaller triangles in each large triangle contain transition elements.

When all the elements of S are involutions, none of the triangles need to be doubled. If H is taken to be the dihedral group D7 of order 14, generated by an involution a and an element b of order 7 such that

ab= b−1a,

then H is generated by the 3 involutions a, ab and ab5. The link of each vertex is given by the corresponding Cayley graph, so is just the bipartite Heawood graph, i.e. exactly the same as in the affine building for SL3(Q2). This link structure implies that the corresponding simplicial complex is necessarily a Euclidean building. At present, however, it seems to be unknown whether any of these types of action can in fact be realised on a classical affine building: Mumford's group Γ1 (modulo scalars) is only simply transitive on edges, not on oriented edges.

2-dimensional orbifolds[edit]

In two dimensions, there are three singular point types of an orbifold:

A compact 2-dimensional orbifold has an Euler characteristic Χ given by

Χ = Χ(X0) − Σ(1 − 1/ni )/2 − Σ(1 − 1/mi )

where Χ(X0) is the Euler characteristic of the underlying topological manifold X0, and ni are the orders of the corner reflectors, and mi are the orders of the elliptic points.

A 2-dimensional compact connected orbifold has a hyperbolic structure if its Euler characteristic is less than 0, a Euclidean structure if it is 0, and if its Euler characteristic is positive it is either bad or has an elliptic structure (an orbifold is called bad if it does not have a manifold as a covering space). In other words, its universal covering space has a hyperbolic, Euclidean, or spherical structure.

The compact 2-dimensional connected orbifolds that are not hyperbolic are listed in the table below. The 17 parabolic orbifolds are the quotients of the plane by the 17 wallpaper groups.

TypeEuler characteristicUnderlying 2-manifoldOrders of elliptic pointsOrders of corner reflectors
Bad1 + 1/nSpheren > 1
Bad1/m + 1/nSpheren > m > 1
Bad1/2 + 1/2nDiskn > 1
Bad1/2m + 1/2nDiskn > m > 1
Elliptic2Sphere
Elliptic2/nSpheren,n
Elliptic1/nSphere2, 2, n
Elliptic1/6Sphere2, 3, 3
Elliptic1/12Sphere2, 3, 4
Elliptic1/30Sphere2, 3, 5
Elliptic1Disc
Elliptic1/nDiscn, n
Elliptic1/2nDisc2, 2, n
Elliptic1/12Disc2, 3, 3
Elliptic1/24Disc2, 3, 4
Elliptic1/60Disc2, 3, 5
Elliptic1/nDiscn
Elliptic1/2nDisc2n
Elliptic1/12Disc32
Elliptic1Projective plane
Elliptic1/nProjective planen
Parabolic0Sphere2, 3, 6
Parabolic0Sphere2, 4, 4
Parabolic0Sphere3, 3, 3
Parabolic0Sphere2, 2, 2, 2
Parabolic0Disk2, 3, 6
Parabolic0Disk2, 4, 4
Parabolic0Disk3, 3, 3
Parabolic0Disk2, 2, 2, 2
Parabolic0Disk22, 2
Parabolic0Disk33
Parabolic0Disk42
Parabolic0Disk2, 2
Parabolic0Projective plane2, 2
Parabolic0Torus
Parabolic0Klein bottle
Parabolic0Annulus
Parabolic0Moebius band

3-dimensional orbifolds[edit]

A 3-manifold is said to be small if it is closed, irreducible and does not contain any incompressible surfaces.

Orbifold Theorem. Let M be a small 3-manifold. Let φ be a non-trivial periodic orientation-preserving diffeomorphism of M. Then M admits a φ-invariant hyperbolic or Seifert fibered structure.

This theorem is a special case of Thurston's orbifold theorem, announced without proof in 1981; it forms part of his geometrization conjecture for 3-manifolds. In particular it implies that if X is a compact, connected, orientable, irreducible, atoroidal 3-orbifold with non-empty singular locus, then M has a geometric structure (in the sense of orbifolds). A complete proof of the theorem was published by Boileau, Leeb & Porti in 2005.[11]

Orbifolds in string theory[edit]

In string theory, the word "orbifold" has a slightly new meaning. For mathematicians, an orbifold is a generalization of the notion of manifold that allows the presence of the points whose neighborhood is diffeomorphic to a quotient of Rn by a finite group, i.e. Rn/Γ. In physics, the notion of an orbifold usually describes an object that can be globally written as an orbit space M/G where M is a manifold (or a theory), and G is a group of its isometries (or symmetries) — not necessarily all of them. In string theory, these symmetries do not have to have a geometric interpretation.

A quantum field theory defined on an orbifold becomes singular near the fixed points of G. However string theory requires us to add new parts of the closed string Hilbert space — namely the twisted sectors where the fields defined on the closed strings are periodic up to an action from G. Orbifolding is therefore a general procedure of string theory to derive a new string theory from an old string theory in which the elements of G have been identified with the identity. Such a procedure reduces the number of states because the states must be invariant under G, but it also increases the number of states because of the extra twisted sectors. The result is usually a perfectly smooth, new string theory.

D-branes propagating on the orbifolds are described, at low energies, by gauge theories defined by the quiver diagrams. Open strings attached to these D-branes have no twisted sector, and so the number of open string states is reduced by the orbifolding procedure.

More specifically, when the orbifold group G is a discrete subgroup of spacetime isometries, then if it has no fixed point, the result is usually a compact smooth space; the twisted sector consists of closed strings wound around the compact dimension, which are called winding states.

When the orbifold group G is a discrete subgroup of spacetime isometries, and it has fixed points, then these usually have conical singularities, because Rn/Zk has such a singularity at the fixed point of Zk. In string theory, gravitational singularities are usually a sign of extra degrees of freedom which are located at locus point in spacetime. In the case of the orbifold these degrees of freedom are the twisted states, which are strings "stuck" at the fixed points. When the fields related with these twisted states acquire a non-zero vacuum expectation value, the singularity is deformed, i.e. the metric is changed and becomes regular at this point and around it. An example for a resulting geometry is the Eguchi-Hanson spacetime.

From the point of view of D-branes in the vicinity of the fixed points, the effective theory of the open strings attached to these D-branes is a supersymmetric field theory, whose space of vacua has a singular point, where additional massless degrees of freedom exist. The fields related with the closed string twisted sector couple to the open strings in such a way as to add a Fayet-Iliopoulos term to the supersymmetric field theory Lagrangian, so that when such a field acquires a non-zero vacuum expectation value, the Fayet-Iliopoulos term is non-zero, and thereby deforms the theory (i.e. changes it) so that the singularity no longer exists [1], [2].

Calabi–Yau manifolds[edit]

In superstring theory,[12][13] the construction of realistic phenomenological models requires dimensional reduction because the strings naturally propagate in a 10-dimensional space whilst the observed dimension of space-time of the universe is 4. Formal constraints on the theories nevertheless place restrictions on the compactified space in which the extra "hidden" variables live: when looking for realistic 4-dimensional models with supersymmetry, the auxiliary compactified space must be a 6-dimensional Calabi–Yau manifold.[14]

There are a large number of possible Calabi–Yau manifolds (tens of thousands), hence the use of the term "swampland" in the current theoretical physics literature to describe the baffling choice. The general study of Calabi–Yau manifolds is mathematically complex and for a long time examples have been hard to construct explicitly. Orbifolds have therefore proved very useful since they automatically satisfy the constraints imposed by supersymmetry. They provide degenerate examples of Calabi–Yau manifolds due to their singular points,[15] but this is completely acceptable from the point of view of theoretical physics. Such orbifolds are called "supersymmetric": they are technically easier to study than general Calabi–Yau manifolds. It is very often possible to associate a continuous family of non-singular Calabi–Yau manifolds to a singular supersymmetric orbifold. In 4 dimensions this can be illustrated using complex K3 surfaces:

  • Every K3 surface admits 16 cycles of dimension 2 that are topologically equivalent to usual 2-spheres. Making the surface of these spheres tend to zero, the K3 surface develops 16 singularities. This limit represents a point on the boundary of the moduli space of K3 surfaces and corresponds to the orbifold T^4/\mathbb{Z}_2\, obtained by taking the quotient of the torus by the symmetry of inversion.

The study of Calabi–Yau manifolds in string theory and the duality between different models of string theory (type IIA and IIB) led to the idea of mirror symmetry in 1988. The role of orbifolds was first pointed out by Dixon, Harvey, Vafa and Witten around the same time.[16]

Applications[edit]

Music theory[edit]

Beyond their manifold and various applications in mathematics and physics, orbifolds have been applied to music theory at least as early as 1985 in the work of Guerino Mazzola[17][18] and later by Dmitri Tymoczko and collaborators (Tymoczko 2006) and (Callender & Tymoczko 2008).[19][20] One of the papers of Tymoczko was the first music theory paper published by the journal Science.[21][22][23] Mazzola and Tymoczko have participated in debate regarding their theories documented in a series of commentaries available at their respective web sites.[24][25]

Tymoczko models musical chords consisting of n notes, not necessarily distinct, as points in the orbifold T^n/S_n – the space of n unordered points (not necessarily distinct) in the circle, realized as the quotient of the n-torus T^n (the space of n ordered points on the circle) by the symmetric group S_n (corresponding from moving from an ordered set to an unordered set).

Musically, this is explained as follows:

For dyads (two tones), this yields the closed Möbius strip; for triads (three tones), this yields an orbifold that can be described as a triangular prism with the top and bottom triangular faces identified with a 120° twist (a ⅓ twist) – equivalently, as a solid torus in 3 dimensions with a cross-section an equilateral triangle and such a twist.

The resulting orbifold is naturally stratified by repeated tones (properly, by integer partitions of t) – the open set consists of distinct tones (the partition t = 1 + 1 + \cdots + 1), while there is a 1-dimensional singular set consisting of all tones being the same (the partition t = t), which topologically is a circle, and various intermediate partitions. There is also a notable circle which runs through the center of the open set consisting of equally spaced points. In the case of triads, the three side faces of the prism correspond to two tones being the same and the third different (the partition 3 = 2 + 1), while the three edges of the prism correspond to the 1-dimensional singular set. The top and bottom faces are part of the open set, and only appear because the orbifold has been cut – if viewed as a triangular torus with a twist, these artifacts disappear.

Tymoczko argues that chords close to the center (with tones equally or almost equally spaced) form the basis of much of traditional Western harmony, and that visualizing them in this way assists in analysis. There are 4 chords on the center (equally spaced under equal temperament – spacing of 4/4/4 between tones), corresponding to the augmented triads (thought of as musical sets) C♯FA, DF♯A♯, D♯GB, and EG♯C (then they cycle: FAC♯ = C♯FA), with the 12 major chords and 12 minor chords being the points next to but not on the center – almost evenly spaced but not quite. Major chords correspond to 4/3/5 (or equivalently, 5/4/3) spacing, while minor chords correspond to 3/4/5 spacing. Key changes then correspond to movement between these points in the orbifold, with smoother changes effected by movement between nearby points.

See also[edit]

Notes[edit]

  1. ^ Satake (1956).
  2. ^ Thurston (1978), Chapter 13.
  3. ^ Haefliger (1990).
  4. ^ Poincaré (1985).
  5. ^ Serre (1970).
  6. ^ Scott (1983).
  7. ^ Bridson and Haefliger (1999).
  8. ^ Di Francesco, Mathieu & Sénéchal (1997)
  9. ^ Bredon (1972).
  10. ^ Theorem of the hyperbolic medians
  11. ^ General introductions to this material can be found in Peter Scott's 1983 notes and the expositions of Boileau, Maillot & Porti and Cooper, Hodgson & Kerckhoff.
  12. ^ M. Green, J. Schwartz and E. Witten, Superstring theory, Vol. 1 and 2, Cambridge University Press, 1987, ISBN 0521357527
  13. ^ J. Polchinski, String theory, Vol. 2, Cambridge University Press, 1999, ISBN 0-521-63304-4
  14. ^ P. Candelas, Lectures On Complex Manifolds, in *Trieste 1987, Proceedings, Superstrings '87* 1-88, 1987
  15. ^ Blumenhagen, Ralph; Lüst, Dieter; Theisen, Stefan (2012), Basic Concepts of String Theory, Theoretical and Mathematical Physics, Springer, p. 487, ISBN 9783642294969, "Orbifolds can be viewed as singular limits of smooth Calabi–Yau manifolds" .
  16. ^ Dixon, Harvey, Vafa and Witten, Nucl.Phys. 1985, B261, 678; 1986, B274, 286.
  17. ^ Guerino Mazzola (1985). Gruppen und Kategorien in der Musik: Entwurf einer mathematischen Musiktheorie. Heldermann. ISBN 978-3-88538-210-2. Retrieved 26 February 2012. 
  18. ^ Guerino Mazzola; Stefan Müller (2002). The topos of music: geometric logic of concepts, theory, and performance. Birkhäuser. ISBN 978-3-7643-5731-3. Retrieved 26 February 2012. 
  19. ^ Dmitri Tymoczko, The Geometry of Music – links to papers and to visualization software.
  20. ^ The moduli space of chords: Dmitri Tymoczko on “Geometry and Music”, Friday 7 Mar, 2:30pm, posted 28/Feb/08 – talk abstract and high-level mathematical description.
  21. ^ Michael D. Lemonick, The Geometry of Music, Time, Jan. 26, 2007
  22. ^ Elizabeth Gudrais, Mapping Music, Harvard Magazine, Jan/Feb 2007
  23. ^ Tony Phillips, Tony Phillips' Take on Math in the Media, American Mathematical Society, October 2006
  24. ^ http://www.encyclospace.org/special/answer_to_tymoczko.pdf, retrieved 27 February 2012  Missing or empty |title= (help)
  25. ^ http://dmitri.tymoczko.com/files/publications/mazzola.pdf, retrieved 27 February 2012  Missing or empty |title= (help)

References[edit]