🔢 mathematics

On the distribution of shapes of totally real multiquadratic number fields

This paper proves that the distribution of shapes of totally real multiquadratic number fields of degree $2^n$ with unramified 2 is governed by the restriction of the natural measure on the space of shapes to a specific torus orbit, thereby resolving a conjecture by Haidar.

Original authors: Anuj Jakhar, Anwesh Ray

Published 2026-03-13

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Anuj Jakhar, Anwesh Ray

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 you have a collection of mysterious, multi-dimensional boxes. In the world of mathematics, these boxes are called number fields. For a long time, mathematicians have been trying to understand these boxes by measuring their "volume" (a number called the discriminant).

Think of the volume like the size of a suitcase. If you have two suitcases with the exact same volume, you might assume they are identical. But that's not true! One could be a tall, skinny tower, while the other is a short, wide cube. They hold the same amount of stuff, but their shapes are completely different.

This paper, written by Anuj Jakhar and Anwesh Ray, is about figuring out the shapes of a very specific family of these mathematical boxes: the totally real multiquadratic number fields.

Here is the breakdown of their discovery, using simple analogies:

1. The "Shape" of a Number Field

To understand the shape, the authors imagine the number field as a grid of points (a lattice) floating in space.

The Problem: Every one of these grids has a special, rigid point at the center (like a handle on a suitcase). This handle forces the grid to be a certain way, making it hard to see the true shape.
The Solution: The authors "cut off" that handle. They project the grid onto a flat surface, ignoring the handle. What remains is a pure, 3D (or higher-dimensional) shape.
The Goal: They want to know: If you look at all these boxes, sorted by size, do their shapes look random and scattered everywhere? Or do they clump together in specific patterns?

2. The "Unramified" Condition (The Smooth Path)

The authors focus on a specific rule: they only look at boxes where the number 2 behaves nicely (mathematicians call this "unramified").

Analogy: Imagine you are walking through a forest. Sometimes the path is smooth and clear (unramified). Other times, there are thorns, rocks, and tangled vines (ramified) that distort your path.
The authors decided to only study the hikers walking on the smooth paths. They wanted to see if, on these smooth paths, the shapes of the boxes followed a predictable pattern.

3. The Big Discovery: A Hidden Highway

For years, mathematicians wondered: If we look at all these smooth boxes, do their shapes fill up the entire universe of possible shapes, or do they get stuck in a specific lane?

A mathematician named Haidar made a guess (a conjecture) that they do fill up a specific lane, but not the whole universe. He thought they would distribute themselves evenly within that lane.

Jakhar and Ray proved Haidar right.

They discovered that the shapes of these fields don't wander randomly. Instead, they are like cars driving on a highway.

The "highway" is a specific, curved path inside the vast universe of all possible shapes.
The cars (the number fields) are distributed evenly along this highway.
If you pick a random spot on this highway, you are just as likely to find a number field there as anywhere else on that specific path.

4. How They Did It (The Recipe)

To prove this, they had to count how many of these boxes existed for every possible shape.

The Ingredients: They used a special recipe (an "integral basis") to build these boxes. This recipe ensures the boxes are built correctly without any "glitches."
The Counting: They used a sieve (like a kitchen strainer) to filter out the boxes that didn't meet the "smooth path" rule (where 2 is unramified).
The Result: After doing some heavy mathematical lifting, they found a formula that perfectly predicts how many boxes of a certain shape exist. The formula confirmed that the shapes are indeed spread out evenly along that specific "highway."

Why Does This Matter?

In the past, we knew that for "generic" (random) number fields, the shapes were scattered everywhere like confetti. But for these special, structured fields, the shapes are more like a dance formation.

This paper tells us exactly what that dance formation looks like. It resolves a long-standing mystery and shows that even in the chaotic world of numbers, there is a hidden, elegant order. The shapes of these fields aren't random; they follow a strict, beautiful rhythm on a specific track.

In short: The authors proved that if you look at a specific family of mathematical boxes, their shapes don't scatter randomly. Instead, they line up perfectly along a specific, predictable path, distributed evenly like beads on a string.

1. Problem Statement and Motivation

The Concept of Shape:
The paper investigates the geometric distribution of the "shape" of number fields. While classical algebraic number theory often focuses on the absolute discriminant ( $\Delta_K$ ) to measure the "size" of a number field $K$ , the shape captures the finer geometric structure of the ring of integers $\mathcal{O}_K$ .

Definition: The shape of a degree $n$ number field is the equivalence class of the lattice of its integers (projected onto the trace-zero hyperplane) under the action of rotations, reflections, and uniform scaling.
Space of Shapes: These shapes form a point in the double coset space $S_{n-1} = \text{GL}_{n-1}(\mathbb{Z}) \backslash \text{GL}_{n-1}(\mathbb{R}) / \text{GO}_{n-1}(\mathbb{R})$ , equipped with a natural measure $\mu$ derived from the Haar measure.

The Specific Problem:
The authors focus on totally real multiquadratic number fields of degree $m = 2^n$ . These are fields of the form $K_n = \mathbb{Q}(\sqrt{D_1}, \dots, \sqrt{D_n})$ where the Galois group is the elementary abelian 2-group $(\mathbb{Z}/2\mathbb{Z})^n$ .

Context: For "generic" families (Galois group $S_n$ ), shapes are conjectured to equidistribute across the entire space $S_{n-1}$ . However, for non-generic families like multiquadratic fields, arithmetic constraints force shapes to collapse into lower-dimensional subvarieties.
Conjecture: Haidar (2019) conjectured that for totally real multiquadratic fields where the prime 2 is unramified, the shapes equidistribute within the specific subspace they occupy, governed by a restriction of the natural measure $\mu$ to a torus orbit.

2. Methodology

The authors employ a combination of arithmetic parametrization, explicit lattice construction, and analytic number theory (sieve methods and volume estimation).

A. Classification and Integral Bases

The paper relies on a classification of multiquadratic fields based on the congruence of their generating square-free integers modulo 4.

Case 1 (Unramified at 2): All generators $D_i \equiv 1 \pmod 4$ . This is the primary focus of the density results.
Case 2 & 3 (Ramified at 2): Generators include values $\equiv 2$ or $3 \pmod 4$ .

Integral Bases: Using results from Chatelain (1973) and Man (2024), the authors explicitly construct integral bases for $\mathcal{O}_{K_n}$ in all three cases. They utilize recursive block matrices ( $A_n$ ) to describe the Galois action on these bases.
Gram Matrices: They compute the Gram matrices of the projected lattices (Minkowski embedding projected to trace-zero).
- In the unramified case, the projected lattice decomposes into a direct sum of orthogonal sublattices.
- The shape is shown to be parameterized by $\ell - 1$ real parameters $\lambda_j = D_j / D_1$ (ratios of the square-free parts of the quadratic subfields).

B. Parametrization via "Strongly Carefree" Tuples

To count fields with specific shapes, the authors introduce a parametrization using tuples of integers $(g_1, \dots, g_\ell)$ where $\ell = 2^n - 1$ .

Strongly Carefree Condition: The tuple must be square-free, pairwise coprime, and non-degenerate.
Mapping: These tuples map to the generators of the quadratic subfields via a linear map over $\mathbb{F}_2$ .
Shape Parameters: The shape parameters $\lambda_j$ are expressed as monomials in the $g_i$ 's.

C. Analytic Counting and Sieving

The core of the proof involves counting the number of such tuples satisfying:

Discriminant Bound: $\Delta_{K_n} \le X$ .
Shape Constraints: The parameters $\lambda_j$ lie in a specific region $W$ .
Congruence Conditions: Ensuring the field is totally real and 2 is unramified.

The authors use:

Volume Estimation: Calculating the Euclidean volume of the region defined by the shape constraints using a change of variables (logarithmic coordinates) and computing the determinant of the transformation matrix.
Davenport's Lemma: To estimate the number of integer points in the region based on its volume.
Sieve Theory: Applying a sieve to restrict the count to "strongly carefree" tuples and handle local conditions at primes (specifically modulo 4 and square-free conditions). They correct a flaw in Haidar's previous sieve tail estimate regarding the dependence of implied constants on the prime $p$ .

3. Key Contributions and Results

Theorem 1.1: Asymptotic Counting Formula

The authors derive an asymptotic formula for the number of totally real multiquadratic fields $K_n$ with discriminant $\le X$ and shape parameters in a region $W(R_2, \dots, R_\ell)$ where 2 is unramified:
$F(X, R_2, \dots, R_\ell) \sim C_\ell F(R_2, \dots, R_\ell) X^{1/2^{n-1}}$

$C_\ell$ : An explicit constant involving the Euler product over primes $p > 2$ , the order of $\text{GL}_n(\mathbb{F}_2)$ , and a geometric constant $c_\ell$ derived from the volume of the shape parameter region.
$F(R_2, \dots, R_\ell)$ : An iterated integral representing the volume of the shape region, which is a polynomial in the logarithms of the $R_j$ .

Theorem 1.2: Equidistribution

The main result resolves Haidar's conjecture. The authors prove that as $X \to \infty$ , the shapes of these fields become equidistributed in the subspace $S_{K_n} \subset S_{2^n-1}$ with respect to the natural measure $\mu$ .

Specifically, for any compact continuity set $W$ , the proportion of fields with shapes in $W$ converges to $\mu(W)$ (normalized by the total count).
This confirms that the distribution is governed by the restriction of the Haar measure to a specific torus orbit determined by the arithmetic constraints of the multiquadratic extension.

Correction of Previous Work

The paper explicitly corrects errors in Haidar's unpublished work [Hai19], particularly regarding the sieve-theoretic deduction where the implied constant was incorrectly assumed to be independent of the prime $p$ in the tail estimate. The authors provide a rigorous rectification in the proof of Theorem 5.12.

4. Significance

Resolution of a Conjecture: The paper definitively proves Haidar's conjecture for all degrees $2^n$ , establishing a complete picture of shape distribution for totally real multiquadratic fields with unramified 2.
Geometric Insight: It demonstrates that even in highly structured, non-generic families (where the Galois group is small), the shapes do not collapse to a single point or a finite set, but rather fill a specific lower-dimensional submanifold (a torus orbit) equidistributedly.
Methodological Rigor: The work provides a robust framework for handling integral bases and shape calculations in composite-degree fields, combining explicit algebraic constructions (Chatelain's bases) with modern analytic number theory.
Foundation for Future Research: By resolving the unramified case, this work sets the stage for investigating the more complex ramified cases (Cases 2 and 3 in their classification), where the geometry of the shape space is expected to be even more intricate.

In summary, Jakhar and Ray successfully bridge the gap between the algebraic structure of multiquadratic fields and their geometric realization, proving that their shapes follow a predictable, measure-theoretic distribution pattern governed by the underlying arithmetic constraints.