🔢 mathematics

Equidistribution of CM points and RM curves

This paper establishes the equidistribution of CM points along fixed rational geodesics and RM curves around fixed CM points in the upper half-plane by solving the aggregate Linnik problem for arbitrary binary quadratic forms.

Original authors: Erick Ross, Hui Xue

Published 2026-05-28

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Erick Ross, Hui Xue

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the complex upper half-plane (a fancy name for the top half of a map where the "ground" is the real number line) as a vast, curved ocean. In this ocean, there are two special types of travelers:

CM Points: These are like specific, glowing islands that appear at precise coordinates. They are determined by a special kind of math puzzle (binary quadratic forms with negative numbers).
RM Curves: These are like perfect, arched bridges or rainbow paths connecting two points on the "ground." They are the positive-number cousins of the islands.

The Big Picture: Duke's Old Map
Back in 1988, a mathematician named William Duke drew a map showing that if you look at a huge, 2D patch of this ocean, these islands and bridges eventually spread out perfectly evenly. They don't clump together; they fill the space like a fair distribution of sand.

The New Discovery: The Narrow Path and the Fixed Spot
Erick Ross and Hui Xue, the authors of this paper, asked a more specific question: What happens if we don't look at a whole patch of ocean, but instead look at a single, thin line (a geodesic) or a single fixed point?

Think of it like this: Duke showed that if you scatter seeds over a whole field, they spread out evenly. Ross and Xue asked: "If we draw a single straight line through that field, do the seeds land evenly along that line? And if we stand at one specific spot, do the seeds appear at equal angles around us?"

The Main Findings

The "Rational" Road Rule:
The authors discovered that these special islands (CM points) and bridges (RM curves) spread out perfectly evenly along any rational geodesic.
- What is a rational geodesic? Imagine a road in this ocean. If the road is a vertical line going straight up from a "rational" number (like 1/2 or 3), or a semicircle centered on a rational number with a "rational" size, it's a rational road.
- The Result: If you stand on one of these rational roads and count the islands or bridges as they get more numerous (as the math puzzles get bigger), they appear at perfectly regular intervals.
- The Catch: If the road is "irrational" (centered on a weird, non-repeating number like $\pi$ ), it's a dead end. There is at most one island or one bridge on such a road. It's like trying to find a specific grain of sand on a beach that only has one grain; you can't have a pattern.
The "Fixed Point" Party:
The authors also looked at what happens around a fixed spot.
- If you stand on a specific island (a CM point), the bridges (RM curves) passing through you appear at all angles (0 to 180 degrees) with perfect fairness.
- If you stand on any random spot in the ocean, the islands (CM points) appear around you at all angles with perfect fairness.

How They Solved It: The "Aggregate" Puzzle
To prove this, the authors had to solve a massive, generalized version of a famous math problem called the Linnik problem.

The Analogy: Imagine you have a giant bag of mixed-up math equations. The old problem asked, "If I pick equations that equal exactly 100, where do they land?" The new "Aggregate" problem asks, "If I pick all equations that equal anything between 1 and 1,000,000, where do they land?"
The authors proved that when you look at the whole pile (the aggregate), the answers spread out perfectly evenly. This "super-proof" allowed them to show that the islands and bridges in the ocean also spread out evenly along the lines and around the points.

Why It Matters (According to the Paper)
The paper doesn't claim this will cure diseases or build better bridges in the physical world. Instead, it solves a deep mystery in pure mathematics about how these special numbers and shapes are arranged.

They also found a cool side effect: You can now count how many islands are on a specific closed loop in the ocean just by measuring the length of that loop. It's like being able to guess the number of fish in a pond just by measuring the circumference of the pond's edge.

In Summary
This paper takes a famous result about how special math points spread out over a whole area and zooms in to show they also spread out perfectly evenly along specific lines and around specific points. They did this by solving a giant, generalized version of an old number theory puzzle, proving that even in the most complex mathematical landscapes, there is a hidden, perfect order.

Technical Summary: Equidistribution of CM Points and RM Curves

Problem Statement
This paper investigates the distribution of Complex Multiplication (CM) points and Real Multiplication (RM) curves within the complex upper half-plane $\mathbb{H}$ . While William Duke (1988) established that CM points of fundamental discriminant $D$ and RM curves are equidistributed over fixed 2-dimensional regions in $\mathbb{H}$ (specifically the modular surface $SL_2(\mathbb{Z})\backslash\mathbb{H}$ ) as $D \to -\infty$ or $D \to +\infty$ , this work addresses the analogous problem for lower-dimensional objects. Specifically, the authors study the distribution of these points and curves along fixed 1-dimensional geodesics and around fixed 0-dimensional points in $\mathbb{H}$ .

Methodology
The core of the methodology involves translating geometric distribution problems into analytic number theory problems concerning binary quadratic forms.

Geometric-Algebraic Correspondence: The authors establish that CM points lying on a fixed rational geodesic, and RM curves having a perpendicular intersection with a fixed rational geodesic, are governed by a specific Diophantine equation: $2aC + 2cA = bB$. Here, $(A, B, C)$ defines the fixed geodesic, and $(a, b, c)$ defines the varying CM point or RM curve.
Reduction to Lattice Point Counting: By parameterizing the solutions to this Diophantine equation, the distribution of CM points and RM curves is reduced to the distribution of rational numbers $m/n$ satisfying a quadratic inequality of the form $0 < Am^2 + Bmn + Cn^2 \le \Delta$ .
The Aggregate Linnik Problem: The paper solves the "aggregate Linnik problem" for arbitrary binary quadratic forms. Unlike the classical Linnik problem, which studies the distribution of points on a surface $Q(x)=d$ as a single discriminant $d \to \infty$ , the aggregate version considers the distribution of points where $0 < Q(x) \le \Delta$ as $\Delta \to \infty$ .
Analytic Tools: The proofs for the aggregate Linnik problem rely on standard analytic number theory techniques, including:
- Abel's summation formula.
- Asymptotic estimates for sums involving the Euler totient function $\phi(n)$ and the Möbius function $\mu(n)$ .
- Case-by-case analysis based on the signs of the coefficients $A, B$ and the discriminant $D = B^2 - 4AC$ .

Key Contributions and Results
The paper provides four main theorems establishing equidistribution in specific geometric settings:

Theorem 1.1 (CM Points on Geodesics): CM points are equidistributed along every fixed rational geodesic in $\mathbb{H}$ with respect to the hyperbolic metric. The authors note this holds only for rational geodesics, as non-rational geodesics contain at most one CM point.
Theorem 1.2 (RM Curves on Geodesics): RM curves are equidistributed along every fixed rational geodesic in $\mathbb{H}$ with respect to the hyperbolic metric. This refers to the equidistribution of the perpendicular-intersection points of the RM curves with the geodesic.
Theorem 1.3 (RM Curves around CM Points): RM curves passing through a fixed CM point are equidistributed with respect to the uniform angle measure around that point.
Theorem 1.4 (CM Points around Fixed Points): CM points within a fixed hyperbolic distance of any point $z_0 \in \mathbb{H}$ are equidistributed with respect to the uniform angle measure around $z_0$ . The authors note this result follows from Duke's original equidistribution theorem over 2-dimensional regions, adapted via hyperbolic geometry calculations.

A central technical result underpinning these theorems is Theorem 1.5, which solves the aggregate Linnik problem for arbitrary binary quadratic forms. It proves that the set of normalized rational points $m/n$ satisfying $0 < Am^2 + Bmn + Cn^2 \le \Delta$ becomes equidistributed over a specific interval $I$ with respect to the measure $d\mu = \frac{1}{At^2+Bt+C}dt$ as $\Delta \to \infty$ .

Significance and Applications
The authors claim that their work extends Duke's foundational results from 2-dimensional regions to 1-dimensional and 0-dimensional objects. The paper highlights several specific applications and implications:

Asymptotic Formulas for CM Points on Closed Geodesics: The results yield an asymptotic formula for the number of CM points on a closed geodesic $G$ in $SL_2(\mathbb{Z})\backslash\mathbb{H}$ with discriminant magnitude $\le \Delta$ . The count is proportional to the length of the geodesic and $\Delta$ .
Cycle Integrals and Modular Functions: The paper proposes an alternative interpretation for the "values" of modular functions at real quadratic irrationalities. Traditionally defined as cycle integrals over associated geodesics, these values can now be interpreted as the limit of the average value of the function over the CM points lying on that geodesic.
Density on Non-Geodesic Curves: The authors provide an example showing that CM points can be dense and equidistributed on a horizontal line (a non-geodesic curve), suggesting a broader scope for such distributions.
Open Problems: The paper concludes by posing the problem of classifying all algebraic curves in $\mathbb{H}$ that contain a dense subset of CM points, drawing an analogy to the André-Oort conjecture.

The work is presented as a rigorous extension of existing equidistribution theory, solving the aggregate Linnik problem to bridge the gap between global distribution results and distribution along specific sub-manifolds of the modular surface.

More like this