Showing 1–33 of 33 results for author: Behrens, M

Periodic phenomena in equivariant stable homotopy theory

Authors: Mark Behrens, Jack Carlisle

Abstract: Building off of many recent advances in the subject by many different researchers, we describe a picture of A-equivariant chromatic homotopy theory which mirrors the now classical non-equivariant picture of Morava, Miller-Ravenel-Wilson, and Devinatz-Hopkins-Smith, where A is a finite abelian p-group. Specifically, we review the structure of the Balmer spectrum of the category of A-spectra, and th… ▽ More Building off of many recent advances in the subject by many different researchers, we describe a picture of A-equivariant chromatic homotopy theory which mirrors the now classical non-equivariant picture of Morava, Miller-Ravenel-Wilson, and Devinatz-Hopkins-Smith, where A is a finite abelian p-group. Specifically, we review the structure of the Balmer spectrum of the category of A-spectra, and the work of Hausmann-Meier connecting this to MU_A and equivariant formal group laws. Generalizing work of Bhattacharya-Guillou-Li, we introduce equivariant analogs of v_n-self maps, and generalizing work of Carrick and Balderrama, we introduce equivariant analogs of the chromatic tower, and give equivariant analogs of the smash product and chromatic convergence theorems. The equivariant monochromatic theory is also discussed. We explore computational examples of this theory in the case of A = C_2, where we connect equivariant chromatic theory with redshift phenomena in Mahowald invariants. △ Less

Submitted 7 July, 2024; v1 submitted 27 June, 2024; originally announced June 2024.

Comments: 67 pages. v2 adds Defn 6.33, corrects Proposition 6.34, fixing an error pointed out by Shangji Zhang

Improving prediction models by incorporating external data with weights based on similarity

Authors: Max Behrens, Maryam Farhadizadeh, Angelika Rohde, Alexander Rühle, Nils H. Nicolay, Harald Binder, Daniela Zöller

Abstract: In clinical settings, we often face the challenge of building prediction models based on small observational data sets. For example, such a data set might be from a medical center in a multi-center study. Differences between centers might be large, thus requiring specific models based on the data set from the target center. Still, we want to borrow information from the external centers, to deal wi… ▽ More In clinical settings, we often face the challenge of building prediction models based on small observational data sets. For example, such a data set might be from a medical center in a multi-center study. Differences between centers might be large, thus requiring specific models based on the data set from the target center. Still, we want to borrow information from the external centers, to deal with small sample sizes. There are approaches that either assign weights to each external data set or each external observation. To incorporate information on differences between data sets and observations, we propose an approach that combines both into weights that can be incorporated into a likelihood for fitting regression models. Specifically, we suggest weights at the data set level that incorporate information on how well the models that provide the observation weights distinguish between data sets. Technically, this takes the form of inverse probability weighting. We explore different scenarios where covariates and outcomes differ among data sets, informing our simulation design for method evaluation. The concept of effective sample size is used for understanding the effectiveness of our subgroup modeling approach. We demonstrate our approach through a clinical application, predicting applied radiotherapy doses for cancer patients. Generally, the proposed approach provides improved prediction performance when external data sets are similar. We thus provide a method for quantifying similarity of external data sets to the target data set and use this similarity to include external observations for improving performance in a target data set prediction modeling task with small data. △ Less

Submitted 28 May, 2024; v1 submitted 13 May, 2024; originally announced May 2024.

Comments: minor update of affiliations and funding

Investigating a domain adaptation approach for integrating different measurement instruments in a longitudinal clinical registry

Authors: Maren Hackenberg, Michelle Pfaffenlehner, Max Behrens, Astrid Pechmann, Janbernd Kirschner, Harald Binder

Abstract: In a longitudinal clinical registry, different measurement instruments might have been used for assessing individuals at different time points. To combine them, we investigate deep learning techniques for obtaining a joint latent representation, to which the items of different measurement instruments are mapped. This corresponds to domain adaptation, an established concept in computer science for… ▽ More In a longitudinal clinical registry, different measurement instruments might have been used for assessing individuals at different time points. To combine them, we investigate deep learning techniques for obtaining a joint latent representation, to which the items of different measurement instruments are mapped. This corresponds to domain adaptation, an established concept in computer science for image data. Using the proposed approach as an example, we evaluate the potential of domain adaptation in a longitudinal cohort setting with a rather small number of time points, motivated by an application with different motor function measurement instruments in a registry of spinal muscular atrophy (SMA) patients. There, we model trajectories in the latent representation by ordinary differential equations (ODEs), where person-specific ODE parameters are inferred from baseline characteristics. The goodness of fit and complexity of the ODE solutions then allows to judge the measurement instrument mappings. We subsequently explore how alignment can be improved by incorporating corresponding penalty terms into model fitting. To systematically investigate the effect of differences between measurement instruments, we consider several scenarios based on modified SMA data, including scenarios where a mapping should be feasible in principle and scenarios where no perfect mapping is available. While misalignment increases in more complex scenarios, some structure is still recovered, even if the availability of measurement instruments depends on patient state. A reasonable mapping is feasible also in the more complex real SMA dataset. These results indicate that domain adaptation might be more generally useful in statistical modeling for longitudinal registry data. △ Less

Submitted 1 December, 2023; originally announced December 2023.

Comments: 18 pages, 4 figures

A deformation of Borel equivariant homotopy

Authors: Gabriel Angelini-Knoll, Mark Behrens, Eva Belmont, Hana Jia Kong

Abstract: We describe a deformation of the $\infty$-category of Borel $G$-spectra for a finite group $G$. This provides a new presentation of the $a$-complete real Artin--Tate motivic stable homotopy category when $G=C_2$ and gives a new interpretation of the $a$-completed $C_2$-effective slice spectral sequence. As a new computational tool, we present a modified Adams--Novikov spectral sequence which compu… ▽ More We describe a deformation of the $\infty$-category of Borel $G$-spectra for a finite group $G$. This provides a new presentation of the $a$-complete real Artin--Tate motivic stable homotopy category when $G=C_2$ and gives a new interpretation of the $a$-completed $C_2$-effective slice spectral sequence. As a new computational tool, we present a modified Adams--Novikov spectral sequence which computes the $RO(G)$-graded Mackey functor valued homotopy of Borel $G$-spectra. △ Less

Submitted 27 September, 2023; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: updated introduction and references; 49 pages, comments welcome!

MSC Class: 55P91; 14F42; 55P42; 55T15

The structure of the v_2-local algebraic tmf resolution

Authors: Mark Behrens, Prasit Bhattacharya, Dominic Culver

Abstract: We give a complete description of the E_1-term of the v_2-local as well as g-local algebraic tmf resolution. We give a complete description of the E_1-term of the v_2-local as well as g-local algebraic tmf resolution. △ Less

Submitted 26 January, 2023; originally announced January 2023.

Comments: 35 pages

Smart Magnetic Microrobots Learn to Swim with Deep Reinforcement Learning

Authors: Michael R. Behrens, Warren C. Ruder

Abstract: Swimming microrobots are increasingly developed with complex materials and dynamic shapes and are expected to operate in complex environments in which the system dynamics are difficult to model and positional control of the microrobot is not straightforward to achieve. Deep reinforcement learning is a promising method of autonomously developing robust controllers for creating smart microrobots, wh… ▽ More Swimming microrobots are increasingly developed with complex materials and dynamic shapes and are expected to operate in complex environments in which the system dynamics are difficult to model and positional control of the microrobot is not straightforward to achieve. Deep reinforcement learning is a promising method of autonomously developing robust controllers for creating smart microrobots, which can adapt their behavior to operate in uncharacterized environments without the need to model the system dynamics. Here, we report the development of a smart helical magnetic hydrogel microrobot that used the soft actor critic reinforcement learning algorithm to autonomously derive a control policy which allowed the microrobot to swim through an uncharacterized biomimetic fluidic environment under control of a time varying magnetic field generated from a three-axis array of electromagnets. The reinforcement learning agent learned successful control policies with fewer than 100,000 training steps, demonstrating sample efficiency for fast learning. We also demonstrate that we can fine tune the control policies learned by the reinforcement learning agent by fitting mathematical functions to the learned policy's action distribution via regression. Deep reinforcement learning applied to microrobot control is likely to significantly expand the capabilities of the next generation of microrobots. △ Less

Submitted 14 January, 2022; originally announced January 2022.

Comments: 23 pages, 5 figures

ACM Class: I.2.9

The 2-primary Hurewicz image of tmf

Authors: Mark Behrens, Mark Mahowald, J. D. Quigley

Abstract: We determine the image of the 2-primary tmf-Hurewicz homomorphism, where tmf is the spectrum of topological modular forms. We do this by lifting elements of tmf_* to the homotopy groups of the generalized Moore spectrum M(8,v_1^8) using a modified form of the Adams spectral sequence and the tmf-resolution, and then proving the existence of a v_2^32-self map on M(8,v_1^8) to generate 192-periodic f… ▽ More We determine the image of the 2-primary tmf-Hurewicz homomorphism, where tmf is the spectrum of topological modular forms. We do this by lifting elements of tmf_* to the homotopy groups of the generalized Moore spectrum M(8,v_1^8) using a modified form of the Adams spectral sequence and the tmf-resolution, and then proving the existence of a v_2^32-self map on M(8,v_1^8) to generate 192-periodic families in the stable homotopy groups of spheres. △ Less

Submitted 20 November, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

Comments: 61 pages, 12 figures. v4: made corrections based on comments from referees

Journal ref: Geom. Topol. 27 (2023) 2763-2831

The telescope conjecture at height 2 and the tmf resolution

Authors: Agnes Beaudry, Mark Behrens, Prasit Bhattacharya, Dominic Culver, Zhouli Xu

Abstract: Mahowald proved the height 1 telescope conjecture at the prime 2 as an application of his seminal work on bo-resolutions. In this paper we study the height 2 telescope conjecture at the prime 2 through the lens of tmf-resolutions. To this end we compute the structure of the tmf-resolution for a specifc type 2 complex Z. We find that, analogous to the height 1 case, the E1-page of the tmf-resolutio… ▽ More Mahowald proved the height 1 telescope conjecture at the prime 2 as an application of his seminal work on bo-resolutions. In this paper we study the height 2 telescope conjecture at the prime 2 through the lens of tmf-resolutions. To this end we compute the structure of the tmf-resolution for a specifc type 2 complex Z. We find that, analogous to the height 1 case, the E1-page of the tmf-resolution possesses a decomposition into a v2-periodic summand, and an Eilenberg-MacLane summand which consists of bounded v2-torsion. However, unlike the height 1 case, the E2-page of the tmf-resolution exhibits unbounded v2-torsion. We compare this to the work of Mahowald-Ravenel-Shick, and discuss how the validity of the telescope conjecture is connected to the fate of this unbounded v2-torsion: either the unbounded v2-torsion kills itself off in the spectral sequence, and the telescope conjecture is true, or it persists to form v2-parabolas and the telescope conjecture is false. We also study how to use the tmf-resolution to effectively give low dimensional computations of the homotopy groups of Z. These computations allow us to prove a conjecture of the second author and Egger: the E(2)-local Adams-Novikov spectral sequence for Z collapses. △ Less

Submitted 10 July, 2021; v1 submitted 29 September, 2019; originally announced September 2019.

Comments: v2: 83 pages - substantial revisions and added background

C_2-equivariant stable homotopy from real motivic stable homotopy

Authors: Mark Behrens, Jay Shah

Abstract: We give a method for computing the C_2-equivariant homotopy groups of the Betti realization of a p-complete cellular motivic spectrum over R in terms of its motivic homotopy groups. More generally, we show that Betti realization presents the C_2-equivariant p-complete stable homotopy category as a localization of the p-complete cellular real motivic stable homotopy category. We give a method for computing the C_2-equivariant homotopy groups of the Betti realization of a p-complete cellular motivic spectrum over R in terms of its motivic homotopy groups. More generally, we show that Betti realization presents the C_2-equivariant p-complete stable homotopy category as a localization of the p-complete cellular real motivic stable homotopy category. △ Less

Submitted 13 April, 2020; v1 submitted 22 August, 2019; originally announced August 2019.

Comments: 49 pages, 4 figures. v3: revisions based on comments from referee

Journal ref: Ann. K-Th. 5 (2020) 411-464

Topological modular and automorphic forms

Authors: Mark Behrens

Abstract: This article is a brief survey of the theory of topological modular forms (TMF) and the theory of topological automorphic forms (TAF). It will be a chapter in forthcoming "Handbook of Homotopy Theory" edited by Haynes Miller. This article is a brief survey of the theory of topological modular forms (TMF) and the theory of topological automorphic forms (TAF). It will be a chapter in forthcoming "Handbook of Homotopy Theory" edited by Haynes Miller. △ Less

Submitted 5 February, 2019; v1 submitted 23 January, 2019; originally announced January 2019.

Comments: 47 pages, 2 figures. I would greatly appreciate any comments or corrections. (v2 incorporates many such comments and corrections)

The Bousfield-Kuhn functor and Topological Andre-Quillen cohomology

Authors: Mark Behrens, Charles Rezk

Abstract: We construct a natural transformation from the Bousfield-Kuhn functor evaluated on a space to the Topological Andre-Quillen cohomology of the K(n)-local Spanier-Whitehead dual of the space, and show that the map is an equivalence in the case where the space is a sphere. This results in a method for computing unstable v_n-periodic homotopy groups of spheres from their Morava E-cohomology (as module… ▽ More We construct a natural transformation from the Bousfield-Kuhn functor evaluated on a space to the Topological Andre-Quillen cohomology of the K(n)-local Spanier-Whitehead dual of the space, and show that the map is an equivalence in the case where the space is a sphere. This results in a method for computing unstable v_n-periodic homotopy groups of spheres from their Morava E-cohomology (as modules over the Dyer-Lashof algebra of Morava E-theory). We relate the resulting algebraic computations to the algebraic geometry of isogenies between Lubin-Tate formal groups. △ Less

Submitted 15 December, 2019; v1 submitted 8 December, 2017; originally announced December 2017.

Comments: 57 pages, final accepted form

Detecting exotic spheres in low dimensions using coker J

Authors: Mark Behrens, Michael Hill, Michael J. Hopkins, Mark Mahowald

Abstract: Building off of the work of Kervaire and Milnor, and Hill, Hopkins, and Ravenel, Xu and Wang showed that the only odd dimensions n for which S^n has a unique differentiable structure are 1, 3, 5, and 61. We show that the only even dimensions below 140 for which S^n has a unique differentiable structure are 2, 6, 12, 56, and perhaps 4. Building off of the work of Kervaire and Milnor, and Hill, Hopkins, and Ravenel, Xu and Wang showed that the only odd dimensions n for which S^n has a unique differentiable structure are 1, 3, 5, and 61. We show that the only even dimensions below 140 for which S^n has a unique differentiable structure are 2, 6, 12, 56, and perhaps 4. △ Less

Submitted 2 November, 2019; v1 submitted 22 August, 2017; originally announced August 2017.

Comments: 52 pages. Revised version includes some additional recommendations of referee

A $C_2$-equivariant analog of Mahowald's Thom spectrum theorem

Authors: Mark Behrens, Dylan Wilson

Abstract: We prove that the $C_2$-equivariant Eilenberg-MacLane spectrum associated to the constant Mackey functor $\underline{\mathbb{F}}_2$ is equivalent to a Thom spectrum over ${Ω^ρS^{ρ+ 1}}$. We prove that the $C_2$-equivariant Eilenberg-MacLane spectrum associated to the constant Mackey functor $\underline{\mathbb{F}}_2$ is equivalent to a Thom spectrum over ${Ω^ρS^{ρ+ 1}}$. △ Less

Submitted 3 February, 2018; v1 submitted 9 July, 2017; originally announced July 2017.

Comments: 10 pages; minor updates following referee report

Spectral algebra models of unstable v_n-periodic homotopy theory

Authors: Mark Behrens, Charles Rezk

Abstract: We give a survey of a generalization of Quillen-Sullivan rational homotopy theory which gives spectral algebra models of unstable v_n-periodic homotopy types. In addition to describing and contextualizing our original approach, we sketch two other recent approaches which are of a more conceptual nature, due to Arone-Ching and Heuts. In the process, we also survey many relevant concepts which arise… ▽ More We give a survey of a generalization of Quillen-Sullivan rational homotopy theory which gives spectral algebra models of unstable v_n-periodic homotopy types. In addition to describing and contextualizing our original approach, we sketch two other recent approaches which are of a more conceptual nature, due to Arone-Ching and Heuts. In the process, we also survey many relevant concepts which arise in the study of spectral algebra over operads, including topological André-Quillen cohomology, Koszul duality, and Goodwillie calculus. △ Less

Submitted 26 May, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 44 pages, fixed a stupid typo

On the E2-term of the bo-Adams spectral sequence

Authors: Agnes Beaudry, Mark Behrens, Prasit Bhattacharya, Dominic Culver, Zhouli Xu

Abstract: The E_1-term of the (2-local) bo-based Adams spectral sequence for the sphere spectrum decomposes into a direct sum of a v_1-periodic part, and a v_1-torsion part. Lellmann and Mahowald completely computed the d_1-differential on the v_1-periodic part, and the corresponding contribution to the E_2-term. The v_1-torsion part is harder to handle, but with the aid of a computer it was computed throug… ▽ More The E_1-term of the (2-local) bo-based Adams spectral sequence for the sphere spectrum decomposes into a direct sum of a v_1-periodic part, and a v_1-torsion part. Lellmann and Mahowald completely computed the d_1-differential on the v_1-periodic part, and the corresponding contribution to the E_2-term. The v_1-torsion part is harder to handle, but with the aid of a computer it was computed through the 20-stem by Davis. Such computer computations are limited by the exponential growth of v_1-torsion in the E_1-term. In this paper, we introduce a new method for computing the contribution of the v_1-torsion part to the E_2-term, whose input is the cohomology of the Steenrod algebra. We demonstrate the efficacy of our technique by computing the bo-Adams spectral sequence beyond the 40-stem. △ Less

Submitted 26 October, 2019; v1 submitted 1 February, 2017; originally announced February 2017.

Comments: 64 pages, 16 figures, few minor typos fixed, accepted to J. Topology

On the ring of cooperations for 2-primary connective topological modular forms

Authors: Mark Behrens, Kyle Ormsby, Nathaniel Stapleton, Vesna Stojanoska

Abstract: We analyze the ring tmf_*tmf of cooperations for the connective spectrum of topological modular forms (at the prime 2) through a variety of perspectives: (1) the E_2-term of the Adams spectral sequence for tmf ^ tmf admits a decomposition in terms of Ext groups for bo-Brown-Gitler modules, (2) the image of tmf_*tmf in the rationalization of TMF_*TMF admits a description in terms of 2-variable modu… ▽ More We analyze the ring tmf_*tmf of cooperations for the connective spectrum of topological modular forms (at the prime 2) through a variety of perspectives: (1) the E_2-term of the Adams spectral sequence for tmf ^ tmf admits a decomposition in terms of Ext groups for bo-Brown-Gitler modules, (2) the image of tmf_*tmf in the rationalization of TMF_*TMF admits a description in terms of 2-variable modular forms, and (3) modulo v_2-torsion, tmf_*tmf injects into a certain product of copies of TMF_0(N)_*, for various values of N. We explain how these different perspectives are related, and leverage these relationships to give complete information on tmf_*tmf in low degrees. We reprove a result of Davis-Mahowald-Rezk, that a piece of tmf ^ tmf gives a connective cover of TMF_0(3), and show that another piece gives a connective cover of TMF_0(5). To help motivate our methods, we also review the existing work on bo_*bo, the ring of cooperations for (2-primary) connective K-theory, and in the process give some new perspectives on this classical subject matter. △ Less

Submitted 26 November, 2018; v1 submitted 5 January, 2015; originally announced January 2015.

Comments: v4: Minor changes made in response to referee report. To appear in J. Topology. 87 pages, 19 figures

On the homotopy of Q(3) and Q(5) at the prime 2

Authors: Mark Behrens, Kyle Ormsby

Abstract: We study modular approximations Q(l), l = 3,5, of the K(2)-local sphere at the prime 2 that arise from l-power degree isogenies of elliptic curves. We develop Hopf algebroid level tools for working with Q(l) and record Hill, Hopkins, and Ravenel's computation of the homotopy groups of TMF_0(5). Using these tools and formulas of Mahowald and Rezk for Q(3) we determine the image of Shimomura's 2-pri… ▽ More We study modular approximations Q(l), l = 3,5, of the K(2)-local sphere at the prime 2 that arise from l-power degree isogenies of elliptic curves. We develop Hopf algebroid level tools for working with Q(l) and record Hill, Hopkins, and Ravenel's computation of the homotopy groups of TMF_0(5). Using these tools and formulas of Mahowald and Rezk for Q(3) we determine the image of Shimomura's 2-primary divided beta-family in the Adams-Novikov spectral sequences for Q(3) and Q(5). Finally, we use low-dimensional computations of the homotopy of Q(3) and Q(5) to explore the role of these spectra as approximations to the K(2)-local sphere. △ Less

Submitted 16 August, 2016; v1 submitted 31 October, 2012; originally announced November 2012.

Comments: 62 pages, 10 figures; v5: a sentence on p22 clarified. Final version, to appear in AGT

Journal ref: Algebr. Geom. Topol. 16 (2016) 2459-2534

The Goodwillie tower for S^1 and Kuhn's theorem

Authors: Mark Behrens

Abstract: We analyze the homological behavior of the attaching maps in the 2-local Goodwillie tower of the identity evaluated at S^1. We show that they exhibit the same homological behavior as the James-Hopf maps used by N. Kuhn to prove the 2-primary Whitehead conjecture. We use this to prove a calculus form of the Whitehead conjecture: the Whitehead sequence is a contracting homotopy for the Goodwillie to… ▽ More We analyze the homological behavior of the attaching maps in the 2-local Goodwillie tower of the identity evaluated at S^1. We show that they exhibit the same homological behavior as the James-Hopf maps used by N. Kuhn to prove the 2-primary Whitehead conjecture. We use this to prove a calculus form of the Whitehead conjecture: the Whitehead sequence is a contracting homotopy for the Goodwillie tower of S^1 at the prime 2. △ Less

Submitted 15 August, 2011; v1 submitted 3 December, 2010; originally announced December 2010.

Comments: v2: 23 pages, clarified exposition in many parts, to appear in AGT

Journal ref: Algebr. Geom. Topol. 11 (2011) 2453-2475

The Goodwillie tower and the EHP sequence

Authors: Mark Behrens

Abstract: We study the interaction between the EHP sequence and the Goodwillie tower of the identity evaluated at spheres at the prime 2. Both give rise to spectral sequences (the EHP spectral sequence and the Goodwillie spectral sequence, respectively) which compute the unstable homotopy groups of spheres. We relate the Goodwillie filtration to the P map, and the Goodwillie differentials to the H map. Furt… ▽ More We study the interaction between the EHP sequence and the Goodwillie tower of the identity evaluated at spheres at the prime 2. Both give rise to spectral sequences (the EHP spectral sequence and the Goodwillie spectral sequence, respectively) which compute the unstable homotopy groups of spheres. We relate the Goodwillie filtration to the P map, and the Goodwillie differentials to the H map. Furthermore, we study an iterated Atiyah-Hirzebruch spectral sequence approach to the homotopy of the layers of the Goodwillie tower of the identity on spheres. We show that differentials in these spectral sequences give rise to differentials in the EHP spectral sequence. We use our theory to re-compute the 2-primary unstable stems through the Toda range (up to the 19-stem). We also study the homological behavior of the interaction between the EHP sequence and the Goodwillie tower of the identity. This homological analysis involves the introduction of Dyer-Lashof-like operations associated to M. Ching's operad structure on the derivatives of the identity. These operations act on the mod 2 stable homology of the Goodwillie layers of any functor from spaces to spaces. △ Less

Submitted 30 September, 2010; v1 submitted 6 September, 2010; originally announced September 2010.

Comments: 103 pages, 4 figures, 10 tables; altered format to a memoir format, fixed a few typographical errors, slightly altered description of Kuhn's theorem

The homotopy groups of the E(2) local sphere at p > 3 revisited

Authors: Mark Behrens

Abstract: We present a new technique for analyzing the v_0-Bockstein spectral sequence studied by Shimomura and Yabe. Employing this technique, we derive a conceptually simpler presentation of the homotopy groups of the E(2)-local sphere for p > 3. We identify and correct some errors in the original Shimomura-Yabe calculation. We deduce the related K(2)-local homotopy groups, and discuss their manifestation… ▽ More We present a new technique for analyzing the v_0-Bockstein spectral sequence studied by Shimomura and Yabe. Employing this technique, we derive a conceptually simpler presentation of the homotopy groups of the E(2)-local sphere for p > 3. We identify and correct some errors in the original Shimomura-Yabe calculation. We deduce the related K(2)-local homotopy groups, and discuss their manifestation of Gross-Hopkins duality. △ Less

Submitted 23 March, 2012; v1 submitted 3 February, 2010; originally announced February 2010.

Comments: 36 pages, 17 figures. Final version to appear in Adv. Math

Higher real K-theories and topological automorphic forms

Authors: Mark Behrens, Michael J. Hopkins

Abstract: Given a maximal finite subgroup G of the nth Morava stabilizer group at a prime p, we address the question: is the associated higher real K-theory EO_n a summand of the K(n)-localization of a TAF-spectrum associated to a unitary similitude group of type U(1,n-1)? We answer this question in the affirmative for p in {2, 3, 5, 7} and n = (p-1)p^{r-1} for a maximal finite subgroup containing an elemen… ▽ More Given a maximal finite subgroup G of the nth Morava stabilizer group at a prime p, we address the question: is the associated higher real K-theory EO_n a summand of the K(n)-localization of a TAF-spectrum associated to a unitary similitude group of type U(1,n-1)? We answer this question in the affirmative for p in {2, 3, 5, 7} and n = (p-1)p^{r-1} for a maximal finite subgroup containing an element of order p^r. We answer the question in the negative for all other odd primary cases. In all odd primary cases, we to give an explicit presentation of a global division algebra with involution in which the group G embeds unitarily. △ Less

Submitted 13 October, 2010; v1 submitted 4 October, 2009; originally announced October 2009.

Comments: 37 pages. v2 contains several minor revisions

Topological automorphic forms on U(1,1)

Authors: Mark Behrens, Tyler Lawson

Abstract: The homotopy type and homotopy groups of some spectra TAF of topological automorphic forms associated to a unitary similitude group GU of type (1,1) are explicitly described in quasi-split cases. The spectrum TAF is shown to be closely related to the spectrum TMF in these cases, and homotopy groups of some of these spectra are explicitly computed. The homotopy type and homotopy groups of some spectra TAF of topological automorphic forms associated to a unitary similitude group GU of type (1,1) are explicitly described in quasi-split cases. The spectrum TAF is shown to be closely related to the spectrum TMF in these cases, and homotopy groups of some of these spectra are explicitly computed. △ Less

Submitted 4 October, 2009; v1 submitted 13 January, 2009; originally announced January 2009.

Comments: 27 pages, revised

MSC Class: 55N35; 55Q51; 55Q45; 11G15.

beta-family congruences and the f-invariant

Authors: Mark Behrens, Gerd Laures

Abstract: In previous work, the authors have each introduced methods for studying the 2-line of the p-local Adams-Novikov spectral sequence in terms of the arithmetic of modular forms. We give the precise relationship between the congruences of modular forms introduced by the first author with the Q-spectrum and the f-invariant of the second author. This relationship enables us to refine the target group… ▽ More In previous work, the authors have each introduced methods for studying the 2-line of the p-local Adams-Novikov spectral sequence in terms of the arithmetic of modular forms. We give the precise relationship between the congruences of modular forms introduced by the first author with the Q-spectrum and the f-invariant of the second author. This relationship enables us to refine the target group of the f-invariant in a way which makes it more manageable for computations. △ Less

Submitted 14 November, 2008; v1 submitted 5 September, 2008; originally announced September 2008.

Comments: 17 pages - minor revision - expanded some arguments, and changed some techniques slightly

The homotopy fixed point spectra of profinite Galois extensions

Authors: Mark Behrens, Daniel G. Davis

Abstract: Let E be a k-local profinite G-Galois extension of an E_infty-ring spectrum A (in the sense of Rognes). We show that E may be regarded as producing a discrete G-spectrum. Also, we prove that if E is a profaithful k-local profinite extension which satisfies certain extra conditions, then the forward direction of Rognes's Galois correspondence extends to the profinite setting. We show the function… ▽ More Let E be a k-local profinite G-Galois extension of an E_infty-ring spectrum A (in the sense of Rognes). We show that E may be regarded as producing a discrete G-spectrum. Also, we prove that if E is a profaithful k-local profinite extension which satisfies certain extra conditions, then the forward direction of Rognes's Galois correspondence extends to the profinite setting. We show the function spectrum F_A((E^hH)_k, (E^hK)_k) is equivalent to the homotopy fixed point spectrum ((E[[G/H]])^hK)_k where H and K are closed subgroups of G. Applications to Morava E-theory are given, including showing that the homotopy fixed points defined by Devinatz and Hopkins for closed subgroups of the extended Morava stabilizer group agree with those defined with respect to a continuous action and in terms of the derived functor of fixed points. △ Less

Submitted 13 June, 2009; v1 submitted 7 August, 2008; originally announced August 2008.

Comments: 60 Pages

Congruences between modular forms given by the divided beta family in homotopy theory

Authors: Mark Behrens

Abstract: We characterize the 2-line of the p-local Adams-Novikov spectral sequence in terms of modular forms satisfying a certain explicit congruence condition for primes p > 3. We give a similar characterization of the 1-line, reinterpreting some earlier work of A. Baker and G. Laures. These results are then used to deduce that, for l a prime which generates the p-adic units, the spectrum Q(l) detects t… ▽ More We characterize the 2-line of the p-local Adams-Novikov spectral sequence in terms of modular forms satisfying a certain explicit congruence condition for primes p > 3. We give a similar characterization of the 1-line, reinterpreting some earlier work of A. Baker and G. Laures. These results are then used to deduce that, for l a prime which generates the p-adic units, the spectrum Q(l) detects the alpha and beta families in the stable stems. △ Less

Submitted 2 May, 2008; v1 submitted 2 April, 2008; originally announced April 2008.

Comments: 30 pages, submitted. Revision - repaired an integrality error in the use of Eisenstein series

MSC Class: 55Q45 (Primary); 55Q51; 55N34; 11F33 (Secondary)

Journal ref: Geom. Topol. 13 (2009) 319-357

On the existence of a v_2^32-self map on M(1,4) at the prime 2

Authors: Mark Behrens, Michael Hill, Michael J. Hopkins, Mark Mahowald

Abstract: Let M(1) be the mod 2 Moore spectrum. J.F. Adams proved that M(1) admits a minimal v_1-self map v_1^4: Sigma^8 M(1) -> M(1). Let M(1,4) be the cofiber of this self-map. The purpose of this paper is to prove that M(1,4) admits a minimal v_2-self map of the form v_2^32: Sigma^192 M(1,4) -> M(1,4). The existence of this map implies the existence of many 192-periodic families of elements in the stab… ▽ More Let M(1) be the mod 2 Moore spectrum. J.F. Adams proved that M(1) admits a minimal v_1-self map v_1^4: Sigma^8 M(1) -> M(1). Let M(1,4) be the cofiber of this self-map. The purpose of this paper is to prove that M(1,4) admits a minimal v_2-self map of the form v_2^32: Sigma^192 M(1,4) -> M(1,4). The existence of this map implies the existence of many 192-periodic families of elements in the stable homotopy groups of spheres. △ Less

Submitted 12 August, 2008; v1 submitted 29 October, 2007; originally announced October 2007.

Comments: 31 pages, 16 figures. Revised version: includes new section (section 9)explaining centrality of d_2(v_2^8) and d_3(v_2^16), and fixes an error in section 7

MSC Class: 55Q51; 55Q40

Topological automorphic forms

Authors: Mark Behrens, Tyler Lawson

Abstract: We apply a theorem of J. Lurie to produce cohomology theories associated to certain Shimura varieties of type U(1,n-1). These cohomology theories of topological automorphic forms (TAF) are related to Shimura varieties in the same way that TMF is related to the moduli space of elliptic curves. We study the cohomology operations on these theories, and relate them to certain Hecke algebras. We comp… ▽ More We apply a theorem of J. Lurie to produce cohomology theories associated to certain Shimura varieties of type U(1,n-1). These cohomology theories of topological automorphic forms (TAF) are related to Shimura varieties in the same way that TMF is related to the moduli space of elliptic curves. We study the cohomology operations on these theories, and relate them to certain Hecke algebras. We compute the K(n)-local homotopy types of these cohomology theories, and determine that K(n)-locally these spectra are given by finite products of homotopy fixed point spectra of the Morava E-theory E_n by finite subgroups of the Morava stabilizer group. We construct spectra Q_U(K) for compact open subgroups K of certain adele groups, generalizing the spectra Q(l) studied by the first author in the modular case. We show that the spectra Q_U(K) admit finite resolutions by the spectra TAF, arising from the theory of buildings. We prove that the K(n)-localizations of the spectra Q_U(K) are finite products of homotopy fixed point spectra of E_n with respect to certain arithmetic subgroups of the Morava stabilizer groups, which N. Naumann has shown (in certain cases) to be dense. Thus the spectra Q_U(K) approximate the K(n)-local sphere to the same degree that the spectra Q(l) approximate the K(2)-local sphere. △ Less

Submitted 11 December, 2008; v1 submitted 23 February, 2007; originally announced February 2007.

Comments: 157 pages, 4 figures, resubmitted to Memoirs of the AMS. This version corrects a couple of minor inconsistencies in our normalizations of p-adic types in Section 2.2

MSC Class: 55N20; 55Q51

Buildings, elliptic curves, and the K(2)-local sphere

Authors: Mark Behrens

Abstract: We investigate a dense subgroup Gamma of the second Morava stabilizer group given by a certain group of quasi-isogenies of a supersingular elliptic curve in characteristic p. The group Gamma acts on the Bruhat-Tits building for GL_2(Q_l) through its action on the l-adic Tate module. This action has finite stabilizers, giving a small resolution for the homotopy fixed point spectrum (E_2^hGamma)^h… ▽ More We investigate a dense subgroup Gamma of the second Morava stabilizer group given by a certain group of quasi-isogenies of a supersingular elliptic curve in characteristic p. The group Gamma acts on the Bruhat-Tits building for GL_2(Q_l) through its action on the l-adic Tate module. This action has finite stabilizers, giving a small resolution for the homotopy fixed point spectrum (E_2^hGamma)^hGal by spectra of topological modular forms. Here, E_2 is a version of Morava E-theory and Gal = Gal(barF_p/F_p). △ Less

Submitted 2 October, 2005; originally announced October 2005.

Comments: 41 pages

Isogenies of elliptic curves and the Morava stabilizer group

Authors: Mark Behrens, Tyler Lawson

Abstract: Let MS_2 be the p-primary second Morava stabilizer group, C a supersingular elliptic curve over \br{FF}_p, O the ring of endomorphisms of C, and \ell a topological generator of Z_p^x (respectively Z_2^x/{+-1} if p = 2). We show that for p > 2 the group Γ\subseteq O[1/\ell]^x of quasi-endomorphisms of degree a power of \ell is dense in MS_2. For p = 2, we show that Γis dense in an index 2 subgrou… ▽ More Let MS_2 be the p-primary second Morava stabilizer group, C a supersingular elliptic curve over \br{FF}_p, O the ring of endomorphisms of C, and \ell a topological generator of Z_p^x (respectively Z_2^x/{+-1} if p = 2). We show that for p > 2 the group Γ\subseteq O[1/\ell]^x of quasi-endomorphisms of degree a power of \ell is dense in MS_2. For p = 2, we show that Γis dense in an index 2 subgroup of MS_2. △ Less

Submitted 3 August, 2005; originally announced August 2005.

Comments: 16 pages, to appear in J. Pure Appl. Alg

MSC Class: 11R52; 14H52; 55Q51

A modular description of the K(2)-local sphere at the prime 3

Authors: Mark Behrens

Abstract: Using degree N isogenies of elliptic curves, we produce a spectrum Q(N). This spectrum is built out of spectra related to tmf. At p=3 we show that the K(2)-local sphere is built out of Q(2) and its K(2)-local Spanier-Whitehead dual. This gives a conceptual reinterpretation a resolution of Goerss, Henn, Mahowald, and Rezk. Using degree N isogenies of elliptic curves, we produce a spectrum Q(N). This spectrum is built out of spectra related to tmf. At p=3 we show that the K(2)-local sphere is built out of Q(2) and its K(2)-local Spanier-Whitehead dual. This gives a conceptual reinterpretation a resolution of Goerss, Henn, Mahowald, and Rezk. △ Less

Submitted 16 August, 2005; v1 submitted 8 July, 2005; originally announced July 2005.

Comments: 72 pages, 1 figure, to appear in Topology. Typos in Diagrams (2.11.2) and (2.11.3) fixed, and 2 lemmas added in Section 2.11 to prove that Diagram (2.11.4) exists

Some root invariants at the prime 2

Authors: Mark Behrens

Abstract: The first part of this paper consists of lecture notes which summarize the machinery of filtered root invariants. A conceptual notion of "homotopy Greek letter element" is also introduced, and evidence is presented that it may be related to the root invariant. In the second part we compute some low dimensional root invariants of v_1-periodic elements at the prime 2. The first part of this paper consists of lecture notes which summarize the machinery of filtered root invariants. A conceptual notion of "homotopy Greek letter element" is also introduced, and evidence is presented that it may be related to the root invariant. In the second part we compute some low dimensional root invariants of v_1-periodic elements at the prime 2. △ Less

Submitted 27 March, 2009; v1 submitted 8 July, 2005; originally announced July 2005.

Comments: This is the version published by Geometry & Topology Monographs on 29 January 2007

MSC Class: 55Q45; 55Q51; 55T15

Journal ref: Geom. Topol. Monogr. 10 (2007) 1-40

Root invariants in the Adams spectral sequence

Authors: Mark Behrens

Abstract: Let E be a ring spectrum for which the E-Adams spectral sequence converges. We define a variant of Mahowald's root invariant called the `filtered root invariant' which takes values in the E_1 term of the E-Adams spectral sequence. The main theorems of this paper concern when these filtered root invariants detect the actual root invariant, and explain a relationship between filtered root invarian… ▽ More Let E be a ring spectrum for which the E-Adams spectral sequence converges. We define a variant of Mahowald's root invariant called the `filtered root invariant' which takes values in the E_1 term of the E-Adams spectral sequence. The main theorems of this paper concern when these filtered root invariants detect the actual root invariant, and explain a relationship between filtered root invariants and differentials and compositions in the E-Adams spectral sequence. These theorems are compared to some known computations of root invariants at the prime 2. We use the filtered root invariants to compute some low dimensional root invariants of v_1-periodic elements at the prime 3. We also compute the root invariants of some infinite v_1-periodic families of elements at the prime 3. △ Less

Submitted 8 July, 2005; originally announced July 2005.

Comments: 63 pages, 4 figures, to appear in Trans. AMS

On the existence of the self map v_2^9 on the Smith-Toda complex V(1) at the prime 3

Authors: Mark Behrens, Satya Pemmaraju

Abstract: Let V(1) be the Smith-Toda complex at the prime 3. We prove that there exists a map v_2^9: Σ^{144}V(1) \to V(1) that is a K(2) equivalence. This map is used to construct various v_2-periodic infinite families in the 3-primary stable homotopy groups of spheres. Let V(1) be the Smith-Toda complex at the prime 3. We prove that there exists a map v_2^9: Σ^{144}V(1) \to V(1) that is a K(2) equivalence. This map is used to construct various v_2-periodic infinite families in the 3-primary stable homotopy groups of spheres. △ Less

Submitted 18 March, 2003; originally announced March 2003.

Comments: 41 pages, 6 figures, submitted to proceedings of the Northwestern University conference on algebraic topology, March 2002

MSC Class: 55Q51; 55Q45; 55T15