Elements of algebraic geometry and the positive theory of partially commutative groups

The first main result of the paper is a criterion for a partially commutative group G to be a domain. It allows us to reduce the study of algebraic sets over G to the study of irreducible algebraic sets, and reduce the elementary theory of G (of a coordinate group over G) to the elementary theories of the direct factors of G (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group H. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of H has quantifier elimination and that arbitrary first-order formulas lift from H to H * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

Periodic orbits of integrable birational maps on the plane: blending dynamics and algebraic geometry, the Lyness' case

Contingut del Pòster presentat al congrés New Trends in Dynamical Systems

The Brauer group and the second Abel-Jacobi map for 0-cycles on algebraic varieties

This paper focuses on the connection between the Brauer group and the 0-cycles of an algebraic variety. We give an alternative construction of the second l-adic Abel-Jacobi map for such cycles, linked to the algebraic geometry of Severi-Brauer varieties on X. This allows us then to relate this Abel-Jacobi map to the standard pairing between 0-cycles and Brauer groups (see [M], [L]), completing results from [M] in this direction. Second, for surfaces, it allows us to present this map according to the more geometrical approach devised by M. Green in the framework of (arithmetic) mixed Hodge structures (see [G]). Needless to say, this paper owes much to the work of U. Jannsen and, especially, to his recently published older letter [J4] to B. Gross.

Discriminating groups: a comprehensive overview

Discriminating groups were introduced by G.Baumslag, A.Myasnikov and V.Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. However they have taken on a life of their own and have been an object of a considerable amount of study. In this paper we survey the large array results concerning the class of discriminating groups that have been developed over the past decade.

Grothendieck topologies from unique factorisation systems

This article presents a way to associate a Grothendieck site structure to a category endowed with a unique factorisation system of its arrows. In particular this recovers the Zariski and Etale topologies and others related to Voevodsky's cd-structures. As unique factorisation systems are also frequent outside algebraic geometry, the same construction applies to some new contexts, where it is related with known structures dened otherwise. The paper details algebraic geometrical situations and sketches only the other contexts.

Spectrum of some trianguled categories

In this paper, we compute the triangular spectrum (as de fined by P. Balmer) of two classes of tensor triangulated categories which are quite common in algebraic geometry. One of them is the derived category of G-equivariant sheaves on a smooth scheme X, for a fi nite group G. The other class is the derived category of split superschemes.

Extensions of maps defined on many fibres

Let S be a fibred surface. We prove that the existence of morphisms from non countably many fibres to curves implies, up to base change, the existence of a rational map from S to another surface fibred over the same base reflecting the properties of the original morphisms. Under some conditions of unicity base change is not needed and one recovers exactly the initial maps.

Bounds on multisecant lines

The purpose of this paper is two fold. First, we give an upper bound on the orderof a multisecant line to an integral arithmetically Cohen-Macaulay subscheme in Pn of codimension two in terms of the Hilbert function. Secondly, we givean explicit description of the singular locus of the blow up of an arbitrary local ring at a complete intersection ideal. This description is used to refine standardlinking theorem. These results are tied together by the construction of sharp examples for the bound, which uses the linking theorems.

On the motive of a quotient variety

We show that the motive of the quotient of a scheme by a finite group coincides with the invariant submotive.

Threefolds with nef anticanonical bundles

In this paper we study the global structure of projective threefolds X whose anticanonical bundle K is nef.

Semi-purity of tempered Deligne cohomology

In this paper we define the formal and tempered Deligne cohomology groups, that are obtained by applying the Deligne complex functor to the complexes of formal differential forms and tempered currents respectively. We then prove the existence of a duality between them, a vanishing theorem for the former and a semipurity property for the latter. The motivation of these results comes from the study of covariant arithmetic Chow groups. The semipurity property of tempered Deligne cohomology implies, in particular, that several definitions of covariant arithmetic Chow groups agree for projective arithmetic varieties.