Searcharxiv⌕ Search

arXiv subjects

Gerhard Roehrle

Publications and source records attributed to Gerhard Roehrle.

At least 73 records · Page 4Linked to original sources
arXiv2013

Computations for Coxeter arrangements and Solomon's descent algebra II: Groups of rank five and six

In recent papers we have refined a conjecture of Lehrer and Solomon expressing the character of a finite Coxeter group $W$ acting on the $p$th graded component of its Orlik-Solomon algebra as a sum of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture relates the character above to a component of a decomposition of the regular character of $W$ related to Solomon's descent algebra of $W$. The refined conjecture has been proved for symmetric and dihedral groups, as well as finite Coxeter groups of rank three and four. In this paper, the second in a series of three dealing with groups of rank up to eight (and in particular, all exceptional Coxeter groups), we prove the conjecture for finite Coxeter groups of rank five and six, further developing the algorithmic tools described in the previous article. The techniques developed and implemented in this paper provide previously unknown decompositions of the regular and Orlik-Solomon characters of the groups considered.

math.RT↗
arXiv2013

G-complete reducibility in non-connected groups

In this paper we present an algorithm for determining whether a subgroup H of a non-connected reductive group G is G-completely reducible. The algorithm consists of a series of reductions; at each step, we perform operations involving connected groups, such as checking whether a certain subgroup of G^0 is G^0 -cr. This essentially reduces the problem of determining G-complete reducibility to the connected case.

math.GR↗
arXiv2013

On inductively free reflection arrangements

Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A = A(W) be the associated hyperplane arrangement of W. Terao has shown that each such reflection arrangement A is free. There is the stronger notion of an inductively free arrangement. In 1992, Orlik and Terao conjectured that each reflection arrangement is inductively free. It has been known for quite some time that the braid arrangement as well as the Coxeter arrangements of type B and type D are inductively free. Barakat and Cuntz completed this list only recently by showing that every Coxeter arrangement is inductively free. Nevertheless, Orlik and Terao's conjecture is false in general. In a recent paper, we already gave two counterexamples to this conjecture among the exceptional complex reflection groups. In this paper we classify all inductively free reflection arrangements. In addition, we show that the notions of inductive freeness and that of hereditary inductive freeness coincide for reflection arrangements. As a consequence of our classification, we get an easy, purely combinatorial characterization of inductively free reflection arrangements A in terms of exponents of the restrictions to any hyperplane of A.

math.GR↗
arXiv2013

Calculating conjugacy classes in Sylow p-subgroups of finite Chevalley groups of rank six and seven

Let G(q) be a finite Chevalley group, where q is a power of a good prime p, and let U(q) be a Sylow p-subgroup of G(q). Then a generalized version of a conjecture of Higman asserts that the number k(U(q)) of conjugacy classes in U(q) is given by a polynomial in q with integer coefficients. In an earlier paper, the first and the third authors developed an algorithm to calculate the values of k(U(q)). By implementing it into a computer program using GAP, they were able to calculate k(U(q)) for G of rank at most 5, thereby proving that for these cases k(U(q)) is given by a polynomial in q. In this paper we present some refinements and improvements of the algorithm that allow us to calculate the values of k(U(q)) for finite Chevalley groups of rank six and seven, except E_7. We observe that k(U(q)) is a polynomial, so that the generalized Higman conjecture holds for these groups. Moreover, if we write k(U(q)) as a polynomial in q-1, then the coefficients are non-negative. Under the assumption that k(U(q)) is a polynomial in q-1, we also give an explicit formula for the coefficients of k(U(q)) of degrees zero, one and two.

math.GR↗
arXiv2012

On the irreducibility of symmetrizations of cross-characteristic representations of finite classical groups

Let $W$ be a vector space over an algebraically closed field $k$. Let $H$ be a quasisimple group of Lie type of characteristic $p\ne {\rm char}(k)$ acting irreducibly on $W$. Suppose also that $G$ is a classical group with natural module $W$, chosen minimally with respect to containing the image of $H$ under the associated representation. We consider the question of when $H$ can act irreducibly on a $G$-constituent of $W^{\otimes e}$ and study its relationship to the maximal subgroup problem for finite classical groups.

math.GR↗
arXiv2012

Reflection arrangements are hereditarily free

Suppose that W is a finite, unitary, reflection group acting on the complex vector space V. Let A = A(W) be the associated hyperplane arrangement of W. Terao has shown that each such reflection arrangement A is free. Let L(A) be the intersection lattice of A. For a subspace X in L(A) we have the restricted arrangement A^X in X by means of restricting hyperplanes from A to X. In 1992, Orlik and Terao conjectured that each such restriction is again free. In this note we settle the outstanding cases confirming the conjecture.

math.GR↗
arXiv2012

On commuting varieties of nilradicals of Borel subalgebras of reductive Lie algebras

Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $\mathbbm k$ of characteristic zero. We consider the commuting variety $\mathcal C(\mathfrak u)$ of the nilradical $\mathfrak u$ of the Lie algebra $\mathfrak b$ of a Borel subgroup $B$ of $G$. In case $B$ acts on $\mathfrak u$ with only a finite number of orbits, we verify that $\mathcal C(\mathfrak u)$ is equidimensional and that the irreducible components are in correspondence with the {\em distinguished} $B$-orbits in $\mathfrak u$. We observe that in general $\mathcal C(\mathfrak u)$ is not equidimensional, and determine the irreducible components of $\mathcal C(\mathfrak u)$ in the minimal cases where there are infinitely many $B$-orbits in $\mathfrak u$.

math.RT↗
arXiv2012

Computations for Coxeter arrangements and Solomon's descent algebra: Groups of rank three and four

In recent papers we have refined a conjecture of Lehrer and Solomon expressing the characters of a finite Coxeter group $W$ afforded by the homogeneous components of its Orlik-Solomon algebra as sums of characters induced from linear characters of centralizers of elements of $W$. Our refined conjecture also relates the Orlik-Solomon characters above to the terms of a decomposition of the regular character of $W$ related to the descent algebra of $W$. A consequence of our conjecture is that both the regular character of $W$ and the character of the Orlik-Solomon algebra have parallel, graded decompositions as sums of characters induced from linear characters of centralizers of elements of $W$, one for each conjugacy class of elements of $W$. The refined conjecture has been proved for symmetric and dihedral groups. In this paper we develop algorithmic tools to prove the conjecture computationally for a given finite Coxeter group. We use these tools to verify the conjecture for all finite Coxeter groups of rank three and four, thus providing previously unknown decompositions of the regular characters and the Orlik-Solomon characters of these groups.

math.RT↗
arXiv2012

Invariants of reflection groups, arrangements, and normality of decomposition classes in Lie algebras

Suppose that W is a finite, unitary, reflection group acting on the complex vector space V and X is a subspace of V. Define N to be the setwise stabilizer of X in W, Z to be the pointwise stabilizer, and C=N/Z. Then restriction defines a homomorphism from the algebra of W-invariant polynomial functions on V to the algebra of C-invariant functions on X. In this note we consider the special case when W is a Coxeter group, V is the complexified reflection representation of W, and X is in the lattice of the arrangement of W, and give a simple, combinatorial characterization of when the restriction mapping is surjective in terms of the exponents of W and C. As an application of our result, in the case when W is the Weyl group of a semisimple, complex, Lie algebra, we complete a calculation begun by Richardson in 1987 and obtain a simple combinatorial characterization of regular decomposition classes whose closure is a normal variety.

math.RT↗
arXiv2012

On reflection subgroups of finite Coxeter groups

Let $W$ be a finite Coxeter group. We classify the reflection subgroups of $W$ up to conjugacy and give necessary and sufficient conditions for the map that assigns to a reflection subgroup $R$ of $W$ the conjugacy class of its Coxeter elements to be injective, up to conjugacy.

math.GR↗
arXiv2011

The strong Centre Conjecture: an invariant theory approach

The aim of this paper is to describe an approach to a a strengthened form of J. Tits' Centre Conjecture for spherical buildings. This is accomplished by generalizing a fundamental result of G. R. Kempf from Geometric Invariant Theory and interpreting this generalization in the context of spherical buildings. We are able to recapture the conjecture entirely in terms of our generalization of Kempf's notion of a state. We demonstrate the utility of this approach by proving the Centre Conjecture in some special cases.

math.GR↗
arXiv2011

An Inductive Approach to Coxeter Arrangements and Solomon's Descent Algebra

In a recent paper we claimed that both the group algebra of a finite Coxeter group $W$ as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of centralizers, one for each conjugacy class of elements of $W$, and gave a uniform proof of this claim for symmetric groups. In this note we outline an inductive approach to our conjecture. As an application of this method, we prove the inductive version of the conjecture for finite Coxeter groups of rank up to 2.

math.RT↗
arXiv2010

Complete reducibility and Steinberg endomorphisms

Let G be a connected reductive algebraic group defined over an algebraically closed field of positive characteristic. We study a generalization of the notion of G-complete reducibility in the context of Steinberg endomorphisms of G. Our main theorem extends a special case of a rationality result in this setting.

math.GR↗
arXiv2010

Complete reducibility and separable field extensions

Let G be a connected reductive linear algebraic group. The aim of this note is to settle a question of J-P. Serre concerning the behaviour of his notion of G-complete reducibility under separable field extensions. Part of our proof relies on the recently established Tits Centre Conjecture for the spherical building of the reductive group G.

math.GR↗
arXiv2010

On 1-dimensional representations of finite W-algebras associated to simple Lie algebras of exceptional type

We consider the finite $W$-algebra $U(\g,e)$ associated to a nilpotent element $e \in \g$ in a simple complex Lie algebra $\g$ of exceptional type. Using presentations obtained through an algorithm based on the PBW-theorem, we verify a conjecture of Premet, that $U(\g,e)$ always has a 1-dimensional representation, when $\g$ is of type $G_2$, $F_4$, $E_6$ or $E_7$. Thanks to a theorem of Premet, this allows one to deduce the existence of minimal dimension representations of reduced enveloping algebras of modular Lie algebras of the above types. In addition, a theorem of Losev allows us to deduce that there exists a completely prime primitive ideal in $U(\g)$ whose associated variety is the coadjoint orbit corresponding to $e$.

math.RT↗
arXiv2009

Support Varieties, AR-Components, and Good Filtrations

In continuation of work begun in \cite{FR}, we study in this article those Auslander--Reiten components of the algebras $\Dist(G_r)$ that contain simple modules or baby Verma modules, where $\Dist(G_r)$ is the algebra of distributions of the $r$-th Frobenius kernel of the smooth reductive group $G$, defined over an algebraically closed field of positive characteristic.

math.RT↗