Showing 1–31 of 31 results for author: Geisser, T

Brauer and Neron-Severi groups of surfaces over finite fields

Authors: Thomas H. Geisser

Abstract: We give a version of the Artin-Tate formula for surfaces over finite fields not assuming Tate's conjecture. It gives an equality between terms related to the Brauer group on the one hand and terms related to the Neron-Severi group on the other hand. We give estimates on the terms appearing in the formula and use this to gives sharp estimates on the size of the Brauer group of abelian surfaces depe… ▽ More We give a version of the Artin-Tate formula for surfaces over finite fields not assuming Tate's conjecture. It gives an equality between terms related to the Brauer group on the one hand and terms related to the Neron-Severi group on the other hand. We give estimates on the terms appearing in the formula and use this to gives sharp estimates on the size of the Brauer group of abelian surfaces depending on the p-rank. △ Less

Submitted 8 January, 2024; originally announced January 2024.

MSC Class: 14G15

On Integral Class field theory for varieties over $p$-adic fields

Authors: Thomas H. Geisser, Baptiste Morin

Abstract: Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$ its generic fiber. We show, under some assumptions on $\mathcal X_K$, that there is a reciprocity isomorphism of locally compact groups… ▽ More Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$ its generic fiber. We show, under some assumptions on $\mathcal X_K$, that there is a reciprocity isomorphism of locally compact groups $H_{ar}^{2d-1}(\mathcal X_K, \mathbb Z(d)) \simeq π_1^{ab}(\mathcal X_K)_{W}$ from a new cohomology theory to an integral model $π_1^{ab}(\mathcal X_K)_{W}$ of the abelianized geometric fundamental groups $π_1^{ab}(\mathcal X_K)^{geo}$. After removing the contribution from the base field, the map becomes an isomorphism of finitely generated abelian groups. △ Less

Submitted 24 November, 2022; originally announced November 2022.

MSC Class: 14G45 (Primary); 11G25; 14G20; 14F42 (Secondary)

Pontryagin duality for varieties over $p$-adic fields

Authors: Thomas H. Geisser, Baptiste Morin

Abstract: We define cohomological complexes of locally compact abelian groups associated with varieties over $p$-adic fields and prove a duality theorem under some assumption. Our duality takes the form of Pontryagin duality between locally compact motivic cohomology groups. We define cohomological complexes of locally compact abelian groups associated with varieties over $p$-adic fields and prove a duality theorem under some assumption. Our duality takes the form of Pontryagin duality between locally compact motivic cohomology groups. △ Less

Submitted 22 December, 2021; v1 submitted 4 August, 2021; originally announced August 2021.

Comments: New definition of cohomology of strict normal crossing schemes (section 3), and cohomology of schemes with such reduction (section 4.3). Improved exposition in several places

On the kernel of the Brauer-Manin pairing

Authors: Thomas H. Geisser, Baptiste Morin

Abstract: Let $\mathcal X$ be a regular scheme, flat and proper over the ring of integers of a $p$-adic field, with generic fiber $X$ and special fiber $\mathcal X_s$. We study the left kernel $Br(\mathcal X)$ of the Brauer-Manin pairing $Br(X)\times CH_0(X)\to \mathbb Q/\mathbb Z$. Our main result is that the kernel of the reduction map $Br(\mathcal X)\to Br(\mathcal X_s)$ is the direct sum of… ▽ More Let $\mathcal X$ be a regular scheme, flat and proper over the ring of integers of a $p$-adic field, with generic fiber $X$ and special fiber $\mathcal X_s$. We study the left kernel $Br(\mathcal X)$ of the Brauer-Manin pairing $Br(X)\times CH_0(X)\to \mathbb Q/\mathbb Z$. Our main result is that the kernel of the reduction map $Br(\mathcal X)\to Br(\mathcal X_s)$ is the direct sum of $(\mathbb Q/\mathbb Z[\frac{1}{p}])^s\oplus (\mathbb Q/\mathbb Z)^t$ and a finite $p$-group, where $s+t= ρ_{\mathcal X_s}-ρ_X-I+1$, for $ρ_{\mathcal X_s}$ and $ρ_X$ the Picard numbers of $\mathcal X_s$ and $X$, and $I$ the number of irreducible components of $\mathcal X_s$. Moreover, we show that $t>0$ implies $s>0$. △ Less

Submitted 25 January, 2021; v1 submitted 4 December, 2020; originally announced December 2020.

Comments: Improved version

MSC Class: Primary 14F22; Secondary: 14F40; 14F42; 11G40

Special values of L-functions of one-motives over function fields

Authors: Thomas H. Geisser, Takashi Suzuki

Abstract: The purpose of this paper is to give a formula for the leading coefficient at $s=1$ of the $L$-function of one-motives over function fields in terms of Weil-étale cohomology, generalizing the Weil-étale version of the Birch and Swinnerton-Dyer conjecture in the authors' previous work. As a consequence we express the Tamagawa number of a torus introduced by Ono-Oesterlé in terms of Weil-étale cohom… ▽ More The purpose of this paper is to give a formula for the leading coefficient at $s=1$ of the $L$-function of one-motives over function fields in terms of Weil-étale cohomology, generalizing the Weil-étale version of the Birch and Swinnerton-Dyer conjecture in the authors' previous work. As a consequence we express the Tamagawa number of a torus introduced by Ono-Oesterlé in terms of Weil-étale cohomology, and reprove their Tamagawa number formula. △ Less

Submitted 15 October, 2022; v1 submitted 30 September, 2020; originally announced September 2020.

Comments: Accepted for publication in Journal für die reine und angewandte Mathematik. 26 pages

MSC Class: Primary: 11G40; Secondary: 14F20; 14F42

Journal ref: Journal für die reine und angewandte Mathematik (Crelles Journal), vol. 2022, no. 793, 2022, pp. 281-304

A Weil-etale version of the Birch and Swinnerton-Dyer formula over function fields

Authors: Thomas H. Geisser, Takashi Suzuki

Abstract: We give a reformulation of the Birch and Swinnerton-Dyer conjecture over global function fields in terms of Weil-etale cohomology of the curve with coefficients in the Neron model, and show that it holds under the assumption of finiteness of the Tate-Shafarevich group. We give a reformulation of the Birch and Swinnerton-Dyer conjecture over global function fields in terms of Weil-etale cohomology of the curve with coefficients in the Neron model, and show that it holds under the assumption of finiteness of the Tate-Shafarevich group. △ Less

Submitted 18 September, 2019; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: Accepted for publication in the Journal of Number Theory. 23 pages

MSC Class: Primary: 11G40; Secondary: 14F20; 14F42

Journal ref: J. Number Theory 208 (2020), 367-389

Tate's conjecture and the Tate-Shafarevich group over global function fields

Authors: Thomas H. Geisser

Abstract: Let $\mathcal X$ be a regular variety, flat and proper over a complete regular curve over a finite field, such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of $\mathcal X$ is finite if and only Tate's conjecture for divisors on $X$ holds and the Tate-Shafarevich group of the Albanese variety of $X$ is finite, generalizing a theorem of Artin and G… ▽ More Let $\mathcal X$ be a regular variety, flat and proper over a complete regular curve over a finite field, such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of $\mathcal X$ is finite if and only Tate's conjecture for divisors on $X$ holds and the Tate-Shafarevich group of the Albanese variety of $X$ is finite, generalizing a theorem of Artin and Grothendieck for surfaces to arbitrary relative dimension. We also give a formula relating the orders of the group under the assumption that they are finite, generalizing the formula given for a surface. △ Less

Submitted 4 August, 2018; v1 submitted 8 January, 2018; originally announced January 2018.

Comments: Completely rewritten

Duality for integral motivic cohomology

Authors: Thomas H. Geisser

Abstract: We discuss duality pairings on integral étale motivic cohomology groups of regular and proper schemes over algebraically closed fields, local fields, finite fields, and arithmetic schemes. We discuss duality pairings on integral étale motivic cohomology groups of regular and proper schemes over algebraically closed fields, local fields, finite fields, and arithmetic schemes. △ Less

Submitted 25 December, 2017; originally announced December 2017.

Comments: To appear in: Proceedings of the International Colloquium in K-theory held at TIFR in January, 2016

MSC Class: 14F42; 14F20; 11G25

Comparing the Brauer group and the Tate Shafarevich group

Authors: Thomas Geisser

Abstract: We give a formula relating the order of the Brauer group of a surface fibered over a curve over a finite field to the order of the Tate-Shafarevich group of the Jacobian of the generic fiber. The formula implies that the Brauer group of a smooth and proper surface over a finite field is a square if it is finite. We give a formula relating the order of the Brauer group of a surface fibered over a curve over a finite field to the order of the Tate-Shafarevich group of the Jacobian of the generic fiber. The formula implies that the Brauer group of a smooth and proper surface over a finite field is a square if it is finite. △ Less

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

Comments: Rewrote the proof to make it more readable. To appear in Journal of the Institute of Mathematics of Jussieu

MSC Class: 11G40; 14G17; 14J20; 11G25; 11G35

Poitou-Tate duality for arithmetic schemes

Authors: Thomas H. Geisser, Alexander Schmidt

Abstract: We give a generalization of Poitou-Tate duality to schemes of finite type over rings of integers of global fields. We give a generalization of Poitou-Tate duality to schemes of finite type over rings of integers of global fields. △ Less

Submitted 30 May, 2018; v1 submitted 20 September, 2017; originally announced September 2017.

Comments: Corrected typo in Theorem A

Journal ref: Compositio Math. 154 (2018) 2020-2044

On the structure of etale motivic cohomology

Authors: Thomas H. Geisser

Abstract: We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes. We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes. △ Less

Submitted 8 September, 2016; originally announced September 2016.

Tame Class Field Theory for Singular Varieties over Finite Fields

Authors: Thomas Geisser, Alexander Schmidt

Abstract: Schmidt and Spieß described the abelian tame fundamental group of a smooth variety over a finite field by using Suslin homology. In this paper we show that their result generalizes to singular varieties if one uses Weil-Suslin homology instead. Schmidt and Spieß described the abelian tame fundamental group of a smooth variety over a finite field by using Suslin homology. In this paper we show that their result generalizes to singular varieties if one uses Weil-Suslin homology instead. △ Less

Submitted 20 September, 2017; v1 submitted 12 May, 2014; originally announced May 2014.

Comments: some typos corrected, to appear in Journal EMS

Journal ref: Journal EMS Volume 19, Issue 11, 2017, pp. 3467-3488

Rojtman's theorem for normal schemes

Authors: Thomas Geisser

Abstract: We show that Rojtman's theorem holds for normal schemes: For any reduced normal scheme of finite type over an algebraically closed field, the torsion of the zero'th Suslin homology group agrees with the torsion of the albanese variety (the universal object for maps to semi-abelian varieties). The proof uses proper hypercovers to reduce to the smooth case, which was previously proven by Spiess-Sz… ▽ More We show that Rojtman's theorem holds for normal schemes: For any reduced normal scheme of finite type over an algebraically closed field, the torsion of the zero'th Suslin homology group agrees with the torsion of the albanese variety (the universal object for maps to semi-abelian varieties). The proof uses proper hypercovers to reduce to the smooth case, which was previously proven by Spiess-Szamuely. △ Less

Submitted 25 February, 2015; v1 submitted 8 February, 2014; originally announced February 2014.

Comments: Improved and corrected, similar to the version to appear in Mathematical Research Letters

Homological Descent for Motivic Homology Theories

Authors: Thomas Geisser

Abstract: We show that motivic homology, motivic Borel-Moore homology and higher Chow groups satisfy homological descent for hyperenvelopes, and l-hyperenvelopes after inverting l. We show that motivic homology, motivic Borel-Moore homology and higher Chow groups satisfy homological descent for hyperenvelopes, and l-hyperenvelopes after inverting l. △ Less

Submitted 30 January, 2014; originally announced January 2014.

Tame Class Field Theory for Singular Varieties over Algebraically Closed Fields

Authors: Thomas Geisser, Alexander Schmidt

Abstract: Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first mod m tame etale cohomology of X. We show that the induced homomorphism from the mod m Suslin homology to the abelianized tame fundamental group of X mod m is s… ▽ More Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first mod m tame etale cohomology of X. We show that the induced homomorphism from the mod m Suslin homology to the abelianized tame fundamental group of X mod m is surjective. It is an isomorphism of finite abelian groups if (m, char(k)) = 1, and for general m if resolution of singularities holds over k. △ Less

Submitted 10 January, 2016; v1 submitted 16 September, 2013; originally announced September 2013.

Comments: Revised version, to appear in Documenta Mathematica

Finite generation conjectures for cohomology over finite fields

Authors: Thomas H Geisser

Abstract: We construct an intermediate cohmology between motivic cohomology and Weil-etale cohomology. Using this, the Bass conjecture on finite generation of motivic cohomology, and the Beilinson-Tate on the finite generation of Weil-etale cohomology are related. We construct an intermediate cohmology between motivic cohomology and Weil-etale cohomology. Using this, the Bass conjecture on finite generation of motivic cohomology, and the Beilinson-Tate on the finite generation of Weil-etale cohomology are related. △ Less

Submitted 29 March, 2011; originally announced March 2011.

Parshin's conjecture and motivic cohomology with compact support

Authors: T. Geisser

Abstract: We discuss Parshin's conjecture on rational K-theory over finite fields and its implications for motivic cohomology with compact support. We discuss Parshin's conjecture on rational K-theory over finite fields and its implications for motivic cohomology with compact support. △ Less

Submitted 30 January, 2010; originally announced February 2010.

MSC Class: 19E08; 19E15

Suslin's singular homology and cohomology

Authors: Thomas H. Geisser

Abstract: We discuss Suslin's singular homology and cohomology. In the first half we examine the p-part in characteristic p, and the situation over non-algebraically closed fields. In the second half we focus on finite base fields. We study finite generation properties, and give a modified definition which behaves like a homology theory: in degree zero it is a copy of Z for each connected component, in de… ▽ More We discuss Suslin's singular homology and cohomology. In the first half we examine the p-part in characteristic p, and the situation over non-algebraically closed fields. In the second half we focus on finite base fields. We study finite generation properties, and give a modified definition which behaves like a homology theory: in degree zero it is a copy of Z for each connected component, in degree one it is related to the abelianized (tame) fundamental group, even for singular schemes, and it is expected to be finitely generated in general. △ Less

Submitted 7 December, 2009; originally announced December 2009.

MSC Class: 14F35; 14C25; 14F42; 19E15

On a conjecture of Vorst

Authors: Thomas Geisser, Lars Hesselholt

Abstract: We prove the following result. Let k be an infinite perfect field of positive characteristic and assume that strong resolution of singularities holds over k. Let R be a localization of a commutative d-dimensional k-algebra of finite type and suppose that R is K_{d+1}-regular. Then R is a regular ring. We prove the following result. Let k be an infinite perfect field of positive characteristic and assume that strong resolution of singularities holds over k. Let R be a localization of a commutative d-dimensional k-algebra of finite type and suppose that R is K_{d+1}-regular. Then R is a regular ring. △ Less

Submitted 14 November, 2009; originally announced November 2009.

MSC Class: 19D35; 14F20

Journal ref: Math. Z. 270 (2012), 445-452

On the vanishing of negative K-groups

Authors: Thomas Geisser, Lars Hesselholt

Abstract: Let k be an infinite perfect field of positive characteristic p and assume that strong resolution of singularities holds over k. We prove that, if X is a d-dimensional noetherian scheme whose underlying reduced scheme is essentially of finite type over the field k, then the negative K-group K_q(X) vanishes for every q < -d. This partially affirms a conjecture of Weibel. Let k be an infinite perfect field of positive characteristic p and assume that strong resolution of singularities holds over k. We prove that, if X is a d-dimensional noetherian scheme whose underlying reduced scheme is essentially of finite type over the field k, then the negative K-group K_q(X) vanishes for every q < -d. This partially affirms a conjecture of Weibel. △ Less

Submitted 5 October, 2009; v1 submitted 5 November, 2008; originally announced November 2008.

Comments: Math. Ann. (to appear)

Journal ref: Math. Ann. 348 (2010), 707-736

On the relative and bi-relative K-theory of rings of finite characteristic

Authors: Thomas Geisser, Lars Hesselholt

Abstract: We prove that the relative K-groups associated with a nilpotent extension of Z/p^N Z-algebras and the bi-relative K-groups associated with a Milnor square of Z/p^N Z-algebras are p-primary torsion groups of bounded exponent. We also show that, in general, the cyclotomic trace map extends from Quillen K-theory to Bass completed non-connective algebraic K-theory. We prove that the relative K-groups associated with a nilpotent extension of Z/p^N Z-algebras and the bi-relative K-groups associated with a Milnor square of Z/p^N Z-algebras are p-primary torsion groups of bounded exponent. We also show that, in general, the cyclotomic trace map extends from Quillen K-theory to Bass completed non-connective algebraic K-theory. △ Less

Submitted 18 February, 2009; v1 submitted 7 October, 2008; originally announced October 2008.

Comments: 19 pages

MSC Class: 19D55; 55Q91

Journal ref: J. Amer. Math. Soc. 24 (2011), 29-49

Arithmetic homology and an integral version of Katos conjecture

Authors: Thomas Geisser

Abstract: We define an integral Borel-Moore homology theory over finite fields, called arithmetic homology, and an integral version of Kato homology. Both types of groups are expected to be finitely generated, and sit in a long exact sequence with higher Chow groups of zero-cycles. We define an integral Borel-Moore homology theory over finite fields, called arithmetic homology, and an integral version of Kato homology. Both types of groups are expected to be finitely generated, and sit in a long exact sequence with higher Chow groups of zero-cycles. △ Less

Submitted 12 May, 2009; v1 submitted 10 April, 2007; originally announced April 2007.

Comments: improved version, to appear in Journal fuer die reine und angewandte Mathematik

MSC Class: 14C25; 14C35; 14F42; 19E15; 19D45; 19E15; 19F05; 19F15;

The affine part of the Picard scheme

Authors: T. Geisser

Abstract: We describe the maximal torus and maximal unipotent subgroup of the Picard variety of a proper scheme over a perfect field. We describe the maximal torus and maximal unipotent subgroup of the Picard variety of a proper scheme over a perfect field. △ Less

Submitted 28 January, 2021; v1 submitted 3 April, 2007; originally announced April 2007.

Comments: This is a correct version of the original paper published in Compositio Mathematica after O.Gabber pointed out a mistake

MSC Class: 14K30; 14C22; 14F20

Parshin's conjecture revisited

Authors: Thomas Geisser

Abstract: We show that Pashin's conjecture on the vanishing of rational higher K-groups of smooth, projective varieties over finite fields can be thought of as a combination of three weaker conjectures. We show that Pashin's conjecture on the vanishing of rational higher K-groups of smooth, projective varieties over finite fields can be thought of as a combination of three weaker conjectures. △ Less

Submitted 20 May, 2008; v1 submitted 23 January, 2007; originally announced January 2007.

Comments: to appear in proceedings of a conference on K-theory and non-commutative geometry, Valladolid 2006

MSC Class: 19E08

Duality via cycle complexes

Authors: Thomas Geisser

Abstract: We show that Bloch's complex of relative zero-cycles can be used as a dualizing complex over perfect fields and number rings. This leads to duality theorems for torsion sheaves on arbitrary separated schemes of finite type over algebraically closed fields, finite fields, local fields of mixed characteristic, and rings of integers in number rings, generalizing results which so far have only been… ▽ More We show that Bloch's complex of relative zero-cycles can be used as a dualizing complex over perfect fields and number rings. This leads to duality theorems for torsion sheaves on arbitrary separated schemes of finite type over algebraically closed fields, finite fields, local fields of mixed characteristic, and rings of integers in number rings, generalizing results which so far have only been known for smooth schemes or in low dimensions, and unify the p-adic and l-adic theory. As an application, we generalize Rojtman's theorem to normal, projective schemes. △ Less

Submitted 26 November, 2008; v1 submitted 17 August, 2006; originally announced August 2006.

Comments: Updated and improved version; accepted at Annals of Mathematics

MSC Class: 14F20; 14C25; 11G25; 19E15

Bi-relative algebraic K-theory and topological cyclic homology

Authors: Thomas Geisser, Lars Hesselholt

Abstract: It is well-known that algebraic K-theory preserves products of rings. However, in general, algebraic K-theory does not preserve fiber-products of rings, and bi-relative algebraic K-theory measures the deviation. It was proved by Cortinas that,rationally, bi-relative algebraic K-theory and bi-relative cyclic homology agree. In this paper, we show that, with finite coefficients, bi-relative algebr… ▽ More It is well-known that algebraic K-theory preserves products of rings. However, in general, algebraic K-theory does not preserve fiber-products of rings, and bi-relative algebraic K-theory measures the deviation. It was proved by Cortinas that,rationally, bi-relative algebraic K-theory and bi-relative cyclic homology agree. In this paper, we show that, with finite coefficients, bi-relative algebraic K-theory and bi-relative topological cyclic homology agree. As an application, we show that for a, possibly singular, curve over a perfect field of positive characteristic p, the cyclotomic trace map induces an isomorphism of the p-adic algebraic K-groups and the p-adic topological cyclic homology groups in non-negative degrees. As a further application, we show that the difference between the p-adic K-groups of the integral group ring of a finite group and the p-adic K-groups of a maximal Z-order in the rational group algebra can be expressed entirely in terms of topological cyclic homology. △ Less

Submitted 11 March, 2006; v1 submitted 7 September, 2004; originally announced September 2004.

Journal ref: Invent. Math. 166 (2006), 359-395.

The cyclotomic trace map and values of zeta-functions

Authors: Thomas H. Geisser

Abstract: We show that the cyclotomic trace map for smooth varieties over number rings can be interpreted as a regulator map and hence are related to special values of $ζ$-functions. We show that the cyclotomic trace map for smooth varieties over number rings can be interpreted as a regulator map and hence are related to special values of $ζ$-functions. △ Less

Submitted 26 June, 2004; originally announced June 2004.

MSC Class: 19F27; 11R42

Arithmetic cohomology over finite fields and special values of zeta-functions

Authors: Thomas H. Geisser

Abstract: We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective schemes. In particular, if Tate's conjecture holds and rational and numerical equivalence agree up to torsion, then the groups H^i_c(X_ar,Z(n)) are finitely generat… ▽ More We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective schemes. In particular, if Tate's conjecture holds and rational and numerical equivalence agree up to torsion, then the groups H^i_c(X_ar,Z(n)) are finitely generated, form an integral version of l-adic cohomology with compact support, and admit a formula for the special values of the zeta-function of X. △ Less

Submitted 23 March, 2005; v1 submitted 10 May, 2004; originally announced May 2004.

Comments: 28 pages, revised version

Weil-etale cohomology over finite fields

Authors: Thomas H. Geisser

Abstract: We calculate the total derived functor for the map from the Weil-etale site introduced by Lichtenbaum to the etale site for varieties over finite fields. In particular, there is a long exact sequence relating Weil-etale cohomology and etale cohomology. In the second half of the paper, we apply this to study the Weil-etale cohomology of the motivic complex for smooth and projective varieties. The… ▽ More We calculate the total derived functor for the map from the Weil-etale site introduced by Lichtenbaum to the etale site for varieties over finite fields. In particular, there is a long exact sequence relating Weil-etale cohomology and etale cohomology. In the second half of the paper, we apply this to study the Weil-etale cohomology of the motivic complex for smooth and projective varieties. These groups are expected to be finitely generated, to give an integral model for l-adic cohomology, and to be related to special values of the zeta function. We give necessary and sufficient conditions for this to hold, and examples. △ Less

Submitted 23 April, 2004; originally announced April 2004.

Comments: Revised version

MSC Class: 14F20 (Primary) 14F42; 11G25 (Secondary)

The de Rham-Witt complex and p-adic vanishing cycles

Authors: Thomas Geisser, Lars Hesselholt

Abstract: We determine the structure modulo p of the de Rham-Witt complex of a smooth scheme X over a discrete valuation ring of mixed characteristic with log-poles along the special fiber Y and show that the sub-sheaf fixed by the Frobenius is isomorphic to the sheaf of p-adic vanishing cycles. We use this together with results of the second author and Madsen to evaluate the $K$-theory with finite coeffi… ▽ More We determine the structure modulo p of the de Rham-Witt complex of a smooth scheme X over a discrete valuation ring of mixed characteristic with log-poles along the special fiber Y and show that the sub-sheaf fixed by the Frobenius is isomorphic to the sheaf of p-adic vanishing cycles. We use this together with results of the second author and Madsen to evaluate the $K$-theory with finite coefficients of the quotient field K of the henselian local ring of X at a generic point of Y. The result affirms the Lichtenbaum-Quillen conjecture for the field K. △ Less

Submitted 14 August, 2005; v1 submitted 30 December, 2003; originally announced December 2003.

Journal ref: J. Amer. Math. Soc. 19 (2006), 1-36

Weil-etale motivic cohomology

Authors: Thomas H. Geisser

Abstract: We study Weil-etale cohomology, introduced by Lichtenbaum for varieties over finite fields. In the first half of the paper we give an explicit description of the base change from Weil-etale cohomology to etale cohomology. As a consequence, we get a long exact sequence relating Weil-etale cohomology to etale cohomology, show that for finite coefficients the cohomology theories agree, and with rat… ▽ More We study Weil-etale cohomology, introduced by Lichtenbaum for varieties over finite fields. In the first half of the paper we give an explicit description of the base change from Weil-etale cohomology to etale cohomology. As a consequence, we get a long exact sequence relating Weil-etale cohomology to etale cohomology, show that for finite coefficients the cohomology theories agree, and with rational coefficients a Weil-etale cohomology group is the direct sum of two etale cohomology groups. In the second half of the paper we restrict ourselves to Weil-etale cohomology of the motivic complex. We show that for smooth projective varieties over finite fields, finite generation of Weil-etale cohomology is equivalent to Weil-etale cohomology being an integral model of l-adic cohomology, and also equivalent to the conjunction of Tate's conjecture and (rational) equality of rational and numerical equivalence. We give several examples where these conjectures hold, and express special values of zeta functions in terms of Weil-etale cohomology. △ Less

Submitted 22 May, 2002; originally announced May 2002.

Report number: ANT-0351