Source author record

Bryden Cais

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

Catalog footprint

Research overview

8works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

a-Numbers of Curves in Artin-Schreier Covers

Let $π: Y \to X$ be a branched $\mathbf{Z}/p \mathbf{Z}$ -cover of smooth, projective, geometrically connected curves over a perfect field of characteristic $p>0$ . We investigate the relationship between the $a$ -numbers of $Y$ and $X$ and the ramification of the map $π$ . This is analogous to the relationship between the genus (respectively $p$ -rank) of $Y$ and $X$ given the Riemann-Hurwitz (respectively Deuring--Shafarevich) formula. Except in special situations, the $a$ -number of $Y$ is not determined by the $a$ -number of $X$ and the ramification of the cover, so we instead give bounds on the $a$ -number of $Y$ . We provide examples showing our bounds are sharp. The bounds come from a detailed analysis of the kernel of the Cartier operator.

preprint2016arXiv

The Geometry of Hida Families I: $Λ$ -adic de Rham cohomology

We construct the $Λ$ -adic de Rham analogue of Hida's ordinary $Λ$ -adic étale cohomology and of Ohta's $Λ$ -adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of $\mathbf{Q}_p$ , we give a purely geometric proof of the expected finiteness, control, and $Λ$ -adic duality theorems. Following Ohta, we then prove that our $Λ$ -adic module of differentials is canonically isomorphic to the space of ordinary $Λ$ -adic cuspforms. In the sequel to this paper, we construct the crystalline counterpart to Hida's ordinary $Λ$ -adic étale cohomology, and employ integral $p$ -adic Hodge theory to prove $Λ$ -adic comparison isomorphisms between all of these cohomologies. As applications of our work in this paper and the sequel, we will be able to provide a "cohomological" construction of the family of $(φ,Γ)$ -modules attached to Hida's ordinary $Λ$ -adic étale cohomology by the work of Dee, as well as a new and purely geometric proof of Hida's finitenes and control theorems. We are also able to prove refinements of theorems of Mazur-Wiles and of Ohta.

preprint2015arXiv

On F-crystalline representations

We extend the theory of Kisin modules and crystalline representations to allow more general coefficient fields and lifts of Frobenius. In particular, for a finite and totally ramified extension $F/\mathbb Q_p$ , and an arbitrary finite extension $K/F$ , we construct a general class of infinite and totally wildly ramified extensions $K_\infty/K$ so that the functor $V\mapsto V|_{G_{K_\infty}}$ is fully-faithfull on the category of $F$ -crystalline representations $V$ . We also establish a new classification of $F$ -Barsotti-Tate groups via Kisin modules of height 1 which allows more general lifts of Frobenius.

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.

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

On the U_p-operator in characteristic p

For a perfect field κof characteristic p>0, a positive ingeger N not divisible by p, and an arbitrary subgroup Γof GL_2(Z/NZ), we prove (with mild additional hypotheses when p\le 3) that the U-operator on the space M_k(Γ/κ) of (Katz) modular forms for Γover κinduces a surjection U:M_{k}(Γ/κ)\rightarrow M_{k'}(Γ/κ) for all k\ge p+2, where k'=(k-k_0)/p + k_0 with 2\le k_0\le p+1 the unique integer congruent to k modulo p. When κ=F_p, p\ge 5, N\neq 2,3, and Γis the subgroup of upper-triangular or upper-triangular unipotent matrices, this recovers a recent result of Dewar.

preprint2012arXiv

Random Dieudonne modules, random p-divisible groups, and random curves over finite fields

We describe a probability distribution on isomorphism classes of principally quasi-polarized p-divisible groups over a finite field k of characteristic p which can reasonably be thought of as "uniform distribution," and we compute the distribution of various statistics (p-corank, a-number, etc.) of p-divisible groups drawn from this distribution. It is then natural to ask to what extent the p-divisible groups attached to a randomly chosen hyperelliptic curve (resp. curve, resp. abelian variety) over k are uniformly distributed in this sense. For instance, one can ask whether the proportion of genus-g curves over F_p whose Jacobian is ordinary approaches the limit that such a heuristic would predict. This heuristic is analogous to conjectures of Cohen-Lenstra type for fields k of characteristic other than p, in which case the random p-divisible group is defined by a random matrix recording the action of Frobenius. Extensive numerical investigation reveals some cases of agreement with the heuristic and some interesting discrepancies. For example, plane curves over F_3 appear substantially less likely to be ordinary than hyperelliptic curves over F_3.

preprint2012arXiv

The Geometry of Hida Families and Λ-adic Hodge Theory

We construct Λ-adic de Rham and crystalline analogues of Hida's ordinary Λ-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate finiteness and control theorems in each case. We then employ integral p-adic Hodge theory to prove Λ-adic comparison isomorphisms between our cohomologies and Hida's etale cohomology. As applications of our work, we provide a "cohomological" construction of the family of (ϕ,Γ)-modules attached to Hida's ordinary Λ-adic etale cohomology by Dee, and we give a new and purely geometric proof of Hida's finitenes and control theorems. We are also able to prove refinements of theorems of Mazur-Wiles and of Ohta; in particular, we prove that there is a canonical isomorphism between the module of ordinary Λ-adic cuspforms and the part of the crystalline cohomology of the Igusa tower on which Frobenius acts invertibly.

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.

Bryden Cais

Research overview

Is this your work?

8 publications

a-Numbers of Curves in Artin-Schreier Covers

The Geometry of Hida Families I: $Λ$ -adic de Rham cohomology

On F-crystalline representations

A characterization of strictly APF extensions

Canonical Cohen rings for norm fields

On the U_p-operator in characteristic p

Random Dieudonne modules, random p-divisible groups, and random curves over finite fields

The Geometry of Hida Families and Λ-adic Hodge Theory

See the researcher in context

Building this map preview

Bryden Cais

Research overview

Is this your work?

8 publications

a-Numbers of Curves in Artin-Schreier Covers

The Geometry of Hida Families I: ΛΛΛ-adic de Rham cohomology

On F-crystalline representations

A characterization of strictly APF extensions

Canonical Cohen rings for norm fields

On the U_p-operator in characteristic p

Random Dieudonne modules, random p-divisible groups, and random curves over finite fields

The Geometry of Hida Families and Λ-adic Hodge Theory

See the researcher in context

Building this map preview

The Geometry of Hida Families I: $Λ$ -adic de Rham cohomology