On hooks of Young diagrams

The well-known fact that there is always one more addable than removable box for a Young diagram is generalized to arbitrary hooks. As an application, this immediately implies a simple proof of a conjecture of Regev and Vershik [3] for which inductive proofs have recently been given by Regev and Zeilberger [4] and Janson [1].     

A supraconvergent scheme for the Korteweg-de Vries equation

Summary A finite-difference method for the integration of the Korteweg-de Vries equation on irregular grids is analyzed. Under periodic boundary conditions, the method is shown to be supraconvergent in the sense that, though being inconsistent, it is second order convergent. However, such a convergence only takes place on grids with an odd number of points per period. When a grid with an even number of points is used, the inconsistency of the method leads to divergence. Numerical results backing the analysis are presented.     

Motivic Serre invariants of curves

In this article, we generalize the theory of motivic integration on formal schemes topologically of finite type and the notion of motivic Serre invariant, to a relative point of view. We compute the relative motivic Serre invariant for curves defined over the field of fractions of a complete discrete valuation ring R of equicharacteristic zero. One aim of this study is to understand the behavior of motivic Serre invariants under ramified extension of the ring R. Thanks to our constructions, we obtain, in particular, an expression for the generating power series, whose coefficients are the motivic Serre invariant associated to a curve, computed on a tower of ramified extensions of R. We give an interpretation of this series in terms of the motivic zeta function of Denef and Loeser.     

Flips and the Hilbert scheme over an exterior algebra

We study the tangent space at a monomial point M in the Hilbert scheme that parameterizes all ideals with the same Hilbert function as M over an exterior algebra.     

Zero-cycles on self-product of modular curves

We use the elements in K-cohomology groups which are constructed by Flach and Mildenhall to obtain a finiteness result for the torsion part of the Chow group of a self-product of a modular curve.     

Classification of real moduli spaces over genus 2 curves

We classify, in terms of simple algebraic equations, the fixed point sets of the moduli space of stable bundles over genus 2 curves with anti-holomorphic involutions.Research supported by SRF of University of Missouri.     

Polydifferentials and the deformation functor of curves with automorphisms

We give a relation between the dimension of the tangent space of the deformation functor of curves with automorphisms and the Galois module structure of the space of 2-holomorphic differentials. We prove a homological version of the local-global principle similar to the one of J. Bertin and A. Mézard. Let G be a cyclic subgroup of the group of automorphisms of a curve X, so that the order of G is equal to the characteristic. By using the results of S. Nakajima on the Galois module structure of the space of 2-holomorphic differentials, we compute the dimension of the tangent space of the deformation functor.     

Kreĭn–Saakyan and Trace Formulas for a Pair of Canonical Differential Operators

An analog of the Kreĭn–Saakyan formula is derived for any pair of relatively prime self-adjoint extensions of a minimal symmetric canonical differential operator. This allows us to deduce a trace formula in the matrix case. I am grateful to Sh. Saakyan for his interest in this work and lively discussion. Received: December 8, 2006. Accepted: December 30, 2006.     

Bidendriform bialgebras, trees, and free quasi-symmetric functions

We introduce bidendriform bialgebras, which are bialgebras such that both product and coproduct can be split into two parts satisfying good compatibilities. For example, the Malvenuto-Reutenauer Hopf algebra and the non-commutative Connes-Kreimer Hopf algebras of planar decorated rooted trees are bidendriform bialgebras. We prove that all connected bidendriform bialgebras are generated by their primitive elements as a dendriform algebra (bidendriform Milnor-Moore theorem) and then is isomorphic to a Connes-Kreimer Hopf algebra. As a corollary, the Hopf algebra of Malvenuto-Reutenauer is isomorphic to the Connes-Kreimer Hopf algebra of planar rooted trees decorated by a certain set. We deduce that the Lie algebra of its primitive elements is free in characteristic zero (G. Duchamp, F. Hivert and J.-Y. Thibon conjecture).