Elliptic genus

http://www.ams.org/notices/200906/rtx090600720p.pdf
http://ncatlab.org/nlab/show/elliptic+genus

Def. A genus is a ring homomorphism from to a Q-algebra

Def. The logarithm of a genus is the formal power series

Def. A genus is an elliptic genus if it vanishes on the associated projective bundles of even-rank complex vector bundles over close oriented manifolds.

Theorem A genus is an elliptic genus if and only if its logarithm satisfies

for some constants

この条件から楕円曲線が出てくるのがつくづく不思議だ.