Questions tagged [localization]
The localization tag has no usage guidance.
171 questions
8
votes
1
answer
646
views
Is there an obvious reason why p-localization of spectra is a finite localization?
Is there an obvious reason why $p$-localization of spectra is a "finite" localization in the sense of Haynes Miller? In other words, is there an obvious reason why the localizing subcategory (of the ...
- 27.2k
1
vote
1
answer
245
views
Are these connecting homomorphisms commutative?
Are the connecting homomorphism induced by Kummer sequence and that of localization sequence commutative?
In other words, is the following statement true?
If it is true, then, how can one prove it?
...
- 23k
4
votes
2
answers
403
views
Is it possible to define the notion of a localization of a category without reference to a set of morphisms, $S$?
Let $\mathcal{C}$ Be A Category and $S$ a class of morphisms (let us call these weak equivalences) of $\mathcal{C}$. One often defines the localization of $\mathcal{C}$ with respect to $S$ is the ...
- 63.1k
5
votes
0
answers
115
views
Ring properties which can be checked on sufficiently many Ore localizations
Let $R$ be a non-commutative Ore domain, and let $R[S_i^{-1}]$ be a finite set of Ore localizations. The absence of a geometric theory means there is no obvious candidate for when this set of ...
- 13k
13
votes
2
answers
3k
views
Elements in a localization - category theoretic approach
This question is about the elements in a localization $S^{-1} A$ of a commutative ring $A$. Is it possible to derive $\frac{a}{1} = 0 \in S^{-1} A \Rightarrow \exists s \in S : sa = 0$ only using the ...
CommunityBot
- 1
3
votes
0
answers
66
views
Computing morphisms in localizations of $K(B)$
Let $B$ be an additive category (a small one; one can assume that it is a $\mathbb{Q}$-category, yet not much else is known about it). Given a set of objects $S$ of $K^b(B)$ (or $K(B)$), I consider ...
- 16.9k
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 ...
- 6,162
7
votes
1
answer
2k
views
Cross correlation detection in binary Hamming distance
Given two long binary strings of length N, it's easy to find the Hamming distance between them. If you're allowed to cyclically shift one of the strings, you'll get N different Hamming distances when ...
- 3,934
1
vote
2
answers
364
views
Rig of fractions, including zero denominators
For some integral domain $R$, one forms the field of fractions $R^*$ by considering (equivalence classes of) formal pairs {$r/s : r \in R, s\in R\backslash 0$} and defining $+$ and $*$ as you'd expect ...
- 18.7k
9
votes
1
answer
393
views
Homotopical descent information contained in the Dwyer-Kan function complexes of a presheaf category?
Recall that the category of sheaves on some site $C$ equipped with a grothendieck topology $\tau$ is equivalent to the localization of the category of presheaves $W^{-1}Psh(C)$ at $W$ where $W$ is the ...
- 66.8k
3
votes
1
answer
317
views
Controlling Reflective Subcategories and Localizations
Localizations are an extremely important part of modern homotopy theory. Both the category of spaces an spectra have a plethora of interesting localizations: at a fixed prime, rational, with respect ...
- 3,622
11
votes
2
answers
470
views
Localizing at the primitive polynomials?
For any UFD $R$, the concept of a primitive polynomial (gcd of the coefficients is 1) makes sense in $R[x]$. The product of two primitive polynomials is primitive (Gauss's Lemma), and certainly 1 is a ...
- 4,736
6
votes
1
answer
376
views
Checking locally whether a homomorphism is a localization
All rings below are commutative with $1$.
Suppose $A\subset B$ is a subring and that $A\rightarrow A'$ is a faithfully flat ring homomorphism. [You may assume the rings are actually ${\mathbb C}$-...
- 27k
2
votes
0
answers
234
views
Flatness of module
$A\rightarrow B$ a ring homomorphism, $N$ a $B$-module which is flat over $A$. $\mathfrak{q}\subset B$ a prime ideal, $\mathfrak{p}\subset A$ its contraction in $A$. Then is it true that $N_{\mathfrak{...
- 2,857
2
votes
0
answers
333
views
Localization of module
M an A-module, $S\subset A$ a multiplicative subset. Is it possible for $S^{-1}M$ to have an $S^{-1}A$-module structure satisfying $\frac{a}{1}\cdot\frac{m}{1}=\frac{am}{1}$ other than the "usuall" ...
- 63.1k
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 ...
CommunityBot
- 1
9
votes
4
answers
2k
views
is localization of category of categories equivalent to |Cat|
It might be a stupid question.
Suppose There is a category of categories,denoted by CAT,where objects are categories, morpshims are functors between categories
Take multiplicative system S={category ...
- 2,241
4
votes
0
answers
325
views
Localization of power series and module structure
Let $R=\mathbb{Q}[X,Y]$ be the polynomial ring of two commuting variable.
Let $S$ be the multiplicative subset of $R$ generated by homogeneous linear polynomials.
Let also $\widehat{R}$ be the ring of ...
- 41
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 ...
- 12.5k
0
votes
2
answers
1k
views
What is the localization of Q[x]/(x) at 0
Q is a rational field. Q[x] is polynomial ring over Q 。(x) is maximal ideal of Q[x].
Take Q[x]/(x) as a module over Q[x]. Then what is Q[x]-module Q[x]/(x) localize at 0??
I think the result is
Q[x]/...
- 1,033
9
votes
4
answers
3k
views
Localization(s) of Categories
I've been trying to read a paper by Krause and came across a strange (to me, of course) notion of localization. After looking around for a long time, and then finding this on his site, I see that ...
- 19.9k