8 votos

Gerbes de un grupo cíclico. (o tal vez G_m demasiado)

Vamos a µn ser el grupo esquema de la n-ésima de las raíces de la unidad. Si X es un esquema y L es una línea de paquete en X, entonces puedo construir un μn-gerbe Y sobre X por dejar que el S-puntos de Y ser un punto de X, una línea de paquete M en S y un isomorfismo entre el n-ésimo tensor de energía de la M y la retirada de L a S. ¿alguien Puede proporcionar ejemplos no de esta forma?

Comentario: parece que me estoy tomando la imagen de un elemento de H1(X,Gm) en H2(X,µn) en el largo de la secuencia exacta asociados a 0-->µn-->Gm-->Gm-->0. Así ejemplos de gerbes para el grupo multiplicativo Gm es probable que sea pertinente, por lo que las personas que prestan estos ejemplos será apreciado.

3voto

Chuck Puntos 8847

Un poco de una respuesta a su "Comentario":

Como usted señala, el fracaso de su construcción para golpear todos los $\mu_n$-gerbes se rige por la secuencia exacta $H^1(X, \mathbb{G}_m) \to H^2(X, \mu_n) \to H^2(X,\mathbb{G}_m)[n] \to 0$ , por lo que para responder a tu pregunta está relacionada con la producción de torsión $\mathbb{G}_m$-torsors.

La pregunta de hacerlo ha sido estudiado como parte de la teoría de Brauer grupos:

Deje $Br(X)$ ("grupo de Brauer"), que indican que el grupo de Azumaya álgebras, que son una generalización de la central de simple álgebras sobre un campo (que es el clásico grupo de Brauer).

Deje $Br'(X)$ ("Cohomological Brauer grupo") se refieren a la torsión parte de $H^2(X, \mathbb{G}_m)$.

En el caso de $X = Spec k$, $k$ un campo, la equivalencia de estos dos grupos es clásica y que puede ser calculado en varios de los casos de número de la teoría de interés (por ejemplo, los campos de número de locales/campos/campos finitos). En este caso, $H^1(X, \mathbb{G}_m)=0$ por Hilbert Teorema de los 90, y sin embargo hay un montón de ejemplos en $Br(X)$ es mucho no trivial. Grothendieck estudiado la relación entre el $Br(X)$ $Br'(X)$ en general en Dix Expone. El resultado de todo esto es que hay un inyectiva mapa de $Br(X) \to Br'(X)$ y es un isomorfismo en casos razonables (por ejemplo, creo $X$ cuasi-proyectivo sobre un campo). (Ver Dix Exp, o Ch. IV de Milne "Etale Cohomology".)


No voy a decir más sobre el panorama general, pero voy a trabajar en detalle el caso simple de $X = Spec \mathbb{R}$. En este caso, $Br(Spec \mathbb{R}) = \mathbb{Z}/2\mathbb{Z}$ generado por la clase de los habituales de cuaterniones, considerada como una central de simple álgebra $\mathbb{R}$. Podemos dar una descripción geométrica de la resultante de $\mathbb{G}_m$-torsor:

Empezar con el buen plano cónica $C = Proj \mathbb{R}[x,y,z]/(x^2+y^2+z^2)$. Es un buen género $0$ curva, pero no tiene la $\mathbb{R}$-puntos y por lo tanto no es isomorfo a $\mathbb{P}^1_{\mathbb{R}}$. Sin embargo, después de la base de cambio de a $\mathbb{C}$ se llega a un punto y se convierte así en isomorfo a $\mathbb{P}^1_{\mathbb{C}}$; tal Galois retorcida forma de $\mathbb{P}^n_{\mathbb{C}}$ es conocido como un Brauer-Severi variedad y los elementos de la Brauer-grupo (de campo) puede también considerarse como correspondientes a ellos (la estructura del grupo es un poco extraño). Desde $Aut(\mathbb{P}^n) = PGL_{n+1}$, estos corresponden a $PGL_{n+1}$-torsors y la relación con el $\mathbb{G}_m$-torsors es a través de la secuencia exacta para $PGL_{n+1}=GL_{n+1}/\mathbb{G}_m$. Así, una $T$-punto de la correspondiente $\mathbb{G}_m$-torsor para un $\mathbb{R}$- $T$ se compone de los siguientes datos:

Es un rango de $2$ vector paquete de $V$$T$, junto con un isomorfismo de $T$-esquemas $C_T \simeq \mathbb{P}(V)$ donde $C_T = C \times_{Spec \mathbb{R}} T$ es el retroceso de nuestro género $0$ curva de a $T$, e $\mathbb{P}(V)$ es el asociado proyectiva del espacio (aquí $\mathbb{P}^1$) de paquete de vector paquete de $V$.

¿Por qué es este un $\mathbb{G}_m$-gerbe? Bien, $\mathbb{P}(V) \simeq \mathbb{P}(V')$ fib $V$ $V'$ difieren por tensoring por una línea de paquete. La gerbe no es trivial ya que no tiene la $\mathbb{R}$de los puntos, ya que $C$ sí no es isomorfo al espacio proyectivo. Ha $\mathbb{C}$-puntos debido a que la base de cambio es isomorfo al espacio proyectivo.

3voto

Kevin Ballard Puntos 88866

Creo que la respuesta es que usted puede tomar las raíces enésimas de un complejo de alimentación de una línea de paquete - es decir, de una línea de paquete en una G_m gerbe (un ejemplo de un trenzado de gavilla), y esto cuenta para preimages de los elementos de H^2(G_m) en su larga secuencia exacta (véase esta cuestión).

Como por ejemplos interesantes de $\mu_n$ gerbes, mira los módulos de la pila de estable $G$ paquetes en una curva algebraica para $G$ centro $\mu_n$ (por ejemplo,$SL_n$). Es una $\mu_n$ gerbe sobre el espacio de moduli de paquetes, cuya nontriviality cuentas de la falta de existencia de un universal bundle. (Es descrito explícitamente en muchos lugares - los que vienen a la mente son el Rey-Schofield arXiv:matemáticas/9907068, Beilinson-Drinfeld la Cuantización de Hitchin Hamiltonianos (Capítulo 4) y Kapustin-Witten arXiv:hep-th/0604151 (Sección 7).

1voto

Alex Bolotov Puntos 249

Probablemente esto merece ser trabajado en más detalle, y con más sofisticación, pero de forma rápida y sencilla...

El gerbes que usted recibe de su construcción son todas bandas - así que, sin duda alguna nonbanded gerbe iba a funcionar, pero esto es un poco tonto, así que voy a construir una faja ejemplo para usted.

Cuando se piensa acerca de gerbes me parece útil pensar en el cero dimensional caso: entonces realmente estamos haciendo teoría de grupos, que se siente más familiarizado.

En otras palabras, vamos a pensar en BG: una línea de paquete de más de BG es sólo una dimensión de la representación de G; (bandas) H-gerbe más de BG es un (central) extensión de la G por la H.

Vamos a tomar G=Z/2Z X Z/2Z, y H=Z/2Z. Las extensiones podemos obtener a partir de su construcción? Así, una representación será trivial, o tener un elemento que actúa mediante la multiplicación por (-1). En el grupo de extensión que tenemos, esta representación debe tener un trivial de la raíz cuadrada. En el trivial representación caso podemos tomar acaba de tomar el trivial extensión G X H, y la representación en (0,0, 1) ley por la multiplicación por -1. como nuestro trivial de la raíz cuadrada. Para el trivial de las representaciones, la extensión será de (Z/4Z) X (Z/2Z), y la raíz cuadrada será la representación en (1,0) actúa mediante la multiplicación por i.

En particular, nos damos cuenta de que todas las extensiones que tenemos en esta forma fueron abelian grupos. Sin embargo, el G tiene una extensión central por H que no es abelian: D_4, el diedro grupo de la orden de 8 de rotación de 180 grados es central. Así BD_4 es una faja H gerbe más de BG que no viene de su construcción.

Entonces, uno puede fácilmente modificar este ejemplo para hacer algo un poco más geométrica: tome su espacio favorito de X con un libre G de acción. Darle un D_4 acción por haber rotación por primera asignación a D_4 a G y, a continuación, actuando en X, por lo que la rotación de 180 actos trivialmente. A continuación, el mundial cociente [X/D_4] debe ser una faja en Z/2Z gerbe sobre [X/(Z/2Z X Z/2Z)], que no viene de su construcción.

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