arXiv++ Combinatorics

From the generating matrix of a linear code one can construct a sequence of generalized star configurations which are strongly connected to the generalized Hamming weights and the underlying matroid of the code. When the code is MDS, the matrix is generic and we obtain the usual star configurations. In our main result, we show that the degree of a generalized star configuration as a projective scheme is determined by the Tutte polynomial of the code. In the process, we obtain preliminary results on the primary decomposition of the defining ideals of these schemes. Additionally, we conjecture that these ideals have linear minimal free resolutions and prove partial results in this direction.

Let A be a collection of n linear hyperplanes in k^l, where k is an algebraically closed field. The Orlik-Terao algebra of A is the subalgebra R(A) of the rational functions generated by reciprocals of linear forms vanishing on hyperplanes of A. It determines an irreducible subvariety of projective space. We show that a flat X of A is modular if and only if R(A) is a split extension of the Orlik-Terao algebra of the subarrangement A_X. This provides another refinement of Stanley's modular factorization theorem and a new characterization of modularity, similar in spirit to the modular fibration theorem of Paris. We deduce that if A is supersolvable, then its Orlik-Terao algebra is Koszul. In certain cases, the algebra is also a complete intersection, and we characterize when this happens.

In this paper, we recover the characteristic polynomial of an arrangement of hyperplanes by computing the rational equivalence class of the variety defined by the logarithmic ideal of the arrangement. The logarithmic ideal was introduced in [arXiv:0907.0896v2] in a study of the critical points of the master function. The above result is used to understand the asymptotic behavior the Hilbert series of the logarithmic ideal. As an application, we prove the Solomon-Terao formula under the tame hypothesis by identifying each side of the formula with a certain specialization of the Hilbert series of the logarithmic ideal.