Showing 1–50 of 91 results for author: Roehrle, G

On connected subgraph arrangements

Authors: Lorenzo Giordani, Tilman Möller, Paul Mücksch, Gerhard Roehrle

Abstract: Recently, Cuntz and Kühne introduced a particular class of hyperplane arrangements stemming from a given graph $G$, so called connected subgraph arrangements $A_G$. In this note we strengthen some of the result from their work and prove new ones for members of this class. For instance, we show that aspherical members withing this class stem from a rather restricted set of graphs. Specifically, if… ▽ More Recently, Cuntz and Kühne introduced a particular class of hyperplane arrangements stemming from a given graph $G$, so called connected subgraph arrangements $A_G$. In this note we strengthen some of the result from their work and prove new ones for members of this class. For instance, we show that aspherical members withing this class stem from a rather restricted set of graphs. Specifically, if $A_G$ is an aspherical connected subgraph arrangement, then $A_G$ is free with the unique possible exception when the underlying graph $G$ is the complete graph on $4$ nodes. △ Less

Submitted 25 February, 2025; originally announced February 2025.

Comments: 30 pages. arXiv admin note: text overlap with arXiv:2502.02274

MSC Class: 52C35; 14N20; 20F55; 32S22

Hyperpolygonal arrangements

Authors: Lorenzo Giordani, Paul Mücksch, Gerhard Roehrle, Johannes Schmitt

Abstract: In 2024, Bellamy, Craw, Rayan, Schedler, and Weiss introduced a particular family of real hyperplane arrangements stemming from hyperpolygonal spaces associated with certain quiver varieties which we thus call hyperpolygonal arrangements $\mathcal H_n$. In this note we study these arrangements and investigate their properties systematically. Remarkably the arrangements $\mathcal H_n$ discriminate… ▽ More In 2024, Bellamy, Craw, Rayan, Schedler, and Weiss introduced a particular family of real hyperplane arrangements stemming from hyperpolygonal spaces associated with certain quiver varieties which we thus call hyperpolygonal arrangements $\mathcal H_n$. In this note we study these arrangements and investigate their properties systematically. Remarkably the arrangements $\mathcal H_n$ discriminate between essentially all local properties of arrangements. In addition we show that hyperpolygonal arrangements are projectively unique and combinatorially formal. We note that the arrangement $\mathcal H_5$ is the famous counterexample of Edelman and Reiner from 1993 of Orlik's conjecture that the restriction of a free arrangement is again free. △ Less

Submitted 2 June, 2025; v1 submitted 4 February, 2025; originally announced February 2025.

Comments: 15 pages; v2 updated acknowledgments; v3 updated bibliographic info; to appear in Glasgow Mathematical Journal

MSC Class: 52C35; 14N20; 32S25; 32S22

On good $A_1$ subgroups, Springer maps, and overgroups of distinguished unipotent elements in reductive groups

Authors: Michael Bate, Sören Böhm, Benjamin Martin, Gerhard Roehrle

Abstract: Suppose $G$ is a simple algebraic group defined over an algebraically closed field of good characteristic $p$. In 2018 Korhonen showed that if $H$ is a connected reductive subgroup of $G$ which contains a distinguished unipotent element $u$ of $G$ of order $p$, then $H$ is $G$-irreducible in the sense of Serre. We present a short and uniform proof of this result under an extra hypothesis using so-… ▽ More Suppose $G$ is a simple algebraic group defined over an algebraically closed field of good characteristic $p$. In 2018 Korhonen showed that if $H$ is a connected reductive subgroup of $G$ which contains a distinguished unipotent element $u$ of $G$ of order $p$, then $H$ is $G$-irreducible in the sense of Serre. We present a short and uniform proof of this result under an extra hypothesis using so-called good $A_1$ subgroups of $G$, introduced by Seitz. In the process we prove some new results about good $A_1$ subgroups of $G$ and their properties. We also formulate a counterpart of Korhonen's theorem for overgroups of $u$ which are finite groups of Lie type. Moreover, we generalize both results above by removing the restriction on the order of $u$ under a mild condition on $p$ depending on the rank of $G$, and we present an analogue of Korhonen's theorem for Lie algebras. △ Less

Submitted 21 October, 2024; v1 submitted 23 July, 2024; originally announced July 2024.

Comments: 17 pages; v2: 26 pages: substantially rewritten, fixed problem with proof of Thm 1.1 in v1; discussion of Springer maps, new results about good A_1 subgroups included, new title to reflect changes; to appear in PJM

MSC Class: 20G15; 14L24

Free multiderivations of connected subgraph arrangements

Authors: Paul Mücksch, Gerhard Roehrle, Sven Wiesner

Abstract: Cuntz and Kühne introduced the class of connected subgraph arrangements $A_G$, depending on a graph $G$, and classified all graphs $G$ such that the corresponding arrangement $A_G$ is free. We extend their result to the multiarrangement case and classify all graphs $G$ for which the corresponding arrangement $A_G$ supports some multiplicity $μ$ such that the multiarrangement $(A_G,μ)$ is free. Cuntz and Kühne introduced the class of connected subgraph arrangements $A_G$, depending on a graph $G$, and classified all graphs $G$ such that the corresponding arrangement $A_G$ is free. We extend their result to the multiarrangement case and classify all graphs $G$ for which the corresponding arrangement $A_G$ supports some multiplicity $μ$ such that the multiarrangement $(A_G,μ)$ is free. △ Less

Submitted 1 July, 2024; v1 submitted 28 June, 2024; originally announced June 2024.

Comments: 25 pages, 2 figures; v2 updated acknowledgments

MSC Class: 51F15; 52C35; 32S22

The subgroup structure of pseudo-reductive groups

Authors: Michael Bate, Ben Martin, Gerhard Röhrle, Damian Sercombe

Abstract: Let $k$ be a field. We investigate the relationship between subgroups of a pseudo-reductive $k$-group $G$ and its maximal reductive quotient $G'$, with applications to the subgroup structure of $G$. Let $k'/k$ be the minimal field of definition for the geometric unipotent radical of $G$, and let $π':G_{k'} \to G'$ be the quotient map. We first characterise those smooth subgroups $H$ of $G$ for whi… ▽ More Let $k$ be a field. We investigate the relationship between subgroups of a pseudo-reductive $k$-group $G$ and its maximal reductive quotient $G'$, with applications to the subgroup structure of $G$. Let $k'/k$ be the minimal field of definition for the geometric unipotent radical of $G$, and let $π':G_{k'} \to G'$ be the quotient map. We first characterise those smooth subgroups $H$ of $G$ for which $π'(H_{k'})=G'$. We next consider the following questions: given a subgroup $H'$ of $G'$, does there exist a subgroup $H$ of $G$ such that $π'(H_{k'})=H'$, and if $H'$ is smooth can we find such a $H$ that is smooth? We find sufficient conditions for a positive answer to these questions. In general there are various obstructions to the existence of such a subgroup $H$, which we illustrate with several examples. Finally, we apply these results to relate the maximal smooth subgroups of $G$ with those of $G'$. △ Less

Submitted 31 July, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: Minor revisions made

MSC Class: 20G15; 20G07

$G$-complete reducibility and saturation

Authors: Michael Bate, Sören Böhm, Alastair Litterick, Benjamin Martin, Gerhard Roehrle

Abstract: Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first main theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our proof uses R.W. Ric… ▽ More Let $H \subseteq G$ be connected reductive linear algebraic groups defined over an algebraically closed field of characteristic $p> 0$. In our first main theorem we show that if a closed subgroup $K$ of $H$ is $H$-completely reducible, then it is also $G$-completely reducible in the sense of Serre, under some restrictions on $p$, generalising the known case for $G = GL(V)$. Our proof uses R.W. Richardson's notion of reductive pairs to reduce to the $GL(V)$ case. We study Serre's notion of saturation and prove that saturation behaves well with respect to products and regular subgroups. Our second main theorem shows that if $K$ is $H$-completely reducible, then the saturation of $K$ in $G$ is completely reducible in the saturation of $H$ in $G$ (which is again a connected reductive subgroup of $G$), under suitable restrictions on $p$, again generalising the known instance for $G = GL(V)$. We also study saturation of finite subgroups of Lie type in $G$. We show that saturation is compatible with standard Frobenius endomorphisms, and we use this to generalise a result due to Nori from 1987 in case $G = GL(V)$. △ Less

Submitted 25 April, 2025; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: 15 pages; v2 minor changes; v3 18 pages, various changes; new is Proposition 4.8 which shows that saturation is compatible with standard Frobenius endomorphisms; v4, 19 pages, introduction rewritten, substantial reorganization of material; v5, minor changes following referee's suggestion; final version to appear in PJM; v6 minor changes to conform with published version, bibliographic updates

MSC Class: 20G15; 14L24

Edifices: Building-like spaces associated to linear algebraic groups

Authors: Michael Bate, Benjamin Martin, Gerhard Roehrle

Abstract: Given a semisimple linear algebraic $k$-group $G$, one has a spherical building $Δ_G$, and one can interpret the geometric realisation $Δ_G(\mathbb R)$ of $Δ_G$ in terms of cocharacters of $G$. The aim of this paper is to extend this construction to the case when $G$ is an arbitrary connected linear algebraic group; we call the resulting object $Δ_G(\mathbb R)$ the spherical edifice of $G$. We als… ▽ More Given a semisimple linear algebraic $k$-group $G$, one has a spherical building $Δ_G$, and one can interpret the geometric realisation $Δ_G(\mathbb R)$ of $Δ_G$ in terms of cocharacters of $G$. The aim of this paper is to extend this construction to the case when $G$ is an arbitrary connected linear algebraic group; we call the resulting object $Δ_G(\mathbb R)$ the spherical edifice of $G$. We also define an object $V_G(\mathbb R)$ which is an analogue of the vector building for a semisimple group; we call $V_G(\mathbb R)$ the vector edifice. The notions of a linear map and an isomorphism between edifices are introduced; we construct some linear maps arising from natural group-theoretic operations. We also devise a family of metrics on $V_G(\mathbb R)$ and show they are all bi-Lipschitz equivalent to each other; with this extra structure, $V_G(\mathbb R)$ becomes a complete metric space. Finally, we present some motivation in terms of geometric invariant theory and variations on the Tits Centre Conjecture. △ Less

Submitted 1 September, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: 45 pages; to appear in special issue of Innovations in Incidence Geometry, dedicated to the memory of Jacques Tits; v2 small fixes in sect. 6.2; v3 small fixes

MSC Class: 51E24; 20E42; 20G15

Journal ref: Innov. Incidence Geom. 20 (2023), no. 2--3, 79--134

Complete reducibility for Lie subalgebras and semisimplification

Authors: Michael Bate, Sören Böhm, Benjamin Martin, Gerhard Roehrle, Laura Voggesberger

Abstract: Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$… ▽ More Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra $\mathfrak g = Lie(G)$ of $G$ and prove some results when $\mathfrak h$ is solvable or $char(k)= 0$. We introduce the concept of a $k$-semisimplification $\mathfrak h'$ of $\mathfrak h$; $\mathfrak h'$ is a Lie subalgebra of $\mathfrak g$ associated to $\mathfrak h$ which is $G$-completely reducible over $k$. This is the Lie algebra counterpart of the analogous notion for subgroups studied earlier by the first, third and fourth authors. As in the subgroup case, we show that $\mathfrak h'$ is unique up to $Ad(G(k))$-conjugacy in $\mathfrak g$. Moreover, we prove that the two concepts are compatible: for $H$ a closed subgroup of $G$ and $H'$ a $k$-semisimplification of $H$, the Lie algebra $Lie(H')$ is a $k$-semisimplification of $Lie(H)$. △ Less

Submitted 26 October, 2023; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: 22 pages; v2 25 pages, several improvements; to appear in the European Journal of Mathematics

MSC Class: 20G15; 14L24

Journal ref: Eur. J. Math. 9 (2023), no. 4, Paper No. 116, 27 pp

Flag-accurate arrangements

Authors: Paul Mücksch, Gerhard Roehrle, Tan Nhat Tran

Abstract: In [MR21], the first two authors introduced the notion of an accurate arrangement, a particular notion of freeness. In this paper, we consider a special subclass, where the property of accuracy stems from a flag of flats in the intersection lattice of the underlying arrangement. Members of this family are called flag-accurate. One relevance of this new notion is that it entails divisional freeness… ▽ More In [MR21], the first two authors introduced the notion of an accurate arrangement, a particular notion of freeness. In this paper, we consider a special subclass, where the property of accuracy stems from a flag of flats in the intersection lattice of the underlying arrangement. Members of this family are called flag-accurate. One relevance of this new notion is that it entails divisional freeness. There are a number of important natural classes which are flag-accurate, the most prominent one among them is the one consisting of Coxeter arrangements. This warrants a systematic study which is put forward in the present paper. More specifically, let $\mathscr A$ be a free arrangement of rank $\ell$. Suppose that for every $1\leq d \leq \ell$, the first $d$ exponents of $\mathscr A$ -- when listed in increasing order -- are realized as the exponents of a free restriction of $\mathscr A$ to some intersection of reflecting hyperplanes of $\mathscr A$ of dimension $d$. Following [MR21], we call such an arrangement $\mathscr A$ with this natural property accurate. If in addition the flats involved can be chosen to form a flag, we call $\mathscr A$ flag-accurate. We investigate flag-accuracy among reflection arrangements, extended Shi and extended Catalan arrangements, and further for various families of graphic and digraphic arrangements. We pursue these both from theoretical and computational perspectives. Along the way we present examples of accurate arrangements that are not flag-accurate. The main result of [MR21] shows that MAT-free arrangements are accurate. We provide strong evidence for the conjecture that MAT-freeness actually entails flag-accuracy. △ Less

Submitted 1 February, 2023; originally announced February 2023.

Comments: 53 pages

MSC Class: 20F55; 51F15; 52C35; 32S22

Inductive Freeness of Ziegler's Canonical Multiderivations for Restrictions of Reflection Arrangements

Authors: Torsten Hoge, Gerhard Roehrle, Sven Wiesner

Abstract: Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A"$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $κ$ is then a free multiarrangement. In 2024, the first two authors proved an analogue of Ziegler's theorem for the stronger notion of inductive freeness: if $\mathcal A$ is inductively free, then so is the free multia… ▽ More Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A"$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $κ$ is then a free multiarrangement. In 2024, the first two authors proved an analogue of Ziegler's theorem for the stronger notion of inductive freeness: if $\mathcal A$ is inductively free, then so is the free multiarrangement $(\mathcal A'',κ)$. In 2018, all reflection arrangements which admit inductively free Ziegler restrictions were classified by the first two authors. The aim of this paper is an extension of this classification to all restrictions of reflection arrangements utilizing the aforementioned fundamental result from the 2024 paper of the first two authors. △ Less

Submitted 13 February, 2025; v1 submitted 2 October, 2022; originally announced October 2022.

Comments: v1 21 pages; v2 reorganized material; updated bibliograpy; update of grant information; v3 final version to appear in Innovations in Incidence Geometry. arXiv admin note: substantial text overlap with arXiv:1705.02767, arXiv:2204.09540

MSC Class: 52C35; 14N20; 32S22; 51D20

A construction of pseudo-reductive groups with non-reduced root system

Authors: Michael Bate, Gerhard Röhrle, Damian Sercombe, David I. Stewart

Abstract: We describe a straightforward construction of the pseudo-split absolutely pseudo-simple groups of minimal type with irreducible root systems of type $BC_n$; these exist only in characteristic $2$. We also give a formula for the dimensions of their irreducible modules. We describe a straightforward construction of the pseudo-split absolutely pseudo-simple groups of minimal type with irreducible root systems of type $BC_n$; these exist only in characteristic $2$. We also give a formula for the dimensions of their irreducible modules. △ Less

Submitted 8 January, 2024; v1 submitted 2 May, 2022; originally announced May 2022.

Comments: 22 pages; version accepted for publication in Transformation Groups; appendix added to show an alternative approach using a significant theorem in Conrad--Gabber--Prasad

MSC Class: 20G15

Inductive Freeness of Ziegler's Canonical Multiderivations

Authors: Torsten Hoge, Gerhard Roehrle

Abstract: Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A''$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $κ$ is then a free multiarrangement $(\mathcal A'',κ)$. The aim of this paper is to prove an analogue of Ziegler's theorem for the stronger notion of inductive freeness: if $\mathcal A$ is inductively free, then so is… ▽ More Let $\mathcal A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $\mathcal A''$ of $\mathcal A$ to any hyperplane endowed with the natural multiplicity $κ$ is then a free multiarrangement $(\mathcal A'',κ)$. The aim of this paper is to prove an analogue of Ziegler's theorem for the stronger notion of inductive freeness: if $\mathcal A$ is inductively free, then so is the multiarrangement $(\mathcal A'',κ)$. In a related result we derive that if a deletion $\mathcal A'$ of $\mathcal A$ is free and the corresponding restriction $\mathcal A''$ is inductively free, then so is $(\mathcal A'',κ)$ -- irrespective of the freeness of $\mathcal A$. In addition, we show counterparts of the latter kind for additive and recursive freeness. △ Less

Submitted 26 February, 2025; v1 submitted 20 April, 2022; originally announced April 2022.

Comments: 20 pages. v2: Expanded Remark 1.4; added Examples 1.5 and 1.15; v3: updated bibliographic information, to appear in Discrete & Computational Geometry. arXiv admin note: text overlap with arXiv:1705.02767

MSC Class: 52C35; 14N20; 32S22; 51D20

On Formality and Combinatorial Formality for hyperplane arrangements

Authors: Tilman Möller, Paul Mücksch, Gerhard Roehrle

Abstract: A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the fact that complex arrangements with aspherical complements are formal. The aim of this note is twofold. While work of Yuzvinsky shows that formality is not combi… ▽ More A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the fact that complex arrangements with aspherical complements are formal. The aim of this note is twofold. While work of Yuzvinsky shows that formality is not combinatorial, in our first main theorem we prove that the combinatorial property of niceness of arrangements does entail formality. Our second main theorem shows that formality is hereditary, i.e. is passed to restrictions. This is rather counter-intuitive, as in contrast the known sufficient conditions for formality, i.e. asphericity, freeness and niceness (owed to our first theorem), are not hereditary themselves. We also demonstrate that the stronger property of $k$-formality, due to Brandt and Terao, is not hereditary. △ Less

Submitted 5 April, 2022; v1 submitted 18 February, 2022; originally announced February 2022.

Comments: 17 pages; v2 small changes; update of affilation of second author

MSC Class: 20F55; 52B30; 52C35; 14N20

Journal ref: Discrete & Computational Geometry 72, 73--90 (2024)

Overgroups of regular unipotent elements in reductive groups

Authors: Michael Bate, Ben Martin, Gerhard Roehrle

Abstract: We study reductive subgroups $H$ of a reductive linear algebraic group $G$ -- possibly non-connected -- such that $H$ contains a regular unipotent element of $G$. We show that under suitable hypotheses, such subgroups are $G$-irreducible in the sense of Serre. This generalizes results of Malle, Testerman and Zalesski. We obtain analogous results for Lie algebras and for finite groups of Lie type.… ▽ More We study reductive subgroups $H$ of a reductive linear algebraic group $G$ -- possibly non-connected -- such that $H$ contains a regular unipotent element of $G$. We show that under suitable hypotheses, such subgroups are $G$-irreducible in the sense of Serre. This generalizes results of Malle, Testerman and Zalesski. We obtain analogous results for Lie algebras and for finite groups of Lie type. Our proofs are short, conceptual and uniform. △ Less

Submitted 19 December, 2021; v1 submitted 5 July, 2021; originally announced July 2021.

Comments: 13 pages; v2 added Corollary 5.2; v3 final version; some references added, further small changes; to appear in Forum of Mathematics, Sigma

MSC Class: 20G15; 20G40; 20E45; 14L24

Journal ref: Forum of Mathematics, Sigma 10 (2022) e13

Invariants and semi-invariants in the cohomology of the complement of a reflection arrangement

Authors: J. Matthew Douglass, Goetz Pfeiffer, Gerhard Roehrle

Abstract: 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 co… ▽ More 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 A is a reflection arrangement and the pair (A,G) arises from a reflection coset. 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 a 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 this description of the space of invariants to arbitrary finite, complex reflection groups. The main result also leads to simplifications of some cohomology computations of Lehrer, Callegaro-Marin, and Marin. △ Less

Submitted 4 April, 2025; v1 submitted 27 September, 2020; originally announced September 2020.

Comments: Comments welcome! v2: funding information added; changes in §7; added reference [8]; v3: clarified connection with special involutions in §1.2; changes to §7; added reference [10]; v4: significant improvements based on referee's comments; final version to appear in Mathematische Annalen; v5 final version, minor changes, typos fixed

MSC Class: 20F55; 14N20; 32S22; 52C35

Complete reducibility: Variations on a theme of Serre

Authors: Maike Gruchot, Alastair Litterick, Gerhard Roehrle

Abstract: In this note, we unify and extend various concepts in the area of $G$-complete reducibility, where $G$ is a reductive algebraic group. By results of Serre and Bate--Martin--Röhrle, the usual notion of $G$-complete reducibility can be re-framed as a property of an action of a group on the spherical building of the identity component of $G$. We show that other variations of this notion, such as rela… ▽ More In this note, we unify and extend various concepts in the area of $G$-complete reducibility, where $G$ is a reductive algebraic group. By results of Serre and Bate--Martin--Röhrle, the usual notion of $G$-complete reducibility can be re-framed as a property of an action of a group on the spherical building of the identity component of $G$. We show that other variations of this notion, such as relative complete reducibility and $σ$-complete reducibility, can also be viewed as special cases of this building-theoretic definition, and hence a number of results from these areas are special cases of more general properties. △ Less

Submitted 7 June, 2021; v1 submitted 30 April, 2020; originally announced April 2020.

Comments: 10 pages; v2 small changes; v3 minimal changes; to appear in Manuscripta Math

MSC Class: 20G15; 20G40; 20E42; 51E24

Semisimplification for Subgroups of Reductive Algebraic Groups

Authors: Michael Bate, Benjamin Martin, Gerhard Roehrle

Abstract: Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H'$ of $G$; one takes a limit of $H$ along a cocharacter of $G$ in an appropriate sense. We generalise this idea to arbitrary reductive $G$ using the notion of $G$-complete redu… ▽ More Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H'$ of $G$; one takes a limit of $H$ along a cocharacter of $G$ in an appropriate sense. We generalise this idea to arbitrary reductive $G$ using the notion of $G$-complete reducibility and results from geometric invariant theory over non-algebraically closed fields due to the authors and Herpel. Our construction produces a $G$-completely reducible subgroup $H'$ of $G$, unique up to $G(k)$-conjugacy, which we call a $k$-semisimplification of $H$. This gives a single unifying construction which extends various special cases in the literature (in particular, it agrees with the usual notion for $G= GL_n$ and with Serre's "$G$-analogue" of semisimplification for subgroups of $G(k)$). We also show that under some extra hypotheses, one can pick $H'$ in a more canonical way using the Tits Centre Conjecture for spherical buildings and/or the theory of optimal destabilising cocharacters introduced by Hesselink, Kempf and Rousseau. △ Less

Submitted 30 October, 2020; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: 13 pages; v2 update in one reference; v3 minor changes and improved exposition in various parts; v4 further changes according to referee's comments, update of references; final version to appear in Forum Math. Sigma; v5 small changes to coincide with published version

MSC Class: 20G15; 14L24

Journal ref: Forum of Mathematics, Sigma 8 (2020) e43

Accurate Arrangements

Authors: Paul Mücksch, Gerhard Roehrle

Abstract: Let $\mathscr A$ be a Coxeter arrangement of rank $\ell$. In 1987 Orlik, Solomon and Terao conjectured that for every $1\leq d \leq \ell$, the first $d$ exponents of $\mathscr A$ -- when listed in increasing order -- are realized as the exponents of a free restriction of $\mathscr A$ to some intersection of reflecting hyperplanes of $\mathscr A$ of dimension $d$. This conjecture does follow from r… ▽ More Let $\mathscr A$ be a Coxeter arrangement of rank $\ell$. In 1987 Orlik, Solomon and Terao conjectured that for every $1\leq d \leq \ell$, the first $d$ exponents of $\mathscr A$ -- when listed in increasing order -- are realized as the exponents of a free restriction of $\mathscr A$ to some intersection of reflecting hyperplanes of $\mathscr A$ of dimension $d$. This conjecture does follow from rather extensive case-by-case studies by Orlik and Terao from 1992 and 1993, where they show that all restrictions of Coxeter arrangements are free. We call a general free arrangements with this natural property involving their free restrictions accurate. In this paper we initialize their systematic study. Our principal result shows that MAT-free arrangements, a notion recently introduced by Cuntz and Mücksch, are accurate. This theorem in turn directly implies this special property for all ideal subarrangements of Weyl arrangements. In particular, this gives a new, simpler and uniform proof of the aforementioned conjecture of Orlik, Solomon and Terao for Weyl arrangements which is free of any case-by-case considerations. Another application of a slightly more general formulation of our main theorem shows that extended Shi arrangements, extended Catalan arrangements and ideal-Shi arrangements share this property as well. We also study arrangements that satisfy a slightly weaker condition, called almost accurate arrangements, where we simply disregard the ordering of the exponents involved. This property in turn is implied by many well established concepts of freeness such as supersolvability and divisional freeness. △ Less

Submitted 8 March, 2021; v1 submitted 3 March, 2020; originally announced March 2020.

Comments: 29 pages; 1 Figure; v2 small changes; v3 final version: added Example 3.13 and Example 4.5 to exemplify Theorem 3.11 and Theorem 4.3. Added in new reference [ATT20] in Remark 5.6. To appear in Advances in Math

MSC Class: 20F55; 51F15; 52C35; 32S22

Journal ref: Adv. Math. 383, Article ID 107702, 30 p. (2021)

Some remarks on free arrangements

Authors: Torsten Hoge, Gerhard Roehrle

Abstract: We exhibit a particular free subarrangement of a certain restriction of the Weyl arrangement of type $E_7$ and use it to give an affirmative answer to a recent conjecture by T.~Abe on the nature of additionally free and stair-free arrangements. We exhibit a particular free subarrangement of a certain restriction of the Weyl arrangement of type $E_7$ and use it to give an affirmative answer to a recent conjecture by T.~Abe on the nature of additionally free and stair-free arrangements. △ Less

Submitted 2 March, 2019; originally announced March 2019.

Comments: 11 p. arXiv admin note: text overlap with arXiv:1510.00213

MSC Class: 20F55; 52C35; 14N20; 32S22; 51D20; 51F15

Relative complete reducibility and normalised subgroups

Authors: Maike Gruchot, Alastair Litterick, Gerhard Roehrle

Abstract: We study a relative variant of Serre's notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ which normalise the identity component $K^{\circ}$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ}$ is comple… ▽ More We study a relative variant of Serre's notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ which normalise the identity component $K^{\circ}$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ}$ is completely reducible. This allows us to generalise a number of fundamental results from the absolute to the relative setting. We also derive analogous results for Lie subalgebras of the Lie algebra of $G$, as well as 'rational' versions over non-algebraically closed fields. △ Less

Submitted 28 April, 2020; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: 21 pages; v2 several updates and small changes, updated references; v3 small changes, final version to appear in Forum of Mathematics, Sigma

MSC Class: 20G15; 14L24

On the Invariants of the Cohomology of Complements of Coxeter Arrangements

Authors: J. Matthew Douglass, Goetz Pfeiffer, Gerhard Roehrle

Abstract: We refine Brieskorn's study of the cohomology of the complement of the reflection arrangement of a finite Coxeter group $W$. As a result we complete the verification of a conjecture by Felder and Veselov that gives an explicit basis of the space of $W$-invariants in this cohomology ring. We refine Brieskorn's study of the cohomology of the complement of the reflection arrangement of a finite Coxeter group $W$. As a result we complete the verification of a conjecture by Felder and Veselov that gives an explicit basis of the space of $W$-invariants in this cohomology ring. △ Less

Submitted 13 May, 2019; v1 submitted 5 October, 2018; originally announced October 2018.

Comments: 12 pages, 3 figures; final version

Report number: OWP 2018-21 MSC Class: 20F55; 05E10; 52C35

A Hodge filtration of logarithmic vector fields for well-generated complex reflection groups

Authors: Takuro Abe, Gerhard Röhrle, Christian Stump, Masahiko Yoshinaga

Abstract: Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous… ▽ More Given an irreducible well-generated complex reflection group, we construct an explicit basis for the module of vector fields with logarithmic poles along its reflection arrangement. This construction yields in particular a Hodge filtration of that module. Our approach is based on a detailed analysis of a flat connection applied to the primitive vector field. This generalizes and unifies analogous results for real reflection groups. △ Less

Submitted 16 July, 2024; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 20 pages, v2: minor corrections. Final version, to appear in J. Comb. Algebra

MSC Class: 20F55; 52C35; 32S25

On relative complete reducibility

Authors: Christopher Attenborough, Michael Bate, Maike Gruchot, Alastair Litterick, Gerhard Roehrle

Abstract: Let $K$ be a reductive subgroup of a reductive group $G$ over an algebraically closed field $k$. The notion of relative complete reducibility, introduced in previous work of Bate-Martin-Roehrle-Tange, gives a purely algebraic description of the closed $K$-orbits in $G^n$, where $K$ acts by simultaneous conjugation on $n$-tuples of elements from $G$. This extends work of Richardson and is also a na… ▽ More Let $K$ be a reductive subgroup of a reductive group $G$ over an algebraically closed field $k$. The notion of relative complete reducibility, introduced in previous work of Bate-Martin-Roehrle-Tange, gives a purely algebraic description of the closed $K$-orbits in $G^n$, where $K$ acts by simultaneous conjugation on $n$-tuples of elements from $G$. This extends work of Richardson and is also a natural generalization of Serre's notion of $G$-complete reducibility. In this paper we revisit this idea, giving a characterization of relative $G$-complete reducibility which directly generalizes equivalent formulations of $G$-complete reducibility. If the ambient group $G$ is a general linear group, this characterization yields representation-theoretic criteria. Along the way, we extend and generalize several results from the aforementioned work of Bate-Martin-Roehrle-Tange. △ Less

Submitted 30 August, 2019; v1 submitted 8 June, 2018; originally announced June 2018.

Comments: 10 pages; v2 15 pages; substantially revised and expanded version: most results are generalized from the case of a general linear group to an arbitrary connected reductive algebraic group. List of authors expanded. To appear in Quarterly Journal of Mathematics

MSC Class: 20G15; 14L24

Restrictions of aspherical arrangements

Authors: Nils Amend, Tilman Moeller, Gerhard Roehrle

Abstract: In this note we present examples of $K(π,1)$-arrangements which admit a restriction which fails to be $K(π,1)$. This shows that asphericity is not hereditary among hyperplane arrangements. In this note we present examples of $K(π,1)$-arrangements which admit a restriction which fails to be $K(π,1)$. This shows that asphericity is not hereditary among hyperplane arrangements. △ Less

Submitted 20 September, 2018; v1 submitted 9 March, 2018; originally announced March 2018.

Comments: 6 pages

MSC Class: 52B30; 55P20; 52C35

Journal ref: Topology and Applications vol 249 (2018) 67 - 72

The modality of a Borel subgroup in a simple algebraic group of type $E_8$

Authors: Simon Goodwin, Peter Mosch, Gerhard Roehrle

Abstract: Let $G$ be a simple algebraic group over an algebraically closed field $k$, where $\mathrm{char}\, k$ is either 0 or a good prime for $G$. We consider the modality $\mathrm{mod}(B : \mathfrak u)$ of the action of a Borel subgroup $B$ of $G$ on the Lie algebra $\mathfrak u$ of the unipotent radical of $B$, and report on computer calculations used to show that $\mathrm{mod}(B:\mathfrak u) = 20$, whe… ▽ More Let $G$ be a simple algebraic group over an algebraically closed field $k$, where $\mathrm{char}\, k$ is either 0 or a good prime for $G$. We consider the modality $\mathrm{mod}(B : \mathfrak u)$ of the action of a Borel subgroup $B$ of $G$ on the Lie algebra $\mathfrak u$ of the unipotent radical of $B$, and report on computer calculations used to show that $\mathrm{mod}(B:\mathfrak u) = 20$, when $G$ is of type $\mathrm E_8$. This completes the determination of the values for $\mathrm{mod}(B:\mathfrak u)$ for $G$ of exceptional type. △ Less

Submitted 9 February, 2018; originally announced February 2018.

Comments: 3 pages

MSC Class: 20G1; 14L24

The topology of arrangements of ideal type

Authors: Nils Amend, Gerhard Roehrle

Abstract: In 1962, Fadell and Neuwirth showed that the configuration space of the braid arrangement is aspherical. Having generalized this to many real reflection groups, Brieskorn conjectured this for all finite Coxeter groups. This in turn follows from Deligne's seminal work from 1972, where he showed that the complexification of every real simplicial arrangement is a $K(π,1)$-arrangement. In this paper… ▽ More In 1962, Fadell and Neuwirth showed that the configuration space of the braid arrangement is aspherical. Having generalized this to many real reflection groups, Brieskorn conjectured this for all finite Coxeter groups. This in turn follows from Deligne's seminal work from 1972, where he showed that the complexification of every real simplicial arrangement is a $K(π,1)$-arrangement. In this paper we study the $K(π,1)$-property for a certain class of subarrangements of Weyl arrangements, the so called arrangements of ideal type ${\mathscr A}_I$. These stem from ideals $I$ in the set of positive roots of a reduced root system. We show that the $K(π,1)$-property holds for all arrangements ${\mathscr A}_I$ if the underlying Weyl group is classical and that it extends to most of the ${\mathscr A}_I$ if the underlying Weyl group is of exceptional type. Conjecturally this holds for all ${\mathscr A}_I$. In general, the ${\mathscr A}_I$ are neither simplicial, nor is their complexification fiber type. △ Less

Submitted 24 October, 2018; v1 submitted 22 January, 2018; originally announced January 2018.

Comments: 11 pages. v2: added a remark about cross sections of the given fibrations and some references. v3: changes as suggested by referee; final version to appear in Algebraic and Geometric Topology

MSC Class: 20F55; 52C35; 14N20

Arrangements of ideal type are inductively free

Authors: Michael Cuntz, Gerhard Roehrle, Anne Schauenburg

Abstract: Extending earlier work by Sommers and Tymoczko, in 2016 Abe, Barakat, Cuntz, Hoge, and Terao established that each arrangement of ideal type $\mathcal{A}_\mathcal{I}$ stemming from an ideal $\mathcal{I}$ in the set of positive roots of a reduced root system is free. Recently, Röhrle showed that a large class of the $\mathcal{A}_\mathcal{I}$ satisfy the stronger property of inductive freeness and c… ▽ More Extending earlier work by Sommers and Tymoczko, in 2016 Abe, Barakat, Cuntz, Hoge, and Terao established that each arrangement of ideal type $\mathcal{A}_\mathcal{I}$ stemming from an ideal $\mathcal{I}$ in the set of positive roots of a reduced root system is free. Recently, Röhrle showed that a large class of the $\mathcal{A}_\mathcal{I}$ satisfy the stronger property of inductive freeness and conjectured that this property holds for all $\mathcal{A}_\mathcal{I}$. In this article, we confirm this conjecture. △ Less

Submitted 31 January, 2019; v1 submitted 23 November, 2017; originally announced November 2017.

Comments: 10 pages. arXiv admin note: text overlap with arXiv:1606.00617

MSC Class: 20F55; 52B30; 52C35; 14N20

On the $K(π, 1)$-problem for restrictions of complex reflection arrangements

Authors: Nils Amend, Pierre Deligne, Gerhard Roehrle

Abstract: Let $W\subset GL(V)$ be a complex reflection group, and ${\mathscr A}(W)$ the set of the mirrors of the complex reflections in $W$. It is known that the complement $X({\mathscr A}(W))$ of the reflection arrangement ${\mathscr A}(W)$ is a $K(π,1)$ space. For $Y$ an intersection of hyperplanes in $\mathscr A(W)$, let $X(\mathscr A(W)^Y)$ be the complement in $Y$ of the hyperplanes in… ▽ More Let $W\subset GL(V)$ be a complex reflection group, and ${\mathscr A}(W)$ the set of the mirrors of the complex reflections in $W$. It is known that the complement $X({\mathscr A}(W))$ of the reflection arrangement ${\mathscr A}(W)$ is a $K(π,1)$ space. For $Y$ an intersection of hyperplanes in $\mathscr A(W)$, let $X(\mathscr A(W)^Y)$ be the complement in $Y$ of the hyperplanes in $\mathscr A(W)$ not containing $Y$. We hope that $X(\mathscr A(W)^Y)$ is always a $K(π,1)$. We prove it in case of the monomial groups $W = G(r,p,\ell)$. Using known results, we then show that there remain only three irreducible complex reflection groups, leading to just eight such induced arrangements for which this $K(π,1)$ property remains to be proved. △ Less

Submitted 4 October, 2019; v1 submitted 17 August, 2017; originally announced August 2017.

Comments: 20 pages; v2: small changes and further references added, in particular [AMR18], where examples of K(pi,1) arrangements are exhibited which admit restrictions that are not K(pi,1); v3 author added, completely revised, alternate geometric proof of main theorem, 11 pages; v4 minor changes, final version to appear in Compositio Math

MSC Class: 20F55; 52C35; 14N20; 13N15

Journal ref: Compositio Math. 156 (2020) 526-532

Counting chambers in restricted Coxeter arrangements

Authors: Tilman Moeller, Gerhard Roehrle

Abstract: Solomon showed that the Poincaré polynomial of a Coxeter group $W$ satisfies a product decomposition depending on the exponents of $W$. This polynomial coincides with the rank-generating function of the poset of regions of the underlying Coxeter arrangement. In this note we determine all instances when the analogous factorization property of the rank-generating function of the poset of regions hol… ▽ More Solomon showed that the Poincaré polynomial of a Coxeter group $W$ satisfies a product decomposition depending on the exponents of $W$. This polynomial coincides with the rank-generating function of the poset of regions of the underlying Coxeter arrangement. In this note we determine all instances when the analogous factorization property of the rank-generating function of the poset of regions holds for a restriction of a Coxeter arrangement. It turns out that this is always the case with the exception of some instances in type $E_8$. △ Less

Submitted 29 June, 2017; originally announced June 2017.

Comments: 11 pages

MSC Class: 20F55; 52B30; 52C35; 14N20

Inductive Freeness of Ziegler's Canonical Multiderivations for Reflection Arrangements

Authors: Torsten Hoge, Gerhard Roehrle

Abstract: Let $A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $A''$ of $A$ to any hyperplane endowed with the natural multiplicity is then a free multiarrangement. We initiate a study of the stronger freeness property of inductive freeness for these canonical free multiarrangements and investigate them for the underlying class of reflection arrangements. More precisely,… ▽ More Let $A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $A''$ of $A$ to any hyperplane endowed with the natural multiplicity is then a free multiarrangement. We initiate a study of the stronger freeness property of inductive freeness for these canonical free multiarrangements and investigate them for the underlying class of reflection arrangements. More precisely, let $A = A(W)$ be the reflection arrangement of a complex reflection group $W$. By work of Terao, each such reflection arrangement is free. Thus so is Ziegler's canonical multiplicity on the restriction $A''$ of $A$ to a hyperplane. We show that the latter is inductively free as a multiarrangement if and only if $A''$ itself is inductively free. △ Less

Submitted 14 July, 2018; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: 23 pages; v2 minor changes; final version, to appear in J. Algebra

MSC Class: 20F55; 51F15; 52C35; 14N20; 32S22; 51D20

On unipotent radicals of pseudo-reductive groups

Authors: Michael Bate, Benjamin Martin, Gerhard Roehrle, David Stewart

Abstract: We establish some results on the structure of the geometric unipotent radicals of pseudo-reductive k-groups. In particular, our main theorem gives bounds on the nilpotency class of geometric unipotent radicals of standard pseudo-reductive groups, which are sharp in many cases. A major part of the proof rests upon consideration of the following situation: let k' be a purely inseparable field extens… ▽ More We establish some results on the structure of the geometric unipotent radicals of pseudo-reductive k-groups. In particular, our main theorem gives bounds on the nilpotency class of geometric unipotent radicals of standard pseudo-reductive groups, which are sharp in many cases. A major part of the proof rests upon consideration of the following situation: let k' be a purely inseparable field extension of k of degree p^e and let G denote the Weil restriction of scalars R_{k'/k}(G') of a reductive k'-group G'. When G= \R_{k'/k}(G') we also provide some results on the orders of elements of the unipotent radical \RR_u(G_{\bar k}) of the extension of scalars of G to the algebraic closure \bar k of k. △ Less

Submitted 7 September, 2018; v1 submitted 14 April, 2017; originally announced April 2017.

Comments: 19 pages; 2nd version a major revision; to be published in Mich. J. Math

MSC Class: 20G15

Freeness of multi-reflection arrangements via primitive vector fields

Authors: Torsten Hoge, Toshiyuki Mano, Gerhard Roehrle, Christian Stump

Abstract: In 2002, Terao showed that every reflection multi-arrangement of a real reflection group with constant multiplicity is free by providing a basis of the module of derivations. We first generalize Terao's result to multi-arrangements stemming from well-generated unitary reflection groups, where the multiplicity of a hyperplane depends on the order of its stabilizer. Here the exponents depend on the… ▽ More In 2002, Terao showed that every reflection multi-arrangement of a real reflection group with constant multiplicity is free by providing a basis of the module of derivations. We first generalize Terao's result to multi-arrangements stemming from well-generated unitary reflection groups, where the multiplicity of a hyperplane depends on the order of its stabilizer. Here the exponents depend on the exponents of the dual reflection representation. We then extend our results further to all imprimitive irreducible unitary reflection groups. In this case the exponents turn out to depend on the exponents of a certain Galois twist of the dual reflection representation that comes from a Beynon-Lusztig type semi-palindromicity of the fake degrees. △ Less

Submitted 17 April, 2019; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: 26 pages; v2: an analogue of Saito's Hodge filtration is introduced and is used to show the universality of the vector field \nabla_D^{-m}(E) in Prop. 3.18; v3: minor changes; v4: reference [KMS18b] added; other minor changes; final version to appear in Advances in Math

MSC Class: 20F55; 52C35; 14N20; 32S25; 32S22; 05E15

Nice Restrictions of Reflection Arrangements

Authors: Tilman Moeller, Gerhard Roehrle

Abstract: 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. 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. △ Less

Submitted 22 September, 2016; originally announced September 2016.

Comments: 18 pages. arXiv admin note: text overlap with arXiv:1602.06421, arXiv:1606.00617, arXiv:1402.3227, arXiv:1505.04603

MSC Class: 20F55; 52B30; 52C35; 14N20

Arrangements of ideal type

Authors: Gerhard Roehrle

Abstract: 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… ▽ More 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. △ Less

Submitted 17 April, 2017; v1 submitted 2 June, 2016; originally announced June 2016.

Comments: 35 pages; v2: references updated, small changes; v3: fix to count of number of ideals not covered by Condition 1.10 in exceptional cases in Tables 1 and 5; to appear in Journal of Algebra

MSC Class: 20F55; 52B30; 52C35; 14N20

Localizations of inductively factored arrangements

Authors: Tilman Moeller, Gerhard Roehrle

Abstract: We show that the class of inductively factored arrangements is closed under taking localizations. We illustrate the usefulness of this with an application. We show that the class of inductively factored arrangements is closed under taking localizations. We illustrate the usefulness of this with an application. △ Less

Submitted 20 February, 2016; originally announced February 2016.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:1402.3227

MSC Class: 52C35; 14N20; 51D20

Divisionally free Restrictions of Reflection Arrangements

Authors: Gerhard Roehrle

Abstract: We study some aspects of divisionally free arrangements which were recently introduced by Abe. Crucially, Terao's conjecture on the combinatorial nature of freeness holds within this class. We show that while it is compatible with products, surprisingly, it is not closed under taking localizations. In addition, we determine all divisionally free restrictions of all reflection arrangements. We study some aspects of divisionally free arrangements which were recently introduced by Abe. Crucially, Terao's conjecture on the combinatorial nature of freeness holds within this class. We show that while it is compatible with products, surprisingly, it is not closed under taking localizations. In addition, we determine all divisionally free restrictions of all reflection arrangements. △ Less

Submitted 1 September, 2017; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 8 pages; v2 small changes; final version

MSC Class: 20F55; 52C35; 14N20

Cocharacter-closure and spherical buildings

Authors: Michael Bate, Sebastian Herpel, Benjamin Martin, Gerhard Roehrle

Abstract: 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… ▽ More 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. △ Less

Submitted 28 September, 2015; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: 16 pages; v 2 17 pages, exposition improved; to appear in the Robert Steinberg Memorial Issue of the Pacific Journal of Mathematics

MSC Class: 20G15; 14L24

Nice reflection arrangements

Authors: Torsten Hoge, Gerhard Roehrle

Abstract: 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… ▽ More 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. △ Less

Submitted 18 May, 2015; originally announced May 2015.

Comments: 22 pages. arXiv admin note: substantial text overlap with arXiv:1402.3227

MSC Class: 20F55; 52B30; 52C35; 14N20

On a question of Külshammer for representations of finite groups in reductive groups

Authors: Michael Bate, Benjamin Martin, Gerhard Röhrle

Abstract: Let $G$ be a simple algebraic group of type $G_2$ over an algebraically closed field of characteristic $2$. We give an example of a finite group $Γ$ with Sylow $2$-subgroup $Γ_2$ and an infinite family of pairwise non-conjugate homomorphisms $ρ\colon Γ\rightarrow G$ whose restrictions to $Γ_2$ are all conjugate. This answers a question of Burkhard Külshammer from 1995. We also give an action of… ▽ More Let $G$ be a simple algebraic group of type $G_2$ over an algebraically closed field of characteristic $2$. We give an example of a finite group $Γ$ with Sylow $2$-subgroup $Γ_2$ and an infinite family of pairwise non-conjugate homomorphisms $ρ\colon Γ\rightarrow G$ whose restrictions to $Γ_2$ are all conjugate. This answers a question of Burkhard Külshammer from 1995. We also give an action of $Γ$ on a connected unipotent group $V$ such that the map of 1-cohomologies ${\rm H}^1(Γ,V)\rightarrow {\rm H}^1(Γ_p,V)$ induced by restriction of 1-cocycles has an infinite fibre. △ Less

Submitted 20 May, 2015; v1 submitted 2 May, 2015; originally announced May 2015.

Comments: 5 pages. Minor changes from previous version

MSC Class: 20C20; 20G15

Restricting invariants of unitary reflection groups

Authors: Nils Amend, Angela Berardinelli, J. Matthew Douglass, Gerhard Roehrle

Abstract: 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 wo… ▽ More 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. △ Less

Submitted 18 November, 2016; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: 28 pages, includes tables; revisions suggested by a referee

Inductively free Multiderivations of Braid arrangements

Authors: Henning Conrad, Gerhard Roehrle

Abstract: 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$. 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$. △ Less

Submitted 18 January, 2016; v1 submitted 9 February, 2015; originally announced February 2015.

Comments: 16 pages; v2 small changes; final version; to appear in Ann. Comb

MSC Class: 20F55; 52C35; 14N20

Inductive and Recursive Freeness of Localizations of Multiarrangements

Authors: Torsten Hoge, Gerhard Roehrle, Anne Schauenburg

Abstract: 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 fre… ▽ More 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. △ Less

Submitted 21 September, 2015; v1 submitted 26 January, 2015; originally announced January 2015.

Comments: 17 pages; v 2: introductory material slightly rearranged, some references added and updated; acknowledged grant support, 16 pages;

MSC Class: 52C35; 14N20; 51D20

Cocharacter-closure and the rational Hilbert-Mumford Theorem

Authors: Michael Bate, Sebastian Herpel, Benjamin Martin, Gerhard Roehrle

Abstract: 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-clos… ▽ More 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. △ Less

Submitted 3 October, 2016; v1 submitted 28 November, 2014; originally announced November 2014.

Comments: 33 pages, v. 2 reference added, slight changes, v. 3 minor changes, v. 4 added new Thm 1.6 characterizing k-anisotropic reductive groups in terms of cocharacter-closure; v. 5 final version, further small changes; to appear in Math. Z

MSC Class: 20G15; 14L24

On the coadjoint orbits of maximal unipotent subgroups of reductive groups

Authors: Simon M. Goodwin, Peter Mosch, Gerhard Roehrle

Abstract: 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 coa… ▽ More 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). △ Less

Submitted 26 January, 2015; v1 submitted 16 September, 2014; originally announced September 2014.

Comments: 14 pages; v2 23 pages; to appear in Transformation Groups

MSC Class: 20G40; 20E45

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

Authors: Marcus Bishop, J. Matthew Douglass, Goetz Pfeiffer, Gerhard Roehrle

Abstract: 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 C… ▽ More 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. △ Less

Submitted 15 November, 2014; v1 submitted 25 March, 2014; originally announced March 2014.

Comments: Minor changes; final version

MSC Class: 20F55; 20C40; 20C15

Ziegler's Multi-Reflection Arrangements are free

Authors: Torsten Hoge, Gerhard Roehrle

Abstract: 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 ca… ▽ More 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. △ Less

Submitted 27 June, 2014; v1 submitted 19 March, 2014; originally announced March 2014.

Comments: 5 pages, final version, to appear in Exp. Math

MSC Class: 20F55; 52C35; 14N20

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

Authors: Torsten Hoge, Gerhard Roehrle

Abstract: 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… ▽ More 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. △ Less

Submitted 15 January, 2016; v1 submitted 13 February, 2014; originally announced February 2014.

Comments: 24 pages; v2 26 pages: added new example over complex numbers of an inductively free and factored arrangement which is not inductively factored, added comment on proper containment of hereditary factored classes; v3 final version, small changes as suggested by referees; to appear in European. J. Comb

MSC Class: 52B30; 52C35; 14N20 (Primary); 51D20 (Secondary)

Supersolvable restrictions of reflection arrangements

Authors: N. Amend, T. Hoge, G. Roehrle

Abstract: 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. For X in L(A), it is known that the restriction A^X is supersolvable provided A is. Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A(W) = (A(W), V) be its associated h… ▽ More 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. For X in L(A), it is known that the restriction A^X is supersolvable provided A is. Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A(W) = (A(W), V) be its associated hyperplane arrangement. In earlier work by the last two authors, we classified all supersolvable reflection arrangements. Extending this work, the aim of this note is to determine all supersolvable restrictions of reflection arrangements. It turns out that apart from the obvious restrictions of supersolvable reflection arrangements there are only a few additional instances. Moreover, in our previous work, we classified all inductively free restrictions A(W)^X of reflection arrangements A(W). Since every supersolvable arrangement is inductively free, the supersolvable restrictions A(W)^X of reflection arrangements A(W) form a natural subclass of the class of inductively free restrictions A(W)^X. Finally, we characterize the irreducible supersolvable restrictions of reflection arrangements by the presence of modular elements of dimension 1 in their intersection lattice. This in turn shows that reflection arrangements as well as their restrictions are of fiber type if and only if they are strictly linearly fibered. △ Less

Submitted 8 July, 2014; v1 submitted 4 November, 2013; originally announced November 2013.

Comments: 16 pages; final version, to appear in Journal of Combinatorial Theory, Series A

MSC Class: 20F55; 52B30; 52C35; 14N20; 13N15

On inductively free Restrictions of Reflection Arrangements

Authors: Nils Amend, Torsten Hoge, Gerhard Roehrle

Abstract: 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. 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. △ Less

Submitted 21 July, 2014; v1 submitted 7 October, 2013; originally announced October 2013.

Comments: 15 pages, final version to appear in Journal of Algebra

MSC Class: 20F55; 52C35; 14N20; 13N15

Spherical subgroups in simple algebraic groups

Authors: Friedrich Knop, Gerhard Roehrle

Abstract: 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 cha… ▽ More 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$. △ Less

Submitted 20 August, 2014; v1 submitted 14 May, 2013; originally announced May 2013.

Comments: v1: 21 pages; v2: 22 pages, Introduction rewritten, minor changes; v3: 23 pages, Proofs of Thm. 3.4 and Thm. 4.1 fixed, improved exposition, minor changes

MSC Class: 20G15; 14M27; 14M17; 14L30; 20G05

Journal ref: Compositio Mathematica 151 (2015) 1288-1308