arXiv++ Combinatorics

We define a set of invariants of a homogeneous ideal $I$ in a polynomial ring called the symmetric iterated Betti numbers of $I$. For $I_Γ$, the Stanley-Reisner ideal of a simplicial complex $Γ$, these numbers are the symmetric counterparts of the exterior iterated Betti numbers of $Γ$ introduced by Duval and Rose. We show that the symmetric iterated Betti numbers of an ideal $I$ coincide with those of a particular reverse lexicographic generic initial ideal $\Gin(I)$ of $I$, and interpret these invariants in terms of the associated primes and standard pairs of $\Gin(I)$. We verify that for an ideal $I=I_Γ$ the extremal Betti numbers of $I_Γ$ are precisely the extremal (symmetric or exterior) iterated Betti numbers of $Γ$. We close with some results and conjectures about the relationship between symmetric and exterior iterated Betti numbers of a simplicial complex.

We compute the rank of the first homology group and we study the higher Betti numbers of the real points of the Deligne-Mumford-Knudsen compactification of stable n-pointed curves of genus 0,which coincides with the Chow quotient (RP^1)^n//PGL(2,R)(after Kapranov).

If $M$ is the complement of a hyperplane arrangement, and $A=H^*(M,\k)$ is the cohomology ring of $M$ over a field of characteristic 0, then the ranks, $φ_k$, of the lower central series quotients of $π_1(M)$ can be computed from the Betti numbers, $b_{ii}=\dim_{\k} \Tor^A_i(\k,\k)_i$, of the linear strand in a (minimal) free resolution of $\k$ over $A$. We use the Cartan-Eilenberg change of rings spectral sequence to relate these numbers to the graded Betti numbers, $b'_{ij}=\dim_{\k} \Tor^E_i(A,\k)_j$, of a (minimal) resolution of $A$ over the exterior algebra $E$. From this analysis, we recover a formula of Falk for $φ_3$, and obtain a new formula for $φ_4$. The exact sequence of low degree terms in the spectral sequence allows us to answer a question of Falk on graphic arrangements, and also shows that for these arrangements, the algebra $A$ is Koszul iff the arrangement is supersolvable. We also give combinatorial lower bounds on the Betti numbers, $b'_{i,i+1}$, of the linear strand of the free resolution of $A$ over $E$; if the lower bound is attained for $i = 2$, then it is attained for all $i \ge 2$. For such arrangements, we compute the entire linear strand of the resolution, and we prove that all components of the first resonance variety of $A$ are local. For graphic arrangements (which do not attain the lower bound, unless they have no braid sub-arrangements), we show that $b'_{i,i+1}$ is determined by the number of triangles and $K_4$ subgraphs in the graph.

Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.

We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.

We generalize results of Hattori on the topology of complements of hyperplane arrangements, from the class of generic arrangements, to the much broader class of hypersolvable arrangements. We show that the higher homotopy groups of the complement vanish in a certain combinatorially determined range, and we give an explicit Zπ_1-module presentation of π_p, the first non-vanishing higher homotopy group. We also give a combinatorial formula for the π_1-coinvariants of π_p. For affine line arrangements whose cones are hypersolvable, we provide a minimal resolution of π_2, and study some of the properties of this module. For graphic arrangements associated to graphs with no 3-cycles, we obtain information on π_2, directly from the graph. The π_1-coinvariants of π_2 may distinguish the homotopy 2-types of arrangement complements with the same π_1, and the same Betti numbers in low degrees.

Motivated by the Milnor fiber of a central arrangement, we study the cohomology of a family of cyclic covers of the complement of an arbitrary arrangement. We give an explicit proof of the polynomial periodicity of the Betti numbers of the members of this family of cyclic covers.

For a reduced monomial ideal B in R=k[X_1,...,X_n], we write H^i_B(R) as the union of {Ext^i(R/B^[d],R)}_d, where {B^[d]}_d are the "Frobenius powers of B". We describe H^i_B(R)_p, for every p in Z^n, in the spirit of the Stanley-Reisner theory. As a first application we give an isomorphism Tor_i(B', k)_p\iso Ext^{|p|-i}(R/B,R)_{-p} for all p in {0,1}^n, where B' is the Alexander dual ideal of B. We deduce a canonical filtration of Ext^i(R/B,R) with succesive quotients of the form R/(X_{j_1},...,X_{j_i}) suitably shifted, the multiplicities being computed from the Betti numbers of B'. As a final application, we give a topological description for the associated primes of Ext^i(R/B,R).

We use stratified Morse theory to construct a complex to compute the cohomology of the complement of a hyperplane arrangement with coefficients in a complex rank one local system. The linearization of this complex is shown to be the Orlik-Solomon algebra with the connection operator. Using this result, we establish the relationship between the cohomology support loci of the complement and the resonance varieties of the Orlik-Solomon algebra for any arrangement, and show that the latter are unions of subspace arrangements in general, resolving a conjecture of Falk. We also obtain lower bounds for the local system Betti numbers in terms of those of the Orlik-Solomon algebra, recovering a result of Libgober and Yuzvinsky. For certain local systems, our results provide new combinatorial upper bounds on the local system Betti numbers. These upper bounds enable us to prove that in non-resonant systems the cohomology is concentrated in the top dimension, without using resolution of singularities.

Alexander duality has, in the past, made its way into commutative algebra through Stanley-Reisner rings of simplicial complexes. This has the disadvantage that one is limited to squarefree monomial ideals. The notion of Alexander duality is generalized here to arbitrary monomial ideals. It is shown how this duality is naturally expressed by Bass numbers, in their relations to the Betti numbers of a monomial ideal and its Alexander dual. Relative cohomological constructions on cellular complexes are shown to relate cellular free resolutions of a monomial ideal to free resolutions of its Alexander dual ideal. As an application, a new canonical resolution for monomial ideals is constructed.