Esquema derivado

En geometría algebraica , un esquema derivado es una generalización teórica de homotopía de un esquema en el que los anillos conmutativos clásicos se reemplazan con versiones derivadas como álgebras graduadas diferenciales , anillos simpliciales conmutativos o espectros de anillos conmutativos .

Desde el punto de vista del funtor, un esquema derivado es un haz X en la categoría de anillos conmutativos simpliciales que admite una cobertura afín abierta . ${\displaystyle \{Spec(A_{i})\to X\}}$

Desde el punto de vista del espacio localmente anillado, un esquema derivado es un par que consta de un espacio topológico X y un haz de anillos conmutativos simpliciales o de espectros de anillos conmutativos ^[1] en X tal que (1) el par es un esquema y (2) es un módulo cuasi coherente . ${\displaystyle (X,{\mathcal {O}})}$ ${\displaystyle {\mathcal {O}}}$ ${\displaystyle (X,\pi _{0}{\mathcal {O}})}$ ${\displaystyle \pi _{k}{\mathcal {O}}}$ ${\displaystyle \pi _{0}{\mathcal {O}}}$

Una pila derivada es una generalización apilada de un esquema derivado.

Esquema de calificación diferencial

Sobre un campo de característica cero, la teoría está estrechamente relacionada con la de un esquema graduado diferencial. ^[2] Por definición, un esquema graduado diferencial se obtiene pegando esquemas graduados diferenciales afines, con respecto a la topología étale . ^[3] Fue introducido por Maxim Kontsevich ^[4] "como el primer acercamiento a la geometría algebraica derivada". ^[5] y fue desarrollado aún más por Mikhail Kapranov y Ionut Ciocan-Fontanine.

Conexión con anillos graduados diferenciales y ejemplos.

Así como la geometría algebraica afín es equivalente (en sentido categórico ) a la teoría de anillos conmutativos (comúnmente llamada álgebra conmutativa ), la geometría algebraica derivada afín sobre cero característico es equivalente a la teoría de anillos graduados diferenciales conmutativos . Uno de los principales ejemplos de esquemas derivados proviene de la intersección derivada de subesquemas de un esquema, dando el complejo de Koszul . Por ejemplo, let , entonces podemos obtener un esquema derivado. ${\displaystyle f_{1},\ldots ,f_{k}\in \mathbb {C} [x_{1},\ldots ,x_{n}]=R}$

${\displaystyle (X,{\mathcal {O}}_{\bullet })=\mathbf {RSpec} \left(R/(f_{1})\otimes _{R}^{\mathbf {L} }\cdots \otimes _{R}^{\mathbf {L} }R/(f_{k})\right)}$

dónde

${\displaystyle {\textbf {RSpec}}:({\textbf {dga}}_{\mathbb {C} })^{op}\to {\textbf {DerSch}}}$

es el espectro étale . ^{[ cita necesaria ]} Ya que podemos construir una resolución

${\displaystyle {\begin{matrix}0\to &R&{\xrightarrow {\cdot f_{i}}}&R&\to 0\\&\downarrow &&\downarrow &\\0\to &0&\to &R/(f_{i})&\to 0\end{matrix}}}$

el anillo derivado , un producto tensorial derivado , es el complejo de koszul . El truncamiento de este esquema derivado a amplitud proporciona un modelo clásico que motiva la geometría algebraica derivada. Observe que si tenemos un esquema proyectivo ${\displaystyle R/(f_{1})\otimes _{R}^{\mathbf {L} }\cdots \otimes _{R}^{\mathbf {L} }R/(f_{k})}$ ${\displaystyle K_{R}(f_{1},\ldots ,f_{k})}$ ${\displaystyle [-1,0]}$

${\displaystyle \operatorname {Proj} \left({\frac {\mathbb {Z} [x_{0},\ldots ,x_{n}]}{(f_{1},\ldots ,f_{k})}}\right)}$

donde podemos construir el esquema derivado donde ${\displaystyle \deg(f_{i})=d_{i}}$ ${\displaystyle (\mathbb {P} ^{n},{\mathcal {E}}^{\bullet },(f_{1},\ldots ,f_{k}))}$

${\displaystyle {\mathcal {E}}^{\bullet }=[{\mathcal {O}}(-d_{1})\oplus \cdots \oplus {\mathcal {O}}(-d_{k}){\xrightarrow {(\cdot f_{1},\ldots ,\cdot f_{k})}}{\mathcal {O}}]}$

con amplitud ${\displaystyle [-1,0]}$

complejo cotangente

Construcción

Sea un álgebra graduada diferencial fija definida sobre un campo de característica . Entonces un álgebra graduada diferencial se llama semilibre si se cumplen las siguientes condiciones: ${\displaystyle (A_{\bullet },d)}$ ${\displaystyle 0}$ ${\displaystyle A_{\bullet }}$ ${\displaystyle (R_{\bullet },d_{R})}$

1. El álgebra graduada subyacente es un álgebra polinómica sobre , lo que significa que es isomorfa a ${\displaystyle R_{\bullet }}$ ${\displaystyle A_{\bullet }}$ ${\displaystyle A_{\bullet }[\{x_{i}\}_{i\in I}]}$
2. Existe una filtración sobre el conjunto de indexación donde y para cualquier . ${\displaystyle \varnothing =I_{0}\subseteq I_{1}\subseteq \cdots }$ ${\displaystyle I}$ ${\displaystyle \cup _{n\in \mathbb {N} }I_{n}=I}$ ${\displaystyle s(x_{i})\in A_{\bullet }[\{x_{j}\}_{j\in I_{n}}]}$ ${\displaystyle x_{i}\in I_{n+1}}$

Resulta que todo álgebra graduada diferencial admite un cuasiisomorfismo sobreyectivo de un álgebra graduada diferencial semilibre, llamado resolución semilibre. Estos son únicos hasta la equivalencia de homotopía en una categoría de modelo adecuada. El complejo cotangente (relativo) de un álgebra graduada diferencial se puede construir utilizando una resolución semilibre : se define como ${\displaystyle A_{\bullet }}$ ${\displaystyle (A_{\bullet },d)}$ ${\displaystyle (A_{\bullet },d)}$ ${\displaystyle (B_{\bullet },d_{B})}$ ${\displaystyle (R_{\bullet },d_{R})\to (B_{\bullet },d_{B})}$

${\displaystyle \mathbb {L} _{B_{\bullet }/A_{\bullet }}:=\Omega _{R_{\bullet }/A_{\bullet }}\otimes _{R_{\bullet }}B_{\bullet }}$

Se pueden construir muchos ejemplos tomando el álgebra que representa una variedad sobre un campo de característica 0, encontrando una presentación de como cociente de un álgebra polinómica y tomando el complejo de Koszul asociado a esta presentación. El complejo de Koszul actúa como una resolución semilibre del álgebra graduada diferencial donde está el álgebra graduada con la pieza graduada no trivial en grado 0. ${\displaystyle B}$ ${\displaystyle R}$ ${\displaystyle (B_{\bullet },0)}$ ${\displaystyle B_{\bullet }}$

Ejemplos

El complejo cotangente de una hipersuperficie se puede calcular fácilmente: dado que dga representa la mejora derivada de , podemos calcular el complejo cotangente como ${\displaystyle X=\mathbb {V} (f)\subset \mathbb {A} _{\mathbb {C} }^{n}}$ ${\displaystyle K_{R}(f)}$ ${\displaystyle X}$

${\displaystyle 0\to R\cdot ds{\xrightarrow {\Phi }}\bigoplus _{i}R\cdot dx_{i}\to 0}$

donde y es la derivación universal habitual. Si tomamos una intersección completa, entonces el complejo koszul. ${\displaystyle \Phi (gds)=g\cdot df}$ ${\displaystyle d}$

${\displaystyle R^{\bullet }={\frac {\mathbb {C} [x_{1},\ldots ,x_{n}]}{(f_{1})}}\otimes _{\mathbb {C} [x_{1},\ldots ,x_{n}]}^{\mathbf {L} }\cdots \otimes _{\mathbb {C} [x_{1},\ldots ,x_{n}]}^{\mathbf {L} }{\frac {\mathbb {C} [x_{1},\ldots ,x_{n}]}{(f_{k})}}}$

es casi isomorfo al complejo

${\displaystyle {\frac {\mathbb {C} [x_{1},\ldots ,x_{n}]}{(f_{1},\ldots ,f_{k})}}[+0].}$

Esto implica que podemos construir el complejo cotangente del anillo derivado como el producto tensorial del complejo cotangente anterior para cada uno . ${\displaystyle R^{\bullet }}$ ${\displaystyle f_{i}}$

Observaciones

Tenga en cuenta que el complejo cotangente en el contexto de la geometría derivada difiere del complejo cotangente de los esquemas clásicos. Es decir, si hubiera una singularidad en la hipersuperficie definida por entonces el complejo cotangente tendría una amplitud infinita. Estas observaciones motivan la filosofía de suavidad oculta de la geometría derivada, ya que ahora estamos trabajando con un complejo de longitud finita. ${\displaystyle f}$

Complejos tangentes

Funciones polinómicas

Dada una función polinómica , considere el diagrama de retroceso (homotopía) ${\displaystyle f:\mathbb {A} ^{n}\to \mathbb {A} ^{m},}$

${\displaystyle {\begin{matrix}Z&\to &\mathbb {A} ^{n}\\\downarrow &&\downarrow f\\\{pt\}&{\xrightarrow {0}}&\mathbb {A} ^{m}\end{matrix}}}$

donde la flecha inferior es la inclusión de un punto en el origen. Entonces, el esquema derivado tiene complejo tangente en viene dado por el morfismo ${\displaystyle Z}$ ${\displaystyle x\in Z}$

${\displaystyle \mathbf {T} _{x}=T_{x}\mathbb {A} ^{n}{\xrightarrow {df_{x}}}T_{0}\mathbb {A} ^{m}}$

donde el complejo es de amplitud . Observe que el espacio tangente se puede recuperar usando y mide qué tan lejos está de ser un punto suave. ${\displaystyle [-1,0]}$ ${\displaystyle H^{0}}$ ${\displaystyle H^{-1}}$ ${\displaystyle x\in Z}$

Cocientes de pila

Dada una pila, hay una buena descripción para el complejo tangente: ${\displaystyle [X/G]}$

${\displaystyle \mathbf {T} _{x}={\mathfrak {g}}_{x}\to T_{x}X}$

Si el morfismo no es inyectivo, mide nuevamente qué tan singular es el espacio. Además, la característica de Euler de este complejo produce la dimensión correcta (virtual) de la pila de cocientes. En particular, si observamos la pila de módulos de paquetes principales, entonces el complejo tangente es simplemente . ${\displaystyle H^{-1}}$ ${\displaystyle G}$ ${\displaystyle {\mathfrak {g}}[+1]}$

Esquemas derivados en la compleja teoría Morse

Los esquemas derivados se pueden utilizar para analizar propiedades topológicas de variedades afines. Por ejemplo, considere una variedad afín suave . Si tomamos una función regular y consideramos la sección de ${\displaystyle M\subset \mathbb {A} ^{n}}$ ${\displaystyle f:M\to \mathbb {C} }$ ${\displaystyle \Omega _{M}}$

${\displaystyle {\begin{cases}\Gamma _{df}:M\to \Omega _{M}\\x\mapsto (x,df(x))\end{cases}}}$

Entonces, podemos tomar el diagrama de retroceso derivado.

${\displaystyle {\begin{matrix}X&\to &M\\\downarrow &&\downarrow 0\\M&{\xrightarrow {\Gamma _{df}}}&\Omega _{M}\end{matrix}}}$

donde está la sección cero, construyendo un lugar crítico derivado de la función regular . ${\displaystyle 0}$ ${\displaystyle f}$

Ejemplo

Considere la variedad afín

${\displaystyle M=\operatorname {Spec} (\mathbb {C} [x,y])}$

y la función regular dada por . Entonces, ${\displaystyle f(x,y)=x^{2}+y^{3}}$

${\displaystyle \Gamma _{df}(a,b)=(a,b,2a,3b^{2})}$

donde tratamos las dos últimas coordenadas como . El lugar crítico derivado es entonces el esquema derivado. ${\displaystyle dx,dy}$

${\displaystyle {\textbf {RSpec}}\left({\frac {\mathbb {C} [x,y,dx,dy]}{(dx,dy)}}\otimes _{\mathbb {C} [x,y,dx,dy]}^{\mathbf {L} }{\frac {\mathbb {C} [x,y,dx,dy]}{(2x-dx,3y^{2}-dy)}}\right)}$

Tenga en cuenta que dado que el término izquierdo en la intersección derivada es una intersección completa, podemos calcular un complejo que represente el anillo derivado como

${\displaystyle K_{dx,dy}^{\bullet }(\mathbb {C} [x,y,dx,dy])\otimes _{\mathbb {C} [x,y,dx,dy]}{\frac {\mathbb {C} [x,y,dx,dy]}{(2-dx,3y^{2}-dy)}}}$

¿Dónde está el complejo Koszul? ${\displaystyle K_{dx,dy}^{\bullet }(\mathbb {C} [x,y,dx,dy])}$

Locus crítico derivado

Considere una función suave donde es suave. La mejora derivada de , el locus crítico derivado , viene dada por el esquema graduado diferencial donde el anillo graduado subyacente son los campos polivectoriales. ${\displaystyle f:M\to \mathbb {C} }$ ${\displaystyle M}$ ${\displaystyle \operatorname {Crit} (f)}$ ${\displaystyle (M,{\mathcal {A}}^{\bullet },Q)}$

${\displaystyle {\mathcal {A}}^{-i}=\wedge ^{i}T_{M}}$

y el diferencial está definido por la contracción por . ${\displaystyle Q}$ ${\displaystyle df}$

Ejemplo

Por ejemplo, si

${\displaystyle {\begin{cases}f:\mathbb {C} ^{2}\to \mathbb {C} \\f(x,y)=x^{2}+y^{3}\end{cases}}}$

tenemos el complejo

${\displaystyle R\cdot \partial x\wedge \partial y{\xrightarrow {2xdx+3y^{2}dy}}R\cdot \partial x\oplus R\cdot \partial y{\xrightarrow {2xdx+3y^{2}dy}}R}$

que representa la mejora derivada de . ${\displaystyle \operatorname {Crit} (f)}$

Notas

1. también llamado a menudo espectros de anillo ${\displaystyle E_{\infty }}$
2. sección 1.2 de Eugster, J.; Pridham, JP (25 de octubre de 2021). "Una introducción a la geometría derivada (algebraica)". arXiv : 2109.14594 [matemáticas.AG].
3. Behrend, Kai (16 de diciembre de 2002). "Esquemas graduados diferenciales I: álgebras de resolución perfecta". arXiv : matemáticas/0212225 .
4. Kontsevich, M. (5 de mayo de 1994). "Enumeración de curvas racionales mediante acciones de toro". arXiv : hep-th/9405035 .
5. "Esquema Dg".

Referencias

• Alcanzar la geometría algebraica derivada - Mathoverflow
• M. Anel, La geometría de la ambigüedad
• K. Behrend, Sobre la clase fundamental virtual
• P. Goerss, Formas modulares topológicas [según Hopkins, Miller y Lurie]
• B. Toën, Introducción a la geometría algebraica derivada.
• M. Manetti, El complejo cotangente en la característica 0.
• G. Vezzosi, El locus crítico derivado I - conceptos básicos