Orbifold

From Wikipedia, the free encyclopedia

In topology and group theory, an orbifold (for "orbit-manifold") is a generalization of a manifold. It is a topological space (called an underlying space) with an orbifold structure (see below). The underlying space locally looks like a quotient space of a Euclidean space under the action of a finite group of isometries.

In string theory, the word "orbifold" has additional meaning, discussed below.

The main example of underlying space is a quotient space of a manifold under the action of a finite group of diffeomorphisms, in particular a manifold with boundary carries natural orbifold structure, since it is the Z₂-factor of its double. A factor space of a manifold along a smooth $S 1$ -action without fixed points carries the structure of an orbifold (this is not a partial case of the main example).

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 Z₂ and its orbifold Euler characteristic is 1.

1 Formal definition
2 2-dimensional orbifolds
3 Orbifolds in string theory
4 History
5 Further reading

[edit] Formal definition

Like a manifold, an orbifold is specified by local conditions; however, whereas a manifold locally looks like $\mathbb{R}^n$ , an orbifold locally looks like a quotient of $\mathbb{R}^n$ . Hence an orbifold need not be a manifold.

A (topological) orbifold $O$ , is a Hausdorff topological space $X$ with countable base, called the underlying space, with an orbifold structure, which is defined by an orbifold atlas (see below).

An orbifold chart is an open subset $U\subset X$ together with open set $V \subset \mathbb{R}^n$ and a continuous map $\phi : V \to U$ which satisfy the following property: there is a finite group $Γ$ acting by linear transformations on $V$ and a homeomorphism $\vartheta : V/\Gamma \to U$ such that $\phi=\vartheta\circ\pi$ , where $\pi\,$ denotes the projection $V\to V/\Gamma$ .

A collection of orbifold charts $\{\phi_\alpha:V_\alpha\to U_\alpha\}$ is called an orbifold atlas if it satisfies the following properties:

$\displaystyle\bigcup_\alpha U_\alpha=X$ ,
if $\phi_\alpha(x)=\phi_\beta(y) \,$ then there is a neighborhood $x\in V_x\subset V_\alpha$ and $y\in V_y\subset V_\beta$ and a homeomorphism $\psi:V_x\to V_y$ such that $\phi_\alpha=\phi_\beta\circ\psi$ .

The orbifold atlas defines the orbifold structure completely and we regard two orbifold atlases of $X$ to give the same orbifold structure if they can be combined to give a larger orbifold atlas.

One can add differentiability conditions on the gluing map $\psi^{}_{}$ in the above definition and get a definition of differentiable orbifolds in the same way as it was done for manifolds.

[edit] 2-dimensional orbifolds

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

A boundary point
An elliptic point of order n, such as the origin of R² quotiented out by a cyclic group of order n of rotations.
A corner reflector of order n: the origin of R² quotiented out by a dihedral group of order 2n.

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

Χ = Χ(X₀) − Σ(1 − 1/n_i)/2 − Σ(1 − 1/m_i)

where Χ(X₀) is the Euler characteristic of the underlying topological manifold X₀, and n_i are the orders of the corner reflectors, and m_i 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. (In other words, its universal covering space has a hyperbolic, Euclidean, or spherical structure.) (An orbifold is called bad if it does not have a manifold as a covering space.)

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.

Type	Euler characteristic	Underlying 2-manifold	Orders of elliptic points	Orders of corner reflectors
Bad	1+1/n	Sphere	n>1
Bad	1/m+1/n	Sphere	n>m>1
Bad	1/2+1/2n	Disk		n>1
Bad	1/2m+1/2n	Disk		n>m>1
Elliptic	2	Sphere
Elliptic	2/n	Sphere	n,n
Elliptic	1/n	Sphere	2, 2, n
Elliptic	1/6	Sphere	2, 3, 3
Elliptic	1/12	Sphere	2, 3, 4
Elliptic	1/30	Sphere	2, 3, 5
Elliptic	1	Disc
Elliptic	1/n	Disc		n, n
Elliptic	1/2n	Disc		2, 2, n
Elliptic	1/12	Disc		2, 3, 3
Elliptic	1/24	Disc		2, 3, 4
Elliptic	1/60	Disc		2, 3, 5
Elliptic	1/n	Disc	n
Elliptic	1/2n	Disc	2	n
Elliptic	1/12	Disc	3	2
Elliptic	1	Projective plane
Elliptic	1/n	Projective plane	n
Parabolic	0	Sphere	2, 3, 6
Parabolic	0	Sphere	2, 4, 4
Parabolic	0	Sphere	3, 3, 3
Parabolic	0	Sphere	2, 2, 2, 2
Parabolic	0	Disk		2, 3, 6
Parabolic	0	Disk		2, 4, 4
Parabolic	0	Disk		3, 3, 3
Parabolic	0	Disk		2, 2, 2, 2
Parabolic	0	Disk	2	2, 2
Parabolic	0	Disk	3	3
Parabolic	0	Disk	4	2
Parabolic	0	Disk	2, 2
Parabolic	0	Projective plane	2, 2
Parabolic	0	Torus
Parabolic	0	Klein bottle
Parabolic	0	Annulus
Parabolic	0	Moebius band

[edit] Orbifolds in string theory

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 coset of $R n$ , i.e. $R n / Γ$ . In physics, the notion of an orbifold usually describes an object that can be globally written as a coset $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.

[edit] History

Orbifolds and related concepts are implicit in the work of pioneers such as Henri Poincaré. The first formal definition of an orbifold-like object was given by Ichiro Satake in 1956; he defined the V-manifold, which had a codimension 2 singular locus, in the context of Riemannian geometry. William Thurston, who was unaware of Satake's work, later in the mid 1970s defined and named the more general notion of orbifold as part of his study of hyperbolic structures.

[edit] Further reading

William Thurston, The Geometry and Topology of Three-Manifolds (Chapter 13), Princeton University lecture notes (1978-1981).

Retrieved from "http://en.wikipedia.org../../../o/r/b/Orbifold.html"

Categories: Differential topology | Generalized manifolds | Group actions

Orbifold

From Wikipedia, the free encyclopedia

Contents

[edit] Formal definition

[edit] 2-dimensional orbifolds

[edit] Orbifolds in string theory

[edit] History

[edit] Further reading

Views

Navigation

interaction

Search

In other languages