1: \begin{abstract}

2:   We study the orchard problem on cubic surfaces. We classify possibly 

3:   reducible cubic surfaces $X\subseteq \P^3(\C)$ with smooth components on 

4:   which there exist families of finite sets (of unbounded size) with 

5:   quadratically many 3-rich lines which do not concentrate (in a natural 

6:   sense) on any projective plane. Namely, we prove that such a family exists 

7:   precisely when $X$ is a union of three planes sharing a common line.

8: 

9:   Along the way, we obtain a general result about nilpotency of groups 

10:   admitting an algebraic action satisfying an Elekes-Szabó condition,

11:   and we prove the following purely algebrogeometric statement: if the 

12:   composition of four Geiser involutions through sufficiently generic points 

13:   $a,b,c,d$ on a smooth irreducible cubic surface has infinitely many fixed 

14:   points, then a single plane contains $a,b,c,d$ and all but finitely many of 

15:   the fixed points.

16: \end{abstract}

17: