On the $v$-adic values of G-functions II

Basic Information

• Paper ID: 2510.11814
• Title: On the $v$-adic values of G-functions II: Towards Effective Brauer-Siegel
• Author: Georgios Papas
• Classification: math.NT (Number Theory)
• Publication Date: October 15, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.11814

Abstract

This paper is the second in the author's series on G-functions, focusing on the study of G-function values associated with one-parameter families of abelian varieties $f: X \to S$ and smooth fiber points $s_0 \in S(K)$ over number fields $K$. The paper particularly investigates the case where $f: X \to S$ is a family of elliptic curves, establishing relationships between G-function values at points where fibers are complex multiplication (CM) elliptic curves. Through André's G-function method, these relationships yield height bounds for such points. The article also discusses the significance of height bounds for finding effective versions of Siegel's lower bounds on class numbers of imaginary quadratic fields.

Research Background and Motivation

Core Problems

This paper addresses the following key questions:

1. Effectivization of Siegel's Theorem: Siegel's classical result provides a lower bound $h(D) \geq c(\epsilon)|D|^{1/2-\epsilon}$ for class numbers of imaginary quadratic fields, but the constant $c(\epsilon)$ is ineffective.
2. Application of G-function Methods to Elliptic Curve Families: Study of relationships between G-function values at CM points on one-parameter elliptic curve families.

Significance of the Problems

1. Fundamental Number Theory: Effective estimates of class number bounds are among the core problems in algebraic number theory.
2. Theoretical Significance: Connects complex multiplication theory, G-function theory, and Diophantine geometry.
3. Methodological Innovation: Extends André's G-function method to new geometric settings.

Limitations of Existing Methods

1. Siegel's Original Result: Non-effective constants, unsuitable for practical application.
2. Tatuzawa's Result: Although constants are effective, suffers from exceptional fields.
3. André's Method Limitations: Difficult to apply in elliptic curve families when degeneracies occur.

Core Contributions

1. Construction of New $v$-adic Relations: Establishes new relationships between G-function values at CM elliptic curve fiber points, particularly at ramified primes $v|3$.
2. Unified Treatment of Different Reduction Types: Provides complete treatment for both ordinary and supersingular reduction cases.
3. Effective Height Bounds: Establishes effectively computable height bounds of the form $h(s) \leq c_0(\epsilon) \cdot ((|\Sigma_{Q(s_0),ssing}(s,0)| + \text{disc}(\text{End}(X_s))^\epsilon) \cdot [K(s):Q])^{c_1}$.
4. Progress Toward Effective Brauer-Siegel: Reduces the problem to estimating upper bounds on the cardinality of a certain prime set.

Methodology Details

Problem Setup

Studies one-parameter elliptic curve families $f: E \to S$, where $S$ is a smooth irreducible curve over a number field $K$, and $s_0 \in S(K)$ such that the fiber $E_{s_0}$ is a CM elliptic curve. The goal is to establish relationships between G-function values at other CM fiber points $s \in S(\overline{\mathbb{Q}})$.

Core Methodological Architecture

1. Period Matrix Theory

For CM elliptic curves $E$, period matrices exist at each prime $v \in \Sigma_K$:

• Archimedean Case: Via de Rham-Betti comparison isomorphism.
• Non-Archimedean Case: Via de Rham-crystalline comparison isomorphism.

Key Lemma 2.6: There exists a Hodge basis $\Gamma_{dR}(E)$ such that the period matrix has diagonal form $\begin{pmatrix} \varpi_v & 0 \\ 0 & \varpi_v^{-1} \end{pmatrix}$.

2. G-function Family Construction

Given an elliptic curve family and center point $s_0$, constructs a G-function matrix $Y_G(x) \in SL_2(\overline{\mathbb{Q}}[[x]])$, where $x = j - j_0$ is a local parameter.

3. Categorical Treatment of Relation Construction

Ordinary Reduction Case (Proposition 4.1): For $v$ an ordinary reduction prime of $E_0$, and $s$ such that $\text{End}^0_{\overline{\mathbb{Q}}}(E_s) = \text{End}^0_{\overline{\mathbb{Q}}}(E_0)$: $\iota_v(Y_{1,2}(x(s))) = 0$

Supersingular Reduction Case (Proposition 4.3, André's Result): There exists a polynomial $R_{s,ssing,unr} \in \overline{\mathbb{Q}}[X_{i,j}]$ such that for all relevant $v$: $\iota_v(R_{s,ssing,unr}(Y_G(x(s)))) = 0$

Ramified Prime Case (Proposition 5.6): For ramified primes $v|3$, constructs new relation polynomials $R_{s,Ram}$.

Technical Innovations

1. Ramified Prime Treatment: First treatment of ramified primes in CM fields, filling a gap in Beukers and André's work.
2. Prime-Independence of Relations: In the ordinary reduction case, relations are independent of the specific prime $v$.
3. Computer-Assisted Verification: Uses Mathematica code to verify the non-triviality of relations.

Experimental Setup

Concrete Setting

• Elliptic Curve Family: The $j$-family $f: E \to S$, where $S = \mathbb{A}^1 \setminus \{0, 1728\}$.
• Center Point: $j_0 = s_0 \in S(K)$ such that $E_{s_0}$ has CM field $\mathbb{Q}(\sqrt{-3})$.
• Local Parameter: $x = j - j_0$.

Computational Tools

Uses Wolfram Mathematica for:

1. Computation of relation polynomials.
2. Gröbner basis reduction.
3. Non-triviality verification.

Experimental Results

Main Results

Theorem 1.5: In the setting where $g=1$ and the fiber of $s_0$ has complex multiplication by $\mathbb{Q}(\sqrt{-3})$, for points $s$ that are $v$-adically close to $s_0$, there exists a polynomial $R_{s,v} \in \overline{\mathbb{Q}}[X]$ such that $\iota_v(R_{s,v}(Y_G(s))) = 0$ and $R_{s,v}(Y_G(x)) \neq 0$ at the function level.

Theorem 1.6 (Height Bound): For all $\epsilon > 0$, there exist effectively computable constants $c_0(\epsilon), c_1 > 0$ such that: $h(s) \leq c_0(\epsilon) \cdot ((|\Sigma_{Q(s_0),ssing}(s,0)| + \text{disc}(\text{End}(X_s))^\epsilon) \cdot [K(s):Q])^{c_1}$

Special Case Results

Proposition 5.5: For the set of CM points $A(j_0) = \{j : \text{End}^0_{\overline{\mathbb{Q}}}(E_j) = \text{End}^0_{\overline{\mathbb{Q}}}(E_0)\}$ with the same CM field, a stronger bound holds: $h(j) \leq C_1 + C_2 \log([Q(j):Q])$

Computational Verification

Mathematica code verifies that all constructed relation polynomials do not lie in the ideal $\langle X_{11}X_{22} - X_{12}X_{21} - 1 \rangle$, ensuring the non-triviality of the relations.

Related Work

Historical Development

1. Bombieri-André Foundational Work: Establishment of the G-function method.
2. Beukers (1993): First study of G-function value relationships in elliptic curve families.
3. André (1995): Study of the same problem using different tools.

Advantages of This Work

1. Completeness: Treats all types of primes, including ramified primes.
2. Effectiveness: All constants are effectively computable.
3. Uniformity: Provides a unified theoretical framework.

Conclusions and Discussion

Main Conclusions

1. Successfully constructs a complete theory of G-function value relationships at CM points in elliptic curve families.
2. Establishes effective height bounds, making significant progress toward effectivization of Siegel's theorem.
3. Reduces the problem to estimating upper bounds on the cardinality of the prime set $P(j)$.

Limitations

1. Conjecture Dependence: The final effective Brauer-Siegel result depends on Conjecture 5.8.
2. Special CM Field Restriction: Main results focus on $\mathbb{Q}(\sqrt{-3})$.
3. Technical Complexity: Treatment of ramified primes requires substantial technical detail.

Future Directions

1. Proof of Conjecture 5.8: Requires more precise upper bounds for the prime set $P(j)$.
2. Generalization to Other CM Fields: Extension to more general CM fields.
3. Higher-Dimensional Cases: Generalization to abelian varieties.

In-Depth Evaluation

Strengths

1. Theoretical Depth: Deeply integrates complex multiplication theory, G-function theory, and Diophantine geometry.
2. Technical Innovation: First treatment of ramified primes, filling an important theoretical gap.
3. Practical Value: All constants are effectively computable with potential for practical application.
4. Completeness: Provides a complete theoretical framework with detailed technical implementation.

Weaknesses

1. Complexity: Technical details are extremely intricate with high barriers to understanding.
2. Specificity: Main results are limited to the specific CM field $\mathbb{Q}(\sqrt{-3})$.
3. Conjecture Dependence: Realization of the ultimate goal depends on unproven conjectures.

Impact

1. Theoretical Contribution: Provides complete theory for G-function method applications in elliptic curve families.
2. Methodological Innovation: Successful application of computer-assisted proof in pure mathematics.
3. Future Development: Opens new research pathways for the effective Brauer-Siegel problem.

Applicable Scenarios

1. Theoretical Research: Study of class number problems in algebraic number theory.
2. Computational Applications: Effective estimation of heights for specific CM elliptic curves.
3. Method Generalization: Application of G-function methods to other geometric objects.

References

The paper cites 36 important references, including:

• André's foundational work on G-function theory And89, And95, And03
• Beukers' research on elliptic curve families Beu93
• Gross-Zagier's singular moduli theory GZ85
• Lauter-Viray's generalizations LV15
• Masser-Wüstholz's homomorphism estimates MW94

Overall Assessment: This is a high-quality paper of significant theoretical value in algebraic number theory. Through sophisticated technical treatment, it resolves key technical difficulties in applying the G-function method and provides new research pathways for the classical problem of effectivizing Siegel's class number bounds. Despite high technical complexity and dependence on unproven conjectures, its theoretical contributions and methodological innovations make it an important advance in the field.