Cohomological proof of the cube theorem for elliptic curves
ID: cohomological-proof-of-the-cube-theorem-for-elliptic-curves
If a line bundle on is trivial on each zero-coordinate face, its First Chern class vanishes: the integral second cohomology consists of single-factor second cohomology and cross-products of first cohomology from pairs, and each summand is detected on a coordinate face. The holomorphic exponential sequence then puts the bundle in . The decomposition of first cohomology, including Dolbeault cohomology, identifies this group with . Triviality on the three coordinate axes makes all three factors trivial. Applying this cube principle to the alternating partial-sum pullbacks proves the usual addition-map Theorem of the Cube.
New to topics? Read the docs here!