Discrete groups | Compactness theorems | Geometry of numbers | Theorems in number theory
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).
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)
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
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
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
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)
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
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
Philippe Michel - 3/4 Automorphic forms for GL(2)
Philippe Michel - Automorphic forms for GL(2)
From playlist École d'été 2014 - Théorie analytique des nombres
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
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
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)
Title: Algebraic Independence of Functions Satisfying Nonlinear Polynomial Mahler Equations
From playlist Differential Algebra and Related Topics VII (2016)
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)
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)
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)
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
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
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
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