Searcharxiv⌕ Search

arXiv subjects

Christopher Davis

Publications and source records attributed to Christopher Davis.

31 records · Page 2Linked to original sources

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.

math.NT↗

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.

math.RA↗

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.

math.AC↗

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.

astro-ph.IM↗

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.

math.NT↗

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.

math.NT↗

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.

math.AG↗

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.

math.RA↗

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.

math.NT↗

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.

math.AG↗

A Micro Molecular Bipolar Outflow From HL Tau

We present detailed geometry and kinematics of the inner outflow toward HL Tau observed using Near Infrared Integral Field Spectograph (NIFS) at the Gemini-North 8-m Observatory. We analyzed H2 2.122 um emission and [Fe II] 1.644 um line emission as well as the adjacent continuum observed at a <0".2 resolution. The H2 emission shows (1) a bubble-like geometry to the northeast of the star, as briefly reported in the previous paper, and (2) faint emission in the southwest counterflow, which has been revealed through careful analysis. The emission on both sides of the star show an arc 1".0 away from the star, exhibiting a bipolar symmetry. Different brightness and morphologies in the northeast and southwest flows are attributed to absorption and obscuration of the latter by a flattened envelope and a circumstellar disk. The H2 emission shows a remarkably different morphology from the collimated jet seen in [Fe II] emission. The positions of some features coincide with scattering continuum, indicating that these are associated with cavities in the dusty envelope. Such properties are similar to millimeter CO outflows, although the spatial scale of the H2 outflow in our image (~150 AU) is strikingly smaller than the mm outflows, which often extend over 1000-10000 AU scales. The position-velocity diagram of the H2 and [Fe II] emission do not show any evidence for kinematic interaction between these flows. All results described above support the scenario that the jet is surrounded by an unseen wide-angled wind, which interacts with the ambient gas and produce the bipolar cavity and shocked H2 emission.

astro-ph↗

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.

astro-ph↗

Totally Geodesic Seifert Surfaces in Hyperbolic Knot and Link Complements II

We generalize the results of [AS], finding large classes of totally geodesic Seifert surfaces in hyperbolic knot and link complements, each the lift of a rigid 2-orbifold embedded in some hyperbolic 3-orbifold. In addition, we provide a uniqueness theorem and demonstrate that many knots cannot possess totally geodesic Seifert surfaces by giving bounds on the width invariant in the presence of such a surface. Finally, we utilize these examples to demonstrate that the Six Theorem is sharp for knot complements in the 3-sphere.

math.GT↗