Showing 1–50 of 66 results for author: Beauville, A

Hyperplane sections of cubic threefolds

Authors: Arnaud Beauville

Abstract: Let X be a smooth cubic hypersurface. We prove that a general cubic surface is isomorphic to a hyperplane section of X . Let X be a smooth cubic hypersurface. We prove that a general cubic surface is isomorphic to a hyperplane section of X . △ Less

Submitted 27 March, 2025; v1 submitted 3 January, 2025; originally announced January 2025.

Comments: Added reference to arXiv:2503.17991 by Beorchia and Mirò-Roig

The algebra of symmetric tensors on smooth projective varieties

Authors: Arnaud Beauville, Jie Liu

Abstract: We discuss in this note the algebra H^0(X, Sym*TX) for a smooth complex projective variety X . We compute it in some simple examples, and give a sharp bound on its Krull dimension. Then we propose a conjectural characterization of non-uniruled projective manifolds with pseudo-effective tangent bundle. We discuss in this note the algebra H^0(X, Sym*TX) for a smooth complex projective variety X . We compute it in some simple examples, and give a sharp bound on its Krull dimension. Then we propose a conjectural characterization of non-uniruled projective manifolds with pseudo-effective tangent bundle. △ Less

Submitted 22 March, 2024; v1 submitted 22 September, 2023; originally announced September 2023.

Comments: Minor changes. To appear in Science China Mathematics, volume in memory of Gang Xiao

Symmetric tensors on the intersection of two quadrics and Lagrangian fibration

Authors: A. Beauville, A. Etesse, A. Höring, J. Liu, C. Voisin

Abstract: Let X be a n-dimensional (smooth) intersection of two quadrics, and let T*X be its cotangent bundle. We show that the algebra of symmetric tensors on X is a polynomial algebra in n variables. The corresponding map F: T*X -- > C^n is a Lagrangian fibration, which admits an explicit geometric description; its general fiber is a Zariski open subset of an abelian variety, quotient of a hyperelliptic J… ▽ More Let X be a n-dimensional (smooth) intersection of two quadrics, and let T*X be its cotangent bundle. We show that the algebra of symmetric tensors on X is a polynomial algebra in n variables. The corresponding map F: T*X -- > C^n is a Lagrangian fibration, which admits an explicit geometric description; its general fiber is a Zariski open subset of an abelian variety, quotient of a hyperelliptic Jacobian by a 2-torsion subgroup. For n = 3 F is the Hitchin fibration of the moduli space of rank 2 bundles with fixed determinant on a curve of genus 2. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Reduction mod. 2 of del Pezzo lattices

Authors: Arnaud Beauville

Abstract: For an even lattice L , the form v --> (v.v)/2 induces a quadratic form q on the (Z/2)-vector space L/2L . For the lattices associated to some particular root systems, we show that reduction mod. 2 induces a bijection between the roots of L and the vectors of L/2L with q=1 , and an isomorphism of O(L)/<-1> onto O(L/2L). For an even lattice L , the form v --> (v.v)/2 induces a quadratic form q on the (Z/2)-vector space L/2L . For the lattices associated to some particular root systems, we show that reduction mod. 2 induces a bijection between the roots of L and the vectors of L/2L with q=1 , and an isomorphism of O(L)/<-1> onto O(L/2L). △ Less

Submitted 2 September, 2022; v1 submitted 27 August, 2022; originally announced August 2022.

Comments: Added reference [Griess] (provided by Igor Dolgachev), which contains much more complete results (with a much more elaborate technology)

Quotients of Jacobians

Authors: Arnaud Beauville

Abstract: Let C be a curve of genus g, and G a finite group of automorphisms of C . We prove that for g > 20 the quotient JC/G has canonical singularities, hence Kodaira dimension 0. On the other hand we give examples of curves C with g < 5 for which JC/G is uniruled. Let C be a curve of genus g, and G a finite group of automorphisms of C . We prove that for g > 20 the quotient JC/G has canonical singularities, hence Kodaira dimension 0. On the other hand we give examples of curves C with g < 5 for which JC/G is uniruled. △ Less

Submitted 23 December, 2024; v1 submitted 2 July, 2022; originally announced July 2022.

Comments: Published version

Journal ref: Pure and Applied Mathematics Quarterly 20 (2024), no. 5, 2051-2056

Even sets of nodes and Gauss genus theory

Authors: Arnaud Beauville

Abstract: We observe that a lemma used in the study of even sets of nodes on surfaces applies almost verbatim to prove a celebrated formula of Gauss on the 2-torsion of the class group of a quadratic field. We observe that a lemma used in the study of even sets of nodes on surfaces applies almost verbatim to prove a celebrated formula of Gauss on the 2-torsion of the class group of a quadratic field. △ Less

Submitted 30 August, 2021; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 2 references added

A non-hyperelliptic curve with torsion Ceresa cycle modulo algebraic equivalence

Authors: Arnaud Beauville, Chad Schoen

Abstract: We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[(-1)*C] in JC modulo algebraic equivalence is torsion. We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[(-1)*C] in JC modulo algebraic equivalence is torsion. △ Less

Submitted 11 November, 2021; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: Minor changes. To appear in IMRN

A non-hyperelliptic curve with torsion Ceresa class

Authors: Arnaud Beauville

Abstract: We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[-C] in the intermediate Jacobian of JC is torsion. We exhibit a non-hyperelliptic curve C of genus 3 such that the class of the Ceresa cycle [C]-[-C] in the intermediate Jacobian of JC is torsion. △ Less

Submitted 15 May, 2021; originally announced May 2021.

A remark on the generalized Franchetta conjecture for K3 surfaces

Authors: Arnaud Beauville

Abstract: A family of K3 surfaces $\mathscr{X}\rightarrow B$ has the \emph{Franchetta property} if the Chow group of 0-cycles on the generic fiber is cyclic. The generalized Franchetta conjecture proposed by O'Grady asserts that the universal family $\mathscr{X}_g\rightarrow \mathscr{F}_g$ of polarized K3 of degree $2g-2$ has the Franchetta property. While this is known only for small $g$ thanks to \cite{P… ▽ More A family of K3 surfaces $\mathscr{X}\rightarrow B$ has the \emph{Franchetta property} if the Chow group of 0-cycles on the generic fiber is cyclic. The generalized Franchetta conjecture proposed by O'Grady asserts that the universal family $\mathscr{X}_g\rightarrow \mathscr{F}_g$ of polarized K3 of degree $2g-2$ has the Franchetta property. While this is known only for small $g$ thanks to \cite{PSY}, we prove that for all $g$ there is a hypersurface in $ \mathscr{F}_g$ such that the corresponding family has the Franchetta property. △ Less

Submitted 6 December, 2020; originally announced December 2020.

Vector bundles on Fano threefolds and K3 surfaces

Authors: Arnaud Beauville

Abstract: Let X be a Fano threefold, and let S be a K3 surface in X . Any moduli space M of simple vector bundles on S carries a holomorphic symplectic structure. Following an idea of Tyurin, we show that in some cases, those vector bundles which come from X form a Lagrangian subvariety of M . We illustrate this with a number of concrete examples. Let X be a Fano threefold, and let S be a K3 surface in X . Any moduli space M of simple vector bundles on S carries a holomorphic symplectic structure. Following an idea of Tyurin, we show that in some cases, those vector bundles which come from X form a Lagrangian subvariety of M . We illustrate this with a number of concrete examples. △ Less

Submitted 7 August, 2019; v1 submitted 9 June, 2019; originally announced June 2019.

Comments: Results of §7 improved and extended using the paper [B-F] by Brambilla and Faenzi

An ampleness criterion for rank 2 vector bundles on surfaces

Authors: Arnaud Beauville

Abstract: We observe that the proof of the Bogomolov stable restriction theorem can be adapted to give an ampleness criterion for globally generated rank 2 vector bundles on certain surfaces. This applies to the Lazarsfeld-Mukai bundles, to congruences of lines in P^3, and possibly to the construction of surfaces with ample cotangent bundle (help welcome!). We observe that the proof of the Bogomolov stable restriction theorem can be adapted to give an ampleness criterion for globally generated rank 2 vector bundles on certain surfaces. This applies to the Lazarsfeld-Mukai bundles, to congruences of lines in P^3, and possibly to the construction of surfaces with ample cotangent bundle (help welcome!). △ Less

Submitted 1 June, 2018; originally announced June 2018.

Limits of the trivial bundle on a curve

Authors: Arnaud Beauville

Abstract: We attempt to describe the rank 2 vector bundles on a curve C which are specializations of the trivial bundle. We get a complete classifications when C is Brill-Noether generic, or when it is hyperelliptic; in both cases all limit vector bundles are decomposable. We give examples of indecomposable limit bundles for some special curves. We attempt to describe the rank 2 vector bundles on a curve C which are specializations of the trivial bundle. We get a complete classifications when C is Brill-Noether generic, or when it is hyperelliptic; in both cases all limit vector bundles are decomposable. We give examples of indecomposable limit bundles for some special curves. △ Less

Submitted 24 October, 2018; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: Final version, published in Epiga

Journal ref: Épijournal de Géométrie Algébrique, Volume 2 (November 1, 2018) epiga:4454

An introduction to Ulrich bundles

Authors: Arnaud Beauville

Abstract: After recalling the definition and basic properties of Ulrich bundles, we focus on the existence problem: does any smooth projective variety carry a Ulrich bundle? We show that the Serre construction provides a positive answer on certain surfaces and threefolds. After recalling the definition and basic properties of Ulrich bundles, we focus on the existence problem: does any smooth projective variety carry a Ulrich bundle? We show that the Serre construction provides a positive answer on certain surfaces and threefolds. △ Less

Submitted 15 December, 2016; v1 submitted 10 October, 2016; originally announced October 2016.

Comments: A few details added for the case of Fano threefolds

Ulrich bundles on surfaces with $q=p_g=0$

Authors: Arnaud Beauville

Abstract: We prove that any surface with q=p_g=0 embedded by a sufficiently large linear system admits a rank 2 Ulrich bundle. In particular every Enriques surface admits a rank 2 Ulrich bundle. We prove that any surface with q=p_g=0 embedded by a sufficiently large linear system admits a rank 2 Ulrich bundle. In particular every Enriques surface admits a rank 2 Ulrich bundle. △ Less

Submitted 4 July, 2016; originally announced July 2016.

Ulrich bundles on abelian surfaces

Authors: Arnaud Beauville

Abstract: We prove that any abelian surface admits a rank 2 Ulrich bundle. We prove that any abelian surface admits a rank 2 Ulrich bundle. △ Less

Submitted 7 December, 2015; v1 submitted 3 December, 2015; originally announced December 2015.

Comments: Small inaccuracy corrected

The Lüroth problem

Authors: Arnaud Beauville

Abstract: Notes of my lectures at the CIME (Levico Terme, june 2015). The lectures gave an overview of the Lüroth problem, its history, the counter-examples found in the 70's, and the recent developments on stable rationality following the new method introduced by C. Voisin. Notes of my lectures at the CIME (Levico Terme, june 2015). The lectures gave an overview of the Lüroth problem, its history, the counter-examples found in the 70's, and the recent developments on stable rationality following the new method introduced by C. Voisin. △ Less

Submitted 9 July, 2015; originally announced July 2015.

A very general sextic double solid is not stably rational

Authors: Arnaud Beauville

Abstract: We prove that a double covering of P^3 branched along a very general sextic surface is not stably rational. We prove that a double covering of P^3 branched along a very general sextic surface is not stably rational. △ Less

Submitted 7 December, 2014; v1 submitted 27 November, 2014; originally announced November 2014.

Comments: A reference to the paper of Iliev-Katzarkov-Przyjalkowski added, and a small inaccuracy corrected

A very general quartic double fourfold or fivefold is not stably rational

Authors: Arnaud Beauville

Abstract: Applying an idea of C. Voisin, we prove that a double cover of P^4 or P^5 branched along a very general quartic hypersurface is not stably rational. Applying an idea of C. Voisin, we prove that a double cover of P^4 or P^5 branched along a very general quartic hypersurface is not stably rational. △ Less

Submitted 28 December, 2015; v1 submitted 12 November, 2014; originally announced November 2014.

Comments: The paper is withdrawn because of a crucial error in Proposition 3

Some surfaces with maximal Picard number

Authors: Arnaud Beauville

Abstract: For a smooth complex projective variety, the rank of the Néron-Severi group is bounded by the Hodge number h^{1,1}. Varieties with rk NS = h^{1,1} have interesting properties, but are rather sparse, particularly in dimension 2. We discuss in this note a number of examples, in particular those constructed from curves with special Jacobians. For a smooth complex projective variety, the rank of the Néron-Severi group is bounded by the Hodge number h^{1,1}. Varieties with rk NS = h^{1,1} have interesting properties, but are rather sparse, particularly in dimension 2. We discuss in this note a number of examples, in particular those constructed from curves with special Jacobians. △ Less

Submitted 26 October, 2013; v1 submitted 12 October, 2013; originally announced October 2013.

Comments: Some comments and references added

On the second lower quotient of the fundamental group

Authors: Arnaud Beauville

Abstract: Let X be a reasonable topological space, G its fundamental group, and D = (G,G). We express the second quotient D/(D,G) of the lower central series of G in terms of the homology and cohomology of X . As an example, we recover the isomorphism D/(D,G) = Z/2 (due to Collino) when X is the Fano surface parametrizing lines in a cubic threefold. Let X be a reasonable topological space, G its fundamental group, and D = (G,G). We express the second quotient D/(D,G) of the lower central series of G in terms of the homology and cohomology of X . As an example, we recover the isomorphism D/(D,G) = Z/2 (due to Collino) when X is the Fano surface parametrizing lines in a cubic threefold. △ Less

Submitted 20 June, 2013; v1 submitted 20 April, 2013; originally announced April 2013.

Comments: The result is extended to all reasonable topological spaces

A tale of two surfaces

Authors: Arnaud Beauville

Abstract: We point out a link between two surfaces which have appeared recently in the literature: the surface of cuboids and the Schoen surface. Both surfaces give rise to a surface with q=4, whose canonical map is 2-to-1 onto an intersection of 4 quadrics in P^6 with 48 nodes. We point out a link between two surfaces which have appeared recently in the literature: the surface of cuboids and the Schoen surface. Both surfaces give rise to a surface with q=4, whose canonical map is 2-to-1 onto an intersection of 4 quadrics in P^6 with 48 nodes. △ Less

Submitted 15 March, 2013; v1 submitted 8 March, 2013; originally announced March 2013.

Comments: The first part has been completely rewritten. We show that the surface of cuboids belongs to a 6-dimensional family of intersection of 4 quadrics in P^6 with 48 nodes

Non-rationality of the S_6-symmetric quartic threefolds

Authors: Arnaud Beauville

Abstract: The quartic hypersurfaces in P^4 invariant under the standard representation of S_6 form a linear pencil. We prove that a general member of this pencil is not rational. The quartic hypersurfaces in P^4 invariant under the standard representation of S_6 form a linear pencil. We prove that a general member of this pencil is not rational. △ Less

Submitted 2 January, 2013; v1 submitted 21 December, 2012; originally announced December 2012.

Comments: One (annoying) typo corrected

Vanishing thetanulls on curves with involutions

Authors: Arnaud Beauville

Abstract: The configuration of theta characteristics and vanishing thetanulls on a hyperelliptic curve is completely understood. We observe in this note that analogous results hold for the s-invariant theta characteristics on any curve C with an involution s . As a consequence we get examples of non hyperelliptic curves with a high number of vanishing thetanulls. The configuration of theta characteristics and vanishing thetanulls on a hyperelliptic curve is completely understood. We observe in this note that analogous results hold for the s-invariant theta characteristics on any curve C with an involution s . As a consequence we get examples of non hyperelliptic curves with a high number of vanishing thetanulls. △ Less

Submitted 23 June, 2012; originally announced June 2012.

Abelian varieties associated to Gaussian lattices

Authors: Arnaud Beauville

Abstract: We associate to a unimodular lattice L, endowed with an automorphism of square -1, a principally polarized abelian variety A:= L_R/L. We show that the configuration of i-invariant theta divisors of A follows a pattern very similar to the classical theory of theta characteristics; as a consequence we find that A has a high number of vanishing thetanulls. When L = E_8 we recover the 10 vanishing the… ▽ More We associate to a unimodular lattice L, endowed with an automorphism of square -1, a principally polarized abelian variety A:= L_R/L. We show that the configuration of i-invariant theta divisors of A follows a pattern very similar to the classical theory of theta characteristics; as a consequence we find that A has a high number of vanishing thetanulls. When L = E_8 we recover the 10 vanishing thetanulls of the abelian fourfold discovered by R. Varley. △ Less

Submitted 20 January, 2012; v1 submitted 13 December, 2011; originally announced December 2011.

Comments: The results are extended to all unimodular lattices

Non-rationality of the symmetric sextic Fano threefold

Authors: Arnaud Beauville

Abstract: We give a simple proof of the non-rationality of the Fano threefold defined by the equations Σx_i = Σx_i^2 = Σx_i^3 = 0 in P^6 . We give a simple proof of the non-rationality of the Fano threefold defined by the equations Σx_i = Σx_i^2 = Σx_i^3 = 0 in P^6 . △ Less

Submitted 7 February, 2011; originally announced February 2011.

Finite simple groups of small essential dimension

Authors: Arnaud Beauville

Abstract: We discuss the notion of essential dimension of a finite group and explain its relation with birational algebraic geometry. We show how this leads to a (partial) classification of simple finite groups of essential dimension less than or equal to 3. We discuss the notion of essential dimension of a finite group and explain its relation with birational algebraic geometry. We show how this leads to a (partial) classification of simple finite groups of essential dimension less than or equal to 3. △ Less

Submitted 13 January, 2014; v1 submitted 7 January, 2011; originally announced January 2011.

Comments: First part expanded as a survey. Title modified consequently

Antisymplectic involutions of holomorphic symplectic manifolds

Authors: Arnaud Beauville

Abstract: Let X be a holomorphic symplectic manifold, of dimension divisible by 4, and s an antisymplectic involution of X . The fixed locus F of s is a Lagrangian submanifold of X ; we show that its Â-genus is 1. As an application, we determine all possibilities for the Chern numbers of F when X is a deformation of the Hilbert square of a K3 surface. Let X be a holomorphic symplectic manifold, of dimension divisible by 4, and s an antisymplectic involution of X . The fixed locus F of s is a Lagrangian submanifold of X ; we show that its Â-genus is 1. As an application, we determine all possibilities for the Chern numbers of F when X is a deformation of the Hilbert square of a K3 surface. △ Less

Submitted 8 December, 2010; v1 submitted 18 August, 2010; originally announced August 2010.

Comments: Final version, accepted for publication by the Journal of Topology

Jacobians among abelian threefolds: a geometric approach

Authors: Arnaud Beauville, Christophe Ritzenthaler

Abstract: Let A be a principally polarized abelian threefold over a perfect field k, not isomorphic to a product over the algebraic closure of k. There exists a canonical extension k' of k, of degree 1 or 2, such that A becomes isomorphic to a Jacobian over k'. The aim of this note is to give a geometric construction of this extension. Let A be a principally polarized abelian threefold over a perfect field k, not isomorphic to a product over the algebraic closure of k. There exists a canonical extension k' of k, of degree 1 or 2, such that A becomes isomorphic to a Jacobian over k'. The aim of this note is to give a geometric construction of this extension. △ Less

Submitted 20 May, 2010; originally announced May 2010.

Holomorphic symplectic geometry: a problem list

Authors: Arnaud Beauville

Abstract: A list of open problems on holomorphic symplectic, contact and Poisson manifolds. A list of open problems on holomorphic symplectic, contact and Poisson manifolds. △ Less

Submitted 23 February, 2010; originally announced February 2010.

The primitive cohomology lattice of a complete intersection

Authors: Arnaud Beauville

Abstract: We describe the primitive cohomology lattice of a smooth even-dimensional complete intersection in projective space. We describe the primitive cohomology lattice of a smooth even-dimensional complete intersection in projective space. △ Less

Submitted 29 September, 2009; originally announced September 2009.

Finite subgroups of PGL(2,K)

Authors: Arnaud Beauville

Abstract: We classify, up to conjugacy, the finite subgroups of PGL(2,K) of order prime to char(K). We classify, up to conjugacy, the finite subgroups of PGL(2,K) of order prime to char(K). △ Less

Submitted 22 September, 2009; originally announced September 2009.

On the Brauer group of Enriques surfaces

Authors: Arnaud Beauville

Abstract: Let S be a complex Enriques surface; it is the quotient of a K3 surface X by a fixed-point-free involution. The Brauer group Br(S) has a unique nonzero element. We describe its pull-back in Br(X), and show that the surfaces S for which it is trivial form a countable union of hypersurfaces in the moduli space of Enriques surfaces. Let S be a complex Enriques surface; it is the quotient of a K3 surface X by a fixed-point-free involution. The Brauer group Br(S) has a unique nonzero element. We describe its pull-back in Br(X), and show that the surfaces S for which it is trivial form a countable union of hypersurfaces in the moduli space of Enriques surfaces. △ Less

Submitted 16 March, 2009; v1 submitted 21 February, 2009; originally announced February 2009.

Comments: Minor modifications; in particular, Proposition 4.1 is put in a more general setting. v3: minor improvements in the presentation

The action of SL(2) on abelian varieties

Authors: Arnaud Beauville

Abstract: We show that the algebraic group SL(2) acts on any polarized abelian variety A through correspondences. As a consequence we recover the action of SL(2) on the Chow group CH(A) (with rational coefficients), and this gives rise to Lefschetz type properties for algebraic cycles on A . We show that the algebraic group SL(2) acts on any polarized abelian variety A through correspondences. As a consequence we recover the action of SL(2) on the Chow group CH(A) (with rational coefficients), and this gives rise to Lefschetz type properties for algebraic cycles on A . △ Less

Submitted 11 May, 2008; originally announced May 2008.

Remark on a conjecture of Mukai

Authors: Arnaud Beauville

Abstract: Let C be a general curve. Mukai asked whether for every stable rank 2 vector bundle E on C with det(E) = K, the multiplication map Sym^2 H^0(C,E) --> H^0(C, Sym^2 E) is injective. We observe that this holds when h^0(E) < 7 . Let C be a general curve. Mukai asked whether for every stable rank 2 vector bundle E on C with det(E) = K, the multiplication map Sym^2 H^0(C,E) --> H^0(C, Sym^2 E) is injective. We observe that this holds when h^0(E) < 7 . △ Less

Submitted 17 October, 2006; originally announced October 2006.

Comments: 6 pages

MSC Class: 14H60

Orthogonal bundles on curves and theta functions

Authors: Arnaud Beauville

Abstract: Let M be the moduli space of SO(r)-bundles on a curve, and L the determinant bundle on M. We define an isomorphism of H^0(M,L) onto the dual of the space of r-th order theta functions on the Jacobian of C. This isomorphism identifies the map M -->|L|* defined by the linear system |L| with the map M -->|r Theta| which associates to a quadratic bundle (E,q) the Theta divisor of the vector bundle E… ▽ More Let M be the moduli space of SO(r)-bundles on a curve, and L the determinant bundle on M. We define an isomorphism of H^0(M,L) onto the dual of the space of r-th order theta functions on the Jacobian of C. This isomorphism identifies the map M -->|L|* defined by the linear system |L| with the map M -->|r Theta| which associates to a quadratic bundle (E,q) the Theta divisor of the vector bundle E . The two components M+ and M- of M are mapped into the subspaces of even and odd theta functions respectively. Finally we discuss the analogous question for Sp(2r)-bundles. △ Less

Submitted 22 April, 2005; originally announced April 2005.

Vector bundles on curves and theta functions

Authors: Arnaud Beauville

Abstract: This is a (short) survey lecture on the "theta map" from the moduli space of SL_r bundles on a curve C to the projective space of r-th order theta functions on JC . Some recent results and a few open problems about that map are discussed. This is a (short) survey lecture on the "theta map" from the moduli space of SL_r bundles on a curve C to the projective space of r-th order theta functions on JC . Some recent results and a few open problems about that map are discussed. △ Less

Submitted 11 February, 2005; v1 submitted 9 February, 2005; originally announced February 2005.

Comments: One wrong conjecture removed, one reference added

p-elementary subgroups of the Cremona group

Authors: Arnaud Beauville

Abstract: We classify, up to conjugacy, the subgroups of the Cremona group isomorphic to (Z/p)^r, where p is prime and r is maximal. We classify, up to conjugacy, the subgroups of the Cremona group isomorphic to (Z/p)^r, where p is prime and r is maximal. △ Less

Submitted 24 May, 2005; v1 submitted 7 February, 2005; originally announced February 2005.

Comments: The main result is completed (thanks to the referee)

Vector bundles and theta functions on curves of genus 2 and 3

Authors: Arnaud Beauville

Abstract: Let C be a curve of genus g, and let SU(r) be the moduli space of vector bundles of rank r on C, with trivial determinant. A general E in SU(r) defines a theta divisor in the linear system |r Theta|, where Theta is the canonical theta divisor in Pic^{g-1}(C). This defines a rational map SU(r) - - > |r Theta|, which is the map associated to the determinant bundle on SU(r) (the positive generator… ▽ More Let C be a curve of genus g, and let SU(r) be the moduli space of vector bundles of rank r on C, with trivial determinant. A general E in SU(r) defines a theta divisor in the linear system |r Theta|, where Theta is the canonical theta divisor in Pic^{g-1}(C). This defines a rational map SU(r) - - > |r Theta|, which is the map associated to the determinant bundle on SU(r) (the positive generator of Pic(SU(r)). In this paper we prove that in genus 2 this map is generically finite and dominant. The same method, together with some classical work of Morin, shows that in rank 3 and genus 3 the theta map is a finite morphism -- in other words, every E in SU(3) admits a theta divisor. △ Less

Submitted 2 June, 2004; originally announced June 2004.

Comments: 12 pages

MSC Class: 14H60

On the splitting of the Bloch-Beilinson filtration

Authors: Arnaud Beauville

Abstract: For a smooth projective variety X, let CH(X) be the Chow ring (with rational coefficients) of algebraic cycles modulo rational equivalence. The conjectures of Bloch and Beilinson predict the existence of a functorial ring filtration of CH(X). We want to investigate for which varieties this filtration splits, that is, comes from a graduation on CH(X) -- this occurs for K3 surfaces and, conjectura… ▽ More For a smooth projective variety X, let CH(X) be the Chow ring (with rational coefficients) of algebraic cycles modulo rational equivalence. The conjectures of Bloch and Beilinson predict the existence of a functorial ring filtration of CH(X). We want to investigate for which varieties this filtration splits, that is, comes from a graduation on CH(X) -- this occurs for K3 surfaces and, conjecturally, for abelian varieties. We observe that, though the Bloch-Beilinson filtration is only conjectural, the fact that it splits has some simple consequences which can be tested in concrete examples. Namely, for a regular variety X, it implies that the sub-Q-algebra of CH(X) spanned by divisor classes injects into the cohomology of X . We give examples of Calabi-Yau threefolds which do not satisfy this property. On the other hand we conjecture that the property does indeed hold for (holomorphic) symplectic manifolds, and we give some (weak) evidence in favour of this conjecture. △ Less

Submitted 22 March, 2004; originally announced March 2004.

On Cremona transformations of prime order

Authors: Arnaud Beauville, Jeremy Blanc

Abstract: Final version, appeared in C.R. Acad. Sci. Paris 339 (2004), no4, 257--259. Final version, appeared in C.R. Acad. Sci. Paris 339 (2004), no4, 257--259. △ Less

Submitted 21 September, 2004; v1 submitted 3 February, 2004; originally announced February 2004.

Journal ref: Comptes Rendus de l'Academie des Sciences. Serie 1, Mathematique 339 (2004) 257-259

La conjecture de Green generique [d'apres C. Voisin]

Authors: Arnaud Beauville

Abstract: This is the text of my lecture (in french) at the Bourbaki Seminar (november 2003) on the proof by Claire Voisin of the Green conjecture for a generic curve. This conjecture predicts the structure of the minimal resolution of the ideal of a canonically embedded curve in terms of the existence of certain special linear systems on the curve. This is the text of my lecture (in french) at the Bourbaki Seminar (november 2003) on the proof by Claire Voisin of the Green conjecture for a generic curve. This conjecture predicts the structure of the minimal resolution of the ideal of a canonically embedded curve in terms of the existence of certain special linear systems on the curve. △ Less

Submitted 26 November, 2003; originally announced November 2003.

MSC Class: 14H51; 13D02

The Coble hypersurfaces

Authors: Arnaud Beauville

Abstract: Let A be an indecomposable principally polarized abelian variety of dimension g . Third order theta functions embed A in a projective space P(V_3), while second order theta functions embed the Kummer variety K=A/<-1> in a projective space P(V_2). Coble observed that for g = 2 there is a unique cubic hypersurface in P(V_3) that is singular along A, and for g = 3 a unique quartic hypersurface in P… ▽ More Let A be an indecomposable principally polarized abelian variety of dimension g . Third order theta functions embed A in a projective space P(V_3), while second order theta functions embed the Kummer variety K=A/<-1> in a projective space P(V_2). Coble observed that for g = 2 there is a unique cubic hypersurface in P(V_3) that is singular along A, and for g = 3 a unique quartic hypersurface in P(V_2) singular along K . We explain these facts by a simple analysis of the representations of the corresponding Heisenberg group. △ Less

Submitted 5 June, 2003; originally announced June 2003.

Comments: 6 pages

Fano threefolds and K3 surfaces

Authors: Arnaud Beauville

Abstract: We discuss in this note which K3 surfaces appear as anticanonical divisors in a Fano threefold. We prove in particular that a general K3 surface with given Picard lattice P and polarization class h in P is an anticanonical divisor in a Fano threefold if and only if (P,h) is isomorphic to (Pic(V), c_1(V)) for some Fano threefold V, where Pic(V) is equipped with the intersection product (L,M) -->… ▽ More We discuss in this note which K3 surfaces appear as anticanonical divisors in a Fano threefold. We prove in particular that a general K3 surface with given Picard lattice P and polarization class h in P is an anticanonical divisor in a Fano threefold if and only if (P,h) is isomorphic to (Pic(V), c_1(V)) for some Fano threefold V, where Pic(V) is equipped with the intersection product (L,M) --> (L.M.c_1(V)). △ Less

Submitted 20 November, 2002; originally announced November 2002.

Comments: Plain TeX, 9 pages

Some stable vector bundles with reducible theta divisors

Authors: Arnaud Beauville

Abstract: Let C be a curve of genus g and L a line bundle of degree 2g on C . Let M be the kernel of the evaluation map from the trivial bundle with fibre H^0(C,L) into L . We show that when L is general enough, the rank g bundle M and its exterior powers are stable and admit a reducible theta divisor. Let C be a curve of genus g and L a line bundle of degree 2g on C . Let M be the kernel of the evaluation map from the trivial bundle with fibre H^0(C,L) into L . We show that when L is general enough, the rank g bundle M and its exterior powers are stable and admit a reducible theta divisor. △ Less

Submitted 9 September, 2002; originally announced September 2002.

Comments: 7 pages, Plain TeX

Algebraic cycles on Jacobian varieties

Authors: Arnaud Beauville

Abstract: Let J be the Jacobian of a smooth curve C of genus g, and let A(J) be the ring of algebraic cycles modulo algebraic equivalence on J, tensored with Q. We study in this paper the smallest Q-vector subspace R of A(J) which contains C and is stable under the natural operations of A(J) : intersection and Pontryagin products, pull back and push down under multiplication by integers. We prove that thi… ▽ More Let J be the Jacobian of a smooth curve C of genus g, and let A(J) be the ring of algebraic cycles modulo algebraic equivalence on J, tensored with Q. We study in this paper the smallest Q-vector subspace R of A(J) which contains C and is stable under the natural operations of A(J) : intersection and Pontryagin products, pull back and push down under multiplication by integers. We prove that this "tautological subring" is generated (over Q) by the classes of the subvarieties W_1=C, W_2=C+C, ..., W_{g-1}. If C admits a morphism of degree d onto P^1, we prove that the last d-1 classes suffice. △ Less

Submitted 15 April, 2002; originally announced April 2002.

Comments: 8 pages

The Chow ring of a K3 surface

Authors: Arnaud Beauville, Claire Voisin

Abstract: Let X be a K3 surface. We show that the Chow group CH_0(X) of 0-cycles contains a "fundamental class" c_X of degree 1 with remarkable properties: any product of divisors is proportional to this class, and so is the second Chern class c_2(X). This preprint supersedes the preprint math.AG/0109063 by the first author, where the latter property was conjectured. Let X be a K3 surface. We show that the Chow group CH_0(X) of 0-cycles contains a "fundamental class" c_X of degree 1 with remarkable properties: any product of divisors is proportional to this class, and so is the second Chern class c_2(X). This preprint supersedes the preprint math.AG/0109063 by the first author, where the latter property was conjectured. △ Less

Submitted 13 November, 2001; originally announced November 2001.

Comments: 10 pages, Plain TeX. Supersedes AG/0109063

The Szpiro inequality for higher genus fibrations

Authors: Arnaud Beauville

Abstract: Let f : S --> B be a non-trivial family of semi-stable curves of genus g, N the number of critical points of f and s the number of singular fibres. We prove the inequality N < (4g+2)(s+2g(B)-2) . Let f : S --> B be a non-trivial family of semi-stable curves of genus g, N the number of critical points of f and s the number of singular fibres. We prove the inequality N < (4g+2)(s+2g(B)-2) . △ Less

Submitted 13 September, 2001; originally announced September 2001.

Comments: 2 pages, Plain TeX

On the Chow ring of a K3 surface

Authors: Arnaud Beauville

Abstract: Though the Chow group of 0-cycles on a K3 surface is quite large, we observe that the subgroup generated by product of divisors is cyclic. Though the Chow group of 0-cycles on a K3 surface is quite large, we observe that the subgroup generated by product of divisors is cyclic. △ Less

Submitted 10 September, 2001; originally announced September 2001.

Comments: 4 pages, Plain TeX

Chern classes for representations of reductive groups

Authors: Arnaud Beauville

Abstract: Let G be a complex connected reductive group. The representation ring R(G) admits a canonical filtration defined in terms of the lambda-structure. We compute the associated graded ring gr R(G) (over Q) and the Chern classes of a representation -- an easy exercise which we have been unable to find in the literature. As an application we give a simple definition of the characteristic classes of a… ▽ More Let G be a complex connected reductive group. The representation ring R(G) admits a canonical filtration defined in terms of the lambda-structure. We compute the associated graded ring gr R(G) (over Q) and the Chern classes of a representation -- an easy exercise which we have been unable to find in the literature. As an application we give a simple definition of the characteristic classes of a principal bundle P --> B in gr K(B), and a simple way of computing the Chern classes of the associated vector bundles. △ Less

Submitted 3 April, 2001; originally announced April 2001.

Comments: 7 pages, Plain TeX

Endomorphisms of hypersurfaces and other manifolds

Authors: A. Beauville

Abstract: We prove that a smooth hypersurface of degree >2 and dimension >1 admits no endomorphism of degree >1 (for hyperquadrics this is due to Paranjape and Srinivas). We then collect some general results on endomorphisms of projective manifolds; we prove in particular that ramified endomorphisms occur only on varieties of negative Kodaira dimension, and we classify those Del Pezzo surfaces which admit… ▽ More We prove that a smooth hypersurface of degree >2 and dimension >1 admits no endomorphism of degree >1 (for hyperquadrics this is due to Paranjape and Srinivas). We then collect some general results on endomorphisms of projective manifolds; we prove in particular that ramified endomorphisms occur only on varieties of negative Kodaira dimension, and we classify those Del Pezzo surfaces which admit such endomorphism. △ Less

Submitted 28 August, 2000; originally announced August 2000.

Comments: 5 pages, Plain TeX