Corrigido1 PDF

Introducao às Curvas Tropicais Planas
Eden
Amorim e Israel Vainsencher
Departamento de Matemaica da UFMG
26 de agosto de 2008
Aos meus pais Suely e M

ario e `
a minha irm
a Priscila
A K
atia, por muito mais motivos
do que caberiam nessa margem. . .
Pref
acio
. . . la Math
ematique est lart de donner
le m
eme nom `
a des choses diff
erentes.
(Henri Poincar
e, Science et Methode, 1908.)
A geometria tropical e a geometria algebrica sobre a algebra

max-+.
Incompreensvel e reconhecidamente pouco convidativa como frase
de abertura, felizmente temos o resto dessas notas para explicar ao
leitor algumas das raz
oes do encantamento que o assunto tem despertado.
Embora recente, j
a demonstrou seu potencial tanto pela extensao
de resultados conhecidos, notavelmente na area da enumeracao de
curvas planas singulares, como pelas profundas conexoes com varios
outros ramos da Matem
atica
Na comparac
ao imediata com a geometria algebrica classica, as
variedades definidas por sistema de equac
oes polinomiais sobre C sao
drasticamente deformadas. S
ao substitudas mediante degeneracao
da estrutura complexa, resultando no limite um esqueleto combinat
orio. Estes s
ao complexos poliedrais, sujeitos a certas condicoes de
balanceamento. Magicamente, delicadas questoes de natureza enumerativa, postas e em parte resolvidas no caso classico (i.e., R ou C),
admitem traduc
oes que levam a novas solucoes, problemas e resultados no contexto combinat
orio.
O objetivo dessas notas de mini-curso limita-se a introduzir as
noc
oes b
asicas, tendo como fio condutor a traducao e demonstracao
de resultados cl
assicos, notadamente os teoremas de Bezout e de
RiemannRoch para curvas tropicais planas.
Advertimos desde j
a que essa traduc
ao do caso classico para o
4
5
tropical n
ao se reduz a uma simples adaptacao das mesmas demonstrac
oes.
No primeiro captulo, fazemos uma incursao pictorica, elementar,
para visualizar algumas curvas planas tropicais: retas e conicas.
Em seguida, descrevemos a noc
ao de ameba de uma curva plana
cl
assica, bem como o processo limite que resulta no esqueleto combinat
orio. A algebrizac
ao desse processo e introduzida por meio das
series de Puiseux e valorizac
ao. A estrutura de semi-anel tropical e
em particular de polin
omios tropicais s
ao apresentadas como prerequisito para uma primeira definic
ao formal de curva plana tropical.
Nas sec
oes finais desse captulo esbocamos a comparacao entre curva
plana cl
assica e sua tropicalizac
ao.
As principais ferramentas de natureza combinatoria sao exploradas no captulo 3: o polgono de Newton, subdivisoes, a condicao de
balanceamento. Definimos tambem o grau e o genero. A u
ltima secao
lista os tipos combinat
orios de c
onicas tropicais nao degeneradas.
O captulo 4 trata da teoria de intersecao de curvas planas tropicais. A principal novidade e a noc
ao de intersecao estavel, sem
paralelo no mundo cl
assico.
O pr
oximo captulo serve de base para o teorema de RiemannRoch, incluindo as definic
oes de divisores e equivalencia racional.
Como primeira aplicac
ao, apresentamos a estrutura de grupo de uma
c
ubica elptica tropical.
O captulo final contem uma exposic
ao do teorema de RiemannRoch tropical.
Entre as principais referencias que seguimos, mencionamos Grigory Mikhalkin [9, 10], Andreas Gathamann [5], Matthew Baker e Serguei Nourine,[1] e Vincius G. Ramos [12].
Desnecess
ario enfatizar que, por limitacoes de espaco, tempo e
competencia, muitos pontos centrais foram omitidos. Esperamos ao
menos instigar o leitor `
a tarefa de consultar a bibliografia e confirmar
a frase anterior. . .
Belo Horizonte, 26 de agosto de 2008.
Sum
ario
1 Bem-vindo ao plano tropical!
1.1 Reta tropical . . . . . . . . . . . . . . . . . . . . . . .
1.2 C
onica tropical? . . . . . . . . . . . . . . . . . . . . .
8
8
10
2 Curvas tropicais
2.1 Amebas e o mapa tropical
2.2 O semi-corpo tropical . .
2.3 Polin
omios tropicais . . .
2.4 Curvas tropicais planas .
2.5 Curvas algebricas cl
assicas
tropicais . . . . . . . . . .
.
.
.
.
12
12
15
16
18
. . . . . . . . . . . .
21
. . . .
. . . .
. . . .
. . . .
versus
. . . .
3 Combinat
oria tropical
3.1 Polgono de Newton . . . .
3.2 Condic
ao de balanceamento
3.3 Multiplicidade e polgono de
3.4 Grau e genero . . . . . . . .
3.5 Retas e c
onicas . . . . . . .
4 B
ezout e Bernstein
4.1 Teorema de Bezout . .
4.2 Bezout tropical . . . .
4.3 Intersec
ao est
avel . . .
4.4 Teorema de Bernstein
.
.
.
.
.
.
.
.
6
.
.
.
.
.
.
.
.
.
.
.
.
. . . . .
. . . . .
Newton
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
28
29
30
32
.
.
.
.
35
35
36
39
40
SUMARIO
5 Divisores
5.1 Divisores e func
oes racionais . .
5.2 C
ubicas e a estrutura de grupo
5.3 Homeomorfismo entre e S 1 .
5.4 A estrutura de grupo . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
42
42
43
45
46
6 O Teorema de RiemannRoch
6.1 Revis
ao do caso cl
assico . . . . . . . . . . . . . . .
6.2 Condic
oes de RiemannRoch . . . . . . . . . . . .
6.3 De volta a grafos . . . . . . . . . . . . . . . . . . .
6.4 Teorema de RiemannRoch para Zgrafos . . . . .
6.5 RiemannRoch para Qgrafos . . . . . . . . . . . .
6.6 RiemannRoch para curvas tropicais generalizadas
.
.
.
.
.
.
.
.
.
.
.
.
48
48
49
53
62
67
71
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
A Grafos
76
B Breve hist
orico
79
Captulo 1
Bem-vindo ao plano
tropical!
1.1
Reta tropical
Uma reta tropical no plano real R2 e definida como o grafo mergulhado (veja o apendice, (A.1)) constitudo por um vertice trivalente
com arestas ilimitadas nas direc
oes (1, 1), (0, 1) e (1, 0), formando
um Y, como na figura 1.1.
qqqq
qqqq
q
q
q
qq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
qq
qq
qq
qqq
qq
q
Figura 1.1: Reta tropical
A exemplo do que ocorre na geometria analtica elementar, esperamos, intuitivamente, que retas tropicais
variem com dois graus de liberdade;
sejam determinadas por dois pontos de passagem;
encontrem-se, duas a duas, em um s
o ponto.
8
f.reta
[SEC. 1.1: RETA TROPICAL
O primeiro requerimento e simples de atender: pela definicao

geometrica de reta tropical, basta fornecer as coordenadas do vertice
do grafo para determinar completamente a figura. Assim, como no
caso cl
assico, a famlia das retas tropicais goza, de dois graus de
liberdade.
A pr
oxima figura deve nos convencer de que ha uma u
nica reta
tropical passando por dois pontos em posic
ao geral no plano:
qqq
qqq
qqqq
qqqq
qqqq
qqqq
q
q
q
q
q
q
q
q
q
q
q
qq

qqqq
qqqq
qqqq
q
qqqq
qqqq
q
qqqqqqqqqqq
qqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
qq
qq
qq
qq
qq
q
q
q
qq
qq
qq
qq
qq
qq
qq
qq
Figura 1.2: Reta tropical por 2 pontos
f.reta.pontos
Exerccio 1. Para quais posic

oes do par de pontos a reta tropical e
indeterminada?
Analogamente, duas retas tropicais distintas em geral se encontram em um u
nico ponto.
O qualificativo em geral deve ser interpretado no sentido de que
a afirmac
ao vale com probabilidade um. Ou melhor, a colecao dos
pares de pontos (resp. retas tropicais) para os quais a afirmacao e
verdadeira forma um aberto denso de R2 R2 .
...
... .......
.
.
.
...............................
..............................F ...
..
..
..
..
..
..
.
..
....
.
.
.
.
................................
......
...
.F
.............................. ...
.. ..
..
..
..
...
.
.....
.
.
....
.
.
..............................
.
..
.........F
......................
.. ..
.. ..
. ..
.
Figura 1.3: Intersec

ao de alguns pares de retas tropicais
Formalizaremos essas afirmac

oes nos pr
oximos captulos.
f.inter.retas
10
[CAP. 1: BEM-VINDO AO PLANO TROPICAL!
Exerccio 2. Para quais posic

oes do par de retas a intersec
ao e
infinita?
3. Esboce o gr
afico da func
ao (x, y) 7 max(x, y, 0) sobre a regi
ao
1 x, y 1.
1.2
C
onica tropical?
Aproveitando nosso conhecimento sobre retas tropicais, um primeiro exemplo de c

onica tropical poderia ser o fornecido por um par
de retas, como na figura 1.3. Observe que nesse caso, temos duas
arestas ilimitadas em cada uma das direc
oes (1, 1), (0, 1) e (1, 0).
No caso onde coincidissem as arestas, poderamos imaginar como se
cada direc
ao contasse com multiplicidade 2.
Definimos c
onica tropical como um grafo formado por quatro
vertices, tres arestas limitadas ligando esses vertices, satisfazendo
uma condicao de balanceamento explicitada mais adiante, e um
par de arestas ilimitadas em cada uma das direcoes (1, 1), (0, 1) e
(1, 0). Permitimos tambem que vertices e arestas coincidam, como
ocorre na situac
ao degenerada do par de retas. A figura 1.4 mostra
um exemplo de c
onica tropical. Outros tipos serao vistos mais tarde.
....
.
.
.
............................ .....
... .....
.........
.
.. .....
.
.
.
.................
...
...
...
...
..
Figura 1.4: Uma c
onica tropical
Observe que o caso do par de retas pode ser imaginado como uma
degenerac
ao da c
onica da figura 1.4, fazendo o comprimento de uma
das arestas limitadas tender a zero.
f.conicas

[SEC. 1.2: CONICA
TROPICAL?
11
Exerccio 4. Quantos graus de liberdade admite uma c

onica
tropical?
5. Determine, se possvel, uma c
onica tropical que passa pelos pontos
(1, 1), (1, 2), (2, 1), (3, 2), (3, 5)
6. Esboce o gr
afico da func
ao (x, y) 7 max(2x, 2y + 1, x + y + 2, x
3, y 4, 0) sobre a regi
ao 3 x, y 5.
Captulo 2
Curvas tropicais
2.1
Amebas e o mapa tropical
Para entender o aspecto dos grafos apresentados no captulo anterior, vamos estudar as chamadas amebas de curvas planas. Considere
o mapa
Log :
(C )2
(z1 , z2 ) 7
R2
(x1 , x2 ) := (log |z1 |, log |z2 |).
(2.1)
Dada uma curva algebrica plana C em C2 , o conjunto imagem

Log (C (C )2 ) R2
e chamado de ameba da curva C. A figura abaixo mostra as amebas
de uma reta e de uma c
onica. Por elas, deve ficar clara a origem das
curvas tropicais: elas s
ao os esqueletos de amebas.
...
......
.
.
.
.
.
.
......
...........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
............................. ..
.... ..
... ..
.....
......q
q
...
........... .
.
.
.
.
... .. .....
............ ..................
.
.
.
.
.
.
.
.
.
.
....... ....
......................
.
..........
..
................
.
.
.....
... ..... ...
... .. ... ..
.. ..
q
Figura 2.1:Ameba da reta x + y = 1 e a de uma conica
As pernas ou tent
aculos horizontal/vertical provem das ima12
e.mapa.ameba
13
[SEC. 2.1: AMEBAS E O MAPA TROPICAL
gens de pontos pr
oximos das intersec
oes com os eixos coordenados
(log 0 = ...!).
Exerccio 7. Mostre que se z12 + z22 = 1 ent
ao o limite de
para |z1 |, |z2 | e igual a 1.
log(|z1 |)
log(|z2 |)
Formalmente, consideremos agora os mapas

Log t (z1 , z2 ) = ( logt |z1 |, logt |z2 |) =
log |z1 | log |z2 |

,
log t
log t
onde a base do logaritmo passa a ser um real arbitrario t > 0. A

troca de sinal provem do desejo de manter a orientacao, lembrando
que log t < 0 para 0 < t < 1.
Dada uma curva algebrica C, temos a famlia de amebas {Log t (C
(C )2 )}t>0 . O conjunto obtido como limite dessa famlia quando
t tende a zero e o que definimos como curva tropical plana. A
figura 2.2 ilustra esse processo de limite para o caso da reta C =
{(x, y) | x + y = 1}. Embora tracos dessas amebas tenham origem
.
.....
.
qqq
.
.
.
.
qqq
.....
.
.
q..qqqq
.
.
.
.
.
qqqq
.
.
.
q
.
.
.
.
q
.
.
.
.
q
.
.
.
.
.
.
.
.
.
.
............................................ .... qqqqq.q.................................. qqqqqqqq.q........................
... .
.... .
..qqq
.....
... ..
.
qq
.
q
....
qq
qq
qq
......qq
qq
.
.....
.
.
........................
..
..
..
q
Figura 2.2: Ameba da reta x + y = 1 degenerando a seu esqueleto
relativamente antiga cf. [2], o leitor h

a de convir que nao se trata
exatamente de uma definic
ao amig
avel. . .
Mas vale lembrar que estamos em uma Escola de Algebra!

Merecemos uma maneira alternativa, e totalmente algebrica, para
obter uma curva tropical a partir de uma curva classica. Isso e
feito pelo mapa tropical 2.3.
Para isso, introduzimos o corpo K das series de Puiseux sobre os
complexos. Trata-se do fecho algebrico C((t)) do corpo de series de
f.amebadegen
14
[CAP. 2: CURVAS TROPICAIS
Laurent. Concretamente, cada elemento a K e uma serie formal

X
aq tq ,
(2.2)
a=
e.a
qQ
em que
cada coeficiente aq C;
o subconjunto dos racionais onde aq
inferiormente e
6=
0 e limitado
o conjunto dos denominadores e finito.

S
1
1
Temos C((t)) = C((t m )), onde cada C((z)), z = t m , e o corpo
de frac
oes do anel de series formais C[[z]]. A valorizac
ao de a K,
denotada por v(a), e definida como o menor racional tal que aq 6= 0.
Observe que para t pequeno, supondo a serie (2.2) convergente,
temos
v(a) logt a.
De fato, seja v = v(a). Escrevemos a = av tv (1 + ), onde e
desprezvel para t pequeno. Temos assim logt a = logt av + v, onde
limt0 logt av = 0.
Isso nos sugere uma segunda definic
ao de curva tropical, substituindo a aplicac
ao logartmica (2.1) por
Trop :
(K )2
(z1 , z2 ) 7
R2
(x1 , x2 ) := (v(z1 ), v(z2 )).
(2.3)
Assim, dada uma curva C no plano afim K 2 , podemos mapea-la

no plano real afim tomando o fecho topol
ogico de Trop (C (K )2 )
2
2
em R (uma vez que Im Trop Q ) e definir esse conjunto como uma
curva tropical plana, denotado por T (C). Veremos oportunamente
(cf.(2.5.1), p
ag.21.) como obter uma equac
ao para T (C).
A aplicac
ao de valorizac
ao v : K Q satisfaz as seguintes propriedades, facilmente verificadas pela definicao:
v(a + b) min{v(a), v(b)}
v(ab) = v(a) + v(b)
e.mapatrop
15
[SEC. 2.2: O SEMI-CORPO TROPICAL
Lembrando a troca de sinal convencionada na aplicacao Trop , note

que
v(a + b) max{v(a), v(b)}.
Isso observado, vamos definir em Q (e por extensao em R) uma
estrutura dita de semi-corpo com as operacoes
max{, } e + .
Nesse contexto, trataremos as curvas tropicais de modo analogo ao
caso cl
assico, em que desempenham papel central as algebras de polin
omios, func
oes racionais, etc.
Exerccio 8. Se a1 , , ar K s
ao tais que a1 + + ar = 0, ent
ao
pelo menos dois termos da soma atingem o valor mnimo min{v(ai )}.
9. Mostre que a imagem da reta cl
assica z1 +z2 = 1 pelo mapa tropical
est
a contida em {(x, y) R2 |x = y 0 ou x = 0 y ou y = 0 x}.
o conjuntos dos pares (x, y) R2 onde o maximo das 3 funcoes
(E
x, y, 0 ocorre ao menos em 2 delas.) Esboce este conjunto.
2.2
O semi-corpo tropical
Considere o conjunto dos n

umeros reais R acrescentado do smbolo
. Nesse conjunto definimos as operac
oes de
adic
ao tropical :
multiplicac
ao tropical :
a b = max{a, b}, a, b R
a = a a R
=
a b = a + b, a, b R
a = a R
=
Com essas operac

oes temos uma estrutura de semi-anel em
T = R {},
chamado de semi-anel tropical. Mais explicitamente,
16
(R, ) e um mon
oide comutativo, ou seja, a adicao tropical e
associativa, comutativa, com elemento neutro . Observe
que nenhum elemento de R admite inverso aditivo;
(T, ) e um mon
oide, cujo elemento neutro e 0;
a multiplicac
ao se distribui sobre a adicao;
O elemento neutro da adic
ao, , satisfaz a = , a
T.
Alem disso, note que
(T, ) e de fato um grupo abeliano, com a divisao tropical
definida por a b = a b, se b 6= . Por isso, dizemos
que (T, , ) e um semi-corpo;
Temos a a = a, para todo a T, ou seja, T e idempotente.
2.2.1. Observa
c
ao. Por simplicidade de notacao, denotamos a
exponenciacao em T por ar ao inves de ar , ou seja, ar = r a
com a multiplicac
ao usual.
Exerccio 10. Escreva a tabela das operac
oes , para {1, 2, . . . , 5}.
Mostre que propriedades da aritmetica tropical realizam o sonho de
muitos alunos: (a b)n = an bn a, b T, n = 1, 2, . . . :-).
Definimos a topologia no semi-corpo tropical T atraves da identificac
ao com [, ): a base de abertos e dada por {x T; x > a} e
{x T; x < b}, para a, b T = R.
O espaco tropical afim de dimens
ao n e definido como o espaco
topol
ogico
Tn = [, )n
Exerccio 11. Defina uma noc
ao de m
odulo sobre um semi-anel e
mostra que Tn = [, )n e um Tm
odulo.
2.3
Polin
omios tropicais
Um polin
omio tropical e uma express
ao da forma
M
p(x) =
aj xj ,
jJ
(2.4)
e.poltrop
17
[SEC. 2.3: POLINOMIOS

TROPICAIS
onde aj T e J e um subconjunto finito de Zn0 ; por simplicidade

de notac
ao, escrevemos
j = (j1 , . . . , jn ) Zn0 e xj = xj11 xjnn .
O conjunto J e o suporte do polin
omio p(x). O conjunto T[x1 , . . . , xn ]
dos polin
omios tropicais recebe a estrutura de semi-anel com as operacoes
usuais para polin
omios nas vari
aveis x1 , . . . , xn , substituindo +,
cl
assicos pelos correspondentes tropicais. Temos por exemplo,
(a(x1 x2 )b)(cx1 d) = ac(x21 x1 x2 )ad(x1 x2 )bcx1 bd.
O mais importante e que esse conjunto apresenta uma estrutura de

lgebra tropical. Isto significa um semi-anel A com elemento neutro
a
0A e identidade 1A tal que:
e equipado com T-cone de vertice 0A , isto e, um mapa
TA
(a, f )
A
af
satisfazendo, para a, b T e f A,
? (a b) f = a (b f );
?? a f 6= b f se a 6= b;
? ? ? f = 0A ;
o T-cone e compatvel com as operacoes do semi-anel, isto e,
a (f g) = (a f ) g;
dados f, g, h A, se f g = f h, entao g = h ou f e divisor
de zero, isto e, existe f tal que f f = 0A .
A condic
ao ?? acima mostra que o semi-corpo tropical mergulha
na
algebra tropical, mediante o homomorfismo de semi-aneis A : T
A, definido por A (a) = a 1A = a. Em particular, vale 0A = e
1A = 0.
Outra
algebra tropical e a das func
oes regulares de Tn , denotada
n
n
por O(T ). Um elemento de O(T ), chamado de func
ao regular, e
da forma
Tn
T
x 7 f (x),
18
onde f T[x1 , . . . , xn ]. A adic

ao e multiplicacao sao definidas ponto
a ponto e as func
oes constantes s
ao dadas pelo mergulho O(Tn ) .
Observe que n
ao h
a uma relac
ao biunvoca entre as algebras tropicais de polin
omios tropicais e func
oes regulares.
ex.1
Exerccio 12. Mostre que os polin

omios tropicais em uma vari
avel
x2 0 e x2 x 0 s
ao distintos como polin
omios tropicais, mas
representam a mesma func
ao: examine os gr
aficos!
13. Mostre que os mon
omios tropicais s
ao as func
oes lineares com
coeficientes inteiros 0.
14. Desenhe os gr
aficos dos polin
omios tropicais f (x) = a x
b, g(x) = a x2 b x c, h(x) = a x3 b x2 c x d. Mostre
que a func
ao g(x) se fatora como a (x (b a)) (x (c b).
Generalize.
2.4
Curvas tropicais planas
Considere um polin
omio tropical f T[x, y], ou seja,
M
f=
aj xj1 y j2 = max{aj + j1 x + j2 y}
jJ
jJ
(2.5)
onde j = (j1 , j2 ) J Z20 , J finito.

Observe que a func
ao regular definida por f , restrita ao plano
real, e uma func
ao contnua, linear por partes e convexa, isto e:
f : R2 R e tal que seu domnio R2 pode ser decomposto em
um n
umero finito de polgonos convexos sobre cada qual f e a
restric
ao de uma func
ao linear afim.
Para quaisquer p, q R2 e t [0, 1] temos
f (tp + (1 t)q) tf (p) + (1 t)f (q).
O gr
afico dessa func
ao determina um poliedro convexo (ilimitado)
em R3 , onde cada mon
omio em f corresponde a uma de suas faces.
Definimos a curva tropical plana T (f ) como o fecho em T2 do
conjunto dos pontos (x, y) R2 onde f deixa de ser diferenciavel.
Observe que os pontos de n
ao-diferenciabilidade da funcao f correspondem no gr
afico de f a suas esquinas, ou seja, encontro de duas
e.curva.trop
[SEC. 2.4: CURVAS TROPICAIS PLANAS
19
qqq
qq qqqqqqq
qqqq qqqqqqq
qqqq
qqqq
qqq
qqqq
qqqq
qqqq ............
qqq .. ....... . z
qqq...q
q
q
q
q
q
..
qqq qqq ...
qqqq .......... qqqqqqqqqqqqqqqqqqqq ......
... qqqqq
q
..qq
qqqq ...
q..q...qq..q...q.q qqqqqqqq..........q qqqqqqqq ............................... .....
q
q
q
q
q
q
qqqqqq ..q..qq..qq..q..q..q..q..... ......... qqqqqq.q.............................y ......
qqqqqqq
..
qqq ........ .... qqq.............
qqqqqqqqqq
qqqq qqqqq...q...q......q.......q......q............................................................................... x = y
q
qqqq
q
q
.....
.....
qqqq qqqqqq qqqqqqqqqq
.....
.....
qqqq qqqqqqqqq
.....
..... .
qqqqqq
.... .
.................... x
Figura 2.3: Gr
afico da func
ao z = max(x, y, 0)
f.esq
ou mais de suas faces. Assim, equivalentemente, T (f ) e o fecho em

T2 do lugar geometrico dos pontos (x, y) R2 onde o maximo em
(2.5) e atingido em mais de um mon
omio.
Por essa definic
ao fica f
acil ver uma curva tropical como um tipo
de grafo mergulhado em R2 : e um subconjunto de R2 formada pela
uni
ao de pontos, segmentos de retas e semi-retas, uma vez que sao
determinadas por sistemas de inequac
oes lineares, ou seja, um conjunto poliedral de dimens
ao 1. Alem disso, como os coeficientes desses sistemas s
ao inteiros (provenientes dos expoentes das variaveis),
os segmentos e semi-retas tem inclinac
ao racional.
Figura 2.4: Gr
aficos de func
oes tropicais de graus 2 e 3
f.esq2
20
Essa definic
ao, a princpio, difere da nocao classica de curva plana
pois n
ao consiste em soluc
oes para equac
oes polinomiais. Mas, considerando que em T o elemento anulador1 e , vamos agora interpretar uma curva tropical como conjunto das solucoes de f (x, y) =
. Mas antes, recomendamos o seguinte exerccio:
Exerccio 15. Baseado na definic
ao de curva tropical, qual seria a
definic
ao natural para superfcie tropical em T3 ?
Seja G(f ) R2 R o gr
afico da funcao f : R2 R e defina o
conjunto
G(f ) := G(f ) {(x, y, z)|(x, y) T (f ), z f (x, y)}
Esse conjunto coincide com a superfcie em T3 dada pelo polinomio
tropical z f (x, y). De fato, se (x, y, z) G(f ), entao temos que
z e algum mon
omio de f atingem o maximo em
z f (x, y) = max{z, f (x, y)}.
Se (x, y) T (f ) e z < f (x, y), ent
ao ao menos dois monomios de f
atingem o m
aximo, pela definic
ao de curva tropical.
Podemos ent
ao tomar T (f ) T2 como G(f ) {z = }. A
figura 2.5 mostra essa construc
ao.
Pelo exerccio (12) dado no final da secao anterior, vemos que
dois polin
omios tropicais distintos podem representar a mesma curva
tropical. Alem do caso onde os polin
omios tropicais representam a
mesma func
ao, h
a outras ambig
uidades, como ilustram os exerccios
a seguir.
Exerccio 16. Verifique que os pares de polin
omios definem a mesma
curva tropical:
(a) x2 x y x
(b) x y 2
q.uniao
x y 0;
2 x 2 y 4.
Generalizando, mostre que, para qualquer polin

omio tropical f
T[x, y], temos f , x f , y f e c f , onde c R, definem a mesma
curva tropical.
17. Mostre que a uni
ao de duas curvas tropicais ainda e uma curva
tropical. Mais explicitamente, mostre que T (f ) T (g) = T (f g).
1a
[SEC. 2.5: CURVAS ALGEBRICAS

CLASSICAS
VERSUS
TROPICAIS
21
..
... .....
..
.
..
...
....
...
....
...
....
.
....
..
....
...
....
.
.
.
.. .......
.. ......... ...
.
.
.
.
...
...... ..... ...
.
.
..
.
.. ....
...
......
.
.
..
......
....
.....
....
...
...
......
...
.
.
.
.
...
.
.
..
... ..
...
.. ... .. ... ..
..
....
.
.. ... . ........
.
.
.
.
...
.
.
. ...
..
...
.
.
.
.
.
.
.
.. .
.....
..
...
.
.
.
.
.
.
.
.
.
.
.
..
.
.......
.
...
.
.
..
...
........
..
......... ..
....
...
.
.
.
.
.
.
.
...
.
.
...
..
....
.... .................
...
.... ... .........
...
..............
...
..
..
..
.
qqqq
qqqq
qqqq
qqqq
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqq
q
q
q
q
q
q
q
q
q
q
qqqqqqq
qqqqqq
Figura 2.5: G(f ) {z = }
2.5
f.esqbis
Curvas alg
ebricas cl
assicas versus
tropicais
Vamos usar a valorizac

ao no corpo K de series de Puiseux para
definir a tropicalizac
ao de um polin
omio classico f K[z1 , z2 ]. Se
X
f=
aij z1i z2j ,
i,j
associamos o polin
omio tropical
M
j
f T (x1 , x2 ) =
(v(aij ) xi
1 x2 ) =
(2.6)
i,j
max{ix1 + jx2 v(aij ) | i, j N}.
A tropicalizac
ao de um polin
omio permite mostrar a equivalencia das definic
oes de curva tropical dadas ate agora: como imagem de
uma curva algebrica cl
assica pelo mapa Trop e como lugar geometrico
associado a um polin
omio tropical.
kap
2.5.1. Teorema. [Kapranov [7]] Seja C = V(f ) uma curva algebrica

plana cl
assica dada como o lugar dos zeros do polin
omio f K[z1 , z2 ],
onde K denota o corpo de series de Puiseux (2.2). Ent
ao
T (C) = T (f T ).
22
Prova.
P
T (C) T (f T ). Seja (z1 , z2 ) com f (z1 , z2 ) =
aj z1i z2j = 0 e
(x1 , x2 ) = Trop (z1 , z2 ) = (v(z1 ), v(z2 )). Pela definicao da valorizac
ao, f (z1 , z2 ) = 0 implica que o maximo dentre os termos
v(aj z j ) = v(aj ) + j1 x1 + j2 x2 deve ocorrer para ao menos dois
deles. Como esses termos lineares s
ao os monomios do polinomio tropical f T calculados em (x1 , x2 ), temos que (x1 , x2 ) T (f T ).
T (f T ) T (C). Uma demonstrac
ao e feita em [7] e usa a caracterizac
ao de curva tropical que daremos no proximo captulo.

Exerccio 18. Desenhe as tropicalizac
oes das curvas cl
assicas
seguintes: (i) z1 + z2 = 1; (ii) z12 + z1 z2 + z22 + 2z1 3z2 = 1.
19. Exemplos de polin
omios cl
assicos f, g K[z1 , z2 ] distintos e com
mesma tropicalizac
ao.
Captulo 3
Combinat
oria tropical
3.1
Polgono de Newton
Dado um polin
omio tropical f T[x, y] com suporte J Z2 ,
considere o fecho convexo de J em R2 , chamado polgono de Newton associado a f , denotado por f . A construcao da curva tropical
T (f ) e realizada atraves de uma subdivis
ao de f , induzida por f
do modo que passamos a descrever.
Em geral, dado um polgono com vertices em Z2 , uma subdivis
ao de e uma famlia {i }ki=1 de polgonos convexos com vertices
em Z2 tal que i j e uma face comum de i e j (possivelmente
vazia) sempre que i 6= j e f = 1 k . Veja a figura 3.1. Uma
subdivis
ao e dita convexa ou coerente se existe uma funcao linear por
partes convexa : R tal que os polgonos sobre os quais e
linear afim coincidem com os polgonos da subdivisao.
Definimos o mapa de levantamento
f : J
j
R
aj
enviando cada ponto inteiro do polgono de Newton f no oposto do

23
24
[CAP. 3: COMBINATORIA
TROPICAL
Figura 3.1: Subdivis

ao do polgono de Newton
coeficiente de f correspondente. Construmos o conjunto

e f = fecho convexo de
{(j, u) J R | u f (j)}.
Definimos a func
ao
ef : f R
como a extens
ao convexa do mapa J R dado por
e f }.
j 7 min{u | (j, u)
A func
ao ef e portanto linear por partes e convexa. Seu grafico
e f . A subdivisao
pode ser visto como a parte inferior do poliedro
de f induzida por f e definida pela projecao da parte nao linear
do gr
afico de ef sobre seu domnio f e e denotada por Subdivf .
Observe que, por construc
ao, esta subdivisao e convexa.
Na figura 3.1 no lado esquerdo est
a o grafico da funcao ef correspondente ao polin
omio tropical x2 3xy3.5x3y 2 3y1.5
(feito usando polgonos no maple). Nesse exemplo, a funcao f e dada
por
(x2 ) [2, 0] 7 1,
(3 x y ) [1, 1] 7 3
(3.5 y ) [1, 0] 7 3.5,
(3 y 2 ) [0, 2] 7 3
(3 y ) [0, 1] 7 3
(1.5 ) [0, 0] 7 1.5.
Consideremos os pontos v1 = [2, 0, 1], v2 = [1, 1, 3], . . . , v6 =
[0, 0, 1.5] no gr
afico de f . Para cada (x, y) no triangulo J : x + y =
f.subd
25
[SEC. 3.1: POLIGONO DE NEWTON
2, x, P
y 0,Ptemos ef (x, y) = min(v[3] | v[1] = x, v[2] = y) onde
v = ti vi , ti = 1, ti 0, combinac
ao convexa de v1 , . . . , v6 .
Temos tambem que a curva tropical T (f ) gera uma subdivisao de
T2 como segue. Dado u T2 defina o conjunto
Jf (u) := {j J | f (u) = aj uj }.
Em palavras, e o conjunto dos ndices correspondentes aos monomios
para os quais f (u) atinge seu valor m
aximo. Agora, dado um poliedro
em Subdivf , definimos
Vf = {u T2 | Jf (u) = J},
o conjunto dos pontos de T2 em que f (u) atinge seu maximo exatamente nos mon
omios com ndices em . Por serem definidos por
sistemas de inequac
oes lineares, esses conjuntos sao poliedros convexos (possivelmente ilimitados) em T2 .
Considere agora o fecho topol

ogico desses conjuntos, Vf . Ob
serve que para todo u T2 existe tal que u Vf , a saber,

{j}
= {j} para algum j J. Os conjuntos da forma Vf , j J,

s
ao polgonos (poliedros de dimens
ao 2) e a intersecao entre conjuntos dessa forma ocorre em suas faces comuns, que estao contidas na
curva tropical T (f ). Temos ent
ao que, fazendo = {j} a famlia de
polgonos {Vf
{j}
| j J} forma uma subdivisao convexa de T2 .
Essa subdivis
ao de T2 e a subdivis
ao Subdivf estao intrinsecamente relacionadas.
3.1.1. Defini
c
ao. Dizemos que duas subdivisoes S e T de poliedros
em um espaco de dimens
ao n s
ao duais se existe uma correspondencia
biunvoca entre os poliedros (ou celulas) que as constituem satisfazendo as seguintes condic
oes: se e s
ao celulas de S e T respectivamente correspondentes, temos
dim + dim = n;
e geram espacos afins ortogonais (dizemos que e sao
ortogonais);
26
TROPICAL
se 0 corresponde a 0 em T , entao 0 (ha inversao na

ordem de inclus
ao).
e ilimitada se, e somente se, est
a no bordo de T .
t.subdiv.dual
3.1.2. Teorema.
Dada um curva tropical T (F ), as subdivis

oes
Subdivf do polgono de Newton f e {Vf
{j}
| j J} de T2 s
ao duais.
Em suma: os vertices de T (f ) correspondem aos polgonos de

Subdivf e cada aresta de T (f ) corresponde a uma aresta de Subdivf ;
arestas correspondentes s
ao perpendiculares; as arestas ilimitadas de
T (f ) correspondem `
as arestas do bordo de f .
Prova.
Observe que, por construc

ao, uma celula de Subdivf
corresponde `
a celula Vf e naturalmente essa correspondencia inverte
a ordem da inclus
ao. A dualidade segue do fato que as equacoes
lineares de definem Vf tem como coeficientes justamente os pontos

de J.
.......
... ......
.... ..........
.....
...
.....
...
.....
.....
...
.....
....
.....
...
.
..............................................
..
.....
.
.
.......................
..
..
..
Figura 3.2: Dualidade
...
... ....
... ....
..
...
..
...
.
...
...
...
..
..
...
. .. ..
. ..
. .. ..
. ..
. .. ...
..
Advertimos que essa construc

ao n
ao determina, a princpio, a
posic
ao dos vertices ou o comprimento das arestas limitadas de T (f ),
mas apenas o formato do grafo. Mais precisamente, temos a seguinte
3.1.3. Defini
c
ao. O tipo combinat
orio de uma curva tropical T (f )
e a classe de equivalencia de todas curvas tropicais T (g) tais que
Subdivg = Subdivf .
x.quad
3.1.4. Exemplo. Dado um polin

omio, vamos construir a curva tropical associada usando a subdivis
ao de seu polgono de Newton.
f.subduais
[SEC. 3.1: POLIGONO DE NEWTON
27
Considere o polin
omio tropical q(x, y) = xy2x2y1. Seu
polgono de Newton q e o quadrado unitario mostrado à esquerda
da figura 3.3. Pela func
ao de levantamento, os vertices (0, 0) e (1, 1)
de q recebem o valor 1, enquanto (0, 1) e (1, 0) recebem o valor 2.
Assim, a subdivis
ao Subdivq de q e o tipo combinatorio da curva
T (q) ficam como na direita da figura 3.3.
(1, 0)
(1, 1)
(0, 0)
(1, 0)
...............................................
...
... ......
...
... .......
.....
...
..... ....
...
..... ...
...
. .
................................................
Figura 3.3: Polgono de Newton de x y 2 x 2 y 1

Para explicitar completamente a curva T (q), resta calcular a coordenada dos seus vertices. Isso e feito observando que um vertice P e
{j}
determinado pela intersec
ao dos polgonos da subdivisao {Vq | j
J} correspondentes aos vertices do polgono P em Subdivq (associado a P ). Assim, o vertice P1 correspondente ao polgono de vertices
{(0, 0), (0, 1), (1, 0)} e determinado por
1 = x + 2 = y + 2 x + y P1 = (1, 1).
Analogamente, o vertice P2 correspondente ao polgono de vertices
{(0, 1), (1, 0), (1, 1)} e
x + y = x + 2 = y + 2 1 P2 = (2, 2).
Exerccio 20. Ache a subdivis

ao do polgono de Newton da tropicalizac
ao de (x 1)2 + (y 2)2 1/2; esboce o gr
afico da func
ao
levantamento associada; esboce a c
onica tropical obtida.
f.quad.newton
28
TROPICAL
...
...
.
.
.
. .P.....2.........
.
.
.
...
...
.
.
.
.
P1 ...
...................
..
..
Figura 3.4: T (x y 2 x 2 y 1)
3.2
f.trop
Condi
c
ao de balanceamento
Seja e uma aresta de uma curva tropical = T (f ) e seja e a

aresta correspondente em Subdivf .
3.2.1. Defini
c
ao. A multiplicidade ou peso da aresta e em e
o comprimento reticulado de e , ou seja, o n
umero de pontos do
reticulado interiores a e mais 1:
#(inte Z2 ) + 1.
Dado um vertice P de T (f ), sejam {ei }ni=1 suas arestas adjacentes.
Se vi e o vetor inteiro primitivo (mdc das coordenadas=1) e mi a
multiplicidade associados `
a aresta ei , ent
ao P satisfaz a equac
ao de
balanceamento
n
X
mi vi = 0,
(3.1)
i=1
tambem chamada de tens

ao nula ou de equilbrio
agono de f dual do vertice P . Como
Para ver isso, seja P o n-
as arestas de P podem ser obtidas dos vetores mi vi por uma
rotac
ao de 90 e lembrando que a soma dos vetores correspondentes `
as arestas de um polgono convexo e nula, segue a condicao de
equilbrio (3.1).
A condic
ao de equilbrio nos permite dar outra caracterizacao de
curva tropical. Um grafo (mergulhado) cujas arestas sao segmentos de
e.equil
[SEC. 3.3: MULTIPLICIDADE E POLIGONO DE NEWTON
29
retas e semi-retas com inclinac

ao racional e multiplicidades inteiras e
chamado de racional. Um grafo racional e dito balanceado se satisfaz
a condic
ao de equilbrio em cada vertice. Temos entao o seguinte
teorema(re)definic
ao.
urva.tropical
3.2.2. Teorema. As curvas tropicais planas s

ao grafos racionais
balanceados mergulhados em T2 .
q.eq.quad
Exerccio 21. Verifique a condic

ao de balanceamento para a curva
ag.26.
do exemplo (3.1.4), p
q.eq.vert
22. Considere um vertice P com arestas incidentes ilimitadas nas

direc
oes (1, 0) e (0, 1) com multiplicidades 2 e 1 respectivamente.
Complete esse grafo para que seja uma curva tropical de dois modos: um acrescentando 1 aresta ilimitada e outro com mais 2 arestas
ilimitadas. Construa o polgono de Newton em cada caso.
.mult.vertice
3.3
Multiplicidade e polgono de Newton
Vamos definir a multiplicidade do vertice P em = T (f ) atraves da

subdivis
ao Subdivf do polgono de Newton f .
3.3.1. Defini
c
ao. Se P Subdivf e o polgono dual do vertice P ,
ent
ao a multiplicidade de P em e
m P := 2
area(P ).
(3.2)
Os menores polgonos possveis com vertices em Z2 sao triangulos

de
area 1/2, chamados tri
angulos primitivos. Assim, qualquer polgono com vertices em Z2 , sendo uni
ao de triangulos primitivos, possui
por
area um m
ultiplo inteiro de 1/2, o que mostra que m P e sempre
um inteiro.
Alem disso, como P possui val P lados (contando multiplicidades das arestas), temos m P val P 2.
Dado um vertice trivalente P em uma curva tropical temos
uma caracterizac
ao alternativa para sua multiplicidade. Seja vi o
vetor inteiro primitivo e mi a multiplicidade da aresta ei adjacente a
30
TROPICAL
P , i = 1, 2, 3. Ent
ao
m P
= m1 m2 |v1 v2 | = m2 m3 |v2 v3 | =
(3.3)
= m1 m3 |v1 v3 |,
onde v1 v2 denota a
area (orientada) do paralelogramo gerado; as
igualdades acima s
ao justificadas pela condicao de equilbrio (3.1)
aplicada ao vertice P .
Dizemos que uma curva tropical e n
ao singular ou lisa se possui
apenas vertices trivalentes e com multiplicidade 1.
Exerccio 23. Calcule a multiplicidade dos vertices das curvas dos
exerccios (21), p
ag.29. e 21.
q.quad.def
au.ilimitadas
Exerccio 24. Considere uma curva tropical formada por um u

nico
vertice de valencia 4, no qual s
ao incidentes quatro arestas ilimitadas
nas direc
oes (0, 1), (0, 1), (1, 0) e (1, 0), todas de multiplicidade
1. Deforme essa curva de modo a obter uma curva tropical lisa,
adicionado novas arestas (em menor n
umero possvel), determinando
suas direc
oes e multiplicidades. Construa o polgono de Newton de
ambas.
3.4
Grau e g
enero
Dizemos que um polin

omio tropical f tem grau definido d se o seu
suporte J (2.4) e total, ou seja, igual ao tri
angulo {(i, j) Z20 | i+j =
d}. Se f tem grau definido d, dizemos que a curva tropical T (f ) tem
grau d.
Exerccio 25. Veja que nem todo polin
omio tropical tem um grau
definido, como por exemplo os polin
omios x e x2 y 2 em T[x, y];
ag.26.
idem o considerado no exemplo (3.1.4), p
3.4.1. Observa
c
ao. Com essa definic
ao podemos tornar precisa a
afirmac
ao feita no captulo introdut
orio sobre o n
umero de arestas
ilimitadas em cada direc
ao (1, 0), (0, 1), (1, 1): se f tem grau d, o
polgono de Newton f tem as arestas do bordo de tamanho (=comprimento reticulado) d. Logo, como as arestas ilimitadas da curva
T (F ) s
ao ortogonais `
as arestas de bordo de f , teremos d arestas
ilimitadas, contando multiplicidade, em cada uma dessas direcoes.
e.mult.vertic
31
[SEC. 3.4: GRAU E GENERO
q.grau
Exerccio 26. Uma curva tropical de grau d tem no m

aximo d2
vertices (distintos). Se e lisa, a igualdade ocorre.
Vamos agora definir o genero de uma curva tropical nao-singular.
Se f e o polgono de Newton da curva tropical = T (f ), o genero
e identificado com o n
umero de pontos do reticulado Z2 interiores a
f :
g = #(int f Z2 ).
Esse n
umero coincide com o primeiro n
umero de Betti da curva tropical , obtido pela topologia induzida de T2 . Isto nada mais e que
o n
umero de ciclos em linearemente independentes em homologia. O genero de uma curva tropical, como um grafo, pode ainda
ser calculado como o n
umero ciclom
atico da parte finita de , obtida
excluindo-se as arestas ilimitadas (veja definicao de curva tropical
generalizada e a discuss
ao sobre genero no apendice). Se #V e #E
indicam o n
umero de vertices e arestas limitadas de uma curva tropical de grau d, temos
g = #E #V + 1.
Exerccio 27. Mostre que toda reta tropical e toda c
onica tropical
tem genero 0.
Vamos em seguida estabelecer uma relacao entre o genero e o
grau de uma curva tropical n
ao-singular, como acontece com curvas
algebricas cl
assicas. Para isso, observe que uma curva tropical (com
grau definido, possivelmente singular) de grau d, o somatorio das
valencias de seus vertices e igual a duas vezes o n
umero de suas arestas
limitadas mais as arestas ilimitadas (contando multiplicidades), ou
seja, temos o seguinte
3.4.2. Teorema.
X
val P = 2#E + 3d.
P V
Para curvas tropicais n

ao-singulares, usando que #V = d2 (veja
exerccio (26), p
ag.31.), essa equac
ao se reduz a 2#E = 3(d2 d).
Assim, temos o
32
TROPICAL
3.4.3. Corol
ario.
g=
(d 1)(d 2)
3 2
(d d) d2 + 1 =
.
2
2
3.4.4. Observa
c
ao. O genero de uma curva tropical qualquer
e definido atraves de parametrizac
oes tropicais. Estas sao imersoes
do tipo G Rn , com G um grafo metrico, satisfazendo certas
condic
oes. O genero de e assim definido como o mnimo do genero
dentre todos grafos metricos que parametrizam . Veja [9].
Em particular, temos uma express
ao para o genero de uma curva
tropical simples, que e uma curva que possui apenas vertices trivalentes de multiplicidade 1 e vertices tetravalentes de multiplicidade 2
(ou seja, com polgono de Newton formado por triangulos primitivos
e paralelogramos de
area 1). Seu genero e dado por g = tx
2 + 1,
onde t e o n
umero de vertices trivalentes e x e o n
umero de arestas
ilimitadas.
Exerccio 28. Calcule o genero das curvas do exerccio 24.
Exerccio 29. Se e uma curva simples de grau d, mostre que seu
genero e dado pela f
ormula
g=
(d 1)(d 2)
p,
2
onde p e o n
umero de vertices tetravalentes, considerados os pontos
singulares de .
3.5
Retas e c
onicas
Vamos analisar o caso particular de uma reta tropical, ou seja,

uma curva tropical de grau 1 (qual o seu genero?).
A reta e dada por um polin
omio tropical da forma
a x b y c = max{x + a, y + b, c},
com a, b, c 6= . Como uma curva tropical e o lugar geometrico dos
pontos em T2 onde o m
aximo e atingido em pelo menos duas vezes,
a reta tropical e dada pela uni
ao de tres semi-retas:
33
[SEC. 3.5: RETAS E CONICAS
y =x+ab
y cb

x=ca
2
{(x, y) T | x + a = c y + b}, (vertical)
y cb

y =cb
{(x, y) T2 | y + b = c x + a}, (horizontal)
x c a.
{(x, y) T2 | x + a = y + b c},
Assim, obtemos o grafo com vertice (c a, c b) e com arestas

ilimitadas nas direc
oes (1, 1), (0, 1) e (1, 0).
Como o polgono de Newton de um polinomio tropical linear e
a subdivis
ao trivial, existe um s
o tipo combinatorio de reta tropical.
Em particular toda reta tropical e lisa e unicamente determinada pela
posic
ao de seu vertice: 2 graus de liberdade.
Exerccio 30 (Retas tropicais degeneradas). Descreva as curvas
tropicais do tipo a x b y, a x c e b y c, onde os coeficientes
s
ao diferentes de . Faca o mesmo para a x e b y. (Note que
o grau n
ao est
a definido.)
q
qq
q
qqqq
qqqq
qqq
qqqqqqqqqqqqqq
qqqqqqqqqqqq
qqqq
q
qq
qq
q
q
q
q
q
qqqqqqqqqqq
qq
qqqq qqqq
qqq qqqqq
qqqqq
qqqqqqqqqqqqqqqqqqqq
q
qq
q
q
q
q
q
q
q
q
q
q
q
q
q
q
qq
qqqqqqqqqqqqqqq
qq
qq
qqqqqqqqqqqqqqqqqqqqqq
qqqqqqqqqqqqqq
qqq
qqqqq
qqq
qqqq
q
q
q
q
q
q
q
q
q
q
q
q
q
qqqqqqqqqqqqqq
qq
q
qqqq
qqqq
qqqq
qq qq
qqqqqqqqqqqqq
qqqqqqqqqqqqqq qqq
qqqqqqqqqqqqq
q
q
q
q
q
qq ....
q ....
....... q q
....... qq
qq .. ...
..........
.. ....
.. ....
. ...
...
.......................
....... .......
.. ..... .. ......
........................................
... ..................
.................. ......
.. .........................
.............................................
......................
.. .............
.. ..... .. ......
........................................
... ...........
....... .... .......
.. ......... .. ......
...........................................
Figura 3.5: Tipos combinat

orios de conicas tropicais lisas
Uma curva tropical de grau 2 e chamada c
onica tropical. Ela e
determinada por um polin
omio tropical
a x2 b x y c y 2 d x e y f.
A an
alise de todas as possibilidades para uma conica e um tanto
quanto cansativa, tradicionalmente melhor deixada como exerccio. . .
f.conicascomb
34
TROPICAL
Portanto vamos discutir apenas os tipos combinatorios de conicas

tropicais lisas.
O polgono de Newton e o tri
angulo de vertices (0, 0), (2, 0) e
(0, 2). A figura 3.5 mostra os quatro tipos combinatorios de conicas
f
acil ver que uma c
onica tropical de cada um desses
tropicais lisas. E
tipos combinat
orios e determinada por 5 parametros: 2 parametros
para a posic
ao de um vertice e 3 par
ametros para o comprimento das
arestas limitadas, uma vez que a direc
ao de cada aresta e fixa.
Exerccio 31 (C
onicas tropicais singulares). Descreva os tipos combinat
orios das c
onicas tropicais singulares, identificando os elementos
da subdivis
ao do polgono de Newton (polgonos e arestas) com os da
curva (vertices e arestas) e marcando as respectivas multiplicidades.
32. Determine os vetores primitivos de cada aresta nos 4 tipos combinat
orios na figura 3.5.
33. Leia [3].
Captulo 4
B
ezout e Bernstein
4.1
Teorema de B
ezout
O teorema de Bezout cl
assico fornece o n
umero de pontos de intersec
ao de duas curvas algebricas planas. Se f, g C[x, y] denotam
polin
omios n
ao constantes, sabemos que a intersecao das curvas
Cf = {(x, y) C2 | f (x, y) = 0}
Cg = {(x, y) C2 | g(x, y) = 0}
e finita se e s
o se mdc (f, g) = 1. Nesse caso, o n
umero de pontos
na intersec
ao e gr (f ) gr (g), produto dos graus. A exemplo do
que fazemos para contar razes de polin
omios a uma variavel, definese a noc
ao de multiplicidade de intersec
ao, mf g P , para cada ponto
P C2 . Ela e caracterizada pela seguinte lista de propriedades
naturais:
1. mf g P = mgf P ;

0
P 6 Cf Cg ;
2. mf g P =
P Ch Cf Cg ;
3. mf (gh) P = mf g P + mf h P ;
4. mf (g+hf ) P = mf g P ;
5. mxy (0, 0) = 1;
6. mf g P = mT f T g T 1 P ;
35
36
[CAP. 4: BEZOUT
E BERNSTEIN
Esta u
ltima condic
ao, invari
ancia por mudanca de coordenadas, T
denota uma transformac
ao T : C2 C2 da forma T (x, y) = (ax +
by + c, a0 x + b0 y + c0 ) com a, b, . . . , c0 C tais que ab0 a0 b 6= 0, o que
garante bijetividade. Definimos o polin
omio transformado T f (x, y) =
f (ax + by + c, a0 x + b0 y + c0 ).
Levando em conta as multiplicidades, o Teorema de Bezout classico
nos diz que, se Cf Cg e finita, ent
ao
X
mf g P gr (f ) gr (g).
P C2
Na soma, apenas um n
umero finito de pontos contribuem. Levando
em conta os chamados pontos no infinito (as direcoes assintoticas), a
desigualdade acima torna-se de fato uma igualdade. Veja [4] ou [14].
4.2
B
ezout tropical
Curvas tropicais em T2 admitem uma versao do teorema de Bezout.

Antes de enunciar o teorema, vamos definir as multiplicidades de intersec
ao.
Consideramos inicialmente o caso de intersecao transversal entre
curvas tropicais, ou seja, cada ponto de intersecao das curvas tropicais
C e D est
a contido no interior de uma aresta de C e em uma, distinta,
de D. Nesse caso temos a seguinte
d.mult.inter
4.2.1. Defini
c
ao. Sejam m, n as multiplicidades e u, v os vetores
inteiros primitivos das arestas de C e D, respectivamente, que se
encontram no ponto P . Ent
ao a multiplicidade de intersec
ao em P e
definida por
mCD P = m n |u v|.
(4.1)
Exerccio 34. Calcule as multiplicidades de intersec
ao dos pares de
retas tropicais da figura (1.3), p
ag.9.
35. Escolha um par de c
onicas tropicais transversais e calcule as multiplicidades de intersec
ao.
Podemos enunciar agora o teorema de Bezout tropical.
e.mult.inter

[SEC. 4.2: BEZOUT
TROPICAL
37
4.2.2. Teorema. Sejam C e D curvas tropicais de graus c e d respectivamente no plano tropical T2 . Se as duas curvas se encontram em
um n
umero finito de pontos, ent
ao o n
ao,
contando multiplicidades, e igual a c d.
Prova. Vamos examinar v
arios casos.
C e D em posic
ao especial.
Isto significa exigir que os pontos de intersecao estao nas arestas ilimitadas na direc
ao horizontal para C e vertical para D. Nesse caso,
acil ver que ha exatamente c d
tendo em mente a observac
ao 3.4.1, e f
pontos de intersec
ao.
...
.
.
.
........
.
.................. .....
....................
..
..
.
.
......................
.
.
..
..........
.. ....
..........
.
Figura 4.1: Intersec

ao transversal
C e D com intersec
ao transversal e em posic
ao geral. Veja a figura 4.1.
Para duas curvas C e D com intersec
ao transversal, mas em posicao
mais geral, vamos construir uma homotopia que as move para a
posic
ao especial descrita acima. Fixamos C e criamos uma homoao especial com C, consistindo
topia Dt , com D0 = D e D1 em posic
em uma translac
ao por um caminho linear por partes. Podemos supor
que esse caminho e tal que para nenhum valor de t ocorra encontro
de vertices de Dt e C e que, com excec
ao de um n
umero finito de
valores de t, C e Dt tenham intersec
ao transversal. Sejam t1 , . . . , tr
os valores de t para os quais C e Dt deixam de se encontrar transversalmente. No intervalo (ti , ti+1 ) as multiplicidades de intersecao e
o n
ao permanecem inalterados. Vejamos
f.intcon
38
[CAP. 4: BEZOUT
E BERNSTEIN
agora que esses n

umeros ainda continuam constantes ao passar por
ti .
Para C Dti , os vertices de C contidos em Dti e os de Dti contidos
em C s
ao finitos. Por simetria, consideramos apenas um dos casos:
seja P um vertice de Dti e ` a reta (no sentido classico) suporte
da aresta de C em cujo interior P est
a includo. Seja ~u o vetor
ponderado saindo de P na direc
ao de `. Para as outras direcoes das
arestas saindo de P , separamos em dois grupos de vetores ponderados,
~v (1) , . . . , ~v (k) e w
~ (1) , . . . , w
~ (l) , cada um desses grupos em um dos semiplanos determinados pela reta `. Para instantes infinitesimais antes
e depois de ti , a multiplicidade de intersecao em pontos vizinhos de
P s
ao
k
l
X
X
m0 =
|u v (j) | e m00 =
|u w(j) |.
j=1
j=1
Pela condic
ao de P
equilbrio emPP , temos
k
l
v (i) + i=1 w
~ (i) = 0.
i=1 ~
Portanto
!
k
l
X
X
(i)
(i)
0 = u
~v +
w
~
=
j=1
k
X
u ~v (j) +
j=1
j=1
l
X
uw
~ (j) =
j=1
= m0 m00
de onde conclumos ser m0 = m00 .

C e D com intersec
ao n
ao-transversal.
Para curvas C e D com intersec
ao n
ao-transversal, seja P um
vertice na intersec
ao. Se perturbarmos as curvas para uma posicao
de intersec
ao transversal, temos uma multiplicidade de intersecao
bem definida em P , usando o mesmo argumento apresentado no caso
anterior. Da segue o teorema de Bezout para esse caso.
39
ESTAVEL
[SEC. 4.3: INTERSEC

AO
4.3
Interse
c
ao est
avel
Mostraremos agora um aspecto da teoria de intersecao tropical

sem paralelo com o caso cl
assico.
Suponha que as curvas C e D tem intersecao infinita, ou seja,
possuem segmentos em comum. Tome C e D curvas proximas das
originais, mas que apresentem intersec
ao finita. Pelo Teorema de
Bezout, a cardinalidade de C D e c d.
4.3.1. Teorema. O limite da configurac
ao de pontos C D independe da escolha de perturbac
oes e e um subconjunto bem definido de
c d pontos em C D.
Prova. A mesma argumentac
ao dada na demonstracao do Teorema
de Bezout se aplica.

Como estamos contando o n
umero de pontos de intersecao com
multiplicidade, o mesmo vale para os pontos no conjunto limite.
Chamamos esse limite de intersec
ao est
avel das curvas C e D e o
denotamos por
C est D = lim C D
0
Por fim, temos

c.estavel
4.3.2. Corol
ario. Quaisquer duas curvas de graus c e d no plano
tropical T2 se encontram estavelmente num conjunto bem definido de
c d pontos, contando multiplicidades.
..
..
.....
.....
.
.....
.....
.....
.....
.......................
.....
...
.....
.
.
...
.
.
...
.....
.....
...
.....
...
.....
..
.....
........................................................................
....
.... ......
...
.. ...
......
....
..........
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... ...
....
.
.
.
.
.
. ..
....
..... ....
.....
.....
....
.....
.
.
.
....
.
..
.....
....
.....
.
.
.
...
.
....
.
.
.
.
...
.
.
.
.
.
........................
.....
...
.
.
.....
.....
.......................
..
...
.....
...
.....
...
.....
...
.....
.
.
.
.
...
..
...
.....
.....
...
.....
...
......
..........................................................................
.
.
..... ...
...
..... ...
........................................ ....
.....
... ...
.....
.
.
.
.
.
.
.. .....
....
...
.....
.....
....
.....
.
.
.
.
...
....
.
.
.
....
.
....
.
.
.
....
.
...
.
.
.
.
..
.
........................
.....
...
.
Figura 4.2: intersec

ao est
avel de uma reta e uma conica
f.intersestav
40
[CAP. 4: BEZOUT
E BERNSTEIN
Exerccio 36. Determine a intersec

ao est
avel da reta. e c
onica nas
figuras (i)
....
....................
..
..
....
....
.....
.....
.....
.....
...............................
.........
..
...........................
....
.....
.....
.....
.....
.....................
...
.
. ....
......
..... ...
........
..... ...............
.
........................ ...
... .
... ...
... ..
... ... ... ....
.
..
.... .................
... ...... ..
......... ...
... ..
.
.
... .
... ..
... ...
.. .....
.
. .
......... .
.......... .
..... .......... .... ...
............................ .... .....
.... ...
..... .
..
(ii)
.
...............
..
....
....
.....
.....
.....
.....
...............................
.........
..
...........................
....
.....
.....
.....
.....
.....................
...
.
.
....
.
.
.
........
.....
...
.. ......
.

....
.. .
.
.....
.
.
.
.
........
.... .
...
Figura 4.3: Auto-intersec

ao est
avel de uma conica
Exerccio 37. Calcule a auto-intersec

ao est
avel de uma reta tropical. Idem para outros tipos combinat
orios de c
onicas.
4.4
Teorema de Bernstein
O Teorema de Bernstein fornece outra maneira de contar os pontos de intersec

ao, com multiplicidade, usando os polgonos de Newton. Para isso, vamos reinterpretar as definicoes de multiplicidade de
um vertice e multiplicidade de intersec
ao dadas em 4.2.1 e 3.3.1 em
termos do polgono de Newton. Inicialmente, assim como fizemos na
sec
ao anterior, vamos considerar o caso de intersecao transversal.
Seja f o polgono de Newton da curva tropical T (f ). Sabemos
que a multiplicidade de um vertice de e o dobro da area do polgono
correspondente na subdivis
ao Subdivf . Dada outra curva T (g) que
encontra T (f ) transversalmente, podemos considerar a curva tropical T (f ) T (g) (veja 16). Temos que um ponto de intersecao e
um vertice tetravalente de T (f ) T (g) (reexamine a figura (4.2))
e portanto a multiplicidade de intersec
ao e igual à area do paralelogramo correspondente na subdivis
ao Subdivf +g do polgono de
Newton f +g . Observe tambem que se o grau gr f = c e gr g = d,
f.intersestav
[SEC. 4.4: TEOREMA DE BERNSTEIN
41
o grau de f + g e c + d. O polgono de Newton f +g e obtido como

a soma de Minkowsky de f e g , ou seja, {u + v | u f , v g }.
A curva tropical T (f ) T (g) tem como vertices:
1. aqueles provenientes de cada curva; os polgonos correspondentes a esses vertices aparecem em Subdivf +g ;
2. os vertices tetravalentes que correspondem aos pontos de intersec
ao das curvas. Esses vertices d
ao lugar a paralelogramos
em Subdivf +g .
Assim, a soma das multiplicidades de intersecao dos pontos em
T (f )T (g) corresponde `
a soma das
areas dos polgonos de Subdivf +g
do segundo tipo descrito acima. Esse n
umero pode ser calculado
como:
area (f +g ) area f area g =
1
1
1
(c + d)2 c2 d2 = c d.
2
2
2
Demonstramos desse modo o

4.4.1. Teorema.[Bernstein] Sejam C = T (f ) e D = T (g) duas
curvas tropicais com intersec
ao transversal e polgonos de Newton
f e g respectivamente. Ent
ao, o n
ao,
contando multiplicidades, e igual a area (f +g ) area f area g .
Exerccio 38. Construa as subdivis
oes dos polgonos de Newton para
as c
onicas dadas por uni
ao de duas retas (figura 1.3) e verifique o
teorema de Bernstein para esses casos.
Captulo 5
Divisores
5.1
Divisores e fun
c
oes racionais
Seja R2 uma curva tropical plana nao singular, ou seja, com

todos os vertices possuindo valencia 3 e multiplicidade 1, e com grau
bem definido.
5.1.1. Defini
c
ao. Um divisor em e um elemento do grupo abeliano
livre gerado pelos pontos de . O grupo de todos divisores e denotado
por Div .
Assim, cada divisor D e escrito da forma
X
D=
ai Pi ,
i
com ai Z (nulos exceto para um n

umero finito) e Pi . Seu grau
e o inteiro
X
gr D =
ai .
i
O suporte de um divisor D, denotado por supp D, e o conjunto

dos pontos com coeficientes n
ao nulos em D. Quando os coeficientes
s
ao todos positivos, D e dito um divisor efetivo.
Dado um polin
omio tropical f com grau definido, o divisor (f )
(ou apenas (f ) se a curva estiver clara no contexto) e definido como
42

[SEC. 5.2: CUBICAS
E A ESTRUTURA DE GRUPO
43
a soma dos pontos da intersec

ao est
avel (cf. 4.3.2) entre e T (f ),
ponderados com as devidas multiplicidades de intersecao. Tambem,
se C = T (f ) podemos denotar esse divisor como (C) , uma vez que
o divisor depende somente da curva tropical e nao do seu polinomio
representante. Observe que divisores desse tipo sao sempre efetivos
e, pelo teorema de Bezout, seu grau e o produto dos graus de e C.
Dados dois polin
omios tropicais de mesmo grau, definimos
(f g) := (f ) (g).
Divisores dessa forma s
ao chamados de divisores principais e, por
Bezout, possuem grau zero.
Assim como no caso cl
assico, dizemos que dois divisores D1 e D2
s
ao linearmente equivalentes, e escrevemos D1 D2 , se e somente se
D1 D2 e um divisor principal. Essa e uma relacao de equivalencia.
Se Div0 denota o subgrupo dos divisores de grau zero, definimos o
grupo jacabiano de como o quociente Div0 / =: Jac .
5.2
C
ubicas e a estrutura de grupo
Esta sec
ao e baseada no artigo [11], de Vigeland.
Uma curva tropical elptica, assim como no caso classico, e uma
c
ubica n
ao singular de genero 1. A figura 5.1 da um exemplo de curva
tropical elptica no plano
real e a subdivis
ao associada.
qq
qqqq
q
q
q
q
q
.......
... ......
qqqq
... ......
.. ......
qqqqqqqqqqqqqqqqqqqqqqqqqq
.....
...
.....
q
...
q
q
qq
....
...
q
.............................................
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqq
........
.
...............
... .......
q
q
q
q
q
.... ........
q
q
.
... .....
.....
.
.....
...
qqq
qqqqqqqq
.....
q
..... .....
...
q
.....
q
.
..... ...
...
q
.....
qqqqqqqqqqqqqq
.
.
q
.. .
...
.
.....................................................................................................
qqq
qq
...
.
.
.
.
.
...
.
.
.
.
.
.
.
.
.
.
.
.
...
q
.... .... ........................ ..........
q
.
.
.
.
q
...
..... .......... ......
qqqqqqqqqqqqqqqq
.... ....
.
.
.
.
q
.
.
.
..... ............ .......
... ......
...
q
qqqqq
.
......... .....
.
.
.
.
q
.
.
....
... .......
.
.. .
qqqqqqqqqqqqqqqqqqqqqq qq
..................................................................................................................................
qq qq
qq
qq qq
qq
q q
q
Figura 5.1: C
ubica tropical elptica
Vamos considerar a curva = T (f ) T2 , onde f (x, y) denota um
polin
omio c
ubico de suporte total. Assim, o polgono de Newton f
e o tri
angulo de vertices (0, 0), (0, 3) e (3, 0) e a subdivisao induzida
f.eliptica
44
[CAP. 5: DIVISORES
por f e uma triangulac

ao de f . Alem disso, como possui genero 1,
apresenta um u
nico ciclo, denotador por . Cada componente conexa
de \ e dito um tent
aculo de .
Diferentemente do caso cl
assico, onde o grupo jacobiano de um
curva era isomorfo `
a pr
opria curva, veremos que no caso tropical ha
uma retrac
ao ao ciclo, ou seja, Jac = . As proximas proposicoes
visam mostrar esse fato.
5.2.1. Proposi
c
ao. Se P e Q s
ao pontos em um mesmo tentaculo,
ent
ao P Q.
Prova. Primeiramente, suponha que P e Q estao numa mesma aresta
ilimitada. Vamos considerar a aresta ilimitada de direcao (1, 0),
por exemplo. (Os outros casos s
ao an
alogos.) Sejam `1 , `2 e `3 as
tres arestas da curva elptica nessa direcao e suponha que P e Q
est
ao em `1 , como mostrado na figura 5.2. Nesse caso, realizamos
a seguinte construc
ao. Tome a reta tropical ` com vertice em P .
qq
...
..... qqqq
.....
..... qqqq
.
.
.
.
q
...
S ............... qqqqqq
q.....q....q...q...q..qqqqqqqqq
`3 qqqqqqqqqqqqqqqqqqqqqqqqqqqqF
...
qq
qqqq
.....
.....
.....
qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq qqqqqqqq
q
.....
.
q
.
.
.
q
.
.....
qq qqqqqq
qqqq
.....
`2 qqqqqqqqqqqR
q
q.q...qF
q..q...q...q...qqqqqqqqqqqqqqqqqq
q
.....
q
..................................................
q
.
qqq
q
q
..... ....
.
.
.
.
q
............................q...q..q...q..q...q..q....qqqqq...qqqqqqqqqqqqqqqqqqqqqqq
qqqqq
...
F... F
qq
qqqqq
`1 P ....... ....... Q
qqqqq
q
q
q
q
q
.... .....
qqqqqqqqqqqqqqqqq qq
.... ...
.... .
qq qq
qq
....
.
q q
q
Figura 5.2: retrac
ao da c
ubica tropical elptica ao ciclo
Assim, (`) = P + R + S Suponha que P e Q estejam proximos o

suficiente para garantir a existencia de uma reta `0 a passando por
Q com centro sobre a aresta diagonal de `. Assim (`0 ) = Q + R + S
e portanto P Q = (` `0 ), ou seja, P Q. Se P e Q nao estao
pr
oximos o suficiente para garantir a existencia da reta `0 , tome uma
seq
uencia de pontos P0 = P, P1 , . . . , Pn = Q tal que a construcao
acima possa ser repetida para cada par Pi , Pi+1 . Desse modo, por
transitividade, temos P Q.
f.prop1
45
[SEC. 5.3: HOMEOMORFISMO ENTRE E S 1
Um argumento an
alogo e usado no caso em que P e Q estao sobre
a aresta `2 . Supondo P e Q suficientemente proximos, tome a reta `
com centro em P , cuja intersec
ao com `1 e um ponto P 0 e com `3 um
0
ponto R. Assim existe reta ` passando por Q e com centro sobre a
aresta diagonal de `, cuja intersec
ao com `1 e um ponto Q0 . Como ja
0
0
sabemos que P Q , conclumos que P Q.
Podemos facilmente adaptar essa construcao para pontos sobre `3
e pontos sobre as arestas limitadas dos tentaculos, obtendo assim o
resultado.
5.3
Homeomorfismo entre e S 1
Dada uma curva elptica tropical R2 , sejam V1 , . . . Vn os

vertices de contados no sentido hor
ario e E1 , . . . En suas arestas,
tal que Ei = [Vi , Vi+1 ] (com Vn+1 = V1 ). Fixemos um ponto O
como sendo o vertice V1 ou um ponto no interior da aresta En . Se vi e
o vetor inteiro primitivo da aresta Ei e || denota a norma euclidiana,
definimos i := |v1i | . Chamamos de comprimento reticulado de Ei o
n
umero i |Ei |. O comprimento reticulado de e entao
L := 1 |E1 | + + n |En |.
Com isso, definimos o homeomorfismo : S 1 , atribuindo valores
em O e nos vertices, recursivamente, como
(O)
(V1 )
(Vi+1 )
0
1 |OV1 |
=
L
= (Vi ) +
i |Ei |
L
mod L Z,
i = 1, . . . , n 1
e estendendo linearmente na metrica euclidiana em cada aresta. Estamos fazendo a identificac

ao R/L Z = S 1 .
A partir do homeomorfismo , definimos a dist
ancia reticulada
orientada na curva elptica tropical entre pontos P, Q por
d (P, Q) = L((P ) (Q)).
(5.1)
e.dist
46
[CAP. 5: DIVISORES
Para pontos P , Q e R em vale

d (P, R) = d (P, Q) + d (Q, R)
5.4
A estrutura de grupo
Queremos agora obter um criterio geometrico para identificar pares de divisores da forma P + Q que sejam linearmente equivalentes.
Como no caso cl
assico, isso nos permitir
a obter a estrutura de grupo
em uma curva elptica tropical.
A demonstrac
ao do pr
oximo lema pode ser vista em [11].
l.eliptica
5.4.1. Lema. Sejam P , Q, P 0 e Q0 pontos de . Entao

P + Q P 0 + Q0 d (P, P 0 ) = d (Q, Q0 )
A estrutura de grupo em (de fato em ) e estabelecida pela
pr
oxima proposic
ao.
5.4.2. Proposi
c
ao. Fixado O , o mapa O : Jac , definido
por P 7 P O, e uma bijec
ao.
Prova. Se P e Q s
ao tais que P O Q O, entao P + O Q + O
e pelo lema 5.4.1 temos d (P, Q) = 0, ou seja, P = Q. Isso mostra
que O e injetor.
Para a sobrejetividade, seja D = D1 D2 divisor de grau zero
com grau D1 = grau D2 = n. Por induc
ao em n, vamos encontrar P
tal que D P O. Primeiramente, supomos que D = P 0 Q0 , para
P 0 , Q0 . Se tomarmos P tal que d (P, P 0 ) = d (O, Q0 ), o lema
5.4.1 nos diz que P + Q0 P 0 + O e portanto D = P 0 Q0 P O.
Suponha agora que o resultado e v
alido para n 1, n > 1, e seja
D = D1 D2 , com D1 = P1 + + Pn e D2 = Q1 + + Qn . Sejam
P12 e Q12 pontos tais que P1 + P2 P12 + O e Q1 + Q2 Q12 + O,
equivalencias justificadas pelo mesmo argumento usado no caso n =
1. Assim podemos escrever D P12 +P3 +Pn (Q12 +Q3 +Qn )
e pela hip
otese de induc
ao temos D P O, para algum P .
Com isso, definimos o grupo (, O) formado por pontos de e
com estrutura de grupo induzida por Jac de modo que a bijecao
47
[SEC. 5.4: A ESTRUTURA DE GRUPO
O e um isomorfismo de grupos. A descricao geometrica da operacao

nesse grupo e dada pelo pr
oximo teorema.
5.4.3. Teorema. Sejam P e Q pontos em e denotemos + a
operac
ao do grupo (, O). Ent
ao o ponto P + Q e determinado pela
relac
ao
d (O, P + Q) = d (O, P ) + d (O, Q).
Prova. Por ser O um isomorfismo de grupos, temos
P + Q O = O (P + Q) = O (P ) + O (Q) = P O + Q O,
ou seja, P +Q P +QO e portanto, pelo lema 5.4.1, d (P, P +Q) =
d (O, Q). Adicionando d (O, P ) em ambos membros dessa equacao,
obtemos a igualdade desejada.

Exerccio 39. Encontre os pontos P de uma curva elptica (, O)
que satisfazem a equac
ao n P = P + + P = O.
|
{z
}
n parecelas
Captulo 6
O Teorema de
RiemannRoch
6.1
Revis
ao do caso cl
assico
Seja X uma curva projetiva n

ao singular. Para cada divisor D
em X, temos associado o sistema linear
|D| = {D0 Div X | D D0 0}.
Trata-se do espaco projetivo associado ao espaco vetorial das funcoes
racionais f k(X) com p
olos controlados por D, i.e.,
L(D) = {f k(X) | div(f ) + D 0}.
(6.1)
LD
(6.2)
RR
O teorema de RiemannRoch afirma

dim L(D) dim L(K D) = gr D + 1 g,
onde g denota o genero, e K um divisor canonico, cf. [4].

O teorema de RiemannRoch para curvas tropicais segue de
uma vers
ao mais geral, v
alida para grafos discretos, tambem chamados Zgrafos, demonstrada por Baker e Norine ([1]). Em verdade, mostraremos que o resultado e v
alido para grafos metricos com
arestas ilimitadas, o que e mais geral que uma curva tropical como
48

[SEC. 6.2: CONDIC
OES
DE RIEMANNROCH
49
definida pelo teorema 3.2.2. A estrategia e produzir uma serie de

reduc
oes que permitem aplicar o teorema de RiemannRoch para Z
grafos `
as curvas tropicais generalizadas. O roteiro da demonstracao
que apresentaremos aqui e baseado no texto de Gathmann e Kerber
(ver [6]).
Vamos abstrair, para um conjunto qualquer X, a nocao de divisor,
assim como os outros conceitos associados à formula de Riemann
Roch (6.2). Mostraremos que para um tal conjunto X, a validade de
RR e equivalente a duas condic
oes, chamadas condic
oes de Riemann
Roch. Estabelecida essa equivalencia, vamos tomar X como um Z
grafo e verificar a validade das condic
oes de RiemannRoch para esse
caso. O pr
oximo passo e reduzir o teorema de RiemannRoch para
Qgrafos ao caso de Zgrafos. Isto ser
a feito introduzindo o conceito
de mudancas de escala. O teorema de RiemannRoch para grafos
metricos e obtido em seguida usando um metodo de aproximacao por
Qgrafos. Finalmente, o resultado e estendido para grafos metricos
ilimitados.
6.2
Condi
c
oes de RiemannRoch
Seja X um conjunto n
ao vazio, e seja Div X o grupo abeliano livre
sobre os elementos de X. Elementos de Div X sao chamados divisores
em X. As definic
oes de grau e divisor efetivo seguem analogas ao ja
definido anteriormente para curvas tropicais. Seja uma relacao de
equivalencia em Div X satisfazendo as seguintes propriedades:
Se D D0 , ent
ao gr D = gr D0 .
Se D1 D10 e D2 D20 , ent
ao D1 + D2 D10 + D20 .
Para cada D Div X, definimos o linear
|D| := {E Div X | E 0, E D},
e definimos a func
ao r : Div X {1, 0, 1, 2, . . . } declarando que
para cada inteiro s 0,
r(D) s |D E| =
6 E 0, gr E = s.
50
[CAP. 6: O TEOREMA DE RIEMANNROCH
Observe que se gr D < 0 temos |D| = e se D D0 , entao

|D| = |D0 |.
Vamos mostrar agora que a func
ao r esta realmente bem definida
pela equivalencia acima.
Dado divisor D, para todo E efetivo de grau gr D + 1, temos
|D E| = , de onde conclumos que r(D) gr D. Segue tambem
da definic
ao que r(D) = 1 se, e somente se, |D| = , uma vez que o
u
nico divisor efetivo de grau zero e o divisor nulo 0. Em particular,
r(D) = 1 se gr D < 0 e se gr D = 0 com D 6 0. Se gr D = 0 com
D 0, temos ent
ao r(D) = 0. Se quisermos obter o valor da funcao r
para algum divisor D de grau positivo, procedemos do seguinte modo.
Iniciando com s = 0, testamos se |D E| e vazio para algum divisor
E efetivo de grau s. Se o for, ent
ao r(D) = s 1, caso contrario
r(D) s; incrementamos s em uma unidade e repetimos o teste.
Esse processo termina uma vez observado que r(D) gr D.
l.RR.a
6.2.1. Lema. Para todos D, D0 Div X tais que r(D), r(D0 ) 0,

temos r(D + D0 ) r(D) + r(D0 ).
Prova. Por simplicidade, vamos escrever r = r(D) e r0 = r(D0 ).
Seja E0 = x1 + + xr+r0 um divisor efetivo de grau r + r0 arbitrario
e sejam E = x1 + + xr e E 0 = xr+1 + + xr+r0 . Pela definicao da
func
ao r, temos que |D E| e |D0 E 0 | s
ao nao vazios (pois r(D)
r(D)...), de onde conclumos que existem divisores efetivos F e F 0 de
graus r e r0 respectivamente tais que D E F e D0 E 0 F 0 .
Segue da que (D + D0 ) (E + E 0 ) = (D + D0 ) E0 F + F 0 0,
e portanto r(D + D0 ) r(D) + r(D0 ).

Fixado um inteiro n
ao negativo g, definimos
Ng = {D Div X | gr D = g 1, |D| = }
(6.3)
(ou simplesmente N quando g estiver fixado). Finalmente, seja K

um elemento de Div X tendo grau 2g 2 (lembre-se do grau do divisor can
onico cl
assico!). O seguinte teorema da condicoes necessarias
e suficientes para a validade da f
ormula de RiemannRoch para elementos de Div X.
e.N
51
[SEC. 6.2: CONDIC

OES
DE RIEMANNROCH
t.cond.RR
6.2.2. Teorema.[Condic
oes de RiemannRoch]
A f
ormula de RiemannRoch
r(D) r(K D) = gr D + 1 g
(6.4)
e v
alida para todo D Div X se, e somente se, as seguintes propriedades s
ao satisfeitas:
(RR1) Para todo divisor D Div X, existe N tal que exatamente
um dentre os sistemas lineares |D| e | D| s
ao n
ao vazios.
(RR2) Para todo D Div X com gr D = g 1, temos ambos |D| e
|K D| vazios ou ambos n
ao vazios.
Antes da demonstrac
ao, alguns lemas necessarios.
l.RR.b
6.2.3. Lema. Sejam : A B uma bijec

ao entre conjuntos e
f : A Z e g : B Z duas func
oes inferiormente limitadas. Se
existe uma constante c tal que
f (a) g((a)) = c
para todo a A, ent
ao
min f (a) min g(b) = c.
aA
bB
Prova. Deixamos como exerccio para o leitor.
Como notac
ao para o pr
Poximo lema, definimos a parte positiva do
grau de um divisor D = i ai xi como a soma
P dos coeficientes nao
negativos em D, ou em smbolos: gr + (D) := ai 0 ai
l.RR.c
6.2.4. Lema. Se a condic

ao (RR1) e valida, ent
ao temos
!
r(D) =
min
D0 D
N
gr + (D0 )
Prova.
Seja r0 (D) o lado direito da equacao acima e suponha,
por contradic
ao, ser r(D) < r0 (D). Por definicao, essa inequacao
e.RR.geral
52
implica na existencia de um divisor efetivo E de grau r0 (D) tal que

r(D E) = 1. Pela condic
ao (RR1) aplicada ao divisor D E,
existe N e divisor efetivo E 0 tal que D + E E 0 . Tomando
D0 D tal que D0 = E E 0 , temos
gr + (D0 ) 1 gr E 1 = r0 (D) 1
contradizendo a definic
ao de r0 (D). Logo r(D) r0 (D).
Se escolhermos divisores D0 D e N tais que o mnimo na
equac
ao do lema e atingido, ent
ao gr + (D0 ) = r0 (D) + 1. Portanto
existem divisores efetivos E e E 0 com gr E = r0 (D) + 1 tais que
D0 = E E 0 . Ent
ao D E E 0 e como E 0 nao e
equivalente a nenhum divisor efetivo, segue que |D E| = . Logo
r(D) r0 (D).

Passemos `
a prova do teorema 6.2.2:
(6.4) (RR1) + (RR2):
Seja D um divisor em X de grau d.
A propriedade (RR2) segue imediata: se gr D = g 1, da formula
de RiemannRoch temos r(D) = r(K D).
Para verificar (RR1) e suficiente mostrar que se r(D) = 1, entao
r( D) 0 para algum N (desde que N seja nao vazio). Isso
se justifica porque n
ao podemos ter ambos |D| e | D| nao vazios,
sen
ao, pelo lema 6.2.1, deveramos ter r() 0, contradizendo a
definic
ao de N .
Se r(D + E) 0 para todo E efetivo de grau g 1 d, entao
a f
ormula de RiemannRoch aplicada ao divisor D + E implica que
r(K DE) = r(D+E) 0 para todo tal E, e portanto r(K D)
g 1 d. Aplicando novamente a f
ormula de RiemannRoch, agora
para o divisor D, obtemos r(D) = r(K D) + d + 1 g 0.
Logo, quando r(D) = 1, existe um divisor efetivo E de grau
g 1 d tal que r(D + E) = 1. Como gr (D + E) = g 1, isso
significa que D + E N , e protanto D + E = para algum N .
Para essa escolha de , temos r( D) 0, provando (RR1).
(RR1) + (RR2) (6.4):
53
[SEC. 6.3: DE VOLTA A GRAFOS
Seja D Div X. Para todo N , a condicao (RR2) aplicada

ao divisor , temos que := K N . Dado D0 D, escrevemos
D0 = K D0 e assim
gr + (D0 ) gr + ((K D0 ) )
gr + (D0 ) gr + ( D0 ) =
=
=
gr (D0 ) =
gr (D) g + 1.
Desse modo, como a func

ao gr + (D0 ) gr + ((K D0 ) )
apresenta valor constante gr (D) g + 1 para todo D0 e e como
varia em todo N quando varia, pelos lemas 6.2.3 e 6.2.4 segue
r(D) r(K D) = gr (D) g + 1.
6.3
De volta a grafos
Vamos chamar de curva tropical generalizada um grafo metrico

ilimitado, como definido no apendice A.6. Esse conceito inclui os
Zgrafos, Qgrafos e grafos metricos (veja apendice) e portanto, as
definic
oes que faremos nessa sec
ao se aplicam a todos esses grafos.
Escrevemos P representando um ponto do grafo como espaco topol
ogico, podendo ser um vertice ou um ponto interior de uma aresta.
Ao longo desta sec
ao definiremos a equivalencia linear, sistemas lineares e sua dimens
ao para divisores sobre grafos e o leitor pode
verificar que essas definic
oes est
ao de acordo com as feitas na secao
anterior para divisores em um conjunto qualquer.
Se D e tal que supp D Z (Q ), ele e chamado de Zdivisor
(Qdivisor).
O divisor can
onico de um grafo e o divisor
X
K =
(val P 2)P.
P V ()
Observe que em um Zgrafo (Qgrafo) o divisor canonico e um

Zdivisor (Qdivisor).
Para grafos ainda temos a definic
ao an
aloga para func
ao racional :
54
6.3.1. Defini
c
ao. Uma func
ao racional sobre um grafo e uma
func
ao contnua f : R {} cuja restricao a cada aresta do
grafo e uma func
ao linear por partes com n
umero finito de partes
lineares.
Dado um ponto P e uma func
ao racional f definimos a ordem
de P em f , denotada por ord P f , como a soma das inclinacoes de f
em todos segmentos com orientac
ao partindo de P , ou inclinac
oes de
sada de f em P . Se P e uma extremidade de , a ordem de f e
definida como o oposto da inclinac
ao de um ponto da aresta ilimitada
suficientmentee pr
oximo a P .
Desse modo temos que ord P f e um inteiro. Dizemos que P e um
zero de f se sua ordem e positiva e e um p
olo se negativa. Observe que
ord P f = 0 para todos pontos em \V () onde f e localmente linear,
portanto em quase todo ponto. Assim fica bem definido o divisor
(mais precisamente, Zdivisor) associado a uma funcao racional f
como
X
(f ) = (f ) =
ord P f P.
P
O grau do divisor (f ) e zero, como ocorre no caso classico. De

fato, se {ei } s
ao os segmentos do grafo sobre os quais f e linear, que
s
ao em quantidade finita pela definic
ao de funcao racional, e Pi , Qi
s
ao as extremidades do segmento ei , podemos reescrever
X
gr (f ) =
(ord Pi f + ord Qi f ).
i
.
...........
......... .....
.........
...
.........
.
.
.
.
.
.
.
....
.
...
.........
...
....................
.
....
.
...........
.
.
.
.
.
.
.
....
.
......
.
.
.
.
.
.
.
....
.
.....
.
.
.
.
.
.
.
....
.
.....................
.
.
....
.
...... ...
.
.
.
.
.
.
.
....
.
.....
.
.
.
.
.
.
.
.
...
......
.
.
.
.
.
.
.
....
.
.....
.
.
.
.
.
.
.
...
.
....
.................................................................................................................................................................................
Figura 6.1: Inclinac

oes opostas
Mas ord Pi f = ord Qi f . Em outras palavras, as inclinacoes de

sada das extremidades de um mesmo segmento linear sao opostas.
f.inclina
d.RS
55
6.3.2. Defini
c
ao. Seja D um divisor de grau n de um curva tropical
.
1. O espaco de func
oes associado ao divisor D, denotado por
R(D), e constitudo pelas func
oes racionais em tais que (f ) +
D e efetivo.
2. Como (f ) + D tem grau n, definimos
S(D) := {(f, P1 , . . . , Pn ) | (f ) + D = P1 + + Pn }.
e
3. Se e um Zgrafo e D um Zdivisor, definimos R(D)
como o
espaco das func
oes f onde (f ) + D e um Zdivisor efetivo e
e
S(D)
:= {(f, P1 , . . . , Pn ) | P1 , . . . , Pn Z ; (f ) + D = P1 + + Pn }
o.RS
exo.poliedral
6.3.3. Observa
c
ao. Observe que o grupo das permutacoes de n
smbolos, Sn , age sobre as coordenas P1 , . . . , Pn em S(D), de modo
e
e
que R(D) = S(D)/Sn (e analogamente para R(D)
e S(D)).
Alem
disso, para esses espacos valem as seguintes propriedades:
todos s
ao vazios se grau D < 0.
e P ) R(D),
e
R(D P ) R(D) e R(D
para todo P .
e
Se D e um Zdivisor em um Zgrafo, temos R(D)
R(D) e
e
S(D) S(D).
Diferente do caso cl
assico, esses espacos nao tem estrutura de
espaco vetorial, mas e possvel mostrar que sao complexos poliedrais.
6.3.4. Defini
c
ao.[Complexo Poliedral]
(a) Sejam X1 , . . . , Xn poliedros convexos abertos em espacos vetoriais reais. Um complexo poliedral com celulas X1 , . . . , Xn
e um espaco topol
ogico X com mapas de inclusao contnuos
ao disjunta dos conjuntos ik (Xk )
ik : Xk X tal que X e a uni
e os mapas de mudanca de coordenadas ik 1 il sao lineares
(onde definidos) para todo k 6= l. Usualmente esquecemos os
mapas de inclus
ao ik e dizemos que as celulas Xk estao contidas
em X.
56
(b) Um morfismo entre complexos poliedrais X e Y e um mapa

contnuo f : X Y tal que, para cada celula Xk X a
imagem f (Xk ) est
a contida em somente uma celula de Y e
f |Xk e um mapa linear (de poliedros).
Para verificar essa caracterizac
ao de R(D) e S(D), comecamos
com um lema que nos d
a uma limitac
ao para as inclinacoes de uma
func
ao racional.
6.3.5. Lema. Seja p > 0 um inteiro e f uma func
ao racional em um
grafo metrico que possua no m
aximo p p
olos (contados com multiplicidade). Ent
ao, o valor absoluto da inclinac
ao de f em qualquer
ponto de (desconsiderando os vertices de e os pontos de n
ao diferenciabilidade de f ) e limitado por um n
umero que depende somente
de p e da combinat
oria de .
Prova. Seja N a valencia m
axima e seja a o n
umero de arestas em .
Primeiramente, modificamos considerando tambem como vertices
todos os zeros e p
olos de f , de modo que em cada aresta do novo
grafo temos que f e linear afim. Isto n
ao altera N , mas o n
umero de
arestas passa de a para no m
aximo = a + 2p: cada novo vertice,
necessariamente zero ou p
olo, acrescenta uma aresta. Seja e uma
aresta em que a inclinac
ao de f atinge o maximo, digamos > 0.
Vamos mostrar que < (N + p) .
Construa um caminho comecando em e no sentido de crescimento de f e que, ao cruzar um vertice, siga por uma das arestas de maior inclinac
ao de sada. Seja P a extremidade da aresta
e no sentido do crescimento de . Sejam 1 , . . . , n as inclinacoes
de sada das arestas incidentes a P , de modo que podemos escrever
ord P f = 1 + + n . Dado que o caminho se aproxima de P ao
longo de e com inclinac
ao de entrada > 0, temos 1 = . Suponhamos por absurdo (N + p) . Vamos ver o que ocorre com a
inclinac
ao da pr
oxima aresta em depois de cruzar P . Temos
2 + + n
= 1 + ord P f
(N + p) p
= N (N + p)1 + p((N + p)1 1)
N (N + p)1 . (?)
p.RS.poliedro
57
Isso implica que a inclinac

ao da pr
oxima aresta em , ou seja, o
maior dentre 2 , . . . , n , deve ser maior ou igual a (N p)1 , uma
vez que n N . (Caso contr
ario, se = max2in {i }, teramos
2 + + n n N < N (N + p)a1 , contrariando (?), a
inequac
ao que acabamos de obter.
Assim, supondo que a inclinac
ao de f na aresta inicial e do caminho e ao menos (N + p) , ap
os cruzar k vertices, a inclinacao de
f e ao menos (N + p)k . Em particular, f e estritamente crescente
nas primeiras + 1 arestas de . Mas o total de arestas de e limitado por ; logo alguma aresta deveria ocorrer duas vezes ao longo
das + 1 primeiras arestas de , contrariando que f e estritamente
crescente nesse caminho. Conclumos que (N + p)2p+a e um limite
superior para o valor absoluto das inclinacoes de f em .

Vamos verificar a cota dada no lema anterior para o caso de uma
reta tropical. Consideremos uma func
ao racional f que a partir do
vertice trivalente V da reta tropical tem inclinacoes de sada 1 , 2
e 3 em cada aresta. Desse modo contamos p = 1 + 2 + 3 polos
(contando multiplicidades) de f . Obviamente as inclinacoes de f
est
ao limitadas por (3 + p)2p+3 (a valencia maxima e 3 e nao ha
arestas limitadas).
6.3.6. Proposi
c
ao. Para qualquer divisor D em um grafo metrico
, os espacos R(D) e S(D) s
ao complexos poliedrais.
Prova.
Observe que se mostrarmos que S(D) e complexo poliedral, como R(D) = S(D)/Sn , segue que R(D) tambem e complexo
poliedral, pelo teorema das func
oes simetricas. (Essa e a verdadeira
isto que vamos mostrar.
motivac
ao da definic
ao de S(D)). E
Primeiramente, em cada aresta de escolhemos uma de suas
extremidades para ser o que chamaremos de ponto inicial da aresta.
Fixado um divisor D de grau n, associamos a cada elemento
(f, P1 , . . . , Pn ) S(D)
os seguintes dados:
(a) a informac
ao sobre em qual aresta ou vertice esta cada Pi , para
i = 1, . . . , n.
58
(b) os ndices de coordenadas repetidas.

(c) a inclinac
ao (inteira) de f de cada aresta de em seu ponto
inicial.
(d) a dist
ancia de cada Pi ao ponto inicial da aresta onde ele esta.
(e) o valor de f em um vertice escolhido.
Os dados (a), (b) e (c) s
ao ditos discretos, enquanto (d) e (e)
s
ao contnuos. Esses dados determinam unicamente a funcao racional f : em cada aresta, atraves dos dados (a), (b) e (d) (alem do
conhecimento de D), temos a posic
ao e a ordem de cada zero e polo
de f ; com (c) temos a inclinac
ao inicial em cada aresta e, por fim, o
valor inicial (e) determina f .
Assim, com esses dados vamos descrever S(D): como ha finitas
possibilidades para as escolhas de (a), (b) e (c) (para (b) usamos o
lema anterior), temos uma estratificac
ao finita de S(D). Em cada
estrato os dados (d) e (e) fornecem um n
umero finito de variaveis
reais, sendo portanto um subconjunto de um espaco vetorial real.
Mas esses dados est
ao condicionados a relacoes que se expressam
por equac
oes e inequac
oes lineares afins: as distancias dadas por (c)
variam entre 0 e o comprimento da aresta correspondente e os valores
de f nas extremidades das arestas devem ser escolhidos de modo a
ter uma func
ao contnua bem definida em . Portanto, S(D) e um
complexo poliedral.

e
6.3.7. Observa
c
ao. O resultado ainda vale para os espacos R(D)
e
e
S(D). A diferenca na demonstrac
ao est
a no fato do dado (d) passar a
ser discreto, ou seja, determina, juntamente com (a), (b) e (c), uma
e
estratificac
ao de S(D),
uma vez que s
ao considerados em f apenas Z
pontos. Assim, h
a apenas uma vari
avel real (contnua), proveniente
e
e
do dado (e), de onde conclumos que S(D)
e R(D)
sao uma uniao
finita de retas.
O seguinte exemplo nos mostra que os complexos poliedrais R(D)
e S(D) n
ao tem dimens
ao pura em geral.
x.retaD
6.3.8. Exemplo. Vejamos o espaco de funcoes para uma reta tropical. Lembrando da convenc
ao sobre os vertices das extremidades
59
de uma curva tropical generalizada, temos que o divisor canonico de

uma reta tropical e K = V P1 P2 P3 , onde V e o vertice trivalente da reta e Pi e o vertice da extremidade da aresta ilimitada
ei , com i = 1, 2, 3. Observe que sendo um divisor de grau negativo,
temos R(K) = .
Consideremos agora o divisor V e vamos descrever o complexo
poliedral S(V ). Como conjunto, S(V ) contem os pares (f, P ), tais
que (f ) + V = P , ou seja, func
oes racionais com zero simples em P
e p
olo simples em V . Seguindo a demonstracao do teorema 6.3.6,
para o dado (a) temos tres possibilidades, correspondendo a cada
uma das tres arestas da reta. Consideremos entao o caso onde P esta
em uma das arestas, os outros casos s
ao similares. Como V e P sao
os u
nicos zero e p
olo de uma tal func
ao f , obrigatoriamente a inclinac
ao de sada de f nas extremidades e nula, com ressalvas para o
caso onde P coincide com uma das extremidades. Isso nos determina
a inclinac
ao de cada aresta a partir de um de seus vertices, ou seja,
temos o item (c). Mais precisamente, a funcao f tem inclinacao 1
sobre o segmento entre V e P (inclinac
ao de sada 1 em P e 1 em
V ) e e constante nas outras partes. Assim, a funcao f fica determinada, a menos de uma constante aditiva, pela posicao de P em sua
aresta, isto e, corresponde ao poliedro bidimensional [0, ] R, onde
o primeiro fator corresponde `
a posic
ao de P e o segundo à constante
aditiva.
Ainda sobre a reta tropical, considere o divisor 2V . Assim S(2V )
e formado por ternos (f, P, Q), tal que f tem um polo duplo em V e
P, Q s
ao zeros. Temos agora as possibilidades de P e Q estarem em
uma mesma aresta, em arestas diferentes ou de coincidirem.
Se P e Q est
ao em uma mesma aresta, f fica determinada pela
posic
ao de ambos e pela constante aditivo. Isso pois, assim como
no caso anterior, a inclinac
ao de f nas extremidades deve ser nula,
o que implica que a inclinac
ao do segmento entre V e P deve ser 2
enquanto que no segmento entre P e Q deve ser 1. Logo o poliedro
correspondente a esse tipo de configurac
ao e [0, ][0, ]R restrito
a condic
ao de que Q est
a alem de P , ou o contrario, dependendo do
caso.
Se P e Q est
ao em arestas diferentes, temos novamente que as
60
inclinac
oes de f estabelecidas: inclinac
ao 1 nos segmentos entre V
e P e entre V e Q e inclinac
ao nula nos demais trechos. Assim
[0, ] [0, ] R parametriza essas configuracoes (sem restricoes
adicionais).
Finalmente, se P = Q, obtemos tres possibilidades, correspondendo `
a aresta onde esse zero duplo se encontra. Assim, temos f com
inclinac
ao 2 no segmento entre V e P e inclinacao nula nos demais
trechos. Logo, essas configurac
oes s
ao parametrizadas por [0, ] R.
6.3.9. Exemplo. Seja o Zgrafo metrico consistindo em dois ciclos
C1 e C2 de comprimento 1 conectados por uma aresta e de comprimento `(e) N (veja.............a. figura 6.2). Se P e Q s
ao os vertices determi..............
.... ..............
......... .................
..........
.....
........
....
.....
....
....
....
....
....
...
...
.
...
.
.
.
.
...
...
...
...
....
....
..
........................................................................................................
...
.
..
..
.
..
...
...
.
.
..
.
.
...
...
.
.
.
.
.
.
....
....
....
....
....
....
...
...
.....
.....
..........
......
..........
......
...............................
...............................
Figura 6.2: Dois ciclos

nados por C1 e e C2 e respectivamente, temos entao que o divisor
can
onico desse grafo e K = P + Q. Considere agora uma funcao
racional f tal que (f ) + K = P1 + P2 , ou seja, f tem polos em P e
Q e zeros em P1 e P2 . Vamos ent
ao descrever o conjunto S(K ).
Primeiramente, suponha que P1 e P2 estao ambos no interior da
aresta e. Desse modo, a menos de uma constante aditiva, a funcao
racional f est
a determinada pela posic
ao desses pontos em e. Para
ver isso, observe que nos ciclos C1 e C2 a funcao f e obrigatoriamente
constante, uma vez que ela e contnua e n
ao apresenta zeros ou polos
no interior desses ciclos. Com isso e com o conhecimento da ordem
de f em cada um dos pontos P , Q, P1 e P2 , ficam determinadas as
inclinac
oes em cada parte linear de f e, uma vez fixada a constante
aditiva, as posic
oes de P1 e P2 determinam unicamente f , conforme
mostra a figura reff.exemplo.S1. Segue da que a celula de S(K )
correspondente a essa configurac
ao de pontos e parametrizada por
[0, `(e)] [0, `(e)] R, onde os dois primeiros fatores dao as coordenadas dos pontos P1 e P2 e o u
ltimo parametriza a constante aditiva.
Constatamos ent
ao que essa celula tem dimensao 3.
Considere agora que um dos pontos esta no interior de um dos
f.exemplo.S
61
ciclos. O lema 6.5.1, apresentado e demonstrado na proxima secao,

nos garante que o segundo ponto tambem deve estar no mesmo ciclo
(ambos n
ao s
ao Zpontos, pois o ciclo tem comprimento 1). Garantimos ainda que os pontos s
ao opostos, significando que dividem
o ciclo em dois arcos de comprimento 1/2. Com isso temos que a
posic
ao do segundo ponto e determinada pelo primeiro e a funcao f
est
a determinada a menos de uma constante aditiva. Explicitamente,
ao f e constante e na aresta e
se P1 , P2 C1 temos que em C2 a func
tem inclinacao 1 (veja figura reff.exemplo.S2). No ciclo C1 , sejam a, b
e c as inclinac
oes nos arcos P P1 , P P2 e P1 P2 respectivamente. Alem
disso, seja x a coordenada de P1 no intervalo [0, 1] com extremidades
identificadas, parametrizando C1 . Considerando as ordens em cada
um desses pontos temos as equac
oes
1 + a + b = ord P f = 1
a + c = ord P1 f = 1
b c = ord P2 f = 1
e a condic
ao de continuidade de f em C1 nos da
!
1
1
x (b) = 0,
ax + c +
2
2
equac
oes essas que determinam f unicamente, a menos de uma constante aditiva. Desse modo a celula de S(K ) correspondente a esse
caso e parametrizada por C1 R, tendo portanto dimensao 2.
Os exemplos acima mostra que n
ao temos uma dimensao bemdefinida para os espacos R(D) e S(D). Entretanto, podemos definir
uma quantidade que ter
a papel an
alogo `
a dimensao do caso classico.
6.3.10. Defini
c
ao. Seja D um divisor de grau n na curva tropical
.
1. Definimos r(D) como o maior inteiro k tal que para toda escolha
de pontos P1 , . . . , Pk (n
ao necessariamente distintos) temos
R(D P1 Pk ) n
ao vazio (equivalentemente S(D P1
Pk ) n
ao vazio). Se R(D) = , definimos r(D) = 1.
2. Se D e um Zdivisor em um Zgrafo, definimos re(D) como o
maior inteiro k tal que para toda escolha de pontos P1 , . . . , Pk
62
Z (n
ao necessariamente distintos) temos R(D P1 Pk )
n
ao vazio.
o.pi
6.3.11. Observa
c
ao. Temos r(D) = 1 se grau D < 0 e, noutro
caso, r(D) grau D. O mesmo vale para re(D), D um Zdivisor em
um Zgrafo.
6.3.12. Exemplo. C
alculo de r(D) sobre a reta tropical.
Voltando ao exemplo 6.3.8, vamos obter o valor de r(D) em cada
caso.
Para o divisor can
onico K, segue do fato de R(K) ser vazio que
r(K) = 1.
Para o divisor dado pelo vertice (finito) V da reta, temos r(V ) =
1. Para ver isso, observe que, para qualquer P , temos R(V P ) =
{0}, uma vez que sempre existe func
ao racional com um polo em
V e zero em P . Para completar, temos R(V P Q) = , pois
gr V P Q < 0.
J
a para o divisor 2V , o fato que que R(2V P Q) = {0} (lembrese que R(2V P ) est
a contido nesse) para quaisquer P e Q dados,
garante que r(2V ) = 2.
O mesmo pode ser feito usando a f
ormula de Riemann-Roch,
sabendo-se que r(K D) = 1 para todo divisor D sobre a reta.
Uma definic
ao alternativa para os n
umeros r(D) pode ser dada
atraves das projec
oes de S(D). Seja D um divisor de grau n e suponha
S(D) 6= . Para cada i {1, . . . , n}, consideramos os mapas
i :
S(D)
(f, P1 , . . . , Pn ) 7
i
(P1 , . . . , Pi )
f
E
acil verificar que r(D) coincide com o maior inteiro k tal que k e
sobrejetor.
6.4
Teorema de RiemannRoch para Z

grafos
Com as definic
oes dadas na sec
ao anterior, podemos agora enunciar o teorema de RiemannRoch para Zgrafos.
[SEC. 6.4: TEOREMA DE RIEMANNROCH PARA ZGRAFOS
t.RRZ
63
6.4.1. Teorema.[Baker & Norine] Seja um Zgrafo de genero g e

com todas arestas de comprimento maior do que 1. Ent
ao, para todo
Zdivisor D em temos
re(D) re(K D) = gr D + 1 g.
Antes de demonstrar, mais algumas consideracoes e definicoes. . .
Primeiramente, vamos modificar o Zgrafo do enunciado, considerando todos Zpontos como vertices. Conseq
uentemente, todas
arestas passar
ao a ter comprimento 1 e o grafo nao tera lacos, uma
vez que inicialmente tnhamos todas arestas de com comprimento
maior que 1. Essa modificac
ao n
ao altera o genero g, o grau de qualquer divisor D ou re(D). Assim = (V, E) e um Zgrafo sem lacos
com vertices V = Z e arestas E de comprimento 1.
Se nos restringirmos `
a equivalencia linear entre Zdivisores em um
Zgrafo , ou seja, se D e D0 s
ao Zdivisores em com D0 = D + (f )
para alguma func
ao racional f , temos que (f ) tambem e um Z
divisor. A menos de uma constante aditiva, podemos supor que f
e uma func
ao com valores inteiros sobre V , os vertices de . Reciprocamente, qualquer func
ao que assume valores inteiros sobre V
gera (via interpolac
ao linear) uma func
ao racional em cujo divisor
(f ) e um Zdivisor. Portanto, basta considerar apenas funcoes racionais com valores inteiros sobre V . Podemos entao escrever o divisor
associado a uma func
ao racional como
X
(f ) =
(f (Q) f (P ))(P Q)
{P,Q}E
Associado a um Zdivisor D de um Zgrafo definimos a funcao

inteira (que de acordo com o discutido no paragrafo anterior se estende a uma func
ao racional sobre ) D : V Z que leva
P cada
vertice de em seu coeficiente no divisor D, ou seja, se D = i ai Pi ,
ent
ao D(P ) = ai , se P = Pi supp D, e D(P ) = 0, caso contrario.
d.div.red
6.4.2.PDefini
c
ao. Seja v um vertice de um Zgrafo . Um Zdivisor
D = i ai Pi em e vreduzido se a func
ao D : V \ {v} Z satisfaz:
D(P ) 0 para todo P ;
para todo conjunto n
ao vazio A V \ {v} existe um P tal
umero de vertices
que D < valext A (P ), onde valext A (P ) e o n
adjacentes a P fora de A.
64
p.div.red
6.4.3. Proposi
c
ao. Fixado um vertice v, para todo Zdivisor D em
existe um u
nico divisor vreduzido D0 tal que D0 D.
Prova. Para P V , seja d(P ) a dist
ancia entre P e v (o mnimo dentre os comprimentos dos caminhos ligando P a v) e d = maxP V d(P ).
Definimos para cada 0 k d o conjunto Sk := {P V | d(P ) = k}.
Consideremos os vetores
!
X
X
X
1 (D) =
D(P ),
D(P ), . . . ,
D(P )
P Sd
D(P ) < 0
P Sd1
D(P ) < 0
P S1
D(P ) < 0
!
2 (D) =
D(P ),
D(P ), . . . ,
P S1
P S0
D(P ) .
P Sd
Substituindo D por um divisor linearmente equivalente se necessario,

podemos considerar, sem perda de generalidade, que
1 (D) = max
(D0 )
0
D D
2 (D) =
max
D0 D
1 (D 0 ) = 1 (D)
2 (D0 ),
onde o m
aximo e realizado seguindo a ordem lexicografica nos vetores. Vamos mostrar que o divisor D assim construdo e o divisor
vreduzido que procuramos.
Suponha que D(P ) < 0 para algum vertice P 6= v. Seja P 0
um vertice adjacente a P tal que d(P 0 ) < d(P ) e tome a funcao
caracterstica {P 0 } ({P 0 } (P 0 ) = 1 e {P 0 } (Q) = 0 para Q 6= P 0 ).
Construmos ent
ao o divisor
X
D0 = D + ({P 0 } ) = D +
Q val (P 0 )P 0 ,
{P 0 ,Q}EP 0
ou seja, adicionamos a D os vertices adjacentes a P 0 e o proprio

P 0 contado val (P 0 ) vezes. Temos ent
ao D0 D e a funcao D0 e
0
0
tal que D (P ) > D(P ) e D (Q) D(Q) para todo Q satisfazendo
d(Q) d(P ). Disso segue que 1 (D0 ) > 1 (D), contradizendo a escolha de D. Logo, D(P ) 0 para todo P V \ {v}.
65
[SEC. 6.4: TEOREMA DE RIEMANNROCH PARA ZGRAFOS
Suponha agora que para algum subconjunto nao vazio A V \{v}

temos, para todo P A, D(P ) valext A (P ). Tomando a funcao
caracterstica de A, definimos o divisor
X
X
D0 = D+(A ) = D+
(val (Q)valext A (Q))Q
valext A (P )P,
Q6A
P A
ou seja, adicionamos cada um dos vertices fora de A adjacentes a

algum vertice em A e os vertices em A adjacentes a algum vertice
fora de A, com os coeficientes na express
ao acima. Definimos tambem
dA = minP A d(P ). Temos ent
ao D0 (Q) > D(Q) para todo Q V \A
e D0 (P ) = D(P ) valext A (P ) 0 para todo P A. Assim
1 (D0 ) = 0 = 1 (D). Tome um vertice P 0 que seja adjacente a
um vertice em A e d(P 0 ) < dA . Da segue que D0 (P 0 ) > D(P 0 )
e portanto 2 (D0 ) > 2 D, o que contradiz a escolha de D. Logo
D(P ) < valext A (P ) para todo P V \{v} e portanto D e vreduzido.
Resta mostrar que dois divisores vreduzidos nao podem ser linearmente equivalentes. Suponha por contradicao que D e D0 sao
vreduzidos distintos e D D0 . Seja f uma funcao racional tal
que D = D0 + (f ). Como f n
ao e constante, podemos supor que
f (Q) > f (v) para algum vertice Q. Seja A o conjunto dos vertices
para os quais f e maximal. Claramente v 6 A e para todo P A
temos
X
0 D(P ) = D0 (P )
(f (P ) f (Q)) D0 (P ) valext A (P )
{P,Q}EP
e portanto temos uma contradic

ao com o fato de D0 ser vreduzido.

Dada uma ordem total nos vertices de , definimos o divisor
X
=
(#{{P, Q} | Q P } 1)P.
P V
Temos gr = #E #V = g1. Alem disso nao e equivalente

a um divisor efetivo. De fato, seja D = + (f ) um divisor para
alguma func
ao racional f . Seja A o conjunto dos vertices para os
quais f e maximal e P o vertice minimal em A em relacao à ordem
66
. Isso significa que f (Q) f (P ) para todo Q V e se Q P ,

ent
ao f (Q) < f (P ). Portanto:
X
(f (P ) f (Q)) =
D(P ) = (#{{P, Q} | Q P } 1)
{P,Q}EP
= 1 +
(f (P ) f (Q)) +
{P, Q} EP
P Q
(f (P ) f (Q) + 1)
1,
{P, Q} EP
QP
o que mostra que D n

ao pode ser efetivo.
Relembrando a definic
ao do conjunto N (6.3), mostramos o
l.ordem
6.4.4. Lema. Para toda ordem total no conjunto de vertices de

, temos N .
t.ordem
6.4.5. Teorema. Para todo divisor D Div ocorre exatamente

uma dentre as seguintes situac
oes:
re(D) 0
re( D) 0 para alguma ordem total em V .
Prova. Escolha v1 V . Pela proposic
ao 6.4.3, trocamos D pelo
divisor v1 reduzido em sua classe de equivalencia linear. Definimos
v2 , . . . , v#V indutivamente como segue: se v1 , . . . , vk1 estao definidos, seja Ak = V {v1 , . . . , vk1 } e vk Ak um vertice tal que
D(vk ) < valext Ak (vk ). Seja a ordem total tal que vi vj se, e
somente se, i < j. Para cada 1 k #V temos
D(vk ) valext Ak (vk ) 1 =
=
#{{vk , vj } E | j < k} 1 =
= (vk ).
Se D(v0 ) 0, ent
ao D 0 temos re(D) 0. Se, por outro lado,
ao D e ent
ao re( D) 0. Finalmente, se
D(v0 ) 1, ent
re(D), re( D) 0, ent
ao 0 pelo lema 6.2.1, contradizendo o
lema 6.4.4.
[SEC. 6.5: RIEMANNROCH PARA QGRAFOS
c.ordem
.zponto.ciclo
67
6.4.6. Corol
ario. Um divisor D Div de grau g 1 pertence
a N se, e somente se, existe uma ordem total em V para a qual
D .
Enfim podemos demonstrar RR para Zgrafos (6.4.1):
Prova. Pelo teorema 6.2.2, basta verificar as condicoes de Riemann
Roch.
(RR1):
Seja D Div e suponha que re(D) 0. Entao, para todo N
temos re(D ) = 1 de onde segue (RR1). Se re(D) < 0, entao, pelo
teorema 6.4.5, para alguma ordem total temos re( D). Como,
ao (RR1).
pelo lema 6.4.4, N , segue a condic
(RR2):
suficiente mostrar que para todo D N vale K D N . Pelo
E
corol
ario 6.4.6, temos D para alguma ordem total em V . Seja
a ordem total em V definida por P Q Q P e o divisor
associado. Para todo P V temos
(P ) + (P )
(#{{P, Q} EP | Q P } 1) +
+ (#{{P, Q} EP | Q P } 1) =
= val P 2 = K(P ).
Portanto K D K = N .
6.5
RiemannRoch para Qgrafos
Precisamos de mais alguns lemas.

6.5.1. Lema. Seja D um Zdivisor em um Zgrafo , e seja (f, P1 ,
. . . , Pn ) S(D). Considere que algum Pi n
ao e um Zponto. Ent
ao,
em todo ciclo de contendo Pi h
a outro ponto Pj (com i 6= j) que
tambem n
ao e um Zponto.
68
Prova. Seja C um ciclo contendo um u

nico zero simples P := Pi
\Z (se n
ao for simples, o lema j
a est
a demonstrado, uma vez que os
ao s
ao necessariamente distintos). Consideramos
pontos P1 , . . . , Pn n
o ciclo C como sendo o intervalo [0, `(C)] com as extremidades identificadas e coincidindo com um vertice e tomamos x {1, . . . , `(C)} o
inteiro tal que P (x 1, x) nessa identificacao. Podemos considerar
que f (x 1) e inteiro, adicionando a f uma constante se necessario.
Assim, como a inclinac
ao no intervalo [x 1, P ] difere da inclinacao
em [P, x] em uma unidade (pois P e um zero simples), conclumos que
f (x) n
ao pode ser inteiro. Por hip
otese, todos os outros pontos de nao
diferenciabilidade de f em C s
ao Zpontos, de onde segue que f (Q)
e inteiro para Q = 0, . . . , x 1 e n
ao inteiro para Q = x, . . . , `(C),
em particular f (0) 6= f (`(C)), contrariando a continuidade de f .
l.R.wtR
6.5.2. Lema. Para todo Zdivisor D em um Zgrafo com R(D) 6=

e
, temos R(D)
6= .
Prova. Prova por induc
ao em n := gr D 0.
Se R(D) 6= , podemos tomar func
ao racional f tal que (f ) + D =
e
P1 + + Pn . Se n = 0, temos (f ) = D e portanto f R(D).
Agora suponha que o resultado e v
alido para todo divisor com grau
menor que n > 0.
Se algum Pi e um Zponto, ent
ao f R(D Pi ) e por hipotese
e Pi ) 6= . Como R(D
e Pi ) R(D),
e
conclumos que R(D
segue que
e
R(D) 6= .
Agora consideramos o caso onde nenhum Pi e Zponto. Sem
perda de generalidade, suponha que Pn e o ponto mais proximo de
um Zponto de , ou seja, 0 < d(Pn , Z ) d(Pi , Z) para todo i =
1, . . . , n. Seja P Z um ponto que realiza a distancia d := d(Pn , Z )
e 0 a componente conexa de \ {P1 , . . . , Pn } contendo P . Definimos
ent
ao a func
ao racional h : R por

min(d, d(Q, {P1 , . . . , Pn })), Q 0
h(Q) =
0, caso contr
ario.
Vamos agora descrever os zeros e p
olos dessa funcao. Observe que os
pontos de n
ao diferenciabilidade de h ocorrem nos pontos Pi e nos
[SEC. 6.5: RIEMANNROCH PARA QGRAFOS
69
pontos que distam d unidades desses. Para um ponto Q a distancia d

de algum Pi , temos que no segmento de Q a Pn a funcao h e crescente
com inclinacao 1 e no segmento antes de Q a funcao e constante
igual a d, e portanto, com inclinac
ao nula. Assim, esses pontos
s
ao zeros da func
ao h. J
a para os Pi a inclinacao pode ser 1 (nos
segmentos que os ligam aos zeros descritos acima), ou 0, caso em
a na fronteira de 0 . Em particular os polos de h tem no
que Pi est
m
aximo ordem 2, uma vez que estamos supondo que os Pi nao sao
Zpontos, em particular, n
ao est
ao em vertices de .
Afirmamos que f + h R(D P ), ou seja,
(f ) + (h) + D P = (h) + P1 + + Pn P 0.
Se isso n
ao fosse verdade, existiria Q com coeficiente negativo
no divisor (h) + P1 + + Pn P . Primeiramente, descartamos
a possibilidade de termos Q igual a P , pois vale ord P h 1 pela
caracterizac
ao dos zeros de h descrita no paragrafo anterior. Assim,
Q deve ser um p
olo de h, ou seja, deve coincidir com algum Pi . Mas
isso s
o e possvel se Q e o u
nico p
olo de h com ordem 2. Assim, como
0 e conexo, 0 contem os dois segmentos adjacentes a Q e portanto
0 {Q} contem um ciclo onde Q e o u
nico ponto de (f ) + D que nao
e um Zponto, contrariando o lema anterior.
Ent
ao, como f +h R(D P ), pela hipotese de inducao podemos
e P ) 6= e portanto R(D)
e
concluir que R(D
6= .
d.reescala
6.5.3. Defini
c
ao. Dado um grafo metrico (, `) e um real positivo
, a mudanca de escala de por e o grafo metrico possuindo
a mesma combinat
oria de , mas no qual cada aresta e de e substituda por uma aresta de comprimento `(e).
o.reescala
6.5.4. Observa
c
ao. Note que todo divisor em corresponde a um
divisor em obtido por mudanca de escala da posicao dos pontos.
Tambem, a cada func
ao racional de associamos uma funcao racional
em mudando de escala os valores da funcao. Em particular, o
n
umero r(D) permanece constante por mudancas de escala. Porem,
para um Zgrafo, mudancas de escala podem alterar o valor de re(D),
pois s
ao acrescentados novos Zpontos.
70
p.reescala
6.5.5. Proposi
c
ao. Seja D um Zdivisor em um Zgrafo . Entao
existe um inteiro N 1 tal que r(D) = re(D) em toda mudanca de
escala de por um inteiro m
ultiplo de N .
Prova. re(D) r(D): basta observar que R(D P1 Pr(D) ) 6=
para qualquer escolha de Zpontos P1 , . . . , Pr(D) , por definicao, e
e P1 Pr(D) ) 6= . O resultado
pelo lema 6.5.2 segue que R(D
e v
alido para qualquer mudanca de escala.
re(D) r(D): Seja n := gr D e m := r(D) + 1 e vamos dividir em
dois casos.
Primeiramente, se n < m vale re(D) n m 1 = r(D), para
qualquer mudanca de escala.
Para n m, considere o mapa m : S(D) r , como definido
na observac
ao 6.3.11. Esse e um morfismo de complexos poliedrais,
e portanto sua imagem e fechada. Tambem, por definicao, m nao
e sobrejetor. Desse modo existe (P1 , . . . , Pm ) r \ m (S(D)) com
coordenadas racionais. Por construc
ao, temos S(D P1 Pm ) =
.
Agora tome N o mnimo m
ultiplo comum dos denominadores das
coordenadas dos pontos Pi . Assim, mudando a escala de por qualquer m
ultiplo de N , os pontos Pi passam a ser Zpontos nesse novo
e
grafo. Pela observac
ao 6.3.3, conclumos que S(DP
1 Pm ) = .
Por definic
ao, isso significa que re(D) m 1 = r(D) para essas mudancas de escala.

Agora podemos enunciar e demonstrar o
c.RRQ
6.5.6. Corol
ario.[RiemannRoch para Qgrafos] Seja D um Q
divisor em um Qgrafo de genero g. Ent
ao
r(D) r(K D) = gr D + 1 g.
Prova. Pela observac
ao 6.5.4, e suficiente provar essa afirmacao em
uma mudanca de escala de .
Como o grafo possui um n
umero finito de arestas e o divisor D
tem como suporte um n
umero finito de pontos, atraves de uma mudanca de escala, podemos considerar como um Zgrafo de arestas
[SEC. 6.6: RIEMANNROCH PARA CURVAS TROPICAIS GENERALIZADAS
71
maiores que 1 e D como um Zdivisor. Usando o lema 6.5.5, realizamos possivelmente mais duas mudancas de escala, para obter que
r(D) = re(D) e r(K D) = re(K D). O corolario segue entao do
teorema de RiemannRoch para Zgrafos.
6.6
RiemannRoch para curvas tropicais

generalizadas
Vamos agora estender o resultado para grafos metricos quaisquer.
p.RRM
6.6.1. Proposi
c
ao. Seja D um divisor em um grafo metrico de
genero g. Ent
ao
r(D) r(K D) = gr D + 1 g.
Prova. Seja D = a1 Q1 + + am Qm , com gr D = n. A ideia e

encontrar um Q-grafo 0 pr
oximo de com um divisor D0 tal que
0
0
0
0
r (D ) = r (D) e r (K D0 ) = r (K D) e aplicar RR para
Qgrafos 6.5.6.
Para isso vamos definir uma vers
ao relativa do espaco S(D) de
interpretar a quantidade r(D) atraves desse novo espaco. Fixamos
Q>0 menor que todos comprimentos das arestas de e denotamos por A() o conjunto de todos os grafos metricos do mesmo tipo
combinat
orio de e cujas arestas tem comprimento maior ou igual
a . Para um grafo metrico 0 A() denotamos por B(0 ) o conjunto de todos divisores em 0 escritos da forma a1 Q01 + + am Q0m
para pontos Q01 , . . . , Q0m 0 e a1 , . . . , am como em D. Com essas
notac
oes definimos
72
:= {(0 , D0 , f, P1 , . . . , Pn ) | 0 A(), D0 B(0 ),

(f, P1 , . . . , Pn ) S0 (D0 )},
Mi
:= {(0 , D0 , P1 , . . . , Pn ) | 0 A(), D0 B(0 ),

P1 , . . . , Pn 0 },
para i = 0, . . . , n
:= {(0 , D0 ) | 0 A(), D0 B(0 )}.
Esses espacos tambem s

ao complexos poliedrais, o que segue de
argumentos semelhantes aos apresentados na demonstracao de 6.3.6,
acrescentando-se novos dados, a saber:
(discreto) vertices ou arestas de 0 nos quais os pontos de D0
est
ao;
(contnuo) comprimento das arestas de 0 e posicao dos pontos
de D0 nas arestas correspondentes.
Temos morfismos de complexos poliedrais naturais entre esses complexos:
i : S M i ,
(0 , D0 , f, P1 , . . . , Pn ) 7 (0 , D0 , P1 , . . . , Pi )
e
pi : Mi M,
(0 , D0 , P1 , . . . , Pi ) 7 (0 , D0 ).
Temos que r0 (D0 ) i para um divisor D0 B(0 ) num grafo

metrico 0 A() se, e somente se, i (S) contem (0 , D0 , P1 , . . . , Pi )
para toda escolha de pontos P1 , . . . , Pi 0 . Isso ainda e equivalente
a dizer que (0 , D0 ) M \ pi (M \ i (S)).
Sendo S um complexo poliedral e i um morfismo de complexos
poliedrais, temos que i (S) e fechado em Mi , ou seja, e uniao de poliedros fechados. Conseq
uentemente, Mi \ i (S) e uniao de poliedros
abertos (isto e, um subconjunto aberto de Mi cuja intersecao com
ao de espacos dados por um
cada poliedro de Mi e escrita como uni
n
umero finito de inequac
oes lineares estritas).
Agora, observemos que os mapas pi s
ao abertos por serem localmente projecoes lineares. Segue ent
ao que pi (Mi \ i (S)), o lugar em
73
M de todos (0 , D0 ) com r0 (D0 ) < i tambem e uniao de poliedros

abertos. Portanto, seu complemento M \ pi (Mi \ i (S)), isto e, o
lugar em M de todos (0 , D0 ) com r0 (D0 ) i, e uniao de poliedros
fechados. Finalmente, observe que todos morfismos construdos sao
definidos sobre Q, de tal modo que o lugar de todos (0 , D0 ) com
r0 (D0 ) i (e respectivamente, r0 (D0 ) < i) sao de fato uniao de poliedros fechados (respectivamente, abertos) racionais em M . Os mesmos argumentos e conclus
oes continuam valendo para r0 (K0 D0 ).
Da discuss
ao acima, conclumos que o conjunto de todos (0 , D0 )
0
com r0 (D ) < r (D) + 1 e r0 (K0 D0 ) < rK D (D) + 1 e uma
vizinhanca aberta U de (, D). Por outro lado, o conjunto de todos
(0 , D0 ) com r0 (D0 ) r (D) e r0 (K0 D0 ) r (K D) e uniao
V de poliedros fechados racionais. Em particular, os pontos racionais
de V s
ao densos em V . Como U V n
ao e vazio (pois contem (, D)),
segue que h
a um ponto racional em U V : um Qgrafo 0 com um
Qdivisor D0 tal que r0 (D0 ) = r (D) e r0 (K0 D0 ) = r (K D).
Como e tem o mesmo genero (pois tem a mesma combinatoria)
e D e D0 tem o mesmo grau (por construcao), a proposicao segue do

corol
ario 6.5.6.
Para mostrar RR para uma curva tropical generalizada, vamos
usar basicamente a noc
ao de equivalencia linear de divisores. Relembrando: D D existe func
ao racional f tal que D0 = D + (f ).
l.equi.trop
6.6.2. Lema. Seja uma curva tropical e seja o grafo metrico

obtido de removendo todas suas arestas ilimitadas. Ent
ao todo
divisor D Div e equivalente em a um divisor D0 com supp D0
. Alem disso, se D e efetivo, ent
ao D0 tambem pode ser tomado
efetivo.
Prova. Para cada ponto P associamos uma funcao racional fP
como segue. Se P , fazemos fP 0. Caso contrario, P esta em
alguma aresta ilimitada e e ent
ao definimos
fP :
Q 7
R {}

min(d(P, ), d(Q, )), Q e
0,
c.c.
Para P
/ , a func
ao fP tem um p
olo simples em P e nenhum
74
outro zero ou p
olo fora de .
Se D = a1 P1 + + an Pn e definirmos f = a1 fP1 + + an fPn ,
ent
ao D+(f ) e um divisor equivalente a D sem zeros e polos fora de .
Alem disso, se D e efetivo, D + (f ) tambem e, pois, pela construcao,
todos p
olos de f s
ao cancelados por D.
o.div.can
6.6.3. Observa
c
ao. Usando a func
ao construda no lema anterior,
podemos mostrar que os divisores can
onicos de e sao equivalentes.
De fato, se PiP
denota o ponto de extremidade de da aresta ilimitada
ei , seja f = i fPi . Ent
ao f e nula no grafo e tem inclinacao 1
em cada aresta
ilimitada.
Se Qi e o vertice determinado por ei ,
P
P
ent
ao (f ) = Qi Pi , e portanto vale K + (f ) = K .
l.RbarR
6.6.4. Lema. Seja uma curva tropical e seja o grafo metrico

obtido de removendo todas suas arestas ilimitadas. Dado um divisor
D em (que pode ser pensado como um divisor de com suporte em
), temos R (D) 6= se, e somente se, R (D) 6= .
Prova. Seja f R (D). Estendemos essa funcao a uma funcao
racional f que e constante em cada aresta ilimitada. Desse modo
temos f R (D).
Agora tome f R (D) e faca f = f | . Seja e uma aresta ilimitada de e P = e o vertice de onde e esta conectado. Como f
n
ao tem p
olos em e, segue que f |e e n
ao crescente em e (identificando
e com o intervalo [0, ]). Assim, se e 0 e a inclinacao de sada em
P na aresta e, temos ord P f = ord P f +e , de onde segue f R (D).
o.RbarR
6.6.5. Observa
c
ao. Pelo lema 6.6.2 qualquer divisor efetivo P1 +
+ Pk em e equivalente a um divisor efetivo P10 + + Pk0 com
umero r pode ser pensado como o maior
suporte em . Assim, o n
inteiro k tal que R (D P1 Pk ) 6= para todos P1 , . . . , Pk em
(ao inves de P1 , . . . , Pk em ). Pelo lema 6.6.4 conclumos entao
que r (D) = r (D).
Finalmente temos o
75
6.6.6. Corol
ario. Seja D um divisor em uma curva tropical (generalizada) de genero g. Ent
ao
r(D) r(K D) = gr D + 1 g.
Prova. Seja o grafo metrico obtido de retirando-se as arestas
ilimitadas. Pelo lema 6.6.2 e pela observacao anterior, consideramos
supp D . Alem disso, lembrando 6.6.3 podemos substituir K
por K (que tambem tem suporte em ) na formula de Riemann
Roch. Finalmente, pela observac
ao 6.6.5 podemos substituir r (D)
e r (K D) por r (D) e r (K D), o que reduz nosso problema
ao caso de um grafo metrico. Mas aqui podemos usar a proposicao
6.6.1.
Ap
endice A
Grafos
d.grafo
grafo.metrico
A.1. Defini
c
ao. Um grafo e um par (V, E), onde:
V e um conjunto e seus elementos s
ao chamados de vertices.
E e um multiconjunto (ou seja, permite repeticao dos elementos
- ou atribuic
ao de multiplicidade) cujos elementos sao pares
n
ao ordenados de vertices. Esses elementos sao chamados de
arestas.
Um grafo e geometricamente representado como um conjunto de
pontos (vertices) ligados por curvas (arestas).
Dizemos que o vertices v, w V s
ao adjacentes em se {v, w}
E. Uma aresta do tipo {v, v}, ou seja, conectando um vertice a ele
mesmo, e dita ser um laco. Se V e E s
ao finitos, dizemos que G e um
grafo finito. O n
umero de vertices #V e chamado ordem do grafo e
o n
umero de arestas #E e seu tamanho.
A valencia de um vertice v e o n
umero de arestas que o conectam
a outros vertices, sendo que os lacos s
ao contados duas vezes. Em
smbolos: val (v) = #{{v, w} | {v, w} E}.
A.2. Defini
c
ao. Um grafo metrico e um par (, `) formado por um
grafo e uma func
ao ` : E R>0 . Para cada e E, o valor `(e)
e chamado o comprimento da aresta e e a funcao ` e chamada de
func
ao comprimento.
76
77
Dado um grafo metrico = {V (), E(), `}, identificamos o conjunto de vertices a um conjunto discreto de pontos 0 e cada aresta
ei e associada ao intervalo fechado da reta [0, `(ei )]. O grafo como
espaco topol
ogico e ent
ao a uni
ao disjunta
0
#E
G
[0, `(ei )]
i=1
m
odulo a identificac
ao das extremidades dos intervalos com pontos
de 0 , de acordo com as adjacencias estabelecidas pelas arestas do
grafo .
Como um objeto mergulhado em Rn , o grafo recebe a topologia
induzida desse espaco, que coincide com a topologia descrita acima.
Alem disso, uma metrica intrnseca e induzida no grafo pela metrica
dos intervalos [0, `(e)] e portanto independe de como o grafo e mergulhado em Rn .
d.ZQ.grafo
A.3. Defini
c
ao. Um Zgrafo (Qgrafo) e um grafo metrico (, `)
cujas arestas tem comprimento inteiro (racional). Os pontos com
dist
ancia inteira (racional) a partir dos vertices sao chamados de Z
pontos (Qpontos) e o conjunto desses pontos e denotado por Z
(Q ).
.genero.grafo
A.4. Defini
c
ao. O genero de um grafo , denotado por g (ou
apenas g, quando o grafo em quest
ao est
a fixado), e definido como
sendo o primeiro n
umero de Betti, ou seja
g = #E() #V () + n
onde n e o n
umero de componentes conexas de .
A.5. Observa
c
ao. Intuitivamente, o primeiro n
umero de Betti representa o m
aximo de cortes que se pode fazer num grafo sem criar
mais componentes conexas. Esse n
umero coincide com a intuicao de
genero, que seria o n
umero de buracos do espaco topologico.
Estendemos agora a definic
ao de grafos metricos de modo a abranger grafos com arestas ilimitadas:
78
curvagen
[CAP. A: GRAFOS
A.6. Defini
c
ao. Uma curva tropical generalizada e um grafo metrico
(, `) em que a func
ao comprimento tem como contradomnio o con` arestas de comprimento damos o nome de
junto R>0 {}. As
arestas ilimitadas. Cada aresta ilimitada possui uma extremidade
ligada a um vertice de valencia igual a 1, chamado extremidade do
grafo .
A.7. Observa
c
ao.
(a) Quanto `
a topologia desses conjuntos, as arestas ilimitadas sao
associadas ao intervalo [0, ] = R>0 {} e o vertice que e extremidade do grafo corresponde `
a extremidade do intervalo.
(b) O n
umero ciclom
atico, e portanto o genero de uma curva tropical generalizada, e definido pela mesma formula. Tendo em
vista que para cada aresta ilimitada existe um vertice de valencia
1, o n
umero ciclom
atico de uma curva tropical generalizada
coincide com o n
umero ciclom
atico de sua parte finita, ou seja,
o subgrafo formado somente pelos vertices e arestas finitas.
Ap
endice B
Breve hist
orico
... In other words, idempotent mathematics is an asymptotic version of the traditional
mathematics over the fields of real and complex numbers.[8]
A terminologia tropical e devida a Dominique Perrin, professor de Ciencia da Computac
ao do Institut delectronique et dinformatique Gaspard-Monge, em homenagem ao matematico brasileiro Imre
Simon (IME-USP).
O Prof. Simon foi pioneiro na utilizac
ao da estrutura de semi-anel
definida em N {} para tratar de quest
oes relativas a automatas.
Como costuma acontecer com muitas ideias matematicas interessantes, uma manifestac
ao do semi-corpo tropical apareceu tambem na
Fsica Qu
antica. Em linhas gerais, fixe h R, h > 0 e imagine a mudanca de vari
aveis x
u = h ln x. Defina a aplicacao h : R+ T.
Transportamos as operac
oes de soma e produto de R para T usando
h , i.e.,
u h v = h ln(exp(u/h) + exp(v/h)
u h v = u + v, 0 = = h (0), 1 = 0 = h (1).
Note que limh0 u h v = max{u, v}. Em Fsica, h desempenha
o papel da constante de Planck. Assim, T e interpretado como a
dequantizac
ao. Para mais referencias desse calibre, veja [8].
79
80
[CAP. B: BREVE HISTORICO
A noc
ao de curva algebrica tropical resulta da necessidade de lidar com invariantes discretos e explorar estruturas combinatorias.
O aluno que j
a viu o conceito de espaco topologico sabe que informac
oes importantes podem ser codificadas pelo grupo fundamental. Isso j
a permite, por exemplo, mostrar que R2 nao e homeomorfo
2
a R \ {(0, 0)}.
Grosso modo, curvas tropicais s
ao os parceiros combinatorios das
curvas algebricas cl
assicas.
Refer
encias
Bibliogr
aficas
BN
[1] M. Baker & S. Norine,Riemann-Roch and Abel-Jacobi theory on

a finite graph, Adv. Math. 215 (2007), no. 2, 766788. arXiv
math.CO/0608360. (document), 6.1
GMB
[2] George M. Bergman, The logarithmic limit-set of an algebraic

variety, Trans. Amer. Math. Soc. 157 (1971), 459469. 2.1
Ellis
[3] A. Ellis, Classification of conics in the tropical projective plane,

dissertac
ao de mestrado, Brigham Young University, 2005. 31
fultinho
[4] W. Fulton,
ALGEBRAIC CURVES, An Introduction
to Algebraic Geometry,
reed. 2008,
disponvel em
http://www.math.lsa.umich.edu/ewfulton/CurveBook.pdf
4.1, 6.1
gat
[5] A. Gathmann, Tropical algebraic geometry Jahresber. Deutsch.

Math.-Verein. 108 (2006), no. 1, 332. (document)
gathkerber
[6] A. Gathmann & M. Kerber, A Riemann-Roch theorem in tropical

geometry Math. Z. 259 (2008), no. 1, 217230.
kapr
[7] M. Einsiedler, M. Kapranov & D. Lind, Non-Archimedean amoebas and tropical varieties, J. Reine Angew. Math. 601 (2006),
139157. 6.1
81
82
REFERENCIAS
BIBLIOGRAFICAS
litvinov
[8] G. L. Litvinov, The Maslov dequantization, idempotent and tropical mathematics: a brief introduction. arXiv:math/0507014
J. Math. Sci. (N. Y.) 140 (2007), no. 3, 426444. 2.5.1, 2.5
mik1
[9] G. Mikhalkin, Enumerative tropical algebraic geometry in R2 ,

http://arxiv.org/abs/math/0312530v4, J. Amer. Math. Soc. 18
(2005), no. 2, 313377.
mik2
[10]
The book project for the Clay Mathematical Institute, http://www.math.toronto.edu/mikha/book.pdf B
vigeland
[11] M. D. Vigeland, The group law on a tropical elliptic curve,

http://arxiv.org/abs/math/0411485v1, 2004. (a aparecer em
Math. Scand.) (document), 3.4.4
vin
[12] V. G. Ramos, Curvas Algebricas e Geometria Tropical, dissertac

ao de mestrado, UFRJ, 2007. (document)
5.2, 5.4
rst
[13] J. Richter-Gebert, B. Sturmfels & T. Theobald, First Steps in

Tropical Geometry, Idempotent mathematics and mathematical
physics, 289317, Contemp. Math., 377, Amer. Math. Soc., Providence, RI, 2005. (document)
iv
[14] I. Vainsencher, Introduc

ao `
as curvas algebricas planas,Colecao
Matem
atica Universit
aria, IMPA / SBM, 160 p., 2005.
Indice Remissivo
ameba, 12
tracos de, 13
aresta, 76
comprimento de, 76
ilimitadas, 78
abstrato, 49
canonico, 50, 53
efetivo, 42
espaco de funcoes de, 55
grau de, 42
linearmente equivalente, 43
principal, 43
Bezout
cl
assico, 35
tropical, 36
balanceamento, 28
dual
polgono, 29
subdivisao, 25
c
onica tropical, 10, 27
degenerada, 10
lisa, 33
singular, 34
coerente
subdivis
ao, 23
combinat
orio
tipo, 26
comprimento reticulado, 28
curva tropical
generalizada, 53, 78
grau de, 30
lisa, 30
n
ao singular, 30
equilbrio
condicao de, 28
espaco de funcoes
de um divisor, 55
est
avel
intersecao, 39
extremidade, 78
func
ao
convexa, 18
linear por partes, 18, 54
racional, 53
racional, zero de, 54
genero, 31
de grafo, 77
geral, 9
grafo, 76
dist
ancia
reticulada orientada, 45
divisor, 42
83
84
INDICE REMISSIVO
balanceado, 29
finito, 76
metrico, 76
mergulhado, 19
grau
de divisor, 42
intersec
ao
est
avel, 39
levantamento
mapa de, 23
liberdade
graus de, 9
Minkowsky
soma de, 41
mon
omio tropical, 18
multiplicidade
de aresta, 28
de intersec
ao, 36
de vertice, 29
ordem
de func
ao racional, 54
p
olo, 54, 56
cl
assico, 48
peso
de aresta, 28
polgono de Newton, 23
polin
omio tropical
grau de, 30
polin
omio tropical, 16
primitivo
vetor, 28, 34
racional
grafo, 29
reta tropical, 8, 32, 57

intersecao de 2, 9
por 2 pontos, 9
series de Puiseux, 13
semi-corpo, 16
sistema linear
abstrato, 49
classico, 48
sonho
de alunos, 16
subdivisao, 23, 43
convexa, 23, 24
dual, 25, 26
superfcie tropical, 20
suporte
de um polinomio, 17
total, 30, 43
tens
ao nula, 28
tent
aculo, 44
tipo combinatorio, 26
tropicalizacao, 21, 22
vertice, 76
adjacente, 76
valencia, 76
valorizacao, 14
vetor primitivo, 34
zero e polo
de funcao racional, 54
INDICE REMISSIVO
4.1
85

Corrigido1 PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Corrigido1 PDF

Caricato da

Copyright:

Formati disponibili

Introducao `as Curvas Tropicais Planas

Aos meus pais Suely e M

A geometria tropical e a geometria algebrica sobre a algebra

[SEC. 1.1: RETA TROPICAL

O primeiro requerimento e simples de atender: pela definicao

Exerccio 1. Para quais posic

Figura 1.3: Intersec

Formalizaremos essas afirmac

[CAP. 1: BEM-VINDO AO PLANO TROPICAL!

Exerccio 2. Para quais posic

Aproveitando nosso conhecimento sobre retas tropicais, um primeiro exemplo de c

Exerccio 4. Quantos graus de liberdade admite uma c

Amebas e o mapa tropical

Dada uma curva algebrica plana C em C2 , o conjunto imagem

[SEC. 2.1: AMEBAS E O MAPA TROPICAL

Formalmente, consideremos agora os mapas

log |z1 | log |z2 |

onde a base do logaritmo passa a ser um real arbitrario t > 0. A

relativamente antiga cf. [2], o leitor h

Mas vale lembrar que estamos em uma Escola de Algebra!

[CAP. 2: CURVAS TROPICAIS

Laurent. Concretamente, cada elemento a K e uma serie formal

o conjunto dos denominadores e finito.

Assim, dada uma curva C no plano afim K 2 , podemos mapea-la

[SEC. 2.2: O SEMI-CORPO TROPICAL

Lembrando a troca de sinal convencionada na aplicacao Trop , note

Considere o conjunto dos n

Com essas operac

[CAP. 2: CURVAS TROPICAIS

[SEC. 2.3: POLINOMIOS

onde aj T e J e um subconjunto finito de Zn0 ; por simplicidade

O mais importante e que esse conjunto apresenta uma estrutura de

[CAP. 2: CURVAS TROPICAIS

onde f T[x1 , . . . , xn ]. A adic

Exerccio 12. Mostre que os polin

Curvas tropicais planas

onde j = (j1 , j2 ) J Z20 , J finito.

[SEC. 2.4: CURVAS TROPICAIS PLANAS

ou mais de suas faces. Assim, equivalentemente, T (f ) e o fecho em

[CAP. 2: CURVAS TROPICAIS

Generalizando, mostre que, para qualquer polin

[SEC. 2.5: CURVAS ALGEBRICAS

Figura 2.5: G(f ) {z = }

Vamos usar a valorizac

max{ix1 + jx2 v(aij ) | i, j N}.

2.5.1. Teorema. [Kapranov [7]] Seja C = V(f ) uma curva algebrica

[CAP. 2: CURVAS TROPICAIS

enviando cada ponto inteiro do polgono de Newton f no oposto do

Figura 3.1: Subdivis

coeficiente de f correspondente. Construmos o conjunto

[SEC. 3.1: POLIGONO DE NEWTON

Considere agora o fecho topol

serve que para todo u T2 existe tal que u Vf , a saber,

= {j} para algum j J. Os conjuntos da forma Vf , j J,

| j J} forma uma subdivisao convexa de T2 .

se 0 corresponde a 0 em T , entao 0 (ha inversao na

Dada um curva tropical T (F ), as subdivis

Subdivf do polgono de Newton f e {Vf

Em suma: os vertices de T (f ) correspondem aos polgonos de

Observe que, por construc

lineares de definem Vf tem como coeficientes justamente os pontos

Advertimos que essa construc

3.1.4. Exemplo. Dado um polin