[Paper Review] Entropy and Escape of Mass for Hilbert Modular Spaces

Shirali Kadyrov|Explore Bristol Research|Jan 24, 2011

Mathematical Dynamics and Fractals8 references3 citations

TL;DR

This paper establishes a quantitative relationship between metric entropy and escape of mass for diagonal flows on Hilbert modular spaces associated with algebraic number fields. By analyzing the dynamics of a fixed diagonal element acting on the quotient space Γ\G, it proves that measures with entropy exceeding half the maximal possible entropy must retain a positive lower bound of mass in the weak* limit, with the bound explicitly depending on the entropy gap and the geometry of the space.

ABSTRACT

We study the relation between metric entropy and escape of mass for the Hilbert modular spaces with the action of a diagonal element.

Motivation & Objective

• To extend the entropy-mass relationship from the modular surface to higher-rank Hilbert modular spaces.
• To address the non-escape of mass problem for diagonal flows, where mass can otherwise vanish in the limit.
• To establish a lower bound on the mass retained in the weak* limit of T-invariant probability measures based on their metric entropy.
• To generalize results from unipotent flows to diagonal flows in the context of arithmetic quotients of semisimple groups.
• To propose a conjecture on the sharpness of the entropy threshold for mass retention in general Q-rank one arithmetic quotients.

Proposed method

• Define the Hilbert modular space X = Γ\G, where G is a product of SL(2,R) and SL(2,C) over archimedean embeddings of a number field F, and Γ = SL₂(𝒪) is an arithmetic lattice.
• Introduce a height function ht(·) on X, partitioning it into compact sets X_<M and their complements X_≥M.
• Define the maximal metric entropy h_max(T) of the diagonal flow T as the sum of absolute values of logarithmic eigenvalues of the diagonal element.
• Use covering arguments with nested balls in unstable and stable directions to estimate measure decay, relying on volume growth and entropy bounds.
• Apply a dynamical covering lemma (Lemma 6.1) and entropy-dimension comparison to bound the measure of sets where the orbit spends time in the non-compact part.
• Derive exponential decay estimates for the proportion of time orbits spend in X_≥M, using the dimension d of the measure and the entropy gap.

Experimental results

Research questions

• RQ1 What is the minimal entropy threshold above which mass cannot escape under diagonal flows on Hilbert modular spaces?
• RQ2 How does the amount of mass retained in the weak* limit relate quantitatively to the metric entropy of the measures?
• RQ3 Can the entropy-mass relationship observed in the modular surface be generalized to higher-rank Hilbert modular spaces?
• RQ4 Is the threshold of h_max(T)/2 for non-escape of mass sharp in this setting?
• RQ5 What is the role of the geometry of the quotient space and the dynamics of the diagonal flow in determining the escape of mass?

Key findings

• For any T-invariant probability measure μ on X, the measure of the compact part X_<M satisfies μ(X_<M) ≥ 1 − (2/h_max(T))(h_max(T) − h_μ(T)) + φ(M), where φ(M) → 0 as M → ∞.
• If a sequence of T-invariant measures has entropy h_μ_n(T) ≥ h, then any weak* limit μ_∞ satisfies μ_∞(X) ≥ 2h/h_max(T) − 1.
• When h > h_max(T)/2, the limit measure μ_∞ must have positive mass, specifically at least 2h/h_max(T) − 1 > 0.
• The bound is sharp in the sense that there likely exists a sequence of measures with entropy approaching h_max(T)/2 whose weak* limit is the zero measure.
• For measures of dimension d in the unstable direction, if d > D − h_max(T)/(2a_*), then the limit measure has mass at least 1 − 2a_*(D−d)/h_max(T), showing a dimension-entropy trade-off.
• The result confirms a conjecture for Q-rank one arithmetic quotients, suggesting that entropy above half the maximal value prevents full escape of mass.