Solomon-Terao Polynomial Explored

• The Solomon-Terao polynomial is an arrangement-theoretic invariant defined from the Hilbert series of logarithmic derivation modules and refines the classical characteristic polynomial.
• It interacts with concepts of freeness, tameness, and addition-deletion, allowing explicit product decompositions and homological insights in hyperplane and multiarrangement settings.
• Extending to subspace arrangements, the polynomial connects algebraic invariants with topological and geometric properties, underpinning applications in representation theory and combinatorial analysis.

The Solomon-Terao polynomial is an arrangement-theoretic invariant constructed from Hilbert series of logarithmic modules. For a central hyperplane arrangement $\mathcal{A}\subset V$ with coordinate ring $S=\mathrm{Sym}^*(V^*)$, one forms generating functions from the graded logarithmic derivation modules $D^p(\mathcal{A})$; in the contemporary literature, the term denotes either the bivariate polynomial $\Psi(\mathcal{A};x,t)$ itself or a specialization such as $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$. Its central role is that it refines combinatorial information encoded by the characteristic polynomial, interacts with freeness and tameness, admits addition-deletion formalisms under explicit homological hypotheses, and extends beyond hyperplane arrangements to central equidimensional subspace arrangements through multi-logarithmic forms and multi-residues (Abe, 12 Sep 2025, Pol, 2018).

1. Definitions and terminological conventions

Let $\mathcal{A}$ be a central arrangement in a vector space $V=\mathbb{K}^\ell$, and let $S=\mathbb{K}[x_1,\dots,x_\ell]$. For $0\le p\le \ell$, the $p$-th logarithmic derivation module is

$S=\mathrm{Sym}^*(V^*)$0

with $S=\mathrm{Sym}^*(V^*)$1. Using the Hilbert series $S=\mathrm{Sym}^*(V^*)$2, one standard definition is

$S=\mathrm{Sym}^*(V^*)$3

A recurrent specialization is the Solomon-Terao polynomial

$S=\mathrm{Sym}^*(V^*)$4

The same framework extends to multiarrangements $S=\mathrm{Sym}^*(V^*)$5 and to higher-order specializations $S=\mathrm{Sym}^*(V^*)$6 (Abe, 12 Sep 2025, Abe, 2023).

The terminology is not completely uniform. In work emphasizing higher-order logarithmic modules and addition-deletion, $S=\mathrm{Sym}^*(V^*)$7 itself is called the Solomon-Terao polynomial. In work on the Solomon-Terao algebra, a different normalization of a bivariate polynomial $S=\mathrm{Sym}^*(V^*)$8 is used, namely

$S=\mathrm{Sym}^*(V^*)$9

This notation shift does not alter the underlying theme: the invariant is assembled from graded logarithmic modules and is designed to interpolate between combinatorial, algebraic, and geometric data (Abe et al., 2018).

2. Relation with the characteristic polynomial

The characteristic polynomial of a hyperplane arrangement is defined from the intersection lattice $D^p(\mathcal{A})$0 and its Möbius function $D^p(\mathcal{A})$1 by

$D^p(\mathcal{A})$2

Under the convention

$D^p(\mathcal{A})$3

Solomon-Terao theory identifies the characteristic polynomial as the specialization at $D^p(\mathcal{A})$4: $D^p(\mathcal{A})$5 This is the basic recovery statement: the bivariate Hilbert-series invariant degenerates to the classical combinatorial polynomial (Abe, 12 Sep 2025).

A geometric reformulation is available through the logarithmic ideal and the critical-point variety attached to the master function. For an arrangement of rank $D^p(\mathcal{A})$6 with $D^p(\mathcal{A})$7, the variety $D^p(\mathcal{A})$8 satisfies

$D^p(\mathcal{A})$9

where $\Psi(\mathcal{A};x,t)$0 is the homogenized characteristic polynomial. For tame arrangements, the logarithmic ideal also yields

$\Psi(\mathcal{A};x,t)$1

with $\Psi(\mathcal{A};x,t)$2, and this identification is used to prove the Solomon-Terao formula under the tame hypothesis. The same work emphasizes that the highest-order poles of the Hilbert series are governed by the characteristic polynomial, whereas lower-order “tails” are not combinatorially determined even for arrangements with the same matroid (Denham et al., 2011).

3. Freeness, factorization, and algebraic realizations

For free arrangements, Solomon-Terao invariants admit explicit product decompositions. If $\Psi(\mathcal{A};x,t)$3 is free with exponents $\Psi(\mathcal{A};x,t)$4, then

$\Psi(\mathcal{A};x,t)$5

and, for the specialization $\Psi(\mathcal{A};x,t)$6,

$\Psi(\mathcal{A};x,t)$7

These formulas show that in the free case the Solomon-Terao polynomial is entirely controlled by the exponent multiset (Abe, 2023, Abe, 12 Sep 2025).

An associated Artinian quotient, the Solomon-Terao algebra $\Psi(\mathcal{A};x,t)$8, is defined from a homogeneous polynomial $\Psi(\mathcal{A};x,t)$9 through the Solomon-Terao ideal

$ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$0

For generic $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$1, this algebra is Artinian. In the framework of (Abe et al., 2018), $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$2 for tame $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$3. If $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$4 is free and $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$5, then $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$6 is a complete intersection and

$ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$7

Conversely, $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$8 is a complete intersection for generic $ST(\mathcal{A};x)=\Psi(\mathcal{A};x,-1)$9 if and only if $\mathcal{A}$0 is free (Abe et al., 2018).

These algebraic realizations connect Solomon-Terao theory to geometric representation theory. For arrangements arising from a lower ideal $\mathcal{A}$1 in a positive system, $\mathcal{A}$2 coincides with the topological Poincaré polynomial of the regular nilpotent Hessenberg variety $\mathcal{A}$3. In the Weyl-arrangement case, $\mathcal{A}$4, and for ideal arrangements,

$\mathcal{A}$5

This places Solomon-Terao polynomials and algebras at the intersection of arrangement theory, coinvariant-type algebras, and Hessenberg geometry (Abe, 12 Sep 2025, Abe et al., 2018).

4. Addition-deletion theory and $\mathcal{A}$6-sequences

Let $\mathcal{A}$7, with deletion $\mathcal{A}$8 and restriction $\mathcal{A}$9. A basic exact sequence considered in higher logarithmic degree is

$V=\mathbb{K}^\ell$0

where $V=\mathbb{K}^\ell$1 is the natural inclusion and $V=\mathbb{K}^\ell$2 is restriction modulo $V=\mathbb{K}^\ell$3. A central point is that this sequence is not right-exact in general. The addition-deletion theorems therefore require explicit surjectivity and projective-dimension hypotheses (Abe, 2023).

If $V=\mathbb{K}^\ell$4 is surjective in codimension $V=\mathbb{K}^\ell$5 along $V=\mathbb{K}^\ell$6 and $V=\mathbb{K}^\ell$7 for all $V=\mathbb{K}^\ell$8, then

$V=\mathbb{K}^\ell$9

If $S=\mathbb{K}[x_1,\dots,x_\ell]$0 and the $S=\mathbb{K}[x_1,\dots,x_\ell]$1-sequence map is surjective in codimension $S=\mathbb{K}[x_1,\dots,x_\ell]$2 with $S=\mathbb{K}[x_1,\dots,x_\ell]$3, then

$S=\mathbb{K}[x_1,\dots,x_\ell]$4

and at $S=\mathbb{K}[x_1,\dots,x_\ell]$5,

$S=\mathbb{K}[x_1,\dots,x_\ell]$6

When the arrangements involved are free, these hypotheses are automatically satisfied. Specializing $S=\mathbb{K}[x_1,\dots,x_\ell]$7 recovers the classical deletion-restriction formula for $S=\mathbb{K}[x_1,\dots,x_\ell]$8, while specializing $S=\mathbb{K}[x_1,\dots,x_\ell]$9 yields the corresponding recursion for Hessenberg Poincaré polynomials (Abe, 2023).

The homological mechanism is encoded by a generalized polynomial $0\le p\le \ell$0-theory. The exact sequence

$0\le p\le \ell$1

is called a $0\le p\le \ell$2-sequence; for $0\le p\le \ell$3, it recovers Terao’s original polynomial $0\le p\le \ell$4-theory. This extension clarifies that addition-deletion for Solomon-Terao polynomials is not purely combinatorial. Complementarily, work on Solomon-Terao algebras notes that deletion-restriction style formulas for $0\le p\le \ell$5 or the associated Hilbert series do not generally hold outside cases controlled by freeness (Abe, 2023, Abe et al., 2018).

5. Degree, regularity, and tame arrangements

A major recent problem has been the top degree of $0\le p\le \ell$6 for nonfree arrangements. For a central arrangement, tameness is defined by the condition that for all $0\le p\le \ell$7,

$0\le p\le \ell$8

Under this hypothesis,

$0\le p\le \ell$9

This settles the top-degree problem for tame arrangements and confirms Conjecture 5.12 in [AMMN]. Since all $p$0-arrangements are tame, it follows in particular that every $p$1-arrangement satisfies

$p$2

with leading term $p$3 (Abe, 12 Sep 2025).

The same work gives a more refined coefficient statement. For tame, irreducible arrangements,

$p$4

where $p$5 is the number of relations of degree $p$6 among a minimal set of generators for $p$7. The proof uses Castelnuovo-Mumford regularity of logarithmic derivation modules. For a possibly multi-arrangement $p$8 with total multiplicity $p$9,

$S=\mathrm{Sym}^*(V^*)$00

This controls the degrees in minimal free resolutions and hence the highest nonvanishing degrees in the Solomon-Terao polynomial (Abe, 12 Sep 2025).

The multiarrangement extension is explicit. If

$S=\mathrm{Sym}^*(V^*)$01

then for tame multiarrangements,

$S=\mathrm{Sym}^*(V^*)$02

A plausible implication is that regularity bounds offer a systematic route to extracting precise degree data from logarithmic modules even when direct combinatorial control is unavailable (Abe, 12 Sep 2025).

6. Generalization to subspace arrangements

The theory extends from hyperplane arrangements to reduced equidimensional subspace arrangements $S=\mathrm{Sym}^*(V^*)$03 of codimension $S=\mathrm{Sym}^*(V^*)$04. Let $S=\mathrm{Sym}^*(V^*)$05, let $S=\mathrm{Sym}^*(V^*)$06 be the vanishing ideal, and embed $S=\mathrm{Sym}^*(V^*)$07 into a reduced homogeneous complete intersection subspace arrangement $S=\mathrm{Sym}^*(V^*)$08 of the same codimension, defined by a regular sequence $S=\mathrm{Sym}^*(V^*)$09 with $S=\mathrm{Sym}^*(V^*)$10. The multi-logarithmic forms are

$S=\mathrm{Sym}^*(V^*)$11

and the modules of multi-residues are

$S=\mathrm{Sym}^*(V^*)$12

They fit into the short exact sequence

$S=\mathrm{Sym}^*(V^*)$13

A generalized $S=\mathrm{Sym}^*(V^*)$14-function is then defined for a graded family $S=\mathrm{Sym}^*(V^*)$15 by

$S=\mathrm{Sym}^*(V^*)$16

where $S=\mathrm{Sym}^*(V^*)$17 is the Hilbert-Poincaré series (Pol, 2018).

For subspace arrangements, these generalized Solomon-Terao functions are polynomial. Moreover,

$S=\mathrm{Sym}^*(V^*)$18

If for all $S=\mathrm{Sym}^*(V^*)$19 the residue condition

$S=\mathrm{Sym}^*(V^*)$20

holds, then

$S=\mathrm{Sym}^*(V^*)$21

and if $S=\mathrm{Sym}^*(V^*)$22 is odd, then

$S=\mathrm{Sym}^*(V^*)$23

For any line arrangement, the condition $S=\mathrm{Sym}^*(V^*)$24 always holds, so

$S=\mathrm{Sym}^*(V^*)$25

By contrast, for some equidimensional arrangements of dimension greater than one, the condition fails; the example with

$S=\mathrm{Sym}^*(V^*)$26

has $S=\mathrm{Sym}^*(V^*)$27, so the generalized formula does not recover the characteristic polynomial. This identifies a sharp boundary: the extension is universal for line arrangements of any codimension, but not for all higher-dimensional subspace arrangements (Pol, 2018).