Un punto en un orbifold cuyo vecindario está modelado por el cociente del espacio euclidiano por la acción de un grupo finito no trivial, produciendo una singularidad localizada caracterizada por el grupo de isotropía (estabilizador) y su representación lineal.

Principio

Las singularidades de orbifold surgen cuando grupos de simetría locales identifican direcciones; el vecindario es localmente R^n/G para un grupo finito G, y la clase de conjugación de G (y su acción) organiza los tipos de singularidad posibles y los invariantes locales.

Demostración

En un orbifold cónico bidimensional, un punto cónico de orden n está modelado por R2 módulo la rotación de 2π/n; en 3D, un punto con estabilizador local una subgrupo finito de SO(3) produce singularidades por cociente clasificadas por esos grupos de rotación finitos.

Aplicación incorrecta

Tratar los puntos singulares de orbifold como puntos regulares de variedad o como singularidades puramente topológicas sin registrar la acción del grupo y la información de isotropía; o confundir puntos de orbifold con puntos de rama de modelos locales distintos.

Consecuencia

El reconocimiento correcto permite calcular grupos fundamentales de orbifold, características de Euler de orbifold y aplicar teoremas de recubrimiento e índice adaptados a la isotropía; gobierna las geometrías locales permitidas y las aplicaciones que preservan simetría.

Inversión

El reverso es un punto regular con isotropía trivial donde las cartas locales son vecindarios euclidianos genuinos; invertir elimina los datos de cociente por grupo y restaura la estructura local de variedad.

Límite

Se aplica a espacios con un atlas de orbifold construido a partir de cartas cociente R^n/G con G finito; excluye construcciones de cocientes salvajes con estabilizadores no finitos, acciones no efectivas o acumulación de puntos singulares que rompan los axiomas de orbifold.

Tensión semántica

Hay tensión entre puntos singulares de orbifold y singularidades algebraicas con topología local similar pero sin una descripción como cociente por un grupo finito; distinguir los datos de la acción de grupo es esencial para invariantes específicos de orbifold.

Síntesis

Un punto singular de orbifold es una singularidad de cociente local modelada en R^n por la acción de un grupo finito; su grupo de isotropía y representación determinan la geometría local, la topología y las estructuras y mapas de orbifold permitidos.