arXiv++ Combinatorics

The Hodge filtration of the module of derivations on the orbit space of a finite real reflection group acting on an $\ell$-dimensional Euclidean space was introduced and studied by K. Saito. The filtration is equivalent data to the flat structure or the Frobenius manifold structure. We will show that the Hodge filtration coincides with the filtration by the order of contacts to the reflecting hyperplanes. Moreover, a standard basis for the Hodge filtration is explicitly given.

Let $Δ$ be a finite set of nonzero linear forms in several variables with coefficients in a field $\mathbf K$ of characteristic zero. Consider the $\mathbf K$-algebra $R(Δ)$ of rational functions on V which are regular outside $\bigcup_{α\inΔ} \kerα$. Then the ring $R(Δ)$ is naturally doubly filtered by the degrees of denominators and of numerators. In this paper we give an explicit combinatorial formula for the Poincaré series in two variables of the associated bigraded vector space $\bar{R}(Δ)$. This generalizes the main theorem of Terao, H.: Algebras generated by reciprocals of linear forms, to appear in J.Algebra (arXiv:math.CO/0105095).

Let $Δ$ be a finite set of nonzero linear forms in several variables with coefficients in a field $\mathbf K$ of characteristic zero. Consider the $\mathbf K$-algebra $C(Δ)$ of rational functions generated by $\{1/α\mid α\in Δ\}$. Then the ring $\partial(V)$ of differential operators with constant coefficients naturally acts on $C(Δ)$. We study the graded $\partial(V)$-module structure of $C(Δ)$. We especially find standard systems of minimal generators and a combinatorial formula for the Poincaré series of $C(Δ)$. Our proofs are based on a theorem by Brion-Vergne [brv1] and results by Orlik-Terao [ort2}.

Let W be a finite group generated by unitary reflections and A be the set of reflecting hyperplanes. We will give a characterization of the logarithmic differential forms with poles along A in terms of anti-invariant differential forms. If W is a Coxeter group defined over the real numbers, then the characterization provides a new method to find a basis for the module of logarithmic differential forms out of basic invariants.

Let $V$ be an $\ell$-dimensional Euclidean space. Let $G \subset O(V)$ be a finite irreducible orthogonal reflection group. Let ${\cal A}$ be the corresponding Coxeter arrangement. Let $S$ be the algebra of polynomial functions on $V.$ For $H \in {\cal A}$ choose $α_H \in V^*$ such that $H = {\rm ker}(α_H).$ For each nonnegative integer $m$, define the derivation module $\sD^{(m)}({\cal A}) = \{θ\in {\rm Der}_S | θ(α_H) \in S α^m_H\}$. The module is known to be a free $S$-module of rank $\ell$ by K. Saito (1975) for $m=1$ and L. Solomon-H. Terao (1998) for $m=2$. The main result of this paper is that this is the case for all $m$. Moreover we explicitly construct a basis for $\sD^{(m)} (\cal A)$. Their degrees are all equal to $mh/2$ (when $m$ is even) or are equal to $((m-1)h/2) + m_i (1 \leq i \leq \ell)$ (when $m$ is odd). Here $m_1 \leq ... \leq m_{\ell}$ are the exponents of $G$ and $h= m_{\ell} + 1$ is the Coxeter number. The construction heavily uses the primitive derivation $D$ which plays a central role in the theory of flat generators by K. Saito (or equivalently the Frobenius manifold structure for the orbit space of $G$.) Some new results concerning the primitive derivation $D$ are obtained in the course of proof of the main result.