Biextensions of 1-motives by 1-motives

Let S be a scheme. In this paper, we define the notion of biextensions of 1-motives by 1-motives. If M(S) denotes the Tannakian category generated by 1-motives over S (in a geometrical sense), we define geometrically the morphisms of M(S) from the tensor product of two 1-motives M_1 and M_2 to another 1-motive M_3, to be the isomorphism classes of biextensions of (M_1,M_2) by M_3. Generalizing this definition we obtain, modulo isogeny, the geometrical notion of morphism of M(S) from a finite tensor product of 1-motives to another 1-motive.Comment: 15 page

Multilinear morphisms between 1-motives

Let S be an arbitrary scheme. We define biextensions of 1-motives by 1-motives which we see as the geometrical origin of morphisms from the tensor product of two 1-motives to a third one. If S is the spectrum of a field of characteristic 0, we check that these biextensions define morphisms from the tensor product of the realizations of two 1-motives to the realization of a third 1-motive. Generalizing we obtain the geometrical notion of morphisms from a finite tensor product of 1-motives to another 1-motive.Comment: new introduction

On unique continuation for solutions of the Schr{\"o}dinger equation on trees

We prove that if a solution of the time-dependent Schr{\"o}dinger equation on an homogeneous tree with bounded potential decays fast at two distinct times then the solution is trivial. For the free Schr{\"o}dinger operator, we use the spectral theory of the Laplacian and complex analysis and obtain a characterization of the initial conditions that lead to a sharp decay at any time. We then use the recent spectral decomposition of the Schr{\"o}dinger operator with compactly supported potential due to Colin de Verdi{\`e}rre and Turc to extend our results in the presence of such potentials. Finally, we use real variable methods first introduced by Escauriaza, Kenig, Ponce and Vega to establish a general sharp result in the case of bounded potentials

Extensions of Picard 2-Stacks and the cohomology groups Ext^i of length 3 complexes

The aim of this paper is to define and study the 3-category of extensions of Picard 2-stacks over a site S and to furnish a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves. More precisely, our main Theorem furnishes (1) a parametrization of the equivalence classes of objects, 1-arrows, 2-arrows, and 3-arrows of the 3-category of extensions of Picard 2-stacks by the cohomology groups Ext^i, and (2) a geometrical description of the cohomology groups Ext^i of length 3 complexes of abelian sheaves via extensions of Picard 2-stacks. To this end, we use the triequivalence between the 3-category of Picard 2-stacks and the tricategory T^[-2,0](S) of length 3 complexes of abelian sheaves over S introduced by the second author in arXiv:0906.2393, and we define the notion of extension in this tricategory T^[-2,0](S), getting a pure algebraic analogue of the 3-category of extensions of Picard 2-stacks. The calculus of fractions that we use to define extensions in the tricategory T^[-2,0](S) plays a central role in the proof of our Main Theorem.Comment: 2 New Appendix: in the first Appendix we compute a long exact sequence involving the homotopy groups of an extension of Picard 2-stacks, and in the second Appendix we sketch the proof that the fibered sum of Picard 2-stacks satisfies the universal propert

Third kind elliptic integrals and 1-motives

In our PH.D. thesis we have showed that the Generalized Grothendieck's Conjecture of Periods applied to 1-motives, whose underlying semi-abelian variety is a product of elliptic curves and of tori, is equivalent to a transcendental conjecture involving elliptic integrals of the first and second kind, and logarithms of complex numbers. In this paper we investigate the Generalized Grothendieck's Conjecture of Periods in the case of 1-motives whose underlying semi-abelian variety is a non trivial extension of a product of elliptic curves by a torus. This will imply the introduction of elliptic integrals of the third kind for the computation of the period matrix of M and therefore the Generalized Grothendieck's Conjecture of Periods applied to M will be equivalent to a transcendental conjecture involving elliptic integrals of the first, second and third kind.Comment: paper with an appendix of Michel Waldschmidt and a letter of Yves Andr\'

Extensions and biextensions of locally constant group schemes, tori and abelian schemes

Let S be a scheme. We compute explicitly the group of homomorphisms, the S-sheaf of homomorphisms, the group of extensions, and the S-sheaf of extensions involving locally constant S-group schemes, abelian S-schemes, and S-tori. Using the obtained results, we study the categories of biextensions involving these geometrical objets. In particular, we prove that if G_i (for i=1,2,3) is an extension of an abelian S-scheme A_i by an S-torus T_i, the category of biextensions of (G_1,G_2) by G_3 is equivalent to the category of biextensions of the underlying abelian S-schemes (A_1,A_2) by the underlying S-torus T_3