arXiv Science⌕ Search

arXiv subjects

Andre Chatzistamatiou

Publications and source records attributed to Andre Chatzistamatiou.

14 recordsLinked to original sources
arXiv2020

$q$-crystals and $q$-connections

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

math.AG↗
arXiv2016

Torsion orders of complete intersections

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.

math.AG↗
arXiv2015

On integrality of $p$-adic iterated integrals

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.

math.NT↗
arXiv2014

Commutative formal groups arising from schemes

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.

math.AG↗
arXiv2013

Big de Rham-Witt cohomology: basic results

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.

math.NT↗
arXiv2011

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

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.

math.AG↗
arXiv2011

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

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.

math.AG↗
arXiv2011

Higher direct images of the structure sheaf in positive characteristic

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.

math.AG↗
arXiv2011

Hodge-Witt cohomology and Witt-rational singularities

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.

math.AG↗
arXiv2010

On the Frobenius stable part of Witt vector cohomology

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.

math.AG↗
arXiv2009

First coniveau notch of the Dwork family and its mirror

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

math.AG↗
arXiv2008

Motives of hypersurfaces of very small degree

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.

math.AG↗