You are on page 1of 18

Publ i caci ons Matemti ques, Vol 36 ( 1992) , 789- 806.

A
bstr act
COHOMOLOGIAS
ELIPTICAS
( Un
ensayo i ntr oductor i o)
GUILLERMON1011
. ENO
Al a memo7- i a de un ami go:
Pene Menal
Let a and , Ci be any angl os
then the known f or mul a sena +
/ j )
=
son n: cos
p
J - cos ason
/ 3
becomes under the substi tuti on x

=
sona, y =
son , 0, son ( a
- l -
Q)
=x

1 -
y2
- f -
y

l - x2
=
: F( x,
y) .
Thi s acl di ti on
f or mul a i s an exampl e of a " 1" or mal gr oupLaw"
whi ch showupi n many contexts i n Moder n
Mathemati cs .
In Al gebr ai c
Topol ogy sui tabl e Cohomol ogy theor i es
i nduce a
For mal
Gr oupLaws, the El l i pti c Cohomol ogi es ar e the or es
who
r eal i ze the Eul er acl di ti on
f or mul a ( 1778) : F( x, y) =: ( x

R( y)
y

R( x) / 1 - ex' y
2) .
For R( z) =1 - 26x2 +ez
4 the above case
cor r esponds to e =0, 6 =
2
.
In thi s sur vey paper we def i ne thi s Cohomol ogy
theor i es and es-
tabl i sh i ts r el ati onshi p wi th Gl obal anal ysi s
( Ati yah- Si nger The-
or em) and Modul ar hor r os f ol l owi ng
i deas of Landweber , Hi r ze-
br uch et al .
" Entr e l as di sci pl i nas
i ntel ectual es, l a Matem-
ti ca
ocupa una posi ci n ni ca. Desde muchos
puntos de vi sta es
un ar te, per o tambi n es el
l enguaj e de
l as ci enci as . Apesar de que gr an
par te
de
l a Matemti ca pr ovi ene de f uentes ex-
ter mks,
mucha de su cr eati vi dad est moti vada
i nter namente
. " 1 . M. SINGER.
" Por
l a
gl or i a del esp r i tu humano" . G. T. J A-
COBI
Una de l as car acter sti cas
f undamental es de l a i nvesti gaci n en Ma-
temti ca ( bsi ca) hoy d a, es l a
i nter r el aci n y tr asl apami ento de sus
di f er entes r amas; stas se
entr el azar a a veces del a maner a ms i nesper ada
790

G. MORENO
y poco evi dent e para dar l ugar a nuevas t eor as, desde l as cual es l os
probl emas de i nvest i gaci n vi ej os t oman un nuevo enf oque y dan l ugar
a nuevos probl emas con nuevas sol uci ones.
Est e es el caso del t ema que nos ocupa, "Cohomol og as El pt i cas", que
se podr a descri bi r como l a i nt ersecci n de vari as i mport ant es ramas,
cada una con su probl emt i ca espec f i ca, a saber : Topol og a Al gebrai ca,
Teor a de l os Nmeros ( La Teor ade l as curvas el pt i cas) , Anl i si s Gl obal
( El ndi ce de At i yah- Si nger) y F si ca Teri ca ( El model o si gma no l i neal ) .
En est e art cul o i nt roduct ori o t rat aremos de est abl ecer l os
di f erent es
i ngredi ent es necesari os para l a def i ni ci n de di chas t eor as procurando
obt ener l os ant ecedent es necesari os para poder comprender
l as
i nt errel a-
ci ones
de l as que habl bamos ; l a i dea f undament al de l a exposi ci n es
hacer resal t ar una const ant e en l a i nvest i gaci n mat emt i ca que consi st e
en not ar que en muchas ocasi ones dos probl emas ( o ms) nos l l evan a l a
necesi dad de resol ver un mi smo
probl ema numri co, es deci r, se reducen
a est udi ar
un
mi smo
f ormal i smo. Eso no qui ere deci r en pri mera i nst an-
ci a que l os
probl emas sean el mi smo o de l a mi sma nat ural eza, empero
en ocasi ones nos hace adi vi nar
causas o cont ext os est ruct ural es de l os
dos probl emas para que
el modo en que se present an y l a nat ural eza de
l as sol uci ones de uno t engan
que ver con l a del ot ro.
En nuest ro caso
di chos probl emas son el est udi o de l a Cohomol og as
general i zadas compl ej o- ori ent abl es
en Topol og aAl gebrai ca. , el est udi o de
l as curvas el pt i cas
l l amados Curt i cas de J acobi
y
el est udi o de ci ert os
i nvari ant es baj o
cobordi smo de vari edades l l amados gneros ( donde l a
si gnat ura
es el
pri nci pal
ej empl o) . Est os t res t emas nos l l evan a un
mi smo f ormal i smo,
a saber, el est udi o de ci ert os
"Logari t mos
de Leyes
f ormal es de
Grupo", que son l os que se pueden escri bi r como i nt egral es
el pt i cas correspondi ent es a l as f unci ones seno general i zado de J acobi .
En l a Secci n 1 daremos un
repaso de
di cho
l enguaj e
f ormal ;
en l a
Secci n
2
est udi aremos ci ert as curvas el pt i cas, l as curt i cas de J acobi ,
desde
un
punt o
de
vi st a f ormal ;
en l a Secci n 3 est udi aremos el f orma-
l i smo l i gado
a una t eor a de cohomol og a ( Compl ej o ori ent abl e) ; en l a
Secci n
4 def i ni rnos
l as cohomol og as
el pt i cas
recogi endo l os dat os de l as
Secci ones
2
. y
3.
En l a
Secci n 5 revi saremos
l a noci n de l ogari t mo f ormal ,
en l a
Secci n 6 veremos l o que se ent i ende
por gnero el pt i co que es; por
deci rl o de al guna manera, l a
ot ra cara de l a moneda respect o a Coho-
mol og as El pt i cas
.
En
l a Secci n
7
di scut i remos l a rel aci n ent re ci ert o gnero el pt i co
y el ndi ce
de
At i yah- Si nger
del operador de Di rac. En l a Secci n 8
t rat aremos
de mot i var el est udi o de l a rel aci n de l os t emas expuest os
COHOMOLOG AS
EL PTI CAS

791
con l a pr obl emt i ca de l a t eor a de super cuer das, r ef i r i endo al l ect or
a ot r as f uent es ms compl et as, dado nuest r o car ct er de t ur i st as en
el
t ema.
Est e
ar t cul o sur gi de pl t i cas y conf er enci as i mpar t i das en l a secci n
deMat emt i cas de
l a Uni ver si dad Aut noma de Bar cel ona en Bel l at er r a,
en
l os depar t ament os de Mat emt i cas del CI NVESTAVy UAM- I zt apa-
l apa, en
el I nst i t ut o de Mat emt i cas de l a U. N. A. M. y en el
CI MATen
Guanaj uat o. At odos l os col egas de est as i nst i t uci ones que
par t i ci par on
agr adecemos sus coment ar i os, muy en especi al a
L.
Ast ey y
a X. Gmez-
Mont .
"Per o nos
pr egunt ar nos : El cr eci mi ent o del
conoci mi ent o
mat emt i co har event ual ment e
i mposi bl e par a un sol o
i nvest i gador ent ender
t odas
l as par t es de di cho conoci mi ent o? En
r espuest a
per m t aseme seal ar cmo i nt er na-
ment e, por l a
mi sma nat ur al eza de l as ci en-
ci as mat emt i cas, cual qui er pr ogr eso r eal l l eva
dent r o de
s el descubr i mi ent o de her r ami en-
t as
ms i nci si vas y mt odos si mpl es l os cual es
al mi smo t i empo f aci l i t an l a compr ensi n de
l as
t eor as pr evi as y el i mi nan l os ant er i or es de-
sar r ol l os i ns escabr osos . Por l a adqui si ci n
el e est as
her r ami ent as ms pr eci sas y mt odos
si mpl es, el i nvest i gador
por s mi smo obt i ene
xi t o
or i ent ndose en l as di f er ent es r amas de
l as mat emt i cas . En ni nguna ot r a ci enci a es
posi bl e hacer
est o en el mi smo gr ado" . DAVI D
I - I I LBERT ( 1 900)
1 . Repaso
sobr e Ley de Gr upo For mal
Def i namos a 1 V1 como un ani l l o
( gr aduado) con 1 y a x t i na i ndet er mi -
nada ( de gr ado - 2) AI [ [ x] ] denot a el
ani l l o de ser i es f or mal es en x con
coef i ci ent es en 1 V1 , un
el ement o t pi co es de l a f or ma
, . >o
ai xi
a
E1 1 ~1
.
_2i
.
M[ [ x, y] ] denot a el ani l l o de ser i es f or mal es en dos var i abl es x e y ( de
gr ado - 2 ambas) con coef i ci ent es en M. Un el ement o t pi co es de l a
f or ma
F( x, y) =1:
ai . j x' y~

con
a?7
EM_2( i +
. 7)
.
, j >0
792

G. MORENO
Def i ni ci n. Unal ey de grupo f orl i l al sobreMes unel ement oF(x, y)E
M[[x, y] ] , est o es, unaseri e f ormal que cumpl e l as si gui ent es propi edades :
1) F(x, 0) =x, F(0, y) =y (I dent i dad)
2)
F(x, y) =F(y, x) (Conmut at i vi dad)
3)
F(F(x,
y), z) =F(x, F(y, z)) (Asoci at i vi dad)
4)
Exi st e
i (x)
E
M[[x] ] t al
que F(x, i (x)) =
0
(La exi st enci ade
un
i nverso) .
Se puede veri f i car " f ci l ment e que l as propi edades def i ni t ori as son l as
t res pri meras, yaque 4) se puede deri var de el l as . Observamos t ambi n
que 2) nos di ce que
ai . 7
=
aj i

para t odai , j >0 .
Ej empl os .

(a) F(x, y) =x +y " Lal ey adi t i va" es deci r que
ao1 =
a
j
o
=1
y
ai 7
=
0
ent odos
l os ot ros
casos. Sepuede deci r i nmedi at ament e
que i (x) =-x.
(b)

F(x, y) =x +y +xy =(1 +x)(1 +y) - 1 -es deci r
aoj =aj o =1
y
al , =1
ai 7
=
0 en t odos l os ot ros casos, est a l ey de
grupo f ormal es conoci dacomo " mul t i pl i cat i va" es f ci l deduci r t ambi n
que
i (x)

1
+
x
-
1
n>1
El t eoremapri nci pal de l a t eor a de grupos f ormal es al menos en l o
que a nuest radi scusi n conci erne es :
Teoremade Lazard. Exi st e un ani l l o Lgraduado conmut at i vo y con
1 y unal ey de grupof ormal Fu(x, y) sobre L t al queparat odo ot ro ani l l o
My seri e f ormal F(x, y) sobre l , exi st e O:
L ->M
homomorf i smo de
ani l l os graduados con l a propi edad de que si
Fu
(x, y) =
i , j >o
i , j >o
Ci i xi yi ,

Ci j
E
L,

ent onces
(Ci j ) x, YJ .
Est e
t eorema
se puede
resumi r
di ci endo
:
dadaunal ey de grupo
f ormal
sobre
M
a st al e corresponde (unni co)
homomorf i smo
de
ani l l os
de
L
a
M
.
Tal
. ani l l o
uni versal
se puede const rui r
:
L =71
[t i ,
t 2,
. . . ] donde el
grado
de t i es +2(i +J ) +
2
.
Paraunacompl et a versi n de est a secci n recomendamos el l i bro de
M. Hazewi nkel ,
vea
[H]
en l abi bl i ograf a.
COHOMOLOGAS
13Ll PTI CAS

793
2. Gruposformal es yfunci ones el pt i cas
Tomemose y8 comoparmet ros ydefi namos R(x) =1 - 28x2 +Ex4
un
pol i nomi ode cuart o
grado, y
con l defi namos
dt
g(x)
=
l oxR(' t )
Est ag(x) es conoci da comounai nt egral el pt i ca de J acobi (vea [ Ha]
en l a bi bl i ografa) .
Paraci ert as sust i t uci ones de
l os parmet ros 6 y E est a g(x) nos es
conoci da:
=
arcsenx.
=
arcsenhx.
=arcsenl x l a funci n
i nversa
del senol emni sct i co.
Si 0<~<l yE=k2 y8=
k221, g(x)=fx

d-r

=
O
(
1- T2)(1+
k2T2)
arcsenJ x; est aes l a funci n i nversadel o que se conoce col eoel senode
J acobi que
i nt ervi ene cent ral ment e enel probl emadel pndul omat em-
t i co.
El nombredeel pt i co, comoes bi ensabi do,
provi enede que el i nt ent ar
cal cul ar
l a l ongi t ud de unsegment ode el i pse nos conduce i rremedi abl e-
ment e al cl cul o. de i nt egral es de est e
t i po, que nose pueden eval uar
con funci ones el ement al es. Nuest ros t res
pri meros ej empl os provi enen
del casoci rcul ar, hi perbl i coy
l emni sct i co(vea [ Ma] enl a bi bl i ografa,
pgi nas 96 enadel ant e) . _
Del a t ri gonomet ra el ement al sabemos que parangul os dados
ay0
l a l ey
de adi t i vi dad del senoes
sen(a+, 3) =
senacos
Q
+
cosnsen, 3.
Si hacemos l a
sust i t uci n x =sena

y =senfl y recordamos que
cose p=1 - sen2
~3
ysi mi l ari nent e paraa, podemosver que
sen(a+/0) =x

1
--y2 +y

1
--x2
- x

R. (y)
+y

R(x)
para E =0y 6 =
2
enl a frmul ade arri ba.
Cl arament e F(x,
y)
=x

R(y)
+y

R(x) es unal ey de grupoformal ,
veri fi que que cumpl e l as t res propi edades menci onadas.
Si E =0y6 =

g(x) =
fo
dTT
Si E =0y6 =-

g(x) =
fo
+T
Si
E =-1 y 6 =0 g(x) --
fo
dTT
794

G. MORENO
Lal ey de adi t i vi dad parag- 1( x) , es el caso general de l a ant eri or, y
es l a l ey de grupo f ormal
FEl l ( x, y)
=
x

R( y)
+
y

R( x)
1 - ex2y2
que es conoci dacomo l a l ey de adi t i vi dad de Eul er y dat ade
1768. ( Vea
[Ma] parauna demost raci n, especi al ment e
el Cap t ul o
I V) .
Dado un pol i nomi o P( x) de grado 3 4, a l a curva que def i ne l a
ecuaci n y2 =P( x) es conoci dacomo unacurvael pt i ca; o t cni cament e
una curva al gebrai ca
de gnero
1 ;
a l a i nt egral
g
( x) =
f o

P
( T )
se l e
conoce como i nt egral el pt i caasoci adaal acurvay2 =P( x) y al af unci n
g
- 1( x)
como l a f unci n el pt i ca asoci ada, a l acurva.
Exi st e una t eor a general paraasoci aci n de una l ey de grupo f ormal
auna curvael pt i ca dada; l o que nosot ros hi ci mos arri ba f ue ent ender el
caso part i cul ar y2 =1- 26x 2 +ex 4 =R( x) conoci dacomo l a curt i ca de
J acobi . ( Vea el l i bro de Si l verman [Si ] en l a bi bl i ograf a, especi al ment e
el Cap t ul o I V)
.
Acl aramos que en t odal a di scusi n de est asecci n hemos consi derado
f unci ones a val ores real es def i ni das sobre R, pero para evi t ar posi bl es
probl emas t cni cos podemos pensarl as def i ni das y con val ores en C, l os
nmeros compl ej os .
3. Ley de grupo f ormal y t opol og a al gebrai ca.
SeaE*( ) unat eor ade cohomol og amul t i pl i cat i va con ani l l o
espect ro
Ey coef i ci ent es 7r*( E) y CP =l i mCP` el espaci o proyect i vo compl ej o
i nf i ni t o.
Def i ni ci n. Lat eor a de cohomol og a E*( ) es compl ej o ori ent abl e
si E*( CPw) =7r*( E) [[x]] un ani l l o de seri es f ormal es sobre el ani l l o
graduado 7r *( E) con x unai ndet ermi nadade di mensi n - 2.
Ej empl os .
( 1) Si E- ( ) - H* ( ; 7L) , ent onces t enemos l a cohomol og a ordi nari a
H*( CP; Z) =7L[x] C 71[[x]] .
( 2) Si E*( ) =K*( ) l a K- t eor a compl ej a, ent onces K*( CP) _
7L[[x]]
donde x =

- 1 y

es el haz de Hopf canni co sobre CPI .
( 3) Si E*( ) =MU*( ) es el cobordi smo compl ej o, ent onces t en-
dremos E*( CP) =7r*( MU) [[x]] .
( 4)
E*( ) =KO*( ) l aK- t eor a. real no es compl ej o ori ent abl e. ( Ver
[Sw, Cap t ul os 17y 18] en l a bi bl i ograf a) .
COHOMOLOGASHLPTI CAS

795
ComoH*(CP; Z) es l i br e de t or si n ent onces
E*(CP' x CP) =E*(CP-) E*(CP-) =7r
(E)[ [ xi , x2] ]
.
7r . l E)
Si
~y
denot a el pr oduct ot ensor i al de haces l i neal es sobr e CP
xCP',
ent onces exi st e y: CP x CP --> CP', el mapeocl asi f i cant e, el
cual
i nduce una mul t i pl i caci n sal vohomot opa en
CP' . Al t er nat i vament e,
p puede ser def i ni da comol a mul t i pl i caci n de l azos en
CP-=
K(7L, 2) =QK(7; 3)
Suponi endoque E*(
)
es
compl ej o-or i ent abl e, t endr emos que
p*
: E*(CP') -> E*(CP' x CP')
def i ne un
homor f i smode ani l l os de ser i es f or mal es
p, * : i r
. (E) [ [ x] ] ->
7F*
(E) [ [ XI , x2] ] -
Luego
p*
(x) =
Fc(xl , x2)
es l a l ey de gr upof or mal asoci ada a E*() .
Ej empl os .
(a) Si
E*( ) =H*( ; 7L), ent onces noes di f ci l ver que Fi l a (x1,
x2)
_
x
l +x2
vea ej empl o (a) de
l a Secci n 1 .
(b) Si
E*( )=K*( )ent onces K*(CP1 xCP1)
=7L[ [ xl , x2] ] ,
donde
xl =~-1 y
x2
=r l -1, denot ando~y
y
dos copi as del haz
canni co
de l neas de Hopf , ent onces
FK(x1, x2) =(x1
+1
)(x2
+
1) -1 =
XI
+x2 +xl x2
Vea ej empl o (b) de l a Secci n 1 .
El t eor ema f undament al sobr e l ar el aci n ent r e t eor as de
cohomol ogas
compl ej oor i ent abl es yl eyes de gr upo
f or mal
es :
Teor ema de Qui l l en. El ani l l o de
Lazar d L
es i somor f o
al ani l l o de
cobor di smo compl ej o7r *(MU) yl a l ey
uni ver sal de gr upof or mal sobr e L
es
Fu(xl ,
x2)
=
FAI U(xi ,
x2),
l a l ey de gr upof or mal asoci ada
a MU*( ) .
Par a una demost r aci n de est e r esul t ado, vea el
l i br o
de J .
F. Adams
[ Ad] en l a bi bl i ogr af a. En nuest r a i nt er pr et aci n del t eor ema de Lazar d
en l a Secci n 1 habamos seal adoque L
. y
Fv (x, y) comoobj et os uni ver -
sal es en ci er t ocont ext oi . e . , est os "domi naban" a t oda par ej a M, F(x, y) .
796

G.
MORENO
Deaqu queel teorema deQui l l en nos di ce quetodas l as teor as deco-
homol og a compl ej o ori entabl es estn domi nados por MU*( ) yconse-
cuentementepor "enci ma" deMU*( ) no hayteor as compl ej o
ori enta-
bl es; tratando deser ms preci sos, consi deremos el di agrama
7r*( ) - ;
. . . - MU*(
) - '
.
. . K*
( ) - H*( ; Z) ;
donde 7r*(
) denota l a cohomol og a establ e y
l as
f l echas l a f actori zaci n
del mapeo ("edge") ari sta en l a sucesi n espectral de
Ati ya, h- Hi rzebruch,
entonces l as teor as decohomol og a a l a derecha deMU*( )
son compl ej o
ori entabl es ya l a i zqui erda deMU*( ) no admi ten el f ormal i smo
del as
l eyes degrupo
f ormal .
Esto qui z seal e al l ector l o i naccesi bl equees el cal cul ar l a cohomo-
top a decual qui er espaci o oen otras pal abras cuanto ms a l a i zqui erda
estemos en el di agrama ms di f ci l es el cal cul ar pero ms
i nf ormaci n
se
obti ene ycuanto ms a l a derecha es menos di f ci l cal cul ar pero
menor
es l a i nf ormaci n queseobti ene. (Para esta secci n recomendamos
l a
l ectura de [ Ad, Secci n
2] ) .
4. Cohomol og as el pti cas
Deacuerdo con l a Secci n 3 todateor a decohomol og acompl ej o ori en-
tabl e ti ene una l ey degrupo f ormal asoci ada, bi en nos pudi eramos pre-
guntar
:
Dada
una l eydegrupo f ormal sobreci ertos coef i ci entes apropi -
ados
exi ste una teor a decohomol og a compl ej o ori entabl e con esos coe-
f i ci entes ycon
di cha l ey degrupo f ormal asoci ada?
Nose conoceuna respuesta compl eta a esta pregunta, pero para casos
parti cul ares se puedeobtener una respuesta
af i rmati va
;
notabl ementese
ti ene.
Teorema
(Landweber- Stong,

1985) .

Para

FE11(x, y)

_
- EX
y
E
'
)
1 -

,
l a l ey
de
grupof ormal asoci ada a l a curti ca de J acobi
ex
y2 =R(x) en l a Secci n
2, exi ste una teor a de cohomol og a compl ej o-
ori entabl e que denotamos
por E11*( ) ; l l amada l a cohomol og a el pti ca .
(Vea l os art cul os de
Landweber en [ La] .
5. El l ogari tmo deuna l ey degrupo f ormal
Pocodi j i mos acerca decohomol og as el pti cas en l a Secci n
4ms al l
desu def i ni ci n. Para eso necesi tamos ms herrami entas teri cas
.
Def i ni ci n
. Sea F(x, y)
una l ey
de
grupo f ormal sobre Mun ani l l o
(como arri ba) l a di f erenci al f ormal asoci ada a F(x, y) es
Ej empl os .
(a) F(x, y) =
x
+
y
ent onces
F
=
1 , as W(T) =dt .
(b) Si F(x, y) =x
+y +
xy ent onces ==
1
+y

W(T)
=
1 +7' .
(c) F(x, y) =
FF1 1 (x, y)
_

x
a
y) +y~~(
. r)
ent onces
al ,
=

R(y)
+
x
G(x, y) donde G(x, y) es
ci ert a f unci n que depende de . ry ( veri -
f quel o! ) . as es que
Wcl 1 (T)
=R(T) 21 dT.
La f orma di f erenci al W(T) es
de part i cul ar i mport anci a, dadoque dej a
i nvari ant e a F(x, y) est o es,
W(F(T, S) ) =W(T) ,
. y
cumpl e t ambi n que
W(0) =dT. Adems, W(T)
es l a, ni cacon l as dos propi edades descri t as .
(Vea [ Si , Cap t ul o
I V, Secci n 4, pgi nas 1 . 1 9 y 1 20] ) .
Def i ni ci n
. El l ogari t mo f ormal de F(x, y) es :
La exponenci al f ormal de F(x, y) es l a seri e de pot enci as
i nversa a
1 09F(T)
y se denot a
expr (T) , es deci r,
Ej empl os .
W(T) -
C
OF
(X
,
y) (0
T) ~
- 1
dt
E
M[ [ T] ] dt .
(a) Si F(x, y) =x
+y,
ent onces l ogF(T) =T=
exp(T) .
(b) Si

F(x, y)

=

. x
+
. y
+
. xy,

l ogF(T)

=

f (1 +
T) - 1 dT

=
1 T
"
00
,
, y
l uego exp(T) =1 : l _. En t rmi nos de l a no-
n- 1

, 1 =1
t aci n del cl cul o,
l og1 , (T) =l og(1
+
T) y expF(T) =eT-
1 .
(c) Para
FEl , (x,
y) , t enemos
l ogF1 1 (T)
=
. ~
M7F1 1
(T) =f R(T)
21 dT
=

dT

=
9(t ) .
R(T)
Est a l t i ma es l a i nt egral el pt i ca est udi ada en
l a,
Secci n
2y exp(T) =
9
- 1 (T) l a f unci n seno general i zada. Ahora bi en, not emos que (1 - 2zT+
1
, 2
)
- 1 =E
P, 1 (z) T` es l a f unci n generadora (l e l os "pol i norni os de
n>0
Legendre" P, , (z) , l os cual es est n dados por l a f rmul a
Po(z) =1 ,

P, z (z) =
COHOMOLOG AS EL PTI CAS

79
7
1 09F(T)
=
J
W(T) dt
EM

Q[ [ T] ] .
l ogr (expF
(T) ) =
eXPF(l ogF(T) )
=
1
.

(2n
-
2r) !

, L_2, .
(- 1 )

2' Er! (n - r) ! (n, - 2r) !
z
7. 98

G. MORENO
donde m=
2
or ni =
n21
dependi endo
de
que m
sea unnmer o ent er o.
Haci endo una sust i t uci n adecuada, podemos ver
que
n>o
y Pn( z , 0) =Pn( z ) , l uego ent onces
P, , ( 6 , E) T
2n

con
P, ( S , E) =
Pn( S /E) En~2
Pa
( s, E)

2n+1
l ogE11( T) _

2n
+
1
T
Una pr opi edad i mpor t ant e de l as ser i es f or mal es l og( T) y exp( T) en
M

Q[ [ T] ] es que podemos r ecuper ar F( x, y) r aci onal i z ando l os coef i -


ci ent es . S i mpl ement e obser vamos que gr aci as al a pr opi edad de i nvar i an-
ci a, W( F( T, S ) ) =W( T) , as es que i nt egr ando ambos l ados con r espect o
a Tt enemos que
l o9F
F( T, S ) =l og( T) +f ( S )
dondef ( S ) es unaconst ant e de
i nt egr aci n f
( S ) E
Mq[ [ S ] ] .
Haci endo
T=
0 y r ecor dando que w( 0) =dTvemos que,
f
( S )
=
l ogF( S ) .
De est a maner a obt enemos l a i mpor t ant e
f r mul a
F( T, S ) =
eXPF
( l og( T) +l og( S ) )

en
MQ[ [ T,
S ] ] .
As en nuest r o ej empl o FE, , ( x,
y) =g- 1
( g( x)
+g( y) ) , que es_ l a
f r mul a
de Eul er ( S ecci n
2) .
A maner a de concl usi n podemos
r esumi r
l o
ant er i or
en
l a f r ase si -
gui ent e:
Raci onal ment e el l ogar i t mo def i ne a l a l ey de
gr t po
f or mal
.
Vol vi endo a l a expr esi n de
l ogE11( T)
en
t r mi nos
de l os
pol i nomi os
de Legendr e podemos
ver
que l os
coef i ci ent es de
FE, ,
( x,
y)
y
conse-
cuent ement e l os de l a cohomol og a el pt i ca son l os de P, L( S /E) En~2 , as
obt enemos:
Teor ema ( Landweber ) . Los coef i ci ent es de E11*( ) son l os de
Pn( S /E) E"
12,
es deci r , El l *( pt ) =7L[ 1/2, E, S ] . ( Vea [ La] ) .
. Una cuest i n i mpor t ant e que deseamos r esal t ar es que 7L [ 1/2, E, S ] es
un ani l l o de `f or mas modul ar es" y es exact ament e el gener ado por l os
COHOMOLOGAS
EL PTI CAS

799
mapeos T- - > T
+
2yT- - > - T- 1, donde TEH( =el semi pl anosuper i or de
C) ; el gr upogener adopor est os mapeos es subgr upodel quees gener ado
por T- - > T
+
1 yT- > -r - 1, que se conoce como el gr upo
modul ar
r =
SL2( 7L)/ {f I }. ( Veael l i br o de J . P. Ser r e [ Ser ] par t e segunda) .
Est o nos hace ver que l a t eor a de f or mas modul ar es y cohomol ogas
el pt i cas est n est r echament e uni das, y podr amos deci r queest a
r el aci n
ent r e el l as nos per mi t e "vaci ar " una par t e de l a t eor a de l os nmer os
( l as cur vas el pt i cas yl as f or mas modul ar es) en l a t opol oga
al gebr ai ca.
l ogw( t ) =
6. Gner os
el pt i cos
Def i ni mos S2* como el ani l l o de cl ases de cobor di smo
de var i edades
compl ej as ( casi est abl es) .
Por un t eor ema
de
Mi l nor yThom( vea [ St ,
pgi na 41] )
; S2'
=7L[ x 1,
x2,
. . . ,
x, , ....
] es
un l gebr a de pol i nomi os en
l as
xi ' s,
donde deg
xi
=
- 2i y
xi
puede ser r epr esent ada por unavar i e-
dad pr oyect i vacompl ej a al gebr ai ca.
En gener al no es posi bl e hacer una
sel ecci n canni cade l as
xi ' s,
per o r aci onal ment e t enemos que
donde
[ CP"]
es l a cl ase de cobor di smo del n- si mo
espaci o pr oyect i vo
compl ej o en C"
- 1 .
Aunque
i ndi vi dual ment e cada
[ CPn]
E
Q'
*
, st os no
gener an aQ` por quepor ej empl oel gener ador deSZ'
4 Q
es ( 2
( [ CP2
] )+
[ CP1] 2) .
Def i ni ci n. Ungner o es un
homomor f i smo de ani l l os
con
cp( 1) =1

1 =[ CP ]
E
S2* .
Por l o di cho ant er i or ment e
cp
se
puede det er mi nar r aci onal ment e por su
acci n sobr e l as [ CPn] ' s.
Def i ni ci n.
El
l ogar i t mo del gner o cp es una ser i e de pot enci as
~o( [ CP"] ) t n+l
=

~P( [ CP"] )t "dT

en
Q[ [ t ] ] .
n+1
7L>0

7L>0
Ej empl os.
( a) El gner o de Todd, que se def i ne como
cp =Td : S2; - - >
Z,

Td( [ CPn] ) =1

par at odan>0
es cl ar ament eungner o, y
l ogTd( T)
=
+~
=- l og( 1 - T), dondeel
l t i mo "l og" denot a el l ogar i t mo habi t ual
.
800 G. MORENO
( b) Lasi gnatura: Sea
M-
unavari edad compl ej acon
[M]
E
Q'
.
Si di mM=4k, entonces
H4k( M
; Q) =Q
est generado por
P4k,
l a
cl ase f undamental de
M.
' Como
H2k
( M; Q)
es
un grupo l i bre - con
un
nmero
f i ni to
de
generadores, di gamos al , . . . , as , entnces el producto
"cup" de az y
aj ,
aUaj E
H4k ( M;
Q)
;
as tenemos %=( aj Uaj ,
l 14k)
E
Qy l amatri z ( a2j ) resul taser si mtri ca de orden s x s con coef i ci entes
en
Q
.
Def i ni ci n. Lasi gnaturade M"en"
SZ*
estadadapor'
o' ( M)
_

0

si di mM- 2 mod 4
- {l a si gnaturade ( a
2j
)

si
di mM-
0 mod
4.
Recordamos que si [AI ] ES2* entonces l a
di mensi n
Mes par y que l a
si gnaturade unamatri z
( %)
cuadradaes l a di f erenci a entre el nmero
de ei gen- val ores posi ti vos y el de ei gen- val ores negati vos.
Para una demostraci n de que Q

:

SQ. - >
Q
es un gnero, vea
[Mi - St,
Cap tul o 17] . . Para el estudi o de
vari edades ori entabl es
de
di m-
0
mod 4 es un i nvari ante f undamental paral a cl asi f i caci n de
vari edades
de
di mensi n 4veapor ej empl o el l i bro de P. S. Freed and K.
K. Uhl enbeck [F- U] .
ComoH* ( CP'
; Q)
_

+, con di mx =2; obtenemos que H( CP
2k
Q)
ti ene unsol o generador ak =xk en di mensi n 2k, as
ak, k
=,
( x2k,
P2k) _
1 ; de donde o. ( CP2k) =1 parak =0, 1, 2, . . . .

( Vea [St, ' pgi nas 219-
220]) . Por l o tanto;
t2n+1
l ogo
( T) =
E
2n
+1 =
JEt2ndT
=

1
n=0 n=0
0
Def i ni ci n. Ungnero
cp : S2* - >
Q
es el pti co si
l ogw( x) -
J
~( 1 -
287- 2
+
ET4) - 1/ 2dT
0
dt
-
7- 2 .
estoes si el
l ogari tmo de cp es el l ogari tmo de al gunacohomol og ael pti ca.
En nuestros
ej empl os Todd no es el pti co y l a si gnaturaes un gnero
el pti co
( hagamos l a susti tuci n E=0 y 8 =1/ 2 entonces ( 1 =287- 2 +
ET4) - 1/ 2
=

1

.
11
- 7- 7'
Unade l as propi edades i mportantes de l a si gnatura es que es f uerte-
mente rri ul ti pl i cati va, es deci r, que si P - > E- > Bes un f i brado de
vari edades en S2* entonces u( E) =Q( F) o, ( B) , ( vea[C. H. S. ] .
Notabl emente Ochani ne y Taubes ( vea [Och]
y
[Taf i a]) demostraron
que estapropi edad caracteri za a l os gneros el pti cos:
COHOMOLOGASELPTI CAS

80
1
Teorema. c p : S2* - >

es ungneroel p t i c o si y sl osi es f uert ement e
mul t i p l i c at i vo.
Ahora bi en, dado quel og, rr ( T) y l og, se
p ueden c al c ul ar v a p ol i -
nomi os deLegendre, p odemos
deri var
l a
f rmul a
W( CP2n)
=
Pn( 6, E) =
Pn( S/E) En12
y ( c on un p oc o de suert e) c al c ul ar el
gnero el p t i c o de c ual qui er va-
ri edad.
Por
ot ro
l ado, p odemos ver que, ap esar de su i mp ort anc i a, l a
si gnat uraes unc aso
"muy p art i c ul ar" degneroel p t i c o. Por p art i c ul ar
queremos dec i r
que l og, ( x) =
f o
r
` l T2
=t anh - 1 ( x)
. y
que t anh ( x)
es rri onop eri di c a c omof unc i n el p t i c a ( rec ordemos que una f unc i n
el p t i c aes mono dobl ep eri di c asi 0=E( S2 - E) 2 , el di sc ri mi nant e, es
i gual o di st i nt o dec ero resp ec t i vament e) , p uest oqueenest e c asoe =0,
es dec i r 0=0. As es quet odos l os gneros c onp er ododobl eest np or
desc ubri rsey usarse.
Ahorayanos p odemos p regunt ar sobreel l ugar queoc up anl as t eor as
dec ohomol og as el p t i c as enel di agrarna det eor as dec ohomol og as en
l a Sec c i n 3: p or el t eoremadeLazard- Qui l l en, . E11* ( ) se enc uent raa
l a
derec hadeMU* ( ) ;
p or ot ro l adoobvi ament eMU* ( ) noes el p t i c a
. y
c omoel l ogari t model aK- t eor aes l og( 1 +T) , quenoes una
f unc i n
el p t i c a,
c onc l ui mos que
- s( ) - '
. . . - >MU* (
) -
.
. . , E11* (
)
, K
* (
) ,
es dec i r, l as t eor as dec ohornol og as el p t i c as son "menos" queel c obor-
di smo y "ms" quel a K- t eor a.
7. Gneros el p t i c os
y l at eor adel I ndi c e de
At i yah- Si nger
Hi rzebruc h ( en
[ Hi ] ) p rop orc i ona un mt odo p arac onst rui r gneros ;
00 a saber
:

Tomemos f ( x)

_

E
ai xe
una seri e f ormal sobre Q c on
=o
ao =1 .

Si zl , x2, . . . , x, 1 denot an n- i ndet ermi nadas, ent onc es el p ro
duc t of
( XI )
-
f ( X2)

. . . - f ( x, ) es unaseri edep ot enc i as f ormal , l ac ual es
si mt ri c aenl as vari abl es x1 ;
. . .
. x, , p or l ot ant of ( XI ) - f ( x2) ' . .
4( xn)
=
Pf
( al ,
. . . , o- n) dondeo, , , . . . , o, , , son l os p ol i nomi os si mt ri c os el e~
k=o
ment al es en xi , . . . ; x. , , y Pf es un p ol i nomi o ( que dep ende de
f ( x
homogneoel e p esok.
802

C. MORENO
Si
l ;
es
un haz vect or i al de r ango n sobr e una var i edad M, en-
t onces P
f
" ( cr
( M), . . . ,
cn( M))
es una cl ase car act er st i ca def i ni da en
H`( M; Q), donde e ( M) es l a i - dsi ma cl ase car act er st i ca de Cher n.
Si
pm
E
H2n
( M
;
Q)
denot a l a cl ase
f undament al de Ment onces l a eva-
l uaci n
( Q
f
( C, ( H) ....
; Cn( M))
; i cm)
EQ
det er mi na unhomor f i smo de
ani l l os de SZ* en Q, el cual es i nvar i ant e baj o cobor di smo ( r ecor demos
que l os nmer os car act er st i cos det ect an cl ases de cobor di smo), y di cho
homor f i smo es el gner o asoci ado a f ( x) =1
+

ai xi .
r =r
Amaner a de ej empl o: el gner o de Todd cor r esponde a f ( x) =
1- -
( par a una apl i caci n de est e t i po de const r ucci ones en t opol og a al ge-
br ai ca vea
[Mo]) ;
l a
si gnat ur a cor r esponde

x x
et c .
t anh
Hacemos especi al menci ndel gner o que cor r esponde a l a ser i e
x/ 2

_
. f ( x)
sen h,x/ 2
est e se l e conoce
cor no el - gner o
. y
es de par t i cul ar i mpor t anci a par a l a
t eor a del I ndi ce del oper ador de Di r ac . No es di f ci l ver que el
A- gner o
es el pt i co, y su l ogar i t mo cor r esponde a l a sust i t uci n E=0 b
est o es, l og( x)
=
f 0
( l
+~
72 )- ' dt .
Si el l ect or se pr eocupa por est e cl cul o, l e r ecomendar nos el si gui ent e
ej er ci ci o : D condi ci ones necesar i as y suf i ci ent es sobr e f ( x) de t al modo
que
el gner o def i ni do sobr e f ( . x) sea el pt i co.
Di sgr esi n
sobr e el
oper ador de Di r ac .
Si Mes una var i edad Ri emani ana de
di mensi n nor i ent abl e t al que
l as f unci ones de t r ansi ci n del haz t angent e t oman
val or es en el gr upo
Spi n( n), l a dobl e cubi er t a de SO( n), el
gr upo de r ot aci ones en
Rn,
en-
t onces deci mos que Mes una var i edad Spi n( n),
o equi val ent ement e que
l a segunda cl ase car act er st i ca de
St i ef el - Whi t ney
de
Mse anul a.
Como
Spi n( n) t i ene ur ca r epr esent aci n f i el de di mensi n 2e si n=
2P
ent onces
exi st e un haz vect or i al v ( cuya f i br a es V) asoci ado del
haz
t angent e.
Ll amamos a v el haz de Espi nor es de M. Puest o que v t i ene
una conexi n
Ri emani anaconoci da ( di gamos V), y si endo 70 l a conexi n
en
M
dadapor
l a mt r i ca Ri emmani ana; se puede def i ni r el Hessi ano de
dos
campos vect or i al es Xe Ysobr e 117 como
h( X, Y) f
=
{7x7Y
-
DooxY}
. f ,
par a f una secci n del haz de Espi nor es .
COHOMOLOGASELPTI CAS

803
El Lapl aci ano es el operador di f erenci al el pt i co* dado por l a t raza del
Hessi ano
Lf =

h( ez, ei ) f
i - ~
cuando {el , . . . , en} es un marco ort onormal
.
Si r( J ) denot a l as secci ones del haz vect ori al
1
sobre
M.
Ent onces el
operador de Di rac es :
D: r ( v) - - - > r ( v)
def i ni do como 7
o
rn cuando V: 1( ) + ( T* ( 9 v) es l a conexi n Ri ema-
ni ana habi t ual , T* el dual del haz t angent e y rn : F( T* 0v) - - > I ( v) es l a
mul t i pl i caci n de Cl i f f ord heredada de V. Fci l ment e se puede ver que
D2 =- L, l uego Des el pt i co* .
Como l as l gebras de Cl i f f ord Cn son 7L/ 2 graduadas, Cn =Cn+
Cn- est as i nducen una esci ci n en V=V+ m
V- l uego en v
=v* v-
y por def i ni ci n
donde Des el operador
de Di rac.
n
D
:
F( v+)
- - - ,
r( v- )
.
Fi n de l a di sgresi n ( vea [ Ku] ) .
Por def i ni ci n el ndi ce de un operador en deri vadas parci al es
D
el pt i co* es :
I ndi ce( D) =di me ( Ncl eo de D) - di me ( concl eo de D) .
Est os nmeros son f i ni t os
por ser
D
el pt i co
.
El t eoremade At i yah- Si nger es reconocer el l ado derecho de l a si gui ent e
i gual dad en t rmi nos de K- t eor a ( en t rmi nos del carct er de Chern) .
I ndi ce ( D) =( M) ,
8.
Cohomol og as El pt i cas
y l a Teor a Cunt i ca de Campos
El ndi ce del operador de Di rac se reduce al cl cul o de ci ert o gnero
el pt i co el - gnero de l a vari edad y di cho operador
est i nt i mament e
l i gado a l a K- t eor a. As surge l a
si gui ent e
pregunt a
( E. Wi t t en) ( [ W,
pgi na 52 6] ) . Exi st e un operador anl ogo al de Di rac cuyo ndi ce est
dado por gneros el pt i cos?
*Aqui l a pal abra el pt i co es en el sent i do de l as ecuaci ones en deri vadas parci al es, no
conf undi r con el usado en l as secci ones ant eri ores ( vea el l i bro de Treves [ Tr1) .
80
4

G.
MORENO
Al o que el mi smo Wi tten responde: El operador en cuesti n es el
que corresponde a " l a supercarga del model o si gma no l i neal super-
si mtri co" en l a Mecni ca Cunti ca ( vea [G. S . W. ,
Vol
. 1 ; pgi nas
1 60- 1 61 ]) . Wi tten concl uye en el art cul o ci tado : " Las Cohomol og as
El pti cas estn desti nadas a, i l umi nar
l a
mi steri osa general i zaci n de l a
geometr a ( Ri emani ana)
ordi nari a y
l a topol og a que
representa l a
teor a
de Cuerdas. Unas Teor as de Cohomol og a El pti ca propi amente desar-
rol l adas servi rn para averti r al gunal uz sobre l o que l ateor a de cuerdas
real mente si gni f i ca" .
Uno de l os probl emas central es para di cha general i zaci n es que el
Anl i si s Matemti co que hay detrs del l ado i zqui erdo en l a i gual dad
ti po Ati yah Si nger no es un anl i si s matemti co sobre ti na vari edad
M
de di mensi n f i ni ta ( Anl i si s gl obal " Cl si co" ) si no que se tendr a que
hacer sobre " el grupo de l azos de una vari edad' ' , l o que resul ta ser una
vari edad de di mensi n i nf i ni ta ( vea [P- SI ) . Este anl i si s no est del todo
desarrol l ado . ( Vea el art cul o de Segal [Se] en l as ref erenci as sobre este
punto) .
Concl usi n
.
Podemos
resumi r
nuestra
di scusi n en el si gui ente di agrama:
COHOMOLOG AS
GENERALI ZADAS

NDI CEDEOPERADORES
COMPLEJ O- ORI ENTABLES

ELI PTI COS ENVARI EDADES
LEYES DEGRUPOS
FORMALES

GNEROS
Logari tmo de una Ley de Grupo
Formal

~>

Logari tmo de un Gnero
Si nos restri ngi rnos al caso el pti co podemos cerrar el di agrama
. en su
parte i nf eri or ( en dobl e f l echa) y transi tar de una col umna a l a otra.
Bi bl i ograf a
[Ad] J . F.
ADAMS, " Stabl e homotopy andgeneral i zed homol ogy, " Uni -
versi ty of
Chi cago Press; 1 974.
[A- S] M. ATI YAHANDI . M. SI NGER, The i ndex of el l i pti c operators
I I I , Annal s of Math. 87( 1 968), 546- 604.
[C-
H-
S] S.
CHERN, F. HI RZEBRUCHANDJ . P. SERRE, Onthe i ndex
of a f i bered
mani f ol d, Proc. Amer . Math. Soc . 8 ( 1 957) .
[F- U]
D. S.
FREEDANDK. K. UHLENBECK, " I rzstantons and
f our- mani f ol ds, "
M
. S
. RA.
Publ i cati ons
1 , Spri nger
Verl ag, 1 984
.
COHOMOLOGASELPTI CAS

805
[C-S-W] M. B.
CREEN,
J .
H. SWI NVARZANDE. WI TTEN, "Sz1per -
st r i ng
Theor y," Cambr i dge Monogr aphs en Mat her nat i cal Physi cs,
1987
.
[H] M. HAZEWI NKEL, ' ' Fonmal gr oups and appl i cat i ons," Acader ni c
Pr ess . 1978.
[Ha] H.
HANCOCK, ' `El l i pt i c i nt egr al s," Dover Publ i cat i ons, 1958.
[Hi ] F. HI RZEBRUCI -I , "Topol ogi cal met hods i n Al gebr ai c Geomet r y,"
Spr i nger -Ver l ag, 1966.
[Ku] R, . S.
KULKARNI , "I ndex Theor ems of At i yah-Bot t -Pat t odi and
cur vat ur e i nvar i ant s," Ser ni nar e de Mat hmat i ques Super i eur es, Les
pr esses de
L' Uni ver si t de Mont r eal , 1975.
[La] P. S. LANDWEBER, "El l i pt i c cur ves
andmodul ar f or ms i n Al ge-
br ai c Topol ogy," Pr oceedi ngs, Pr i ncet on,
Lect ur e Not es i n Mat h. ,
Spr i nger -Ver l ag 1326; 1986.
[Mi -St ] I . MI LNORANDJ . STASHEF; "Char act er i st i c cl asses,"
Annal s
of Mat h. St udi es Number 76, Pr i ncet on
Uni ver si t y Pr ess, 1974.
[Al a]
A. 1 . MARI <USEVI CI -1, "Cur vas
y
f unci ones mar avi l l osas," Col e-
cci n de
Mat er nt i cas Popul ar es, Ed. MI R.
[Mo] C.
MORENO, The Hur ewi cz hor nor nor phi smand t he Ri er n-
man-Roch-Hi r zebr uch t heor er a,
Pr epr i nt CI NVESTAV53(1989) .
[Och] S. OCl ' I ANI NE, Sur l es gener es
mul t i pl i cat i f s df i ni s par des i n-
t egr al es el l i pt i ques, Topol ogy 26 (1987), 143-151
.
[P-SI A. PI t ESSLEY, G. SEDAL, "Loop gr oups," Oxf or d Uni ver si t y
Pr ess, 1988.
[Se] C. SEDAL, "El l i pt i c
cohor nol ogy," Sr ni nai r e Bour baki 1987-1988
695, Fvr i er , 1988.
[Ser ] J . P. SERR, "Cour s d' ar -i t l ar net i que," Pr esses
Uni ver si t ai r es
de
Fr anco, Par i s, 1970.
[Si ]
I . M. SI NGER, Di f f er ent i al geor net r y, f i ber bundl es and physi cal
t heor i es, Physi cs Today Al ar ch (1982), 41-42.
[Si l ] J . H
.
SI LVERMAN,
' `The
ar i t hmet i c
of el l i pt i c cur ves," Gr aduat e
Text s i n Mat h
.
106,
Spr i nger -Ver l ag
;
1986
.
[St ]
R. STONG, "Not es on cobor di smt heor y," Pr i ncet on Uni ver si t y
Pr ess, 1968.
[Sw] R. M. SWI TZER, "Al gebr ai c Topol ogy: Homot opy
andI l or nol oj gy,"
Spr i nger -Ver l ag, 1975.
[Tau]
C.
H.
TAUBES, Sr act i ons and
el l i pt i c gener a, Comm. i n Af at h.
Physi cs (1988) .
806 G.
MORENO
[ Tr ] F. TREVES, "Basi c l i near par t i al di f f er ent i al
equat i ons, " Aca-
demi c Pr ess, 1975.
[ Wi ] E. WI TTEN, El l i pt i c gener a and quant um
f i el d t heor y, Comm. i n
Mat h. Physi cs 109 ( 1981) , 525- 536
.
Depar t ament o de
Mat emt i cas
CI NVESTAV, Apdo. Post al 14- 740
07000 MXI COD. F.
Rebut el 17 de J uny de 1991

You might also like