Source author record

Christopher Davis

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

ResearcherUnclaimed source record

math.NT math.AG math.GR math.RA astro-ph astro-ph.IM math.AC math.AT math.KT math.RT

Catalog footprint

Research overview

14works

10topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

On the de Rham-Witt complex over perfectoid rings

Fix an odd prime $p$ . The results in this paper are modeled after work of Hesselholt and Hesselholt-Madsen on the $p$ -typical absolute de Rham-Witt complex in mixed characteristic. We have two primary results. The first is an exact sequence which describes the kernel of the restriction map on the de Rham-Witt complex over $A$ , where $A$ is the ring of integers in an algebraic extension of $\mathbb{Q}_p$ , or where $A$ is a $p$ -torsion-free perfectoid ring. The second result is a description of the $p$ -power torsion (and related objects) in the de Rham-Witt complex over $A$ , where $A$ is a $p$ -torsion-free perfectoid ring containing a compatible system of $p$ -power roots of unity. Both of these results are analogous to results of Hesselholt and Madsen. Our main contribution is the extension of their results to certain perfectoid rings. We also provide algebraic proofs of these results, whereas the proofs of Hesselholt and Madsen used techniques from topology.

preprint2016arXiv

Newton slopes for Artin-Schreier-Witt towers

We fix a monic polynomial $f(x) \in \mathbb F_q[x]$ over a finite field and consider the Artin-Schreier-Witt tower defined by $f(x)$ ; this is a tower of curves $\cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb A^1$ , with total Galois group $\mathbb Z_p$ . We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L-functions associated to characters of the Galois group of this tower. We prove that, when the conductor of the character is large enough, the Newton slopes of the L-function form arithmetic progressions which are independent of the conductor of the character. As a corollary, we obtain a result on the behavior of the slopes of the eigencurve associated to the Artin-Schreier-Witt tower, analogous to the result of Buzzard and Kilford.

preprint2014arXiv

A characterization of strictly APF extensions

Let K denote a finite extension of Qp. We give necessary and sufficient conditions for an infinite totally wildly ramified extension L/K to be strictly APF in the sense of Fontaine-Wintenberger. Our conditions are phrased in terms of the existence of a certain tower of intermediate subfields. These conditions are well-suited to producing examples of strictly APF extensions, and in particular, our main theorem proves that the phi-iterate extensions previously considered by the first two authors are strictly APF.

preprint2014arXiv

Almost purity and overconvergent Witt vectors

In a previous paper, we stated a general almost purity theorem in the style of Faltings: if R is a ring for which the Frobenius maps on finite p-typical Witt vectors over R are surjective, then the integral closure of R in a finite étale extension of R[p^{-1}] is "almost" finite étale over R. Here, we use almost purity to lift the finite étale extension of R[p^{-1}] to a finite étale extension of rings of overconvergent Witt vectors. The point is that no hypothesis of p-adic completeness is needed; this result thus points towards potential global analogues of p-adic Hodge theory. As an illustration, we construct (phi, Gamma)-modules associated to Artin Motives over Q. The (phi, Gamma)-modules we construct are defined over a base ring which seems well-suited to generalization to a more global setting; we plan to pursue such generalizations in later work.

preprint2014arXiv

Explicit points on $y^2 + xy - t^d y = x^3$ and related character sums

Let $\mathbb{F}_q$ denote a finite field of characteristic $p \geq 5$ and let $d = q+1$ . Let $E_d$ denote the elliptic curve over the function field $\mathbb{F}_{q^2}(t)$ defined by the equation $y^2 + xy - t^d y = x^3$ . Its rank is $q$ when $q \equiv 1 \bmod 3$ and its rank is $q-2$ when $q \equiv 2 \bmod 3$ . We describe an explicit method for producing points on this elliptic curve. In case $q \not\equiv 11 \bmod 12$ , our method produces points which generate a full-rank subgroup. Our strategy for producing rational points on $E_d$ makes use of a dominant map from the degree $d$ Fermat surface over $\mathbb{F}_{q^2}$ to the elliptic surface associated to $E_d$ . We in turn study lines on the Fermat surface $\mathcal{F}_d$ using certain multiplicative character sums which are interesting in their own right. In particular, in the $q \equiv 7 \bmod 12$ case, a character sum argument shows that we can generate a full-rank subgroup using $μ_d$ -translates of a single rational point.

preprint2014arXiv

On the Witt vector Frobenius

We study the kernel and cokernel of the Frobenius map on the $p$ -typical Witt vectors of a commutative ring, not necessarily of characteristic $p$ . We give some equivalent conditions to surjectivity of the Frobenus map on both finite and infinite length Witt vectors; the former condition turns out to be stable under certain integral extensions, a fact which relates closely to a generalization of Faltings's almost purity theorem.

preprint2014arXiv

VISTA Variables in the Vía Láctea (VVV): Halfway Status and Results

The VISTA Variables in the Vía Láctea (VVV) survey is one of six public ESO surveys, and is now in its 4th year of observing. Although far from being complete, the VVV survey has already delivered many results, some directly connected to the intended science goals (detection of variables stars, microlensing events, new star clusters), others concerning more exotic objects, e.g. novae. Now, at the end of the fourth observing period, and comprising roughly 50% of the proposed observations, the actual status of the survey, as well some of the results based on the VVV data, are presented.

preprint2014arXiv

Which finite simple groups are unit groups?

We prove that if $G$ is a finite simple group which is the unit group of a ring, then $G$ is isomorphic to either (a) a cyclic group of order 2; (b) a cyclic group of prime order $2^k -1$ for some $k$ ; or (c) a projective special linear group $PSL_n(\mathbb{F}_2)$ for some $n \geq 3$ . Moreover, these groups do (trivially) all occur as unit groups. We deduce this classification from a more general result, which holds for groups $G$ with no non-trivial normal 2-subgroup.

preprint2013arXiv

Canonical Cohen rings for norm fields

Fix $K/\mathbf{Q}_p$ a finite extension and let $L/K$ be an infinite, strictly APF extension in the sense of Fontaine--Wintenberger. Let $X_K(L)$ denote its associated norm field. The goal of this paper is to associate to $L/K$ , in a canonical and functorial way, a $p$ -adically complete subring $\mathbf{A}_{L/K}^+ \subset \widetilde{\mathbf{A}}^+$ whose reduction modulo~ $p$ is contained in the valuation ring of $X_K(L)$ . When the extension $L/K$ is of a special form, which we call a $φ$ -iterate extension, we prove that $X_K(L)$ is (at worst) a finite purely inseparable extension of the fraction field of $\mathbf{A}_{L/K}^+/(p)$ . The class of $φ$ -iterate extensions includes all Lubin--Tate extensions, as well as many other extensions such as the non-Galois ``Kummer" extension occurring in work of Faltings, Breuil, and Kisin. In particular, our work provides a canonical and functorial construction of every characteristic zero lift of the norm fields that have thus far played a foundational role in (integral) $p$ -adic Hodge theory, as well as many other cases which have yet to be studied.

preprint2013arXiv

Integral Monsky-Washnitzer cohomology and the overconvergent de Rham-Witt complex

In their paper which introduced Monsky-Washnitzer cohomology, Monsky and Washnitzer described conditions under which the definition can be adapted to give integral cohomology groups. It seems to be well-known among experts that their construction always gives well-defined integral cohomology groups, but this fact also does not appear to be explicitly written down anywhere. In this paper, we prove that the integral Monsky-Washnitzer cohomology groups are well-defined, for any nonsingular affine variety over a perfect field of characteristic p. We then compare these cohomology groups with overconvergent de Rham-Witt cohomology. It was shown earlier that if the affine variety has small dimension relative to the characteristic of the ground field, then the cohomology groups are isomorphic. We extend this result to show that for any nonsingular affine variety, regardless of dimension, we have an isomorphism between integral Monsky-Washnitzer cohomology and overconvergent de Rham-Witt cohomology in degrees which are small relative to the characteristic.

preprint2013arXiv

Which alternating and symmetric groups are unit groups?

We prove there is no ring with unit group isomorphic to S_n for n \geq 5 and that there is no ring with unit group isomorphic to A_n for n \geq 5, n \neq 8. We give examples of rings with unit groups isomorphic to S_1, S_2, S_3, S_4, A_1, A_2, A_3, A_4, and A_8. We expect our methods to work similarly for other groups with trivial center; in particular, we plan to consider other simple groups in later work.

preprint2012arXiv

L-functions of p-adic characters

We define a p-adic character to be a continuous homomorphism from 1 + t\Fq[[t]] to \Zp^*. We use the ring of big Witt vectors over Fq to exhibit a bijection between p-adic characters and sequences (c_i) of elements in Zq, indexed by natural numbers relatively prime to p, and which converge to zero p-adically. To such a p-adic character we associate an L-function, and we prove that this L-function is p-adic meromorphic if the corresponding sequence (c_i) is overconvergent. If more generally the sequence is c\log-convergent, we show that the associated L-function is meromorphic in the open disk of radius q^c. Finally, we exhibit examples of c\log-convergent sequences with associated L-functions which are not meromorphic in any disk of radius greater than q^c.

preprint2010arXiv

Overconvergent Witt Vectors

Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the overconvergent Witt vectors are an étale sheaf. In a forthcoming paper (Annales ENS) we define an overconvergent de Rham-Witt complex on a smooth scheme X over a perfect field K whose hypercohomology is the rigid cohomology of X in the sense of Berthelot.

preprint2006arXiv

Kinematics of SiO J=8-7 Emission towards the HH 212 Jet

We present SiO J=8-7 (347.3 GHz) observations towards HH 212 using the ASTE telescope. Our observations with a 22''-diameter beam show that the SiO emission is highly concentrated within 1' of the driving source. We carefully compare the SiO observations with archival H_2 1-0 S(1) images and published H_2 echelle spectra. We find that, although the SiO velocities closely match the radial velocities seen in H_2, the distribution of H_2 and SiO emission differ markedly. We attribute the latter to the different excitation conditions required for H_2 and SiO emission, particularly the higher critical density (n_H2 ~10^8 cm^-3) of the SiO J=8-7 emission. The kinematic similarities imply that the H_2 and SiO are associated with the same internal working surfaces. We conclude that the SiO J=8-7 emission has a potential to probe the jet/wind launching region through interferometric observations in the future, particularly for the youngest, most deeply embedded protostars where IR observations are not possible.

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.

Christopher Davis

Research overview

Is this your work?

14 publications

On the de Rham-Witt complex over perfectoid rings

Newton slopes for Artin-Schreier-Witt towers

A characterization of strictly APF extensions

Almost purity and overconvergent Witt vectors

Explicit points on $y^2 + xy - t^d y = x^3$ and related character sums

On the Witt vector Frobenius

VISTA Variables in the Vía Láctea (VVV): Halfway Status and Results

Which finite simple groups are unit groups?

Canonical Cohen rings for norm fields

Integral Monsky-Washnitzer cohomology and the overconvergent de Rham-Witt complex

Which alternating and symmetric groups are unit groups?

L-functions of p-adic characters

Overconvergent Witt Vectors

Kinematics of SiO J=8-7 Emission towards the HH 212 Jet

See the researcher in context

Building this map preview

Christopher Davis

Research overview

Is this your work?

14 publications

On the de Rham-Witt complex over perfectoid rings

Newton slopes for Artin-Schreier-Witt towers

A characterization of strictly APF extensions

Almost purity and overconvergent Witt vectors

Explicit points on y2+xy−tdy=x3y^2 + xy - t^d y = x^3y2+xy−tdy=x3 and related character sums

On the Witt vector Frobenius

VISTA Variables in the Vía Láctea (VVV): Halfway Status and Results

Which finite simple groups are unit groups?

Canonical Cohen rings for norm fields

Integral Monsky-Washnitzer cohomology and the overconvergent de Rham-Witt complex

Which alternating and symmetric groups are unit groups?

L-functions of p-adic characters

Overconvergent Witt Vectors

Kinematics of SiO J=8-7 Emission towards the HH 212 Jet

See the researcher in context

Building this map preview

Explicit points on $y^2 + xy - t^d y = x^3$ and related character sums