The localization tag has no wiki summary.

**3**

votes

**3**answers

244 views

### Dimension of a ring after localization

Let $R$ be a Noetherian domain of dimension $\ge 1$. Let $\mathfrak{p}_i$, $i = 1, 2, ...$ be prime ideals of height one. Let $T = R[[X]]$ with $X$ is a indeterminate. For each $i \ge 1$ we set ...

**0**

votes

**0**answers

82 views

### Sufficient condition for local martingale property of stochastic integral

Is the following correct and/or a (simple) known result?
Let $X$ be a local martingale and $H$ an integrand for $X$, such that the stochastic integral $\int H\cdot dX\ge x$ for some random variable. ...

**2**

votes

**1**answer

221 views

### Localisation of $\mathbb{Z}_p[[X]]$ at ideal $(p)$

Let $R=\mathbb{Z}_p[[X]]$ where $\mathbb{Z}_p$ denotes the $p$-adic integers and $p$ is a prime. Then what is $R_{(p)}$ $(R$ localised at the ideal $pR)$ $?$

**1**

vote

**0**answers

43 views

### phase prediction of wavelet coefficients for 1D signal [closed]

I was reading a paper 'A Flexible Framework for Local Phase
Coherence Computation' (article URL) on predicting phases of wavelet coefficients across 3 consecutive scales in the 1D case, and I'm trying ...

**5**

votes

**0**answers

146 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, ...

**2**

votes

**1**answer

158 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 ...

**3**

votes

**2**answers

181 views

### Cool Examples of Localisation in Triangulated Cats Besides the Usual

In the theory of triangulated categories there is a hefty literature on localisation -- the most common example in algebra being (variants of) localising the homotopy category of chain complexes over ...

**3**

votes

**1**answer

130 views

### is every finitely n-presented (S^{-1})R-module a localization of a finitely n-presented R-module?

Let S be a multiplicative set in a ring R. We can see that every finitely generated $(S^{-1})R$-module is a localization of a finitely generated R-module.
Then, more generally, is every finitely ...

**3**

votes

**1**answer

189 views

### Localisation of inclusion functors

Let $\mathcal C$ be a category and suppose $\cal B \subseteq C$ is a full subcategory. Let $i \colon \mathcal B \longrightarrow \cal C$ denote the inclusion functor. Suppose that $S \subseteq ...

**6**

votes

**0**answers

166 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 ...

**2**

votes

**1**answer

137 views

### Does Wolbert's derived equivalence between $E_*^R$-local $R$-modules and $R_E$-modules come from a Quillen equivalence?

Let $R$ be a ring spectrum (in the world of EKMM $S$-modules) and let $E$ be a smashing $R$-module. Denote by $R_E$ the $E_*$-localization of $R$. By a theorem of Wolbert (Theorem 2 in Classifying ...

**8**

votes

**1**answer

266 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) ...

**3**

votes

**1**answer

167 views

### Bousfield localization before and after taking homotopy

The ncatlab says:
Under suitable conditions it should be true that for $C$ a model category whose homotopy category $\mathrm{Ho}(C)$ is a triangulated category the homotopy category of a left ...

**4**

votes

**2**answers

212 views

### Localisation in a quasi-category

Let $W$ be a family of arrows in a category $\mathcal{C}$, there is a nature notion of localisation w.r.t. $W$. And if $W$ satisfies some nice properties, we have calculus of fraction.
Now consider ...

**10**

votes

**1**answer

189 views

### Intersection of localization with finitely generated subalgebra of fraction field

Let $R$ be a (commutative) noetherian integral domain. Let $I$ be a prime ideal of $R$. Let $S$ be a finitely generated $R$-subalgebra of $\mathrm{Frac}(R)$.
Is $S \cap R_I$ necessarily finitely ...

**7**

votes

**2**answers

418 views

### How to prove Arnold Conjecture without using S^1 localization?

By the Arnold Conjecture, I mean the following statement:
Let $M$ be a closed symplectic manifold, and $\phi:M\to M$ a Hamiltonian symplectomorphism with nondegenerate fixed points. Then $ \# ...

**4**

votes

**1**answer

382 views

### Voevodsky's proof in any characteristic (for motivic and Chow)

Regarding the published version of "Motivic cohomology groups are isomorphic to higher Chow groups in any characterstic" (IMRN) available at:
...

**8**

votes

**1**answer

307 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 ...

**8**

votes

**1**answer

376 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 ...

**2**

votes

**1**answer

237 views

### Is being principal a local property?

Let $R$ be a number ring and a Dedekind domain. We have the following result:
For every ideal $I\subset R$ $$ I = \bigcap_P I_P $$ where $I_P$ denotes the localization of $I$ at $P$ and the ...

**3**

votes

**0**answers

153 views

### The multiplicative system in a symmetric monoidal category

Let $\mathcal{C}$ be a symmetric monoidal category. In the 1973 paper "Note on monoidal localisation" by Brian Day, the multiplicative system of morphism in $\mathcal{C}$ has been discussed. See also ...

**0**

votes

**1**answer

104 views

### Eigenvector localizaiton

I have raised this sort of question before but I think that now I've found a better term for the subject, one which might ring more bells for people - hence the repost. Hope you won't be too angry ...

**37**

votes

**2**answers

2k views

### Is primary decomposition still important?

On p.50 of Atiyah and Macdonald's Introduction to Commutative Algebra, in the introduction to the chapter on primary decomposition, it says
In the modern treatment, with its
emphasis on ...

**4**

votes

**1**answer

384 views

### (Co)localization of the derived category

Let me start saying that a similar question can be stated for general locally Noetherian Grothendieck categories but I state it for categories of modules as it is simpler. So we fix a right Noetherian ...

**0**

votes

**0**answers

262 views

### Localization of quotient rings of polynomials

Working on some Bezout's theorem examples I arrived at a point where I need
$$(\mathbb{K}[x]/(x^2))_{(x)} = \mathbb{K}[x]/(x^2)$$
(i.e. localize don't do anything)($\mathbb{K}$ alg. closed and nice ...

**5**

votes

**1**answer

220 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 ...

**14**

votes

**3**answers

1k 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 ...

**1**

vote

**1**answer

209 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?
...

**4**

votes

**4**answers

532 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 ...

**3**

votes

**2**answers

268 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 ...

**8**

votes

**2**answers

505 views

### Localization of a symmetric monoidal category at a single morphism

Let $C$ be a symmetric monoidal category, and $f : x \to y$ be a morphism in $C$. I would like to construct the localization $C_f$ explicitly, which solves the universal property
...

**5**

votes

**0**answers

83 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 ...

**7**

votes

**2**answers

412 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 ...

**9**

votes

**2**answers

1k 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 ...

**2**

votes

**0**answers

56 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 ...

**3**

votes

**1**answer

212 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 ...

**2**

votes

**1**answer

573 views

### Projective modules over semi-local rings

Let $R$ be a semi-local ring, and $M$ a finite projective $R$-module. If the localizations $M_m$ have the same rank for all maximal ideals $m$ of $R$ then $M$ is free.

**6**

votes

**1**answer

869 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 ...

**1**

vote

**2**answers

278 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 ...

**9**

votes

**1**answer

307 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 ...

**2**

votes

**1**answer

181 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 ...

**9**

votes

**4**answers

779 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 ...

**6**

votes

**1**answer

257 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 ...

**2**

votes

**0**answers

183 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 ...

**2**

votes

**0**answers

274 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" ...

**16**

votes

**6**answers

2k 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 ...

**3**

votes

**0**answers

183 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 ...

**5**

votes

**2**answers

576 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 ...

**6**

votes

**4**answers

914 views

### Atiyah Bott localisation applied to Euler characteristic

Suppose we have a torus action on a compact oriented manifold M. Assume the action has isolated fixed points. Why is it that the equivariant Euler class of the normal bundle at the fixed point (i.e. ...

**10**

votes

**2**answers

296 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 ...