Table of Contents
Fetching ...

MAT-Freeness is not combinatorial

Torsten Hoge, Gerhard Roehrle

TL;DR

The paper shows that MAT-freeness for hyperplane arrangements is not determined by combinatorial data alone, exhibiting field-dependence through a concrete example. It introduces MAT*-freeness as a lattice-based, combinatorial variant and proves its combinatorial status, connecting it to additive freeness and extending the discussion to MAT2-freeness. The work situates MAT-freeness among other freeness notions, clarifying when field extension or infinitude changes outcomes, and highlights practical criteria via MAT-partitions. Overall, it demonstrates that certain freeness notions resist purely combinatorial characterization, while offering robust, lattice-driven alternatives.

Abstract

We show that the notion of MAT-freeness for hyperplane arrangements depends on the underlying field. In particular, MAT-freeness is not combinatorial.

MAT-Freeness is not combinatorial

TL;DR

The paper shows that MAT-freeness for hyperplane arrangements is not determined by combinatorial data alone, exhibiting field-dependence through a concrete example. It introduces MAT*-freeness as a lattice-based, combinatorial variant and proves its combinatorial status, connecting it to additive freeness and extending the discussion to MAT2-freeness. The work situates MAT-freeness among other freeness notions, clarifying when field extension or infinitude changes outcomes, and highlights practical criteria via MAT-partitions. Overall, it demonstrates that certain freeness notions resist purely combinatorial characterization, while offering robust, lattice-driven alternatives.

Abstract

We show that the notion of MAT-freeness for hyperplane arrangements depends on the underlying field. In particular, MAT-freeness is not combinatorial.

Paper Structure

This paper contains 7 sections, 4 theorems, 11 equations.

Key Result

Theorem 1.1

Theorems & Definitions (13)

  • Theorem 1.1
  • Definition 2.1
  • Theorem 2.2
  • Definition 2.3: orlikterao:arrangements
  • Remark 2.4
  • Definition 2.5
  • Theorem 2.7: ABCHT16_FreeIdealWeyl
  • Definition 2.8
  • Definition 2.9: CunMue19_MATfree
  • Remark 2.10
  • ...and 3 more