Root-induced integral quadratic forms (Q2576220): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: José Antonio de la Peña / rank
Normal rank
 
Property / author
 
Property / author: José Antonio de la Peña / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.laa.2005.06.030 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2071227896 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebras whose Euler form is non-negative / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Dynkin type of a non-negative unit form. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebra VIII: Representations of finite-dimensional algebras. Transl. from the Russian / rank
 
Normal rank

Latest revision as of 13:26, 11 June 2024

scientific article
Language Label Description Also known as
English
Root-induced integral quadratic forms
scientific article

    Statements

    Root-induced integral quadratic forms (English)
    0 references
    0 references
    27 December 2005
    0 references
    The quadratic form \[ q : {\mathbb Z}^I\to {\mathbb Z},\quad v\mapsto q(v)=\sum_{i\in I} q_iv_i^2+{1\over 2}\sum_{i\neq j\in I} q_{ij}v_iv_j, \] where \(I\) is a finite set, is a \textit{unit form} if \(q_i=1\), it is a \textit{semiunit form} if \(q_i\in\{0,1\}\), for all \(i\in I\). A vector \(v\) is called a \textit{q-root} if \(q(v)=1\). Given a finite tuple of \(q\)-roots \(r=(r^j)_{j\in J}\), the \textit{\(q\)-root form induced by the tuple \(r\)} is \(q_r(y)=q\big(\sum_{j\in J} y_jr^j\big)\). Two forms \(q : {\mathbb Z}^I \to {\mathbb Z}\) and \(q' : {\mathbb Z}^J \to {\mathbb Z}\) are called \textit{equivalent} if there exists a linear \({\mathbb Z}\)-invertible transformation \(T : {\mathbb Z}^I \to {\mathbb Z}^J\) such that \(q=q'T\). Each equivalence class is assigned a Dynkin diagram of type \(A_n\), \(D_n\;(n\geq 4)\), or \(E_n\;(n=6,7,8)\). The authors show that two nonnegative unit forms are of the same Dynkin type precisely when they are root-induced one from the other. They also show that there are only finitely many nonnegative unit forms of any given Dynkin type.
    0 references
    integral quadratic form
    0 references
    unit form
    0 references
    Dynkin type
    0 references

    Identifiers