Treillis extremaux

Cette séance de cours plonge dans les réseaux extrêmes, en se concentrant même sur les réseaux unimodulaires en RD. L'instructeur clarifie la fonction de données, les règles de transformation et l'impossibilité du multiple impair de quatre réseaux. La discussion s'étend aux formes modulaires, aux définitions de caractères et à l'unicité des formes modulaires extrêmes. La preuve du théorème de Ziegel est présentée, mettant en évidence la borne sur le vecteur le plus court dans les réseaux extrêmes. La séance de cours se termine par des aperçus de l'emballage des sphères, des calculs de densité et de l'existence finie de treillis extrèmes, même unimodulaires, dans des dimensions spécifiques.