Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

On Universal derivations for multiarrangements

Takuro Abe, Shota Maehara, Gerhard Roehrle, Sven Wiesner

TL;DR

This work develops a general theory of universal derivations for multiarrangements by establishing a criterion that links m-universality to freeness and a notion of criticality, and by providing a complete rank-two classification. It then demonstrates the utility and limits of these criteria through diverse examples, including the deleted \(A_3\) and X_3 arrangements, as well as rank-three braid and supersolvable multiarrangements. The results show that universal derivations exist in several nontrivial, non-reflection contexts but are restricted by balancing conditions and supersolvability, with several natural nonexistence results. The paper thus broadens the landscape of universal derivations beyond Coxeter settings, offering concrete criteria, explicit examples, and guiding open questions about their existence and behavior under localization and restriction.

Abstract

The study of universal derivations for arbitrary multiarrangements and multiplicity functions was initiated by Abe, Röhrle, Stump, and Yoshinaga in 2024 which focused on arrangements arising from (well-generated) reflection groups. In this paper we provide a criterion for determining whether a derivation is universal along with a characterization of universal derivations for arbitrary 2-multiarrangements. As an application we give descriptions of universal derivations for several multiarrangements, including the so-called deleted $A_3$ arrangement. This is the first known example of a non-reflection arrangement that admits a universal derivation distinct from the Euler derivation.

On Universal derivations for multiarrangements

TL;DR

This work develops a general theory of universal derivations for multiarrangements by establishing a criterion that links m-universality to freeness and a notion of criticality, and by providing a complete rank-two classification. It then demonstrates the utility and limits of these criteria through diverse examples, including the deleted and X_3 arrangements, as well as rank-three braid and supersolvable multiarrangements. The results show that universal derivations exist in several nontrivial, non-reflection contexts but are restricted by balancing conditions and supersolvability, with several natural nonexistence results. The paper thus broadens the landscape of universal derivations beyond Coxeter settings, offering concrete criteria, explicit examples, and guiding open questions about their existence and behavior under localization and restriction.

Abstract

The study of universal derivations for arbitrary multiarrangements and multiplicity functions was initiated by Abe, Röhrle, Stump, and Yoshinaga in 2024 which focused on arrangements arising from (well-generated) reflection groups. In this paper we provide a criterion for determining whether a derivation is universal along with a characterization of universal derivations for arbitrary 2-multiarrangements. As an application we give descriptions of universal derivations for several multiarrangements, including the so-called deleted arrangement. This is the first known example of a non-reflection arrangement that admits a universal derivation distinct from the Euler derivation.

Paper Structure

This paper contains 11 sections, 28 theorems, 100 equations.

Table of Contents

  1. Introduction
  2. Preliminaries
  3. Proofs of Theorems \ref{['theorem: alternative universal criterion']} and \ref{['theorem: rank two universal criterion']}
  4. Examples
  5. Supersolvable multiarrangements, I
  6. Deleted $A_3$
  7. Braid arrangements
  8. $X_3$
  9. Supersolvable multiarrangements, II
  10. Totally free arrangements and universal derivations
  11. Open problems

Key Result

Theorem 1.2

Let ${\mathscr{A}}$ be an irreducible $\ell$-arrangement and $m$ a multiplicity on ${\mathscr{A}}$. Assume that $\theta \in D({\mathscr{A}},m+\mathbbm{1})$ is homogeneous with $\deg \theta = d+1$. Then the following are equivalent:

Theorems & Definitions (54)

  • Definition 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Example 1.4
  • Theorem 1.5
  • Theorem 1.6
  • Theorem 1.7
  • Theorem 1.8
  • Definition 2.2
  • Theorem 2.3: Saito's criterion
  • ...and 44 more