The intersection-map conjecture for surfaces with pg=1p_g=1 and q=2q=2

Let SS be a surface with geometric genus pg(S)=1p_g(S)=1 and irregularity q(S)=2q(S)=2. Let Ahom1(S)QA^1_{hom}(S)_{\mathbb{Q}} be the group of homologically trivial divisor classes with rational coefficients, and let AAJ2(S)QA^2_{AJ}(S)_{\mathbb{Q}} be the Albanese kernel with rational coefficients. The intersection map is

Ahom1(S)QAhom1(S)QAAJ2(S)Q.A^1_{hom}(S)_{\mathbb{Q}}\otimes A^1_{hom}(S)_{\mathbb{Q}}\longrightarrow A^2_{AJ}(S)_{\mathbb{Q}}.

Assume that the image of the Albanese map has dimension less than 22. The intersection-map conjecture. The intersection map is zero.

The preceding argument shows that surjectivity would contradict the induced map on H1(S,OS)H^1(S,\mathcal O_S) and H2(S,OS)H^2(S,\mathcal O_S); the stronger assertion that the map is zero is stated conjecturally in this setting.

Sources & referencesView supporting material

Primary source

Robert Laterveer, “Algebraic cycles on surfaces with p_g=1 and q=2”, arXiv:1611.08821 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.