Showing 1–15 of 15 results for author: Chatzistamatiou, A

$q$-crystals and $q$-connections

Authors: Andre Chatzistamatiou

Abstract: We study how the category of $q$-connections depends on the choice of coordinates. We exploit Bhatt's and Scholze's $q$-crystalline site, which is based on a coordinate free formulation of $q$-PD structures, in order to relate $q$-crystals and $q$-connections in the $p$-adic setting. This yields a natural equivalence between the the categories of $q$-connections for different choices of coordinate… ▽ More We study how the category of $q$-connections depends on the choice of coordinates. We exploit Bhatt's and Scholze's $q$-crystalline site, which is based on a coordinate free formulation of $q$-PD structures, in order to relate $q$-crystals and $q$-connections in the $p$-adic setting. This yields a natural equivalence between the the categories of $q$-connections for different choices of coordinates in the $p$-adic setting. The equivalence can be described explicitly in terms of differential operators. In order to obtain a global equivalence, we patch the $p$-adic differential operators to create a global one. The process is not entirely formal, and we are only able to obtain a global equivalence after inverting $2$. △ Less

Submitted 6 October, 2020; originally announced October 2020.

Torsion orders of complete intersections

Authors: Andre Chatzistamatiou, Marc Levine

Abstract: By a classical result of Roitman, a complete intersection $X$ of sufficiently small degree admits a rational decomposition of the diagonal. This means that some multiple of the diagonal by a positive integer $N$, when viewed as a cycle in the Chow group, has support in $X\times D\cup F\times X$, for some divisor $D$ and a finite set of closed points $F$. The minimal such $N$ is called the torsion… ▽ More By a classical result of Roitman, a complete intersection $X$ of sufficiently small degree admits a rational decomposition of the diagonal. This means that some multiple of the diagonal by a positive integer $N$, when viewed as a cycle in the Chow group, has support in $X\times D\cup F\times X$, for some divisor $D$ and a finite set of closed points $F$. The minimal such $N$ is called the torsion order. We study lower bounds for the torsion order following the specialization method of Voisin, Colliot-Thélène and Pirutka. We give a lower bound for the generic complete intersection with and without point. Moreover, we use methods of Kollár and Totaro to show lower bounds for the very general complete intersection. △ Less

Submitted 29 November, 2016; v1 submitted 6 May, 2016; originally announced May 2016.

Comments: 50 pages. A reference to the paper by Bruno Kahn, "Torsion order of smooth projective surfaces, with an appendix by J.L. Colliot-Thélène" arXiv:1605.01762 [math.AG], was added and some typos corrected. Fixed a gap in the proof of the second main theorem. The statement of the second main theorem was modified in order to exclude the odd dimensional case when the prime 2 is considered

Journal ref: Alg. Number Th. 11 (2017) 1779-1835

On integrality of $p$-adic iterated integrals

Authors: Andre Chatzistamatiou

Abstract: The purpose of this paper is to prove integrality for certain $p$-adic iterated Coleman integrals. As underlying geometry we will take the complement of a divisor $D\subset X$ with good reduction, where $X$ is the projective line or an elliptic curve over the Witt vectors of a perfect characteristic $p$ field. As a corollary we prove a lower bound for the valuations of $p$-adic multiple zeta value… ▽ More The purpose of this paper is to prove integrality for certain $p$-adic iterated Coleman integrals. As underlying geometry we will take the complement of a divisor $D\subset X$ with good reduction, where $X$ is the projective line or an elliptic curve over the Witt vectors of a perfect characteristic $p$ field. As a corollary we prove a lower bound for the valuations of $p$-adic multiple zeta values. △ Less

Submitted 9 November, 2015; v1 submitted 23 January, 2015; originally announced January 2015.

Comments: 24 pages, improved result on the valuations of p-adic multiple zeta values

Vanishing of the higher direct images of the structure sheaf

Authors: Andre Chatzistamatiou, Kay Rülling

Abstract: We prove that the higher direct images of the structure sheaf under a birational and projective morphism between excellent and regular schemes vanish. We prove that the higher direct images of the structure sheaf under a birational and projective morphism between excellent and regular schemes vanish. △ Less

Submitted 5 March, 2015; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: final version, to appear in Compositio Math

Journal ref: Compositio Mathematica 151 (2015) 2131-2144

Big de Rham-Witt cohomology: basic results

Authors: Andre Chatzistamatiou

Abstract: Let $X$ be a smooth projective $R$-scheme, where $R$ is a smooth $\Z$-algebra. As constructed by Hesselholt, we have the absolute big de Rham-Witt complex $\WΩ^*_X$ of $X$ at our disposal. There is also a relative version $\WΩ^*_{X/R}$ with $\W(R)$-linear differential. In this paper we study the hypercohomology of the relative (big) de Rham-Witt complex after truncation with finite truncation sets… ▽ More Let $X$ be a smooth projective $R$-scheme, where $R$ is a smooth $\Z$-algebra. As constructed by Hesselholt, we have the absolute big de Rham-Witt complex $\WΩ^*_X$ of $X$ at our disposal. There is also a relative version $\WΩ^*_{X/R}$ with $\W(R)$-linear differential. In this paper we study the hypercohomology of the relative (big) de Rham-Witt complex after truncation with finite truncation sets $S$. We show that it is a projective $\W_S(R)$-module, provided that the de Rham cohomology is a flat $R$-module. In addition, we establish a Poincaré duality theorem. △ Less

Submitted 10 July, 2013; v1 submitted 26 November, 2012; originally announced November 2012.

Commutative formal groups arising from schemes

Authors: Andre Chatzistamatiou

Abstract: We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the integers. For a commutative formal Lie group E, we have the deformation cohomology of f with coefficients in E at our disposal. If the higher direct images of th… ▽ More We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the integers. For a commutative formal Lie group E, we have the deformation cohomology of f with coefficients in E at our disposal. If the higher direct images of the tangent space of E are locally free and of finite rank then the deformation cohomology is pro-representable by a commutative formal Lie group. △ Less

Submitted 5 March, 2014; v1 submitted 22 March, 2012; originally announced March 2012.

Comments: 19 pages, proofs simplified thanks to the referee's suggestions

On p-adic periods for mixed Tate motives over a number field

Authors: Andre Chatzistamatiou, Sinan Ünver

Abstract: For a number field, we have a Tannaka category of mixed Tate motives at our disposal. We construct p-adic points of the associated Tannaka group by using p-adic Hodge theory. Extensions of two Tate objects yield functions on the Tannaka group, and we show that evaluation at our p-adic points is essentially given by the inverse of the Bloch-Kato exponential map. For a number field, we have a Tannaka category of mixed Tate motives at our disposal. We construct p-adic points of the associated Tannaka group by using p-adic Hodge theory. Extensions of two Tate objects yield functions on the Tannaka group, and we show that evaluation at our p-adic points is essentially given by the inverse of the Bloch-Kato exponential map. △ Less

Submitted 5 October, 2011; originally announced October 2011.

Comments: 24 pages

On the Beilinson-Hodge conjecture for $H^2$ and rational varieties

Authors: Andre Chatzistamatiou

Abstract: The Beilinson-Hodge conjecture asserts the surjectivity of the cycle map $$H^n_M(X,\Q(n)) \to {\rm Hom}_{MHS}(\Q(-n),H^n(X,\Q))$$ for all positive integers $n$ and every smooth complex algebraic variety $X$. For $n=2$, we prove the conjecture if $X$ is rational. The Beilinson-Hodge conjecture asserts the surjectivity of the cycle map $$H^n_M(X,\Q(n)) \to {\rm Hom}_{MHS}(\Q(-n),H^n(X,\Q))$$ for all positive integers $n$ and every smooth complex algebraic variety $X$. For $n=2$, we prove the conjecture if $X$ is rational. △ Less

Submitted 26 April, 2011; originally announced April 2011.

Comments: 14 pages

Hodge-Witt cohomology and Witt-rational singularities

Authors: Andre Chatzistamatiou, Kay Rülling

Abstract: We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we show that the relative Hodge-Witt cohomology admits an action of correspondences. As an application we define Witt-rational singularities which form a broader c… ▽ More We prove the vanishing modulo torsion of the higher direct images of the sheaf of Witt vectors (and the Witt canonical sheaf) for a purely inseparable projective alteration between normal finite quotients over a perfect field. For this, we show that the relative Hodge-Witt cohomology admits an action of correspondences. As an application we define Witt-rational singularities which form a broader class than rational singularities. In particular, finite quotients have Witt-rational singularities. In addition, we prove that the torsion part of the Witt vector cohomology of a smooth, proper scheme is a birational invariant. △ Less

Submitted 12 April, 2011; originally announced April 2011.

Comments: 105 pages

On the Frobenius stable part of Witt vector cohomology

Authors: Andre Chatzistamatiou

Abstract: For a proper (not necessarily smooth) variety over a finite field with q elements, Berthelot-Bloch-Esnault proved a trace formula which computes the number of rational points modulo q in terms of the Witt vector cohomology. We show the analogous formula for Witt vector cohomology of finite length. In addition, we prove a vanishing result for the compactly supported étale cohomology of a constant p… ▽ More For a proper (not necessarily smooth) variety over a finite field with q elements, Berthelot-Bloch-Esnault proved a trace formula which computes the number of rational points modulo q in terms of the Witt vector cohomology. We show the analogous formula for Witt vector cohomology of finite length. In addition, we prove a vanishing result for the compactly supported étale cohomology of a constant p-torsion sheaf on an affine Cohen-Macaulay variety in positive characteristic p. △ Less

Submitted 28 July, 2010; originally announced July 2010.

Higher direct images of the structure sheaf in positive characteristic

Authors: Andre Chatzistamatiou, Kay Rülling

Abstract: We prove vanishing of the higher direct images of the structure (and the canonical) sheaf for a proper birational morphism with source a smooth variety and target the quotient of a smooth variety by a finite group of order prime to the characteristic of the ground field. We also show that for smooth projective varieties the cohomology of the structure sheaf is a birational invariant. These results… ▽ More We prove vanishing of the higher direct images of the structure (and the canonical) sheaf for a proper birational morphism with source a smooth variety and target the quotient of a smooth variety by a finite group of order prime to the characteristic of the ground field. We also show that for smooth projective varieties the cohomology of the structure sheaf is a birational invariant. These results are well-known in characteristic zero. △ Less

Submitted 13 April, 2011; v1 submitted 18 November, 2009; originally announced November 2009.

Comments: 69 pages, revision, to appear in ANT

First coniveau notch of the Dwork family and its mirror

Authors: Andre Chatzistamatiou

Abstract: If $X_λ$ is a smooth member of the Dwork family over a perfect field $k$, and $Y_λ$ is its mirror variety, then the motives of $X_λ$ and $Y_λ$ are equal up to motives that are in coniveau $\geq 1$. If $k$ is a finite field, this provides a motivic explanation for Wan's congruence between the zeta functions of $X_λ$ and $Y_λ$. If $X_λ$ is a smooth member of the Dwork family over a perfect field $k$, and $Y_λ$ is its mirror variety, then the motives of $X_λ$ and $Y_λ$ are equal up to motives that are in coniveau $\geq 1$. If $k$ is a finite field, this provides a motivic explanation for Wan's congruence between the zeta functions of $X_λ$ and $Y_λ$. △ Less

Submitted 5 March, 2009; v1 submitted 15 April, 2008; originally announced April 2008.

Comments: 13 pages, new theorem on the number of rational points of a quotient singularity and a resolution

Motives of hypersurfaces of very small degree

Authors: Andre Chatzistamatiou

Abstract: We study the Chow motive (with rational coefficients) of a hypersurface X in the projective space by using the variety F(X) of l-dimensional planes contained in X. If the degree of X is sufficiently small we show that the primitive part of the motive of X is the tensor product of a direct summand in the motive of a suitable complete intersection in F(X) and the l-th twist Q(-l) of the Lefschetz… ▽ More We study the Chow motive (with rational coefficients) of a hypersurface X in the projective space by using the variety F(X) of l-dimensional planes contained in X. If the degree of X is sufficiently small we show that the primitive part of the motive of X is the tensor product of a direct summand in the motive of a suitable complete intersection in F(X) and the l-th twist Q(-l) of the Lefschetz motive. △ Less

Submitted 16 January, 2008; originally announced January 2008.

Comments: 11 pages

Étale cohomology of the complement of a linear subspace arrangement

Authors: Andre Chatzistamatiou

Abstract: We prove a formula for the cup product on the l-adic cohomology of the complement of a linear subspace arrangement. We prove a formula for the cup product on the l-adic cohomology of the complement of a linear subspace arrangement. △ Less

Submitted 10 November, 2008; v1 submitted 13 September, 2007; originally announced September 2007.

Comments: 27 pages

Motivic cohomology of the complement of hyperplane arrangements

Authors: A. Chatzistamatiou

Abstract: We give a presentation of the motivic cohomology ring of the complement of a hyperplane arrangement considered as algebra over the motivic cohomology of the ground field. We give a presentation of the motivic cohomology ring of the complement of a hyperplane arrangement considered as algebra over the motivic cohomology of the ground field. △ Less

Submitted 4 October, 2006; v1 submitted 30 January, 2006; originally announced January 2006.