USP Conjectura Jacobiana

Introduo ` conjectura Jacobiana ca a Ligao com campos de vetores ca Dependncia Linear e Invariantes e
Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.
IMEUSP
Introduo ca Ligao com o caso real ca Outra equivalncia interessante e Redues de grau co
Seja f : Cn Cn tal que f tem inversa global. Ento f (x) = 0 a n. para todo x C
Keller (1939): Toda aplicao f : Cn Cn , tal que cada componente fi um ca e polinmio de Cn em C de coecientes inteiros e de determinante o Jacobiano identicamente 1, possui uma inversa g : Cn Cn de mesmas propriedades?
E equivalente ` mesma questo com os coecientes das a a componentes polinomiais de f em C.
Uma aplicao f : Cn Cn polinomial, i.e., sendo cada funo ca ca coordenada fi um polinmio complexo em x1 , . . . , xn com o coecientes em C, tal que det f (x) 1 ser chamada de a aplicao de Keller. ca
Conjectura Jacobiana (de Keller) [CJ(n)] Se f : Cn Cn uma aplicao de Keller, ento f invers e ca a e vel.
Quando f linear sabemos que f invers se, e somente se, f e e vel e injetora. Para aplicaes polinomiais provada por Bialynicki-Birula e co e Rosenlicht, e uma demonstrao mais acess foi feita por Rudin. ca vel
Teorema Se f : Cn Cn uma aplicao polinomial e f injetora, ento e ca e a f (Cn ) = Cn e f 1 : Cn Cn uma aplicao polinomial. e ca
Conjectura Se f : Cn Cn uma aplicao de Keller, ento f injetora. e ca a e
A Conjectura Jacobiana est em aberto para todo n 2. a Diversos casos particulares so conhecidos, e algumas a demonstraes chegaram a ser publicadas ao longo do tempo. co
Acreditar ou no na Conjectura Jacobiana? a
Conjectura Jacobiana Real [CJR(n)] Se f : Rn Rn uma aplicao polinomial de determinante e ca Jacobiano no nulo para todo x Rn , ento f invers a a e vel.
Neste caso pede-se somente que o determinante Jacobiano seja no nulo e no constante. a a No caso complexo ambas as formulaes so equivalentes, pois se o co a determinante no nulo para todo x Cn , ento ele constante. e a a e
E claro que CJR(2n) = CJ(n) pois se f : Cn Cn uma e aplicao de Keller, fcil ver que ca e a F := (Re(f1 ), Im(f1 ), Re(f2 ), Im(f2 ), . . . , Re(fn ), Im(fn )) uma e aplicao polinomial com det F (x) = | det f (x)|2 . Assim, se ca CJR(n) for verdadeira, conclu mos que F invers e vel, portanto injetora, de onde f trivialmente injetora. e
Entretanto, em 1994 Pinchuk deu o seguinte contra-exemplo para a Conjectura Jacobiana Real j com n = 2. a
Exemplo Sejam t = xy 1 h = t(xt + 1) h+1 m= (xt + 1)2 x u = 170mh + 91h2 + 195mh2 + 69h3 + 75h3 m + 75 4 h 4
Exemplo Considere a aplicao polinomial f : R2 R2 dada por ca f (x, y ) = (f1 (x, y ), f2 (x, y )) , onde f1 = m + h f2 = t 2 6th(h + 1) u .
Exemplo E um trabalho simples vericar que det f = t 2 + (t + f (13 + 15h))2 + f 2 , o qual estritamente e 2 , pois s pode ser 0 quando tanto t quanto f so 0. positivo em R o a 1 Entretanto, se t = 0 ento f = x = 0. Alm disso, temos que a e f (1, 0) = f (1, 2) e, portanto, f no injetora. a e
Conjectura Se f : Cn Cn uma aplicao polinomial e existem a, b Cn , ca com a = b tal que f (a) = f (b), ento existe z Cn tal que a det f (z) = 0.
Teorema Se f : Cn Cn uma aplicao de Keller e deg (f ) 2, ento f e ca a e invers vel.
Demonstrao: Basta mostrar que f injetora. Assim, ca e suponhamos por contradio que f (a) = f (b) para a, b Cn e ca a = b. E claro que podemos supor que b = 0, pois basta denirmos g (x) = f (x + a) f (a) e obtemos que deg(g ) 2, g (0) = 0 e sendo c = b a = 0 temos g (c) = 0. Notamos que g (x) = f (x + a) e assim det g C . Agora escreva g = g1 + g2 , sendo gi a componente homognea de e 2 g (c). Derivando em grau i de g , e considere g (tc) = tg1 (c) + t 2 t, obtemos g1 (c) + 2tg2 (c) = d g (tc) = g (tc).c = 0 dt
para todo t C. Substituindo em t = 1 , obtemos g (c) = 0, uma 2 contradio. Assim, f injetora. ca e

Ricardo dos Santos Freire Jr. Invariantes e a Conjectura Jacobiana
Pode=se mostrar que a Conjectura Jacobiana verdadeira para e todo n 2 se ela for verdadeira para uma classe espec ca de aplicaes de Keller de grau 3! co
Uma dessas classes interesssantes a das chamadas aplicaes de e co Yagzhev ou aplicaes cbica-homogneas, que foram introduzidas co u e por Yagzhev e, independentemente, por Bass, Connell e Wright.
Tratam-se das aplicaes f : Cn Cn da seguinte forma co f (x) = x g (x) , tal que det f (x) = 1 para todo x Cn ,
onde g : Cn Cn uma aplicao polinomial homognea de e ca e grau 3.
H ainda a importante subclasse de aplicaes cbica-lineares a co u introduzidas por Dru kowski onde alm de f (x) = x g (x) ser z e uma aplicao cbica-homognea como antes, temos que g dada ca u e e pelo cubo de uma aplicao linear, ou seja g (x) = (Ax)3 para ca alguma aplicao linear A : Cn Cn . ca
Como se prova?
A idia simplesmente pegarmos uma aplicao de Keller qualquer, e e ca em dimenso n, e a ela associarmos atravs de uma sequncia de a e e operaes simples, uma nova aplicao F , cbica-homognea, co ca u e tal que f injetora se, e somente se, F tambm for. e e Depois disso, podemos tambm construir uma funo F e ca cbica-linear com a mesma propriedade. u
Markus-Yamabe Conjectura polinomial fraca de Markus-Yamabe
Seja F : Rn Rn um campo de vetores C 1 com F (0) = 0. Diremos que F satisfaz a condio de Markus-Yamabe se para ca todo x Rn todos os autovalores de F (x) tenham parte real estritamente negativa.
Ainda, se cada soluo (t, x) do sistema x = F (x) com ca (0, x) = x tende para 0 com t , diremos que 0 um atrator e global.
Markus-Yamabe
Conjectura Se F : Rn Rn um campo de vetores C 1 com F (0) = 0 e satisfazendo a condio de Markus-Yamabe, ento 0 um atrator ca a e global para o sistema x = F (x).
Se esta conjectura fosse verdadeira, qualquer campo de vetores F : Rn Rn satisfazendo a condio de Markus-Yamabe deve ser ca injetor. De fato, suponha por absurdo que existem a, b Rn , com a = b e considere seja G (x) = F (x + a) F (a). Temos que G (0) = 0 e que G tambm satisfaz a condio de Markus-Yamabe, e se esta e ca conjectura fosse verdadeira, ter amos que toda soluo tenderia a 0 ca com t , o que seria uma contradio com a soluo constante ca ca x(t) = b a = 0.
Se n = 2 foi provada, independentemente, por Feler e Gutirrez. e Para dimenses n 3, o seguinte contra-exemplo foi dado. o
Exemplo Seja F (x) = (x1 + x3 d(x)2 , x2 d(x)2 , x3, . . . , xn ) onde d(x) = x1 + x2 x3 .
Exemplo Ento a x = F (x) tem a soluo ca x1 (t) = 18e t x2 (t) = 12e 2t x3 (t) = e t . . . xn (t) = e t ,
que claramente tende ao innito quando t .

Conjectura Se F : Rn Rn uma aplicao polinomial satisfazendo a e ca condio de Markus-Yamabe, ento F injetora. ca a e
Teorema Se para todo n 2 a conjectura 2 verdadeira, ento a e a Conjectura Jacobiana verdadeira. e
Conjectura da dependncia linear e O teorema de Hubbers Contra-exemplo pra conjectura da DL Invariantes: extenso da DL a Ausncia de invariantes de grau 2 ou 3 e Agradecimentos
Como inverter uma aplicao polinomial? ca Como identicar os automorsmos polinomiais de Cn ? Conjectura Jacobiana surgiria como um critrio de linearizao e ca para a invertibilidade.
Conjectura da Dependncia Linear e Se g : Cn Cn uma aplicao homognea tal que g (x) e ca e e nilpotente para todo x Cn , ento as linhas de g so linearmente a a dependentes em C, ie: existem i C, no todos nulos, tais que a 1 g1 + 2 g2 + + n gn 0 .
Teorema de Hubbers
Teorema Seja F (x) = x G (x) uma aplicao cbica-homognea em ca u e dimenso 4. Ento, existe T GL4 (C) tal que T 1 F T de a a e uma das seguintes formas: x1 x2 x3 1 x4 a4 x 3 b4 x 2 x2 c4 x 2 x3 e4 x1 x 2 f4 x1 x2 x3 1 1 1 2 2 3 2 2 3 h4 x1 x3 k4 x2 l4 x2 x3 n4 x2 x3 q4 x3
Teorema x1 x2 1 x 3 h2 x1 x 2 q2 x 3 3 3 3 1 2 x3 2 2 3 x4 x1 x3 h4 x1 x3 q4 x3
Teorema x1 2 16q4 c1 r 2 2 3 2 x2 1 x1 c1 x1 x4 + 3c1 x1 x2 x3 48c 2 4 x1 x3 3 1 2 r4 r4 q 3 3 3 2 1 r4 x1 x3 x4 + 4 r4 x2 x3 12c4 x3 16c1 x3 x4 3 2 1 x3 r4 2 2 2 x4 x1 x3 + 4c x1 x3 3c1 x1 x3 x4 + 9c1 x2 x3 1 3 3 2 q4 x3 4 r4 x3 x4
Teorema x1 x2 1 x 3 3 1 4 x3 x 2 x2 e3 x1 x 2 k3 x 3 1 2 2 2 3 x4 e4 x1 x2 k4 x2
Teorema x1 3 2 2 2 2 3 x2 1 x1 + i3 x1 x2 x4 j2 x1 x4 + s3 x2 x4 + i3 x3 x4 t2 x4 3 2 s 2 2 2 5 x3 x1 x2 2s3 x1 x2 x4 i3 x1 x3 x4 j3 x1 x4 i 3 x2 x4 2 i3 3 2 3 s3 x3 x4 t3 x4 x4
Teorema x1 3 2 3 x2 1 x1 j2 x1 x4 t2 x4 3 2 2 2 6 x3 x1 x2 e3 x1 x2 g3 x1 x2 x4 j3 x1 x4 3 m x 2x p x x 2 t x 3 k3 x2 3 2 4 3 2 4 3 4 x4
Teorema x1 3 x2 1 x1 3 2 2 3 7 x3 x1 x2 e3 x1 x2 k3 x2 x4 x 2 x3 e4 x1 x 2 f4 x1 x2 x3 h4 x1 x 2 k4 x 3 1 2 3 2 2 2 3 l4 x2 x3 n4 x2 x3 q4 x3
Teorema x1 x2 x3 8 x4
3 1 x1 3 2x e x x 2 + g x x x k x 3 + m x 2x x1 2 4 2 3 3 1 2 4 1 2 3 3 2 2 2 +g4 x2 x4 2 2 3 x1 x3 e4 x1 x2 2m4 x1 x2 x3 g4 x1 x2 x4 k4 x2 g4 2 4 2 g 2 x2 x3 m4 x2 x4
4
m2
Contra-exemplo pra conjectura da DL (de Bondt)
f (x1 , x2 , . . . , x10 ) = (x1 , x2 , . . . , x10 ) g (x1 , x2 , . . . , x10 ) 2 x1 x9 x10 x2 x10 2 x1 x9 x2 x9 x10 2 x3 x9 x10 x4 x10 2x x x x3 x9 4 9 10 2 x5 x9 x10 x6 x10 g (x1 , x2 , . . . , x10 ) = 2x x x x5 x9 6 9 10 (x1 x4 x2 x3 )x9 (x3 x6 x4 x5 )x9 (x x x x )x (x x x x )x 1 4 2 3 8 3 6 4 5 7 3 x9
Para a construo dos contra-exemplos, de Bondt estudou ca inicialmente quasi-translaes: uma aplicao polinomial co ca f (x) = x g (x) uma quasi-translao se sua inversa for e ca x + g (x). Isso signica que (x g (x)) + g (x g (x)) = x , ou seja g (f (x)) = g (x) .
Denio ca Dizemos que uma funo escalar k : Cn C, no constante, um ca a e invariante para a aplicao f : Cn Cn se k f = k. ca
Consideremos a seguinte matriz nilpotente em funo de dois ca parmetros: a 0 0 s2 0 t2 . M(s, t) := 0 t 2 s 2 0
Denimos g : C11 C11 , em forma de coluna, como x1 M(x10 , x11 )x2 x3 x4 M(x , x )x 5 10 11 x6 x7 g (x1 , x2 , . . . , x11 ) = M(x10 , x11 )x8 x9 x1 x2 x3 det x4 x5 x6 x7 x8 x9 3 x10
Nosso exemplo f : C11 C11 dada por e f (x) := x g (x).
Essa aplicao tem o seguinte invariante ca x1 x2 x4 x5 k(x) := det x7 x8
cbico k: u x3 x6 . x9
E simples vericar que k de fato um invariante para f . Usando e este fato e a nilpotncia de M, podemos calcular facilmente a e inversa de f , que tambm uma aplicao polinomial. Sabendo e e ca que f invers e vel, podemos facilmente deduzir que seu determinante jacobiano deve ser constante e igual a 1.
Teorema A funo f denida em (3) um automorsmo polinomial de C11 ca e que admite o invariante polinomial homogneo cbico k denido e u em (4). Alm disso, no existem invariantes polinomiais e a homogneos de grau 1 ou 2 para f . e
Prova
Seja ento A uma matriz 11 11 complexa e simtrica, e suponha a e T Ax um invariante para f . que a forma quadrtica K (x) := x a e Separando as partes homogneas da identidade K f = K , e deduzimos que as seguintes condies so equivalentes a K ser um co a invariante para f : x T Ag (x) = 0, g (x)T Ag (x) = 0, para todo x C11 .
Consideremos a curva polinomial c(t) = (t 2 , t 2 , . . . , t 2 ). A primeira equao em (7) implica que: ca c(t)T Ag c(t) = 0, para todo t R.
11
Por meio desta condio, aps um clculo longo e entediante, ca o a vemos que A nula, o que mostra que K identicamente nulo e e e completa a demonstrao. ca
Em um dos exemplos de sua tese de doutorado, de Bondt responde positivamente uma das dvidas naturais na procura por exemplos u interessanes de aplicaes cbica-homogneas sem invariantes co u e quadrticos ou cbicos: poss possuir invariantes quadrticos a u e vel a mas no cbicos. a u
Neste exemplo, que pode ser estudado como na seo anterior, ca temos que k(x) = x1 x4 x2 x3 um invariante (homogneo) e e quadrtico para f . a
f (x1 , x2 , . . . , x9 ) = (x1 , x2 , . . . , x9 ) g (x1 , x2 , . . . , x9 ) (x1 x5 x2 x6 )x6 (x1 x5 x2 x6 )x5 (x3 x5 x4 x6 )x6 (x3 x5 x4 x6 )x5 (x1 x4 x2 x3 )x6 g (x1 , x2 , . . . , x9 ) = x 3 (x1 x4 x2 x3 )x7 5 3x 2 x6 (x1 x4 x2 x3 )x8 5 3x5 x 2 (x1 x4 x2 x3 )x9 6 3 x6
Obrigado a todos pela presena! c

USP Conjectura Jacobiana

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

USP Conjectura Jacobiana

Enviado por

Direitos autorais:

Formatos disponíveis

Introduo ` conjectura Jacobiana ca a Ligao com campos de vetores ca Dependncia Linear e Invariantes e

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

E equivalente ` mesma questo com os coecientes das a a componentes polinomiais de f em C.

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Conjectura Se f : Cn Cn uma aplicao de Keller, ento f injetora. e ca a e

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Acreditar ou no na Conjectura Jacobiana? a

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Teorema Se f : Cn Cn uma aplicao de Keller e deg (f ) 2, ento f e ca a e invers vel.

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

para todo t C. Substituindo em t = 1 , obtemos g (c) = 0, uma 2 contradio. Assim, f injetora. ca e

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

onde g : Cn Cn uma aplicao polinomial homognea de e ca e grau 3.

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Markus-Yamabe Conjectura polinomial fraca de Markus-Yamabe

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana

Markus-Yamabe Conjectura polinomial fraca de Markus-Yamabe

Ricardo dos Santos Freire Jr.

Invariantes e a Conjectura Jacobiana