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
この条件から楕円曲線が出てくるのがつくづく不思議だ.