Reflection arrangements are hereditarily free

DOI10.2748/TMJ/1378991017MaRDI QIDQ386795zbMATH OpenOpenAlexFDO

Authors Torsten Hoge, Gerhard Röhrle

Publication date 10 December 2013

Published in Tôhoku Mathematical Journal. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.5430, https://projecteuclid.org/euclid.tmj/1378991017

zbMATH Keywords

complex reflection groupsfreeness of restrictions of reflection arrangements

Mathematics Subject Classification ID

Derivations and commutative rings (13N15) Configurations and arrangements of linear subspaces (14N20) Reflection and Coxeter groups (group-theoretic aspects) (20F55) Reflection groups, reflection geometries (51F15) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35)

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

Review text

Let \(V\) be a finite-dimensional \(\mathbb{C}\)-vector space and \(W\subseteq\text{GL}(V)\) a finite unitary group generated by reflections at hyperplanes of \(V\). Let \({\mathcal A}\) denote the set of hyperplanes associated with the generating reflections and \(L\) the intersection lattice of \({\mathcal A}\). Terao proved that the reflection arrangement \({\mathcal A}\) is free. For a subspace \(X\in L\) one obtains the restricted arrangement of hyperplanes \({\mathcal A}^X\) by intersecting \(X\) with those hyperplanes \(\in{\mathcal A}\) not containing \(X\). When \(W\) is a Coxeter group and also when \(W\) is a Weyl group and in several exception cases it has been proved that \({\mathcal A}^X\) is also free.NEWLINENEWLINE The authors prove this result for the remaining exceptional cases using the CHVE package in GAP.

Recommendations

• Recursively free reflection arrangements
• Coxeter arrangements are hereditarily free
• Divisionally free restrictions of reflection arrangements
• MAT-free reflection arrangements
• On inductively free reflection arrangements.
• On inductively free restrictions of reflection arrangements.
• Freeness of multi-reflection arrangements via primitive vector fields
• Supersolvable restrictions of reflection arrangements
• Totally free arrangements of hyperplanes
• Nice restrictions of reflection arrangements

Cites work

• CHEVIE -- A system for computing and processing generic character tables
• Coxeter and crystallographic arrangements are inductively free
• Coxeter arrangements are hereditarily free
• Freeness and multirestriction of hyperplane arrangements
• scientific article; zbMATH DE number 3781584 (Why is no real title available?)
• scientific article; zbMATH DE number 52944 (Why is no real title available?)
• scientific article; zbMATH DE number 3803606 (Why is no real title available?)
• scientific article; zbMATH DE number 3297198 (Why is no real title available?)
• On inductively free reflection arrangements.
• The adjoint representation of a reductive group and hyperplane arrangements

Cited in

(17)

• Reflection groups acting on their hyperplanes.
• Coxeter arrangements are hereditarily free
• Divisionally free restrictions of reflection arrangements
• Accurate arrangements
• A rotation group whose subspace arrangement is not from a real reflection group
• Nice restrictions of reflection arrangements
• Eigenspace arrangements of reflection groups.
• scientific article; zbMATH DE number 4107093 (Why is no real title available?)
• On inductively free restrictions of reflection arrangements.
• Supersolvable restrictions of reflection arrangements
• Restricting invariants of unitary reflection groups
• Recursively free reflection arrangements
• Supersolvable orders and inductively free arrangements
• Freeness for restriction arrangements of the extended Shi and Catalan arrangements
• Flag-accurate arrangements
• Inductive freeness of Ziegler's canonical multiderivations for restrictions of reflection arrangements
• Lyashko-Looijenga morphisms and primitive factorizations of Coxeter elements

Describes a project that uses

Uses Software

• SINGULAR
• GAP
• CHEVIE

This page was built for publication: Reflection arrangements are hereditarily free

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q386795)