Solomon–Terao Bi-polynomial Overview

• The Solomon–Terao bi-polynomial is a two-variable invariant defined via the graded Hilbert series of higher logarithmic derivation modules for hyperplane arrangements.
• Its distinguished specializations connect with classic invariants like the Poincaré polynomial and Orlik–Solomon algebra, offering both geometric and recursive interpretations.
• In free or tame arrangements, product formulas and addition–deletion recursions yield explicit Hilbert series and complete intersection criteria for the associated Solomon–Terao algebra.

The Solomon–Terao bi-polynomial is a two-variable invariant attached to a hyperplane arrangement through the graded Hilbert series of its higher logarithmic derivation modules. In the literature summarized here, the notation $\Psi(\mathcal A;x,t)$ is standard, but the naming varies: the 2018 paper of Abe–Maeno–Murai–Numata treats $\Psi(\mathcal A;x,t)$ as the Solomon–Terao polynomial, whereas the 2025 regularity paper explicitly calls it the Solomon–Terao bi-polynomial (Abe et al., 2018, Abe, 12 Sep 2025). Its importance lies in the fact that distinguished specializations recover classical arrangement invariants, and in tame or free settings they admit algebraic, geometric, and recursive interpretations.

1. Algebraic setting and logarithmic modules

Let $K$ be a field, $V=K^\ell$, and

$$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$

For a finite central hyperplane arrangement $\mathcal A$ in $V$, choose defining linear forms $\alpha_H\in V^*$ for $H\in\mathcal A$ and set

$Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$

The $\Psi(\mathcal A;x,t)$0-module of derivations is

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

and its exterior powers are

$\Psi(\mathcal A;x,t)$2

The higher logarithmic derivation modules are defined by

$\Psi(\mathcal A;x,t)$3

For $\Psi(\mathcal A;x,t)$4, this is the usual logarithmic derivation module $\Psi(\mathcal A;x,t)$5. The graded Hilbert series of a graded $\Psi(\mathcal A;x,t)$6-module $\Psi(\mathcal A;x,t)$7 is denoted $\Psi(\mathcal A;x,t)$8.

A parallel differential-form theory is also used. For hyperplane arrangements, the logarithmic form modules $\Psi(\mathcal A;x,t)$9 are dual to the logarithmic derivation modules: $K$0 This reflexive duality is one of the structural inputs behind addition–deletion arguments and regularity estimates (Abe, 2023).

2. Definitions, normalizations, and the role of the variables

The literature summarized here uses two displayed normalizations for $K$1. In Abe–Maeno–Murai–Numata,

$K$2

while in Abe’s addition–deletion paper and in the regularity paper,

$K$3

In both conventions, $K$4 is a polynomial rather than merely a formal series (Abe et al., 2018, Abe, 2023).

The two variables have distinct formal roles. The variable $K$5 records the internal grading coming from the Hilbert series of the modules $K$6, whereas the parameter $K$7 records the exterior or homological degree $K$8. For this reason, “bi-polynomial” is a natural description of $K$9. The subspace-arrangement generalization makes this point explicitly: $V=K^\ell$0 is a two-parameter generating function built from Hilbert–Poincaré series, not a bigraded Hilbert series in two independent grading variables (Pol, 2018).

Source	Displayed definition of $V=K^\ell$1	Distinguished specialization
(Abe et al., 2018)	$V=K^\ell$2	$V=K^\ell$3, $V=K^\ell$4
(Abe, 2023)	$V=K^\ell$5	$V=K^\ell$6, $V=K^\ell$7
(Abe, 12 Sep 2025)	$V=K^\ell$8	$V=K^\ell$9, $$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$0

3. Specializations and their interpretations

In the normalization used by Abe–Maeno–Murai–Numata, the specialization

$$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$1

recovers the Poincaré polynomial of the arrangement complement, and the Orlik–Solomon algebra satisfies

$$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$2

so that this specialization is identified with the Hilbert series of $$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$3. In the tame case and for $$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$4,

$$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$5

which interprets the $$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$6 specialization as the Hilbert series of the Solomon–Terao algebra (Abe et al., 2018).

In the normalization used in the addition–deletion and regularity papers, the specialization at $$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$7 yields the characteristic polynomial up to sign: $$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$8 The other distinguished specialization is

$$S=\operatorname{Sym}(V^*)\cong K[x_1,\dots,x_\ell].$$9

which is called the Solomon–Terao polynomial in the 2025 paper (Abe, 2023, Abe, 12 Sep 2025).

For ideal arrangements, $\mathcal A$0 has a geometric meaning: it is essentially the same as the topological Poincaré polynomial of the regular nilpotent Hessenberg variety $\mathcal A$1, and the 2025 paper states that $\mathcal A$2 coincides with the topological Poincaré polynomial of the regular nilpotent Hessenberg variety defined by the same lower ideal $\mathcal A$3 (Abe, 2023, Abe, 12 Sep 2025).

The Solomon–Terao algebra provides a further algebraic incarnation of these specializations. For a homogeneous polynomial $\mathcal A$4, define the Solomon–Terao ideal

$\mathcal A$5

and

$\mathcal A$6

Solomon and Terao showed that for generic $\mathcal A$7, this algebra is finite-dimensional, hence Artinian. In the multiarrangement setting, the 2025 paper states that for tame $\mathcal A$8 and generic $\mathcal A$9,

$V$0

and in particular, for $V$1,

$V$2

For ordinary tame arrangements this yields

$V$3

The same paper also recalls the divisibility

$V$4

for the reduced Solomon–Terao polynomial (Abe et al., 2018, Abe, 12 Sep 2025).

4. Free arrangements, factorization, and complete intersections

For free arrangements, the bi-polynomial admits explicit product formulas. If $V$5 is free with exponents $V$6, Abe–Maeno–Murai–Numata prove

$V$7

and consequently

$V$8

In the later normalization, the corresponding product formula is

$V$9

hence

$\alpha_H\in V^*$0

Thus, in either convention, freeness forces complete factorization of the distinguished one-variable specialization (Abe et al., 2018, Abe, 2023).

The Solomon–Terao algebra sharpens this relation. If $\alpha_H\in V^*$1 is free and $\alpha_H\in V^*$2, then

$\alpha_H\in V^*$3

is a complete intersection and

$\alpha_H\in V^*$4

with

$\alpha_H\in V^*$5

Conversely, if $\alpha_H\in V^*$6 is a complete intersection and

$\alpha_H\in V^*$7

then

$\alpha_H\in V^*$8

This yields the criterion that $\alpha_H\in V^*$9 is a complete intersection if and only if $H\in\mathcal A$0 is free (Abe et al., 2018).

Several geometric realizations lie inside this free picture. For an irreducible crystallographic Weyl group $H\in\mathcal A$1 with reflection arrangement $H\in\mathcal A$2,

$H\in\mathcal A$3

and if $H\in\mathcal A$4 is the lowest degree basic invariant of $H\in\mathcal A$5, then

$H\in\mathcal A$6

For a lower ideal $H\in\mathcal A$7, the ideal arrangement $H\in\mathcal A$8 is free and

$H\in\mathcal A$9

These results place the Solomon–Terao specialization alongside coinvariant algebras and regular nilpotent Hessenberg varieties (Abe et al., 2018).

5. Addition–deletion theory and higher-order $Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$0-sequences

A major advance in the theory is the establishment of addition–deletion formulas for $Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$1. For a fixed $Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$2, write

$Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$3

The basic “Euler exact sequence”

$Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$4

is not right exact in general. Abe proves that, under codimension-surjectivity and projective-dimension hypotheses,

$Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$5

Under analogous hypotheses, the deletion formula is

$Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$6

where

$Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$7

After specializing $Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$8, these formulas recover the classical deletion–restriction relation for $Q(\mathcal A)=\prod_{H\in\mathcal A}\alpha_H.$9 (Abe, 2023).

The central new exact sequence is the higher-order $\Psi(\mathcal A;x,t)$00-sequence

$\Psi(\mathcal A;x,t)$01

with

$\Psi(\mathcal A;x,t)$02

For $\Psi(\mathcal A;x,t)$03, this reduces to Terao’s classical polynomial $\Psi(\mathcal A;x,t)$04-theory

$\Psi(\mathcal A;x,t)$05

The paper identifies this as the correct higher-order extension of $\Psi(\mathcal A;x,t)$06-theory and derives the deletion theorem for $\Psi(\mathcal A;x,t)$07 from the induced Hilbert-series identities (Abe, 2023).

The free surjection theorem supplies a mechanism for right exactness. In particular, for logarithmic derivations, if $\Psi(\mathcal A;x,t)$08 is free, then $\Psi(\mathcal A;x,t)$09 is surjective. This makes the addition theorem available in many cases where a deletion is free. Explicit computations in the paper show that these recursions give nonfree examples that were previously difficult to access (Abe, 2023).

6. Generalizations, regularity results, and open questions

The theory extends beyond ordinary hyperplane arrangements in two different directions. First, for equidimensional subspace arrangements, Pol introduces a generalized Solomon–Terao function

$\Psi(\mathcal A;x,t)$10

for finite sequences of graded modules. The relevant modules are multi-logarithmic forms $\Psi(\mathcal A;x,t)$11 and logarithmic multi-residues $\Psi(\mathcal A;x,t)$12. The paper proves

$\Psi(\mathcal A;x,t)$13

and under the condition

$\Psi(\mathcal A;x,t)$14

obtains the generalized Solomon–Terao formula

$\Psi(\mathcal A;x,t)$15

This condition holds for all line arrangements of arbitrary codimension, but the paper also gives an explicit codimension-$\Psi(\mathcal A;x,t)$16 counterexample in $\Psi(\mathcal A;x,t)$17 where

$\Psi(\mathcal A;x,t)$18

and the generalized formula fails (Pol, 2018).

Second, the 2025 regularity paper studies the top degree of the specialization

$\Psi(\mathcal A;x,t)$19

For tame arrangements it proves the conjecture that $\Psi(\mathcal A;x,t)$20 is monic of degree $\Psi(\mathcal A;x,t)$21. More generally, for a tame multiarrangement $\Psi(\mathcal A;x,t)$22,

$\Psi(\mathcal A;x,t)$23

is monic of degree

$\Psi(\mathcal A;x,t)$24

The key technical input is the regularity estimate

$\Psi(\mathcal A;x,t)$25

The same paper also identifies the second-highest coefficient of $\Psi(\mathcal A;x,t)$26 with the number of degree-$\Psi(\mathcal A;x,t)$27 relations among a minimal generating set of $\Psi(\mathcal A;x,t)$28, equivalently with the number of degree-$\Psi(\mathcal A;x,t)$29 relations for $\Psi(\mathcal A;x,t)$30 (Abe, 12 Sep 2025).

Several open problems remain central. Abe–Maeno–Murai–Numata ask for a topological meaning of the full bivariate polynomial $\Psi(\mathcal A;x,t)$31 and of $\Psi(\mathcal A;x,t)$32, ask whether deletion–restriction type relations exist in general, and formulate conjectures that freeness is characterized by product decomposition or by palindromicity of the relevant specialization. They also ask for criteria for Gorensteinness and ST-finiteness, formulate a conjecture on the top degree and one-dimensional socle of $\Psi(\mathcal A;x,t)$33, and pose a Macaulay dual generator problem for Gorenstein Solomon–Terao algebras (Abe et al., 2018). The addition–deletion paper proves recursive formulas in substantial cases, but explicitly does not claim full combinatorial invariance of $\Psi(\mathcal A;x,t)$34 in general (Abe, 2023).

Taken together, these results describe the Solomon–Terao bi-polynomial as a logarithmic-module invariant whose principal specializations recover either classical lattice-theoretic data or graded algebras with geometric realizations. Free arrangements yield closed product formulas, tame arrangements admit Hilbert-series interpretations and top-degree control, and higher-order $\Psi(\mathcal A;x,t)$35-theory provides a recursive calculus for nonfree cases. The main unresolved issue is that the full two-variable structure of $\Psi(\mathcal A;x,t)$36 remains less understood than either of its distinguished one-variable specializations.