Equidistribution on Kuga-Sato varieties of torsion points on CM elliptic curves (Q2039598)

Summary: A connected Kuga-Sato variety \(\mathbf{W}^r\) parametrizes tuples of \(r\) points on elliptic curves (with level structure). A special point of \(\mathbf{W}^r\) is a tuple of torsion points on a CM elliptic curve. A sequence of special points is strict if any CM elliptic curve appears at most finitely many times and no relation between the points in the tuple is satisfied infinitely often. The genus orbit of a special point is the \(\operatorname{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}^{\mathrm{ab}})\)-orbit. We show that genus orbits of special points in a strict sequence equidistribute in \(\mathbf{W}^r(\mathbb{C})\), assuming a congruence condition at two fixed primes. A genus orbit can be very sparse in the full Galois orbit. In particular, the number of torsion points on each elliptic curve in a genus orbit is not bounded below by the torsion order. A genus orbit corresponds to a toral packet in an extension of \(\mathbf{SL}_2\) by a vector representation. These packets also arise in the study by Aka, Einsiedler and Shapira of grids orthogonal to lattice points on the 2-sphere [\textit{M. Aka} et al., Invent. Math. 206, No. 2, 379--396 (2016; Zbl 1410.11117)]. As an application we establish their joint equidistribution assuming two split primes.