Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userA canonical system of basic invariants of a finite reflection group
96
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
A canonical system of basic invariants is a system of invariants satisfying a set of differential equations. The properties of a canonical system are related to the mean value property for polytopes. In this article, we naturally identify the vector space spanned by a canonical system of basic invariants with an invariant space determined by a fundamental antiinvariant. From this identification, we obtain explicit formulas of canonical systems of basic invariants. The construction of the formulas does not depend on the classification of finite irreducible reflection groups.
rate research
Read More
Using Dunkl operators, we introduce a continuous family of canonical invariants of finite reflection groups. We verify that the elementary canonical invariants of the symmetric group are deformations of the elementary symmetric polynomials. We also compute the canonical invariants for all dihedral groups as certain hypergeometric functions.
It has been known that there exists a canonical system for every finite real reflection group. The first and the third authors obtained an explicit formula for a canonical system in the previous paper. In this article, we first define canonical systems for the finite unitary reflection groups, and then prove their existence. Our proof does not depend on the classification of unitary reflection groups. Furthermore, we give an explicit formula for a canonical system for every unitary reflection group.
Suppose V is a finite dimensional, complex vector space, A is a finite set of codimension one subspaces of V, and G is a finite subgroup of the general linear group GL(V) that permutes the hyperplanes in A. In this paper we study invariants and semi-invariants in the graded QG-module H^*(M(A)), where M(A) denotes the complement in V of the hyperplanes in A and H^* denotes rational singular cohomology, in the case when G is generated by reflections in V and A is the set of reflecting hyperplanes determined by G, or a closely related arrangement. Our main result is the construction of an explicit, natural (from the point of view of Coxeter groups) basis of the space of invariants, H^*(M(A))^G. In addition to leading to proof of the description of the space of invariants conjectured by Felder and Veselov for Coxeter groups that does not rely on computer calculations, this construction provides an extension of the description of the space of invariants proposed by Felder and Veselov to arbitrary finite unitary reflection groups.
Let $A$ be a split finite-dimensional associative unital algebra over a field. The first main result of this note shows that if the Ext-quiver of $A$ is a simple directed graph, then $HH^1(A)$ is a solvable Lie algebra. The second main result shows that if the Ext-quiver of $A$ has no loops and at most two parallel arrows in any direction, and if $HH^1(A)$ is a simple Lie algebra, then char(k) is not equal to $2$ and $HH^1(A)cong$ $sl_2(k)$. The third result investigates symmetric algebras with a quiver which has a vertex with a single loop.
We give an analog of Frobenius theorem about the factorization of the group determinant on the group algebra of finite abelian groups and we extend it into dihedral groups and generalized quaternion groups. Furthermore, we describe the group determinant of dihedral groups and generalized quaternion groups as a circulant determinant of homogeneous polynomials. This analog on the group algebra is stronger than Frobeniuss theorem and as a corollary, we obtain a simple expression formula for inverse elements in the group algebra. Furthermore, the commutators of irreducible factors of the factorization of the group determinant on the group algebra corresponding to degree one representations have interesting algebraic properties. From this result, we know that degree one representations form natural pairing. At the current stage, the extension of Frobeinus theorem is not represent as a determinant. We expect to find a determinant expression similar to Frobenius theorem.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
