On complex weakly commutative homogeneous spaces

A linear étale representation of a complex algebraic group G is given by a complex algebraic G-module V such that G has a Zariski-open orbit in V and $\dim G=\dim V$ . A current line of research investigates which reductive algebraic groups admit such étale representations, with a focus on understanding common features of étale representations. One source of new examples arises from the classification theory of nilpotent orbits in semisimple Lie algebras. We survey what is known about reductive algebraic groups with étale representations and then discuss two classical constructions for nilpotent orbit classifications due to Vinberg and to Bala and Carter. We determine which reductive groups and étale representations arise in these constructions and we work out in detail the relation between these two constructions.

The aim of this article is to contribute to a question of R. Brauer that “when do non-isomorphic groups have isomorphic complex group algebras?” Let H and G be finite groups where and let denote the first column of the complex character table of H. In this article, we show that if then provided that q + 1 divides neither n nor n – 1. Consequently, it is shown that G is uniquely determined by the structure of its complex group algebra. This in particular extends a recent result of Bessenrodt et al. [Algebra Number Theory 9 (2015), 601–628] to the almost simple groups of arbitrary rank.

Let $G$ be a complex reductive algebraic group, $g$ its Lie algebra and $h$ a reductive subalgebra of $g$, $n$ a positive integer. Consider the diagonal actions $G:g^n, N_G(h):h^n$. We study a relation between the algebra $C[h^n]^{N_G(h)}$ and its subalgebra consisting of restrictions to $h^n$ of elements of $C[g^n]^G$.

Let be a complex reductive algebraic group. Losev, Mason‐Brown, and Matvieievskyi defined a finite set of irreducible ‐equivariant Harish‐Chandra bimodules called unipotent representations, generalizing the special unipotent representations of Arthur and Barbasch‐Vogan. These representations are defined in terms of filtered quantizations of symplectic singularities and are expected to form the building blocks of the unitary dual of . In this paper, we provide a description of (some of) these representations in terms of the Langlands dual group . To this end, we construct a duality map from the set of pairs consisting of a nilpotent orbit and a conjugacy class in Lusztig's canonical quotient to the set of finite covers of nilpotent orbits in .

Let G be a compact Lie group or a complex reductive affine algebraic group. We explore induced mappings between G-character varieties of surface groups by mappings between corresponding surfaces. It is shown that these mappings are generally Poisson. We also given an effective algorithm to compute the Poisson bi-vectors when G=SL(2,C). We demonstrate this algorithm by explicitly calculating the Poisson bi-vector for the 5-holed sphere, the first example for an Euler characteristic -3 surface.

Consider a reductive linear algebraic group G acting linearly on a polynomial ring S over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as in Weyl’s book: For the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases, take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings and the Plücker coordinate rings of Grassmannians; these are the classical invariant rings of the title, with $S^G\subseteq S$ being the natural embedding. Over a field of characteristic zero, a reductive group is linearly reductive, and it follows that the invariant ring $S^G$ is a pure subring of S, equivalently, $S^G$ is a direct summand of S as an $S^G$ -module. Over fields of positive characteristic, reductive groups are typically no longer linearly reductive. We determine, in the positive characteristic case, precisely when the inclusion $S^G\subseteq S$ is pure. It turns out that if $S^G\subseteq S$ is pure, then either the invariant ring $S^G$ is regular or the group G is linearly reductive.

It is obvious that the topological closure of an orbit of an algebraic group acting algebraically on a projective manifold over tE is an algebraic set containing the orbit as a Zariski open set. This article treats the above situation when the group is a connected reductive complex Lie group acting holomorphically on a compact Kaehler manifold. Recall (cf. § II below) that a connected complex reductive Lie group, G, has the structure of a linear algebraic group, and this algebraic structure is compatible with the underlying analytic structure. Let G be any projective manifold in which G is Zariski open and which induces the above algebraic structure on G. A complex connected Lie group G is said to act projeetively on a compact Kaehler manifold X if G acts holomorphically on X and the Lie algebra of holomorphic vector-fields that G generates on X is annihilated by every holomorphic one form on X. This definition is justified in § II. Note (cf. §III) that G acts projectively on X if either H~(X, Q)=0, or G is semi-simple, or if every generator of the solvable radical of G has a fixed point on X, or if G is linear algebraic acting algebraically on a projective X. The main result of the paper (cf. § II) where G is as above for reduct i~ G is: Proposition. Let G be a complex connected reduetive Lie group acting projeetively on a compact Kaehler X. Let q~: Y ~ X be a hotomorphic map where Y is a normal reduced complex space. Consider the equivariant map q~:G× Y ~ X , ~ extends meromorphically (in the sense of Remmert) to CJ × Y. Taking Y to be a point one gets the analog of the result mentioned in the opening sentence. Another simple corollary is the classical result that the linear algebraic structure chosen on G which makes it algebraic is unique; and in fact that any reductive connected subgroup of a linear algebraic group over ~ is an algebraic subgroup. As a further application of the techniques used a new proof of an improved form of a fixed point theorem (cf. [20]) of the author is given: Proposition. Let S be a complex solvable Lie group acting holomorphically on a compact Kaehler manifold X. The following are equivalent:

Let \(G\) be a finite group. The character degree graph of \(G\), which is denoted by \(\Gamma (G)\), is the graph whose vertices are the prime divisors of the character degrees of the group \(G\) and two vertices \(p_1\) and \(p_2\) are joined by an edge if \(p_1p_2\) divides some character degree of \(G\). In this paper we prove that the simple group \(\mathrm{PSL}(2,p^2) \) is uniquely determined by its character degree graph and its order. Let \(X_1(G)\) be the set of all irreducible complex character degrees of \(G\) counting multiplicities. As a consequence of our results we prove that if \(G\) is a finite group such that \(X_1(G)=X_1(\mathrm{PSL}(2,p^2) )\), then \(G\cong \mathrm{PSL}(2,p^2) \). This implies that \(\mathrm{PSL}(2,p^2) \) is uniquely determined by the structure of its complex group algebra.

Almost simple groups with the socle $PSL(2,p^n)$ are determined by their complex group algebras

In this paper, we determine all of finite groups whose order and the largest of their irreducible character degrees are the same as $${\textit{PGL}}( 2 , p^{2} ) $$ for all odd prime numbers p. As a consequence, we show that the groups $${\textit{PGL}}( 2 , p^{2} ) $$ are uniquely determined by the structure of their complex group algebras.

In this brief note, we study algebraic elements in the complex group algebra C [ G ] {\mathbf {C}}[G] . Specifically, suppose ξ ∈ C [ G ] \xi \in {\mathbf {C}}[G] satisfies f ( ξ ) = 0 f(\xi ) = 0 for some nonzero polynomial f ( x ) ∈ C [ x ] f(x) \in {\mathbf {C}}[x] . Then we show that a certain fairly natural function of the coefficients of ξ \xi is bounded in terms of the complex roots of f ( x ) f(x) . For G G finite, this is a recent observation of [HLP]. Thus the main thrust here concerns infinite groups, where the inequality generalizes results of [K] and [W] on traces of idempotents.

Simple classical groups of Lie type are determined by their character degrees

A lax monoidal topological quantum field theory for representation varieties

Let G be an isotropic reductive algebraic group over a commutative ring R. Assume that the elementary subgroup E(R) of group of points G(R) is correctly defined. Then E(R) is perfect, except for the well-known cases of a split reductive group of type C_2 or G_2.

Finiteness of z-classes in reductive groups