[Paper Review] A practical guide to well roundedness

Tal Horesh, Yakov Karasik|arXiv (Cornell University)|Nov 23, 2020

Analytic Number Theory Research13 references4 citations

TL;DR

This paper develops a systematic framework for verifying well-roundedness of families of sets in semisimple algebraic groups, crucial for asymptotic lattice point counting with error terms. It introduces 'roundomorphisms'—structure-preserving maps that transfer well-roundedness from simpler subgroups (e.g., abelian, unipotent, or compact) to the full group, enabling reduction of complex counting problems to manageable components via group decompositions like Iwasawa or Cartan.

ABSTRACT

Let $G$ be a semisimple algebraic group. We develop a machinery for manipulation and manufacture of well-rounded families $\left\{ \mathcal{B}_{T} ight\} _{T>0}\subset G$ as they were defined in a work by A. Gorodnik and A. Nevo. The importance of these types of families is that one can asymptotically count lattice points in them and even obtain an error term. Lattice counting is highly effective for solving asymptotic problems from number theory and the geometry of numbers. The tools we develop are handy especially when the family is given w.r.t. some decomposition of $G$ (e.g. Iwasawa or Cartan) and also when it depends upon a sub-quotients of the form $\mathcal{M}/H$, where $\mathcal{M}\subset G$ is a submanifold and $H

Motivation & Objective

• To provide a practical toolkit for verifying well-roundedness of families of sets in semisimple algebraic groups, a key requirement for asymptotic lattice point counting with error terms.
• To address the challenge that well-roundedness in components of a group decomposition (e.g., Iwasawa or Cartan) does not automatically imply well-roundedness in the full group.
• To introduce 'roundomorphisms'—morphisms between groups that preserve well-roundedness, enabling transfer of well-rounded families from image to domain.
• To establish conditions under which projections of sets to subgroups (e.g., A, K, N) can be used to infer well-roundedness of the original family in the full group.
• To apply the framework to concrete counting problems in hyperbolic spaces and arithmetic quotients, particularly in the context of the hyperbolic sphere problem and equidistribution in the geometry of numbers.

Proposed method

• Define 'roundomorphisms' as group homomorphisms that pull back well-rounded families from the image group to the domain group, preserving the Lipschitz well-roundedness condition.
• Use the Lipschitz well-roundedness criterion: for a family {B_T}, check that μ(B_T^(+ε)) ≤ (1 + Cε)μ(B_T^(-ε)) for small ε > 0 and T > T₀, with C the Lipschitz constant.
• Apply the framework to families defined via group decompositions—especially Iwasawa and Cartan decompositions—by analyzing projections onto A (abelian), K (compact), and N (unipotent) subgroups.
• Leverage the Mahler compactness criterion to prove properness of quotient maps from fundamental domains to the space of lattices, ensuring boundedness of components in the Iwasawa decomposition.
• Construct fundamental domains (e.g., F_m, F̃_m) using reduced bases and symmetric positive definite forms, and prove their boundary is contained in a finite union of lower-dimensional submanifolds (BCS).
• Use Proposition 6.15 and 6.16 to show that products of well-rounded sets in subgroups (e.g., SL_d(ℝ) × SL_{n−d}(ℝ)) form spread models in larger groups, enabling inductive verification of well-roundedness.

Experimental results

Research questions

• RQ1 How can one systematically verify well-roundedness of a family of sets in a semisimple algebraic group when the group is decomposed into simpler subgroups?
• RQ2 Under what conditions does well-roundedness in the components of a group decomposition (e.g., Iwasawa or Cartan) imply well-roundedness in the full group?
• RQ3 What structural properties of group homomorphisms allow them to preserve well-roundedness, and how can such maps be constructed for practical use?
• RQ4 How can fundamental domains for the action on the space of lattices be constructed to ensure boundedness and properness of the quotient map?
• RQ5 Can the framework be applied to verify well-roundedness for families arising from the hyperbolic sphere problem or other classical counting problems in arithmetic geometry?

Key findings

• The introduction of 'roundomorphisms' provides a categorical mechanism to transfer well-roundedness from image groups to domain groups, solving the non-preservation problem in group decompositions.
• The boundary of the constructed fundamental domain F̃_m is contained in a finite union of lower-dimensional submanifolds (BCS), ensuring regularity for counting purposes.
• The quotient map π restricted to the closure of F̃_m is proper, as shown via the Mahler compactness criterion, which bounds the A, K, and N components of preimages of compact sets in the space of lattices.
• The set K^′[F̃_d × F̃_{n−d}] is a spread model in KP′′ for the lattice SL_d(ℤ) × SL_{n−d}(ℤ), confirming well-roundedness in the product group setting.
• The construction ensures that F_m ∩ ℳ_free ⊆ cl(int(F_m ∩ ℳ_free)) and F̃_m ⊆ cl(int(F̃_m)), which is essential for the regularity of the fundamental domain in the quotient space.
• The framework enables verification of well-roundedness for families defined via Iwasawa decomposition, which is critical for ongoing work on equidistribution and lattice point counting in semisimple groups.