PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE FACULTAD DE MATEMATICAS La Medida de Equilibrio de un Endomorfismo Holomorfo de P¥(C) Por Manvel Rodrigo Parra Castaneda Tesis presentada a la Facultad de Mateiéticas de Is Pontificia Universidad Catélice de Chile, ‘como un requisito para optar al soo de Magister en Ciencias Exactas Mencion Maten ‘Dutores 5 Jom Kiwi = Universidad Catélica de Chile Juan Riverw-Lotelier ~ Universidad Catélica del Norte Comisién Informante > Jon Kiwi = Universidad Catétice de Chile Juan Rivers-Letelier - Universidad Catdlica del Norte. Rub{ Rodriguez -- Universidad Catélica de Chile Marzo 2006 Santiago, ChileAgradecimientos Durante todo el desarrollo de esta tesis, el apoyo de mi parcje Valeria ha sido, ti fuente inagatable de energia y apoyo. Su amor y esmero han sido mi pilar fun- damental durante todo este tiempo, por ésto quiero dedicarle a ella este trabajo de Tesi. Quiero agradecer también el apoyo y compresi6n que siempre me ha brindedo ‘mi familia, Desde siempre, el compromiso de mis padres con mi educacién y el carifio de mis hermanos, ha sido la pledra angular de mis logros. Padres querides, ‘mchas gracias por todo, Quiero agradecer también a la familia de Valeris, mi nue vya fasnilia, quienes no sélo ge han comprometido de forma genuina en este proyecto, sind que hen vivido conmigo momentos importantes de éste. A ustedes tambien quiero deciles lo agradecido que estoy, son una familia maravillosa (Cuando ingresé a la Facultad de Matemticas el fio 2001, a la carrera de Licen- iatura en Matematices, comencé un caraino maravilloso y enriquecedor. Por esto quiero agradecer al profesor Angel Carocea, quién me estimaulé a tomar este. senda; sin su consejo nunca habria escogido esta meravillass carrera, Durante la Lieencistura desarvallé une profunda pasién por les Matematicas y grociae a las magistrales cétedras do todos mis profesores, me siento preperado para eoguir adelante, a todos clos muchas gractas. Quiero agradecer especialmente fla profesora Rubi Rodriguez, quién on sus numerosas clases y tiempo brindada, desperté mis aspiraciones en maateméticas y on clerts forma, molded mis gustos ‘actuales en Ia disciplina. Siento una especial admiracién por ella Apenas comencé el posigrado el afio 2008, ya sebfa que queria hacer mi Tesis de ‘Magister en Dindmica Compe y estoy seguro de haber escogido a los mejores guias pera ésto, quienes me honraron aceptando mi petleiin. Mis tutores Juan Rivera Letelier y Jan Kiwi ban sido maestros fabulosos que me han ensefiado mucho més de lo que podrfa haber imoginado. Me han apoyado en todo momento y siempre hhan estado presentes, brindéndome sus capacidades excepcionsles de matemsticos y amigos. Quisiera poder expresarles en estas breves palabras todo al agradocimiento yy admiracién que tengo por ustedes. Cuando se egradece a un amigo, Ia sensacton fs especial. gracias Jan, gracias Juan, Finalmente, quiero agradecer el apayo econémico que me brindaron la Facultad cde Matemsticas de la Pontifcia Universidad Catética de Chile con su plan de beces y Fondeeyt con los preyectos 1020721 y 1040683. Sin ésta ayuda, habrfa sido imposible evar a cabo este trabajo.LA MEDIDA DE EQUILIBRIO DE UN ENDOMORFISMO HOLOMORFO DE F*(C) invice Introduceién Funciones Holomorfas de Varias Variables Complejas 43. El Espacio Proyeotive Complejo 34: Varledades 3.2. El Bspacio Proyectivo PC) 3.3. Funciones Holomorfas en PF(C) 4, Hechos Basicos de Goometria. Algehraica 4.1. Preliminares Algebraicos 4.2. Variedades Afines 43. Varledades Proyectivas 4A. El Espacio Tongente de Zariski 43. Intersecckin en Variedades Proyectivas 5. La Forma de Fubini-Study 54. Formas Reales 5.2. Formas Complejas 5.3, Formas Diferenciales Reales 5.4. (p,q)-Formas Diferonciales 5.5. La forma de Fubini-Study 5.6. Intezracién de le Métriea de Fubini Sindy sobre Variedades Proyectivas 5.7. El Teorema de Lelong 5. Hechos de Ergodicidad y Entropfa GL. Exgodicidad 6.2. Entropis 6.3. Entropis Topolégica de Endomorfismnos Holomorfos de P'(C) 7. Dos Cazacterizaciones de la Medida de Equilibrio de un Endomorfiemo Holomorto de P*(C) 71. La Primera Aproximacién 72. BI Conjunto Bxeepeional y su Bsratifcaciin 73. Le Primera Caracterizaciin. Demostracién del Teorema 1 7, Ua Segunda Caracterizacién, Demostracién del Teorera 2 ReferenciasLA MEDIDA DE EQUILIBRIO DE UN ENDOMOREISMO HOLOMONFO DE RC) 3 1. Irropucciés. La siguiente monograffa se enmarca en el estudio de endomorfismas holomor- fs de espacio proyectivo complejo P*(C), En parciular, xe extudin Ia medida de ecqulforioasocida a étas, donde una medida de equiibrio es una medida de probe ‘lida invorianto que masiniza la entropia métrce del stern. dinonico Bn dimensién 1, ostos endomorfsmnos holomorfos (fanviones racionales en una variable), comonzaton a ser estadiades a comienzos del siglo 20 con los trabajos de Jia, Faton y Lému. Brolin en el aio 1965 [6], obtavo una medida de equilibrio para ppolinomios actuando sobre la esfera de Riemann. En su trabajo, Brolin demuestra fave el conjunto de Julia J tiene capacidad logaritmica positiva, y que la medida natural j soportada sobre J, obtenids- de sn potencial logaritmica, se obtiene como €l limita débil de las medidas de conteo: ony by ime tng donde f es un polinomio ménico de grado D, el punto z es erbitrario (posiblemente fuera den conjunto excepeionsl de alo mas dos puntos) y 6 1a medida puntual de Dirac soportada en y, ex decir, rflja la distibucion de preimégencs de 2. Este likimo hecho, implics en particular, que la medida » es une. medida de equilibrio. Brolin demuestra edernéa, que este ssedida es mezelante, Lyubich y Freire-Lopes-Matié (1983, 22) [11]} demostraron, pare funciones racic rales sobre la esfera de Riemann, que existe una medida natural 4, que refleja la disteibueign de los puntos periddicos repulgores, que se obtiens como la distribue eign de preimégenes de puntos no excepcionales y que éta es la dnica medida de centropfa maximal. En dimensién superior, Hubbard (1986, [17]) introduce la funcién de Green G dindtnicomente definida, para les aplicseiones de Hénon (ciertos difeornonis- ses polinomiales de C2), y obtiene wa medide invariente natural definide por = [de"G)"2, donde dP es el laplaciano 3-26. Bsta medida y, e5 una candidate ural a tener Ins propiedades de la medida de Brolin-Preire-Lopes-Mafé y fue detalladamente estudiada por Bedford-Smillie (1991, 1992 [7,8, 9, 10]) y Forneess- Sibony (1992, [12)). Bedford-Sinille-Lyubich en [4,5] demuestran que esta medida, [a nice medida invariante que maximiza la entropia Enel caso de endomorfismos holomorfos de P#(C), fueron Hubbard y Papadopol (2994, [18}), quienes mostraron que existia uma medida de probabilidad invariante netural js, oblenida del laplaciano de la furcién de Green del sistema dindinico. Fornacse-Sibony (1904, 23}) demuestren quo esta medide es mezelante y que regs la dstribucign de preimagenes de puntos fuera de un conjunte pluripolar, lo que en particular implies, que es una medida de equilibrio, Adicionaimente, Briend-Duval (1999, 11) pruebsn que los exponentes de Lyapounov de la medida json positives ¥y que los puntos periécicos repulsores estén equidistsibuidos con respecto aj. Es to ultimo es particularmente interesante, pues en dimensign superior, es la. tice forma de ver que los puntos periédicos repulsores son deusos ex el canjunto de Sais.4 LA MEDIDA DE EQUILIBRIO DE UY ENDOMORETSMO HOLOMORFO DE PX (c} THasta este punto, si bien ere lore que le medida natural 4 del endomorismo holomorfo de PA(C) tenia entropfa méxima, no se sabia ain si era la tnica me- dida de entzopla maximal. Por otra parte, én dimensién uno, la medida se podia biener como Iimite débit de preimégenes de puntos no excepcionales, por tanto ‘estaba sbleria In interrogate de si ésto ere certo en dimensiones superiores. Bn particular se necesitaba tener una buens definiidn de conjunto exeapcional en el contexto de dimensiones superiores. Todas estes preguntas permanecen abiertas hasta el aio 2001, cuando Jeat-Yves Briend y Julien Duval publican su trabajo "Deux carectirisations de le mesure d’equilére d'un endomorphieme de P(C) 2) Fh éste, den una buena defnicién de conjunto excepcional y carocterizan el re dida de equilibrio, come la distribusisn de preimgenes de puntos no excepeionales, ‘y conno la nica medida de entropia maxitnal. Esta tesis de Magister, es ima monografia brsrda en el trabajo de Briend- Duval (2, organiaada eouno sigue En [as secciones 2 y 3, se compila los hechos bésicus de holomorfia en varias vari ables y variedades complejas respectivamonte. En la secci6n 3 adetnés, se detalla la dofinicion y propiedades del espacio proyectivo complejo PY(C) y los endomorfismos olomorfos de éete Bu la soceidn 4, se introduce les heches bsicos de élgebra coumutativa y goo- aneinia algebreice, para fusalmente enunciar el resultado mes importante de esta soceidn: el Teorema de Bezout, La seccidn 5 tiene como objetivo, estudiar la metrics. bermitinna natural de PA(C), Hamada le méeriea de Fubini-Study. Para ésto, se introduce detalladamente ol tépieo de formas diferenciles reales y complejas, Con el objetivo de hacer lo mas autocontenida posible esta monografa, se ha obviado intencionslmence el uso de Sibrados vectoriales En Ia sccciéu § s¢ preseutan los hechos bisicos de Teorfa Ergddiea, pera final- ‘mente mostrar resultados referents a entropia de endomorfsmos holomorfo. Por iltimo, en Ta seccién 7, se define el conjunto excepcional de un endomortis. mo holomorfo de P'(C) y se demuestran las dos caracterizaciones de ls medida de ‘equilibeio antes meucionadas,1A MEDIDA DE BQUILIBRIO DE UN ENDOMORFISNO HOLOMORFO DE FC) 5 2, PUNCIONES HoLomonras DE VARIAS VARIABLES ComPLEIAS Denotavemes por € al cuerpo de los nimeros complejos (resp. B al cuerpo de los rmimeros reales) y por C* = C\ {0} al grupo muitiplicative de C. Dado un entero positive r, denotames por C* al espacio vectorial complejo r dimensional sobre C (esp. R” al espacie vectorial real r dimensional sobre X) dado por C=fx 2 (mnmrves 3) Denotames por #= (24,---2+) 8 los elesmentos de C7 (6 R') y el vector (0,-..,0) lo eeeribiremas como 0. En general, dado un espacio V {vectoriel, topolégico, ete.) y dado un entero positive r, denotaremos como es usual por V* al producto cartesiano de 7 copiss de V, dado por Vxw-x, con Ia estructura natural indveids. Comencemos esta sect introduciendo el coucepto de holomorfia pars fut ciones de varias variables complejas a valores en C. Como referencia para esta seeci6n seguiretos el texto de [15 Como es usiel, diremos que una fincién de nna variable complaja ¢s holomorfa si tiene derivada compleja, Definicién 2.1. Une fancidn f definida en un abierto D CCE a valores en © se tira holomorts en D, si f es continua y holomorfe en cada variable separadamente ‘Toorema 2.2. (Lema de Osyood) Si una funcitn continua f definida en un abierto DCC! a valores en C, es holomorfa en cede variable separadamente, entonces { et analitien en D. dentifcaremos C con B © iR donde i es ume solucién Sja de w? +1 = 0, de tal forma que cada elemento 2 € © se identifica con um tinico elesnento x + iy de Ri. En particular, para cada entero pesitivo fel espacio vectorial complejo C* se identifica con el espacio vectorial real ( @ilt)* de dimensidn (real) 2k. Una funcién f : D.C (RE iR}' + C, donde f(z) C* si uy € C"(D,R). Ditemos que f es suave si Aefinir los operadores diferenciales ‘u(E) + i0(2) se dird de clase 400, Para todo r 2 1 se puede a au | ov I) * Bas ty a du _ ‘ay Bi; Jo que nos permite definir los operadores diferenciales tineales (complejo) a7 3 (em)© LA. MEDIDA DE EQUILIERIO DE UN BNDOMOREISMO HOLOMORFO DE PA (C) Notar que com consecuencia del Teorema 2.2 toda fmicién holomorfa es suave. En particular, se tiene la siguiente caractetizacién de holomorfia. ‘Teorema 2.8, (Criterio de Couchy- Riemann) Una funcidn f definida en un obier to DCC a valores en C de clase C2, es holomorfa en D si y séla si sotisface ef sisteme de ecuaciones diferenciales parciales de primer orden. Cin By TO Fk Dadlos mtimeros reales positives 715... rhs diremos quer = (r2.-.+74) €]0,-Foo* ‘es un polradio. Dado # = (01,...,U,) € CF y um poliradio r = (r1y.--,"e) se define un polidiseo abiero A(gjx) ¢ C* eomo el conjunto AGG 2) i= {E> (20.424) € LF | [ey — By] < ry para todo. sk} ‘Teorema 2.4. (Teorema de la Funcién Implicita) Sean m yk enteras postivos fl que m < k, set fi... fn Senciones holomorfos en vn polidsco abierto A(G;x) C CF, com B= (O4y.--s04) YE = (Pas---Fe)- Stponge (que para todo j = 1....m se tiene que f,(9) = 0 y oes (Zc) #0 Be) patron elit Enionces existen poldiscosabiertos A! 1m A(T38) CCM, A" 2= ACE") C © con df = (Usye--stham)s T= (Ohemeis---%), AKA" C AlGit) y fncioner olomorfas Yassin A’ > AM con la siguiente propiedad: Si? = (3,2") € AU A", enfonces para todo j = 1,-.-4m: I) =0 si y s6lo ai? (el emlZ)) Ver demostracign en {15] p.15, 16, Dado un entero positive ry un abierto D c C*, una fmeién vectorial F : DC" dada por F(Z) = (Fi(),...+Fe(2) se dird helomorta st para cada j = 2y..-4r To fimién Fj es holomorfa. Llemaremos @ la matriz DEK (Ha la matria jacobiana de F en Z Direanos que la funeidn F es no singular en Z€ D si el rango de D(F)(2) es igual a méx(t,r}. Por iltimo, F se dice no singular en D si 5 no singular en ada punta de D. ‘Feoreina 2.5. (Teorema de la Funcién Inverea) Sea F una funcién holomorfa definida en wna vecindad de Be C* a valores en CF Supongamon que F(D) =O, y que Fes no singular en 0. Brtonces, existe un ralico abeto A{0;8) y ino funtin holomorfa G éeiida en nna vesindad de PCA(C)) valores em CH, tal que para do Fe A(Cé),W = FLD) ay so m alm)LA MEDIDA DE EQUILIDRIO DE UN ERDOMORFISMO HOLOMORFO DEPMC) 7 9. BL Espacio PaoyEctivo CompLeio 3.1. Variedados. Sea M un espacio topeligico de Hausdorff, paracompact y conexo, U = {U;};21 un cubrimiento numerable de AM por conjuntos abiertos. Suponga que para cada j 2 I existe un homeosnerfismo 25: Uj CM + 23(U5) CC* (resp. BY), indices j,£ que satisfacen Uj 7 Uy # entonces tal que para cada par d reg = 20027! 12,(Us Ue) -+ (U0) ts holomorfa (resp. suave). La colescién © = {zj}j21 €8 llamada un sistema de coordenadas locales holamor- fas (resp. coordenadas locales suaves), @ Jos pares (a, Uj) los llamannos una carta local holomorfa (resp. carta local suave), y al par (z, 2) un atlas holomorfo (resp. atlas suave) para M. Dos atlas (2, ), (v1 #) holomorfos (resp. suaves) sobre M ‘= dirdn equtivalentes si fa unién de ambos es también un atlas holomorfo (resp, suave), Esto define una relacidn de equivalencta sobre los atlas de la variedad M, y ‘uma elase de equivalencia sobre A Ia lamames ona estructura holomerfa sobre (rosp. una estructura suave sobre M) Bs importante notar que par el Teorema 2.2, toda estructura holomorfa sobre ‘M es 6 Ja vex una estructura suave sobre M Definicién 3.1.1. Diremos que el espacio topoldgico M es una variedad compleja de dimensién (resp. vatiedad suave de dimensién k) si estd proviso de alguna estructura holomonja (resp. suave) sobre él, modelado sobre C* (resp. modelado sobre BY). Diremos que una varledad suave es orientable si su estructura suave posee un atlas con sistemas de coordenades locales (25}sz1 tal que eada vex que Us Us #9 entoneas axe aes (55) 9 Seen M y NV dos variedades complefas (resp. suaves) de dimensiones k y K respectivamente. Una fincién f : M — 1 se diré holomorfa (resp. suave) si para ‘todo atlas holomorfo (resp. suave) (2,1) de Af y (w,¥) de NV en ous respectivns cesiructuras complejas, y para todo Uy € t, Ve € tales que p € Us, fp) € Ver centemes existe una vecindad Uj ¢ Uy de p tal que f(U}) ¢ Ve, donde wee foay? s 24(U3) > wl (UH) ‘es holemorfa (resp. suave). Bn el caso que k < #, diremos que f es una inmersién sil rango de la matria jacobiena Dowee £025 7V(25(01) «igual a & para todo pM. $i una inmersién f : M 1 es un homeomorfismo centre AT y f(M) CN, diremos que f es una incrustacion, Sen AM una variedad compleje (resp. suave) y sea M’ C M un subconjunto pre- visto de una estructura compleja (resp. suave). Diremos que 1M es una subvariedad8 LA MEDIDA DE EQUILIERIO DE UN EXDOMORFISMO HOLOMORFO DE FX (C) inmerss de M, si la inclusiéa o: AMY G+ Mf e8 ima inmersién, Diremos que M’ es ‘una subvariedad de AM sila inclasién o: Mf" Mf es una incrusiacién, y dirernos ‘que M’ es wma subvariedad corrada de M, si ademds de subvariedacl, es un conjunto cerrado de M. Sea A/ una variedad suave de dimensié k, soa A’ C A una subvariedad inmersa de dimensién ¢. Es un hecho conocido que si p ¢ Mf" y U es una vecindad de p en AM", entonces existe una coordenada local (z,V) de M on tomo a p tal que UAVs (ge M[ 24g) == 24) =O} Por stim, fnalizainos esta subseceién con un teorema que ser ecesario mas adelante, Recordamos que una funeién entre espacios topolégicas se diee propia, i Ja preimmagen de todo subeoujusto compacto es también eoxnpacto. Teorema $.1.2. (Teorema de la Funcién Propia) Sean My N voriedades complejas, y sea f:M — N une funcin holomorfa. Sea AM’ CM wna subvariedad compleja de M tol que f restringida aM’ es wna juncién propia, entonces J(M") CN es una subvariedad compleja de N. ver demostracisn en (14) p. 895-400. 8.2. El Espacio Proyectivo PHC). Sea ~ la celacion de equivalencia en C#*\ {0} tal que para Z,g eC \ {0} se time F~ jai y silo si existe Ae C* tal que Af Sea Kal conjunto Ke (CH\ OG) I>, dotado de la topologia cuociente. Denotames por x la proyeccién canénica C**! \, {0} + X que lleva 2 = (2o,...,24) # su clase de equivalencia, 1a cual denotamos pora= 4] Sen S24 c CH \ {B} el ubespaci tepolégio definido por $= (F € CH\ (@ | [a| = 1), Exe subospacio es compacta y conexo, ¥ Ia funcién eontine ‘ua m restringida a S*#? sigue siendo sobreyectiva, por lo que concluimes que K tembign es compucto y conexo, En adiign sealanos que Xe también Hausdoet ¥ simplemente conexo. Sean los abiertos Uj = {2 = [zp : -..i a4] €X| zy #0}, = 0)...,K, donde X= U,Uy, y los homeomorfismos 2; : Uj + C* definidos por abot al= (2 Bh, 12). agp ay Con inversa 271: C8 + Uy dads por 2p ayes a) fn sees my sD tye toe a] Notar que para toda j < ¢ la fuacién mg 05): 2y(Uj Ue) = {(uny.-.swe) | wen #O} aU OU) = {1.00 [yen # ODEA MEDIDA DE BQUILIBRIO DE UN ERDOMORMSMO HOLOMORFO DE PC) —§ dada por setae) = (Bonga we =) ay wen” we wer" we Wee, «es holomorfa. Lego las eolecciones {Us} uo ¥ {2)faa satisfacen los axtomas de atlas lolomorfo, por tanto éstas dan a X una estructura de vatiedad compleja de ‘Sinensin f, proviso de la estructura holomerfa determinads por este atlas. Definicién 3.2.1. Defiuimos el espacio proyective complejo P*(C) coma: El es- ‘pacio topolégico X junto con la estructura holomorfa determinada por el atles (as) Heor UP). Elamamos a Us ta j-sima carta afin y a 2) : Uj — C8 ta je ‘ima coordenada afin de PC). ‘Observemes que la eplicecién (sot eset agen 02 ayqnfooet aa) [epee yea ayant ‘es um biholomorfismo entre el j-ésimo hiperplana afin Hy = PMC) \ Uy y FMC). ‘Muchas veces identiicaremos if, con P*-1(C) y Uj con C* (via 25) de tal forma que PA(C) lo escribiremos como C*UP*-2(C), A csts itm, simplemente la Uasnareinos la compacifcacién de C® por un hiperpiano. A veces, eS usual lamar a esta sltimna sma compactificacién por un hiperplano al infinito, eunque esta nomenclatura 6 sas eomiin enado 3.3. Funciones Holomorfas en P*(C}. Dado un entero positive h, eseribiremos como Clee...» al anillo de polinomios en & + 1 variables con cocficientes en C. Recordamos que, dado un entero no negative D, un polinomio P € Clea,.--154| «8 hhomogéneo de grado D si P se escribe de la forma, P20... 28) = Bjongeed oH, Ea particular, todo polinounio homogéneo de grado 0 es constante, y el polixomio consinnte igual a cero es horogéneo de cualquier grado. Por otro lado, para todo Z € Hy A. € C* se tiene que PAZ) = APP(Z). Lego, si Fo... Fi son polinomios hhomogéneos del mismo grado D > 0, entonees (F(AZ 5 Be(AE)) = NP(Fo(2),--- FH). Sea 3.1) Tes r({Ze CY (8) | (FOE. eC) =O} C PMC), Botonecs Ja aplieaci6n £ ++ (Fa(2).---,Fi(2) de C8? en si mnisma, induce una aplicacin 2 [F9(2) :... : Fu(Z]| de PA(C) \ J 0 valores en P*(C), Definicién 3.8.1. Le funcién f{2) = [Fo(S) :...+ Fi(=)] se dirdé meromarts de grado D si los polinomios homogéncos Fyy..» Fu no tienen wh factor en comin, y se ind meromorfa dominante si ex meromorfe su matrie jacabiana no ea constante ‘gual 0 cero. Llamaremos aI ¢ PMC) definido por (9.9.1) ef canjunte de indeter- minacién de la funciOn mneromaorfa f. Por itimo, ta funcién P: Ch) — CF definida por F(Z) = (Fol)... F(Z) ser Narmada levantamiento de J.10 LA MEDIDA DE EQUILIBIUG DE UN EXDOMORFISMO HOLOMORFO DE P*(C) Bs an hecho vonocido, que toda fucidn holomorfa de PX(C) en B*(C) se puede csertbir, en coordenedas horaogénces, como k-+ 1 polinornios hornogéneos del mis- ‘mo grado sin factores comimes (ver {23} p. 40, 67-68). Diremos que una aplicacién 1: PH(C) — PA(C) es un endomerfiamo holomorfo de P¥(C) si es una funeién mero anorfa domiante con conjinto de indeterminacién vac. ‘Sean P,..., Pj polinomios en C[zy,.-., 24] y sea D el mayor de los grados de es- tos polinomios. Bxtonces los polinomios 2P,{2/2),...,t Pe(z/t) 2 € Chas...» son polinomios homegéneos de grado D sin factores on corti. Por tanto, le funeiSa Fler so. : et) = (EP PG/e) = PPO)? ‘es una funcién meromorfa de grado D de P*(C) * LN F*-1(C). Observemos que para todo (21,..., 2x} € C* C P*(C) esta funcidn coincide con la funcién de C* en © dada por f(21,---524) = (PrF--+s PCZ]). La funcién mneromorfa. sera llamada extensién de le famcién f. Como ejemplo de lo anterior, podemos ver las aplicaciones tipo Hénon de C? en (C? definidas por f(z.w) = (p(2) + aw, 2) donde p € Cz] es un polinomio de grado Dz2y ae C™. Considoraos su extensin # PAC) dada por Filesws t= [ple/t) + awe? sat 1] Notar que ls extexsones de las aplicaciones tipe Hénon no son endornorfismos holo morfos de P?(C), pues tienen conjunto de indeterminacién no vacio J = {{0 : 1 0]} Un ejemplo sencilla de un endomorfsimo holomorfo de PF(C) es le aplicacién Blatt) = bP IA MEDIDA DE EQUILIBRIO DE UN ENDOMORFISMO HOLOMORFO DE #(C) 14 4. Hectios BAsicos De Gromern{a ALGEBRAICA En este secclén introduciremas los conceptos bisices de la geometria algebraica ‘que serdn necesarios. Coma base de esta seccién tomamos prineipalmente el enfoque de (23) 4.1, Preliminares Algebraicos. Dado un anillo conmatativo con unidad Run suiboonjunto 21 € 2 se dice un ideal de Rs él es um subgrupo aditivo de R y para todo 2 € Ry € se tiene que ry € %, Dados denies ty B de 1 y une familia de ieales {Ale }ger de R, es fail ver que les siguientes subconjunios de A son tanbién ideales de Re Quer Ma Gi) SERS (2a, tte, 18 € Zags ta, € May} (0) ABS (roy to + Saute, 18 Bay ay © Mayotte € Bae) Lamamos a (fi) una suma de idesles y a (ii) un producto finito de ideas. Dado un subconjunto ZC R, definimos el ideal generado por Z, al ideal @= fa a3 a idedde x = {929 + +--+ 90.78.18 © Z4, Ga, € Ry x5, € Z} Dado un entero positive r ¥ gi.--..9, € R, denotamos por (g1,-.-.gr) al ideal ({ois-.s4e}}- Bn particular, s} denotamoe por O y 1 a los polinomios constantes, igoales a coco y uno respectivamente, se tianen ls ideales (0) = {0} y (1) = R. Un idel 5 se dies fiitamente generado si es generado por un subconjunto Snito ae R Un ideal 1 CR se dir primo si para todo x,y € 2 tales que zy € %, se tiene reMsyed Dado un ideal 1 R, definimos el radical de 4, como el ideal VU = {g € R\y™ €, para algun entero m > 1}. Diremos que 91 es un ideal radical si 1 = VG, Notar que el radical de un idesl es un ideal radical, Recordamos que pata todo entero positive k, el anillo conmutativo con unidad R = Clzs.....21}, €8 un dominio de factorizaciin nica sin divisores de cero. ‘Ademés, seialamos que Clzy,...,7] s8 em anillo noetheriano, es decir, toda car dena ascendente de ideales es necesariamente finita, lo que implica en particular, ‘que todos sus ideales son finitemente generados. El anillo C[sy,..., 24} ¢8 un espacio vectorial sobre C. Dado un entero no negativo D, denotamos por Cpl, al subespacio vectorial de C(zs,-.., 24] de los polinotnios hornogéneos de grado D. Es claro que Clz;,...y 2} 8 un anillo gradade por estos subespacios, e& decit () Clsis.+-eza] = @paoCvlar-- 24) (i) Coss, ---s24] “Coelers--- p24] © Co velzts---, ee:12 LA MEDIDA DE EQUILIBRIO DE UN ENDOMORFISMO HOLOMOREO DB PC) Un ideal 91 ¢ fay... 24) se dird wn ideal homogéneo si puede ser generado por ii rilinero fuito de polinomios homogénens. Se verfien que un ideal & es fomogéneo sy sol si = Qeancofar...-va). Deo La inlerseceién, suma y producto finito de ideales homogéncos es tn idesl ho- ‘mogéneo, El radicsl de un ideal homogéneo es también un ideal homogéneo. Por ‘ltimo, un idea! horaogéneo 9 es primo si para todo par de polinomios homogéneos Py Q tales que PQ €% entonces Pe EQEY 4.2. Varledades Afines. Ses k un entero positivoy P un polinomio en Clea...» 24) Este polinomio determina una aplicacién ister Ch eetteed ateeeG: (atyeeeeah) oe Pltayeoos te) Definicién 4.2.1. Un subeonjunto X CC se dird une varieded algebraica de Ct, si existe un ideal % C Cles,.--y24) tal que X= (FEC! | PQ =0 pare todo Pe 2} En este caso, denotoremas X por V(). Si el iden! es primo, entonces diremos que X ea una vtiedad alebraica ala 6 vaedad afin, Dadoe P,.---P, @ Cly,---24), escribiremos V((Pj,-..,P,}) como V(Pi,...Pr)» Se sigue mmeciataanante de la deinen que pare todo par de ideales 2, 2s de Ry toda fail (Sy}oer de ieales de F 50 tiene (eMC Chess spt] = VOM) > VO) fil) V@@q)UV Ga) = VAL) = VA -%) Gi) V (Seer Mo) = Maer (Me) fe) VO=Ch, Va)=9 viva) = (2). Para todo ideal %, el ideal radical Vl de % se escribe como una interseccién finita de Idesles primos %81,---, "Bras VE= BN Bay tal que para todo 3, € {1,...,m} distintas se tiene que Bj 2 Be. Bl entero m y ‘cada uno de los idesles primos 'B;,..-,8m estén dnicamente determinados por & (var [20] vol. 1, p. 209). Las propiededes (it) y (v) implican entonces que en este VQ) = VBL UVB) ‘A cada vatiedad afin V(88,) le denominaremas una componente irreducible de V2). De las propiedades (i), (ii) y ((v) se tiene que Ins variedades algebraicas de C* satisfacen los axiomas de conjuntos cerrados de una topologia. Definicién 4.2.2. Definimas la topologte de Zariski de C* camo le coleccidn de eomplementos en C* de variedades algebraicos.LA MEDIDA DE EQUILIBHIO D5 UN ENDOMORFISMO HOLOMORFO DE FY(c) 13 Es importante notar que el espacio C* dotado de Ta topologia de Zariski es no Hausdorff, pues todos los ablertas de Zatiski son densos en esta topologfa. Bs fell vver que todo abiorto en a topolofa de Zariski es tarmbién abierto con respecto a la topologta usval de C¥, En particular, se sigue que todo abierto de Zarisk es abierto y denso en Is topologia usual. ‘Teorema 4.2.8. (Nullstellensatz de Hilbert) Dado cuslguier ideal % de Clzs,...,24), » wn polinomio P que se emule en todo punto de V(2), entonces P € VAL Ver demosteacisn en [29 wo. 2, p. 164 Definicién 4.24. Dedo cualgusr conjunto X CC, definimes ef weal de X en Cleseeenvan) por 3X) = {PE Cle, ssa) | PE) =0 pra todo Ze X} ara cada de subconjuntos %y y Xp de C! se tiene () XC Xp Ch (X) 230%) (i) F(X. U Xa) = WX) NI Xa) (il) Para todo ideal © € Cf... 24] > 3(V(2)) = VEE (Teorema 4.2.3) (iv) Para todo subeonjunto XC Ch =e V(3(X}) =X, le clausure Zarishd de X. Corolario 4.2.8. Briste une biyeciOn, que revierte el orden dado por la inclsién de conjuntos, entre el conjunto de ideales radicales de C{zy,..., 2] y les variedades algebraicas de C* deda por aaVEve yy X= 9(X). Bn esta biyecoibn, ls varedadesofines se corresponden com ideals primos. 4.3. Variedades Proyectivas. Dado un entero positive & y un polinomio he- rmiogéneo P en Clzp,...,24) este polinomio induce la aplicacién Pi PMC) = {0,3} a) FS PGO 38) <0 a 1, si Pleo.) £0 Definicién 4.8.1. Un subconjento XC P*(C) se dird una variedad algcbraica, sf existe un ideal horeogéneo 2 C Clzo...., 24) tal que X = (2 = [202.524] € PAC) | PCa) =0 pare todo Pe Mh Bn este caso, denotaremos X por V2). Sel ideal homogénco ex primo, entonces diremos gue X es una varedad algebraics proyectiva 6variedad proyectva, Dados los polinonvios homagéneas Piy..-sPe € Cleas---szal, eseribiremos V({Pa..--.Pe}) como VPs Pe) Igual que en Ia subsecein anterior, 9 tiene que para todo par de ideales ho- rmogéneos M1, tly de Ry toda familia de ideales bomogénees (Ma)aer de R se tiene [zo (My CMa C Clary --vza) > VC) > Vista) (i) V(&y) UV (he) = VE Ae) = VEAL Ala) (i) V oer Ma) = Maer V(t) Go) VO) PO, va}=0 ™ VVB=Ve,M4 1A MEDIDA De fQUILIBRIO DB UN EXDOMONFISHO HOLOMORFO DE P*(C) ‘También se tiene, que et radical de un ideal homogéneo % de C[zo,.. cscrtbe como una inersccin finite de ideales hotogtueos pris B1,- Vi BLOB, tales que para todo ji# € {Is-..ymb distntas se time que $3; 2 SB Et entero zn y nda mio de tor ideas Primos homagéeos 8, %q estén inleamente Aosorminadoe poe &. Las proptdades (i) y (x) impican también en este caso que ¥(A) = V()U-- UV (Bm) ‘A cada vatiedad proyectiva V(8,) la denominaremos une componente irreducible de Vi). De la misma forma que en le subseceiéu anterior, definimos la topologia Zariski ‘de PA(C) como al complemento en P*(C) de variedades algebraicas de P*(C). Igual {que antes, los abiertos de Zariski son densos en F*(C) y por tanto PMC) es no Housdorf con Is topologia de Zariskt. Se verfica también que los abiertos de Zariski son abiettos en Ia topologga usual de P*(C). Definieién 4.3.2. Dado un conjunto X © PMC), definimas el ideal de X en Cleo,.--,24] como ef ideal homogéneo IKI = (P € Cleo. 2 |P es homagénes, Pe) =D para toto x € X}. Igual que antes, para todo subconjunto X; y X9 de P*(C) se tiene: (XC Xp C PMC) > KM) 23%) (8) 3X UX) = 3H) 1X) (Gil) Para todo ideal howogéneo % € Cleo,....24] => T(V(@)) = VL liv} Pata todo subconjumto X CBAC) = V(GIX)} = X, la cleusura arihi de x Dado wn entero positivo & y dodo un polinemio Q € C[syy.-+)2e) de la forma OG) = DD One ab con wnix{jy +--+ Ja} > Oy sea D(Q) = mix{fi +... + ja} el grado de Q. Lucgo, denims In homogeniacién de Q en Clzp,....2e] amo st polinomio @ & Clzo,..., z4f dado por leas cnet) TE ajanse OER fal Notexe que @ es homogéneo de grado D. Br el caso mx{ji +... Je) = 0, define mos Q= Q Se definen les morfsmos de millos Tr Cboeesz] Clete sal P= Pl... 38) 24) Wp Chet] Q= Ole)LA MEDIDA DE EQUILIBRIO DE UN ENDOMORFISMO HOLOMORFO DE P(C) 38 $198 es un deal de Clz,--., 21], denotamos por al ideal en Cley,..-+24] imagen de % por, y de igual forma, si es un ideal de Cla,...,34), denotsmos por al ideal en Cfeo,.--s 24] imagen por™ Teorema 4.3.8. lentifieando C* con PC) \ Flo, se cumple que: a) Si ®B € Clap,...424] 8 1m ideal homogénen primo y X c P#(C) ta variedad proyectiva V(), entonces el cnjunto X\X He es igual ele variedad afin V(B). 2) SEB C Chat.-n.y2] 68 un ideal primo y X C CF la variaiad afin V(B), ‘entonces su clausura de Zariski X en P*(C) es la varieded algebraica V(B). Ver demostracién en (28), p22, 23. Claramente, el teorema anterior es valid identificando C* con B(C) \ Hy, para ceualquier j= 0,...8 4.4. Bl Espacio Tangente de Zariski. Dado un ideal primo de Cls,...y24h, sea. X la variedad afin de C* dada por X = V(8). Dado 5 € X, definimos el espacio Tangente de Zariski de X en Z, que denotemos par Ti,,x. como el subespacio lineal de CF definido por . ap Tax {e se) CCP mie Si Piy..+4Py son polinomios en C[zt,-...2e) tales que (Py,..., Pe} genera al ideal 2, entonces la dimeusién de Ty x ésté dada por Pie ants) =n (SEC) sete ange atin (Pon ec ease tame i}-2.=0, patado Peat. Bn el caso on que X sea una variodad proyeetiva de PY(C), dads por e ideal homogéneo primo B de C[zp,-.-, ze], ¥ dado 2 € X, suponga que el hiperplano Hy no contiene «2, qoe por tanto denotamos por 2 #2, :.-» 1 su. Doinimes @ espacio Tongente de Zatisi de X en en la eaotdenads afin Us, que denotems por Toacx, como el subespacio lineal de C* deinide por ‘ {es 1100) VS PE as 28s De forrne anéloga, se define cl espacio Tange ‘afin Uj, que denotamos por T,.,x. Para todo j= 0,...,h tales que 2 € Uj Ue se tiene que los espacios T;.,x ¥ Ti2,x son isomorfos, luego se define el espacio ‘Tangence de Zariski de X en 2, que denotamos por Tz.x. como la clase de equivae lucia de estos subespacios lineales de Cy cuya dimensién est dada como sles, tomando la dimensién de cualquier espacio representante de ta clase. Thax Definicién 4.4.1. Dada una voriedad afin 5 proyectiva X de C¥ 6 PC) respec: tivumente, defnimos la dimensisn de X como16 LA MEDIDA BE EQUILIBRIO DE UX ENDOMORFISMO HOLOMORFO DE PX(C) aim(X) = mina (Tse) Un punto Z€ X se dirg un punto suave si dim(X) = dim(Te.x), ¥ 90 dird punto singular si dim(X) < dima(1s,x). Denotaremos por Sing(X) al subconjunta de puntos singulares de X. Es dare que para todo # € PA(C) se tiene Tzpeic) = C ¥y por tanto PH(C) no tiene puntos singulares. En el caso que X sea una varieded algebraica, definimos la dimension de X como <1 indxitno de las dimensiones de sus componentes inreducibles, 4.5, Interseccién en Variedades Proyectivas. De ahora en adelante, deda tuna variedad proyectiva XC P(E) de dimensidn s, denotaremos 2 esta tltims por X* cuando queramos hacer notat Ia dimension de la variedad proyectiva, Por ttre parte, nos veferiremos a las variedades definidas por un ideal generado por polinomios lineales como planes proyectivos. Nos referiremos a los planos proyectivos fe dimeneién 1 como lineas proyectivas (notar que el caso de dimensién igual «0 se reduce a un punto). ‘Teovema 4.5.1. Pata todo r € {1,...,k) y tode variedad proyectiva XC PF(C), existe un entero positivo d tal que, si L'-T es une variedad lineal gue sotisfece: Todo elemento z de LOX es un punto suave deX y Try @T.,x = C* Entonces 1a cardinalidad de LOX es igual a. Ver demostracién en (23), p. 70, 7 El conjunto de planos proyectivos de dimensién k —r estd parametrizado por el Grassurauiniano Grese(, kr), Es un hecho conocide que existe un abierta denso de planes en Grass(k, k — r) que satisfacen las condiciones del Teorema 4.5.1 (ver [23] . 71, 72, [26] p. 08) Definicién 4.5.2. Dada wna variadad proyectiva XT © PAC), y d como en el Teoremn 4.5.1, definimes el grado de X como deg(X) := a. ‘Vor tawsbign (14) p. 171 Notar que P*(C) tiene grado 1. ‘Teorema 4.5.3. (Teorema de Bezout, Primera Versién) Sean 7.3 € (Lyo.-+k] y sean X", Y* variedades proyectivas de PA(C) con rts 2 k. Sea XN = Wi U---UWe la descomposicién de X MY en sus componentes irre- ducibles. Asumemos que 2) Para todo 6 dim(Wy} = rs =k, b) Pare todo j= 0,-.-d, existe un punto 2 € Ws tal que 2 es suave sobre X y sobre ¥, y dim(Ty.x 0 Tuy) = 1b 8 —K (coudicién de transversalidat).