Showing 1–13 of 13 results for author: Davies, J M

On periodic families in the stable stems of height two

Authors: Christian Carrick, Jack Morgan Davies

Abstract: We discover 110 infinite periodic families in the 2-primary stable homotopy groups of spheres. These families appear in seventeen different congruence classes of degrees modulo 192, four of them consist of simple 4-torsion elements, and another two of simple 8-torsion. They all vanish in the homotopy groups of the spectrum TMF of topological modular forms, but we show that they are detected in the… ▽ More We discover 110 infinite periodic families in the 2-primary stable homotopy groups of spheres. These families appear in seventeen different congruence classes of degrees modulo 192, four of them consist of simple 4-torsion elements, and another two of simple 8-torsion. They all vanish in the homotopy groups of the spectrum TMF of topological modular forms, but we show that they are detected in the fixed-points of TMF with respect to an Atkin--Lehner involution. △ Less

Submitted 25 June, 2025; originally announced June 2025.

Comments: 29 pages, 3 tables, comments welcome!

MSC Class: 55T05; 55T15; 55T25; 55N20; 55P42; 55N34; 55Q10; 55Q51

On the derived Tate curve and global smooth Tate $K$-theory

Authors: Jack Morgan Davies, Sil Linskens

Abstract: The interplay between equivariant stable homotopy theory and spectral algebraic geometry is used to construct a derived Tate curve over $\mathrm{KU}((q))$, a lift of the classical elliptic curve of Tate over $\mathbf{Z}((q))$. Applications of both an algebro-geometric and a topological flavour follow. First, we construct a spectral algebro-geometric model for the compactification of the moduli sta… ▽ More The interplay between equivariant stable homotopy theory and spectral algebraic geometry is used to construct a derived Tate curve over $\mathrm{KU}((q))$, a lift of the classical elliptic curve of Tate over $\mathbf{Z}((q))$. Applications of both an algebro-geometric and a topological flavour follow. First, we construct a spectral algebro-geometric model for the compactification of the moduli stack of oriented elliptic curves, giving a canonical choice of holomorphic topological $q$-expansion map. Then we define globally equivariant forms of Tate $K$-theory $\mathbf{KO}((q))$ and $\mathbf{KU}((q))$, and equip them with globally equivariant meromorphic topological $q$-expansion maps from global topological modular forms. Finally, we explore $C_2$-equivariant versions of global Tate $K$-theory and connect them with $C_2$-equivariant global topological modular forms with level structures. △ Less

Submitted 6 March, 2025; originally announced March 2025.

Comments: 41 pages, comments welcome!

MSC Class: 14A30; 19L47; 55P91; 55P42

The descent spectral sequence for topological modular forms

Authors: Christian Carrick, Jack Morgan Davies, Sven van Nigtevecht

Abstract: We prove the Gap Theorem for the spectrum of topological modular forms $\mathrm{Tmf}$. This removes a longstanding circularity in the literature, thereby confirming the computation of $π_\ast \mathrm{tmf}$ from over two decades ago by Hopkins and Mahowald. Our approach is crucially a modern one, developing and refining many techniques in synthetic spectra. We prove the Gap Theorem for the spectrum of topological modular forms $\mathrm{Tmf}$. This removes a longstanding circularity in the literature, thereby confirming the computation of $π_\ast \mathrm{tmf}$ from over two decades ago by Hopkins and Mahowald. Our approach is crucially a modern one, developing and refining many techniques in synthetic spectra. △ Less

Submitted 2 December, 2024; originally announced December 2024.

Comments: 87 pages, plus appendix containing 6 tables and 6 figures. Comments welcome!

Nonvanishing of products in $v_2$-periodic families at the prime $3$

Authors: Christian Carrick, Jack Morgan Davies

Abstract: Many products amongst $v_2$-periodic families in the stable homotopy groups of spheres are shown not to vanish and some Toda brackets are shown not to contain zero. This is done by carefully studying the action of Adams operations on topological modular forms. A crucial ingredient is Pstragowski's category of synthetic spectra which affords us the necessary freedom to work with (modified) Adams--N… ▽ More Many products amongst $v_2$-periodic families in the stable homotopy groups of spheres are shown not to vanish and some Toda brackets are shown not to contain zero. This is done by carefully studying the action of Adams operations on topological modular forms. A crucial ingredient is Pstragowski's category of synthetic spectra which affords us the necessary freedom to work with (modified) Adams--Novikov spectral sequences. △ Less

Submitted 3 December, 2024; v1 submitted 3 October, 2024; originally announced October 2024.

Comments: 36 pages and 5 figures. Comments are always welcome. v2 has fixes some minor errors

MSC Class: 55T05; 55T15; 55T25; 55N20; 55P42; 55N34; 55Q10

Descent spectral sequences through synthetic spectra

Authors: Christian Carrick, Jack Morgan Davies, Sven van Nigtevecht

Abstract: The synthetic analogue functor $ν$ from spectra to synthetic spectra does not preserve all limits. In this paper, we give a necessary and sufficient criterion for $ν$ to preserve the global sections of a derived stack. Even when these conditions are not satisfied, our framework still yields synthetic spectra that implement the descent spectral sequence for the structure sheaf, thus placing descent… ▽ More The synthetic analogue functor $ν$ from spectra to synthetic spectra does not preserve all limits. In this paper, we give a necessary and sufficient criterion for $ν$ to preserve the global sections of a derived stack. Even when these conditions are not satisfied, our framework still yields synthetic spectra that implement the descent spectral sequence for the structure sheaf, thus placing descent spectral sequences on good footing in the $\infty$-category of synthetic spectra. As an example, we introduce a new $\mathrm{MU}$-synthetic spectrum $\mathrm{Smf}$. △ Less

Submitted 2 July, 2025; v1 submitted 1 July, 2024; originally announced July 2024.

Comments: v2: clarified some results and proofs, and incorporated referee comments. Accepted version, to appear in IMRN. v1: 33 pages. Comments welcome!

A synthetic approach to detecting $v_1$-periodic families

Authors: Christian Carrick, Jack Morgan Davies

Abstract: We provide a simple proof that the unit map from the sphere spectrum to the connective image-of-$J$ spectrum $\mathrm{j}$ is surjective on homotopy groups. This is achieved using a novel $t$-structure on the category of $E$-synthetic spectra and a specific construction of $\mathbf{F}_p$- and BP-synthetic lifts of $\mathrm{j}$. These synthetic lifts then easily produce modified Adams and Adams--Nov… ▽ More We provide a simple proof that the unit map from the sphere spectrum to the connective image-of-$J$ spectrum $\mathrm{j}$ is surjective on homotopy groups. This is achieved using a novel $t$-structure on the category of $E$-synthetic spectra and a specific construction of $\mathbf{F}_p$- and BP-synthetic lifts of $\mathrm{j}$. These synthetic lifts then easily produce modified Adams and Adams--Novikov spectral sequences for $\mathrm{j}$ which we use the prove the above detection statement, all without ever calculating $\mathbf{F}_p$- or BP-homology nor the associated Ext groups. △ Less

Submitted 7 June, 2025; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: 53 pages and 16 spectral sequence diagrams. Comments are always welcome. v2 adds a proof of Wood's theorem and refines assumptions. Accepted version

MSC Class: 55T05; 55T15; 55T25; 55N20; 55P42

Comparing tempered and equivariant elliptic cohomology

Authors: Jack Morgan Davies

Abstract: Lurie and Gepner--Meier each define equivariant cohomology theories, namely \emph{tempered cohomology} and \emph{equivariant elliptic cohomology}, respectively, using derived algebraic geometry. We construct a natural equivalence between these theories where they overlap. Moreover, we emphasise the naturality and coherence of both these equivariant theories as well as our comparison. To demonstrat… ▽ More Lurie and Gepner--Meier each define equivariant cohomology theories, namely \emph{tempered cohomology} and \emph{equivariant elliptic cohomology}, respectively, using derived algebraic geometry. We construct a natural equivalence between these theories where they overlap. Moreover, we emphasise the naturality and coherence of both these equivariant theories as well as our comparison. To demonstrate the use of this comparison, we show that the $G$-fixed points of equivariant topological modular forms is dualisable as a $\mathrm{TMF}$-module for all compact Lie groups $G$ that decompose as a product of a torus and a finite group by formally reducing to an argument of Gepner--Meier. △ Less

Submitted 18 February, 2025; v1 submitted 14 November, 2023; originally announced November 2023.

Comments: 26 pages, comments welcome, v2 generalises the set-up of abelian varieties to abelian sheaves and refines Conj.0.1

MSC Class: 14A30; 55N34; 55N22; 55N91; 55P43; 55P91

Uniqueness of real ring spectra up to higher homotopy

Authors: Jack Morgan Davies

Abstract: We discuss a notion of uniqueness up to $n$-homotopy and study examples from stable homotopy theory. In particular, we show that the $q$-expansion map from elliptic cohomology to topological $K$-theory is unique up to $3$-homotopy, away from the prime $2$, and that upon taking $p$-completions and $\mathbf{F}_p^\times$-homotopy fixed points, this map is uniquely defined up to $(2p-3)$-homotopy. Usi… ▽ More We discuss a notion of uniqueness up to $n$-homotopy and study examples from stable homotopy theory. In particular, we show that the $q$-expansion map from elliptic cohomology to topological $K$-theory is unique up to $3$-homotopy, away from the prime $2$, and that upon taking $p$-completions and $\mathbf{F}_p^\times$-homotopy fixed points, this map is uniquely defined up to $(2p-3)$-homotopy. Using this, we prove new relationships between Adams operations on connective and dualisable topological modular forms -- other applications, including a construction of a connective model of Behrens' $Q(N)$ spectra away from $2N$, will be explored elsewhere. The technical tool facilitating this uniqueness is a variant of the Goerss--Hopkins obstruction theory for real spectra, which applies to various elliptic cohomology and topological $K$-theories with a trivial complex conjugation action as well as some of their homotopy fixed points. △ Less

Submitted 3 May, 2023; originally announced May 2023.

Comments: 24 pages, comments are always welcome

MSC Class: 55N34; 55N22; 55S25; 55P43; 14A20

Journal ref: Ann. K-Th. 9 (2024) 447-473

Hecke operators on topological modular forms

Authors: Jack Morgan Davies

Abstract: The cohomology theory TMF of topological modular forms is a derived algebro-geometric interpretation of the classical ring of complex modular forms from number theory. In this article, we refine the classical Adams operations, Hecke operators, and Atkin--Lehner involutions from endomorphisms of classical modular forms to stable operators on TMF. Our algebro-geometric formulation of these operators… ▽ More The cohomology theory TMF of topological modular forms is a derived algebro-geometric interpretation of the classical ring of complex modular forms from number theory. In this article, we refine the classical Adams operations, Hecke operators, and Atkin--Lehner involutions from endomorphisms of classical modular forms to stable operators on TMF. Our algebro-geometric formulation of these operators leads to simple proofs of their many remarkable properties and computations. From these properties, we use techniques from homotopy theory to make simple number-theoretic deductions, including a rederivation of some classical congruences of Ramanujan and providing new infinite families of classical Hecke operators which satisfy Maeda's conjecture. △ Less

Submitted 23 July, 2024; v1 submitted 12 December, 2022; originally announced December 2022.

Comments: 60 pages, comments welcome, v2: updated version following referees suggestions

Report number: HIM-Spectral-2022 MSC Class: 11F23; 11F25; 14D23; 55N34; 55N22; 55P43; 55S25

Journal ref: Advances in Mathematics, Volume 452, 2024

Elliptic cohomology is unique up to homotopy

Authors: Jack Morgan Davies

Abstract: Homotopy theory folklore tells us that the sheaf defining the cohomology theory Tmf of topological modular forms is unique up to homotopy. Here we provide a proof of this fact, although we claim no originality for the statement. This retroactively reconciles all previous constructions of Tmf. Homotopy theory folklore tells us that the sheaf defining the cohomology theory Tmf of topological modular forms is unique up to homotopy. Here we provide a proof of this fact, although we claim no originality for the statement. This retroactively reconciles all previous constructions of Tmf. △ Less

Submitted 14 June, 2021; originally announced June 2021.

Comments: 18 pages, comments are very welcome

MSC Class: 55N34; 55N22; 55P43

Journal ref: DAVIES, J. (2022). ELLIPTIC COHOMOLOGY IS UNIQUE UP TO HOMOTOPY. Journal of the Australian Mathematical Society, 1-20

Constructing and calculating Adams operations on dualisable topological modular forms

Authors: Jack Morgan Davies

Abstract: We construct Adams operations on the cohomology theory Tmf of topological modular forms; the first such stable operations on this cohomology theory. These Adams operations are then calculated on the Tmf-cohomology of spheres using a combination of descent spectral sequences and Anderson duality. Applications of these operations are then given, including constructions of connective height 2 analogu… ▽ More We construct Adams operations on the cohomology theory Tmf of topological modular forms; the first such stable operations on this cohomology theory. These Adams operations are then calculated on the Tmf-cohomology of spheres using a combination of descent spectral sequences and Anderson duality. Applications of these operations are then given, including constructions of connective height 2 analogues of Adams summands and image of J spectra. △ Less

Submitted 20 January, 2025; v1 submitted 27 April, 2021; originally announced April 2021.

Comments: 46 pages. Final and accepted version. Comments always welcome!

MSC Class: 55N34; 55N22; 55S25; 55P43; 11F23; 14F20

On Lurie's theorem and applications

Authors: Jack Morgan Davies

Abstract: Lurie's theorem states that there exists a sheaf of ring spectra on the site of formally étale Deligne--Mumford stacks over the moduli stack of $p$-divisible groups of height $n$, which agrees with the classical Landweber exact functor theorem (LEFT) on affines. In other words, this theorem is a global, higher categorical refinement of the LEFT. In recent work, Lurie has introduced many of the ing… ▽ More Lurie's theorem states that there exists a sheaf of ring spectra on the site of formally étale Deligne--Mumford stacks over the moduli stack of $p$-divisible groups of height $n$, which agrees with the classical Landweber exact functor theorem (LEFT) on affines. In other words, this theorem is a global, higher categorical refinement of the LEFT. In recent work, Lurie has introduced many of the ingredients one needs to prove this theorem, and in this article, we gather these ingredients together and prove Lurie's theorem. Applications of this theorem to Lubin--Tate theories, topological modular and automorphism forms, and Adams operations are also discussed. △ Less

Submitted 3 December, 2024; v1 submitted 1 July, 2020; originally announced July 2020.

Comments: 60 pages, v3. overhauled in many ways, final version accepted in Mathematische Zeitschrift. Comments are always welcome

MSC Class: 14D15; 14D23; 55P42; 55P43; 55N22

Journal ref: Math. Z. 309, 24 (2025)

Realising $π_\ast^e R$-algebras by global ring spectra

Authors: Jack Morgan Davies

Abstract: We approach a problem of realising algebraic objects in a certain universal equivariant stable homotopy theory; the global homotopy theory of Schwede. Specifically, for a global ring spectrum $R$, we consider which classes of ring homomorphisms $η_\ast\colonπ_\ast^e R\rightarrow S_\ast$ can be realised by a map $η\colon R\rightarrow S$ in the category of global $R$-modules, and what multiplicative… ▽ More We approach a problem of realising algebraic objects in a certain universal equivariant stable homotopy theory; the global homotopy theory of Schwede. Specifically, for a global ring spectrum $R$, we consider which classes of ring homomorphisms $η_\ast\colonπ_\ast^e R\rightarrow S_\ast$ can be realised by a map $η\colon R\rightarrow S$ in the category of global $R$-modules, and what multiplicative structures can be placed on $S$. If $η_\ast$ witnesses $S_\ast$ as a projective $π_\ast^e R$-module, then such an $η$ exists as a map between homotopy commutative global $R$-algebras. If $η_\ast$ is in addition étale or $S_0$ is a $\mathbb{Q}$-algebra, then $η$ can be upgraded to a map of $\mathbb{E}_\infty$-global $R$-algebras or a map of $\mathbb{G}_\infty$-$R$-algebras, respectively. Various global spectra and $\mathbb{E}_\infty$-global ring spectra are then obtained from classical homotopy theoretic and algebraic constructions, with a controllable global homotopy type. △ Less

Submitted 21 June, 2020; v1 submitted 11 April, 2019; originally announced April 2019.

Comments: 40 page, v2 -- significant changes, added examples. Feedback is always welcome!

MSC Class: 55P42; 55P43; 55P91; 55P92

Journal ref: Algebr. Geom. Topol. 21 (2021) 1745-1790