Source author record

David Harari

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.NT

Catalog footprint

Research overview

10works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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

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.

preprint2020arXiv

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

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.

preprint2019arXiv

Artin-Mazur-Milne duality for fppf cohomology

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.

preprint2014arXiv

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

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.

preprint2014arXiv

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

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.

preprint2014arXiv

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

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.

preprint2013arXiv

Approximation forte en famille

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$ .

preprint2012arXiv

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

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.

preprint2010arXiv

Descent obstruction and fundamental exact sequence

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.

preprint2010arXiv

Descent theory for open varieties

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

David Harari

Research overview

Is this your work?

10 publications

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

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

Artin-Mazur-Milne duality for fppf cohomology

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

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

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

Approximation forte en famille

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

Descent obstruction and fundamental exact sequence

Descent theory for open varieties

See the researcher in context

Building this map preview

David Harari

Research overview

Is this your work?

10 publications

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

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

Artin-Mazur-Milne duality for fppf cohomology

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

Local-global questions for tori over ppp-adic function fields

Weak approximation for tori over ppp-adic function fields

Approximation forte en famille

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

Descent obstruction and fundamental exact sequence

Descent theory for open varieties

See the researcher in context

Building this map preview

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

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