A Framework for Coxeter Spectral Classification of Finite Posets and Their Mesh Geometries of Roots

Following our paper [Linear Algebra Appl. 433(2010), 699–717], we present a framework and computational tools for the Coxeter spectral classification of finite posets J≡(J,⪯). One of the main motivations for the study is an application of matrix representations of posets in representation theory exp...

Full description

Saved in:
Bibliographic Details
Main Authors: Daniel Simson, Katarzyna Zając
Format: Article
Language:English
Published: Wiley 2013-01-01
Series:International Journal of Mathematics and Mathematical Sciences
Online Access:http://dx.doi.org/10.1155/2013/743734
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832564655060418560
author Daniel Simson
Katarzyna Zając
author_facet Daniel Simson
Katarzyna Zając
author_sort Daniel Simson
collection DOAJ
description Following our paper [Linear Algebra Appl. 433(2010), 699–717], we present a framework and computational tools for the Coxeter spectral classification of finite posets J≡(J,⪯). One of the main motivations for the study is an application of matrix representations of posets in representation theory explained by Drozd [Funct. Anal. Appl. 8(1974), 219–225]. We are mainly interested in a Coxeter spectral classification of posets J such that the symmetric Gram matrix GJ:=(1/2)[CJ+CJtr]∈𝕄J(ℚ) is positive semidefinite, where CJ∈𝕄J(ℤ) is the incidence matrix of J. Following the idea of Drozd mentioned earlier, we associate to J its Coxeter matrix CoxJ:=-CJ·CJ-tr, its Coxeter spectrum speccJ, a Coxeter polynomial coxJ(t)∈ℤ[t], and a Coxeter number  cJ. In case GJ is positive semi-definite, we also associate to J a reduced Coxeter number   čJ, and the defect homomorphism ∂J:ℤJ→ℤ. In this case, the Coxeter spectrum speccJ is a subset of the unit circle and consists of roots of unity. In case GJ is positive semi-definite of corank one, we relate the Coxeter spectral properties of the posets J with the Coxeter spectral properties of a simply laced Euclidean diagram DJ∈{𝔻̃n,𝔼̃6,𝔼̃7,𝔼̃8} associated with J. Our aim of the Coxeter spectral analysis of such posets J is to answer the question when the Coxeter type CtypeJ:=(speccJ,cJ,  čJ) of J determines its incidence matrix CJ (and, hence, the poset J) uniquely, up to a ℤ-congruency. In connection with this question, we also discuss the problem studied by Horn and Sergeichuk [Linear Algebra Appl. 389(2004), 347–353], if for any ℤ-invertible matrix A∈𝕄n(ℤ), there is B∈𝕄n(ℤ) such that Atr=Btr·A·B and B2=E is the identity matrix.
format Article
id doaj-art-ff9e68bcaf0f4ccdb15e5f233086e211
institution Kabale University
issn 0161-1712
1687-0425
language English
publishDate 2013-01-01
publisher Wiley
record_format Article
series International Journal of Mathematics and Mathematical Sciences
spelling doaj-art-ff9e68bcaf0f4ccdb15e5f233086e2112025-02-03T01:10:34ZengWileyInternational Journal of Mathematics and Mathematical Sciences0161-17121687-04252013-01-01201310.1155/2013/743734743734A Framework for Coxeter Spectral Classification of Finite Posets and Their Mesh Geometries of RootsDaniel Simson0Katarzyna Zając1Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Ulica Chopina 12/18, 87-100 Toruń, PolandFaculty of Mathematics and Computer Science, Nicolaus Copernicus University, Ulica Chopina 12/18, 87-100 Toruń, PolandFollowing our paper [Linear Algebra Appl. 433(2010), 699–717], we present a framework and computational tools for the Coxeter spectral classification of finite posets J≡(J,⪯). One of the main motivations for the study is an application of matrix representations of posets in representation theory explained by Drozd [Funct. Anal. Appl. 8(1974), 219–225]. We are mainly interested in a Coxeter spectral classification of posets J such that the symmetric Gram matrix GJ:=(1/2)[CJ+CJtr]∈𝕄J(ℚ) is positive semidefinite, where CJ∈𝕄J(ℤ) is the incidence matrix of J. Following the idea of Drozd mentioned earlier, we associate to J its Coxeter matrix CoxJ:=-CJ·CJ-tr, its Coxeter spectrum speccJ, a Coxeter polynomial coxJ(t)∈ℤ[t], and a Coxeter number  cJ. In case GJ is positive semi-definite, we also associate to J a reduced Coxeter number   čJ, and the defect homomorphism ∂J:ℤJ→ℤ. In this case, the Coxeter spectrum speccJ is a subset of the unit circle and consists of roots of unity. In case GJ is positive semi-definite of corank one, we relate the Coxeter spectral properties of the posets J with the Coxeter spectral properties of a simply laced Euclidean diagram DJ∈{𝔻̃n,𝔼̃6,𝔼̃7,𝔼̃8} associated with J. Our aim of the Coxeter spectral analysis of such posets J is to answer the question when the Coxeter type CtypeJ:=(speccJ,cJ,  čJ) of J determines its incidence matrix CJ (and, hence, the poset J) uniquely, up to a ℤ-congruency. In connection with this question, we also discuss the problem studied by Horn and Sergeichuk [Linear Algebra Appl. 389(2004), 347–353], if for any ℤ-invertible matrix A∈𝕄n(ℤ), there is B∈𝕄n(ℤ) such that Atr=Btr·A·B and B2=E is the identity matrix.http://dx.doi.org/10.1155/2013/743734
spellingShingle Daniel Simson
Katarzyna Zając
A Framework for Coxeter Spectral Classification of Finite Posets and Their Mesh Geometries of Roots
International Journal of Mathematics and Mathematical Sciences
title A Framework for Coxeter Spectral Classification of Finite Posets and Their Mesh Geometries of Roots
title_full A Framework for Coxeter Spectral Classification of Finite Posets and Their Mesh Geometries of Roots
title_fullStr A Framework for Coxeter Spectral Classification of Finite Posets and Their Mesh Geometries of Roots
title_full_unstemmed A Framework for Coxeter Spectral Classification of Finite Posets and Their Mesh Geometries of Roots
title_short A Framework for Coxeter Spectral Classification of Finite Posets and Their Mesh Geometries of Roots
title_sort framework for coxeter spectral classification of finite posets and their mesh geometries of roots
url http://dx.doi.org/10.1155/2013/743734
work_keys_str_mv AT danielsimson aframeworkforcoxeterspectralclassificationoffiniteposetsandtheirmeshgeometriesofroots
AT katarzynazajac aframeworkforcoxeterspectralclassificationoffiniteposetsandtheirmeshgeometriesofroots
AT danielsimson frameworkforcoxeterspectralclassificationoffiniteposetsandtheirmeshgeometriesofroots
AT katarzynazajac frameworkforcoxeterspectralclassificationoffiniteposetsandtheirmeshgeometriesofroots