Projective joint spectra and characters of representations of A_n

DOI10.1016/J.JMAA.2023.127951arXiv2212.08928OpenAlexW4388773583MaRDI QIDQ6140905FDOQ6140905

Authors: Thomas Peebles, Michael Stessin

Publication date: 2 January 2024

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Abstract: For a tuple of square complex-valued

N i m e s N

matrices

A_{1}, d o t s, A_{n}

the determinant of their linear combination

x_{1} A_{1} + c d o t s + x_{n} A_{n}

, which is called extit{a pencil}, is a homogeneous polynomial of degree

N

in

C [x_{1}, ... x_{n}]

. Zero-set of this polynomial is an algebraic set in the projective space

C P o^{n - 1}

. This set is called the determinantal hypersurface or determinantal manifold of the tuple

(A_{1}, ..., A_{n})

. It was shown in Cuckovic, Stessin, Tchernev (2021) that if

G

is a non-special Coxeter group of type

A, B

, or

D

,

h o_{1}

and

h o_{2}

are two linear representations of

G

, and the determinantal hypersurfaces of images of the Coxeter generators of

G

under

h o_{1}

and

h o_{2}

coincide as divisors in the projective space, the characters of

h o_{1}

and

h o_{2}

are equal, and, therefore,

h o_{1}

and

h o_{2}

are equivalent. In Peebles, Stessin, Tchernev (in preparation) this result was extended in the characters part to affine Coxeter groups of types

B, C

, and

D

. It was shown there that each such group contains a finite subset such that, if the determinantal hypersurfaces of the images of this set under two finite-dimensional representations coincide as divisors in the projective space, the characters of these representations are equal. Notably, the affine Coxeter groups of

A

type are not covered by this result, as their combinatorics is quite different.mIn this paper we explicitly construct a finite set in

i l d e A_{n}

having the same property. We also show that every group which is a semidirect product of a fine group and a finitely generated abelian group contains a finite subset with the similar property: for every finite-dimensonal representation of the group, the determinantal hypersurface of images of the set determines the representation character.

Full work available at URL: https://arxiv.org/abs/2212.08928

zbMATH Keywords

representations Coxeter groups projective joint spectrum determinantal hypersurfaces determinantal manifolds

Mathematics Subject Classification ID

Surfaces and higher-dimensional varieties (14Jxx) General theory of linear operators (47Axx) Special varieties (14Mxx)

Cites Work

Cited In (1)

Spectral reconstruction of operator tuples

This page was built for publication: Projective joint spectra and characters of representations of \(\tilde{A}_n\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6140905)