2 votos

¿Qué tipo de colector es el cociente de $ \mathbb C^n $ por un grupo cristalográfico (no espejo)

Una red de rango $k $ en $\mathbb C ^n$ es un subgrupo discreto de $(\mathbb C ^n,+)$ . Tiene la forma

$$\Gamma_k = \mathbb Z e_1 + \mathbb Z e_2+ \cdots + \mathbb Z e_k$$ donde $\{e_i\}_{i=1,\cdots,k}$ es un $\mathbb R$ familia independiente de elementos de $\mathbb C ^n$ .

cuando $k=2n$ , $\Gamma_{2n}$ se llama una red de máximo rango.

$\Gamma_k$ actúa sobre $\mathbb C ^n$ por la traducción.

El cociente de $\mathbb C ^n$ por $\Gamma_k$ lleva a los colectores conocidos. En el caso de rango máximo el cociente es el toro (varidad abeliana). Cuando el rango es menor que 2n obtenemos lo que se llama cuasi-tori. y puedo encontrar muchas fuentes donde se estudian estos dos casos, se estudian por ejemplo haces de líneas aver tales variedades que están relacionadas con las funciones theta.

Ahora, si tomo el grupo de desplazamiento que preserva la orientación $U(n)\ltimes \mathbb C^n$ que, si tomo $\gamma:=(A,b) \in U(n)\ltimes \mathbb C^n$ actúa sobre $z \in \mathbb C ^n$ por $\gamma\cdot z = Az+b$ . Y tomo $\tilde\Gamma$ un subgrupo discreto (eventualmente un grupo cristalográfico). Creo que es legítimo pensar en $\mathbb C^n/\tilde\Gamma$ como un colector. Entonces mi pregunta es : ¿Existe algún nombre especial para este tipo de colectores, alguna propiedad especial o algún estudio particular que se centre en entenderlos de forma explícita, sin un lenguaje geométrico pesado, como en el caso anterior?

2voto

studiosus Puntos 19728

Yo los llamaría "colectores Kahler Bieberbach" o "colectores planos Kahler". Puedes encontrar algunas discusiones y referencias aquí .

1voto

Aymane Fihadi Puntos 190

La respuesta de Cohen me dio muchas ideas para buscar los colectores de Bieberbach, lo que me permitió aprender muchas cosas. Aquí doy parte de la información que reuní sobre este tema.

En resumen, el $\mathbb C ^n / \Gamma$ no es necesariamente un colector. Lo es si $\Gamma$ es libre de torsión (es decir, ningún elemento es de orden finito además del elemento neutro) y subgrupo discreto de SE(n). En general $\mathbb C ^n / \Gamma$ tiene un estrato llamado orbifold, es introducido por Satake para describir la estructura suave de los espacios que se parecen a los manifiestos, excepto en algunos subconjuntos, donde se parecen a cocientes de dominios lineales por un grupo finito de transformaciones lineales.

Si $\Gamma$ es cristalina (discreta y cocompacta) y libre de torsión, entonces $\mathbb C ^n / \Gamma$ es un colector y se llama colector de Bieberbach.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X