On Converse Theorems for Hilbert Modular Forms Assuming Unramified Twists

Basic Information

• Paper ID: 2404.01449
• Title: On converse theorems for Hilbert modular forms assuming unramified twists
• Author: Pengcheng Zhang
• Classification: math.NT (Number Theory)
• Publication Date: November 3, 2025 (v3)
• Paper Link: https://arxiv.org/abs/2404.01449

Abstract

This paper establishes two results concerning converse theorems for Hilbert modular forms over totally real number fields of degree $r > 1$. The first result recovers a Hilbert modular form of some level from an $L$-series satisfying functional equations for all unramified Hecke character twists. The second result, additionally assuming unramified functional equations and Euler products, recovers a Hilbert modular form of the expected level predicted by the functional equation. These results generalize current converse theorems for $\mathrm{GL}_2$ Hilbert modular forms by completely removing the assumption of ramified twists.

Research Background and Motivation

Problem Context

The study of converse theorems aims to recover automorphic forms from $L$-series, a research direction tracing back to Hecke's work. In the case of Hilbert modular forms, classical converse theorems typically require assuming functional equations for twists by all Hecke characters, including those ramified at finite primes.

Core Issues

1. Removing the ramified twist assumption: Existing converse theorems for Hilbert modular forms depend on functional equations for twists by all Hecke characters, including those ramified at finite primes. This assumption is often difficult to verify in practical applications.
2. The case of narrow class number greater than 1: When the narrow class number of the base field exceeds 1, recovering the expected level of modular forms from unramified twists alone becomes problematic.

Research Motivation

• Theoretical refinement: Perfecting the theoretical framework of converse theorems for Hilbert modular forms
• Practical applications: Providing more general theoretical foundations for applications such as Doi-Naganuma lifting
• Technical advancement: Extending techniques from unramified converse theorems for $\mathrm{GL}_n$ ($n \geq 3$) to the case of $\mathrm{GL}_2$ Hilbert modular forms

Core Contributions

1. First main result: Recovery of a Hilbert modular form of some level from functional equations for twists by unramified Hecke characters alone
2. Second main result: Under the additional assumption of Euler products, recovery of a Hilbert modular form of the precise level predicted by the functional equation
3. Complete removal of ramified twist assumption: A significant improvement over existing converse theorems
4. Extension of Vaserstein's generation theorem: Application to the proof of converse theorems for Hilbert modular forms
5. Correction of literature defects: Identification and correction of a technical flaw in BBB+18

Detailed Methodology

Problem Formulation

Given an $L$-series $L(s) = \sum_{a \in I_F} A(a) \cdot N(a)^{-s}$, where $I_F$ is the set of nonzero integral ideals of a totally real number field $F$, satisfying:

1. For all unramified Hecke characters $\psi$, the twisted $L$-series $\hat{L}(s,A,\psi)$ admits holomorphic continuation and satisfies a functional equation
2. (Optionally) possesses an Euler product of a specific form

prove that $L(s)$ is the $L$-function of some Hilbert modular form.

Core Theorems

Theorem 1.1: Let $F$ be a totally real number field of degree $r > 1$, $n$ a nonzero integral ideal of $\mathcal{O}_F$, $k \in (2\mathbb{Z}_+)^r$, and $\epsilon = \pm 1$.

If for all unramified Hecke characters $\psi$, the completed $L$-series $\hat{L}(s,A,\psi)$ satisfies the functional equation: $\hat{L}(s,A,\psi) = \epsilon i^{-|k|} \psi(nd^2) \hat{L}(k_0-s,A,\psi)$

then $L(s)$ is the $L$-function of a Hilbert modular form of weight $k$ and level $K_1(rn)$.

If we further assume that $L(s)$ has an Euler product of the form, for $p \nmid nd^2$: $L_p(s) = (1-A(p)N(p)^{-s} + N(p)^{k_0-1-2s})^{-1}$

then $L(s)$ is the $L$-function of a Hilbert modular form of weight $k$ and level $K_0(n)$.

Proof Strategy

The proof consists of four main steps:

Step 1: Characteristic function properties of the Fricke involution

• Modification of the Doi-Naganuma proof method
• Derivation of the property that $f$ is a characteristic function of the Fricke involution from unramified functional equations

Step 2: Invariance under congruence subgroups

• Application of Vaserstein's main theorem
• Proof that each $f_\lambda$ is invariant under some congruence subgroup

Step 3: Characteristic functions of infinite Hecke operators

• Utilization of the specific form of Euler factors
• Proof that $f_\lambda$ is a characteristic function of certain "infinite Hecke operators" at specific primes

Step 4: Extension to the correct congruence subgroup

• Application of ideas from BBB+18 (with correction of its flaw)
• Extension of invariance to the correct level predicted by the functional equation

Technical Innovations

1. Infinite Hecke operators: Definition of new operators $T^{\infty}_{p,F}$ to handle the Euler product condition
2. Application of generation set theory: Systematic use of Vaserstein's deep results on generating sets of congruence subgroups
3. Constructive selection of prime ideals: Proof of existence of prime ideals with specific properties in the appendix
4. Nonvanishing of matrix determinants: Proof of the key Lemma 7.4, ensuring the nonvanishing of a certain matrix determinant

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments. All results are rigorous mathematical proofs.

Main Results

Theoretical Results

1. Theorem 1.1: Complete converse theorem under unramified twist assumptions
2. Corollary 5.2: Recovery of modular forms from functional equations alone
3. Proposition 7.1: Recovery of precise level under additional Euler product assumptions

Technical Results

1. Lemma 7.4: Key technical lemma on nonvanishing of exponential sum matrix determinants
2. Prime ideal lemma in Appendix A: Existence result for construction of prime ideals with specific properties

Related Work

Historical Development

1. Hecke (1936): Earliest converse theorem, recovering level 1 elliptic modular forms
2. Weil (1967): Generalization to arbitrary level, requiring twists by all Dirichlet characters
3. Doi-Naganuma (1970): Converse theorem for Hilbert modular forms, restricted to norm-Euclidean fields
4. Jacquet-Langlands (1970): General converse theorem for $\mathrm{GL}_2$
5. Piatetski-Shapiro (1975): Results in the language of automorphic representations
6. Cogdell-Piatetski-Shapiro (1994): Unramified converse theorem for $\mathrm{GL}_n$

Position of This Work

This paper fills an important gap in the converse theorem theory for Hilbert modular forms, successfully applying techniques from unramified converse theorems for higher-order $\mathrm{GL}_n$ to the case of $\mathrm{GL}_2$ Hilbert modular forms.

Conclusions and Discussion

Main Conclusions

1. Functional equations for twists by unramified Hecke characters suffice to recover Hilbert modular forms (of some level)
2. The additional Euler product condition determines the precise level
3. In the case of narrow class number 1, both results yield the same level, illustrating the trade-off between narrow class number and Euler products

Limitations

1. Base field restriction: Applies only to totally real number fields, cannot handle imaginary quadratic fields, etc.
2. Weight restriction: Requires weights to be positive even integers
3. Partial Euler products: The second result actually requires only partial Euler products at specific primes

Future Directions

1. Generalization to more general number fields
2. Investigation of more general cases with non-parallel weights
3. Connection with functoriality in the Langlands program

In-Depth Evaluation

Strengths

1. Theoretical breakthrough: Complete removal of the ramified twist assumption represents significant theoretical progress
2. Technical innovation: Skillful combination of multiple deep number-theoretic tools
3. Rigor: Complete and rigorous proofs with correction of technical flaws in the literature
4. Applied value: Provides stronger theoretical foundations for applications such as Doi-Naganuma lifting

Weaknesses

1. Technical complexity: Proofs involve multiple deep tools with high barriers to understanding
2. Scope of applicability: Still subject to certain technical restrictions
3. Constructivity: Some existence results lack effective construction methods

Impact

1. Theoretical significance: Advances the general theory of converse theorems
2. Methodological contribution: Demonstrates how to organically combine different number-theoretic tools
3. Foundation for future research: Establishes basis for further research in related fields

Applicable Scenarios

1. Theoretical research on Hilbert modular forms
2. Lifting theory of automorphic forms
3. Study of analytic properties of $L$-functions
4. Applications of class field theory in algebraic number theory

References

The paper cites 25 important references covering classical and modern results in converse theorems, Hilbert modular forms, and automorphic representation theory, reflecting the deep theoretical foundations of this research.

Overall Assessment: This is a high-quality theoretical mathematics paper achieving significant breakthroughs in converse theorem theory for Hilbert modular forms. While highly technical, it resolves an important problem in the field and possesses considerable theoretical value and application prospects.