Conjecture on the primitivity of the over-exceptional lattice for K3 surfaces

Let XX be a K3 surface over an algebraically closed field. The over-exceptional lattice E(X)E'(X) is the lattice generated by all irreducible curves orthogonal to every elliptic fibration inside the Picard lattice.

Primitivity conjecture for the over-exceptional lattice. If XX has infinite automorphism group, then the embedding

E(X)Pic(X)E'(X)\hookrightarrow\operatorname{Pic}(X)

is primitive.

This question is motivated by bounds on over-exceptional lattices and lattice-theoretic criteria for the weak Hilbert Property. The statement is refuted: the paper points to a counterexample when the automorphism-group hypothesis is absent.

Sources & referencesView supporting material

Primary source

Damián Gvirtz-Chen and Giacomo Mezzedimi, “A Hilbert Irreducibility Theorem for Enriques surfaces”, arXiv:2109.03726 (2023).

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.