LINEAMIENTOS INICIO DEL AÑO LECTIVO 2024-2025.pptx
Esquemas Débilmente Completos y Estructuras Logarítmicas
1. Esquemas D´ebilmente Completos y Estructuras
Logar´ıtmicas
Revisando lo Expuesto Anteriormente
J. Rogelio P´erez Buend´ıa
Centro de Investigaci´on en Matem´aticas (CIMAT)
Seminario de Aritm´etica: cohomolog´ıa de De Rham p-´adica
11 de febrero de 2016
2. Objetivo
Retomamos el seminario con un resumen del lo que se ha trabajado hasta
ahora: esquemas d´ebilmente completos, levantamiento de morfismos
suaves en esquemas †´adicos, esquemas logar´ıtmicos, esquemas
logar´ıtmicos formales, estructuras logar´ıtmicas en esquemas †-´adicos,
morfismos log-suaves. Si el tiempo lo permite se abordar´a el problema de
levantamiento de morfismos log-suaves para esquemas d´ebilmente
completos.
4. Estructuras Pre-Logar´ıtmicas
X = (X, OX ) un espacio anillado.
Una estructura pre-logar´ıtmica es un par (P, α) en donde P es una
gavilla de monoides (conmutativos con uno) y
α : P → OX
es un morfismo de gavillas de monoides (con la estructura
multiplicativa en OX ).
5. Morfismos de Estructuras pre-logar´ıtmicas
Un morfismo φ : (P, α) → (Q, β) consiste de un morfismo de
gavillas f : P → Q tal que:
P
α
f // Q
β
~~
OX
conmuta.
6. Morfismos de Estructuras pre-logar´ıtmicas
Un morfismo φ : (P, α) → (Q, β) consiste de un morfismo de
gavillas f : P → Q tal que:
P
α
f // Q
β
~~
OX
conmuta.
Una estructura pre-logar´ıtmica (P, α) es llamada idealizada si est´a
dotada de una gavilla de ideales I ⊂ P con la propiedad de que
α(I) = 0.
7. Morfismos de Estructuras pre-logar´ıtmicas
Un morfismo φ : (P, α) → (Q, β) consiste de un morfismo de
gavillas f : P → Q tal que:
P
α
f // Q
β
~~
OX
conmuta.
Una estructura pre-logar´ıtmica (P, α) es llamada idealizada si est´a
dotada de una gavilla de ideales I ⊂ P con la propiedad de que
α(I) = 0.
Un morfismo de estructuras logar´ıtmicas idealizadas (id-pre-log-st)
φ : (P, α, I) → (Q, β, J)
es un morfismo de pre-log-st tal que f (I) ⊂ J.
8. Categor´ıas de Estructuras Logar´ıtmicas
Denotamos por PreLogSt(X) y por IdPreLogSt(X) a las categor´ıas de
estructuras pre-logar´ıtmicas y de estructuras pre-logar´ıtmicas idealizadas
en el espacio anillado (X, OX ).
9. Categor´ıas de Estructuras Logar´ıtmicas
Denotamos por PreLogSt(X) y por IdPreLogSt(X) a las categor´ıas de
estructuras pre-logar´ıtmicas y de estructuras pre-logar´ıtmicas idealizadas
en el espacio anillado (X, OX ).
A cada pre-log-st le podemos asociar una id-pre-log-st simplemente
considerando el ideal vac´ıo: (P, α) → (P, α, ∅).
10. Categor´ıas de Estructuras Logar´ıtmicas
Denotamos por PreLogSt(X) y por IdPreLogSt(X) a las categor´ıas de
estructuras pre-logar´ıtmicas y de estructuras pre-logar´ıtmicas idealizadas
en el espacio anillado (X, OX ).
A cada pre-log-st le podemos asociar una id-pre-log-st simplemente
considerando el ideal vac´ıo: (P, α) → (P, α, ∅).
Esta asociaci´on nos da un funtor que es adjunto izquierdo de el funtor de
la desidealizac´ıon.
12. Estructuras Logar´ıtmicas
Definici´on
Una estructura pre logar´ıtmica (P, α) es una estructura logar´ıtmica
(log-st) si
α−1
(O∗
X ) O∗
X .
Es decir si P contiene a O∗
X v´ıa α.
Un morfismo entre (idealizadas) estructuras logar´ıtmicas, es un morfismo
de (idealizadas) pre-log-st.
13. A toda Pre-Log-St le corresponde una ´unica Log-St
El funtor de olvido:
LogSt −→ PreLogSt
tiene un adjunto izquierdo de tal manera que a cada pre-log-st (P, α) le
corresponde una ´unica log-st (Pa
, αa
) con al propiedad de que cualquier
morfismo de pre-log-st:
(P, α) −→ (Q, β)
con (Q, β) una log-st se factoriza por αa
:
(P, α) //
$$
(Q, β)
(Pa
, αa
)
OO
14. −a
: PreLogSt → LogSt
Pa
est´a definido por el producto amalgamado:
Pa
:= P ⊕α−1(O∗
X ) O∗
X
y αa
est´a dado por el diagrama cartesiano:
α−1
(O∗
X ) //
α
P
α
O∗
X
// Pa
αa
// OX
15. Adjunci´on en IdPreLogSt y en IdLogSt
Podemos extender la adjunci´on para pre-log-st:
Dotamos a (Pa
, αa
) del ideal Ia
generado en Pa
por la imagen de I por el
morfismo P → Pa
.
16. Adjunci´on en IdPreLogSt y en IdLogSt
Podemos extender la adjunci´on para pre-log-st:
Dotamos a (Pa
, αa
) del ideal Ia
generado en Pa
por la imagen de I por el
morfismo P → Pa
.
La (id) log-st Pa
asociada es la la (id) log-st asociada a P.
17. Ejemplos:
La categor´ıa LogSt(X) de estructuras logar´ıtmicas en X tiene un
objeto inicial, llamada la estructura logar´ıtmica trivial y est´a dada
por la inclusi´on O∗
X → O∗
X .
18. Ejemplos:
La categor´ıa LogSt(X) de estructuras logar´ıtmicas en X tiene un
objeto inicial, llamada la estructura logar´ıtmica trivial y est´a dada
por la inclusi´on O∗
X → O∗
X .
La categor´ıa (st.logX) tambi´en tiene un objeto final dado por la
aplicaci´on OX → OX .
19. Ejemplos:
La categor´ıa LogSt(X) de estructuras logar´ıtmicas en X tiene un
objeto inicial, llamada la estructura logar´ıtmica trivial y est´a dada
por la inclusi´on O∗
X → O∗
X .
La categor´ıa (st.logX) tambi´en tiene un objeto final dado por la
aplicaci´on OX → OX .
De hecho tenemos que la categor´ıa de esquemas es una subcategor´ıa
plena de la categor´ıa de esquemas con estructura logar´ıtmica (a
definir m´as adelante), simplemente dotando a un esquema con su
estructura logar´ıtmica trivial.
20. Divisor Con Cruzamientos Normales
la estructura logar´ıtmica MD en X asociada al divisor D como:
MD(U) := g ∈ OX (U) : g |UD∈ O∗
X (U D) ⊂ OX (U).
21. Divisor Con Cruzamientos Normales
la estructura logar´ıtmica MD en X asociada al divisor D como:
MD(U) := g ∈ OX (U) : g |UD∈ O∗
X (U D) ⊂ OX (U).
El morfismo estructural est´a dado por la inclusi´on, lo que hace de M una
estructuras pre-logar´ıtmicas. Para ver que es en efecto una estructura
logar´ıtmica basta notar que toda g ∈ O∗
X est´a trivialmente incluida en
MD.
22. Divisor Con Cruzamientos Normales
la estructura logar´ıtmica MD en X asociada al divisor D como:
MD(U) := g ∈ OX (U) : g |UD∈ O∗
X (U D) ⊂ OX (U).
El morfismo estructural est´a dado por la inclusi´on, lo que hace de M una
estructuras pre-logar´ıtmicas. Para ver que es en efecto una estructura
logar´ıtmica basta notar que toda g ∈ O∗
X est´a trivialmente incluida en
MD.
El caso en que D sea un divisor con cruzamientos normales es especial.
M´as adelante veremos que en este caso el esquema logar´ıtmico es
log-suave. De hecho, la raz´on por la que es conveniente usar la
cohomolog´ıa ´etale (en vez de la de Zariski) es porque el concepto de
cruzamientos normales es en la topolog´ıa ´etale.
23. Imagen inversa
Sea f : X → Y un morfismo de espacios anillados. Si MY es una
estructura logar´ıtmica en Y , podemos definir una estructura logar´ıtmica
en X como la estructura logar´ıtmica asociada a la estructura
pre-logar´ıtmica:
f −1
(MY ) → f −1
(OY ) → OX
Esta es llamada la estructura logar´ıtmica imagen inversa de MY bajo f y
es denotada por f ∗
(MY ) = f ∗
MY .
24. Morfismos de Esquemas Logar´ıtmicos
Definici´on
Un morfismo de log-esquemas (de esquemas con una estructura
logar´ıtmica) X → Y consiste de un morfismo de los respectivos esquemas
f : X → Y
y un morfismo
f b
: f ∗
MY → MX
de estructuras logar´ıtmicas en X.
25. Morfismos de Esquemas Logar´ıtmicos
Definici´on
Un morfismo de log-esquemas (de esquemas con una estructura
logar´ıtmica) X → Y consiste de un morfismo de los respectivos esquemas
f : X → Y
y un morfismo
f b
: f ∗
MY → MX
de estructuras logar´ıtmicas en X.
Denotamos por LogSch a la categor´ıa de esquemas con estructura
logar´ıtmica y son llamados log-sch o esquemas logar´ıtmicos.
26. El caso Idealizado
Si iniciamos con una estructura logar´ıtmica idealizada en Y, tambi´en
podemos definir la imagen inversa bajo f : X → Y esta de manera
an´aloga, simplemente defendiendo el la imagen inversa del ideal J.
27. El caso Idealizado
Si iniciamos con una estructura logar´ıtmica idealizada en Y, tambi´en
podemos definir la imagen inversa bajo f : X → Y esta de manera
an´aloga, simplemente defendiendo el la imagen inversa del ideal J.
Tambi´en se puede definir la imagen directa de una (id) log-st y estas dos
cumplen la propiedad de adjunci´on usual entre la imagen directa y la
imagen inversa de gavillas.
En este caso denotamos por IdLogSch a la categor´ıa e esquemas
logar´ıtmicos idealizados (con estructura logar´ıtmica idealizada).
28. Resultados ´Utiles
Sea f : X → Y un morfismo de espacios anillados
La imagen inversa de la estructura logar´ıtmica trivial, es trivial:
f −1
(O∗
Y ) O∗
X
29. Resultados ´Utiles
Sea f : X → Y un morfismo de espacios anillados
La imagen inversa de la estructura logar´ıtmica trivial, es trivial:
f −1
(O∗
Y ) O∗
X
Si PY es pre-log-st en Y tal que Pa
Y MY , entonces
f ∗
(MY ) (f −1
(PY ))a
.
31. Estructura Can´onica Asociada a un Monoide
Sea P un monoide y R un anillo. Denotamos por R[P] al ´algebra
monomial.
Sea X = ƒpe™(‚[€]). Entonces X tiene una estructura logar´ıtmica
can´onica asociada al morfismo de monoides P → R[P] (la inclusi´on
can´onica de grado uno).
32. Estructura Can´onica Asociada a un Monoide
Sea P un monoide y R un anillo. Denotamos por R[P] al ´algebra
monomial.
Sea X = ƒpe™(‚[€]). Entonces X tiene una estructura logar´ıtmica
can´onica asociada al morfismo de monoides P → R[P] (la inclusi´on
can´onica de grado uno).
En efecto la gavilla constante P asociada a P tiene el morfismo can´onico
inducido por P → R[P] definiendo as´ı una estructura pre-logar´ıtmica en
X, entonces a esta le asociamos la estructura logar´ıtmica (P)a
inducida.
33. Estructura Can´onica Asociada a un Monoide
Sea P un monoide y R un anillo. Denotamos por R[P] al ´algebra
monomial.
Sea X = ƒpe™(‚[€]). Entonces X tiene una estructura logar´ıtmica
can´onica asociada al morfismo de monoides P → R[P] (la inclusi´on
can´onica de grado uno).
En efecto la gavilla constante P asociada a P tiene el morfismo can´onico
inducido por P → R[P] definiendo as´ı una estructura pre-logar´ıtmica en
X, entonces a esta le asociamos la estructura logar´ıtmica (P)a
inducida.
Denotamos por
ƒpe™(€ → ‚[€])
a el esquema logar´ıtmico con espacio X y estructura logar´ıtmica su
estructura logar´ıtmica can´onica inducida.
34. Ejemplos:
La estructura logar´ıtmica en ƒpe™(€ → ‚[€]) puede entenderse
como la imagen inversa de la estructura logar´ıtmica en
ƒpe™(€ → [€]) v´ıa el morfismo can´onico Z[P] → R[P].
35. Ejemplos:
La estructura logar´ıtmica en ƒpe™(€ → ‚[€]) puede entenderse
como la imagen inversa de la estructura logar´ıtmica en
ƒpe™(€ → [€]) v´ıa el morfismo can´onico Z[P] → R[P].
Sea k un campo y sa Y = An
k = ƒpe™(k[x1, . . . , xn]). Sea
D = V (x1 · · · xr ).
36. Ejemplos:
La estructura logar´ıtmica en ƒpe™(€ → ‚[€]) puede entenderse
como la imagen inversa de la estructura logar´ıtmica en
ƒpe™(€ → [€]) v´ıa el morfismo can´onico Z[P] → R[P].
Sea k un campo y sa Y = An
k = ƒpe™(k[x1, . . . , xn]). Sea
D = V (x1 · · · xr ).
MD puede interpretarse como el submonoide de OY generado por
O∗
Y y {x1, . . . , xn}.
37. Ejemplo: Punto Logar´ıtmico
Si ahora considero la inclusi´on ƒpe™(k) → ‰ que manda el punto al
origen de Y , entonces la imagen inversa de MD es k∗
Nr
. El morfismo
estructural est´a dado por
(a, n1, . . . , nr ) → a · 0n1+n2+···+nr
. aqu´ı convenimos que 00
= 1.
38. Ejemplo: Punto Logar´ıtmico
Si ahora considero la inclusi´on ƒpe™(k) → ‰ que manda el punto al
origen de Y , entonces la imagen inversa de MD es k∗
Nr
. El morfismo
estructural est´a dado por
(a, n1, . . . , nr ) → a · 0n1+n2+···+nr
. aqu´ı convenimos que 00
= 1.
Al punto ƒpe™(k) con la estructura logar´ıtmica anterior (para cualquier r)
lo llamamos punto logar´ıtmico. Cuando r = 1 decimos que este es el
punto logar´ıtmico est´andar.
39. Layout
Esquemas Logar´ıtmicos
Esquemas D´ebilmente Completos Logar´ıtmicos
Esquemas Formales logar´ıtmicos
Esquemas D´ebilmente Completos
log-Diferenciales y Log-Suavidad
Cartas en Estructuras Logar´ıtmicas
Estructuras Logar´ıtmicas Finas
Diferenciales logar´ıtmicas y Morfismos log-suaves
40. Completaci´on de un Anillo
A un anillo conmutativo con uno I ⊂ A un ideal.
Definici´on
La completaci´on de A respecto al ideal I es el anillo
ˆA := lim
←−
n 1
A/In
⊂
n 1
A/In
Tambi´en decimos que ˆA es la completaci´on I-´adica de A.
Tenemos un morfismo can´onico de anillos A → ˆA inducido por las
proyecciones A → A/In
.
41. Completaci´on Formal
Sea X un esquema noetheriano y sea Y → X una inmersi´on cerrada
definida por la gavilla de ideales I.
Definici´on
La completaci´on formal de X respecto a Y es el espacio anillado:
ˆX := ( ˆX, O ˆX )
tal que:
ˆX = Y como espacio topol´ogico.
Decimos que el anillo A es completo respecto a la topolog´ıa I-´adica si
A ˆA. En particular ˆA es completo.
42. Completaci´on Formal
Sea X un esquema noetheriano y sea Y → X una inmersi´on cerrada
definida por la gavilla de ideales I.
Definici´on
La completaci´on formal de X respecto a Y es el espacio anillado:
ˆX := ( ˆX, O ˆX )
tal que:
ˆX = Y como espacio topol´ogico.
O ˆX := lim
←−
OX /In
considerada como gavilla en Y .
Decimos que el anillo A es completo respecto a la topolog´ıa I-´adica si
A ˆA. En particular ˆA es completo.
43. El caso af´ın
Si X = ƒpe™(e) es un esquema af´ın y si Y = ƒpe™(e/s) es un
subesquema cerrado af´ın, entonces tenemos que:
Γ(O ˆX , ˆX) = ˆA
es la completaci´on I-´adica de A.
44. El caso af´ın
Si X = ƒpe™(e) es un esquema af´ın y si Y = ƒpe™(e/s) es un
subesquema cerrado af´ın, entonces tenemos que:
Γ(O ˆX , ˆX) = ˆA
es la completaci´on I-´adica de A.
ˆX es de hecho un espacio localmente anillado
Los anillos locales de ˆX no son completos en general.
45. La categor´ıa de esquemas formales noetherianos
Definici´on
Un Esquema Formal Noetheriano es un espacio localmente anillado
(X, OX) que tiene una cubierta abierta finita {Ui } de tal manera que para
cada i el par (Ui , OUi
) es isomorfo, como espacio localmente anillado, a
la completaci´on de un esquema Xi respecto a una inmersi´on cerrada Yi .
46. La categor´ıa de esquemas formales noetherianos
Definici´on
Un Esquema Formal Noetheriano es un espacio localmente anillado
(X, OX) que tiene una cubierta abierta finita {Ui } de tal manera que para
cada i el par (Ui , OUi
) es isomorfo, como espacio localmente anillado, a
la completaci´on de un esquema Xi respecto a una inmersi´on cerrada Yi .
Un Morfismo de esquemas formales noetherianos es un morfismo de
espacios localmente anillados.
47. Layout
Esquemas Logar´ıtmicos
Esquemas D´ebilmente Completos Logar´ıtmicos
Esquemas Formales logar´ıtmicos
Esquemas D´ebilmente Completos
log-Diferenciales y Log-Suavidad
Cartas en Estructuras Logar´ıtmicas
Estructuras Logar´ıtmicas Finas
Diferenciales logar´ıtmicas y Morfismos log-suaves
48. Definici´on
Una R-´algebra A†
es D´ebilmente completa si se cumple que:
A†
es Hausdorff respecto a la topolog´ıa m-´adica. Es decir si
∩mn
= (0).
49. Definici´on
Una R-´algebra A†
es D´ebilmente completa si se cumple que:
A†
es Hausdorff respecto a la topolog´ıa m-´adica. Es decir si
∩mn
= (0).
Si f = |i| 0 ai Xi
∈ R[[X]] es una serie de potencias con
coeficientes en R tal que para alguna constante c y para toda
n-tupla i:
c[ordm(ai )] |i|
es decir si f est´a en la completaci´on m-´adica de R[X]; entonces para
toda n-tupla a ∈ A†n
se tiene que f (a) ∈ A†
.
50. Completaci´on d´ebil
Definici´on
La completaci´on d´ebil de una R-´algebra A, es el ´algebra d´ebilmente
completa m´as peque˜na A†
⊂ ˆA tal que contiene a A.
Es decir, que satisface la propiedad universal:
51. D´ebilmente completa finitamente generada
Definici´on
Una ´algebra A†
d´ebilmente completa es llamada (dcfg) d´ebil completa
finitamente generada si existe una colecci´on finita de elementos
a1, a2, . . . , ak ∈ A†
tal que para todo a ∈ A†
existe una serie de potencias
f en n-variables tal que:
a = f (a1, . . . , an)
Claramente la completaci´on d´ebil de una ´algebra R finitamente generada
es una dcfg ´algebra.
52. Esquema formal d´ebil af´ın
Definici´on
un esquema formal d´ebil af´ın es un espacio (X, OX) localmente
anillado tal que para alguna dcfg R-´algebra A†
el espacio topol´ogico
asociado es:
X = ƒpe™(e†
/me†
)
53. Esquema formal d´ebil af´ın
Definici´on
un esquema formal d´ebil af´ın es un espacio (X, OX) localmente
anillado tal que para alguna dcfg R-´algebra A†
el espacio topol´ogico
asociado es:
X = ƒpe™(e†
/me†
)
y la gavilla estructural OX est´a descrita en sus abiertos b´asicos
principales (en t´erminos de la B-gavilla): Para [f ] ∈ A†
/mA†
denotamos por Xf el abierto principal b´asico correspondiente.
Entonces:
Γ(Xf , OX) := (A†
f )†
la completaci´on d´ebil de la localizaci´on A†
f para cualquier
representante f de [f ] en A†
.
54. Esquema formal d´ebil
Definici´on
Un (pre)esquema formal d´ebil es un espacio localmente anillado
(X, OX) que es localmente isomorfo a esquemas formales d´ebiles afines.
55. Teoremas de Meredith
Si R es un anillo de valuaci´on discreta completo y si (X, OX) es el
esquema formal d´ebil asociado a una ´algebra A†
d´ebilmente
completa finitamente generada (dcfg), entonces:
Se tiene una equivalencia entre las categor´ıas:
{Gavillas coherentes de OX-m´odulos} ⇐⇒ A†
-m´odulos f.g.
56. Teoremas de Meredith
Si (X, OX ) es un esquema (ordinario) de R-´algebras propio sobre R
con completaci´on d´ebil (X, OX) y si F es una gavilla coherente de
OX -m´odulos con completaci´on d´ebil F, entonces el mapeo natural:
Hi
(X, F) −→ Hi
(X, F)
es biyectivo.
57. Teoremas de Meredith
Si R es un dominio de valuaci´on discreta completo y si (X, OX ) es un
R-esquema proyectivo con completaci´on formal d´ebil (X, OX) entonces el
funtor “Completaci´on d´ebil” es una equivalencia entre la categor´ıa:
{OX -m´odulos coherentes} ⇐⇒ { OX-m´odulos coherentes }
58. Teoremas de Meredith
Si R es un dominio de valuaci´on discreta completo y si (X, OX ) es un
R-esquema proyectivo con completaci´on formal d´ebil (X, OX) entonces el
funtor “Completaci´on d´ebil” es una equivalencia entre la categor´ıa:
{OX -m´odulos coherentes} ⇐⇒ { OX-m´odulos coherentes }
Referencia: Meredith, D. (1971). Weak formal schemes. Nagoya Math J.
59. Notaci´on y Convenci´on
Sea R un anillo conmutativo con uno, y sea I ⊂ R un ideal.
Denotamos por Rs : −R/Is
para s 1. En particular R1 = R/I.
60. Notaci´on y Convenci´on
Sea R un anillo conmutativo con uno, y sea I ⊂ R un ideal.
Denotamos por Rs : −R/Is
para s 1. En particular R1 = R/I.
Llamaremos simplemente ´algebra †-´adica a un ´algebra A†
d´ebilmente
completa.
61. Notaci´on y Convenci´on
Sea R un anillo conmutativo con uno, y sea I ⊂ R un ideal.
Denotamos por Rs : −R/Is
para s 1. En particular R1 = R/I.
Llamaremos simplemente ´algebra †-´adica a un ´algebra A†
d´ebilmente
completa.
A un esquema formalmente d´ebil (X, OX ) lo llamaremos
simplemente esquema †-´adico y lo denotaremos por X†
.
62. Notaci´on y Convenci´on
Sea R un anillo conmutativo con uno, y sea I ⊂ R un ideal.
Denotamos por Rs : −R/Is
para s 1. En particular R1 = R/I.
Llamaremos simplemente ´algebra †-´adica a un ´algebra A†
d´ebilmente
completa.
A un esquema formalmente d´ebil (X, OX ) lo llamaremos
simplemente esquema †-´adico y lo denotaremos por X†
.
Dado un esquema †-´adico X†
= (X, OX), definimos su reducci´on
(m´odulo el ideal m ⊂ R) como el esquema:
(X, OX/m)
en d´onde OX/m := OX ⊗R R/m. Decimos que X†
es un
levantamiento de su reducci´on.
63. Notaci´on y Convenci´on
Sea R un anillo conmutativo con uno, y sea I ⊂ R un ideal.
Denotamos por Rs : −R/Is
para s 1. En particular R1 = R/I.
Llamaremos simplemente ´algebra †-´adica a un ´algebra A†
d´ebilmente
completa.
A un esquema formalmente d´ebil (X, OX ) lo llamaremos
simplemente esquema †-´adico y lo denotaremos por X†
.
Dado un esquema †-´adico X†
= (X, OX), definimos su reducci´on
(m´odulo el ideal m ⊂ R) como el esquema:
(X, OX/m)
en d´onde OX/m := OX ⊗R R/m. Decimos que X†
es un
levantamiento de su reducci´on.
Si X†
es un esquema †-´adico, entonces denotaremos a su gavilla
estructural por OX† .
64. Criterios de Afinidad
Teorema
Un esquema †-´adico X†
es af´ın si, y s´olo si su reducci´on (esquema sobre
R1 := R/m) es af´ın.
65. Criterios de Afinidad
Teorema
Un esquema †-´adico X†
es af´ın si, y s´olo si su reducci´on (esquema sobre
R1 := R/m) es af´ın.
Corolario
El espacio localmente anillado inducido sobre un abierto af´ın por un
esquema †-´adico, es un esquema †-´adico af´ın.
levantamiento
66. Layout
Esquemas Logar´ıtmicos
Esquemas D´ebilmente Completos Logar´ıtmicos
Esquemas Formales logar´ıtmicos
Esquemas D´ebilmente Completos
log-Diferenciales y Log-Suavidad
Cartas en Estructuras Logar´ıtmicas
Estructuras Logar´ıtmicas Finas
Diferenciales logar´ıtmicas y Morfismos log-suaves
67. Cartas
Definici´on
Sea (X, MX ) un log-sch y P un monoide.
Consideremos a la gavilla constante PX en X inducida por P.
Una carta para MX es un morfismo
PX → MX
tal que el morfismo inducido de estructuras logar´ıtmicas
Pa
→ MX
es un isomorfismo
Recordemos que Pa
es la estructura logar´ıtmica asociada a la estructura
pre-logar´ıtmica dada por PX → MX → OX
68. Otra forma de ver a las cartas:
Una carta para MX es equivalente a un morfismo de log-esquemas:
(X, MX ) → ƒpe™(€ → Z[€])
tal que f b
es un isomorfismo.
69. Otra forma de ver a las cartas:
Una carta para MX es equivalente a un morfismo de log-esquemas:
(X, MX ) → ƒpe™(€ → Z[€])
tal que f b
es un isomorfismo. En general tenemos lo siguiente:
Lema
El morfismo:
HomLogSch(X, ƒpe™(€ → Z[€])) → HomMon(€, (ˆ, MX))
que asocia a f la composici´on:
P → Γ(X, PX ) → Γ(X, MX )
es un isomorfismo.
70. Cartas de log-morfismos
Definici´on
Sea f : X → Y un morfismo de log-esquemas. Una carta para f es una
triplete
(PX → MX , QY → MY , Q → P)
en donde PX , QY son gavillas constantes asociadas a los monoides P, Q
que satisfacen las siguientes condiciones:
71. Cartas de log-morfismos
Definici´on
Sea f : X → Y un morfismo de log-esquemas. Una carta para f es una
triplete
(PX → MX , QY → MY , Q → P)
en donde PX , QY son gavillas constantes asociadas a los monoides P, Q
que satisfacen las siguientes condiciones:
PX → MX y QY → MY son cartas de MX y MY respectivamente.
72. Cartas de log-morfismos
Definici´on
Sea f : X → Y un morfismo de log-esquemas. Una carta para f es una
triplete
(PX → MX , QY → MY , Q → P)
en donde PX , QY son gavillas constantes asociadas a los monoides P, Q
que satisfacen las siguientes condiciones:
PX → MX y QY → MY son cartas de MX y MY respectivamente.
El morfismo de monoides Q → P hace el siguiente diagrama de
gavillas en X conmutativo:
QX
//
PX
f ∗
MY
// MX
73. Layout
Esquemas Logar´ıtmicos
Esquemas D´ebilmente Completos Logar´ıtmicos
Esquemas Formales logar´ıtmicos
Esquemas D´ebilmente Completos
log-Diferenciales y Log-Suavidad
Cartas en Estructuras Logar´ıtmicas
Estructuras Logar´ıtmicas Finas
Diferenciales logar´ıtmicas y Morfismos log-suaves
74. Grupo asociado a un Monoide
Recordemos que a todo monoide P le podemos asociar un grupo (el
grupo de Grothendieck) dado por:
Pgp
:= {(a, b)|(a, b) (c, d) si ∃ s ∈ P tal que s + a + d = s + b + c} ;
que satisface la propiedad universal de que todo morfismo de P a un
grupo se factoriza por Pgp
de manera ´unica.
75. Definiciones
Definici´on
Un monoide P es llamado integral si el morfismo can´onico
P → Pgp
es inyectivo.
Es llamado saturado si este es integral y para cada p ∈ Pgp
, se tiene que
si np ∈ P para alg´un entero n, entonces p ∈ P.
76. Definiciones
Definici´on
Un monoide P es llamado integral si el morfismo can´onico
P → Pgp
es inyectivo.
Es llamado saturado si este es integral y para cada p ∈ Pgp
, se tiene que
si np ∈ P para alg´un entero n, entonces p ∈ P.
Definici´on
Un esquema logar´ıtmico X es llamado fino, si en localmente- ´etale existe
una carta
P → MX
con P un monoide integral finitamente generado.
77. Definiciones
Definici´on
Un monoide P es llamado integral si el morfismo can´onico
P → Pgp
es inyectivo.
Es llamado saturado si este es integral y para cada p ∈ Pgp
, se tiene que
si np ∈ P para alg´un entero n, entonces p ∈ P.
Definici´on
Un esquema logar´ıtmico X es llamado fino, si en localmente- ´etale existe
una carta
P → MX
con P un monoide integral finitamente generado.
Si adem´as P se puede elegir de tal manera que sea saturado, entonces X
78. Layout
Esquemas Logar´ıtmicos
Esquemas D´ebilmente Completos Logar´ıtmicos
Esquemas Formales logar´ıtmicos
Esquemas D´ebilmente Completos
log-Diferenciales y Log-Suavidad
Cartas en Estructuras Logar´ıtmicas
Estructuras Logar´ıtmicas Finas
Diferenciales logar´ıtmicas y Morfismos log-suaves
79. Morfismo Estricto e Inmersi´on cerrada estricta
Definici´on
Un morfismo f : X → Y de log-equemas es llamado estricto si el
morfismo respectivo
f b
: f ∗
MY → MX
es un isomorfismo.
80. Morfismo Estricto e Inmersi´on cerrada estricta
Definici´on
Un morfismo f : X → Y de log-equemas es llamado estricto si el
morfismo respectivo
f b
: f ∗
MY → MX
es un isomorfismo.
Es una inmersi´on cerrada estricta, si es estricto y el morfismo de
esquemas X → Y es una inmersi´on cerrada.
81. Nota:
Consideremos el siguiente diagrama conmutativo de log-esquemas:
T0
Φ //
j
X
f
T1
Φ
// Y
con j una inmersi´on cerrada estricta definida por un ideal J tal que
J2
= 0.
Notemos que tanto T0, como T1 tienen al mismo espacio topol´ogico
subyacente. Adem´as ambos tienen al mismo sitio ´etale.