Upload
others
View
1
Download
0
Embed Size (px)
Citation preview
Propiedades definibles en primer orden de la
Geometrıa Tropical
Santiago CamachoDirector: Alf Onshuus
Universidad de los Andes
Julio de 2011
2
Indice general
1. Introduccion 51.1. Notacion & Preliminares . . . . . . . . . . . . . . . . . . . . . . . 6
2. Campos Valuados Algebraicamente Cerrados 112.1. Anillos Valuados . . . . . . . . . . . . . . . . . . . . . . . . . . . 112.2. Anillos de Valuacion . . . . . . . . . . . . . . . . . . . . . . . . . 132.3. Series de Puiseux . . . . . . . . . . . . . . . . . . . . . . . . . . . 152.4. Eliminacion de Cuantificadores . . . . . . . . . . . . . . . . . . . 162.5. Completitud de la Teorıa de ACVF . . . . . . . . . . . . . . . . . 19
3. Algebra Conmutativa y Geometrıa Algebraica 213.1. Nullstellensatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223.2. Base de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223.3. Dimension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4. Geometrıa Tropical 254.1. Variedades Tropicales a Partir de InĻ . . . . . . . . . . . . . . . 264.2. El Teorema Fundamental . . . . . . . . . . . . . . . . . . . . . . 274.3. El Semicampo Tropical . . . . . . . . . . . . . . . . . . . . . . . . 324.4. Combinatoria Tropical . . . . . . . . . . . . . . . . . . . . . . . . 324.5. Curvas Tropicales Planas . . . . . . . . . . . . . . . . . . . . . . 33
5. Primer Orden en la Geometrıa Tropical 355.1. Teorema Fundamental . . . . . . . . . . . . . . . . . . . . . . . . 355.2. Bezout . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3
INDICE GENERAL
4
Capıtulo 1
Introduccion
La geometrıa tropical es un area relativamente nueva de las matematicasque se puede entender informalmente como la version lineal a trozos de la ge-ometrıa algebraica clasica. Su nombre ātropicalā se dio en honor al brasileroImre Simon quien fue de los primeros en trabajar en matematica tropical, quees el estudio del semianillo donde las operaciones son el maximo y la suma. Haydiferentes formas en que se generan variedades tropicales, los objetos a estudiaren cuestion, a partir de variedades algebraicas, sobre diferentes campos, por logeneral algebraicamente cerrados. La ventaja de la geometrıa tropical frente ala geometrıa algebraica es que se pueden utilizar diferentes herramientas princi-palmente combinatoricas para poder trabajar en ella. Muchos resultados de lageometrıa algebraica tienen un resultado similar en la geometrıa tropical (verpor ejemplo [8]). De igual manera se estudian propiedades de la geometrıa trop-ical que puedan dar resultados en geometrıa algebraica.
En este documento buscamos identificar algunas propiedades y resultados dela geometrıa tropical que se puedan escribir en primer orden, de forma que inde-pendientemente del campo que se utilice para realizar la demostracion, por com-pletitud de la teorıa, tengamos que vale en el caso general. Entre las propiedadesque vamos a mostrar esta el teorema fundamental de la geometrıa tropical parahipersuperficies, y veremos como su demostracion para el caso de las series dePuiseux implica la validez en cualquier campo valuado algebraicamente cerrado.En el primer capitulo repasamos algunas nociones basicas de logica y algebra.En el segundo capıtulo desarrollamos la teorıa de campos valuados algebraica-mente cerrados y probamos propiedades de la teorıa, tales como eliminacion decuantificadores y completitud. En el tercer capıtulo desarrollamos algunas her-ramientas de geometrıa algebraica y algebra conmutativa. En el cuarto capıtulodesarrollamos las nociones de geometrıa tropical. En el capıtulo cinco mostramosalgunas propiedades de geometrıa tropical en primer orden.
5
CAPITULO 1. INTRODUCCION
1.1. Notacion & Preliminares
Definicion 1.1. Un lenguaje es un conjunto de la forma L = LCāŖLFāŖLR dondeLC es un conjunto de sımbolos de constante, LF es un conjunto de sımbolos defuncion y LR es un conjunto de sımbolos de relacion. Cada uno posiblementevacıo, donde LCā©LF = LCā©LR = LF ā©LR = ā . Para cada elemento de LF āŖLRcorresponde una aridad (un entero positivo asociado).
Definicion 1.2. Un L-termino se define recursivamente de la siguiente manera:
Las variables x1, x2, Ā· Ā· Ā· son L-terminos. A veces se utilizan x, y, z.
Las constantes del lenguaje son L-terminos.
Si f es un sımbolo de funcion n-ario y t1, Ā· Ā· Ā· , tn son L-terminos entoncesft1 Ā· Ā· Ā· tn es un L-termino. Usualmente se denota f(t1, Ā· Ā· Ā· , tn) o t1ft2 parafunciones binarias.
Definicion 1.3. Una L-formula esta definida recursivamente de la siguientemanera:
Si t1 y t2 son L-terminos entonces t1 = t2 es una L-formula.
Si R es un sımbolo de relacion n-ario y t1, Ā· Ā· Ā· , tn son L-terminos entoncesRt1 Ā· Ā· Ā· tn es L-formula. Usualmente se denota R(t1, Ā· Ā· Ā· , tn) o t1Rt2 pararelaciones binarias.
Si Ļ es L-formula entonces Ā¬Ļ es L-formula.
Si Ļ y Ļ son L-formulas entonces Ļā§Ļ es L-formula.
Si Ļ es L-formula entonces āxĻ es L-formula.
Usualmente se utilizan las siguientes abreviaciones,
ĻāØĻ ā” Ā¬(Ā¬Ļā§Ā¬Ļ).
Ļā Ļ ā” Ā¬Ļā§Ļ.
Ļā Ļ ā” Ļā Ļā§Ļ ā Ļ.
āxĻ ā” Ā¬āxĀ¬Ļ.
Definicion 1.4. Dada Ļ una L-formula definimos el conjunto de variables libresde Ļ como Lib(Ļ).
Si Ļ es de la forma t1 = t2 entonces Lib(Ļ) es igual al conjunto de variablesque aparecen en t1 o t2.
Si Ļ es de la forma Rt1 Ā· Ā· Ā· tn entonces Lib(Ļ) es igual a la union de lasvariables libres de t1, Ā· Ā· Ā· , tn.
Si Ļ es de la forma Ā¬Ļ entonces Lib(Ļ) = Lib(Ļ).
6
1.1. NOTACION & PRELIMINARES
Si Ļ es de la forma Ļ1 ā§Ļ2 entonces Lib(Ļ) = Lib(Ļ1) āŖ Lib(Ļ2).
Si Ļ es de la forma āxĻ entonces Lib(Ļ) = Lib(Ļ) \ {x}.
Decimos que una L-formula Ļ es una L-sentencia si Lib(Ļ) = ā .
Definicion 1.5. Dado un lenguaje L, una L-estructura A es una tupla (A, (ZA)ZāL)donde
ZA ā A si Z es un sımbolo de constante.
ZA : An ā A si Z es un sımbolo de funcion de aridad n.
ZA ā An si Z es un simbolo de relacion de aridad n.
Definicion 1.6. Dada una L-formula Ļ(x1, Ā· Ā· Ā· , xn), una L-estructura A ya1, Ā· Ā· Ā· , an ā A decimos que A modela Ļ(a1, Ā· Ā· Ā· , an) (A |= Ļ(a1, Ā· Ā· Ā· , an)) enlos siguientes casos.
{Ļ ā” t1 = t2} si tA1 (a1, Ā· Ā· Ā· , an) = tA2 (a1, Ā· Ā· Ā· , an).
{Ļ ā” Rt1 Ā· Ā· Ā· tn} si (tA1 (a1, Ā· Ā· Ā· , an), Ā· Ā· Ā· , tAn (a1, Ā· Ā· Ā· , an)) ā RA.
{Ļ ā” Ā¬Ļ} si A 6|= Ļ(a1, Ā· Ā· Ā· , an).
{Ļ ā” Ļ1 ā§ Ļ2} si A |= Ļ1(a1, Ā· Ā· Ā· , an) y A |= Ļ2(a1, Ā· Ā· Ā· , an).
{Ļ ā” āxĻ} si hay un b ā A tal que A |= Ļ(b)(a1, Ā· Ā· Ā· , an).
Definicion 1.7. Dado un lenguaje L decimos que T es una L-teorıa (o sim-plemente una teorıa en contexto) si T es un conjunto de L-sentencias y ademasdecimos que es consistente si existe A tal que para toda Ļ ā T tenemos queA |= Ļ. En este caso decimos que A es un modelo de T (A |= T ).
Definicion 1.8. Sea T un conjunto de L-formulas y Ļ una L-formula, decimosque Ļ se deduce de T (T ` Ļ) si para todo modelo A de T tenemos A |= Ļ.
Definicion 1.9. Un embebimiento de L-estructuras h : Aā B es una funcionh : Aā B, con A y B los universos de A y B respectivamente, que cumple lassiguientes propiedades.
1. cA 7ā cB para cada c ā Lc.
2. fA(a1, Ā· Ā· Ā· , an) 7ā fB(h(a1), Ā· Ā· Ā· , h(an)) para cada f ā Lf .
3. (a1, Ā· Ā· Ā· , an) ā PA ā (h(a1), Ā· Ā· Ā· , h(an)) ā PB para cada P ā Lr.
4. h es inyectiva.
A lo largo del documento utilizamos los sımbolos N, Z, Q, R, C para referirnosa los numeros naturales, los numeros enteros, los numeros racionales, los numerosreales y los numeros complejos respectivamente.
7
CAPITULO 1. INTRODUCCION
Definicion 1.10. Un grupo es una estructura (G, e, ā) que cumple:
1. āxāyāz(x ā y) ā z = x ā (y ā z).
2. āx(x ā e = e ā x = x).
3. āxāy(x ā y = y ā x = e).
Decimos que G es un grupo abeliano si ademas vale:
4. āx, y(x ā y = y ā x) En cuya ocasion es usual denotar la operacion por +y la identidad por 0.
Tambien decimos que G es un grupo ordenado si lo podemos extender a(G,+, 0, <) de tal forma que valga
5. āx, y, z((x < y) ā (x + z < y + z)). En este caso definimos G+ := {x āG : x > 0} y G+
0 := {x ā G : x ā„ 0}.
Definicion 1.11. Un grupo ordenado Ī es arquimediano, si para todo Ī±, Ī² ā Ī+
existe n ā N tal que nĪ± > Ī².
Lema 1.12. Sea Ī un grupo ordenado arquimediano y Ī³ ā Ī+. Existe un unicoembebimiento i : Īā R de tal forma que i(Ī³) = 1. Mas aun, si no existe Ī“ ā Ītal que 0 < i(Ī“) < 1 podemos afirmar que i(Ī) = Z.
Demostracion. Si existe Ī± ā Ī tal que Ī± = mın{Ī+} entonces todos los elemen-tos de Ī son de la forma Ā±
ānk=1 Ī±, puesto que Ī es arquimediano. En este caso si
Ī³ =āmk=1 Ī± entonces i(Ī) = mā1Z. De lo contrario i(Ī²) = sup{nkā1|nĪ³ ā¤ kĪ²}.
Definicion 1.13. Un anillo es una estructura (R, 0,+, ā) que cumple:
1. (R, 0,+) es un grupo abeliano.
2. ā es una funcion binaria asociativa.
3. āx, y, z(x+ y) ā z = x ā z + y ā zā§z ā (x+ y) = z ā x+ z ā y.
Decimos que R es un anillo conmutativo si ademas
4. ā es conmutativo.
y Decimos que R es un anillo con unidad si
5. āuāyu ā y = y ā u = y.
En este caso podemos utilizar (R,+, ā, 0, 1) donde 1 representa la identidadde la multiplicacion.
Nota. A lo largo del documento cuando mencionemos anillo vamos a referirnosa anillo conmutativo con identidad.
8
1.1. NOTACION & PRELIMINARES
Definicion 1.14. Un dominio de integridad D es un anillo tal que para todox, y en D xy = 0 implica que x = 0 o y = 0.
Definicion 1.15. Decimos que K es un campo si es un dominio de integridadtal que para todo x 6= 0 existe un y tal que xy = 1.
Definicion 1.16. Sea D un dominio de integridad, podemos extender D a sucampo de cocientes Frac(D) := {(a, b) ā DĆDā}/P donde P es una relacion deequivalencia de forma que (a1, b1)P (a2, b2) si y solo si a1b2 = a2b1. Usualmenteescribimos la pareja (a, b) como a/b o a
b . Las operaciones de D las extendemosde tal forma que,(a, b) + (c, d) = (ad+ bc, bd) y(a, b) ā (c, d) = (ac, bd).
Definicion 1.17. Sea R un anillo, definimos a R[x1, Ā· Ā· Ā· , xn] como el conjuntode polinomios en las variables xi con coeficientes en R
R[x1, Ā· Ā· Ā· , xn] :=
āiāIāNn
aixi : |I| < āµ0 ai ā R xi = xi11 Ā· Ā· Ā·xinn
.
Usualmente escribiremos R[x] para denotar este conjunto.
Definicion 1.18. Si A es un subconjunto de R un anillo, A es cerrado bajosuma, y para todo x ā R tenemos que xA ā A, decimos que A es un ideal deR.Cuando hablemos de ideal maximal nos referimos a maximal con respecto a lainclusion.Si S ā R entonces ćSćR o simplemente ćSć denota el mınimo ideal que contienea S.
Podemos definir operaciones de ideales de la siguiente manera. Si A y B sonideales de R, entoncesA+B := {a+ b : a ā A b ā B} la suma de ideales yA āB := ć{ab : a ā A b ā B}ćR el producto (por lo general simplemente AB).
Observacion.
ćSćR = {a1s1 + Ā· Ā· Ā·+ ansn : ai ā R, si ā S} =āIāS
I
Definicion 1.19. Sea I es un ideal de R, definimos el radical de I comoāI :=
{f ā R : ān ā N|fn ā I}.
Definicion 1.20. Decimos que P es un ideal primo si para todo x, y elementosde R se tiene que xy ā P implica que x ā P o y ā P .
Observacion. Sea I ideal de R entoncesāI =
ājāJ Pj donde Pj es un ideal
primo que contiene a I para todo j ā J .
9
CAPITULO 1. INTRODUCCION
Definicion 1.21. Si I es un ideal de R definimos el anillo cociente de R por Icomo
R/I := {a+ I : a ā R}.
Podemos extender las operaciones de R a R/I de la siguiente manera. (a+I) + (b+ I) := (a+ b) + I y (a+ I) ā (b+ I) := ab+ I de forma que R/I tieneestructura de anillo. Es facil ver que independientemente de los representante ay b que utilicemos, estas operaciones estan bien definidas.
Observacion. Si I es un ideal de R
I es un ideal primo si y solo si R/I es un dominio de integridad.
I es un ideal maximal si y solo si R/I es un campo.
Definicion 1.22. Un semigrupo es una estructura (G, ā, e) que cumple asocia-tividad y que e es la identidad.
Definicion 1.23. Un semianillo es una estructura (R,+, ā, 0) que cumple todoslos axiomas de anillo intercambiando el primero por (R,+, 0) es un semigrupoabeliano.
Definicion 1.24. Decimos que (R,m) (a veces nombramos unicamente a R) esun anillo local si m es el unico ideal maximal que posee R. R/m = k el campoque resulta del cociente de R por m lo llamamos el campo de residuos de R.
Definicion 1.25. Sea R un anillo y S ā R cerrado por multiplicacion, definimosel anillo de fracciones de R con respecto a S como Sā1R := {(a, b) : a ā R b āS}/ ā¼ donde (a1, b1) ā¼ (a2, b2) si āu ā S : (a1b2 ā a2b1)u = 0.Cuando S = R \ P para algun ideal primo P de R denotamos a Sā1R por RPy lo llamamos la localizacion de R con respecto a P . En este caso cualquierelemento por fuera de PRP es unidad y por lo tanto RP es un anillo local.
Ejemplo 1. Sea R = Z y P = pZ para p un primo, entonces RP = {ab : p 6 | b}y RP /PRP ā¼= Fp := Z/pZ.
Definicion 1.26. Un anillo Noethereano es un anillo cuyos ideales cumplan lacondicion de cadena ascendente. Es decir, un anillo tal que cualquier cadenaestrictamente creciente de ideales es finita.
Proposicion 1.27. Las siguiente son equivalentes propiedades son equivalentespara un anillo R
a) R es Noethereano.
b) Todo subconjunto no vacıo de ideales de R tiene un elemento maximal.
c) Todo ideal es finitamente generado.
10
Capıtulo 2
Campos ValuadosAlgebraicamente Cerrados
2.1. Anillos Valuados
Definicion 2.1. Una valuacion sobre un dominio A es una funcion v : R\{0} āĪ donde Ī es un grupo abeliano ordenado que cumple las siguientes propiedades:
1. v(x+ y) ā„ min{vx, vy} tal que x+ y 6= 0,
2. v(xy) = v(x) + v(y).
Ejemplo 2. Los siguientes son ejemplos de anillos valuados
1. Sea k un campo cualquiera consideremos k[X] el anillo de polinomios dek con la valuacion v : k[X]ā ā Z que envıa a
āni=0 aix
i en mınai 6=0{i}.
2. Q, p un numero primo y vp : Qā ā Z la aplicacion a/b 7ā (Ī±āĪ²) donde Ī±y Ī² son las maximas potencias de p que dividen a a y a b respectivamente.
Si K es el campo de fracciones de A podemos extender a v al campo deforma que v(xyā1) = v(x)ā v(y).Mas aun si a Ī le adjuntamosā tal que para todo x ā Ī tenemos que x+ā =āy x < ā podemos extender la valuacion al cero de forma tal que v(0) = āmanteniendo las dos propiedades de la valuacion.
Proposicion 2.2. Algunas propiedades interesantes son las siguientes
1. v(1) = 0.
2. v(x) = v(āx).
3. Si v(x) < v(y) entonces v(x+ y) = v(x).
4. La relacion P = {(x, y)|v(x ā y) > v(x)} es una relacion de equivalenciaen R\{0}.
11
CAPITULO 2. CAMPOS VALUADOS ALGEBRAICAMENTE CERRADOS
Demostracion. 1. v(1) = v(1 ā 1) = v(1) + v(1) por lo tanto 0 = v(1).
2. Es suficiente demostrar que v(ā1) = 0. Tenemos que 0 = v(1) = v(ā1) +v(ā1). Por ser Ī ordenado, es entonces libre de torsion. Por lo tantov(ā1) = 0.
3. Tenemos que v(x+ y) ā„ v(x). Ademas v(x) = v(x+ y ā y) ā„ mın{v(x+y), v(y)} por lo tanto v(x) ā„ v(x+ y).
4. Reflexividad v(xā x) = v(0) =ā > v(x) entonces (x, x) ā P .
Simetrıa Sea (x, y) ā P .Caso 1: v(x) = v(y) entonces como v(x ā y) = v(y ā x) entoncesv(y ā x) > v(y).Caso 2: v(x) > v(y) no puede ser puesto que v(y) = v(x ā y) >v(x) > v(y). Analogamente el tercer caso (v(x) < v(y)) no puede ser,de lo contrario v(xā y) = v(x).
Transitividad Sean (x, y), (y, z) ā P . v(x ā z) = v(x ā y + y āz) ā„ mın{v(xā y), v(y ā z)} > mın{v(x), v(y)} pero por la simetrıaobservamos que v(x) = v(z) entonces v(xā z) > v(z).
Definicion 2.3. Dada v una valuacion v : K ā Ī āŖ {ā} consideraremos tresestructuras importantes
Rv := {x ā K : v(x) ā„ 0}.
mv := {x ā K : v(x) > 0}.
kv := Rv/mv.
Si Ļ : Rv ā kv es el homomorfismo canonico entonces por el resto del capıtuloutilizaremos la notacion x = Ļ(x).
Ejemplo 3. Siguiendo con la numeracion del Ejemplo 2 tenemos
1. Rv = k[X]; mv = Xk[X]; kv = k.
2. Rvp = {a/b : p 6 |b}; mvp = pRvp ; kv = Fp.
El siguiente lema es una herramienta que se utilizara con frecuencia duranteel desarrollo del capitulo
Lema 2.4. v(x) = 0ā x 6= 0.
Demostracion. x = 0 si y solo si x ā mv lo que ocurre si y solo si v(x) > 0.
12
2.2. ANILLOS DE VALUACION
2.2. Anillos de Valuacion
Definicion 2.5. Un anillo de valuacion es un anillo cuyos ideales esten orde-nados linealmente por inclusion.
Lema 2.6. Sea R un anillo de valuacion entonces:
1. R es local.
2. Si K es su campo de fracciones, entonces para todo x ā K se tiene quex ā R o xā1 ā R.
3. R es un anillo valuado. Mas aun v(R) ā Ī+0 := {x ā Ī³ : x ā„ 0}.
Demostracion. 1. Sea m un ideal maximal de R, por lo tanto dado que susideales estan ordenados por inclusion, para todo otro ideal I diferente deR mismo se tiene que I ā m.
2. Sea x ā K entonces existen a, b ā R tales que x = abā1. Si ćaćR ā ćbćRentonces existe r ā R tal que a = br y por lo tanto r = bbā1r = x ā R.De lo contrario ćbć ā ćać y xā1 ā R.
3. Construimos el grupo a partir del semigrupo Ī+0 = {I : Ies ideal de R}
con la operacion de grupo correspondiente al producto de ideales y laidentidad R.Definimos el orden en el grupo como I < J si y solo si I ā J .Definimos v : Rā Ī x 7ā Ix donde Ix corresponde al ideal tal que x ā Ixy para todo J > Ix tenemos que x /ā J .Con estas definiciones tenemos que se cumplen las propiedades uno y dosde anillos valuados.
Nota. En general no se puede extender cualquier semigrupo a un grupo. Porejemplo NāŖ{ā} no se puede extender pues al agregar un inverso aā se pierdela asociatividad ([āā+ā]+c = c 6= 0 = āā+[ā+c]). Sin embargo en el casode la prueba anterior si, pues podemos verificar que al extender a R a su campode cocientes podemos definir el inverso de I como āI = {x|āy ā I : xy = 1} sinperder asociatividad.
Definicion 2.7. Un anillo local (R,m) se llama Henseliano si para todo f(x) =nāi=0
aixi en R[X] y todo Ī± en R tal que f(Ī±) ā m y f ā²(Ī±) /ā m, existe un a en
R tal que f(a) = 0 y a ā Ī± ā m, donde f ā²(x) :=
nāi=1
aiixiā1 es la derivada
algebraica de f .
Teorema 2.8. Sea R,m un anillo local. Las siguientes afirmaciones son equiv-alentes:
13
CAPITULO 2. CAMPOS VALUADOS ALGEBRAICAMENTE CERRADOS
i) R es un anillo Henseliano.
ii) Todo polinomio de la forma 1 + X + ba2X2 + Ā· Ā· Ā· + banX
n con b ā m yai ā R tiene solucion en U(R) := {x ā R | āy ā R : xy = 1}.
iii) Todo polinomio de la forma Xn +Xnā1 + ba2Xnā2 + Ā· Ā· Ā·+ ban con b ā m
y ai ā R tiene solucion en U(R).
iv) Dado un polinomio f(X) en R[X], Ī± ā R, c ā m tal que f(Ī±) = cf ā²(Ī±)2
existe un a ā R tal que f(a) = 0, y a ā” Ī±( mod cf ā²(Ī±)).
Demostracion. (i)ā (ii) Modulo m la ecuacion f(X) = 1 +X + ba2X2 + Ā· Ā· Ā·+
banXn tiene la solucion ā1. Por definicion tenemos que existe un a ā R tal que
f(a) = 0 y a ā”m ā1 por lo tanto a es unidad.
(ii)ā (iii) Si x es solucion de una de la ecuacion 1+X+ba2X2 +Ā· Ā· Ā·+banXn
o de la ecuacion Xn +Xnā1 + ba2Xnā2 + Ā· Ā· Ā·+ ban, entonces xā1 es solucion de
Xn +Xnā1 + ba2Xnā2 + Ā· Ā· Ā·+ ban o solucion de 1 +X + ba2X
2 + Ā· Ā· Ā·+ banXn
respectivamente.
(ii) ā (iv) Sean f, Ī±, c como en el enunciado y sea x ā R. Tenemos en-tonces que f(Ī± + x) = f(Ī±) + xf ā²(Ī±) + x2(B) con B ā R que es igual porhipotesis a cf ā²(Ī±)2 +xf ā²(Ī±) +x2(B). Reemplazando x por cf ā²(Ī±)y tenemos quef(Ī±+ cf ā²(Ī±)y) = cf ā²(Ī±)2[1 + y + y2cB(y)] con B(y) un polinomio en y.Consideremos una solucion d del polinomio 1+X+X2cB(X) que existe por (ii).Por lo tanto llegamos a que a := Ī± + cf ā²(Ī±)d es solucion de f y es congruentecon Ī± modulo cf ā²(Ī±).
(iv)ā(i) Tomese c = f(Ī±)[f ā²(Ī±)]ā2 que existe pues f ā²(Ī±) es unidad.
Definicion 2.9. Un anillo de valuacion A de un campo K es un subanillo deK de tal forma que para todo x ā Kā tenemos que x ā A o xā1 ā A. En efectoA es un anillo de valuacion con K su campo de fracciones.
Lema 2.10. Todo campo valuado K corresponde a un anillo de valuacion A deK, y a todo anillo de valuacion le corresponde un campo K.
Demostracion. Dado K un campo valuado consideremos Rv entonces Rv es unanillo de valuacion de K.Si A es un anillo de valuacion sobre K, dado que A es local podemos expresar aK como la union disyunta U(A) āŖmA āŖ (ma\{0})ā1. Consideremos Kā/U(A)es un grupo abeliano podemos definir un orden xU(A) > yU(A) si xyā1 āA, haciendo que Kā/U(A) sea un grupo ordenado. Consideremos v : Kā āKā/U(A). v(xy) = xyU(A) = xU(A)y(A) = v(x) ā v(y). Sea vx ā¤ vy entonces(x+ y)xā1 = 1 + yxā1 ā A. Por lo tanto v es una valuacion.
Definicion 2.11. Un campo de valuacion es una pareja (K,A) donde K es uncampo y A es un anillo de valuacion de K.
14
2.3. SERIES DE PUISEUX
Proposicion 2.12. Si E es un subcampo de K entonces la pareja (E,A ā© E)es un campo de valuacion y (E,A ā© E) es una subestructura de (K,A).
Lema 2.13. Si (K,A) es algebraicamente cerrado entonces kA es algebraica-mente cerrado y ĪA es un grupo divisible.
Demostracion. Supongamos para proceder por contradiccion que k = kA no esalgebraicamente cerrado, entonces existe f ā k[X] tal que no tiene solucion enk. Sea x una solucion de f en K, procederemos a mostrar que v(x) = 0 por lotanto x es diferente de 0 en k. Sea n el grado de f entonces si vx < 0 se tiene quev(f(x)) = ānv(x). Si v(x) > 0 tenemos que en f(x) hay un unico termino convalor 0 (el termino independiente) y todos los demas tienen valores diferentes ypositivos, por lo tanto v(f(x)) = 0, luego v(x) tiene que ser 0.Sea t ā K tal que vt = n entonces la solucion de Xk ā t tiene valor n
k . Por lotanto ĪA es divisible.
Definicion 2.14. Dado un campo de valuacion (K,A) y una extension al-gebraica de L ā K decimos que el anillo de valuacion B sobre L yace sobre Ao domina a A, si B ā©K = A.
Nota. En este caso mA = mB ā© K por lo tanto kA āŖā kB por medio de laidentidad. Ademas U(A) = U(B) ā©K por lo tanto ĪA āŖā ĪB por medio de laidentidad.
2.3. Series de Puiseux
Utilizaremos un ejemplo de campos valuados algebraicamente cerrados so-bre el cual estudiaremos los resultados aplicables en geometrıa tropical. Con-sideremos RN := K[[t
1N ]] := {
ānāN ant
nN : an ā K} donde K es un campo
algebraicamente cerrado. Consideremos LN := Frac(RN ).
Definicion 2.15. Las series de Puiseux se definen como
P :=āNāN
LN .
Las operaciones de anillo se heredan de los LN puesto que si a, b ā P existenM,K ā N tales que a ā LM y b ā K, pero tanto LM como LK se pueden vercomo subanillos de Lm.c.m(N,M) por lo tanto a + b y ab estan definidos ya enLm.c.m(N,M).
Como cada uno de los LM es campo tenemos que P es tambien campo.Ademas se puede demostrar que si K es algebraicamente cerrado entoncestambien lo es P.
Proposicion 2.16. Sea SN := {t nN }ān=0 entonces LN se es el anillo de frac-
ciones de RN con respecto a SN .
15
CAPITULO 2. CAMPOS VALUADOS ALGEBRAICAMENTE CERRADOS
Demostracion. Claramente SN es un subconjunto de RN cerrado bajo multipli-cacion. Es suficiente mostrar que Sā1
N RN es un campo para ver que es igual a LN .Consideremos el homorfismo de anillos
ānāN ant
nN 7ā
ānāN ant
n : RN ā K[[t]]
que es de hecho un isomorfismo. Si extendemos el dicho homomorfismo a Sā1N RN
tenemos entonces un isomorfismo entre Sā1N RN y las series de Laurent con finitos
coeficientes correspondientes a exponentes negativos diferentes de 0. Sabemosque este ultimo anillo es un campo, por lo tanto Sā1
N RN tambien lo es.
Nota. Sea J ā¤ P[x] un ideal. El conjunto N (J) := {N ā N : ćJ ā©RN ćP[x] = J}es no vacıo, puesto que J es generado por un numero finito de elementos(ver3.10).
2.4. Eliminacion de Cuantificadores
Definicion 2.17. Decimos que una teorıa T tiene posee eliminacion de cuantifi-cadores si para toda formula Ļ(x1, Ā· Ā· Ā·xn) existe una formula Ļ(x1, Ā· Ā· Ā·xn) librede cuantificadores tal que T ` āx1 Ā· Ā· Ā· āxn(Ļ(x)ā Ļ(x)).
El siguiente criterio es una aplicacion de modelos saturados que se utilizapara probar eliminacion de cuantificadores en una teorıa. La demostracion sepuede encontrar en [7].
Proposicion 2.18. Dada una teorıa T si para cuales quiera dos modelos N ,Mde T donde N es |M|+-saturado y dado cualquier embebimiento i : A ā Nde una subestructura propia A de M en N , podemos extender i a j : Aā² āN donde Aā² es una extension propia de A entonces T posee eliminacion decuantificadores.
Utilizaremos este criterio para probar que la teorıa de campos valuados al-gebraicamente cerrados posee eliminacion de cuantificadores. Para esto vamos aprobar que hay tres formas de extender una valuacion de K a K(x), dependiendode el x que se escoja con respecto a K.
Para lograrlo utilizaremos los siguientes lemas.
Lema 2.19. Sea(K,A) un campo valuado y (L,B) = (K(x), B) donde x estrascendente sobre kA entonces
vB(a0 + a1x+ Ā· Ā· Ā·+ anxn) = mın
i{v(ai)}.
Demostracion. Basta probarlo para el caso en el que los ai estan en A y algun aitiene valuacion 0, puesto que de lo contrario podemos dividir por el coeficientecon menor valuacion.
Consideremos b = a0 + a1x+ Ā· Ā· Ā·+ anxn = a0 + Ā· Ā· Ā· + anxn. Como x estrascendente sobre kA Entonces b 6= 0 por lo tanto v(a0 + a1x+ Ā· Ā· Ā·+ anx
n) =0.
16
2.4. ELIMINACION DE CUANTIFICADORES
Lema 2.20. Sea (K,A) un campo valuado y (L,B) una extension. Si {ci}n1yacen en diferentes coconjuntos(cosets) de ĪA = v(Kā) ā ĪB = v(Lā) y {ai}n0 āK entonces
v(aoc0 + a1c1 Ā· Ā· Ā·+ ancn) = mıni{v(ai) + v(ci)}.
Demostracion. Cada Ī+v(ci) 6= Ī+v(cj) para i 6= j por lo tanto v(ai)+v(ci) 6=v(aj) + v(cj) para i 6= j, resultando en v(aoc0 + a1c1 Ā· Ā· Ā·+ ancn) = mıni{v(ai) +v(ci)}.
Lema 2.21. Sea (K,A) un campo valuado y L = K(x) con x trascendente sobreK, entonces existe un unico B anillo de valuacion de L que yace sobre A de talforma que x ā B y x (la clase de x en el campo residual de B) es trascendentesobre kA. Mas aun se tiene que kB = kA(x) y que ĪB = ĪA.
Demostracion. Unicidad : Sea B como en el lema. Como x es trascendente sobrekA entonces 1, x, x2, Ā· Ā· Ā· son linealmente independientes, por lo tanto si {ai}ni=0 āK tenemos que
vB(a0 + a1x+ Ā· Ā· Ā·+ anxn) = mın
i{vA(ai)}.
Por lo tanto la valuacion sobre A[x] queda univocamente determinada, luego Bes unico.
Existencia: Definimos
v(a0 + a1x+ Ā· Ā· Ā·+ anxn) := mın
i{vA(ai)}.
Revisamos que ası definido obtenemos una valuacion sobre L.
Sean f = a0 + Ā· Ā· Ā· + anxn y g = b0 + Ā· Ā· Ā· bmxm tales que v(f) = v(al) y
v(g) = v(bk). Supongamos sin perdida de generalidad que n ā„ m.v(f+g) = v((a0+b0)+Ā· Ā· Ā·+(an+bn)xn) = mıni{v(ai+bi)} ā„mıni,j v(ai), v(bj) =mın {v(g), v(f)}.
Sean f, g como antes
v(fg) = v
n+māi=0
iāj=0
(ajbiāj)xi
= mın
v iāj=0
(ajbiāj)
.
Ahora v(āij=0(ajbiāj) ā„ v(aj) + vbiāj para todos i, j con aj , biāj 6= 0 a
su vez mayor o igual que v(f)+v(g). Cuando tomamos i = l+k, entoncesobtenemos el mınimo.
Claramente x ā B dado que por construccion v(x) = 0.
17
CAPITULO 2. CAMPOS VALUADOS ALGEBRAICAMENTE CERRADOS
Lema 2.22. Si (K,A) es un campo valuado y L = K(x) es una extension conx trascendente sobre K y Ī“ un elemento de una extension de Ī = v(K) tal quenĪ“ /ā Ī para n > 0 entonces existe una unica valuacion vB de L que extiende avA de tal forma que v(Lā) = Ī + Ī“Z con v(x) = Ī“.
Demostracion. Unicidad Sea vB como en el lema, sea {ai}n0 ā A,
vB(a0 + a1x+ Ā· Ā· Ā·+ anxn) = mın{v(ai) + iĪ“}.
Puesto que nĪ“ /ā Ī, no hay i 6= j tal que v(ai) + iĪ“ = v(aj) + jĪ“. Por lo tanto lavaluacion esta univocamente determinada.
Existencia: Definimos
vB(a0 + a1x+ Ā· Ā· Ā·+ anxn) := mın{v(ai) + iĪ“}.
Revisamos que de esta forma tenemos una valuacion definida sobre L.
Sea f = a0 + Ā· Ā· Ā·+ anxn y g = b0 + Ā· Ā· Ā·+ bmx
m tales que v(f) = v(al) + lĪ“y v(g) = v(bk) + kĪ“.Supongamos sin perdida de generalidad que n ā„ m
v(f + g) = v((a0 + b0) + Ā· Ā· Ā·+ (an + bn)xn) = mıni{v(ai + bi) + iĪ“}
ā„ mıni{mın{v(ai) + iĪ“, v(bi) + iĪ“}}
ā„ mıni,j{v(ai) + iĪ“, v(bj) + jĪ“} = mın{v(f), v(g)}.
Sean f y g como antes
v(fg) = v
n+māi=0
iāj=0
(ajbiāj)xi
= mın{v
iāj=0
(ajbiāj)
+ iĪ“},
v(āij=0(ajbiāj))+iĪ“ ā„ v(aj)+v(biāj)+iĪ“ para todo i, j tal que aj , biāj 6=
0 que es a su vez mayor o igual que v(f) + v(g) pero cuando tomamosi = l + k obtenemos el mınimo, que se da cuando j = l.
Teorema 2.23. La teorıa de campos valuados algebraicamente cerrados poseeeliminacion de cuantificadores en el lenguaje {+, ā, 0, 1, U, |}, donde U es unsimbolo de relacion 1-ario que identifica al anillo de valuacion y | un sımbolo derelacion binario tal que a|bā āx(U(x)ā§(a ā x = b)).
Demostracion. Sean (E,A) y (F,B) campos valuados algebraicamente cerradostales que F es |E|+āSaturado. En principio una subestructura de (E,A) esun dominio, sin embargo cualquier mapa del dominio se extiende al campo ya la clausura algebraica de este. Por lo tanto podemos reducirnos al caso de(K,K ā©A) donde K es algebraicamente cerrado. Vamos a considerar tres casos.
18
2.5. COMPLETITUD DE LA TEORIA DE ACVF
Caso 1: kKā©A 6= kA consideramos un x ā A tal que x sea trascendentesobre kKā©A. Por la |E|+āsaturacion de F podemos encontrar un y ā Btal que y sea trascendente sobre kBā©i(K) por el Lema 2.21 la extension dei a iāŖ{(x, y)} es isomorfismo (pues x, y son trascendentes sobre K e i(K)respectivamente).
Caso 2: kKā©A = kA y v(E) 6= v(K) Tomemos x /ā vā1(v(E)). Por lo tanto0, vx, vx2, Ā· Ā· Ā· yacen en coconjuntos de v(E) diferentes, por lo tanto por elLema 2.22 y la |E|+-saturacion de F existe un y ā F tal que i se extiendea j de manera que j(x) = y.
Caso 3: kKā©A = kA y v(E) = v(K)Sea x ā E \K. Cualquier f ā K[x] sepuede re escribir como c
āl(xāal) con c, al ā K por serK algebraicamente
cerrado. Entonces la valuacion v : K(x)ā Ī esta totalmente determinadapor la valuacion de E restringida a K y las valuaciones de (x ā a) paracada a ā K. Tenemos que vf = vc+
āl v(xā al). Por la |K|+-saturacion
de F existe un y ā F talque v(xā al) = v(y ā i(al)).
2.5. Completitud de la Teorıa de ACVF
Definicion 2.24. Decimos que una teorıa T es completa si para toda L-sentenciaĻ tenemos que T ` Ļ o T ` Ā¬Ļ.
Para poder encontrar uso a los resultados buscados, resta mostrar que lateorıa de campos valuados algebraicamente cerrados es completa y por lo tantocualquier afirmacion en primer orden que se deduzca en las series de Puiseuxvale para cualquier tipo de estructura que modele esta teorıa. Siendo estrictosla completitud en dicha teorıa no se da debido a las diferentes combinaciones(Char(K), Char(kA)) que se pueden tener sobre la caracterıstica del campovaluado y la caracterıstica del campo de residuos. Sin embargo el caso particularque nos interesa es el de (0, 0).
Teorema 2.25. Sea T una teorıa con eliminacion de cuantificadores tal queexiste una estructura A que se puede embeber en cualquier modelo de T , entoncesT es completa.
Demostracion. Sea A como en el enunciado, B1 |= T y B2 |= T . Entonces pode-mos suponer A ā Bi para i ā {1, 2}. Sea Ļ una sentencia tal que B1 |= Ļ. ComoT elimina cuantificadores, entonces existe Ļ formula libre de cuantificadores talque T ` Ļā Ļ. Por lo tanto
B1 |= Ļ
ā A |= Ļ
ā B2 |= Ļ.
19
CAPITULO 2. CAMPOS VALUADOS ALGEBRAICAMENTE CERRADOS
Y dado que B2 es un modelo de T , llegamos a que B2 |= Ļ. Podemos concluirentonces que cualquier sentencia valida en un modelo de T es valida en todoslos modelos de T .
Queremos entonces una estructura en el lenguaje (+, ā, 0, 1, U, |) que po-damos embeber en cualquier campo valuado algebraicamente cerrado con camporesidual de caracterıstica cero. Es conocido que Q se puede embeber en cualquiercampo de caracterıstica cero. Utilizaremos esta idea, junto con la valuacionv(Q) = {0,ā} para obtener tal estructura.
Teorema 2.26. Sea K un modelo de la teorıa valuada de campos algebraica-mente cerrados con caracterıstica 0 y cuyo campo de residuos tiene caracterıstica0. Entonces (Q,+, ā, 0, 1,Q, (Qā ĆQ) āŖ {(0, 0)}) se puede embeber en K.
Demostracion. 1 ā kA el campo de residuos, por lo tanto existe una copia de Zen kA dado que es de caracterıstica 0. Por lo tanto, al ser kA campo hay unacopia de Q dentro de k. Mas aun lo mismo podemos decir del campo K dadoque kA se puede inyectar en K, por lo tanto identificando la imagen de Q i(Q)de forma que i(Q) āŖā k ā A sea un isomorfismo.
Corolario 2.27. La teorıa de campos valuados algebraıcamente cerrados decaracterıstica cero con campo de residuos de caracterıstica cero es completa.
20
Capıtulo 3
Algebra Conmutativa yGeometrıa Algebraica
La geometrıa algebraica en principio busca estudiar propiedades de solu-ciones de sistemas de ecuaciones polinomiales en varias variables. Esta ramade las matematicas tiene bastantes aplicaciones tanto en otras areas de lamatematica, ası como en otras areas del conocimiento como fısica, biologıa ycomputacion.
Definicion 3.1. Sea K un campo. A ā Kn es un conjunto algebraico si existeS ā K[x1, Ā· Ā· Ā· , xn] tal que A = {a : f(a) = 0 āf ā S}. En este caso decimosque A es el conjunto algebraico generado por S y denotamos A = V (S).
Por lo general se utiliza el termino variedad para referirse a cierto tipo deconjuntos algebraicos o sus complementos. Sin embargo vamos a utilizar a lolargo del documento la palabra variedad para referirnos a conjuntos algebraicos.
Definicion 3.2. Sea Ī£ un conjunto algebraico de Kn definimos el ideal asociadoa Ī£, J (Ī£) := {f ā K[x1, Ā· Ā· Ā· , xn] : f(Ī£) = 0}.
Proposicion 3.3. Sean I, J, {Il}lāL ideales de K[x1, Ā· Ā· Ā· , xn]. Entonces ten-emos las siguientes propiedades.
1. I ā J ā V (I) ā V (J).
2. V (āl Il) =
āV (Il) .
3. V (I ā© J) = V (I) āŖ V (J).
Demostracion. 1. Supongamos I ā J , y a ā V (J) entonces para todo f ā Jtenemos f(a) = 0. Por lo tanto para todo g ā I ā J tenemos g(a) = 0ergo V (J) ā V (I).
2. Sea a ā V (āl Il) entonces para todo f ā
āl Il tenemos que f(a) = 0 en
particular para cada fĪ±l ā Il. Por lo tanto a ā V (Il) para cada l ā L.
21
CAPITULO 3. ALGEBRA CONMUTATIVA Y GEOMETRIAALGEBRAICA
Sea a ā V (Il) para todo l ā L. Sea f āāl Il entonces existen fl1 , Ā· Ā· Ā· fln
con fi ā Ii tales que f = fl1 + Ā· Ā· Ā· fln de forma que f(a) = fl1(a) + Ā· Ā· Ā· +fln(a) = 0. Por lo tanto a ā V (
āl Il).
3. Por (1) tenemos que V (Iā©J) ā V (I)āŖV (J). Sea x /ā V (I)āŖV (J) entoncesexiste f ā J āŖ I tal que f(a) 6= 0 entonces a /ā V (J āŖ I).
Con estas propiedades vemos que los conjuntos algebraicos definen unatopologıa por cerrados sobre Kn. A esta topologıa se le conoce como la topologıade Zariski.
Corolario 3.4. (a1, Ā· Ā· Ā· , an) ā V (I)ā ćx1 ā a1, Ā· Ā· Ā· , xn ā anć ā I.
Definicion 3.5. Un conjunto algebraico C se dice irreducible si no existen A yB conjuntos algebraicos contenidos estrictamente en C tales que A āŖB = C.
3.1. Nullstellensatz
Teorema 3.6. Sea K un campo y B una K-algebra finitamente generada. Si Bes un campo entonces B es una extension algebraica finita de K. En particularsi K = K su clausura algebraica, entonces B = K.
Corolario 3.7 (Nullstellensatz debil). Sea A una K-algebra finitamente gen-erada, y m un ideal maximal de A entonces A/m es una extension algebraicafinita de K. En particular si K = K tenemos que A/m ā¼= K.
Corolario 3.8. Si K = K. Entonces los ideales maximales de K[X1, Ā· Ā· Ā· , Xn]estan dados por {ćX1 ā a1, Ā· Ā· Ā· , Xn ā anć : (a1, Ā· Ā· Ā· , an) ā Kn}.
Corolario 3.9. Si K = K entonces tenemos que J (V (I)) =āI para todo ideal
I de K[X1, Ā· Ā· Ā· , Xn].
Demostracion. Si f āāI entonces existe n ā N tal que fn ā I por lo tanto
fn(x) = 0 āx ā V (I) lo que implica que f(x) = 0 āx ā V (I) entoncesf ā J (V (I)).Si f /ā
āI entonces existe un ideal primo P ā I tal que f /ā P Sea B =
K[X1, Ā· Ā· Ā· , Xn]/P y C = B[ 1f ] sea m un ideal maximal de C, entonces C/m es
isomorfo a K. Consideremos Ļ : K[X1, Ā· Ā· Ā· , Xn] ā C y sea mc = Ļā1(m) en-tonces mc = ćX1āa1, Ā· Ā· Ā· , Xnāanć. Como mc ā P ā J , entonces (a1, Ā· Ā· Ā· , an) āV (J) pero f(a1, Ā· Ā· Ā· , an) 6= 0.
3.2. Base de Hilbert
Teorema 3.10. [Base de Hilbert] Sea R un anillo Noethereano. Entonces R[X],el anillo de polinomios de R en una variable, es tambien Noethereano.
22
3.3. DIMENSION
Demostracion. Sea I un ideal de R[X]. Sea I ā² el ideal generado por los coefi-cientes principales de I. Es decir I ā² ā¤ R, por lo tanto existen a1, Ā· Ā· Ā· , an tales queća1, Ā· Ā· Ā· , anć = I ā². Tenemos entonces que existen {fi}ni=1 tales que fi = aix
ni +āniā1
k=0 bkxk. Consideremos N = maxi ni. Sea f ā I f = axm +
āmā1k=0 ckx
k.Supongamos m ā„ N y a =
āĀµiai entonces tenemos que f =
āĀµifix
māni + gcon g de grado menor que f . Tenemos entonces que g es tambien elemento deI. Iterando este proceso llegamos a que f = F + G con F ā ć{fi}ni=1ć y G degrado menor que N . Consideremos 1, x, Ā· Ā· Ā·xNā1 entonces G esta en el gener-ado de1, x, Ā· Ā· Ā·xNā1 ā©I. Visto como R-modulo el generado por 1, x, Ā· Ā· Ā·xNā1 esNoethereano y por lo tanto tambien su interseccion con I. Por lo tanto existeng1, Ā· Ā· Ā· gl que generan al generado por 1, x, Ā· Ā· Ā· , xNā1 ā©I por lo tanto G esta en elgenerado de los gj . Concluimos entonces que {gj}lj=1 āŖ{fi}ni=1 generan a I.
Corolario 3.11. Si K es un campo entonces K[X1, Ā· Ā· Ā· , Xn] es Noethereano.
Por ser K[X1, Ā· Ā· Ā· , Xn] un anillo Noethereano tenemos entonces descom-posicion primaria minimal de cualquier ideal, por lo tanto si J = Q1 ā© Ā· Ā· Ā· ā©Qnes una descomposicion minimal con Qi un ideal Pi-primario tenemos entoncesqueāJ = P1 ā© Ā· Ā· Ā· ā© Pn y luego V (J) = V (P1) āŖ Ā· Ā· Ā· āŖ V (Pn) con V (Pi) una
variedad irreducible, por lo tanto cualquier variedad la podemos descomponeren una union finita de variedades irreducibles.
3.3. Dimension
Definicion 3.12. La dimension de un anillo R, dim(R) se define como elsupremo menos 1 de los tamanos de una cadena de ideales primos de este.Definimos la dimension de un ideal I ā¤ R como el supremo de los tamanosde una cadena de ideales primos de R que contengan a I menos 1. Es decircomo la dimension de R/I. Como K[X1, Ā· Ā· Ā· , Xn] es Noethereano la dimensionde cualquier ideal va a ser finita.
Definicion 3.13. Definimos la codimension de un ideal primo P de un anilloR como supremo de los tamanos de las cadenas cde ideales primos contenidasen P menos 1.
Proposicion 3.14. En particular tenemos la siguiente desigualdad
dim(P ) + codim(P ) ā¤ dim(R).
Definicion 3.15. Sea I un ideal, un ideal primo minimal asociado a I es unideal primo P tal que para todo ideal primo Q tal que I ā Q ā P tenemos queQ = P . El conjunto de ideales primos minimales asociados a I lo denotamospor minAs(I).
Definicion 3.16. Decimos que un ideal I ā¤ K[X1, Ā· Ā· Ā· , Xn] es de dimensionpura d, o equidimensional de dimension d si para todo P ā minAs(I) tenemosque dim(P ) = d.
23
CAPITULO 3. ALGEBRA CONMUTATIVA Y GEOMETRIAALGEBRAICA
Lema 3.17. Sea R = K[X1, Ā· Ā· Ā· , Xn] e I ā¤ R un ideal tal que codim(P ) = dpara todo P ā minAs(I) y sea f ā R \ I entonces tenemos que
minAs(I + ćfć) =ā
PāminAs(I)
minAs(P + ćfć).
Mas aun para todo P ā² ā minAs(I + ćfć) tenemos que codim(P ā²) = d+ 1.
Demostracion. Procederemos a mostrar ambas inclusiones.
āāā Sea Q ā minAs(I + ćfć) entonces existe P ā minAs(I) tal que P ā Q.Entonces Q ā minAs(P + ćfć).
āāā Sea Q ā minAs(P + ćfć) para P ā minAs(I). Como I ā Q entoncesexiste Qā² ā minAs(I + ćfć) tal que Qā² ā Q. Tenemos tambien que existeP ā² ā minAs(I) tal que P ā² ā Q pero f ā Q entonces la inclusion esestricta. Por lo tanto tenemos que
codim(Q) ā„ codim(Qā²) ā„ codim(P ā²) + 1 = d+ 1
Tenemos por el teorema del ideal principal de krull [1] que codim(Q/P ) =1.
Utilizaremos la siguiente notacion para las siguientes proposiciones, V0 :={a0 + a1x1 + Ā· Ā· Ā· anxn : ai ā C}
La primera geometricamente afirma que una variedad de dimension a lomenos 1 interseca a una hipersuperficie generica.
Proposicion 3.18. Sea J ā¤ P[x] un ideal de dimension pura dim(J) ā„ 1entonces existe U abierto denso de Zariski de V0 tal que para todo P ā minAs(J)y para todo f ā U tenemos que 1 /ā ćfć+ P .
Proposicion 3.19. Sea J ā¤ K[x] de dimension pura dim(J) ā„ 1 tal quex1 Ā· Ā· Ā·xn /ā
āJ entonces existe U un abierto denso de Zariski de V0 tal que para
todo f ā U tenemos que x1 Ā· Ā· Ā·xn /āāJ + ćfć.
Proposicion 3.20. Sea R un anillo que contenga a K. Sea J ā¤ R[x], entoncesexiste U abierto denso de Zariski de V0 tal que para todo f ā U y para todoP ā minAs(J) tenemos que f /ā P .
24
Capıtulo 4
Geometrıa Tropical
El primer acercamiento que se hace a la geometrıa tropical es via la imagende variedades algebraicas en (Cā)n bajo la funcion de (Cā)n en Rn tal que(z1, Ā· Ā· Ā· , zn) 7ā (x1, Ā· Ā· Ā· , xn) donde xi = log |zi| Esto resulta en una imagenconocida como amebas (llamadas ası por su figura en el caso n = 2). Mas aunse considera la familia
Logt : (Cā)n ā Rn.(z1, Ā· Ā· Ā· , zn) 7ā (logt |x1|, Ā· Ā· Ā· , logt |xn|)
Cuando t es pequeno, y se considera el lımite cuando t tiende a 0. Esteprocedimiento parte de la ameba original y la reduce a su esqueleto, terminandoası en la curva tropical.
Definicion 4.1. Una hipersuperficie tropical esta dada por la imagen de V unahipersuperficie en Cn bajo el mapa lım
tā0Logt(V ā© (Cā)n)
Esta definicion no resulta adecuada desde el punto de vista algebraico, por lotanto se dio cabida a una definicion un poco mas algebraica. Para esta vamos aconsiderar el mapa de valuacion de un campo valuado algebraicamente cerrado.Sabemos que la teorıa de CVAC es completa, por lo tanto basta con considerarun unico caso de CVAC para propiedades que se puedan expresar en primerorden. El caso mas conocido es por supuesto las series de Puiseux P, cuyoselementos son de la forma
c =āqāQ
aqtq
donde el conjunto S := {q : aq 6= 0} es bien ordenado dado que tal conjuntocomparte un denominador comun. Tomamos la valuacion de la serie de tal formaque v(c) = mın{q|aq 6= 0}.
Dado un polinomio f ā P[X1, Ā· Ā· Ā· , Xn] una hipersuperficie tropical en Rn
se construye tomando el conjunto de puntos (y1, Ā· Ā· Ā· , yn) de tal forma queyi = āv(xi) donde la tupla (x1, Ā· Ā· Ā· , xn) es solucion de f .
25
CAPITULO 4. GEOMETRIA TROPICAL
Definicion 4.2. Una variedad tropical esta dada por la imagen de una variedadV ā Pn bajo el mapa
V al : V ā© (Pā)n ā Rn
(x1, Ā· Ā· Ā· , xn) 7ā (āv(x1), Ā· Ā· Ā· ,āv(xn))
Es comun pedir que la valuacion de un campo sea una funcion sobreyectiva .En el caso de las series de Puiseux se puede notar que el grupo de valuacion noes R sino Q. Sin embargo todas las propiedades combinatoricas que interesancuando se realiza la tropicalizacion resultan fuincionar en Qn por lo tanto estehecho lo podemos obviar.
4.1. Variedades Tropicales a Partir de InĻ
Definicion 4.3. Dado Ļ ā Rn y f ā K[x1, Ā· Ā· Ā·xn] con f =āaix
i definimos laforma Ļ-inicial de f como
InĻ(f) =ā
āvaj+ćj,wćes maxajx
j ,
la suma de los monomios sobre los indices j donde se maximiza āvaj + ćj, wć.Si J es un ideal de K[x1, Ā· Ā· Ā·xn] entonces extendemos la definicion de InĻ aInĻ(J) = ćInĻ(f)|f ā Jć.
Definicion 4.4. Si consideramos las series de Puiseux, definimos la forma t-inicial de f con respecto a Ļ como tā inĻ(f) := InĻ(f) |t=1.
La forma en que definimos una variedad tropical desde las formas inicialeses la siguiente.
Definicion 4.5. Dado J ā K[x1, Ā· Ā· Ā· , xn] definimos una variedad tropical como
Trop(J) = {Ļ ā Rn|InĻ(J) no contiene ningun monomio}.
Es posible definir Trop(J) como los Ļ tal que tā inĻ(J) no contenga ningunmonomio, puesto que si tĪ±xĪ² , tĪ±
ā²xĪ²
ā²son parte de InĻ(f) con Ī± 6= Ī±ā² entonces
Ī² 6= Ī²ā².Similar a como ocurre en la geometrıa algebraica clasica tenemos las sigu-
ientes propiedades para los āconjuntos algebraicos Tropicalesā.
Proposicion 4.6. Sean J1, J2, Ā· Ā· Ā· , Jm ideales de K[x1, Ā· Ā· Ā·xn] entonces
(a) J1 ā J2 entonces Trop(J1) ā Trop(J2),
(b) Trop(J1 ā© J2 ā© Ā· Ā· Ā· ā© Jm) = Trop(J1) āŖ Ā· Ā· Ā· āŖ Trop(Jk),
(c) Trop(J1 + J2) ā Trop(J1) ā© Trop(J2),
(d) Trop(J1) = Trop(āJ1) =
āPāminAs(J1)
Trop(P ).
26
4.2. EL TEOREMA FUNDAMENTAL
Demostracion. a) Supongamos que J1 ā J2 y sea w ā Trop(J1) por lo tantoInw(J1) posee un monomio, pero como J1 ā J2 entonces Inw(J2) contieneun monomio.
b) J1 ā© J2 ā© Ā· Ā· Ā· ā© Jm ā J1 por lo tanto por la parte (a) tenemos queTrop(J1 ā©J2 ā© Ā· Ā· Ā· ā©Jm) ā Trop(J1)āŖ Ā· Ā· Ā· āŖTrop(Jk). Ahora, supongamosque w /ā Ji para i ā {1, Ā· Ā· Ā· ,m} por lo tanto Inw(Ji) contiene un monomio,supongamos Inw(fi), dado que Inw(f1 Ā· Ā· Ā· fm) = Inw(f1) Ā· Ā· Ā· Inw(fm) ten-emos que Inw(f1 Ā· Ā· Ā· fm) es un monomio y dado que f1 Ā· Ā· Ā· fm ā J1ā©Ā· Ā· Ā·ā©Jnentonces w /ā Trop(J1 ā© J2 ā© Ā· Ā· Ā· ā© Jm)
c) Si w ā Trop(J1 +J2) entonces para cada fj1 +fj2 ā J1 +J2 Inw(fj1 +fj2)no contiene monomios. En particular fj1 + 0 y 0 + fj2 por lo tanto w āTrop(J1) ā© Trop(J2).
d) Dado que J āāJ = āŖPāminAs(J)Trop(P ) tenemos que Trop(
āJ) ā
Trop(J). Ahora supongamos que w /ā Trop(āJ) por lo tanto existe un
monomio en Inw(āJ) es decir existe f ā J tal que Inw(fn) es un monomio.
Por lo tanto Inw(f)n es un monomio, y por ende Inw(f) es un monomio.Concluimos entonces que w /ā Trop(J).
El literal c) a diferencia de la geometrıa tiene casos en los que la contenenciaes propia. Por ejemplo, consideremos J1 = ćx+ y + 1ć y J2 = ćx+ y + tć.
4.2. El Teorema Fundamental
La idea del teorema fundamental de la geometrıa tropical es mostrar que laconstruccion de variedades tropicales se puede hacer de cualquiera de las dosformas. La ventaja de esto es que por un lado tenemos una definicion relati-vamente amigable que ayuda a entender estos objetos geometricos utilizandotecnicas combinatoricas, y por el otro lado tenemos una definicion que nos haceimplıcita la relacion entre la geometrıa algebraica y la geometrıa tropical.
Teorema 4.7. Sea K un campo valuado algebraicamente cerrado y J un idealde K[x] entonces Trop(J) = āv(V (J) ā© {a ā (Kā)n}).
La demostracion de este teorema se divide en dos pedazos, y seguiremos lademostracion de [2]. El primero
Teorema 4.8. Dado a ā V (J) tenemos que āv(a) ā Trop(J).
Para este no es necesario que K sea algebraicamente cerrado y lo probaremosen el caso general. El segundo,
Teorema 4.9. [Lifting Tropical] Dado Ļ ā Trop(J) existe un a ā V (J) tal queāv(a) = Ļ.
27
CAPITULO 4. GEOMETRIA TROPICAL
En este nos enfocaremos en el caso de K = P y haremos una salvedad conrespecto a los Ļ ā Rn \Qn.
Demostracion. 4.8 Sea a ā V (J) entonces para todo f ā J f(a) = 0. Considere-mos v(f(a)) sabemos que toma el valoā y por lo tanto si f(x) =
ālāLāNn blx
l
tenemos que existen k 6= q tal que v(bkak) = v(bqa
q) y que son menores o igualesa v(bla
l) para todo l ā {0, Ā· Ā· Ā· ,m}. Pero eso simplemente quiere decir que
v(bk) + v(a) Ā· k = v(bq) + v(a) Ā· q ā¤ v(bl) + v(a) Ā· l.
Entonces tenemos que
āv(bk) +āv(a) Ā· k = āv(bq) +āv(a) Ā· q ā„ āv(bl) +āv(a) Ā· l.
Es decir Ināv(a)(f) no es monomio. Entonces āv(a) ā Trop(J).
Pra probar el teorema 4.9 empezaremos con el caso en el que J es un ideal0- dimensional y luego los demas casos los reduciremos a este.
Lema 4.10. Sea J es un ideal de dimension 0 de P[x]. entonces āv(V (I)) =Trop(I).
Demostracion. Si J es un ideal, entonces
Trop(J) = Trop(āJ) =
āPāminAs(J)
Trop(P )
pero como J es 0-dimensional, entonces los unicos ideales primos P sobre Json maximales, por lo tanto al ser P algebraicamente cerrado, tenemos queP = ćx1 ā p1, Ā· Ā· Ā· , xn ā pnć. Entonces si w ā Trop(P ) tenemos que Inw(P ) nocontiene monomios y por lo tanto la valuacion de pi es necesariamente āwi yclaramente p = (p1, Ā· Ā· Ā· , pn) ā V (J).
Para el caso general de 4.9, el procedimiento a seguir es encontrar un idealJ ā² tal que dim(J ā²+ J) = 0 y ademas Ļ ā J + J ā² para esto vamos a necesitar unpoco mas de teorıa del comportamiento de la dimension de P[x].
Lema 4.11. Sea J ā¤ P[x] un ideal y N ā N (J), entonces t ā in0(J) = t āin0(JRN
) y 1 ā tā in0(J)
Lema 4.12. Sea I ā¤ RN [x] un ideal. entonces las siguientes son equivalentes.
1. 1 /ā In0(I).
2. āf ā RN [x] tenemos que 1 + t1N f /ā I.
3. RN [x] \ (I + ćt 1N ć) 6= ā .
4. āP ā¤ RN [x] maximal que contiene a I y a ćt 1N ć.
28
4.2. EL TEOREMA FUNDAMENTAL
5. āP ā¤ RN [x] maximal que contiene a I y tal que 1 /ā In0(P ).
Por lo tanto si P es un ideal maximal, tenemos que 1 /ā In0(P )ā t1N ā P .
Demostracion. Probaremos 1 ā 2, 2 ā 3, luego 3 ā 4, seguido del āpor lotantoā luego 4ā 5 y por ultimo 5ā 1.
1ā 2 1 ā In0(J) si y solo si existe g ā J tal que In0(g) = 1 lo que ocurre si y
solo si g = 1 + t1n f para f ā Rn[x].
2ā 3 Como 1 /ā (I + ćt 1N ć) tenemos que 1 ā RN [x] \ (I + ćt 1
N ć).
3ā 4 Como I+ćt 1N ć no es todo, entonces existe un ideal maximal (en particular
primo) que lo contiene.
āP.l.t.ā t1N /ā P si y solo si modulo P , t
1N es invertible, lo que ocurre si y solo si
existe āf ā RN [x] tal que 1 + t 1N f ā P y por [iā ii] eso ocurre si y solo
si 1 ā In0(P ).
4ā 5 Se sigue del āPor lo tantoā.
5ā 1 I ā P implica In0(I) ā In0(P ) como 1 /ā In0(P ) tenemos que 1 /ā In0(I).
Lema 4.13. dim(RN [x]) = n+ 1.
Demostracion. RN es un domino de valuacion discreta, por lo tanto tiene di-mension 1. Por ser RN Noethereano tenemos que dim(RN [x]) = dim(RN )+n =n+ 1.
Citamos los siguientes lemas necesarios para la demostracion del teoremafundamental en el caso de las series de Puiseux. La demostracion se puede veren [2].
Proposicion 4.14. Sea P ā¤ RN [x] es un ideal primo tal que 1 /ā In0(P )tenemos que dim(P ) + codim(P ) = n+ 1.
Lema 4.15. Sea P ā¤ P[x] un ideal primo, y N ā„ 1 entonces tenemos que
dim(PRN) = dim(P ) + 1ā 1 /ā In0(P ),
dim(PRN) = dim(P )ā 1 ā In0(P ).
Lema 4.16. Sea J un ideal de dimension pura, y N ā N (J) entonces minAs(JRN) =
{PRN: P ā minAs(J)}.
Lema 4.17. Sea J un ideal de dimension pura y Ļ ā Qn entonces
minAs(tā inĻ(J)) =ā
PāminAs(J)
minAs(tā inĻ(P )).
29
CAPITULO 4. GEOMETRIA TROPICAL
Definicion 4.18. Consideremos P[x] definimos un orden con respecto a Ļ ā Qnen sus monomios modulo producto por elementos de K de la siguiente manera:
tĪ±xĪ² >Ļ tĪ±ā²xĪ²
ā²ā (āĪ±+ĻĀ·Ī² > āĪ±ā²+ĻĀ·Ī²ā²) o (āĪ±+ĻĪ² = āĪ±ā²+ĻĪ²ā² y xĪ² > xĪ²
ā²).
donde > es un orden predefinido sobre los monomios en {x1, Ā· Ā· Ā·xn} por ejemploel orden lexicografico.
Teorema 4.19. Sea J = ćIćP con I ā¤ K[[t1N ]], [x] y sea Ļ ā Qn y G una
base estandar de I con respecto a >Ļ. Entonces t ā inĻ(J) = t ā inĻ(I) =ćtā inĻ(G)ć ā¤ K[x].
Proposicion 4.20. Sea K un campo infinito J ā¤ P[x] un ideal de dimensionpura d entonces existen abiertos de Zariski densos U1, Ā· Ā· Ā· , Ud de V0 tales queexisten {fi}di=1 tales que fi ā Ui y J ā² = ćf1, Ā· Ā· Ā· , fdćP[x] que satisfagan.
dim(J + J ā²) = dim(tā in0(J) + tā in0(J ā²)) = 0.
dim(tā in0(J ā²)) = dim(J ā²) = nā d.
x1 Ā· Ā· Ā·xn /āātā in0(J) + tā in0(J ā²).ā
tā in0(J) + tā in0(J ā²) =ātā in0(J + J ā²).
En particular, (0, Ā· Ā· Ā· , 0) ā Trop(J + J ā²).
Demostracion. Sea N ā N (J) tal que para todo P ā minAs(J) N ā N (P ).Por el Lema 4.11 tenemos que
tā in0(J) = tā in0(JRN)
ytā in0(P ) = tā in0(PRN
)
para todo P ā minAs(J).Por el Lema 4.16 tenemos que
minAs(JRN) = {PRN
: P ā minAs(J)}
.Como 0 ā Trop(J) tenemos que existe un primo asociado P a J con 0 āTrop(P ). Por lo tanto 1 /ā t ā in0(P ) y entonces por el Lema 4.17 tenemosque dim(J) = dim(t ā in0(J)) = dim(Q) para todo Q en minAs(t ā in0(J)).Como 0 ā Trop(J) tenemos que t ā in0(J) es libre de monomios y x1 Ā· Ā· Ā·xn /āātā in0(J). Como K es infinito, podemos aplicar 3.18 a J , 3.20 a J visto como
ideal de P[x], a JRNvisto como ideal de RN [x] y a tāin0(J) como ideal de K[x],
y el Lema 3.19 a tāin0(J) como ideal deK[x] de forma que encontramos abiertos
U11, U12, U13, U14, U15 en V0 tales que ningun f1 āā5i=1 U1i esta contenido en
ningun primo minimal asociado a J , JRN, tā in0(J) tal que 1 /ā (J + ćf1ćP[x])
y x1 Ā· Ā· Ā·xn /āātā in0(J) + ćf1ć.
30
4.2. EL TEOREMA FUNDAMENTAL
Por el Lema 3.17 los primos minimales asociados de J + ćf1ćP[x], JRN+
ćf1ćRN [x], t ā in0(J) + ćf1ćK[x] tienen codimension n ā d + 1. t1N /ā QāQ ā
minAs(JRN+ ćf1ćRN [x]).
De lo contrario tendriamos por los Lemas 4.12, 4.13 y 4.14 que la dimensionde Q serıa n + 1 ā codim(Q) = d. Ahora consideremos el mapa natural Ļ :
RN [x]ā K[x] que manda a 7ā a+ ćt 1N ć. Por lo tanto tenemos que
tā in0(J) = Ļ(JRN+ ćt 1
N ć)
ytā in0(J) + ćf1ćK[x] ā Ļ(JRN
+ ćt 1N , f1ćRN [x]) ā Ļ(Q),
dado que t1N esta en Q Ļ(Q) es un ideal de dimension d. sin embargo dada la esco-
gencia de f1 tenemos que todo primo minimal asociado de tāin : 0(J)+ćf1ćK[x]
tiene codimension nā d+ 1 lo cual implica que el ideal tiene dimension dā 1 ypor lo tanto no puede estar contenido en uno de dimension d.
Utilizando el mismo argumento podemos encontrar U2, Ā· Ā· Ā· , Ud y elemen-tos f2, Ā· Ā· Ā· , fd tales que los primos minimales asociados a J + ćf1, Ā· Ā· Ā· , fkćP[x],JRN
+ ćf1, Ā· Ā· Ā· , fkćRN [x], tā in0(J) + ćf1, Ā· Ā· Ā· , fkćK[x] tienen todos codimensionn ā d + k para k ā {1, Ā· Ā· Ā· , d}. Ademas i /ā J + ćf1, Ā· Ā· Ā· , fkćP[x] y x1 Ā· Ā· Ā·xn /āātā in0(J) + ćf1, Ā· Ā· Ā· , fkćK[x]. Mas aun ninguno de los primos minimales aso-
ciados de JRN+ ćf1, Ā· Ā· Ā· , fkćRN [x] contiene al elemento t
1N .
Para ver queātā in0(J) + tā in0(J ā²) =
ātā in0(J + J ā²)
vamos a demostrar que
minAs(tā in0(J + J ā²)) = minAs(tā in0(J) + tā in0(J ā²)).
Para esto consideremos la extension de anillos RN [x] ā Sā1N RN [x] dada por la
localizacion y denotemos a Ic := I ā© RN [x] y a Ie := ćIćP[x] la extension deI ā RN [x] y J0 = J ā© P[x] y J ā²0 := J ā² ā© P[x].Tenemos que
(Jc0 + J ā²c0 )e = Jce0 + J ā²ce0 = J0 + J ā²0 : t1N /ā Q} = minAs(Jc0 + J ā²c0 ),
por lo tanto āJc0 + J ā²c0 =
ā(J0 + J ā²0)c
y comoĻ(Jc0) = tā in0(JRN
) = tā in0(J),
Ļ(J ā²c0 ) = tā in0(J ā²),
Ļ((J0 + J ā²0)c) = tā in0(J + J ā²),
31
CAPITULO 4. GEOMETRIA TROPICAL
tenemos que ātā in0(J) + tā in0(J ā²) =
āĻ(Jc0) + Ļ(J ā²c0 )
= Ļ(ā
(J0 + J ā²0)c) =āĻ((J0 + jā²0)c) =
ātā in0(J + J ā²)
.
4.3. El Semicampo Tropical
Definicion 4.21. El semicampo tropical es una estructura (T,ā,ļæ½,āā, 0) quecumple
1. T = R āŖ {āā}.
2. aā b = max{a, b} para (a, b) ā R2.
3. aāāā = āāā a = a para a ā T.
4. aļæ½ b = a+ b para (a, b) ā R2.
5. aļæ½āā = āāļæ½ a = āā para a ā T.
Con estas operaciones T adquiere una estructura de semi campo. Otra formamas en la que se pueden ver las curvas tropicales y su relacion directa con lospolinomios algebraicos de donde surgen, es utilizando la suma y el producto trop-ical, donde ā = max y ļæ½ = +. dado un polinomio f(x) =
āiāNn aix
i11 Ā· Ā· Ā·xinn
(usualmente lo escribiremos comoāaix
i) en K[x1 Ā· Ā· Ā·xn] se considera
g :=āiāNn
āv(ai)ļæ½ xi11 ļæ½ Ā· Ā· Ā· ļæ½ xinn = max{āv(ai) + i1x1 + Ā· Ā· Ā·+ inxn},
que es una funcion lineal a trozos. Cuando el polinomio original toma el valorcero, el valor mınimo de la valuacion en sus monomios se adquiere en dos deestos, por lo tanto la curva tropical asociada a f se puede ver como el lugargeometrico de Rn cuya imagen son ālas esquinasā de la grafica de g.
4.4. Combinatoria Tropical
Consideremos f(x) =āaj ļæ½ xj un polinomio, y J ā N su soporte, es decir
las tuplas j = (j1, Ā· Ā· Ā· , jn) tales que aj 6= 0. Consideremos āf la envolvente con-vexa de J y definamos el mapa vf : J ā R j 7ā āaj . Consideremos la envolvente
convexa āG de G = {(j, u) : j ā J u ā„ vf (j)} entonces vf se puede extender
32
4.5. CURVAS TROPICALES PLANAS
a āf de tal forma que vf (j) = mın(j,u)āāG{u}. Definimos una particion de āf
generada por vf dada por la proyeccion de la parte no diferenciable de āG. Conlo que resultamos entonces, es una particion de āf en Tn a la que llamaremosSubdivāf .
Volvamos a considerar f y sea u ā Tn construyamos el conjunto
Jf (u) := {j ā J |f(u) = aj ļæ½ uj}.
Es decir el conjunto de los indices en el soporte de f correspondientes a losmonomios para los cuales u obtiene el valor maximo. Ahora dado un poliedroā en Subdivāf y definimos
V āf := {u ā Tn|Jf (u) = ā ā© J}.
Notese que para todo u ā Tn existe un ā tal que U ā V āf en particular u ā V ā
f
para ā = {j} con j ā Jf (u). Tenemos entonces una subdivision de Tn gener-
ada por {V {j}f |j ā J}, donde los puntos de interseccion de V{j1}f y V
{j2}f para
j1 6= j2 pertenecen a la variedad generada por f .
Esta ultima subdivision y Subdivāf estan relacionadas en el sentido de quela una es la dual de la otra.
Es cierto que diferentes polinomios tropicales pueden generar las mismassubdivisiones en Tn por lo tanto decimos que Trop(g) y Trop(f) tienen el mismotipo combinatorico si ambos generan la misma subdivision.
4.5. Curvas Tropicales Planas
Restrinjamonos ahora al caso de T2
Definicion 4.22. Sea e una arista de Trop(f) una curva tropical y sea āe lacorrespondiente arista en Subdivāf . Definimos la multiplicidad de e en Trop(f)como el numero de puntos del reticulo Z2 en el interior de āe mas uno. Es decir
m(e) := |int(āe) ā© Z2|+ 1.
Proposicion 4.23. Sea P un vertice de Trop(f) entonces obtenemos la sigu-iente condicion sobre las aristas adyacentes a P y sus multiplicidadesā
m(e)ve = 0
donde ve es el vector de coordenadas primitivas, es decir un vector con coor-denadas enteras cuyo maximo comun divisor es 1, de la arista e en direccionexterior a P .
Definicion 4.24. Decimos que un polinomio tropical f tiene grado definido dsi su soporte J es total, es decir J = {(i, j) ā N2|i+ j ā¤ d}.
33
CAPITULO 4. GEOMETRIA TROPICAL
Con esta definicion podemos ver que el numero de aristas infinitas en cadadireccion es d en un polinomio de grado definido.
Teorema 4.25 (Bezout Tropical). Sean C y D curvas tropicales en T2 de gradosdefinidos c y d respectivamente. Entonces si las dos curvas se encuentran en unnumero finito de puntos, el numero de puntos de interseccion es igual a cdcontando multiplicidad.
34
Capıtulo 5
Primer Orden en laGeometrıa Tropical
5.1. Teorema Fundamental
El hecho de que Ļ forme parte de Trop(f) con f un polinomio especıficof(x) = ank
xnk + Ā· Ā· Ā· + an1xn1 con coeficientes en K ocurre cuando existe un
c ā (Kā)n tal que āv(c) = Ļ y que el maximo de las valuacion de f(c) seobtenga el dos o mas monomios. Es decir que valga
āØ0ā¤i<jā¤k
(((anic
ni |anjcnj )ā§(anjc
nj |anicni))
kā§l=0
(anicni |anl
cnl)
).
Denotemos la formula anterior como Ļf (c). Utilizando esto, tenemos en-tonces que la forma de escribir āĻ ā Trop(f) ā āx ā V (f) : āv(x) = Ļāserıa
Ļf (c)ā āx1 Ā· Ā· Ā· āxn
((nā§i=1
((xi|ci) ā§ (ci|xi))
)ā§ f(x) = 0
).
Sabemos que
P |= āc
((Ļf (c))ā āx1 Ā· Ā· Ā· āxn
((nā§i=1
((xi|ci) ā§ (ci|xi))
)ā§ f(x) = 0
)).
Por completitud de CVAC tenemos entonces que el levantamiento de la ge-ometrıa tropical es valido para cualquier hipersuperficie tropical en cualquiercampo valuado algebraicamente cerrado de campo de residuos de caracterıstica0.
35
CAPITULO 5. PRIMER ORDEN EN LA GEOMETRIA TROPICAL
5.2. Bezout
Para escribir el teorema de Bezout consideramos lo siguiente. Para quedos curvas tropicales Trop(f) y Trop(g) se intersecten deben existir (x1, y1) y(x2, y2) elementos de K2 tales que f(x1, y1) = g(x2, y2) = 0 y que v(x1) = v(x2)y que v(y1) = v(y2). Sabemos que ā²ā²v(x) = v(y)ā²ā² ā” Ļ=(x, y) := (x|y) ā§ (y|x).
Para escribir que tenemos a lo sumo n puntos de interseccion escribimosāx1 Ā· Ā· Ā· āx2n+2āy1 Ā· Ā· Ā· āy2n+2(
ā§n+1i=1 [(f(x2iā1, y2iā1) = g(x2i, y2i) = 0)ā§(Ļ=(x2iā1, x2i)
ā§Ļ=(y2iā1, y2i))]āāØi 6=j(Ļ=(x2i, x2j) ā§ Ļ=(y2i, y2j)))
que llamaremos Ļn,L,K((al), (bk)) donde los al son los coeficientes de f y los bklos coeficientes de g.
Vamos a definir la formula Īø(c,d,m) para tres numeros enteros c, d,m dondem > dc
āa1 Ā· Ā· Ā· āaCāb1 Ā· Ā· Ā· ābD[(
Cā§i=1
ai 6= 0
Dā§j=1
bj 6= 0)ā (Ā¬Ļcd,c,d(a, b)ā Ā¬Ļm,c,d(a, b))],
donde C = c(cā1)2 y D = d(dā1)
2 . Si consideramos entoncesā
(c,d,m) Īøc,d,m, obten-emos una forma de escribir la formulacion de Bezout que nos dice que la inter-seccion de dos curvas tropicales planas es a lo sumo el producto de los gradosde cada una.
36
Bibliografıa
[1] [AM69] Michael F. Atiyah and Ian G. MacDonald, Introduction to com-mutative algebra, Addison-Wesley, 1969.
[2] Anders N. Jensen, Hannah Markwig and Thomas Markwig, An Algorithmfor lifting points in a tropical variety, ArXiv:0705.2441 v2, 28 Julio 2009.
[3] Eden Amorim and Israel Vainsencher, Introducao as Curvas TropicaisPlanas, IMPA, 2008.
[4] Lou van den Dries, Model theory of valued fields Lecture Notes,http://www.math.uiuc.edu/ vddries/ 2004.
[5] David Cox, John Little and Donal OāShea, Ideals, varieties, and algorithms,Springer, 2000.
[6] Andreas Gathmann, Tropical Algebraic Geometry, 2006.
[7] David Marker, Model Theory:An Introduction, Springer, 2000.
[8] Magnus Dehli Vigeland, The group law on a tropical elliptic curve, Ma-thematica scandinavica, 2004 vol 104 numero 2.
37