Weak Dynkin type and the universality of non-negative Coxeter-regular integral quadratic forms

  • Andrzej Mróz

    Nicolaus Copernicus University in Toruń, Toruń, Poland
  • Katarzyna Zając

    Nicolaus Copernicus University in Toruń, Toruń, Poland
Weak Dynkin type and the universality of non-negative Coxeter-regular integral quadratic forms cover
Download PDF

This article is published open access.

Abstract

An integral quadratic form is called Coxeter-regular if its integer coefficients satisfy a divisibility condition equivalent to the fact that the associated Coxeter transformation and Weyl group are integral. Such forms are known to be useful in the study of finite-dimensional associative algebras, Lie algebras and certain singularities. We show that a non-negative (connected) Coxeter-regular form is universal (that is, represents all non-negative integers) if and only if represents the integers and . This may be viewed as a specialization (and, actually, an extension) of the Conway–Schneeberger/Bhargava “15 Theorem”. As one of the main tools we provide a complete classification, up to -equivalence, of all non-negative Coxeter-regular forms by means of so-called weak Dynkin type, which is a certain equivalence class of a Dynkin (bi)graph. In this way, we obtain a generalization of the known result of Barot-de la Peña for unit forms and simply-laced Dynkin diagrams.

Cite this article

Andrzej Mróz, Katarzyna Zając, Weak Dynkin type and the universality of non-negative Coxeter-regular integral quadratic forms. Doc. Math. 30 (2025), no. 2, pp. 245–274

DOI 10.4171/DM/994