Strengthening of a theorem on Coxeter–Euclidean type of principal partyally ordered sets

Abstract

Among the quadratic forms, playing an important role in modern mathematics, the Tits quadratic forms should be distinguished. Such quadratic forms were first introduced by P. Gabriel for any quiver in connection with the study of representations of quivers (also introduced by him). P. Gabriel proved that the connected quivers with positive Tits form coincide with the Dynkin quivers. This quadratic form is naturally generalized to a poset. The posets with positive quadratic Tits form (analogs of the Dynkin diagrams) were classified by the authors together with the P-critical posets (the smallest posets with non-positive quadratic Tits form). The quadratic Tits form of a P-critical poset is non-negative and corank of its symmetric matrix is 1. In this paper we study all posets with such two properties, which are called principal, related to equivalence of their quadratic Tits forms and those of Euclidean diagrams. In particular, one problem posted in 2014 is solved.

Квадратичнi форми Тiтса, якi вiдiграють важливу роль у сучаснiй математицi, вперше ввiв П. Габрiель для скiнченних сагайдакiв. Вiн довiв, що зв'язнi сагайдаки з додатною формою Тiтса збiгаються з сагайдаками Динкiна. Ця квадратична форма природно узагальнюється на ч. в. множини. Ч. в. множини з додатною квадратичною формою Тiтса (аналоги дiаграм Динкiна) були класифiкованi авторами разом з P-критичними ч. в. множинами (найменшими ч. в. множинами з не додатною квадратичною формою Тiтса). Квадратична форма Тiтса будь-якої P-критичної ч. в. множини є невiд'ємною i коранг її симетричної матрицi дорiвнює 1. У цiй роботi вивчаються квадратичнi форми всiх ч. в. множин, якi задовольняють цi двi властивостi; називаються вони головними. Зокрема, для них розв'язана поставлена в 2014 р. проблема про вiдповiднi евклiдовi дiаграми.