Combinatorial Stokes formulas via minimal resolutions

We describe an explicit chain map from the standard resolution to the minimal resolution for the finite cyclic group Z_k of order k. We then demonstrate how such a chain map induces a "Z_k-combinatorial Stokes theorem", which in turn implies "Dold's theorem" that there is no equivariant map from an n-connected to an n-dimensional free Z_k-complex. Thus we build a combinatorial access road to problems in combinatorics and discrete geometry that have previously been treated with methods from equivariant topology. The special case k=2 for this is classical; it involves Tucker's (1949) combinatorial lemma which implies the Borsuk-Ulam theorem, its proof via chain complexes by Lefschetz (1949), the combinatorial Stokes formula of Fan (1967), and Meunier's work (2006).Comment: 18 page

The chromatic number of almost stable Kneser hypergraphs

Let $V(n,k,s)$ be the set of $k$-subsets $S$ of $[n]$ such that for all $i,j\in S$, we have $|i-j|\geq s$ We define almost $s$-stable Kneser hypergraph $KG^r{{[n]}\choose k}_{s{\tiny{\textup{-stab}}}}^{\displaystyle\sim}$ to be the $r$-uniform hypergraph whose vertex set is $V(n,k,s)$ and whose edges are the $r$-uples of disjoint elements of $V(n,k,s)$. With the help of a $Z_p$-Tucker lemma, we prove that, for $p$ prime and for any $n\geq kp$, the chromatic number of almost 2-stable Kneser hypergraphs $KG^p {{[n]}\choose k}_{2{\tiny{\textup{-stab}}}}^{\displaystyle\sim}$ is equal to the chromatic number of the usual Kneser hypergraphs $KG^p{{[n]}\choose k}$, namely that it is equal to $\lceil\frac{n-(k-1)p}{p-1}\rceil.$ Defining $\mu(r)$ to be the number of prime divisors of $r$, counted with multiplicities, this result implies that the chromatic number of almost $2^{\mu(r)}$-stable Kneser hypergraphs $KG^r{{[n]}\choose k}_{2^{\mu(r)}{\tiny{\textup{-stab}}}}^{\displaystyle\sim}$ is equal to the chromatic number of the usual Kneser hypergraphs $KG^r{{[n]}\choose k}$ for any $n\geq kr$, namely that it is equal to $\lceil\frac{n-(k-1)r}{r-1}\rceil.

Residue currents with prescribed annihilator ideals

Given a coherent ideal sheaf $J$ we construct locally a vector-valued residue current $R$ whose annihilator is precisely the given sheaf. In case $J$ is a complete intersection, $R$ is just the classical Coleff-Herrera product. By means of these currents we can extend various results, previously known for a complete intersection, to general ideal sheaves. Combining with integral formulas we obtain a residue version of the Ehrenpreis-Palamodov fundamental principle

Polytopal complexes: maps, chain complexes and... necklaces

The notion of polytopal map between two polytopal complexes is defined. Surprisingly, this definition is quite simple and extends naturally those of simplicial and cubical maps. It is then possible to define an induced chain map between the associated chain complexes. Finally, we use this new tool to give the first combinatorial proof of the splitting necklace theorem of Alon. The paper ends with open questions, such as the existence of Sperner's lemma for a polytopal complex or the existence of a cubical approximation theorem.Comment: Presented at the TGGT 08 Conference, May 2008, Paris. The definition of a polytopal map has been modifie