Questions tagged [localization]
The localization tag has no usage guidance.
19 questions
33
votes
6
answers
5k
views
Reasons to believe Vopenka's principle/huge cardinals are consistent
There are a number of informal heuristic arguments for the consistency of ZFC, enough that I am happy enough to believe that ZFC is consistent. This is true for even some of the more tame large ...
- 19.6k
13
votes
4
answers
2k
views
Localizing an arbitrary additive category
Under which conditions localizing an additive category by some class S of morphisms yields and additive category? It seems easy to define certain addition on morphisms if we fix their representatives ...
- 16.9k
9
votes
1
answer
179
views
Morphisms of hammocks in the simplicial localization
Let $\mathcal{C}$ be a category together with a wide subcategory $\mathcal{W} \subset \mathcal{C}$.
In Calculating Simplicial Localizations by Dwyer and Kan, a morphism of hammocks is defined to ...
- 457
9
votes
1
answer
589
views
Is the localisation of a product of categories the product of the localisation?
Let $\cal C, \cal D$ be model categories. Hovey says in his monograph "Model Categories" that the homotopy category $\operatorname{Ho}(\cal C \times D)$ is isomorphic to $\operatorname{Ho}(\cal C) \...
- 351
6
votes
0
answers
1k
views
Localisation of injectives
When working with injective modules, one bad thing is that they do not necessarily behave well with respect to localisation. Consider a commutative ring $R$ and have a look at the following properties:...
- 6,700
42
votes
2
answers
2k
views
What is an infinite prime in algebraic topology?
The links between algebraic topology (stable homotopy theory in particular) and number theory are nowadays abundant and fruitful. In one direction, there is chromatic homotopy theory, exploiting the ...
- 4,780
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 ...
- 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 ...
- 1,635
19
votes
3
answers
3k
views
Total ring of fractions vs. Localization
Let $R$ be a commutative ring and denote by $K(R)$ its total ring of fractions, the localization of $R$ with respect to $R_{\mathrm{reg}}$. For every multiplicative subset $U \subseteq R$ there is a ...
- 63.1k
13
votes
5
answers
3k
views
Noncommutative localization of a ring: complete construction
I've been looking for the following construction in the literature, but I've only been able to find (very) partial proofs or proofs of special cases.
Let $R$ be a non-commutative ring and $S$ a ...
- 465
13
votes
3
answers
946
views
Example of reflective subcategory of (Groups) whose reflector doesn't preserve finite products
A subcategory $D$ of a category $C$ is called reflective, if the embedding $D \hookrightarrow C$ has a left adjoint $L:C \to D$. The left adjoint $L$ is called the reflector. If the category $C$ is ...
- 1,484
12
votes
2
answers
829
views
Reflective Localizations vs. categories of local objects
Given a category $\mathcal{C}$ and a set (let's not bother with size issues here) $\mathcal{W} \subseteq \text{Mor}(\mathcal{C})$ we may form the category $\mathcal{C}[\mathcal{W}^{-1}]$ obtained by ...
- 1,704
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 ...
- 30.3k
8
votes
2
answers
1k
views
Absence of Maps Between p-local and q-local spectra
Suppose $X$ and $Y$ are spectra (or homotopy classes thereof) such that $X$ is p-local and $Y$ is q-local, for primes $p\neq q$. Is it indeed true then, and if so how would one show that $[X,Y]_\ast=...
- 10.5k
7
votes
1
answer
307
views
Interesting "epimorphisms" of $E_\infty$-ring spectra
$\newcommand{\Mod}{\mathbf{Mod}} \newcommand{\map}{\mathrm{map}_{E_\infty-A}}$ Suppose $i:A\to B$ is a map of $E_\infty$-ring spectra. It induces a functor of $\infty$-categories $\Mod_B\to\Mod_A$ by ...
- 15.9k
7
votes
2
answers
629
views
Localizations of model categories and $\infty$-categories
I am interested in the relation between Bousfield localizations of model categories and localizations of $(\infty,1)$-categories.
According to Hirschhorn's book we can form the left Bousfield ...
- 187
6
votes
0
answers
152
views
A conjecture about sums over partitions arising from Hilbert scheme of points
$\DeclareMathOperator{\leg}{\operatorname{leg}}\DeclareMathOperator{\arm}{\operatorname{arm}}$The following situation arose from the study of some localization computations on Hilbert schemes of ...
- 1,509
3
votes
2
answers
756
views
Localization of symmetric monoidal category
Let $\mathcal M$ be a symmetric monoidal category, $S\subset \mathcal M$ a collection of objects and morphisms. I would like to construct the localization $\mathcal M \mathop{\longrightarrow}^T \...
- 1,838
2
votes
0
answers
525
views
Irreducibility over the field of fractions of a quotient of a polynomial ring
Fix $\ell \geq 3$, $r \geq 2$ and $1 \leq k \leq \ell - 1$ and $z_0, \ldots, z_\ell \in \mathbb{C}$ with $z_i \neq 0$ for all $i$ and $z_i \neq z_j$ for all $i \neq j$. Now consider the (irreducible, ...
- 61