Abstract:We extend the parametric geometry of numbers (initiated by Schmidt and Summerer, and deepened by Roy) to Diophantine approximation for systems of m linear forms in n variables, and establish a new connection to the metric theory via a variational principle that computes fractal dimensions of a variety of sets of number-theoretic interest. The proof of our variational principle relies on two novel ingredients: a variant of Schmidt's game capable of computing the Hausdorff and packing dimensions of any set, and the notion of templates, which generalize Roy's rigid systems. We use our variational principle to compute the Hausdorff and packing dimensions of the set of singular systems of linear forms and show they are equal, resolving a conjecture of Kadyrov, Kleinbock, Lindenstrauss and Margulis, as well as a question of Bugeaud, Cheung and Chevallier. As a corollary of Dani's correspondence principle, the divergent trajectories of a one-parameter diagonal action on the space of unimodular lattices with exactly two Lyapunov exponents with opposite signs have equal Hausdorff and packing dimensions. Other applications include quantitative strengthenings of theorems due to Cheung and Moshchevitin, which originally resolved conjectures due to Starkov and Schmidt respectively; as well as dimension formulas with respect to the uniform exponent of irrationality for simultaneous and dual approximation in two dimensions, completing partial results due to Baker, Bugeaud, Cheung, Chevallier, Dodson, Laurent and Rynne.

Parametrization of Formal Norm Compatible Sequences

Eigenspaces of Coleman's Trace Operator

On sequences preserving q-Gevrey asymptotic expansions

Sequences in non-commutative L^p-spaces

A geometric approach to functional equations for general multiple Dirichlet series over function fields

Unimodality and certain bivariate formal Laurent series

Unimodality preservation by ratios of functional series and integral transforms

Parametric Summability and Its Applications

A New Regularized Siegel-Weil Type Formula. Part I

L-Series for Vector-Valued Weakly Holomorphic Modular Forms and Converse Theorems

The perfectoid commutant of Lubin-Tate power series

A characterization of Sturmian sequences by indistinguishable asymptotic pairs

On some combinatorial sequences associated to invariant theory

A note on the convergence of multivariate formal power series solutions of meromorphic Pfaffian systems

Topology and geometry of the general composition of formal power series - towards Fréchet-Lie group-like formalism

Eisenstein series on arithmetic quotients of rank 2 Kac--Moody groups over finite fields, with an appendix by Paul Garrett

Approche non-invariante de la correspondance de Jacquet-Langlands: analyse géométrique

Bounded Power Series on the Real Line

A variational principle in the parametric geometry of numbers