Searcharxiv⌕ Search

arXiv subjects

Gerhard Roehrle

Publications and source records attributed to Gerhard Roehrle.

At least 55 records · Page 3Linked to original sources
arXiv2017

Arrangements of ideal type

In 2006 Sommers and Tymoczko defined so called arrangements of ideal type A_I stemming from ideals I in the set of positive roots of a reduced root system. They showed in a case by case argument that A_I is free if the root system is of classical type or G_2 and conjectured that this is also the case for all types. This was established only recently in a uniform manner by Abe, Barakat, Cuntz, Hoge and Terao. The set of non-zero exponents of the free arrangement A_I is given by the dual of the height partition of the roots in the complement of I in the set of positive roots, generalizing the Shapiro-Steinberg-Kostant theorem. Our first aim in this paper is to investigate a stronger freeness property of the A_I. We show that all A_I are inductively free, with the possible exception of some cases in type E_8. In the same paper, Sommers and Tymoczko define a Poincaré polynomial I(t) associated with each ideal I which generalizes the Poincaré polynomial W(t) for the underlying Weyl group W. Solomon showed that W(t) satisfies a product decomposition depending on the exponents of W for any Coxeter group W. Sommers and Tymoczko showed in a case by case analysis in type A, B and C, and some small rank exceptional types that a similar factorization property holds for the Poincaré polynomials I(t) generalizing the formula of Solomon for W(t). They conjectured that their multiplicative formula for I(t) holds in all types. Here we show that this conjecture holds inductively in almost all instances.

math.CO↗
arXiv2016

Restricting invariants of unitary reflection groups

Suppose that G is a finite, unitary reflection group acting on a complex vector space V and X is the fixed point subspace of an element of G. Define N to be the setwise stabilizer of X in G, Z to be the pointwise stabilizer, and C=N/Z. Then restriction defines a homomorphism from the algebra of G-invariant polynomial functions on V to the algebra of C-invariant functions on X. Extending earlier work by Douglass and Roehrle for Coxeter groups, we characterize when the restriction mapping is surjective for arbitrary unitary reflection groups G in terms of the exponents of G and C, and their reflection arrangements. A consequence of our main result is that the variety of G-orbits in the G-saturation of X is smooth if and only if it is normal.

math.RT↗
arXiv2016

Cocharacter-closure and the rational Hilbert-Mumford Theorem

For a field k, let G be a reductive k-group and V an affine k-variety on which G acts. Using the notion of cocharacter-closed G(k)-orbits in V, we prove a rational version of the celebrated Hilbert-Mumford Theorem from geometric invariant theory. We initiate a study of applications stemming from this rationality tool. A number of examples are discussed to illustrate the concept of cocharacter-closure and to highlight how it differs from the usual Zariski-closure. When k is perfect, we give a criterion in terms of closed orbits for G to be k-anisotropic, answering a question of Borel.

math.AG↗
arXiv2016

Nice Restrictions of Reflection Arrangements

In a recent paper, Hoge and the second author classified all nice and all inductively factored reflection arrangements. In this note we extend this classification by determining all nice and all inductively factored restrictions of reflection arrangements.

math.CO↗
arXiv2016

Inductively free Multiderivations of Braid arrangements

The reflection arrangement of a Coxeter group is a well known instance of a free hyperplane arrangement. In 2002, Terao showed that equipped with a constant multiplicity each such reflection arrangement gives rise to a free multiarrangement. In this note we show that this multiarrangment satisfies the stronger property of inductive freeness in case the Coxeter group is of type $A$.

math.CO↗
arXiv2016

Addition-Deletion Theorems for Factorizations of Orlik-Solomon Algebras and nice Arrangements

We study the notion of a nice partition or factorization of a hyperplane arrangement due to Terao from the early 1990s. The principal aim of this note is an analogue of Terao's celebrated addition-deletion theorem for free arrangements for the class of nice arrangements. This is a natural setting for the stronger property of an inductive factorization of a hyperplane arrangement by Jambu and Paris. In addition, we show that supersolvable arrangements are inductively factored and that inductively factored arrangements are inductively free. Combined with our addition-deletion theorem this leads to the concept of an induction table for inductive factorizations. Finally, we prove that the notions of factored and inductively factored arrangements are compatible with the product construction for arrangements.

math.CO↗
arXiv2015

Cocharacter-closure and spherical buildings

Let $k$ be a field, let $G$ be a reductive $k$-group and $V$ an affine $k$-variety on which $G$ acts. In this note we continue our study of the notion of cocharacter-closed $G(k)$-orbits in $V$. In earlier work we used a rationality condition on the point stabilizer of a $G$-orbit to prove Galois ascent/descent and Levi ascent/descent results concerning cocharacter-closure for the corresponding $G(k)$-orbit in $V$. In the present paper we employ building-theoretic techniques to derive analogous results.

math.GR↗
arXiv2015

Inductive and Recursive Freeness of Localizations of Multiarrangements

The class of free multiarrangements is known to be closed under taking localizations. We extend this result to the stronger notions of inductive and recursive freeness. As an application, we prove that recursively free multiarrangements are compatible with the product construction for multiarrangements. In addition, we show how our results can be used to derive that some canonical classes of free multiarrangements are not inductively free.

math.CO↗
arXiv2015

Nice reflection arrangements

The aim of this note is a classification of all nice and all inductively factored reflection arrangements. It turns out that apart from the supersolvable instances only the monomial groups $G(r,r,3)$ for $r \ge 3$ give rise to nice reflection arrangements. As a consequence of this and of the classification of all inductively free reflection arrangements from our earlier work, we deduce that the class of all inductively factored reflection arrangements coincides with the supersolvable reflection arrangements. Moreover, we extend these classifications to hereditarily factored and hereditarily inductively factored reflection arrangements.

math.GR↗
arXiv2015

On the coadjoint orbits of maximal unipotent subgroups of reductive groups

Let G be a simple algebraic group defined over an algebraically closed field of characteristic 0 or a good prime for G. Let U be a maximal unipotent subgroup of G and \u its Lie algebra. We prove the separability of orbit maps and the connectedness of centralizers for the coadjoint action of U on (certain quotients of) the dual \u* of \u. This leads to a method to give a parametrization of the coadjoint orbits in terms of so-called minimal representatives which form a disjoint union of quasi-affine varieties. Moreover, we obtain an algorithm to explicitly calculate this parametrization which has been used for G of rank at most 8, except E8. When G is defined and split over the field of q elements, for q the power of a good prime for G, this algorithmic parametrization is used to calculate the number k(U(q), \u*(q)) of coadjoint orbits of U(q) on \u*(q). Since k(U(q), \u*(q)) coincides with the number k(U(q)) of conjugacy classes in U(q), these calculations can be viewed as an extension of the results obtained in our earlier paper. In each case considered here there is a polynomial h(t) with integer coefficients such that for every such q we have k(U(q)) = h(q).

math.GR↗
arXiv2014

Computations for Coxeter arrangements and Solomon's descent algebra III: Groups of rank seven and eight

In this paper we extend the computations in parts I and II of this series of papers and complete the proof of a conjecture of Lehrer and Solomon expressing the character of a finite Coxeter group W acting on the pth graded component of its Orlik-Solomon algebra as a sum of characters induced from linear characters of centralizers of elements of W for groups of rank seven and eight. For classical Coxeter groups, these characters are given using a formula that is expected to hold in all ranks.

math.RT↗
arXiv2014

Spherical subgroups in simple algebraic groups

Let $G$ be a simple algebraic group. A closed subgroup $H$ of $G$ is called spherical provided it has a dense orbit on the flag variety $G/B$ of $G$. Reductive spherical subgroups of simple Lie groups were classified by Krämer in 1979. In 1997, Brundan showed that each example from Krämer's list also gives rise to a spherical subgroup in the corresponding simple algebraic group in any positive characteristic. Nevertheless, there is no classification of all such instances in positive characteristic to date. The goal of this paper is to complete this classification. It turns out that there is only one additional instance (up to isogeny) in characteristic $2$ which has no counterpart in Krämer's classification. As one of our key tools, we prove a general deformation result for subgroup schemes allowing us to deduce the sphericality of subgroups in positive characteristic from this property for subgroups in characteristic $0$.

math.GR↗
arXiv2014

On inductively free Restrictions of Reflection Arrangements

Let W be a finite complex reflection group acting on the complex vector space V and let A(W) = (A(W), V) be the associated reflection arrangement. In an earlier paper by the last two authros, we classified all inductively free reflection arrangements A(W). The aim of this note is to extend this work by determining all inductively free restrictions of reflection arrangements.

math.GR↗
arXiv2014

Ziegler's Multi-Reflection Arrangements are free

In 1989, Ziegler introduced the concept of a multi-arrangement. One natural example is the reflection arrangement of a unitary reflection group with multiplicity given by the number of reflections associated with each hyperplane. For all but three irreducible groups, Ziegler showed that each such multi-reflection arrangement is free. We complete Ziegler's example by confirming these outstanding cases.

math.GR↗
arXiv2013

Equivariant K-theory of generalized Steinberg varieties

We describe the equivariant K-groups of a family of generalized Steinberg varieties that interpolates between the Steinberg variety of a reductive, complex algebraic group and its nilpotent cone in terms of the extended affine Hecke algebra and double cosets in the extended affine Weyl group. As an application, we use this description to define Kazhdan-Lusztig "bar" involutions and Kazhdan-Lusztig bases for these equivariant K-groups.

math.RT↗
arXiv2013

On supersolvable reflection arrangements

Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable, a notion due to Stanley. Jambu and Terao showed that every supersolvable arrangement is inductively free, a notion due to Terao. So this is a natural subclass of this particular class of free arrangements. Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A = (A(W), V) be the associated hyperplane arrangement of W. In a recent paper, we determined all inductively free reflection arrangements. The aim of this note is to classify all supersolvable reflection arrangements. Moreover, we characterize the irreducible arrangements in this class by the presence of modular elements of rank 2 in their intersection lattice.

math.GR↗
arXiv2013

Cohomology of Coxeter arrangements and Solomon's descent algebra

We refine a conjecture by Lehrer and Solomon on the structure of the Orlik-Solomon algebra of a finite Coxeter group $W$ and relate it to the descent algebra of $W$. As a result, we claim that both the group algebra of $W$, as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of element centralizers, one for each conjugacy class of elements of $W$. We give a uniform proof of the claim for symmetric groups. In addition, we prove that a relative version of the conjecture holds for every pair $(W, W_L)$, where $W$ is arbitrary and $W_L$ is a parabolic subgroup of $W$ all of whose irreducible factors are of type $A$.

math.RT↗