BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
The Segal conjecture describes stable maps between classifying spaces in terms of (virtual) bisets for the finite groups in question. Along these lines, we give an algebraic formula for the p-completion functor applied to stable maps between classifying spaces purely in terms of fusion data and Burnside modules.
In this paper we prove an ∞-categorical version of the reflection theorem of Adámek-Rosický. Namely, that a full subcategory of a presentable ∞-category which is closed under limits and κ-filtered colimits is a presentable ∞-category. We then use this theorem in order to classify subcategories of a symmetric monoidal ∞-category which are equivalent to a category of modules over an idempotent algebra.
We show that Lubin--Tate theories attached to algebraically closed fields are characterized among T(n)-local E∞-rings as those that satisfy an analogue of Hilbert's Nullstellensatz. Furthermore, we show that for every T(n)-local E∞-ring R, the collection of E∞-ring maps from R to such Lubin-Tate theories jointly detect nilpotence. In particular, we deduce that every non-zero T(n)-local E∞-ring R admits an E∞-ring map to such a Lubin-Tate theory. As consequences, we construct E∞ complex orientations of algebraically closed Lubin-Tate theories, compute the strict Picard spectra of such Lubin-Tate theories, and prove redshift for the algebraic K-theory of arbitrary E∞-rings.
Motivated by the philosophy that C∗-algebras reflect noncommutative topology, we investigate the stable homotopy theory of the (opposite) category of C∗-algebras. We focus on C∗-algebras which are non-commutative CW-complexes in the sense of [ELP]. We construct the stable ∞-category of noncommutative CW-spectra, which we denote by NSp. Let M be the full spectral subcategory of NSp spanned by "noncommutative suspension spectra" of matrix algebras. Our main result is that NSp is equivalent to the ∞-category of spectral presheaves on M. To prove this we first prove a general result which states that any compactly generated stable ∞-category is naturally equivalent to the ∞-category of spectral presheaves on a full spectral subcategory spanned by a set of compact generators. This is an ∞-categorical version of a result by Schwede and Shipley [ScSh1]. In proving this we use the language of enriched ∞-categories as developed by Hinich [Hin2,Hin3]. We end by presenting a "strict" model for M. That is, we define a category Ms strictly enriched in a certain monoidal model category of spectra SpM. We give a direct proof that the category of SpM-enriched presheaves Msop→SpM with the projective model structure models NSp and conclude that Ms is a strict model for M.
In a companion paper [ABS1] we introduced the stable ∞-category of noncommutative CW-spectra, which we denoted NSp. Let M denote the full spectrally enriched subcategory of NSp whose objects are the non-commutative suspension spectra of matrix algebras. In [ABS1] we proved that NSp is equivalent to the ∞-category of spectral presheaves on M. In this paper we investigate the structure of M, and derive some consequences regarding the structure of NSp. To begin with, we introduce a rank filtration of M. We show that the mapping spectra of M map naturally to the connective K-theory spectrum ku, and that the rank filtration of M is a lift of the classical rank filtration of ku. We describe the subquotients of the rank filtration in terms of complexes of direct-sum decompositions which also arose in the study of K-theory and of Weiss's orthogonal calculus. We prove that the rank filtration stabilizes rationally after the first stage. Using this we give an explicit model of the rationalization of NSp as presheaves of rational spectra on the category of finite-dimensional Hilbert spaces and unitary transformations up to scaling. Our results also have consequences for the p-localization and the chromatic localization of M.
We extend the theory of ambidexterity developed by M. J. Hopkins and J. Lurie and show that the ∞-categories of T(n)-local spectra are ∞-semiadditive for all n, where T(n) is the telescope on a vn-self map of a type n spectrum. This extends and provides a new proof for the analogous result of Hopkins-Lurie on K(n)-local spectra. Moreover, we show that K(n)-local and T(n)-local spectra are respectively, the minimal and maximal 1-semiadditive localizations of spectra with respect to a homotopy ring, and that all such localizations are in fact ∞-semiadditive. As a consequence, we deduce that several different notions of "bounded chromatic height" for homotopy rings are equivalent, and in particular, that T(n)-homology of π-finite spaces depends only on the n-th Postnikov truncation. A key ingredient in the proof of the main result is a construction of a certain power operation for commutative ring objects in stable 1-semiadditive ∞-categories. This is closely related to some known constructions for Morava E-theory and is of independent interest. Using this power operation we also give a new proof, and a generalization, of a nilpotence conjecture of J.P. May, which was proved by A. Mathew, N. Naumann, and J. Noel.
In previous work, we used an ∞-categorical version of ultraproducts to show that, for a fixed height n, the symmetric monoidal ∞-categories of En,p-local spectra are asymptotically algebraic in the prime p. In this paper, we prove the analogous result for the symmetric monoidal ∞-categories of Kp(n)-local spectra, where Kp(n) is Morava K-theory at height n and the prime p. This requires ∞-categorical tools suitable for working with compactly generated symmetric monoidal ∞-categories with non-compact unit. The equivalences that we produce here are compatible with the equivalences for the En,p-local ∞-categories.
In [BaSc2] the authors introduced a much weaker homotopical structure than a model category, called a "weak cofibration category". We further showed that a small weak cofibration category induces in a natural way a model category structure on its ind-category, provided the ind-category satisfies a certain two out of three property. The purpose of this paper is to serve as a companion to the papers above, proving results which say that if a certain property or structure exists in the weak cofibration category, then the same property or structure also holds in the induced model structure on the ind-category. Namely, we consider the property of being left proper and the structures of a monoidal category and a category tensored over a monoidal category (in a way that is compatible with the weak cofibration structure). For the purpose of future reference, we consider the more general situation where we only have an "almost model structure" on the ind-category.
The minimal ramification problem may be considered as a quantitative version of the inverse Galois problem. For a nontrivial finite group G, let m(G) be the minimal integer m for which there exists a Galois extension N/Q that is ramified at exactly m primes (including the infinite one). So, the problem is to compute or to bound m(G). In this paper, we bound the ramification of extensions N/Q obtained as a specialization of a branched covering ϕ:C→PQ1. This leads to novel upper bounds on m(G), for finite groups G that are realizable as the Galois group of a branched covering. Some instances of our general results are: $$ 1\leq m(S_m)\leq 4 \quad \mbox{and} \quad n\leq m(S_m^n) \leq n+4, $$ for all n,m>0. Here Sm denotes the symmetric group on m letters, and Smn is the direct product of n copies of Sm. We also get the correct asymptotic of m(Gn), as n→∞ for a certain class of groups G. Our methods are based on sieve theory results, in particular on the Green-Tao-Ziegler theorem on prime values of linear forms in two variables, on the theory of specialization in arithmetic geometry, and on finite group theory.
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of étale homotopy. Using this model structure we define a pro-space associated to a topos, as a result of applying a derived functor. We show that our construction lifts Artin and Mazur's étale homotopy type [AM] in the relevant special case. Our definition extends naturally to a relative notion, namely, a pro-object associated to a map of topoi. This relative notion lifts the relative étale homotopy type that was used in [HaSc] for the study of obstructions to the existence of rational points. This relative notion enables to generalize these homotopical obstructions from fields to general base schemas and general maps of topoi. Our model structure is constructed using a general theorem that we prove. Namely, we introduce a much weaker structure than a model category, which we call a "weak fibration category". Our theorem says that a weak fibration category can be "completed" into a full model category structure on its pro-category, provided it satisfies some additional technical requirements. Our model structure is obtained by applying this result to the weak fibration category of simplicial sheaves over a Grothendieck site, where the weak equivalences and the fibrations are local in the sense of Jardine [Jar].
In a recent paper we introduced a much weaker and easy to verify structure than a model category, which we called a "weak fibration category". We further showed that a small weak fibration category can be "completed" into a full model category structure on its pro-category, provided the pro-category satisfies a certain two out of three property. In the present paper we give sufficient intrinsic conditions on a weak fibration category for this two out of three property to hold. We apply these results to prove theorems giving sufficient conditions for the finite accessibility of the category of weak equivalences in combinatorial model categories. We apply these theorems to the standard model structure on the category of simplicial sets, and deduce that its class of weak equivalences is finitely accessible. The same result on simplicial sets was recently proved also by Raptis and Rosický, using different methods.
In this paper we present a new way to construct the pro-category of a category. This new model is very convenient to work with in certain situations. We present a few applications of this new model, the most important of which solves an open problem of Isaksen [Isa] concerning the existence of functorial factorizations in what is known as the strict model structure on a pro-category. Additionally we explain and correct an error in one of the standard references on pro-categories.
In "Morava E-theory of symmetric groups", Strickland proved that the Morava E-theory of the symmetric group has an algebro-geometric interpretation after taking the quotient by a certain transfer ideal. This result has influenced most of the work on power operations in Morava E-theory and provides an important calculational tool. In this paper we give a new proof of this result as well as a generalization by using transchromatic character theory. The character maps are used to reduce Strickland's result to representation theory.
In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our way we explain and correct an error in one of the standard references on pro categories.
Let X be a homogeneous space, X = G/H, where G is a connected linear algebraic group over a number field k, and H is a k-subgroup of G (not necessarily connected). Let S be a finite set of places of k. We compute the Brauer-Manin obstruction to weak approximation for X in S in terms of Galois cohomology.
In this paper we propose to use a relative variant of the notion of the étale homotopy type of an algebraic variety in order to study the existence of rational points on it. In particular, we use an appropriate notion of homotopy fixed points in order to construct obstructions to the local-global principle. The main results in this paper are the connections between these obstructions and the classical obstructions, such as the Brauer-Manin, the étale-Brauer and certain descent obstructions. These connections allow one to understand the various classical obstructions in a unified framework.
The Brauer-Manin obstruction is used to explain the failure of the local-global principle for algebraic varieties. In 1999 Skorobogatov gave the first example of a variety that does not satisfy the local-global principle which is not explained by the Brauer-Manin obstruction. He did so by applying the Brauer-Manin obstruction to étale covers of the variety, and thus defining a finer obstruction. In 2008 Poonen gave the first example of failure of the local-global principle which cannot be explained for by Skorobogatov's étale-Brauer obstruction. However, Poonen's construction was not accompanied by a definition of a new finer obstruction. In this paper I shall present a possible definition for such an obstruction by allowing to apply the Brauer-Manin obstruction to some ramified covers as well, and show that this new obstruction can explain Poonen counterexample in the case of a totally imaginary number field.
In 1969 Artin and Mazur defined the étale homotopy type of an algebraic variety \cite{AMa69}. In this paper we define various obstructions to the local-global principle on a variety X over a global field using the étale homotopy type of X and the concept of homotopy fixed points. We investigate relations between those "homotopy obstructions" and connect them to various known obstructions such as the Brauer -Manin obstruction, the étale-Brauer obstruction and finite descent obstructions. This gives a reinterpretation of known arithmetic obstructions in terms of homotopy theory.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.