BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Justin Noel

Justin Noel appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ATmath.GTmath.CTmath.DGmath.KTmath.QAmath.RAmath.SG

Catalog footprint

What is connected

8works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

8 published item(s)

preprint2017arXiv

Descent in algebraic $K$-theory and a conjecture of Ausoni-Rognes

Let $A \to B$ be a $G$-Galois extension of rings, or more generally of $\mathbb{E}_\infty$-ring spectra in the sense of Rognes. A basic question in algebraic $K$-theory asks how close the map $K(A) \to K(B)^{hG}$ is to being an equivalence, i.e., how close algebraic $K$-theory is to satisfying Galois descent. An elementary argument with the transfer shows that this equivalence is true rationally in most cases of interest. Motivated by the classical descent theorem of Thomason, one also expects such a result after periodic localization. We formulate and prove a general result which enables one to promote rational descent statements as above into descent statements after periodic localization. This reduces the localized descent problem to establishing an elementary condition on $K_0(-)\otimes \mathbb{Q}$. As applications, we prove various descent results in the periodic localized $K$-theory, $TC$, $THH$, etc. of structured ring spectra, and verify several cases of a conjecture of Ausoni and Rognes.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Nilpotence and descent in equivariant stable homotopy theory

Let $G$ be a finite group and let $\mathscr{F}$ be a family of subgroups of $G$. We introduce a class of $G$-equivariant spectra that we call $\mathscr{F}$-nilpotent. This definition fits into the general theory of torsion, complete, and nilpotent objects in a symmetric monoidal stable $\infty$-category, with which we begin. We then develop some of the basic properties of $\mathscr{F}$-nilpotent $G$-spectra, which are explored further in the sequel to this paper. In the rest of the paper, we prove several general structure theorems for $\infty$-categories of module spectra over objects such as equivariant real and complex $K$-theory and Borel-equivariant $MU$. Using these structure theorems and a technique with the flag variety dating back to Quillen, we then show that large classes of equivariant cohomology theories for which a type of complex-orientability holds are nilpotent for the family of abelian subgroups. In particular, we prove that equivariant real and complex $K$-theory, as well as the Borel-equivariant versions of complex-oriented theories, have this property.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Lifting homotopy T-algebra maps to strict maps

The settings for homotopical algebra---categories such as simplicial groups, simplicial rings, $A_\infty$ spaces, $E_\infty$ ring spectra, etc.---are often equivalent to categories of algebras over some monad or triple $T$. In such cases, $T$ is acting on a nice simplicial model category in such a way that $T$ descends to a monad on the homotopy category and defines a category of homotopy $T$-algebras. In this setting there is a forgetful functor from the homotopy category of $T$-algebras to the category of homotopy $T$-algebras. Under suitable hypotheses we provide an obstruction theory, in the form of a Bousfield-Kan spectral sequence, for lifting a homotopy $T$-algebra map to a strict map of $T$-algebras. Once we have a map of $T$-algebras to serve as a basepoint, the spectral sequence computes the homotopy groups of the space of $T$-algebra maps and the edge homomorphism on $π_0$ is the aforementioned forgetful functor. We discuss a variety of settings in which the required hypotheses are satisfied, including monads arising from algebraic theories and operads. We also give sufficient conditions for the $E_2$-term to be calculable in terms of Quillen cohomology groups. We provide worked examples in $G$-spaces, $G$-spectra, rational $E_\infty$ algebras, and $A_\infty$ algebras. Explicit calculations, connected to rational unstable homotopy theory, show that the forgetful functor from the homotopy category of $E_\infty$ ring spectra to the category of $H_\infty$ ring spectra is generally neither full nor faithful. We also apply a result of the second named author and Nick Kuhn to compute the homotopy type of the space $E_\infty(Σ^\infty_+ \mathrm{Coker}\, J, L_{K(2)} R)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The T-algebra spectral sequence: Comparisons and applications

In previous work with Niles Johnson the author constructed a spectral sequence for computing homotopy groups of spaces of maps between structured objects such as G-spaces and E_n-ring spectra. In this paper we study special cases of this spectral sequence in detail. Under certain assumptions, we show that the Goerss-Hopkins spectral sequence and the T-algebra spectral sequence agree. Under further assumptions, we can apply a variation of an argument due to Jennifer French and show that these spectral sequences agree with the unstable Adams spectral sequence. From these equivalences we obtain information about filtration and differentials. Using these equivalences we construct the homological and cohomological Bockstein spectral sequences topologically. We apply these spectral sequences to show that Hirzebruch genera can be lifted to E_\infty-ring maps and that the forgetful functor from E_\infty-algebras in H\overline{F}_p-modules to H_\infty-algebras is neither full nor faithful.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Simplicial approach to derived differential manifolds

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This reduction to the usual algebraic homotopy can potentially lead to virtual fundamental classes beyond obstruction theory.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

For Complex Orientations Preserving Power Operations, p-typicality is Atypical

We show, for primes p less than or equal to 13, that a number of well-known MU_(p)-rings do not admit the structure of commutative MU_(p)-algebras. These spectra have complex orientations that factor through the Brown-Peterson spectrum and correspond to p-typical formal group laws. We provide computations showing that such a factorization is incompatible with the power operations on complex cobordism. This implies, for example, that if E is a Landweber exact MU_(p)-ring whose associated formal group law is p-typical of positive height, then the canonical map MU_(p) --> E is not a map of H_\infty ring spectra. It immediately follows that the standard p-typical orientations on BP, E(n), and E_n do not rigidify to maps of E_\infty ring spectra. We conjecture that similar results hold for all primes.

0 citations0 reviewsNo code linkedOpen access