En geometría algebraica , el esquema Quot es un esquema que parametriza gavillas en un esquema proyectivo . Más específicamente, si X es un esquema proyectivo sobre un esquema noetheriano S y si F es un haz coherente sobre X , entonces hay un esquema cuyo conjunto de T puntos es el conjunto de clases de isomorfismo de los cocientes de que son planos sobre T . La noción fue introducida por Alexander Grothendieck . [1]
![{\displaystyle \operatorname {Quot} _{F}(X)(T)=\operatorname {Mor} _{S}(T,\operatorname {Quot} _{F}(X))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\times _ {S}T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Normalmente se utiliza para construir otro esquema que parametriza objetos geométricos que son de interés, como un esquema de Hilbert . (De hecho, tomar F como la estructura de haz da un esquema de Hilbert.)![{\displaystyle {\mathcal {O}}_{X}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definición
Para un esquema de tipo finito sobre un esquema base noetheriano y una gavilla coherente , existe un funtor [2] [3]![{\displaystyle X\a S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {E}}\in {\text{Coh}}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {Quot}}_{{\mathcal {E}}/X/S}:(Sch/S)^{op}\to {\text{Conjuntos}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
enviando a![{\displaystyle T\a S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {Quot}}_{{\mathcal {E}}/X/S}(T)=\left\{({\mathcal {F}},q):{\begin{matrix} {\mathcal {F}}\in {\text{QCoh}}(X_{T})\\{\mathcal {F}}\ {\text{presentado de forma finita}}\ X_{T}\\{\ text{Supp}}({\mathcal {F}}){\text{ es propio sobre }}T\\{\mathcal {F}}{\text{ es plano sobre }}T\\q:{\mathcal {E}}_{T}\to {\mathcal {F}}{\text{ surjective}}\end{matrix}}\right\}/\sim }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde y bajo la proyección . Existe una relación de equivalencia dada por si existe un isomorfismo que conmuta con las dos proyecciones ; eso es,![{\displaystyle X_{T}=X\times _{S}T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {E}}_{T}=pr_{X}^{*}{\mathcal {E}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle pr_{X}:X_{T}\a X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle ({\mathcal {F}},q)\sim ({\mathcal {F}}',q')}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}\to {\mathcal {F}}''}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q,q'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{matrix}{\mathcal {E}}_{T}&{\xrightarrow {q}}&{\mathcal {F}}\\\downarrow {}&&\downarrow \\{\mathcal {E}}_{T}&{\xrightarrow {q'}}&{\mathcal {F}}'\end{matrix}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un diagrama conmutativo para . Alternativamente, existe una condición equivalente de tenencia . Esto se llama functor quot que tiene una estratificación natural en una unión disjunta de subfunctores, cada uno de los cuales está representado por un esquema proyectivo llamado esquema quot asociado a un polinomio de Hilbert .![{\displaystyle {\mathcal {E}}_{T}{\xrightarrow {id}}{\mathcal {E}}_{T}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{ker}}(q)={\text{ker}}(q')}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
polinomio de Hilbert
Para un haz de líneas relativamente muy amplio [4] y cualquier punto cerrado existe una función que envía ![{\displaystyle {\mathcal {L}}\in {\text{Pic}}(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s\en S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi _{\mathcal {F}}:\mathbb {N} \to \mathbb {N} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle m\mapsto \chi ({\mathcal {F}}_{s}(m))=\sum _{i=0}^{n}(-1)^{i}{\text{dim }}_{\kappa (s)}H^{i}(X,{\mathcal {F}}_{s}\otimes {\mathcal {L}}_{s}^{\otimes m})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que es un polinomio para . Esto se llama polinomio de Hilbert y proporciona una estratificación natural del "functor". Nuevamente, para fijo hay una unión disjunta de subfunctores![{\displaystyle m>>0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {L}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {Quot}}_{{\mathcal {E}}/X/S}=\coprod _{\Phi \in \mathbb {Q} [t]}{\mathcal {Quot}}_ {{\mathcal {E}}/X/S}^{\Phi,{\mathcal {L}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
dónde
![{\displaystyle {\mathcal {Quot}}_{{\mathcal {E}}/X/S}^{\Phi,{\mathcal {L}}}(T)=\left\{({\mathcal { F}},q)\in {\mathcal {Quot}}_{{\mathcal {E}}/X/S}(T):\Phi _{\mathcal {F}}=\Phi \right\} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El polinomio de Hilbert es el polinomio de Hilbert para puntos cerrados . Tenga en cuenta que el polinomio de Hilbert es independiente de la elección de un paquete de líneas muy amplio .![{\displaystyle \Phi _{\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}_{t}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle t\en T}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {L}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Teorema de existencia de Grothendieck
Es un teorema de Grothendieck que todos los functores son representables mediante esquemas proyectivos sobre .![{\displaystyle {\mathcal {Quot}}_{{\mathcal {E}}/X/S}^{\Phi,{\mathcal {L}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{Quot}}_{{\mathcal {E}}/X/S}^{\Phi }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplos
Grassmanniano
El Grassmanniano de planos en un espacio vectorial dimensional tiene un cociente universal![{\displaystyle G(n,k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}_{G(n,k)}^{\oplus k}\to {\mathcal {U}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
¿Dónde está el plano representado por ? Como es localmente libre y en cada punto representa un plano, tiene el polinomio de Hilbert constante . Esto muestra representa el funtor quot![{\displaystyle {\mathcal {U}}_{x}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en G(n,k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {U}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi (\lambda)=k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G(n,k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {Quot}}_{{\mathcal {O}}_{G(n,k)}^{\oplus (n)}/{\text{Spec}}(\mathbb {Z} )/{\text{Especificación}}(\mathbb {Z} )}^{k,{\mathcal {O}}_{G(n,k)}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Espacio proyectivo
Como caso especial, podemos construir el espacio del proyecto como el esquema quot![{\displaystyle \mathbb {P} ({\mathcal {E}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {Quot}}_{{\mathcal {E}}/X/S}^{1,{\mathcal {O}}_{X}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
por una gavilla en un esquema .![{\displaystyle {\mathcal {E}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esquema Hilbert
El esquema de Hilbert es un ejemplo especial del esquema de quot. Observe que se puede dar un subesquema como una proyección.![{\displaystyle Z\subconjunto X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}_{X}\to {\mathcal {O}}_{Z}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y una familia plana de tales proyecciones parametrizadas por un esquema puede estar dada por![{\displaystyle T\en Sch/S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}_{X_{T}}\to {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Dado que hay un polinomio de Hilbert asociado a , denotado , existe un isomorfismo de esquemas![{\displaystyle Z}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi _ {Z}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\text{Quot}}_{{\mathcal {O}}_{X}/X/S}^{\Phi _{Z}}\cong {\text{Hilb}}_{X/ S}^{\Phi _{Z}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ejemplo de parametrización
Si y para un campo algebraicamente cerrado, entonces una sección distinta de cero tiene un lugar geométrico de fuga con polinomio de Hilbert![{\displaystyle X=\mathbb {P} _ {k}^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S={\text{Especificación}}(k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s\in \Gamma ({\mathcal {O}}(d))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Z=Z(s)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Phi _{Z}(\lambda )={\binom {n+\lambda }{n}}-{\binom {n-d+\lambda }{n}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, hay una sobreyección.
![{\displaystyle {\mathcal {O}}\to {\mathcal {O}}_{Z}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
con núcleo . Dado que era una sección arbitraria distinta de cero, y el lugar de fuga de for da el mismo lugar de fuga, el esquema proporciona una parametrización natural de todas esas secciones. Hay una gavilla tal que para cualquiera , hay un subesquema asociado y una sobreyección . Esta construcción representa el "functor".![{\displaystyle {\mathcal {O}}(-d)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a\cdot s}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a\in k^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Q=\mathbb {P} (\Gamma ({\mathcal {O}}(d)))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {E}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\veces Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [s]\en Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Z\subconjunto X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}\to {\mathcal {O}}_{Z}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {Quot}}_{{\mathcal {O}}/\mathbb {P} ^{n}/{\text{Spec}}(k)}^{\Phi _{Z}} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Cuádricas en el plano proyectivo.
Si y , el polinomio de Hilbert es![{\displaystyle X=\mathbb {P} ^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s\in \Gamma ({\mathcal {O}}(2))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\begin{aligned}\Phi _{Z}(\lambda )&={\binom {2+\lambda }{2}}-{\binom {2-2+\lambda }{2}} \\&={\frac {(\lambda +2)(\lambda +1)}{2}}-{\frac {\lambda (\lambda -1)}{2}}\\&={\frac {\lambda ^{2}+3\lambda +2}{2}}-{\frac {\lambda ^{2}-\lambda }{2}}\\&={\frac {2\lambda +2 }{2}}\\&=\lambda +1\end{aligned}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
y
![{\displaystyle {\text{Quot}}_{{\mathcal {O}}/\mathbb {P} ^{2}/{\text{Spec}}(k)}^{\lambda +1}\cong \mathbb {P} (\Gamma ({\mathcal {O}}(2)))\cong \mathbb {P} ^{5}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
El cociente universal está dado por![{\displaystyle \mathbb {P} ^{5}\times \mathbb {P} ^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}\to {\mathcal {U}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
donde la fibra sobre un punto da el morfismo proyectivo![{\displaystyle [Z]\in {\text{Quot}}_{{\mathcal {O}}/\mathbb {P} ^{2}/{\text{Spec}}(k)}^{\lambda +1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}\to {\mathcal {O}}_{Z}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Por ejemplo, si representa los coeficientes de![{\displaystyle [Z]=[a_{0}:a_{1}:a_{2}:a_{3}:a_{4}:a_{5}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f=a_{0}x^{2}+a_{1}xy+a_{2}xz+a_{3}y^{2}+a_{4}yz+a_{5}z^{ 2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
entonces el cociente universal da la secuencia corta exacta![{\displaystyle [Z]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0\to {\mathcal {O}}(-2){\xrightarrow {f}}{\mathcal {O}}\to {\mathcal {O}}_{Z}\to 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Haces de vectores semiestables en una curva
Los haces de vectores semiestables en una curva de género pueden describirse de manera equivalente como haces localmente libres de rango finito. Estas gavillas de rango y grado libres localmente tienen las propiedades [5]![{\displaystyle C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H^{1}(C,{\mathcal {F}})=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es generado por secciones globales
para . Esto implica que hay una sobreyección.![{\displaystyle d>n(2g-1)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle H^{0}(C,{\mathcal {F}})\otimes {\mathcal {O}}_{C}\cong {\mathcal {O}}_{C}^{\oplus N }\a {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, el esquema quot parametriza todas esas sobrejecciones. Usando el teorema de Grothendieck-Riemann-Roch la dimensión es igual a![{\displaystyle {\mathcal {Quot}}_{{\mathcal {O}}_{C}^{\oplus N}/{\mathcal {C}}/\mathbb {Z} }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \chi ({\mathcal {F}})=d+n(1-g)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Para un conjunto de líneas fijas de grado hay una torsión , cambiando el grado en , por lo que![{\displaystyle {\mathcal {L}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}(m)={\mathcal {F}}\otimes {\mathcal {L}}^{\otimes m}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle nm}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
[5]
dando el polinomio de Hilbert
![{\displaystyle \Phi _{\mathcal {F}}(\lambda )=n\lambda +d+n(1-g)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces, el lugar geométrico de los haces de vectores semiestables está contenido en
![{\displaystyle {\mathcal {Quot}}_{{\mathcal {O}}_{C}^{\oplus N}/{\mathcal {C}}/\mathbb {Z} }^{\Phi _ { \mathcal {F}},{\mathcal {L}}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
que se puede utilizar para construir el espacio de módulos de haces de vectores semiestables utilizando un cociente GIT . [5]![{\displaystyle {\mathcal {M}}_{C}(n,d)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- ^ Grothendieck, Alejandro. Técnicas de construcción y teorías de existencia en geometría algébrique IV: les schémas de Hilbert. Séminaire Bourbaki: años 1960/61, exposiciones 205-222, Séminaire Bourbaki, núm. 6 (1961), Charla núm. 221, pág. 249-276
- ^ Nitsure, Nitin (2005). "Construcción de esquemas de Hilbert y Quot". Geometría algebraica fundamental: explicación del FGA de Grothendieck . Encuestas y monografías matemáticas. vol. 123. Sociedad Matemática Estadounidense. págs. 105-137. arXiv : matemáticas/0504590 . ISBN 978-0-8218-4245-4.
- ^ Altman, Allen B.; Kleiman, Steven L. (1980). "Compactando el esquema Picard". Avances en Matemáticas . 35 (1): 50-112. doi : 10.1016/0001-8708(80)90043-2 . ISSN 0001-8708.
- ^ El significado de una base para las secciones globales define una incrustación para
![{\ Displaystyle s_ {i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Gamma (X,{\mathcal {L}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {s} :X\to \mathbb {P} _ {S}^{N}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N={\text{dim}}(\Gamma (X,{\mathcal {L}}))}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- ^ abc Hoskins, Victoria. "Problemas de módulos y teoría de la invariante geométrica" (PDF) . págs. 68, 74–85. Archivado (PDF) desde el original el 1 de marzo de 2020.
Otras lecturas
- Notas sobre mapas estables y cohomología cuántica.
- https://amathew.wordpress.com/2012/06/02/the-stack-of-coherent-sheaves/