Discrete groups | Compactness theorems | Geometry of numbers | Theorems in number theory

Mahler's compactness theorem

In mathematics, Mahler's compactness theorem, proved by Kurt Mahler, is a foundational result on lattices in Euclidean space, characterising sets of lattices that are 'bounded' in a certain definite sense. Looked at another way, it explains the ways in which a lattice could degenerate (go off to infinity) in a sequence of lattices. In intuitive terms it says that this is possible in just two ways: becoming coarse-grained with a fundamental domain that has ever larger volume; or containing shorter and shorter vectors. It is also called his selection theorem, following an older convention used in naming compactness theorems, because they were formulated in terms of sequential compactness (the possibility of selecting a convergent subsequence). Let X be the space that parametrises lattices in , with its quotient topology. There is a well-defined function Δ on X, which is the absolute value of the determinant of a matrix – this is constant on the cosets, since an invertible integer matrix has determinant 1 or −1. Mahler's compactness theorem states that a subset Y of X is relatively compact if and only if Δ is bounded on Y, and there is a neighbourhood N of 0 in such that for all Λ in Y, the only lattice point of Λ in N is 0 itself. The assertion of Mahler's theorem is equivalent to the compactness of the space of unit-covolume lattices in whose systole is larger or equal than any fixed . Mahler's compactness theorem was generalized to semisimple Lie groups by David Mumford; see Mumford's compactness theorem. (Wikipedia).

Video thumbnail

Math 131 Fall 2018 100318 Heine Borel Theorem

Definition of limit point compactness. Compact implies limit point compact. A nested sequence of closed intervals has a nonempty intersection. k-cells are compact. Heine-Borel Theorem: in Euclidean space, compactness, limit point compactness, and being closed and bounded are equivalent

From playlist Course 7: (Rudin's) Principles of Mathematical Analysis (Fall 2018)

Video thumbnail

Yoshihiro Ohnita: Minimal Maslov number of R-spaces canonically embedded in Einstein-Kähler C-spaces

An R-space is a compact homogeneous space obtained as an orbit of the isotropy representation of a Riemannian symmetric space. It is known that each R-space has the canonical embedding into a Kähler C-space as a real form which is a compact embedded totally geodesic Lagrangian submanifold.

From playlist Geometry

Video thumbnail

MAST30026 Lecture 8: Compactness I

This is the first of several lectures on compactness. I recalled the proof of the Bolzano-Weierstrass theorem, defined sequential compactness in metric spaces and the characterisation of continuity of functions in terms of limits, and proved that the image of a compact set is compact. Lec

From playlist MAST30026 Metric and Hilbert spaces

Video thumbnail

Boris Adamczewski: Mahler's method in several variables

Abstract: Any algebraic (resp. linear) relation over the field of rational functions with algebraic coefficients between given analytic functions leads by specialization to algebraic (resp. linear) relations over the field of algebraic numbers between the values of these functions. Number

From playlist Combinatorics

Video thumbnail

Math 131 Fall 2018 100818 Limits and Continuity in Metric Spaces

Limits of functions (in the setting of metric spaces). Definition. Rephrasal of definition. Uniqueness of limit. Definition of continuity at a point. Remark on continuity at an isolated point. Relation with limits. Composition of continuous functions is continuous. Alternate (topol

From playlist Course 7: (Rudin's) Principles of Mathematical Analysis (Fall 2018)

Video thumbnail

Math 131 092816 Continuity; Continuity and Compactness

Review definition of limit. Definition of continuity at a point; remark about isolated points; connection with limits. Composition of continuous functions. Alternate characterization of continuous functions (topological definition). Continuity and compactness: continuous image of a com

From playlist Course 7: (Rudin's) Principles of Mathematical Analysis

Video thumbnail

CTNT 2022 - p-adic Fourier theory and applications (by Jeremy Teitelbaum)

This video is one of the special guess talks or conference talks that took place during CTNT 2022, the Connecticut Summer School and Conference in Number Theory. Note: not every special guest lecture or conference lecture was recorded. More about CTNT: https://ctnt-summer.math.uconn.edu/

From playlist CTNT 2022 - Conference lectures and special guest lectures

Video thumbnail

Parallel session 4 by Jayadev Athreya

Geometry Topology and Dynamics in Negative Curvature URL: https://www.icts.res.in/program/gtdnc DATES: Monday 02 Aug, 2010 - Saturday 07 Aug, 2010 VENUE : Raman Research Institute, Bangalore DESCRIPTION: This is An ICM Satellite Conference. The conference intends to bring together ma

From playlist Geometry Topology and Dynamics in Negative Curvature

Video thumbnail

From PhD to PhD: A Conference Mapping the Network on Lebanese Mathematics - Day 3 - June 3, 2021

“I dislike frontiers, political or intellectual, and I find that ignoring them is an essential catalyst for creative thought. Ideas should flow without hindrance in their natural course.” Michael Atiyah In the midst of social-political turmoil, financial meltdown, disease induced lockdown,

From playlist From PhD to PhD: A Conference Mapping the Network on Lebanese Mathematics - June 1-3, 2021

Video thumbnail

The Chabauty Topology 2 (Lecture-1) by Ian Biringer

PROGRAM: PROBABILISTIC METHODS IN NEGATIVE CURVATURE (ONLINE) ORGANIZERS: Riddhipratim Basu (ICTS - TIFR, Bengaluru), Anish Ghosh (TIFR, Mumbai) and Mahan M J (TIFR, Mumbai) DATE & TIME: 01 March 2021 to 12 March 2021 VENUE: Online Due to the ongoing COVID pandemic, the meeting will

From playlist Probabilistic Methods in Negative Curvature (Online)

Video thumbnail

DART VII Thomas Scanlon

Title: Algebraic Independence of Functions Satisfying Nonlinear Polynomial Mahler Equations

From playlist Differential Algebra and Related Topics VII (2016)

Video thumbnail

Math 101 Fall 2017 120117 Compact Sets: The Heine-Borel Theorem

Theorem: the continuous image of a compact set is compact. Theorem: a collection of compact sets satisfying the finite intersection property has a non-empty intersection. Theorem: In R, closed and bounded intervals are compact. Corollary: Heine-Borel theorem (in R, a set is compact iff

From playlist Course 6: Introduction to Analysis (Fall 2017)

Video thumbnail

Math 101 Fall 2017 112917 Introduction to Compact Sets

Definition of an open cover. Definition of a compact set (in the real numbers). Examples and non-examples. Properties of compact sets: compact sets are bounded. Compact sets are closed. Closed subsets of compact sets are compact. Infinite subsets of compact sets have accumulation poi

From playlist Course 6: Introduction to Analysis (Fall 2017)

Video thumbnail

The SL (2, R) action on spaces of differentials (Lecture 01) by Jayadev Athreya

DISCUSSION MEETING SURFACE GROUP REPRESENTATIONS AND PROJECTIVE STRUCTURES ORGANIZERS: Krishnendu Gongopadhyay, Subhojoy Gupta, Francois Labourie, Mahan Mj and Pranab Sardar DATE: 10 December 2018 to 21 December 2018 VENUE: Ramanujan Lecture Hall, ICTS Bangalore The study of spaces o

From playlist Surface group representations and Projective Structures (2018)

Video thumbnail

Completeness and Orthogonality

A discussion of the properties of Completeness and Orthogonality of special functions, such as Legendre Polynomials and Bessel functions.

From playlist Mathematical Physics II Uploads

Video thumbnail

A tale of two conjectures: from Mahler to Viterbo - Yaron Ostrover

Members' Seminar Topic: A tale of two conjectures: from Mahler to Viterbo. Speaker: Yaron Ostrover Affiliation: Tel Aviv University, von Neumann Fellow, School of Mathematics Date: November 19, 2018 For more video please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Boris Adamczewski : Aléa, automates et transcendance

HYBRID EVENT L'étude du caractère aléatoire de la suite des chiffres de certains nombres réels donne lieu à des problèmes classiques, comme la conjecture de normalité des nombres algébriques ou la conjecture de dimensions de Furstenberg (1969). Malheureusement, notre capacité à les appréhe

From playlist Combinatorics

Video thumbnail

S. Druel - A decomposition theorem for singular spaces with trivial canonical class (Part 4)

The Beauville-Bogomolov decomposition theorem asserts that any compact Kähler manifold with numerically trivial canonical bundle admits an étale cover that decomposes into a product of a torus, an irreducible, simply-connected Calabi-Yau, and holomorphic symplectic manifolds. With the deve

From playlist Ecole d'été 2019 - Foliations and algebraic geometry

Related pages

Absolute value | If and only if | Bounded set | Mathematics | Degeneracy (mathematics) | Determinant | Fundamental domain | Lattice (group) | Mumford's compactness theorem | Coset | Sequence | Euclidean space | Systolic geometry