arXiv++ Combinatorics

The ideals generated by fold products of linear forms are generalizations of powers of defining ideals of star configurations, or of Veronese type ideals, and in this paper we study their Betti numbers. In earlier work, the authors together with Yu Xie showed that these ideals have linear graded free resolution, and in this paper we take the study of the homological information about these ideals to the next natural level.

In this paper we give full classification of rank 3 line arrangements in $\mathbb P^2$ (over a field of characteristic 0) that have a minimal logarithmic derivation of degree 3. The classification presents their defining polynomials, up to a change of variables, with their corresponding affine pictures. We also analyze the shape of such a logarithmic derivation, towards obtaining criteria for a line arrangement to possess a cubic minimal logarithmic derivation.

Let $\mathbb K$ be a field of characteristic 0. Given $n$ linear forms in $R=\mathbb K[x_1,\ldots,x_k]$, with no two proportional, in one of our main results we show that the ideal $I\subset R$ generated by all $(n-2)$-fold products of these linear forms has linear graded free resolution. This result helps determining a complete set of generators of the symmetric ideal of $I$. Via Sylvester forms we can analyze from a different perspective the generators of the presentation ideal of the Orlik-Terao algebra of the second order; this is the algebra generated by the reciprocals of the products of any two (distinct) of the linear forms considered. We also show that when $k=2$, and when the collection of $n$ linear forms may contain proportional linear forms, for any $1\leq a\leq n$, the ideal generated by $a$-fold products of these linear forms has linear graded free resolution.

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.

Given a rank 3 real arrangement $\mathcal A$ of $n$ lines in the projective plane, the Dirac-Motzkin conjecture (proved by Green and Tao in 2013) states that for $n$ sufficiently large, the number of simple intersection points of $\mathcal A$ is greater than or equal to $n/2$. With a much simpler proof we show that if $\mathcal A$ is supersolvable, then the conjecture is true for any $n$ (a small improvement of original conjecture). The Slope problem (proved by Ungar in 1982) states that $n$ non-collinear points in the real plane determine at least $n-1$ slopes; we show that this is equivalent to providing a lower bound on the multiplicity of a modular point in any (real) supersolvable arrangement. In the second part we find connections between the number of simple points of a supersolvable line arrangement, over any field of characteristic 0, and the degree of the reduced Jacobian scheme of the arrangement. Over the complex numbers even though the Sylvester-Gallai theorem fails to be true, we conjecture that the supersolvable version of the Dirac-Motzkin conjecture is true.

In these notes we study hyperplane arrangements having at least one logarithmic derivation of degree two that is not a combination of degree one logarithmic derivations. It is well-known that if a hyperplane arrangement has a linear logarithmic derivation not a constant multiple of the Euler derivation, then the arrangement decomposes as the direct product of smaller arrangements. The next natural step would be to study arrangements with non-trivial quadratic logarithmic derivations. On this regard, we present a computational lemma that leads to a full classification of hyperplane arrangements of rank 3 having such a quadratic logarithmic derivation. These results come as a consequence of looking at the variety of the points dual to the hyperplanes in such special arrangements.

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.

The Orlik-Solomon algebra is the cohomology ring of the complement of a hyperplane arrangement A in C^n; it is the quotient of an exterior algebra E(V) on |A| generators. Orlik and Terao introduced a commutative analog S(V)/I of the Orlik-Solomon algebra to answer a question of Aomoto and showed the Hilbert series depends only on the intersection lattice L(A). Motivated by topological considerations, Falk and Randell introduced the property of 2-formality; we study the relation between 2-formality and the Orlik-Terao algebra. Our main result is a necessary and sufficient condition for 2-formality in terms of the quadratic component I_2 of the Orlik-Terao ideal I: 2-formality is determined by the tangent space T_p(V(I_2)) at a generic point p.