\(P\)-critical integral quadratic forms and positive unit forms: an algorithmic approach (Q603119): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:44, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(P\)-critical integral quadratic forms and positive unit forms: an algorithmic approach |
scientific article |
Statements
\(P\)-critical integral quadratic forms and positive unit forms: an algorithmic approach (English)
0 references
5 November 2010
0 references
The authors introduce the class of \(P\)-critical integral unit forms \(q:\mathbb{Z}^n\to\mathbb{Z}\) containing the critical forms in the sense of Ovsienko. Several characterizations of \(P\)-critical forms are given. In particular, it is proved that \(q\) is \(P\)-critical if and only if there is a uniquely determined extended Dynkin diagram \(\Delta\in \{\widetilde{\mathbb{A}}_n, \widetilde{\mathbb{D}}_n, \widetilde{\mathbb{E}}_6, \widetilde{\mathbb{E}}_7, \widetilde{\mathbb{E}}_8\}\) and a special group isomorphism \(T:\mathbb{Z}^n\to \mathbb{Z}^n\) such that \(q\circ T\) is the quadratic form \(q_\Delta: \mathbb{Z}^n\to \mathbb{Z}\), \(n= |\Delta_0|\), of the diagram \(\Delta\). A correspondence between positive forms \(p: \mathbb{Z}^{n-1}\to \mathbb{Z}\) with a sincere root and \(P\)-critical forms \(q: \mathbb{Z}^n\to \mathbb{Z}\) is described. The authors construct efficient linear algebra algorithms for computing \(P\)-critical unit forms and positive forms.
0 references
integral quadratic form
0 references
Dynkin diagram
0 references
extended Dynkin diagram
0 references
positive form
0 references
\(P\)-critical form
0 references
sincere root
0 references
morsification
0 references
Coxeter-Gram polynomial
0 references