Showing 1–15 of 15 results for author: Harari, D

On Tate--Shafarevich groups of one-dimensional families of commutative group schemes over number fields

Authors: David Harari, Tamás Szamuely

Abstract: Given a smooth geometrically connected curve $C$ over a field $k$ and a smooth commutative group scheme $G$ of finite type over the function field $K$ of $C$ we study the Tate--Shafarevich groups given by elements of $H^1(K,G)$ locally trivial at completions of $K$ associated with closed points of $C$. When $G$ comes from a $k$-group scheme and $k$ is a number field (or $k$ is a finitely generated… ▽ More Given a smooth geometrically connected curve $C$ over a field $k$ and a smooth commutative group scheme $G$ of finite type over the function field $K$ of $C$ we study the Tate--Shafarevich groups given by elements of $H^1(K,G)$ locally trivial at completions of $K$ associated with closed points of $C$. When $G$ comes from a $k$-group scheme and $k$ is a number field (or $k$ is a finitely generated field and $C$ has a $k$-point) we prove that the Tate--Shafarevich group is finite, generalizing a result of Saïdi and Tamagawa for abelian varieties. We also give examples of nontrivial Tate--Shafarevich groups in the case when $G$ is a torus and prove other related statements. △ Less

Submitted 17 May, 2022; v1 submitted 25 October, 2021; originally announced October 2021.

Comments: v3: final version, minor revision

Local-global principles for homogeneous spaces of reductive groups over global function fields

Authors: Cyril Demarche, David Harari

Abstract: Let $K$ be a global field of positive characteristic. We prove that the Brauer-Manin obstructions to the Hasse principle, to weak approximation and to strong approximation are the only ones for homogeneous spaces of reductive groups with reductive stabilizers. The methods involve abelianization techniques and arithmetic duality theorems for complexes of tori over K. Let $K$ be a global field of positive characteristic. We prove that the Brauer-Manin obstructions to the Hasse principle, to weak approximation and to strong approximation are the only ones for homogeneous spaces of reductive groups with reductive stabilizers. The methods involve abelianization techniques and arithmetic duality theorems for complexes of tori over K. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Comments: 31 pages

MSC Class: 14G12; 11G35; 20G30

Duality for complexes of tori over a global field of positive characteristic

Authors: Cyril Demarche, David Harari

Abstract: If K is a number field, arithmetic duality theorems for tori and complexes of tori over K are crucial to understand local-global principles for linear algebraic groups over K. When K is a global field of positive characteristic, we prove similar arithmetic duality theorems, including a Poitou-Tate exact sequence for Galois hypercohomology of complexes of tori. One of the main ingredients is Artin-… ▽ More If K is a number field, arithmetic duality theorems for tori and complexes of tori over K are crucial to understand local-global principles for linear algebraic groups over K. When K is a global field of positive characteristic, we prove similar arithmetic duality theorems, including a Poitou-Tate exact sequence for Galois hypercohomology of complexes of tori. One of the main ingredients is Artin-Mazur-Milne duality theorem for fppf cohomology of finite flat commutative group schemes. △ Less

Submitted 28 January, 2020; originally announced January 2020.

Comments: 40 pages

MSC Class: 11E72; 11G20; 14F20; 14H25

Artin-Mazur-Milne duality for fppf cohomology

Authors: Cyril Demarche, David Harari

Abstract: We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in étale cohomology. We also prove some finiteness and vanishing statements. We provide a complete proof of a duality theorem for the fppf cohomology of either a curve over a finite field or a ring of integers of a number field, which extends the classical Artin-Verdier Theorem in étale cohomology. We also prove some finiteness and vanishing statements. △ Less

Submitted 26 August, 2019; v1 submitted 11 April, 2018; originally announced April 2018.

Comments: 34 pages

Journal ref: Alg. Number Th. 13 (2019) 2323-2357

L'espace adélique d'un tore sur un corps de fonctions

Authors: David Harari, Diego Izquierdo

Abstract: Let $k$ be a field of characteristic 0 and let $K$ be the function field of a smooth projective geometrically integral $k$-curve $X$. Let $T$ be a $K$-torus. In this article, we aim at studying the space of adelic points $T(S,\mathbb{A}_K)$ of $T$ outside a finite set $S$ of closed points of $X$. We start by proving that the group $T(K)$ of rational points of $T$ is always discrete (hence closed)… ▽ More Let $k$ be a field of characteristic 0 and let $K$ be the function field of a smooth projective geometrically integral $k$-curve $X$. Let $T$ be a $K$-torus. In this article, we aim at studying the space of adelic points $T(S,\mathbb{A}_K)$ of $T$ outside a finite set $S$ of closed points of $X$. We start by proving that the group $T(K)$ of rational points of $T$ is always discrete (hence closed) in $T(S,\mathbb{A}_K)$. We then describe the quotient $T(\emptyset,\mathbb{A}_K)/T(K)$ in each of the following three cases: $k$ is an algebraically closed field, $k$ is the field of Laurent series $\mathbb{C}((t))$, and $k$ is a $p$-adic field. Soient $k$ un corps de caractéristique 0 et $K$ le corps des fonctions d'une $k$-courbe projective lisse géométriquement intègre $X$. Soit $T$ un $K$-tore. Dans cet article, on cherche à étudier l'espace des points adéliques $T(S,\mathbb{A}_K)$ de $T$ hors d'un ensemble fini $S$ de points fermés de $X$. On commence par montrer que le groupe $T(K)$ des points rationnels de $T$ est toujours fermé discret dans $T(S,\mathbb{A}_K)$. On décrit ensuite le quotient $T(\emptyset,\mathbb{A}_K)/T(K)$ dans chacun des trois cas suivants: $k$ corps algébriquement clos, $k=\mathbb{C}((t))$ et $k$ corps $p$-adique. △ Less

Submitted 6 February, 2018; v1 submitted 4 January, 2018; originally announced January 2018.

Comments: 30 pages, in French. Theorem 4.5 has been improved. Section 4.2 has been added

MSC Class: 11E72; 12G05; 14G05; 14G27

Dualité et principe local-global pour les tores sur une courbe au-dessus de C((t))

Authors: Jean-Louis Colliot-Thélène, David Harari

Abstract: Pour $K$ un corps global (corps de nombres ou corps de fonctions d'une variable sur un corps fini $F$), on dispose de théorèmes de dualité classiques (Tate, Poitou, Nakayama) pour la cohomologie galoisienne à valeurs dans des tores et des modules abéliens finis. Nous établissons de tels théorèmes pour $K$ le corps des fonctions d'une courbe projective et lisse sur le corps $F={\bf C}((t))$ des s… ▽ More Pour $K$ un corps global (corps de nombres ou corps de fonctions d'une variable sur un corps fini $F$), on dispose de théorèmes de dualité classiques (Tate, Poitou, Nakayama) pour la cohomologie galoisienne à valeurs dans des tores et des modules abéliens finis. Nous établissons de tels théorèmes pour $K$ le corps des fonctions d'une courbe projective et lisse sur le corps $F={\bf C}((t))$ des séries formelles en une variable sur le corps des complexes. Cela permet de contrôler le défaut du principe de Hasse et l'approximation faible pour les espaces homogènes sous un tore. Il y a ici des différences avec le cas classique ($K$ corps global), et aussi avec le cas récemment étudié où $K$ est un corps de fonctions d'une variable sur un corps $p$-adique. Par exemple, la $K$-rationalité d'un tore n'implique pas ici la validité du principe de Hasse pour ses espaces principaux homogènes. ---------------- Over a global field $K$ (number field, or function field of a curve over a finite field $F$), arithmetic duality theorems for the Galois cohomology of tori and finite Galois modules have long been known. More recent work investigates the case where $K$ is the function fields of of a curve over a $p$-adic field. For $K$ the function field of a curve over the formal series field $F={\bf C}((t))$, we establish analogous duality theorems. We thus control the obstruction to the local-global principle and to weak approximation for homogeneous spaces of tori. There are differences with the afore described cases. For example the Hasse principle need not hold for principal homogeneous spaces of a $K$-rational torus. △ Less

Submitted 16 April, 2014; originally announced April 2014.

Comments: 60 pages, in French

MSC Class: 11E72; 12G05; 14G05; 14G27

Weak approximation for tori over $p$-adic function fields

Authors: David Harari, Claus Scheiderer, Tamás Szamuely

Abstract: This is the companion piece to "Local-global questions for tori over p-adic function fields" by the first and third authors. We study local-global questions for Galois cohomology over the function field of a curve defined over a p-adic field, the main focus here being weak approximation of rational points. We construct a 9-term Poitou--Tate type exact sequence for tori over a field as above (and a… ▽ More This is the companion piece to "Local-global questions for tori over p-adic function fields" by the first and third authors. We study local-global questions for Galois cohomology over the function field of a curve defined over a p-adic field, the main focus here being weak approximation of rational points. We construct a 9-term Poitou--Tate type exact sequence for tori over a field as above (and also a 12-term sequence for finite modules). Like in the number field case, part of the sequence can then be used to analyze the defect of weak approximation for a torus. We also show that the defect of weak approximation is controlled by a certain subgroup of the third unramified cohomology group of the torus. △ Less

Submitted 27 January, 2014; v1 submitted 17 July, 2013; originally announced July 2013.

Comments: final version, to appear in IMRN

Local-global questions for tori over $p$-adic function fields

Authors: David Harari, Tamás Szamuely

Abstract: We study local-global questions for Galois cohomology over the function field of a curve defined over a p-adic field (a field of cohomological dimension 3). We define Tate-Shafarevich groups of a commutative group scheme via cohomology classes locally trivial at each completion of the base field coming from a closed point of the curve. In the case of a torus we establish a perfect duality between… ▽ More We study local-global questions for Galois cohomology over the function field of a curve defined over a p-adic field (a field of cohomological dimension 3). We define Tate-Shafarevich groups of a commutative group scheme via cohomology classes locally trivial at each completion of the base field coming from a closed point of the curve. In the case of a torus we establish a perfect duality between the first Tate-Shafarevich group of the torus and the second Tate-Shafarevich group of the dual torus. As an application, we show that the failure of the local-global principle for rational points on principal homogeneous spaces under tori is controlled by a certain subquotient of a third etale cohomology group. We also prove a generalization to principal homogeneous spaces of certain reductive group schemes in the case when the base curve has good reduction. △ Less

Submitted 14 April, 2014; v1 submitted 17 July, 2013; originally announced July 2013.

Comments: Final version, to appear in J. Algebraic Geometry

Approximation forte en famille

Authors: Jean-Louis Colliot-Thélène, David Harari

Abstract: Let $k$ be a number field and $X$ a smooth integral affine variety equipped with a morphism $f : X \to A^1_k$ to the affine line. Assume that all fibres of $f$ are split, for instance that they are geometrically integral. Assume that the generic fibre of $f$ is a homogeneous space of a simply connected, almost simple, semisimple group $G/k(t)$, and that the geometric stabilizers are connected redu… ▽ More Let $k$ be a number field and $X$ a smooth integral affine variety equipped with a morphism $f : X \to A^1_k$ to the affine line. Assume that all fibres of $f$ are split, for instance that they are geometrically integral. Assume that the generic fibre of $f$ is a homogeneous space of a simply connected, almost simple, semisimple group $G/k(t)$, and that the geometric stabilizers are connected reductive groups. Let $v$ be a place of $k$ such that the fibration $f$ acquires a rational section over the completion $k_v$ at $v$. Assume moreover that at almost all points $x \in A^1(k_v)$ the specialized group $G_x$ is isotropic over $k_v$. If the Brauer group of $X$ is reduced to the Brauer group of $k$, then strong approximation holds for $X$ away from the place $v$. △ Less

Submitted 16 July, 2013; v1 submitted 4 September, 2012; originally announced September 2012.

Comments: (July 16th, 2013) The summary is correct, but as Dasheng Wei pointed out to us, there was a mistake in a proof in the previous versions of the paper. Section 3 has been rewritten. Alongside with a technique from earlier papers by the second named author, a new technical tool is Proposition 3.4, which combines strong approximation with a specific proof of Hilbert's irreducibility theorem

MSC Class: 11G35; 14G05; 14G25; 11E99; 14F22; 20G35

Complexes de groupes de type multiplicatif et groupe de Brauer non ramifié des espaces homogènes

Authors: Mikhail Borovoi, Cyril Demarche, David Harari

Abstract: Let k be a field, G a smooth connected linear algebraic group and X a homogeneous space of G over k, such that the geometric stabilizers are extensions of a smooth group of multiplicative type by a smooth connected characterfree group. If k has characteristic zero and if X^c is a smooth compactification of X over k, we obtain a formula for the algebraic Brauer group of X^c. Several variants are ob… ▽ More Let k be a field, G a smooth connected linear algebraic group and X a homogeneous space of G over k, such that the geometric stabilizers are extensions of a smooth group of multiplicative type by a smooth connected characterfree group. If k has characteristic zero and if X^c is a smooth compactification of X over k, we obtain a formula for the algebraic Brauer group of X^c. Several variants are obtained in positive characteristic p, including the finite field case and the global field case, where the formulae describe the prime-to-p part of the algebraic unramified Brauer group of X, without assuming the existence of a smooth compactification of X. Moreover, assuming that stabilizers are connected, then our formulae hold for the prime-to-p part of the whole unramified Brauer group. △ Less

Submitted 27 March, 2012; originally announced March 2012.

Comments: 42 pages

MSC Class: 14M17

Journal ref: Ann. Sci. Éc. Norm. Supér. (4), 46 (2013), 651-692

Descent theory for open varieties

Authors: David Harari, Alexei N. Skorobogatov

Abstract: We extend the descent theory of Colliot-Thélène and Sansuc to arbitrary smooth algebraic varieties by removing the condition that every invertible regular function is constant. This links the Brauer--Manin obstruction for integral points on arithmetic schemes to the obstructions defined by torsors under groups of multiplicative type. We extend the descent theory of Colliot-Thélène and Sansuc to arbitrary smooth algebraic varieties by removing the condition that every invertible regular function is constant. This links the Brauer--Manin obstruction for integral points on arithmetic schemes to the obstructions defined by torsors under groups of multiplicative type. △ Less

Submitted 8 December, 2010; originally announced December 2010.

Comments: 28 pages

MSC Class: 14G05; 11G35; 14F22

Descent obstruction and fundamental exact sequence

Authors: David Harari, Jakob Stix

Abstract: A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite k-groups G, in view of a local-global interpolation property for sections of the fundamental group short exact sequence of X/k. There are applications to the Brauer-Ma… ▽ More A torsor under a k-group scheme G on a variety X over a number field k imposes a descent obstruction against the existence of rational points on X. We discuss the finite descent obstruction, that is for all such torsors under finite k-groups G, in view of a local-global interpolation property for sections of the fundamental group short exact sequence of X/k. There are applications to the Brauer-Manin obstruction, to the descent obstruction by torsors under linear groups, and to the birational version of Grothendieck's section conjecture over number fields. In particular, we obtain examples of families of curves over number fields, such that the birational section conjecture is true in a non-trivial way. △ Less

Submitted 26 May, 2010; v1 submitted 7 May, 2010; originally announced May 2010.

Comments: 20 pages - in this second version the applications (section 3) are reorganised as "abelian" applications (section 3) and "non-abelian" applications (section 4)

MSC Class: 14H30; 14F35; 14G05

Galois sections for abelianized fundamental groups

Authors: David Harari, Tamas Szamuely

Abstract: Given a smooth projective curve $X$ of genus at least 2 over a number field $k$, Grothendieck's Section Conjecture predicts that the canonical projection from the étale fundamental group of $X$ onto the absolute Galois group of $k$ has a section if and only if the curve has a rational point. We show that there exist curves where the above map has a section over each completion of $k$ but not ove… ▽ More Given a smooth projective curve $X$ of genus at least 2 over a number field $k$, Grothendieck's Section Conjecture predicts that the canonical projection from the étale fundamental group of $X$ onto the absolute Galois group of $k$ has a section if and only if the curve has a rational point. We show that there exist curves where the above map has a section over each completion of $k$ but not over $k$. In the appendix Victor Flynn gives explicit examples in genus 2. Our result is a consequence of a more general investigation of the existence of sections for the projection of the étale fundamental group `with abelianized geometric part' onto the Galois group. We give a criterion for the existence of sections in arbitrary dimension and over arbitrary perfect fields, and then study the case of curves over local and global fields more closely. We also point out the relation to the elementary obstruction of Colliot-Thélène and Sansuc. △ Less

Submitted 9 April, 2009; v1 submitted 19 August, 2008; originally announced August 2008.

Comments: This is the published version, except for a characteristic 0 assumption added in Section 5 which was unfortunately omitted there. Thanks to O. Wittenberg for noticing it

MSC Class: 14H30; 14H25

Local-global principles for 1-motives

Authors: David Harari, Tamas Szamuely

Abstract: Building upon our arithmetic duality theorems for 1-motives, we prove that the Manin obstruction related to a finite subquotient $\Be (X)$ of the Brauer group is the only obstruction to the Hasse principle for rational points on torsors under semiabelian varieties over a number field, assuming the finiteness of the Tate-Shaferevich group of the abelian quotient. This theorem answers a question b… ▽ More Building upon our arithmetic duality theorems for 1-motives, we prove that the Manin obstruction related to a finite subquotient $\Be (X)$ of the Brauer group is the only obstruction to the Hasse principle for rational points on torsors under semiabelian varieties over a number field, assuming the finiteness of the Tate-Shaferevich group of the abelian quotient. This theorem answers a question by Skorobogatov in the semiabelian case and is a key ingredient of recent work on the elementary obstruction for homogeneous spaces over number fields. We also establish a Cassels-Tate type dual exact sequence for 1-motives, and give an application to weak approximation. △ Less

Submitted 28 September, 2007; v1 submitted 28 March, 2007; originally announced March 2007.

Comments: 23 pages, minor modifications

MSC Class: 14G25

Arithmetic Duality Theorems for 1-Motives

Authors: David Harari, Tamas Szamuely

Abstract: We prove several duality theorems for the Galois and etale cohomology of 1-motives defined over local and global fields and establish a 12-term Poitou-Tate type exact sequence. The results give a common generalisation and sharpening of well-known theorems by Tate on abelian varieties as well as results by Tate/Nakayama and Kottwitz on algebraic tori. We prove several duality theorems for the Galois and etale cohomology of 1-motives defined over local and global fields and establish a 12-term Poitou-Tate type exact sequence. The results give a common generalisation and sharpening of well-known theorems by Tate on abelian varieties as well as results by Tate/Nakayama and Kottwitz on algebraic tori. △ Less

Submitted 2 February, 2004; v1 submitted 29 April, 2003; originally announced April 2003.

Comments: 44 pages, LaTeX, final version. Section 5 substantially rewritten

MSC Class: 14G25; 14G20; 14K15