Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
3 answers
322 views

Equivariant cohomology of fixed points using the localisation theorem

I am trying to understand the Smith-Thom inequality for spaces equipped with an action by a cyclic group and also the case, when it's an equality: In the following, let $G=\mathbb{Z}/p$, $\mathbb{F}$ ...
0hliva's user avatar
  • 131
8 votes
1 answer
440 views

Model categories as a tool to resolve size issues for localizing categories

I have a rather basic question about one motivation for introducing model categories in David White's notes, as a possible way to overcome troubles with size issues appearing when localizing a ...
user267839's user avatar
  • 5,986
24 votes
10 answers
4k views

Why localize spaces with respect to homology?

A basic construction in algebraic topology is the localization of spaces or spectra with respect to a homology theory: one formally inverts the $E$-homology isomorphisms, reflecting each space into ...
Mike Shulman's user avatar
  • 66.8k
15 votes
1 answer
556 views

What would cohomological localization be good for?

An open problem in algebraic topology is whether arbitrary cohomological localizations of simplicial sets (or, equivalently, topological spaces) can be proven to exist in ZFC. It's provable in ZFC ...
Mike Shulman's user avatar
  • 66.8k
19 votes
1 answer
958 views

What is classified by generalised Eilenberg MacLane spaces?

Given an abelian group $A$, the Eilenberg MacLane spaces $K(A,n)$ represent the the nth cohomology group in $A$. In a similar vein, given an arbitrary group $G$ and a space $X$, maps to the ...
Patrick Elliott's user avatar
22 votes
1 answer
679 views

When does rationalization commute with homotopy fixed points?

Let $X$ be a $G$-space. There are a number of places in the literature where one can find the claim that under certain conditions rationalization and taking homotopy fixed points with respect to a ...
skupers's user avatar
  • 8,167
5 votes
1 answer
174 views

Slices for certain $C_p$-spectrum

By the work of Hill-Yarnall, for the group $G=C_p,$ all the slices for any spectrum, in particular, for $S^V \wedge H\underline{\mathbb{Z}}$, are classified. Here $V$ is a representation of $C_p.$ ...
Surojit Ghosh's user avatar
11 votes
1 answer
699 views

Acyclic aspherical spaces with acyclic fundamental groups

A space $X$ (by which I mean a CW complex) is acyclic if its reduced singular homology $\tilde H_\ast(X;\Bbb Z)$ is trivial in all degrees. A discrete group $\pi$ is said to be acyclic if its ...
John Klein's user avatar
  • 18.9k
30 votes
1 answer
787 views

Is a filtered colimit of rational spaces again rational?

Let me first explain the statement of the question and then give some indication why the answer might be 'yes'. By a space I mean, say, a simplicial set and by rational I mean rational in the sense of ...
Thomas Nikolaus's user avatar
4 votes
0 answers
310 views

A question related to bousfield localization and nilpotent completion

I am reading Bousfield's paper entitled "The localization of spectra with respect to homology" (MSN). In that paper, Corollary 6.13 states that, if a ring spectrum $E$ has countable homotopy and ...
Surojit Ghosh's user avatar
5 votes
0 answers
138 views

Analog of cellular approximation theorem for $CW_0$-complexes ($CW_\mathcal P$-complexes)

$CW_0$-complexes are analogs of $CW$-complexes, in which the "building blocks" are the rational disks $D^{n+1}_0$ whose boundaries are given by $\partial D^{n+1}_0= S^n_0$, where $S^n_0$ is a ...
Bashar Saleh's user avatar
10 votes
2 answers
824 views

Is there a notion of a “model category which admits left Bousfield localization?”

At a conference not too long ago I gave a talk on (left) Bousfield localization and was asked an interesting question afterwards. The question was whether I knew any examples of model categories which ...
David White's user avatar
  • 30.3k
10 votes
1 answer
763 views

Example of a saturated class of morphisms which is not _obviously_ saturated?

By "saturated class of morphisms" in a category $\mathcal{C}$, I mean a subcategory $\mathcal{W} \subset \mathcal{C}$ such that the image of $\mathcal{W}$ in $\mathcal{C}[\mathcal{W}^{-1}]$ consists ...
Tim Campion's user avatar
10 votes
1 answer
1k views

Smashing localizations in the category of spectra

Let $E$ be a spectrum. Then $E$ determines an idempotent localization functor $L_E: \mathrm{Sp} \to \mathrm{Sp}$ sending each spectrum to its $E$-localization. The functor $L_E$ generally does not ...
Akhil Mathew's user avatar
  • 25.6k
4 votes
0 answers
450 views

Localization in equivariant cohomology theory for groups other than ($p$-)tori

Recall the following localization theorem, as stated in Hsiang's Cohomology Theory of Compact Transformation Groups: Theorem. Let $G=(S^1)^k$ be a torus, $X$ a paracompact $G$-space with finite ...
user3158840's user avatar
1 vote
1 answer
177 views

Colocal Objects in Enriched Bousfield Colocalizations

Let $C$ be a $V$-model category, and $\mathcal{K}$ a set of objects of $C$. Let me denote (derived) simplicial homotopy function complexes by $\text{Dmap}$ and derived $V$-function complexes by $\text{...
Alexander Körschgen's user avatar
7 votes
0 answers
260 views

Topological localization of (infinite) inverse limits

The classical localization of topological spaces at a given set of primes $\mathcal{P}$ is a functor $\mathcal{T}\xrightarrow{(-)_{(\mathcal{P)}}}\mathcal{T}$ from a suitable category of topological ...
Tyrone's user avatar
  • 5,596
4 votes
1 answer
605 views

p-complete Z_p-modules

Let $D(\mathbf{Z})$ be the derived category of abelian groups, and let $D(\mathbf{Z}_p)$ be the derived category of modules over the p-adic integers. Bousfield localization gives a full subcategory of ...
ya-tayr's user avatar
  • 43
6 votes
1 answer
818 views

Spectra and localizations of the category of topological spaces

Can we construct the category of spectra (or maybe just its homotopy category) from the category of pointed topological spaces using some kind of localization combined with other categorical ...
Dmitri Pavlov's user avatar
5 votes
0 answers
225 views

Weak equivalences of left Bousfield localizations

Suppose C is a complete and cocomplete category with two model structures (C0,F0,W0) and (C1,F1,W1) such that C0⊃C1, F0⊂F1, W0⊂W1. If necessary, the model structures can be assumed to be simplicial, ...
Dmitri Pavlov's user avatar
4 votes
1 answer
243 views

Topological Localization of (the simply-connected cover of) SO or Spin

This is essentially a (cw) reference request, because it seems like the sort of thing that should have been looked at already. Setting aside, for now, how to think what the localization of a general ...