BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Christopher Davis

Christopher Davis contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.NTmath.AGmath.GRmath.RAastro-ph.IMmath.ACmath.ATmath.KTmath.RT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
12works
0followers
9topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access