Skip to main content
added 119 characters in body; added 65 characters in body
Source Link
JSE
  • 19.2k
  • 6
  • 69
  • 134

An idea. Identify H^2(C_1 x C_2, R) with R^k, given the standard Euclidean norm. Now your curves E1, E2, .... are identified with an infinite sequence P1, P2, .... in R^k. You have Ei^2 < 0 and Ej^2 < 0, but (since all your curves are irreducible) Ei Ej >= 0. I imagine this gives you Is there such a lower bound on the angle between Pi and Pj for all isequence in H^2(C_1 x C_2,j R)?

EDITED to reflect that David Speyer observes that yes, which would in turn give you finitenessthere are infinite sequences of the sequencepoints like this (and indeed an upper bound forthat the numbersubspace H^{1,1} of H^2 is what one wants to consider.) David's comment below refers to the version prior to this edit.

Given the existence of such curvesa sequence of cohomology classes, one then asks whether the cohomology classes are represented by a sphere-packing boundirreducible curves, which is what Dmitri wants.) Do you think that works?

An idea. Identify H^2(C_1 x C_2, R) with R^k, given the standard Euclidean norm. Now your curves E1, E2, .... are identified with an infinite sequence P1, P2, .... in R^k. You have Ei^2 < 0 and Ej^2 < 0, but (since all your curves are irreducible) Ei Ej >= 0. I imagine this gives you a lower bound on the angle between Pi and Pj for all i,j, which would in turn give you finiteness of the sequence (and indeed an upper bound for the number of such curves, by a sphere-packing bound.) Do you think that works?

An idea. Identify H^2(C_1 x C_2, R) with R^k. Now your curves E1, E2, .... are identified with an infinite sequence P1, P2, .... in R^k. You have Ei^2 < 0 and Ej^2 < 0, but (since all your curves are irreducible) Ei Ej >= 0. Is there such a sequence in H^2(C_1 x C_2, R)?

EDITED to reflect that David Speyer observes that yes, there are infinite sequences of points like this (and that the subspace H^{1,1} of H^2 is what one wants to consider.) David's comment below refers to the version prior to this edit.

Given the existence of such a sequence of cohomology classes, one then asks whether the cohomology classes are represented by irreducible curves, which is what Dmitri wants.

Post Undeleted by JSE
Post Deleted by JSE
Source Link
JSE
  • 19.2k
  • 6
  • 69
  • 134

An idea. Identify H^2(C_1 x C_2, R) with R^k, given the standard Euclidean norm. Now your curves E1, E2, .... are identified with an infinite sequence P1, P2, .... in R^k. You have Ei^2 < 0 and Ej^2 < 0, but (since all your curves are irreducible) Ei Ej >= 0. I imagine this gives you a lower bound on the angle between Pi and Pj for all i,j, which would in turn give you finiteness of the sequence (and indeed an upper bound for the number of such curves, by a sphere-packing bound.) Do you think that works?