-
Spectral reconstruction and representations of finitely generated groups
Authors:
Michael Stessin
Abstract:
It is well-known that characters classify linear representations of finite groups, that is if characters of two representations of a finite group are the same, these representations are equivalent. It is also well-known that, in general, this is not true for representations of infinite groups, even if they are finitely generated. The goal of this paper is to establish a characterization of represe…
▽ More
It is well-known that characters classify linear representations of finite groups, that is if characters of two representations of a finite group are the same, these representations are equivalent. It is also well-known that, in general, this is not true for representations of infinite groups, even if they are finitely generated. The goal of this paper is to establish a characterization of representations of finitely generated groups in terms of projective joint spectra. This approach has a clear advantage compared to character classification as it is valid for a much wider family of groups and for both finite and infinite dimensional representations. The main tool in establishing our spectral characterization is a reconstruction of an operator acting on a separable Hilbert space from the proper projective joint spectrum of the quadruple containing this operator along with a certain triple of bounded operators acting on the same space.
△ Less
Submitted 13 March, 2024; v1 submitted 11 December, 2023;
originally announced December 2023.
-
Spectral rigidity for infinitesimal generators of representations of twisted $S_νU(2)$
Authors:
Michael Stessin
Abstract:
We prove spectral rigidity theorems for the infinitesimal generators of representations of twisted $S_νU(2)$ groups
We prove spectral rigidity theorems for the infinitesimal generators of representations of twisted $S_νU(2)$ groups
△ Less
Submitted 25 August, 2023;
originally announced August 2023.
-
Projective Joint Spectra and Characters of representations of $\tilde{A}_n$
Authors:
T. Peebles,
M. Stessin
Abstract:
For a tuple of square complex-valued $N\times N$ matrices $A_1,\dots,A_n$ the determinant of their linear combination $x_1A_1+\cdots +x_nA_n$, which is called \textit{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\Po^{n-1}$. This set is called the determinantal hypersurface or determinantal manif…
▽ More
For a tuple of square complex-valued $N\times N$ matrices $A_1,\dots,A_n$ the determinant of their linear combination $x_1A_1+\cdots +x_nA_n$, which is called \textit{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\Po^{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$, $ρ_1$ and $ρ_2$ are two linear representations of $G$, and the determinantal hypersurfaces of images of the Coxeter generators of $G$ under $ρ_1$ and $ρ_2$ coincide as divisors in the projective space, the characters of $ρ_1$ and $ρ_2$ are equal, and, therefore, $ρ_1$ and $ρ_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 $\tilde{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.
△ Less
Submitted 17 December, 2022;
originally announced December 2022.
-
Spectral analysis and representations]{Spectral analysis near regular point of reducibility and representations of Coxeter groups
Authors:
Michael Stessin
Abstract:
For a tuple of square matrices $A_1,...,A_n$ the determinantal hypersurface is defined as \begin{eqnarray*} &σ(A_1,...,A_n)= \\ &\Big\{[x_1:\cdots :x_n]\in \C{\mathbb P}^{n-1}: det(x_1A_1+\cdots +x_nA_n)=0\Big \}. \end{eqnarray*} In this paper we develop a local spectral analysis near a regular point of reducibility of a determinantal hypersurface. We prove a rigidity type theorem for representati…
▽ More
For a tuple of square matrices $A_1,...,A_n$ the determinantal hypersurface is defined as \begin{eqnarray*} &σ(A_1,...,A_n)= \\ &\Big\{[x_1:\cdots :x_n]\in \C{\mathbb P}^{n-1}: det(x_1A_1+\cdots +x_nA_n)=0\Big \}. \end{eqnarray*} In this paper we develop a local spectral analysis near a regular point of reducibility of a determinantal hypersurface. We prove a rigidity type theorem for representations of Coxeter groups as an application
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Spectral surfaces for operator pairs and Hadamard matrices of F type
Authors:
T. Peebles,
M. Stessin
Abstract:
It is well-known that, in general, an appearance of an algebraic hypersurface of finite multiplicity in the projective joint spectrum of an operator tuple does not imply the existence of a finite-dimensional common invariant subspace.We prove that if for a pair of operators A,B the project time joint spectrum of $A, B$ and $AB$ contains the surface…
▽ More
It is well-known that, in general, an appearance of an algebraic hypersurface of finite multiplicity in the projective joint spectrum of an operator tuple does not imply the existence of a finite-dimensional common invariant subspace.We prove that if for a pair of operators A,B the project time joint spectrum of $A, B$ and $AB$ contains the surface $\{[x,y,z,t]\in {\mathbb C}{\mathbb P}^3: x^n+y^n+(-1)^{n-1}z^n-t^n=0\}$, the under some mild conditions this implies the existence of a subspace of dimension $n$ invariant for both $A$ and $B$. Itbis shown that the appearance of this surface has a relation to complex Hadamard matrices. We give a sufficient condition for a Hadamard matrix of F type to generate such pair $A,B$. For dimensions $n=3,4,5$ where there is a complete description of comp[lex Hadamard matrices, this condition proved to be necessary as well. Finally, we prove that a pair $A,B$ such that the projective joint spectrum of $A,B,AB$ and $BA$ contains $\{ [x,y,z_1,z_2,t]\in {mathbb C}{\mathbb P}^4: x^n+y^n+(-1)^{n-1}(e^{2πI/n}z_1+z_2)^n-t^n=0\}$, is generated by the Fourier matrix $F_n$.
△ Less
Submitted 19 May, 2020; v1 submitted 22 April, 2020;
originally announced April 2020.
-
Determinantal hypersurfaces and representations of Coxeter groups
Authors:
Zeljko Cuckovic,
Michael Stessin,
Alexandre Tchernev
Abstract:
Given a finite generating set $T=\{g_0,\dots, g_n\}$ of a group $G$, and a representation $ρ$ of $G$ on a Hilbert space $V$, we investigate how the geometry of the set $D(T,ρ)=\{ [x_0 : \dots : x_n] \in\mathbb C\mathbb P^n \mid \sum x_iρ(g_i) \text{ not invertible} \}$ reflects the properties of $ρ$. When $V$ is finite-dimensional this is an algebraic hypersurface in $\mathbb C\mathbb P^n$. In the…
▽ More
Given a finite generating set $T=\{g_0,\dots, g_n\}$ of a group $G$, and a representation $ρ$ of $G$ on a Hilbert space $V$, we investigate how the geometry of the set $D(T,ρ)=\{ [x_0 : \dots : x_n] \in\mathbb C\mathbb P^n \mid \sum x_iρ(g_i) \text{ not invertible} \}$ reflects the properties of $ρ$. When $V$ is finite-dimensional this is an algebraic hypersurface in $\mathbb C\mathbb P^n$. In the special case $T=G$ and $ρ=$ the left regular representation of $G$, this hypersurface is defined by the \emph{group determinant}, an object studied extensively in the founding work of Frobenius that lead to the creation of representation theory. We focus on the classic case when $G$ is a finite Coxeter group, and make $T$ by adding the identity element $1_G$ to a Coxeter generating set for $G$. Under these assumptions we show in our first main result that if $ρ$ is the left regular representation, then $D(T,ρ)$ determines the isomorphism class of $G$. Our second main result is that if $G$ is not of exceptional type, and $ρ$ is any finite dimensional representation, then $D(T,ρ)$ determines $ρ$.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.
-
Spectral algebraic curves and decomposable operator tuples
Authors:
Michael Stessin,
Alexandre Tchernev
Abstract:
Joint spectra of tuples of operators are subsets in complex projective space. The corresponding tuple of operators can be viewed as an infinite dimensional analog of a determinantal representation of the joint spectrum. We investigate the relationship between the geometry of the spectrum and the properties of the operators in the tuple when these operators are self-adjoint. In the case when the sp…
▽ More
Joint spectra of tuples of operators are subsets in complex projective space. The corresponding tuple of operators can be viewed as an infinite dimensional analog of a determinantal representation of the joint spectrum. We investigate the relationship between the geometry of the spectrum and the properties of the operators in the tuple when these operators are self-adjoint. In the case when the spectrum contains an algebraic curve passing through an isolated spectral point of one of the operators we give necessary and sufficient geometric conditions for the operators in the tuple to have a common reducing subspace. We also address spectral continuity and obtain a norm estimate for the commutant of a pair of self-adjoint matrices in terms of the Hausdorff distance of their joint spectrum to a family of lines.
△ Less
Submitted 21 September, 2015;
originally announced September 2015.
-
Geometric spectral theory for compact operators
Authors:
Isaak Chagouel,
Michael Stessin,
Kehe Zhu
Abstract:
We introduce a notion of joint spectrum for a tuple of compact operators on a separable Hilbert space and show that in many situations these operators commute if and only if the joint spectrum consists of countably many, locally finite, complex hyperplanes. In particular, we show that normal matrices (of the same size) $A_1,\cdots,A_n$ commute if and only if the polynomial…
▽ More
We introduce a notion of joint spectrum for a tuple of compact operators on a separable Hilbert space and show that in many situations these operators commute if and only if the joint spectrum consists of countably many, locally finite, complex hyperplanes. In particular, we show that normal matrices (of the same size) $A_1,\cdots,A_n$ commute if and only if the polynomial $\det(z_1A_1+\cdots+z_nA_n+I)$ is completely reducible, that is, it can be factored into a product of linear polynomials.
△ Less
Submitted 17 September, 2013;
originally announced September 2013.
-
Hardy and Bergman spaces on hyperconvex domains and their composition operators
Authors:
Evgeny A. Poletsky,
Michael I. Stessin
Abstract:
In thius paper we introduce the Hardy and Bergman spaces on hyperconvex domains relative to a acontinuous exhaustion function. We prove their basic properties and study their composition operators induced by holomorphic mappings between domains.
In thius paper we introduce the Hardy and Bergman spaces on hyperconvex domains relative to a acontinuous exhaustion function. We prove their basic properties and study their composition operators induced by holomorphic mappings between domains.
△ Less
Submitted 8 March, 2007;
originally announced March 2007.
-
Algebras generated by two bounded holomorphic functions
Authors:
Michael I. Stessin,
Pascal J. Thomas
Abstract:
We study the closure in the Hardy space or the disk algebra of algebras generated by two bounded functions, of which one is a finite Blaschke product. We give necessary and sufficient conditions for density or finite codimension of such algebras. The conditions are expressed in terms of the inner part of a function which is explicitly derived from each pair of generators. Our results are based o…
▽ More
We study the closure in the Hardy space or the disk algebra of algebras generated by two bounded functions, of which one is a finite Blaschke product. We give necessary and sufficient conditions for density or finite codimension of such algebras. The conditions are expressed in terms of the inner part of a function which is explicitly derived from each pair of generators. Our results are based on identifying z-invariant subspaces included in the closure of the algebra. Versions of these results for the case of the disk algebra are given.
△ Less
Submitted 6 September, 2002; v1 submitted 21 January, 2001;
originally announced January 2001.
