Equidistribution on Kuga-Sato Varieties of Torsion Points on CM Elliptic Curves

TL;DR

This paper proves the equidistribution of genus orbits of torsion points on CM elliptic curves within Kuga-Sato varieties under certain conditions, linking number theory, algebraic geometry, and ergodic theory.

Contribution

It establishes the equidistribution of genus orbits of special points on Kuga-Sato varieties assuming a congruence condition, extending previous results to sparse orbits.

Findings

Genus orbits of special points are equidistributed in complex points of Kuga-Sato varieties.

Genus orbits can be sparse and not bounded below by torsion order.

Application to joint equidistribution conjecture for grids orthogonal to lattice points on the 2-sphere.

Abstract

A connected Kuga-Sato variety $\mathbf{W}^r$ parameterizes 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. As an application we establish their joint equidistribution conjecture assuming two split primes.