En matemáticas, un paquete de vectores esencialmente finito es un tipo particular de paquete de vectores definido por Madhav V. Nori , [1] [2] como la herramienta principal en la construcción del esquema de grupo fundamental . Incluso si la definición no es intuitiva, hay una buena caracterización que hace que los paquetes de vectores esencialmente finitos sean objetos bastante naturales para estudiar en geometría algebraica . La siguiente noción de paquete de vectores finitos se debe a André Weil y será necesaria para definir paquetes de vectores esencialmente finitos:
Paquetes de vectores finitos
Sea un esquema y un paquete de vectores en . Para un polinomio integral con coeficientes no negativos, defina![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f=a_{0}+a_{1}x+\ldots +a_{n}x^{n}\in \mathbb {Z} _{\geq 0}[x]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(V):={\mathcal {O}}_{X}^{\oplus a_{0}}\oplus V^{\oplus a_{1}}\oplus \left(V^{\ otimes 2}\right)^{\oplus a_{2}}\oplus \ldots \oplus \left(V^{\otimes n}\right)^{\oplus a_{n}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Entonces se llama finito si existen dos polinomios distintos para los cuales es isomorfo . ![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f,g\in \mathbb {Z} _{\geq 0}[x]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle f(V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g(V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definición
Las dos definiciones siguientes coinciden siempre que se trata de un esquema reducido, conexo y propio sobre un campo perfecto.![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Según Borne y Vistoli
Un paquete de vectores es esencialmente finito si es el núcleo de un morfismo donde hay paquetes de vectores finitos. [3]![{\ Displaystyle u: F_ {1} \ a F_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle F_ {1}, F_ {2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La definición original de Nori
Un paquete de vectores es esencialmente finito si es un subcociente de un paquete de vectores finito en la categoría de paquetes de vectores semiestables de Nori . [1]
Propiedades
- Sea un esquema reducido y conexo sobre un campo perfecto dotado de una sección . Entonces un paquete vectorial over es esencialmente finito si y sólo si existe un esquema de grupo finito y un - torsor tal que se vuelva trivial over (es decir , donde ).
![{\displaystyle k}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en X(k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p:P\a X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle p^{*}(V)\cong O_{P}^{\oplus r}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r=rk(V)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Cuando se trata de un esquema reducido, conexo y propio sobre un campo perfecto con un punto, entonces la categoría de haces de vectores esencialmente finitos provistos del producto tensorial habitual , el objeto trivial y el functor de fibra es una categoría de Tannakian .
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\en X(k)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle EF(X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \otimes _ {{\mathcal {O}}_{X}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {O}}_{X}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Notas
- ^ ab Nori, Madhav V. (1976). "Sobre las Representaciones del Grupo Fundamental". Composición Matemática . 33 (1): 29–42. SEÑOR 0417179.
- ^ Szamuely, T. (2009). Grupos de Galois y Grupos Fundamentales . vol. 117. Estudios de Cambridge en Matemáticas Avanzadas.
- ^ N. Borne, A. Vistoli El gerbe fundamental Nori de categoría fibrosa , J. Algebr. Geom. 24, núm. 2, 311-353 (2015)