Showing 1–34 of 34 results for author: Benoist, O

The Pythagoras number of fields of transcendence degree $1$ over $\mathbb{Q}$

Authors: Olivier Benoist

Abstract: We show that any sum of squares in a field of transcendence degree $1$ over $\mathbb{Q}$ is a sum of $5$ squares, answering a question of Pop and Pfister. We deduce this result from a representation theorem, in $k(C)$, for quadratic forms of rank $\geq 5$ with coefficients in $k$, where $C$ is a curve over a number field $k$. We show that any sum of squares in a field of transcendence degree $1$ over $\mathbb{Q}$ is a sum of $5$ squares, answering a question of Pop and Pfister. We deduce this result from a representation theorem, in $k(C)$, for quadratic forms of rank $\geq 5$ with coefficients in $k$, where $C$ is a curve over a number field $k$. △ Less

Submitted 5 July, 2025; v1 submitted 26 June, 2025; originally announced June 2025.

Comments: 23 pages, minor modifications

MSC Class: 11E25; 11E12; 14G25; 14G12

Tight approximation for rationally simply connected varieties

Authors: Olivier Benoist, Olivier Wittenberg

Abstract: We prove that holomorphic maps from an open subset of a complex smooth projective curve to a complex smooth projective rationally simply connected variety can be approximated by algebraic maps for the compact-open topology. This theorem can be applied in particular when the target is a smooth hypersurface of degree d in P^n with n greater than or equal to d^2-1. We deduce it from a more general re… ▽ More We prove that holomorphic maps from an open subset of a complex smooth projective curve to a complex smooth projective rationally simply connected variety can be approximated by algebraic maps for the compact-open topology. This theorem can be applied in particular when the target is a smooth hypersurface of degree d in P^n with n greater than or equal to d^2-1. We deduce it from a more general result: the tight approximation property holds for rationally simply connected varieties over function fields of complex curves. △ Less

Submitted 21 August, 2025; v1 submitted 13 March, 2025; originally announced March 2025.

Comments: 18 pages; v2: minor corrections; v3: adapted numbering to conform with published version

On the rationality of some real threefolds

Authors: Olivier Benoist, Alena Pirutka

Abstract: We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian obstructions to rationality vanish. We obtain both negative and positive results, using unramified cohomology and birational rigidity techniques, as well as concre… ▽ More We study the rationality of some geometrically rational three-dimensional conic and quadric surface bundles, defined over the reals and more general real closed fields, for which the real locus is connected and the intermediate Jacobian obstructions to rationality vanish. We obtain both negative and positive results, using unramified cohomology and birational rigidity techniques, as well as concrete rationality constructions. △ Less

Submitted 18 December, 2024; originally announced December 2024.

Comments: 19 pages

MSC Class: 14E08; 14P99

On the field of meromorphic functions on a Stein surface

Authors: Olivier Benoist

Abstract: We prove that fields of meromorphic functions on Stein surfaces have cohomological dimension 2, and solve the period-index problem and Serre's conjecture II for these fields. We obtain analogous results for fields of real meromorphic functions on Stein surfaces equipped with an antiholomorphic involution. We deduce an optimal quantitative solution to Hilbert's 17th problem on analytic surfaces. We prove that fields of meromorphic functions on Stein surfaces have cohomological dimension 2, and solve the period-index problem and Serre's conjecture II for these fields. We obtain analogous results for fields of real meromorphic functions on Stein surfaces equipped with an antiholomorphic involution. We deduce an optimal quantitative solution to Hilbert's 17th problem on analytic surfaces. △ Less

Submitted 19 September, 2025; v1 submitted 22 October, 2024; originally announced October 2024.

Comments: 43 pages, final version

MSC Class: 32E10; 32A20; 12G05; 12J15; 11E25

Stein spaces and Stein algebras

Authors: Olivier Benoist

Abstract: We prove that the category of Stein spaces and holomorphic maps is anti-equivalent to the category of Stein algebras and $\mathbb{C}$-algebra morphisms. This removes a finite dimensionality hypothesis from a theorem of Forster. We prove that the category of Stein spaces and holomorphic maps is anti-equivalent to the category of Stein algebras and $\mathbb{C}$-algebra morphisms. This removes a finite dimensionality hypothesis from a theorem of Forster. △ Less

Submitted 7 October, 2024; originally announced October 2024.

Comments: 6 pages

MSC Class: 32E10; 32Q56

On the Artin vanishing theorem for Stein spaces

Authors: Olivier Benoist

Abstract: Artin vanishing theorems for Stein spaces refer to the vanishing of some of their (co)homology groups in degrees higher than the dimension. We obtain new positive and negative results concerning Artin vanishing for the cohomology of a Stein space relative to a Runge open subset. We also prove an Artin vanishing theorem for the Gal(C/R)-equivariant cohomology of a Gal(C/R)-equivariant Stein space r… ▽ More Artin vanishing theorems for Stein spaces refer to the vanishing of some of their (co)homology groups in degrees higher than the dimension. We obtain new positive and negative results concerning Artin vanishing for the cohomology of a Stein space relative to a Runge open subset. We also prove an Artin vanishing theorem for the Gal(C/R)-equivariant cohomology of a Gal(C/R)-equivariant Stein space relative to the fixed locus. △ Less

Submitted 9 June, 2025; v1 submitted 5 October, 2024; originally announced October 2024.

Comments: 12 pages, final version

MSC Class: 32E10; 32C18; 32E30

Smoothing low-dimensional algebraic cycles [after Kollár and Voisin]

Authors: Olivier Benoist

Abstract: Let $X$ be a smooth projective complex algebraic variety. An old question of Borel and Haefliger asks whether any (possibly singular) algebraic subvariety of $X$ is homologically equivalent to a linear combination with integral coefficients of smooth algebraic subvarieties of $X$. In general, this question is too optimistic, and counterexamples have been known for a long time. The aim of this surv… ▽ More Let $X$ be a smooth projective complex algebraic variety. An old question of Borel and Haefliger asks whether any (possibly singular) algebraic subvariety of $X$ is homologically equivalent to a linear combination with integral coefficients of smooth algebraic subvarieties of $X$. In general, this question is too optimistic, and counterexamples have been known for a long time. The aim of this survey is to explain how János Kollár and Claire Voisin have provided a positive answer to Borel and Haefliger's question, for subvarieties of dimension less than half the dimension of $X$. △ Less

Submitted 4 July, 2024; originally announced July 2024.

Comments: 20 pages, séminaire Bourbaki, novembre 2024, exposé 1228

MSC Class: 14C25

On the smoothability problem with rational coefficients

Authors: Olivier Benoist, Claire Voisin

Abstract: We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the Hartshorne conjecture on complete intersections in projective space. We also solve unconditionally a symplectic variant of this problem. We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the Hartshorne conjecture on complete intersections in projective space. We also solve unconditionally a symplectic variant of this problem. △ Less

Submitted 20 October, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: 13 pages, final version

MSC Class: 14C25; 14J60

The Wu relations in real algebraic geometry

Authors: Olivier Benoist, Olivier Wittenberg

Abstract: We construct and study relations between Chern classes and Galois cohomology classes in the Gal(C/R)-equivariant cohomology of real algebraic varieties with no real points. We give applications to the topology of their sets of complex points, and to sums of squares problems. In particular, we show that -1 is a sum of 2 squares in the function field of any smooth projective real algebraic surface w… ▽ More We construct and study relations between Chern classes and Galois cohomology classes in the Gal(C/R)-equivariant cohomology of real algebraic varieties with no real points. We give applications to the topology of their sets of complex points, and to sums of squares problems. In particular, we show that -1 is a sum of 2 squares in the function field of any smooth projective real algebraic surface with no real points and with vanishing geometric genus, as well as higher-dimensional generalizations of this result. △ Less

Submitted 5 March, 2025; v1 submitted 19 May, 2024; originally announced May 2024.

Comments: 59 pages; v2: added references to Krasnov's work; v3: improved exposition

MSC Class: 14P25; 57R20; 55S10; 11E25

Étale cohomology of algebraic varieties over Stein compacta

Authors: Olivier Benoist

Abstract: We prove a comparison theorem between the étale cohomology of algebraic varieties over Stein compacta and the singular cohomology of their analytifications. We deduce that the field of meromorphic functions in a neighborhood of a connected Stein compact subset of a normal complex space of dimension $n$ has cohomological dimension $n$. As an application of $\textrm{Gal}(\mathbb{C}/\mathbb{R})$-equi… ▽ More We prove a comparison theorem between the étale cohomology of algebraic varieties over Stein compacta and the singular cohomology of their analytifications. We deduce that the field of meromorphic functions in a neighborhood of a connected Stein compact subset of a normal complex space of dimension $n$ has cohomological dimension $n$. As an application of $\textrm{Gal}(\mathbb{C}/\mathbb{R})$-equivariant variants of these results, we obtain a quantitative version of Hilbert's 17th problem on compact subsets of real-analytic spaces. △ Less

Submitted 3 February, 2025; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: 34 pages, final version

MSC Class: 32E10; 14F20; 11E25; 32A20; 12G10; 32C05

Steenrod operations and algebraic classes

Authors: Olivier Benoist

Abstract: Based on a relative Wu theorem in étale cohomology, we study the compatibility of Steenrod operations on Chow groups and on étale cohomology. Using the resulting obstructions to algebraicity, we construct new examples of non-algebraic cohomology classes over various fields ($\mathbb{C}$, $\mathbb{R}$, $\overline{\mathbb{F}}_p$, $\mathbb{F}_q$). We also use Steenrod operations to study the mod… ▽ More Based on a relative Wu theorem in étale cohomology, we study the compatibility of Steenrod operations on Chow groups and on étale cohomology. Using the resulting obstructions to algebraicity, we construct new examples of non-algebraic cohomology classes over various fields ($\mathbb{C}$, $\mathbb{R}$, $\overline{\mathbb{F}}_p$, $\mathbb{F}_q$). We also use Steenrod operations to study the mod $2$ cohomology classes of a compact $\mathcal{C}^{\infty}$ manifold $M$ that are algebraizable, i.e. algebraic on some real algebraic model of $M$. We give new examples of algebraizable and non-algebraizable classes, answering questions of Benedetti, Dedò and Kucharz. △ Less

Submitted 17 June, 2024; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: 33 pages, final version

MSC Class: 14C25; 55S10; 14G15; 14P05

Journal ref: Tunisian J. Math. 7 (2025) 53-89

Smooth subvarieties of Jacobians

Authors: Olivier Benoist, Olivier Debarre

Abstract: We give new examples of algebraic integral cohomology classes on smooth projective complex varieties that are not integral linear combinations of classes of smooth subvarieties. Some of our examples have dimension 6, the lowest possible. The classes that we consider are minimal cohomology classes on Jacobians of very general curves. Our main tool is complex cobordism. We give new examples of algebraic integral cohomology classes on smooth projective complex varieties that are not integral linear combinations of classes of smooth subvarieties. Some of our examples have dimension 6, the lowest possible. The classes that we consider are minimal cohomology classes on Jacobians of very general curves. Our main tool is complex cobordism. △ Less

Submitted 9 June, 2023; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 11 pages, v3: final version

MSC Class: 14K12; 14C25; 57R77

Journal ref: Épijournal de Géométrie Algébrique, Special volume in honour of Claire Voisin (June 12, 2023) epiga:10321

On the bad points of positive semidefinite polynomials

Authors: Olivier Benoist

Abstract: A bad point of a positive semidefinite real polynomial f is a point at which a pole appears in all expressions of f as a sum of squares of rational functions. We show that quartic polynomials in three variables never have bad points. We give examples of positive semidefinite polynomials with a bad point at the origin, that are nevertheless sums of squares of formal power series, answering a questi… ▽ More A bad point of a positive semidefinite real polynomial f is a point at which a pole appears in all expressions of f as a sum of squares of rational functions. We show that quartic polynomials in three variables never have bad points. We give examples of positive semidefinite polynomials with a bad point at the origin, that are nevertheless sums of squares of formal power series, answering a question of Brumfiel. We also give an example of a positive semidefinite polynomial in three variables with a complex bad point that is not real, answering a question of Scheiderer. △ Less

Submitted 23 May, 2022; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: 21 pages, final version

MSC Class: 11E25; 13J30; 13H05

Journal ref: Mathematische Zeitschrift 300 no. 4 (2022), 3383-3403, special issue in honour of Olivier Debarre

On the subvarieties with nonsingular real loci of a real algebraic variety

Authors: Olivier Benoist

Abstract: Let $X$ be a smooth projective real algebraic variety. We give new positive and negative results on the problem of approximating a submanifold of the real locus of $X$ by real loci of subvarieties of $X$, as well as on the problem of determining the subgroups of the Chow groups of $X$ generated by subvarieties with nonsingular real loci, or with empty real loci. Let $X$ be a smooth projective real algebraic variety. We give new positive and negative results on the problem of approximating a submanifold of the real locus of $X$ by real loci of subvarieties of $X$, as well as on the problem of determining the subgroups of the Chow groups of $X$ generated by subvarieties with nonsingular real loci, or with empty real loci. △ Less

Submitted 23 October, 2022; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: 28 pages; v2: improved introduction, Section 4.2 corrected (Lemmas 4.6, 4.7 and 4.9 are new), Section 5 expanded, final version

MSC Class: 14P05; 14C15; 13C40; 55N22

Journal ref: Geom. Topol. 28 (2024) 1693-1725

Two coniveau filtrations

Authors: Olivier Benoist, John Christian Ottem

Abstract: A cohomology class of a smooth complex variety of dimension $n$ has coniveau $\geq c$ if it vanishes in the complement of a closed subvariety of codimension $\geq c$, and has strong coniveau $\geq c$ if it comes by proper pushforward from the cohomology of a smooth variety of dimension $\leq n-c$. We show that these two notions differ in general, both for integral classes on smooth projective vari… ▽ More A cohomology class of a smooth complex variety of dimension $n$ has coniveau $\geq c$ if it vanishes in the complement of a closed subvariety of codimension $\geq c$, and has strong coniveau $\geq c$ if it comes by proper pushforward from the cohomology of a smooth variety of dimension $\leq n-c$. We show that these two notions differ in general, both for integral classes on smooth projective varieties and for rational classes on smooth open varieties. △ Less

Submitted 19 October, 2020; v1 submitted 4 March, 2020; originally announced March 2020.

Comments: 26 pages, final version

Journal ref: Duke Mathematical Journal 170 (2021), 2719-2753

Intermediate Jacobians and rationality over arbitrary fields

Authors: Olivier Benoist, Olivier Wittenberg

Abstract: We prove that a three-dimensional smooth complete intersection of two quadrics over a field k is k-rational if and only if it contains a line defined over k. To do so, we develop a theory of intermediate Jacobians for geometrically rational threefolds over arbitrary, not necessarily perfect, fields. As a consequence, we obtain the first examples of smooth projective varieties over a field k which… ▽ More We prove that a three-dimensional smooth complete intersection of two quadrics over a field k is k-rational if and only if it contains a line defined over k. To do so, we develop a theory of intermediate Jacobians for geometrically rational threefolds over arbitrary, not necessarily perfect, fields. As a consequence, we obtain the first examples of smooth projective varieties over a field k which have a k-point, and are rational over a purely inseparable field extension of k, but not over k. △ Less

Submitted 14 July, 2023; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: 48 pages; in v2: Theorem B is new, Theorem 1.7 is generalized (the previous statement, corrected, is now Corollary 1.8), Lemma 1.19 and Theorem 3.10(iv) are new, Theorem 4.5 (previously 4.7) is improved, Sections 4.5 and 4.6 are new; in v3: Theorem 4.8 now covers separable unirationality; v4: minor typos

Journal ref: Annales Scientifiques de l'École Normale Supérieure 56 no. 4 (2023), 1029-1084

The tight approximation property

Authors: Olivier Benoist, Olivier Wittenberg

Abstract: This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological obstructions to it) by incorporating an approximation condition in the Euclidean topology. We prove that the tight approximation property is a stable birational in… ▽ More This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological obstructions to it) by incorporating an approximation condition in the Euclidean topology. We prove that the tight approximation property is a stable birational invariant, is compatible with fibrations, and satisfies descent under torsors of linear algebraic groups. Its validity for a number of rationally connected varieties follows. Some concrete consequences are: smooth loops in the real locus of a smooth compactification of a real linear algebraic group, or in a smooth cubic hypersurface of dimension at least 2, can be approximated by rational algebraic curves; homogeneous spaces of linear algebraic groups over the function field of a real curve satisfy weak approximation. △ Less

Submitted 14 January, 2021; v1 submitted 25 July, 2019; originally announced July 2019.

Comments: 56 pages; v2: Example 5.4 and Theorem 8.10 strengthened (previous Theorem 8.10 now in Remark 8.12); v3: revised introduction (Theorem A added), Example 5.6 expanded; v4: more detailed proof of Lemma 8.4, improved introduction

Journal ref: Journal für die reine und angewandte Mathematik 776 (2021), 151-200

Sums of squares in function fields over Henselian local fields

Authors: Olivier Benoist

Abstract: We give upper bounds for the level and the Pythagoras number of function fields over fraction fields of integral Henselian excellent local rings. In particular, we show that the Pythagoras number of $\mathbb{R}((x_1,\dots,x_n))$ is $\leq 2^{n-1}$, which answers positively a question of Choi, Dai, Lam and Reznick. We give upper bounds for the level and the Pythagoras number of function fields over fraction fields of integral Henselian excellent local rings. In particular, we show that the Pythagoras number of $\mathbb{R}((x_1,\dots,x_n))$ is $\leq 2^{n-1}$, which answers positively a question of Choi, Dai, Lam and Reznick. △ Less

Submitted 8 November, 2019; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 9 pages, minor revision

MSC Class: 11E25; 14G27; 11R34; 14F20

Journal ref: Mathematische Annalen 376 no. 1 (2020), 683-692

Réduction stable en dimension supérieure [d'après Kollár, Hacon-Xu...]

Authors: Olivier Benoist

Abstract: The moduli space of stable curves of Deligne and Mumford is a compactification of the moduli space of smooth curves of genus >=2 that parametrizes certain nodal curves. It is a powerful tool for the study of algebraic curves. Higher-dimensional analogues were constructed by Kollár, Shepherd-Barron and Alexeev in dimension 2, and by Viehweg in the case of smooth varieties. We will explain the recen… ▽ More The moduli space of stable curves of Deligne and Mumford is a compactification of the moduli space of smooth curves of genus >=2 that parametrizes certain nodal curves. It is a powerful tool for the study of algebraic curves. Higher-dimensional analogues were constructed by Kollár, Shepherd-Barron and Alexeev in dimension 2, and by Viehweg in the case of smooth varieties. We will explain the recent ideas allowing for the construction of these moduli spaces in general, including the stable reduction theorem in higher dimension, which reflects their compactness. L'espace de modules des courbes stables de Deligne et Mumford est une compactification de l'espace de modules des courbes lisses de genre >=2, paramétrant certaines courbes nodales. C'est un outil puissant pour l'étude des courbes algébriques. Des analogues en dimension supérieure ont été construits par Kollár, Shepherd-Barron et Alexeev en dimension 2, et par Viehweg dans le cas des variétés lisses. Nous expliquerons les idées récentes ayant permis la construction de ces espaces de modules en général, notamment le théorème de réduction stable en dimension supérieure, qui reflète leur compacité. △ Less

Submitted 8 November, 2019; v1 submitted 6 April, 2019; originally announced April 2019.

Comments: 33 pages, in French, séminaire Bourbaki, janvier 2019, exposé 1155, final version

MSC Class: 14J10; 14D22; 14E30; 14B05

Journal ref: Asterisque No. 422 (2020), Exp. No. 1155, 291--326

The Clemens-Griffiths method over non-closed fields

Authors: Olivier Benoist, Olivier Wittenberg

Abstract: We use the Clemens-Griffiths method to construct smooth projective threefolds, over any field $k$ admitting a separable quadratic extension, that are $k$-unirational and $\bar{k}$-rational but not $k$-rational. When $k=\mathbb{R}$, we can moreover ensure that their real locus is diffeomorphic to the real locus of a smooth projective $\mathbb{R}$-rational variety and that all their unramified cohom… ▽ More We use the Clemens-Griffiths method to construct smooth projective threefolds, over any field $k$ admitting a separable quadratic extension, that are $k$-unirational and $\bar{k}$-rational but not $k$-rational. When $k=\mathbb{R}$, we can moreover ensure that their real locus is diffeomorphic to the real locus of a smooth projective $\mathbb{R}$-rational variety and that all their unramified cohomology groups are trivial. △ Less

Submitted 18 December, 2019; v1 submitted 19 March, 2019; originally announced March 2019.

Comments: 26 pages; minor revision

Journal ref: Algebraic Geometry 7, no. 6 (2020), 696-721

The period-index problem for real surfaces

Authors: Olivier Benoist

Abstract: We study when the period and the index of a class in the Brauer group of the function field of a real algebraic surface coincide. We prove that it is always the case if the surface has no real points (more generally, if the class vanishes in restriction to the real points of the locus where it is well-defined), and give a necessary and sufficient condition for unramified classes. As an application… ▽ More We study when the period and the index of a class in the Brauer group of the function field of a real algebraic surface coincide. We prove that it is always the case if the surface has no real points (more generally, if the class vanishes in restriction to the real points of the locus where it is well-defined), and give a necessary and sufficient condition for unramified classes. As an application, we show that the u-invariant of the function field of a real algebraic surface is equal to 4, answering questions of Lang and Pfister. Our strategy relies on a new Hodge-theoretic approach to de Jong's period-index theorem on complex surfaces. △ Less

Submitted 15 May, 2019; v1 submitted 10 April, 2018; originally announced April 2018.

Comments: 39 pages, minor modifications

MSC Class: 16K50; 14P99; 11E04

Journal ref: Publications mathématiques de l'IHES (2019), 130(1), 63-110

Failure of the integral Hodge conjecture for threefolds of Kodaira dimension zero

Authors: Olivier Benoist, John Christian Ottem

Abstract: We prove that the product of an Enriques surface and a very general curve of genus at least 1 does not satisfy the integral Hodge conjecture for 1-cycles. This provides the first examples of smooth projective complex threefolds of Kodaira dimension zero for which the integral Hodge conjecture fails, and the first examples of non-algebraic torsion cohomology classes of degree 4 on smooth projective… ▽ More We prove that the product of an Enriques surface and a very general curve of genus at least 1 does not satisfy the integral Hodge conjecture for 1-cycles. This provides the first examples of smooth projective complex threefolds of Kodaira dimension zero for which the integral Hodge conjecture fails, and the first examples of non-algebraic torsion cohomology classes of degree 4 on smooth projective complex threefolds. △ Less

Submitted 21 March, 2018; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 7 pages, final version

MSC Class: 14C25; 14J30; 14J28

Journal ref: Commentarii Mathematici Helvetici 95 (2020), 27-35

On the integral Hodge conjecture for real varieties, II

Authors: Olivier Benoist, Olivier Wittenberg

Abstract: We establish the real integral Hodge conjecture for 1-cycles on various classes of uniruled threefolds (conic bundles, Fano threefolds with no real point, some del Pezzo fibrations) and on conic bundles over higher-dimensional bases which themselves satisfy the real integral Hodge conjecture for 1-cycles. In addition, we show that rationally connected threefolds over non-archimedean real closed fi… ▽ More We establish the real integral Hodge conjecture for 1-cycles on various classes of uniruled threefolds (conic bundles, Fano threefolds with no real point, some del Pezzo fibrations) and on conic bundles over higher-dimensional bases which themselves satisfy the real integral Hodge conjecture for 1-cycles. In addition, we show that rationally connected threefolds over non-archimedean real closed fields do not satisfy the real integral Hodge conjecture in general and that over such fields, Bröcker's EPT theorem remains true for simply connected surfaces of geometric genus zero but fails for some K3 surfaces. △ Less

Submitted 21 October, 2019; v1 submitted 2 January, 2018; originally announced January 2018.

Comments: 57 pages; v2: minor modifications, extended introduction; v3: Theorem 9.23 extended to higher dimension

Journal ref: Journal de l'École Polytechnique 7 (2020), 373-429

On the integral Hodge conjecture for real varieties, I

Authors: Olivier Benoist, Olivier Wittenberg

Abstract: We formulate the "real integral Hodge conjecture", a version of the integral Hodge conjecture for real varieties, and raise the question of its validity for cycles of dimension 1 on uniruled and Calabi-Yau threefolds and on rationally connected varieties. We relate it to the problem of determining the image of the Borel-Haefliger cycle class map for 1-cycles, with the problem of deciding whether a… ▽ More We formulate the "real integral Hodge conjecture", a version of the integral Hodge conjecture for real varieties, and raise the question of its validity for cycles of dimension 1 on uniruled and Calabi-Yau threefolds and on rationally connected varieties. We relate it to the problem of determining the image of the Borel-Haefliger cycle class map for 1-cycles, with the problem of deciding whether a real variety with no real point contains a curve of even geometric genus and with the problem of computing the torsion of the Chow group of 1-cycles of real threefolds. New results about these problems are obtained along the way. △ Less

Submitted 11 March, 2020; v1 submitted 2 January, 2018; originally announced January 2018.

Comments: 67 pages; v2: minor modifications; v3: Section 1.1.3 slightly expanded, final version

Journal ref: Inventiones mathematicae 222 (2020), 1-77

Sums of three squares and Noether-Lefschetz loci

Authors: Olivier Benoist

Abstract: We show that the set of real polynomials in two variables that are sums of three squares of rational functions is dense in the set of those that are positive semidefinite. We also prove that the set of real surfaces in P^3 whose function field has level 2 is dense in the set of those that have no real points. We show that the set of real polynomials in two variables that are sums of three squares of rational functions is dense in the set of those that are positive semidefinite. We also prove that the set of real surfaces in P^3 whose function field has level 2 is dense in the set of those that have no real points. △ Less

Submitted 18 December, 2017; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 17 pages, presentation improved

MSC Class: 11E25; 14P99; 14D07; 14M12

Journal ref: Compositio Math. 154 (2018) 1048-1065

On Hilbert's 17th problem in low degree

Authors: Olivier Benoist

Abstract: Artin solved Hilbert's 17th problem, proving that a real polynomial in $n$ variables that is positive semidefinite is a sum of squares of rational functions, and Pfister showed that only $2^n$ squares are needed. In this paper, we investigate situations where Pfister's theorem may be improved. We show that a real polynomial of degree $d$ in $n$ variables that is positive semidefinite is a sum of… ▽ More Artin solved Hilbert's 17th problem, proving that a real polynomial in $n$ variables that is positive semidefinite is a sum of squares of rational functions, and Pfister showed that only $2^n$ squares are needed. In this paper, we investigate situations where Pfister's theorem may be improved. We show that a real polynomial of degree $d$ in $n$ variables that is positive semidefinite is a sum of $2^n-1$ squares of rational functions if $d\leq 2n-2$. If $n$ is even, or equal to $3$ or $5$, this result also holds for $d=2n$. △ Less

Submitted 3 July, 2017; v1 submitted 23 February, 2016; originally announced February 2016.

Comments: 25 pages, minor modifications

MSC Class: 11E25; 14F20; 14P99

Journal ref: Alg. Number Th. 11 (2017) 929-959

Construction de courbes sur les surfaces K3 [d'après Bogomolov-Hassett-Tschinkel, Charles, Li-Liedtke, Madapusi Pera, Maulik...]

Authors: Olivier Benoist

Abstract: We report on recent results concerning the construction of curves on K3 surfaces: the proof of the Tate conjecture for K3 surfaces in odd characteristic (after Maulik, Charles and Madapusi Pera), and the construction of infinitely many rational curves on many K3 surfaces (after Bogomolov-Hassett-Tschinkel and Li-Liedtke). We report on recent results concerning the construction of curves on K3 surfaces: the proof of the Tate conjecture for K3 surfaces in odd characteristic (after Maulik, Charles and Madapusi Pera), and the construction of infinitely many rational curves on many K3 surfaces (after Bogomolov-Hassett-Tschinkel and Li-Liedtke). △ Less

Submitted 23 December, 2014; v1 submitted 22 December, 2014; originally announced December 2014.

Comments: 33 pages, in French, séminaire Bourbaki, mars 2014, exposé 1081

MSC Class: 14J28; 14C25; 14C20; 14C34; 14G35

Journal ref: Asterisque No. 367-368 (2015), Exp. No. 1081, 219--253

Complete families of smooth space curves and strong semistability

Authors: Olivier Benoist

Abstract: We construct the first non-trivial examples of complete families of non-degenerate smooth space curves, and show that the base of such a family cannot be a rational curve. Both results rely on the study of the strong semistability of certain vector bundles. We construct the first non-trivial examples of complete families of non-degenerate smooth space curves, and show that the base of such a family cannot be a rational curve. Both results rely on the study of the strong semistability of certain vector bundles. △ Less

Submitted 27 March, 2018; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: 16 pages, final version

MSC Class: 14H50; 14C05; 14H60; 13A35; 13D40

Journal ref: Math. Nachrichten 291 no. 16 (2018), 2354-2366

On the birational geometry of the parameter space for codimension 2 complete intersections

Authors: Olivier Benoist

Abstract: Codimension 2 complete intersections in P^N have a natural parameter space \bar{H}: a projective bundle over a projective space given by the choice of the lower degree equation and of the higher degree equation up to a multiple of the first. Motivated by the question of existence of complete families of smooth complete intersections, we study the birational geometry of \bar{H}. In a first part, we… ▽ More Codimension 2 complete intersections in P^N have a natural parameter space \bar{H}: a projective bundle over a projective space given by the choice of the lower degree equation and of the higher degree equation up to a multiple of the first. Motivated by the question of existence of complete families of smooth complete intersections, we study the birational geometry of \bar{H}. In a first part, we show that the first contraction of the MMP for \bar{H} always exists and we describe it. Then, we show that it is possible to run the full MMP for \bar{H}, and we describe it, in two degenerate cases. As an application, we prove the existence of complete curves in the punctual Hilbert scheme of complete intersection subschemes of A^2. △ Less

Submitted 19 December, 2012; originally announced December 2012.

Comments: 33 pages, in english

MSC Class: 14M10; 14C05; 14E30; 14L24

Quasi-projectivity of normal varieties

Authors: Olivier Benoist

Abstract: We prove that a normal variety contains finitely many maximal quasi-projective open subvarieties. As a corollary, we obtain the following generalization of the Chevalley-Kleiman projectivity criterion : a normal variety is quasi-projective if and only if every finite subset is contained in an affine open subvariety. The proof builds on a strategy of Wlodarczyk, using results of Boissiere, Gabber a… ▽ More We prove that a normal variety contains finitely many maximal quasi-projective open subvarieties. As a corollary, we obtain the following generalization of the Chevalley-Kleiman projectivity criterion : a normal variety is quasi-projective if and only if every finite subset is contained in an affine open subvariety. The proof builds on a strategy of Wlodarczyk, using results of Boissiere, Gabber and Serman. △ Less

Submitted 10 September, 2012; v1 submitted 5 December, 2011; originally announced December 2011.

Comments: 7 pages, in english

MSC Class: 14C20; 14C22; 14J17

Journal ref: Int Math Res Notices (2013) 2013 (17): 3878-3885

Quelques espaces de modules d'intersections complètes lisses qui sont quasi-projectifs

Authors: Olivier Benoist

Abstract: For some values of the degrees of the equations, we show, using geometric invariant theory, that the coarse moduli space of smooth complete intersections in P^N is quasi-projective. ----- Pour certaines valeurs des degres des equations, on montre, a l'aide de theorie geometrique des invariants, que l'espace de modules grossier des intersections completes lisses dans P^N est quasi-projectif. For some values of the degrees of the equations, we show, using geometric invariant theory, that the coarse moduli space of smooth complete intersections in P^N is quasi-projective. ----- Pour certaines valeurs des degres des equations, on montre, a l'aide de theorie geometrique des invariants, que l'espace de modules grossier des intersections completes lisses dans P^N est quasi-projectif. △ Less

Submitted 10 September, 2012; v1 submitted 7 November, 2011; originally announced November 2011.

Comments: 27 pages, in french

MSC Class: 14D22; 14M10; 14L24

Journal ref: JEMS 16, Issue 8 (2014), 1749-1774

Séparation et propriété de Deligne-Mumford des champs de modules d'intersections complètes lisses

Authors: Olivier Benoist

Abstract: We show that the moduli stacks of smooth complete intersections in P^N polarized by O(1) are separated (except for quadrics) and Deligne-Mumford (apart from a few exceptions). ----- On montre que les champs de modules d'intersections completes lisses dans P^N polarisees par O(1) sont separes (sauf dans le cas des quadriques) et de Deligne-Mumford (sauf pour quelques exceptions). We show that the moduli stacks of smooth complete intersections in P^N polarized by O(1) are separated (except for quadrics) and Deligne-Mumford (apart from a few exceptions). ----- On montre que les champs de modules d'intersections completes lisses dans P^N polarisees par O(1) sont separes (sauf dans le cas des quadriques) et de Deligne-Mumford (sauf pour quelques exceptions). △ Less

Submitted 10 September, 2012; v1 submitted 7 November, 2011; originally announced November 2011.

Comments: 24 pages, in french

MSC Class: 14D23; 14M10; 14J50

Journal ref: J. London Math. Soc. (2013) 87 (1): 138-156

Degrés d'homogénéité de l'ensemble des intersections complètes singulières

Authors: Olivier Benoist

Abstract: A classical result of Boole shows that, in characteristic 0, the set of singular degree d hypersurfaces in P^N is a divisor of degree (N+1)(d-1)^N in the projective space of all hypersurfaces. We give here analogous formulae for complete intersections in P^N of arbitrary codimension and degrees, in any characteristic. ----- Un resultat classique de Boole montre que, sur un corps de caracterist… ▽ More A classical result of Boole shows that, in characteristic 0, the set of singular degree d hypersurfaces in P^N is a divisor of degree (N+1)(d-1)^N in the projective space of all hypersurfaces. We give here analogous formulae for complete intersections in P^N of arbitrary codimension and degrees, in any characteristic. ----- Un resultat classique de Boole montre que, sur un corps de caracteristique 0, l'ensemble des hypersurfaces singulieres de degre d dans P^N est un diviseur de degre (N+1)(d-1)^N de l'espace projectif de toutes les hypersurfaces. On obtient ici des formules analogues pour des intersections completes de codimension et de degres quelconques dans P^N, en toute caracteristique. △ Less

Submitted 10 September, 2012; v1 submitted 3 September, 2010; originally announced September 2010.

Comments: 23 pages, in french

MSC Class: 14M10; 14N05; 14M25

Journal ref: Annales de l'institut Fourier, 62 no. 3 (2012), p. 1189-1214

Le théorème de Bertini en famille

Authors: Olivier Benoist

Abstract: We give upper bounds for the dimension of the set of hypersurfaces of $\mathbb{P}^N$ whose intersection with a fixed integral projective variety is not integral. Our upper bounds are optimal. As an application, we construct, when possible, hypersurfaces whose intersections with all the varieties of a family of integral projective varieties are integral. The degree of the hypersurfaces we constru… ▽ More We give upper bounds for the dimension of the set of hypersurfaces of $\mathbb{P}^N$ whose intersection with a fixed integral projective variety is not integral. Our upper bounds are optimal. As an application, we construct, when possible, hypersurfaces whose intersections with all the varieties of a family of integral projective varieties are integral. The degree of the hypersurfaces we construct is explicit. ----- On majore la dimension de l'ensemble des hypersurfaces de $\mathbb{P}^N$ dont l'intersection avec une variété projective intègre fixée n'est pas intègre. Les majorations obtenues sont optimales. Comme application, on construit, quand c'est possible, des hypersurfaces dont les intersections avec toutes les variétés d'une famille de variétés projectives intègres sont intègres. Le degré des hypersurfaces construites est explicite. △ Less

Submitted 5 November, 2009; originally announced November 2009.

Comments: 14 pages, in french

MSC Class: 14N05; 14J70

Journal ref: Bulletin de la SMF 139, fascicule 4 (2011), 555-569