The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
3answers
243 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
0answers
81 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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
3answers
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
1answer
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
4answers
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
2answers
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
2answers
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
0answers
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
2answers
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
868 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
2answers
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
1answer
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
1answer
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
4answers
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
1answer
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
0answers
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
0answers
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
6answers
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
0answers
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
2answers
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
4answers
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
2answers
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 ...