Showing 1–14 of 14 results for author: Szamuely, T

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

A generalization of Beilinson's geometric height pairing

Authors: Damian Rössler, Tamás Szamuely

Abstract: In the first section of his seminal paper on height pairings, Beilinson constructed an $\ell$-adic height pairing for rational Chow groups of homologically trivial cycles of complementary codimension on smooth projective varieties over the function field of a curve over an algebraically closed field, and asked about an generalization to higher dimensional bases. In this paper we answer Beilinson's… ▽ More In the first section of his seminal paper on height pairings, Beilinson constructed an $\ell$-adic height pairing for rational Chow groups of homologically trivial cycles of complementary codimension on smooth projective varieties over the function field of a curve over an algebraically closed field, and asked about an generalization to higher dimensional bases. In this paper we answer Beilinson's question by constructing a pairing for varieties defined over the function field of a smooth variety $B$ over an algebraically closed field, with values in the second $\ell$-adic cohomology group of $B$. Over $\Bbb C$ our pairing is in fact $\Bbb Q$-valued, and in general we speculate about its geometric origin. △ Less

Submitted 2 September, 2020; originally announced September 2020.

A general theory of André's solution algebras

Authors: Levente Nagy, Tamás Szamuely

Abstract: We extend Yves André's theory of solution algebras in differential Galois theory to a general Tannakian context. As applications, we establish analogues of his correspondence between solution fields and observable subgroups of the Galois group for iterated differential equations in positive characteristic and for difference equations. The use of solution algebras in the difference algebraic contex… ▽ More We extend Yves André's theory of solution algebras in differential Galois theory to a general Tannakian context. As applications, we establish analogues of his correspondence between solution fields and observable subgroups of the Galois group for iterated differential equations in positive characteristic and for difference equations. The use of solution algebras in the difference algebraic context also allows a new approach to recent results of Philippon and Adamczewski--Faverjon in transcendence theory. △ Less

Submitted 25 January, 2020; originally announced January 2020.

Comments: Final version, to appear in Annales de l'Institut Fourier

Étale homotopy groups of algebraic groups and homogeneous spaces

Authors: Cyril Demarche, Tamás Szamuely

Abstract: We show the vanishing of the second homotopy group of the étale homotopy type of a smooth connected algebraic group over a separably closed field, completed away from the characteristic. This is an algebraic analogue of a classical theorem of Elie Cartan. Based on this result, we establish an explicit formula for the similarly completed second homotopy group of a homogeneous space. We show the vanishing of the second homotopy group of the étale homotopy type of a smooth connected algebraic group over a separably closed field, completed away from the characteristic. This is an algebraic analogue of a classical theorem of Elie Cartan. Based on this result, we establish an explicit formula for the similarly completed second homotopy group of a homogeneous space. △ Less

Submitted 22 June, 2022; v1 submitted 17 January, 2017; originally announced January 2017.

Comments: v2: major revision, some inaccurate statements in the first version corrected

The p-adic Hodge decomposition according to Beilinson

Authors: Tamás Szamuely, Gergely Zábrádi

Abstract: A detailed presentation of Beilinson's approach to p-adic Hodge theory. A detailed presentation of Beilinson's approach to p-adic Hodge theory. △ Less

Submitted 17 January, 2017; v1 submitted 6 June, 2016; originally announced June 2016.

Comments: 81 pages, final version

Journal ref: in: Algebraic Geometry: Salt Lake City (2015), Part 2, Proceedings of Symposia in Pure Mathematics 97, AMS, Providence (2018), 495-572

Cohomology and torsion cycles over the maximal cyclotomic extension

Authors: Damian Rössler, Tamás Szamuely

Abstract: A classical theorem by K. Ribet asserts that an abelian variety defined over the maximal cyclotomic extension $K$ of a number field has only finitely many torsion points. We show that this statement can be viewed as a particular case of a much more general one, namely that the absolute Galois group of $K$ acts with finitely many fixed points on the étale cohomology with $\bf Q/\bf Z$-coefficients… ▽ More A classical theorem by K. Ribet asserts that an abelian variety defined over the maximal cyclotomic extension $K$ of a number field has only finitely many torsion points. We show that this statement can be viewed as a particular case of a much more general one, namely that the absolute Galois group of $K$ acts with finitely many fixed points on the étale cohomology with $\bf Q/\bf Z$-coefficients of a smooth proper $\overline K$-variety defined over $K$. We also present a conjectural generalization of Ribet's theorem to torsion cycles of higher codimension. We offer supporting evidence for the conjecture in codimension 2, as well as an analogue in positive characteristic. △ Less

Submitted 7 November, 2016; v1 submitted 3 June, 2015; originally announced June 2015.

Comments: Final version. Theorem 1.9 improved thanks to referee

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

Prime-to-p étale covers of algebraic groups

Authors: Michel Brion, Tamás Szamuely

Abstract: Let G be a connected algebraic group over an algebraically closed field of characteristic p (possibly 0), and X a variety on which G acts transitively with connected stabilizers. We show that any étale Galois cover of X of degree prime to p is also homogeneous, and that the maximal prime-to-p quotient of the étale fundamental group of X is commutative. We moreover obtain an explicit bound for the… ▽ More Let G be a connected algebraic group over an algebraically closed field of characteristic p (possibly 0), and X a variety on which G acts transitively with connected stabilizers. We show that any étale Galois cover of X of degree prime to p is also homogeneous, and that the maximal prime-to-p quotient of the étale fundamental group of X is commutative. We moreover obtain an explicit bound for the number of topological generators of the said quotient. When G is commutative, we also obtain a description of the prime-to-p torsion in the Brauer group of G. △ Less

Submitted 28 September, 2012; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: 14 pages, final version, to appear at Bulletin of the London Mathematical Society

MSC Class: 14E20; 14F35; 14L10; 14M17

Autour de la conjecture de Tate `a coefficients Z_l pour les vari'et'es sur les corps finis

Authors: Jean-Louis Colliot-Thélène, Tamás Szamuely

Abstract: This partly expository paper investigates versions of the Tate conjecture on the cycle map for varieties defined over finite fields with values in 'etale cohomology with Z_\ell-coefficients. The bulk of the paper is an exposition of a 1998 result of C. Schoen which shows that an integral version of the conjecture holds for 1-cycles provided the usual conjecture is true for divisors on surfaces.… ▽ More This partly expository paper investigates versions of the Tate conjecture on the cycle map for varieties defined over finite fields with values in 'etale cohomology with Z_\ell-coefficients. The bulk of the paper is an exposition of a 1998 result of C. Schoen which shows that an integral version of the conjecture holds for 1-cycles provided the usual conjecture is true for divisors on surfaces. In a last section we then derive from Schoen's theorem new results on the existence of degree one zero-cycles on varieties defined over the function field of a smooth proper curve C over the algebraic closure of a finite field. In particular, we show that if the variety in question is a smooth projective complete intersection of dimension at least 3 and of degree prime to the characteristic, then a zero-cycle of degree one exists if the Tate conjecture is true for divisors on surfaces and the variety extends to a proper fibration over C all of whose fibres possess a component of multiplicity one. △ Less

Submitted 27 December, 2009; v1 submitted 10 February, 2009; originally announced February 2009.

Comments: 16 pages, to appear in proceedings of Columbus conference on algebraic cycles (Clay Institute Publications) v2: Discussion of Atiyah-Hirzebruch counterexample added, following suggestions of Burt Totaro

MSC Class: 14C25; 14G15

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

On the Albanese map for smooth quasi-projective varieties

Authors: M. Spiess, T. Szamuely

Abstract: Let k be an algebraically closed field and X a smooth projective k-variety. A famous theorem of A. A. Roitman states that the canonical map from the degree zero part of the Chow group of zero cycles on X to the group of k-points of its Albanese variety induces an isomorphism on torsion prime to the characteristic of k. In the present paper we prove a generalisation to quasi-projective varieties… ▽ More Let k be an algebraically closed field and X a smooth projective k-variety. A famous theorem of A. A. Roitman states that the canonical map from the degree zero part of the Chow group of zero cycles on X to the group of k-points of its Albanese variety induces an isomorphism on torsion prime to the characteristic of k. In the present paper we prove a generalisation to quasi-projective varieties admitting a smooth compactification. As was first observed by Ramachandran, for such a generalisation one should replace the Chow group of zero cycles by Suslin's 0-th algebraic singular homology group and the Albanese variety by the generalised Albanese of Serre. The method of proof is new even in the projective case and makes the motivic nature of the Albanese transparent. We also prove that the generalised Albanese map is an isomorphism if k is the algebraic closure of a finite field. △ Less

Submitted 1 September, 2000; originally announced September 2000.

Comments: Latex, 16 pages

MSC Class: 14C25; 19E15