🔢 mathematics

Brauer-Siegel theorem for families of number fields over almost Sn fields

This paper establishes a new descent mechanism proving that the Brauer-Siegel conjecture for families of almost $S_n$ -number fields implies the conjecture for their quadratic extensions and extends the generalized conjecture to asymptotically good towers, effectively generalizing Siegel's theorem to varying base fields.

Original authors: Anup B Dixit

Published 2026-01-27

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Anup B Dixit

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 are trying to understand the "size" of a vast, invisible landscape made of numbers. In this landscape, there are different types of territories called Number Fields. Two of the most important measurements for these territories are:

The Class Number: Think of this as a measure of how "messy" or "complicated" the territory is. A value of 1 means it's perfectly tidy; a higher number means it's full of tangled knots.
The Regulator: This measures the "spread" or "volume" of the territory.

Mathematicians have long been interested in a famous rule called the Brauer-Siegel Theorem. It's like a law of physics for these number landscapes. The law says that if you look at a family of these territories that are getting larger and larger (in a specific way), the product of their "messiness" and their "volume" grows at a very predictable rate. It's as if, no matter how complex the knots get, they grow in perfect harmony with the size of the land.

The Problem: A Missing Link

For a long time, mathematicians could only prove this law worked for very simple, specific types of territories (like quadratic fields, which are like flat, two-dimensional maps). To prove it for more complex, multi-dimensional territories, they had to use a "descent" trick: they would try to shrink the complex problem down to the simple, flat map they already understood.

However, this trick had a hole. It worked great if the complex territory was built on top of a fixed simple map. But what if the simple map itself was changing? The old tools broke down. The author of this paper, Anup B. Dixit, wanted to know: If the law holds for a family of complex territories, does it automatically hold for the simpler "quadratic" territories built on top of them?

The Solution: The "Almost Sn" Family

The author introduces a special category of number fields called "Almost $S_n$ fields."

The Analogy: Imagine a symphony orchestra. The full orchestra ( $S_n$ ) is very complex. An "Almost $S_n$ " field is like a slightly smaller version of that orchestra—maybe missing one or two instruments, but still keeping the same grand, chaotic structure.
The paper focuses on families of these "Almost Orchestra" fields.

The Main Discovery: The Bridge

The paper proves a powerful new "bridge." It shows that if the Brauer-Siegel law works for a family of these "Almost Orchestra" fields, it automatically works for any quadratic (two-step) extension built on top of them.

How it works: The author uses a clever mathematical "sieve." They look at the "zeros" of a special function (the Dedekind zeta-function) that acts like a heartbeat for these number fields. If the heartbeat skips a beat (a zero) in a dangerous zone, it usually means there's a simpler, smaller territory hiding inside that is also skipping a beat.
The Twist: In the past, this "hiding" only worked if the base was fixed. Dixit shows that even if the base is changing (as long as it's an "Almost $S_n$ " field), the logic still holds. He proves that you can't have a "bad" zero in the complex territory without it being caused by a "bad" zero in a simpler, quadratic territory. Since we know the law works for the simple ones, it must work for the complex ones too.

The Second Discovery: "Good" Towers

The paper also tackles a more modern, complex version of the problem involving "Asymptotically Good Families."

The Analogy: Imagine building a tower of blocks. In a "good" tower, as you add more blocks, the tower doesn't get wobbly; it stays stable and efficient.
The author proves that if you have a stable, growing tower of these "Almost $S_n$ " fields, and you build a new tower on top of it (under certain structural rules), the Brauer-Siegel law still holds for the new tower. This is a significant generalization because it removes the need for the strict "fixed base" requirement of older proofs.

The "What If" Scenario: Artin's Conjecture

Finally, the paper looks at the ultimate case: pure $S_n$ fields (the full orchestra).

The author shows that if we assume a famous, unproven hypothesis called Artin's Holomorphy Conjecture (which is like assuming the music of the orchestra never breaks down into silence), then the Brauer-Siegel law holds for these full, complex fields too.
Essentially, the paper says: "If you believe this one big musical theory, then our law works for the most complex number fields imaginable."

Summary

In simple terms, this paper builds a new, stronger bridge between the simple and the complex in the world of number fields. It proves that for a large, important family of complex number fields (the "Almost $S_n$ " fields), the behavior of their "messiness" and "size" is predictable and follows the same rules as the simpler fields they are built upon. It solves a long-standing puzzle about how these mathematical laws transfer from one type of number field to another.

Technical Summary: Brauer-Siegel Theorem for Families of Number Fields over Almost $S_n$ Fields

Problem Statement
The classical Brauer-Siegel conjecture (BS) describes the asymptotic behavior of the product of the class number ( $h_K$ ) and the regulator ( $R_K$ ) for families of number fields $\{K_i\}$ . Specifically, it posits that if the root discriminant $d_K^{1/n_K} \to \infty$ , then $\lim_{i \to \infty} \frac{\log(h_{K_i}R_{K_i})}{\log \sqrt{d_{K_i}}} = 1$ .

Existing proofs of this conjecture for various families (quadratic fields, Galois fields, almost normal fields, and fields with solvable Galois closures) rely on a critical reduction mechanism. This mechanism, established by Stark and others, reduces the problem to Siegel's theorem for quadratic fields by demonstrating that if the Dedekind zeta function $\zeta_K(s)$ has an exceptional real zero near $s=1$ , such a zero must descend to a quadratic subfield. However, for general extensions $K/\mathbb{Q}$ , the known unconditional bounds for the zero-free region are too weak to guarantee this reduction.

The central problem addressed in this paper is Problem 1.2: If the Brauer-Siegel property holds for a family of base fields $\{L_i\}$ , does it necessarily hold for a family of quadratic extensions $\{N_i\}$ where $[N_i : L_i] = 2$ ? While this is trivial if the base field is fixed (Siegel's theorem), the difficulty arises when the base field varies.

Methodology
The author employs a combination of analytic number theory and group-theoretic descent, specifically tailored to fields with symmetric group ( $S_n$ ) symmetries.

Group-Theoretic Descent: The paper introduces the concept of almost $S_n$ -fields. A field $L$ is an almost $S_n$ -field if it sits between an $S_n$ -field $K$ and its Galois closure $\tilde{K}$ such that $\text{Gal}(\tilde{K}/L) \cong S_m$ for some $m \le n-1$ .
Character Theory and Artin L-functions: The proof utilizes the representation theory of symmetric groups. By analyzing the decomposition of induced characters (specifically hook partitions and their tensor products with the sign character of $\mathbb{Z}/2\mathbb{Z}$ ), the author constructs relationships between the zeta functions of the base field, the quadratic extension, and intermediate fields.
Zero Multiplicity Arguments: A core technique involves Lemma 2.5, which states that if two conjugate quadratic fields $N_1, N_2$ over a base $K$ have a zero in a specific region, their compositum (a biquadratic extension) possesses a zero of multiplicity at least 2. Since Stark's theorem limits the number of real zeros in the critical strip to at most one (and it must be simple), the existence of such a zero leads to a contradiction unless specific structural conditions are met.
Iterative Reduction: The proof of the main theorem (Theorem 3.3) involves an iterative descent process. Starting from a quadratic extension $N/L$ where $L$ is an almost $S_n$ -field, the author constructs a tower of intermediate fields by fixing subgroups of the form $S_{m-j} \times S_j$ . This process continues until the Galois group reduces to a form where the conjugate quadratic fields argument can be applied to force a contradiction regarding the existence of an exceptional zero.

Key Contributions and Results

Theorem 1.4 (Descent for Almost $S_n$ -fields):
The paper establishes that if the Brauer-Siegel conjecture holds for a family of almost $S_n$ -fields $\{L_i\}$ , it necessarily holds for any family of quadratic extensions $\{N_i\}$ over $\{L_i\}$ , provided that $N_i \cap \tilde{L}_i = L_i$ and the discriminants grow sufficiently fast ( $\log d_{N_i} / \log d_{L_i} \to \infty$ ).
- Significance: This provides a new form of descent for the Brauer-Siegel conjecture, extending Siegel's theorem to a setting where the base field is not fixed but varies within a specific group-theoretic class.
Theorem 1.6 (Generalized Brauer-Siegel for Asymptotically Good Towers):
The author extends the result to the Generalized Brauer-Siegel (GBS) conjecture formulated by Tsfasman and Vlădut for asymptotically exact families. It is shown that if $\{L_i\}$ is an asymptotically good family of almost $S_n$ -fields satisfying GBS, then GBS holds for an asymptotically good tower $\{M_i\}$ over $\{L_i\}$ , provided $M_i/L_i$ is either almost normal or has a solvable Galois closure.
- Distinction: Unlike Theorem 1.4, this result does not require the condition $\log d_{N_i} / \log d_{L_i} \to \infty$ , offering greater generality for towers of number fields.
Proposition 5.1 (Conditional Result for $S_n$ -fields):
Under the assumption of the Artin Holomorphy Conjecture for specific representations ( $L(s, \rho_{n-2})$ and $L(s, \rho_{n-3})$ ), the paper proves that the Brauer-Siegel conjecture holds for families of $S_n$ -fields. This is achieved by showing that the existence of an exceptional zero would imply a double zero for a related zeta function, contradicting Stark's theorem.

Significance and Claims
The paper claims to establish a "new form of descent" for the Brauer-Siegel conjecture. The primary significance lies in bridging the gap between the classical fixed-base Siegel theorem and the behavior of number fields over varying bases.

Analogue of Siegel's Theorem: The result is presented as an analogue of Siegel's theorem where the base field is allowed to vary, specifically within the class of almost $S_n$ -fields.
Resolution of Problem 1.2: The paper answers Problem 1.2 in the affirmative for the specific case where the base fields are almost $S_n$ -fields.
Limitations: The author explicitly notes that the result for quadratic extensions (Theorem 1.4) relies on the condition that the discriminant of the extension grows significantly faster than the base. This condition prevents a direct generalization to all almost normal fields over almost $S_n$ -fields without further assumptions. Additionally, the result for pure $S_n$ -fields (Proposition 5.1) remains conditional on the Artin Holomorphy Conjecture.

In summary, the paper provides a rigorous group-theoretic framework to reduce the Brauer-Siegel problem for complex families of number fields to the well-understood quadratic case, thereby extending the known validity of the conjecture to families of almost $S_n$ -fields and their quadratic extensions.