arXiv++ Combinatorics

According to Hoffman's (2,3)-conjecture, the so-called double shuffle relations should imply that every multiple zeta value should express effectively in terms of multizetas whose entries are equal to either 2 or 3, with some explicitly computable rational coefficients. In February 2011, the existence of such Q-linear combinations was established by Francis Brown in all weights. Still, a desire exists to have effective access to these coefficients. In 2008, Masanobu Kaneko, Masayuki Noro and Ken'ichi Tsurumaki showed, up to weight 20, that in fact, double shuffle relations with first member equal to zeta(1), to zeta(2), to zeta(3) or to zeta(2,1) suffice. We provide general closed formulas for such four families of double shuffle relations, with second member being an arbitrary multizeta. The longest formulas, for zeta(3) and for zeta(2,1), are 2 pages long each. This prepublication is just a first step in this direction.

Let X be a geometrically smooth n-dimensional projective algebraic complex hypersurface in P^{n+1}(C). Using Green-Griffiths jets, we establish the existence of nonzero global algebraic differential equations that must be satisfied by every nonconstant entire holomorphic curve C -> X if X is of general type, namely if its degree d satisfies the optimal possible lower bound: d >= n + 3. The case n = 2 dates back to Green-Griffiths 1979, while according to very recent advances (Invent. Math. 180, pp. 161-223, February 2010), the best (and only) lower degree bound known previously in arbitrary dimension n was, using instead Demailly-Semple jets, something like d >= 2^{n^4} . n^{5n^3}, which, visibly, was far from the conjectured n + 3.

In 1979, building on S. Lie's theory of symmetries of (partial) differrential equations, P.J. Olver formulated inductive formulas which are appropriate for the computation of the prolongations of an infinitesimal Lie symmetry to jet spaces, for an arbitrary number n\geq 1 of independent variables (x^1, ..., x^n) and for an arbitrary number m \geq 1 of dependent variables (y^1, ..., y^m). This paper is devoted to elaborate a formalism based on multiple Kronecker symbols which enables one to handle these ``unmanageable'' prolongations and to discover the underlying complicated combinatorics. Proceeding progressively, we write down closed explicit formulas in four cases: n=m=1; n\geq 1, m=1; n=1, m\geq 1; general case n\geq 1, m\geq 1. As a subpart of the obtained formulas, we recover four possible versions of the (multivariate) Faà di Bruno formula. We do not employ the classical formalism based on the symmetric algebra ({\it cf.} e.g. H. Federer's book, p. 222), because it hides several explicit sums in symbolic compactifications, and because the presence of supplementary complexities ({\it e.g.} splitting of indices, combinatorics of partial derivatives) impedes us to apply such compactifications coherently. Our method of exposition is inductive: we conduct our reasonings by analyzing several thoroughly organized formulas, by comparing them together and by ``drifting'' towards generality, in homology with the classical style of L. Euler.