arXiv subjects

Dominic Leon Culver

Publications and source records attributed to Dominic Leon Culver.

7 recordsLinked to original sources

arXiv2023

The motivic lambda algebra and motivic Hopf invariant one problem

We investigate forms of the Hopf invariant one problem in motivic homotopy theory over arbitrary base fields of characteristic not equal to $2$. Maps of Hopf invariant one classically arise from unital products on spheres, and one consequence of our work is a classification of motivic spheres represented by smooth schemes admitting a unital product. The classical Hopf invariant one problem was resolved by Adams, following his introduction of the Adams spectral sequence. We introduce the motivic lambda algebra as a tool to carry out systematic computations in the motivic Adams spectral sequence. Using this, we compute the $E_2$-page of the $\mathbb{R}$-motivic Adams spectral sequence in filtrations $f \leq 3$. This universal case gives information over arbitrary base fields. We then study the $1$-line of the motivic Adams spectral sequence. We produce differentials $d_2(h_{a+1}) = (h_0+ρh_1)h_a^2$ over arbitrary base fields, which are motivic analogues of Adams' classical differentials. Unlike the classical case, the story does not end here, as the motivic $1$-line is significantly richer than the classical $1$-line. We determine all permanent cycles on the $\mathbb{R}$-motivic $1$-line, and explicitly compute differentials in the universal cases of the prime fields $\mathbb{F}_q$ and $\mathbb{Q}$, as well as $\mathbb{Q}_p$ and $\mathbb{R}$.

math.AT↗

arXiv2023

Algebraic K-theory of elliptic cohomology

We calculate the mod (p, v_1, v_2) homotopy V(2)_* TC(BP<2>) of the topological cyclic homology of the truncated Brown--Peterson spectrum BP<2>, at all primes p\ge7, and show that it is a finitely generated and free F_p[v_3]-module on 12p+4 generators in explicit degrees within the range -1 \le * \le 2p^3+2p^2+2p-3. At these primes BP<2> is a form of elliptic cohomology, and our result also determines the mod (p, v_1, v_2) homotopy of its algebraic K-theory. Our computation is the first that exhibits chromatic redshift from pure v_2-periodicity to pure v_3-periodicity in a precise quantitative manner.

math.AT↗

arXiv2023

Exotic Picard groups and chromatic vanishing via the Gross-Hopkins duality

In this paper, we study the exotic $K(h)$-local Picard groups $κ_h$ when $2p-1=h^2$ and the homological Chromatic Vanishing Conjecture when $p-1$ does not divide $h$. The main idea is to use the Gross-Hopkins duality to relate both questions to certain Greek letter element computations in chromatic homotopy theory. Classical results of Miller-Ravenel-Wilson then imply that an exotic element at height $3$ and prime $5$ is not detected by the type-$2$ complex $V(1)$. For the homological Vanishing Conjecture, we prove it holds modulo the invariant prime ideal $I_{h-1}$. We further show that this special case of the Vanishing Conjecture implies the exotic Picard group $κ_h$ is zero at height $3$ and prime $5$. Both results can be thought of as a first step towards proving the vanishing of $κ_3$ at prime $5$.

math.AT↗

arXiv2023

Topological Hochschild homology of truncated Brown-Peterson spectra I

We compute topological Hochschild homology of sufficiently structured forms of truncated Brown--Peterson spectra with coefficients. In particular, we compute $\mathrm{THH}_*(B\langle n\rangle ;H\mathbb{Z}_{(p)})$ for all $n$ and $\mathrm{THH}_*(B\langle 2\rangle ;M)$ for $M\in \{ k(1),k(2)\}$ where $B\langle n\rangle$ is an $E_3$ form of $BP\langle n\rangle$ for certain primes $p$. For example, this gives a computation of $\mathrm{THH}(\mathrm{taf}^{D};M)$ for $M\in \{H\mathbb{Z}_{(3)},k(1),k(1))$ where $\mathrm{taf}^{D}$ is the $E_{\infty}$ form of $BP\langle 2\rangle$ constructed by Hill--Lawson.

math.AT↗

arXiv2021

Algebraic slice spectral sequences

For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory, motivic Morava K-theory, and truncated motivic Brown-Peterson spectra. In these cases, we show that the $\mathbb{R}$-motivic effective slice spectral sequence is completely determined by the $ρ$-Bockstein spectral sequence. Using results of Heard, we also obtain applications to the Hill-Hopkins-Ravenel slice spectral sequences for connective Real K-theory, Real Morava K-theory, and truncated Real Brown-Peterson spectra.

math.AT↗

arXiv2020

$kq$-Resolutions I

Let $kq$ denote the very effective cover of Hermitian K-theory. We apply the $kq$-based motivic Adams spectral sequence, or $kq$-resolution, to computational motivic stable homotopy theory. Over base fields of characteristic not two, we prove that the $n$-th stable homotopy group of motivic spheres is detected in the first $n$ lines of the $kq$-resolution, thereby reinterpreting results of Morel and R{ö}ndigs-Spitzweck-Østvær in terms of $kq$ and $kq$-cooperations. Over algebraically closed fields of characteristic 0, we compute the ring of $kq$-cooperations modulo $v_1$-torsion, establish a vanishing line of slope $1/5$ in the $E_2$-page, and completely determine the $0$- and $1$- lines of the $kq$-resolution. This gives a full computation of the $v_1$-periodic motivic stable stems and recovers Andrews and Miller's calculation of the $η$-periodic $\mathbb{C}$-motivic stable stems. We also construct a motivic connective $j$ spectrum and identify its homotopy groups with the $v_1$-periodic motivic stable stems. Finally, we propose motivic analogs of Ravenel's Telescope and Smashing Conjectures and present evidence for both.

math.AT↗

arXiv2019

On the $K(1)$-local homotopy of $\mathrm{tmf} \wedge \mathrm{tmf}$

As a step towards understanding the $\mathrm{tmf}$-based Adams spectral sequence, we compute the $K(1)$-local homotopy of $\mathrm{tmf} \wedge \mathrm{tmf}$, using a small presentation of $L_{K(1)}\mathrm{tmf}$ due to Hopkins. We also describe the $K(1)$-local $\mathrm{tmf}$-based Adams spectral sequence.

math.AT↗