Questions tagged [localization]
The localization tag has no usage guidance.
171 questions
7
votes
0
answers
376
views
Grothendieck Riemann Roch is abelian localisation on loop spaces
Abelian localisation says approximately that for a proper equivaraint map $f:X\to Y$ between schemes with a $\mathbf{G}_m$ action, the pushforward on cohomology $f_*\omega$ can be computed by the ...
- 5,711
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
8
votes
1
answer
394
views
When is an $\infty$-categorical localization left exact?
Let $L: \mathcal C^\to_\leftarrow L\mathcal C : i$ be an adjunction with $i$ fully faithful. In ordinary category theory, $L$ is left exact iff the class of $L$-local morphisms is stable under base ...
- 64k
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 ...
- 66.8k
3
votes
1
answer
251
views
Localization on varieties with toric singularities
Is there a written version of Atiyah-Bott localization formula for varieties/manifolds with toric singularities? More precisely, suppose $F$ is a fixed locus of a torus action $\mathbb{T}={\mathbb{C}^*...
1
vote
1
answer
145
views
Elementary example of right localization of functor
I am learning about a general framework for derived functors from Hotta et al., D-modules, Perverse Sheaves, and Representation Theory, Appendix B.
$\newcommand{\CC}{\mathcal C} \newcommand{\DD}{\...
- 2,368
7
votes
0
answers
159
views
When do zigzags of weak equivalences detect isomorphisms in the localization?
The usual way to prove that two model categories are equivalent is to construct a zigzag of Quillen equivalences between them, but is it always possible? We can ask a more general question.
...
- 4,459
0
votes
1
answer
314
views
Localization and containment in commutative ring
Let $R$ be a commutative ring with identity and $x, y $ be fixed elements of $R$ such that for each maximal ideal $m$ of $R$ we have $\langle \frac{x}{1_m}\rangle\subseteq\langle \frac{y}{1_m}\rangle$ ...
- 11
4
votes
0
answers
95
views
A variation of the hammock localization
Let $W \subseteq \mathcal{C}$ be a wide subcategory of a category $\mathcal{C}$. The saturation $\overline{W}$ of $W$ is the class of maps of $\mathcal{C}$ which become isomorphisms in $\mathcal{C}[W^{...
- 4,459
0
votes
1
answer
215
views
Does $\sum_ia\cap b_i=a\cap(\sum_ib_i)$ and $a(\bigcap_i b_i)=\bigcap_iab_i$ for infinite sums and intersections in arithmetic rings (Prufer domains)?
Note: Please let me know if this question is too basic for MathOverflow. It is about a subject commonly taught in graduate school (commutative algebra), and is based in large part on a (very ...
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 ...
- 8,167
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 ...
- 745
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 ...
- 523
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
2
votes
1
answer
154
views
Special submodules over almost Dedekind domains
An integral domain $R$ is an almost Dedekind
domain if for each maximal ideal $m$ of $R$, the ring $R_m$ is a Dedekind
domain, where $R_m$ is the localization of $R$ at $m$.
Question: Let $M$ ...
- 51
3
votes
0
answers
312
views
Reduced Noetherian ring is the intersection of its localizations at primes associated to a nonzero-divisor
I shall quote proposition 11.3 of Eisenbud: Commutative algebra
If $R$ is a reduced noetherian ring then an element $x\in K(R)$ belongs to $R$ if and only if the image of $x$ in $K(R)_P$ belongs to ...
- 131
5
votes
0
answers
79
views
Embedding the Mészáros subdivision algebra in an Orlik-Terao localization
The following is an open question (Question 4.1) from my paper $t$-Unique
Reductions for Mészáros's Subdivision Algebra (published version in
SIGMA 2018, and slightly updated preprint
version with ...
- 33.8k
1
vote
0
answers
741
views
Completion of localization of completion
Let $(A,m)$ be a noetherian local ring,
and let $p \subseteq A$ be a prime ideal.
From this data, we can construct two rings:
1. We may localize $A$ at $p$, and then complete,
obtaining the $pA_p$-...
- 11
4
votes
0
answers
105
views
Could we form the homotopy category of a dg-category by inverting homotopic invertible morphisms?
Let $k$ be a field and $\mathcal{C}$ be a dg-category over $k$. It is standard to define the homotopy category $H^0(\mathcal{C})$ as the category consisting the same objects as $\mathcal{C}$ but ...
- 9,019
1
vote
0
answers
82
views
Localizing prime ideals over Noetherian rings
Let $R$ be a prime Noetherian ring which is not necessarily commutative. Consider the two natural ways to "extend" $R$: $R[x]$ and $M_n(R)$, polynomials over $R$ and $n$ by $n$ matrices over $R$ ...
- 595
4
votes
0
answers
175
views
Do we have criteria of strict localization of a Grothendieck category?
Let $\mathcal{C}$ be an abelian category and $\mathcal{S}$ be a full subcategory of $\mathcal{C}$. We call $\mathcal{S}$ a Serre subcategory of $\mathcal{C}$ if $\mathcal{S}$ is closed under ...
- 9,019
4
votes
1
answer
290
views
Ore localization and model structures
The question is this:
Suppose C is a category, with a given multiplicatively closed set of morphisms S ⊆ C. The role of the denominator conditions on S is rather similar to the role of a Quillen ...
- 610
1
vote
1
answer
255
views
modules whose every submodule is a homomorphic image
Let $R$ be a commutative ring with unity. Let us say that an $R$-module $M$ satisfies property $\mathcal P$ if every submodule of $M$ is a homomorphic image of $M$.
Can we characterize all ...
- 1,209
4
votes
1
answer
320
views
When is this localization map injective, if at all?
Let $K$ be a number field and $E$ be an elliptic curve defined over $\mathbb{Q}$. Consider the localization map
$$
E(K)\otimes \mathbb{Q}_p/ \mathbb{Z}_p \rightarrow \bigoplus_{v|p} E(K_v)\otimes \...
- 1,283
23
votes
2
answers
2k
views
What is the correct definition of localisation of a category?
Disclaimer: I wasn't sure if this was an appropriate question for MathOverflow, and so I've also asked this on StackExchange.
There appears to be a discrepancy in the literature regarding the ...
- 453
7
votes
2
answers
374
views
When a localization of a category is (non-)reflective?
Let $S$ be a class of maps of a category $\mathcal{C}$. The localization of $\mathcal{C}$ at $S$ is reflective when the localization functor $\mathcal{C} \to \mathcal{C}[S^{-1}]$ has a fully faithful ...
- 4,459
9
votes
4
answers
2k
views
Localization of $\infty$-categories
In ordinary category theory, the localization $C[S^{-1}]$ at a class of morphisms $S$ (with possibly some assumptions on $S$) is a category $C[S^{-1}]$ together with a map $L:C \to C[S^{-1}]$ such ...
- 3,019
3
votes
0
answers
128
views
Open Gromov-Witten invariants via lozalization with $\mathbb{C}^{*}$ (not $S^1$) action
Amplitudes of open A-model on a Calabi-Yau 3-fold $X$ with branes are given by the open Gromov-Witten invariants of $X$. It is known how to compute them if there is a toric action on a manifold, which ...
- 131
4
votes
0
answers
177
views
What kind of module is this?
Recall that, if $R$ is a commutative ring, then a suitably finite $R$-module $M$ is projective if and only if the localization $M_\mathfrak{m}$ is a direct sum of finitely many copies of $R_\mathfrak{...
- 985
5
votes
1
answer
277
views
Factorization of Gabriel-Zisman localization construction?
My question concerns whether the Gabriel-Zisman localization construction $S^{-1}$ for categories admits a known factorization into a pair of commuting constructions $S^l$ and $S^r$.
The localization ...
- 595
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 ...
- 18.9k
3
votes
0
answers
343
views
Localization of the pushforward in equivariant cohomology
I am reading Nekrasov's paper and in page 2 he considers the $G \times T^2$ equivariant cohomology of the (compactified) moduli space $\tilde{M_k}$ of $U(N)$ instantons on $\mathbb{C}^2$. Here $G$ ...
- 587
1
vote
0
answers
42
views
When is genus the same as stable equivalence?
Suppose $M, N$ are two $R$-modules (I had in mind the group ring $R=\mathbb{Z}[G]$ for a finite group $G$). By localizing at a prime $p$ I mean $M_{(p)}\cong M\otimes_R R_{(p)}$. If $M$ and $N$ are ...
- 348
2
votes
1
answer
138
views
On maximal ideals of $k [X_i : i \in I ] $ where $k$ is a field , $I$ is an infinite set with $|k| > |I|$
Let $k$ be a field and $I$ be an infinite set such that $|k| > |I|$ . Let $R := k [X_i : i \in I ] $ and $m$ be a maximal ideal of $R$ ; then is it true that $m \cap k[X_i] \ne 0 , \forall i \in I$ ...
user111492
1
vote
1
answer
120
views
Basic elements and localizations
Let $(R, \mathfrak{m})$ be a local domain and $x$ is a basic element of $\mathfrak{m}$, that is $x \in \mathfrak{m} \setminus \mathfrak{m}^2$. Let $P$ be a prime ideal containing $x$. Is it true that $...
- 2,773
1
vote
1
answer
102
views
Functions on rings and polynomials with coefficients in a certain kind of localisation
Let $R$ be a commutative ring with unity and let $S$ be a multiplicatively closed subset of $R$ such that $S$ contains no zero divisor . So the canonical map $f : R \to S^{-1}R$ is invective , hence w....
user111492
4
votes
1
answer
113
views
If $\{f\in R[x]\:|\:f\text{ monic}\}$ is a right denominator set, is $\{f^i\:|\:i\geq 0\}$ a right denominator set also?
Let $R$ be a right (and left) Noetherian ring and $T=R[x]$ its polynomial ring. It was shown by Stafford that the set $S=\{f\in T\:|\:f\text{ monic}\}$ is a right denominator set. So my question is, ...
- 348
7
votes
3
answers
1k
views
Are localization functors always essentially surjective?
Let $\mathcal{C}$ be a category and $\mathcal{W} \subseteq \text{Arr}(\mathcal{C})$ a set (or class) of arrows.
There are (at least) two notions of localization of $\mathcal{C}$ with respect to $\...
- 1,704
0
votes
1
answer
260
views
Analytic spread of localization of an ideal
Let $J$ be an ideal in a Noetherian local ring $(R,m)$. It is well known that for any prime ideal $p\in Spec(R)$, $l(J_p)\leq l(J)$, where $l(J)$ is the analytic spread of $J$.
Q) Are there ...
- 1,713
4
votes
0
answers
216
views
Checking a monad is idempotent
I have a monad $T: \mathcal{C} \to \mathcal{C}$ on a (Grothendieck) abelian category which preserves filtered colimits and direct sums (but is not exact). There is a finite collection $G$ of compact, ...
- 13.5k
10
votes
1
answer
336
views
How to identify localization of categories?
Let $C, D$ be categories with finite limits, $F:C\to D$ be a essentially surjective functor that commutes with finite limits, and let $S$ be the set of morphisms of $C$ that become isomorphisms in $D$ ...
- 629
0
votes
1
answer
155
views
$R$ is $\mathbb{Z}$ graded ring and $0\neq f \in R_1,$ show that $R_f \cong S[X,X^{-1}]$ [closed]
Suppose $R$ is $\mathbb{Z}$ graded ring and $0\neq f \in R_1.$ Then I want to show that $R_f \cong S[X,X^{-1}],$ where $S=(R_f)_0$ and $X$ transcendental over $S.$
I wanted to use the isomorphism $...
- 111
0
votes
1
answer
183
views
Right localization of $R[x,x^{-1}]$ at monic $f\in R[x]$
Let $R$ be a right Noetherian ring and $S=\{f\in R[x]\;|\;f\text{ monic}\}$. It is a result of Stafford that $S$ is a right denominator set in $R[x]$, so in particular we can localize $R[x]$ at any $f\...
- 348
2
votes
1
answer
105
views
Localising a right Noetherian ring at a set of regular elements
Let $R$ be a right Noetherian ring, and $S$ a multiplicative set consisting of regular elements where $1\in S$ and $0\not\in S$. Does the right ring of fractions $RS^{-1}$ exist?
This is what I know ...
- 348
3
votes
1
answer
248
views
Localization of the pullback diagram
In the paper, Topologically Defined Classes of Commutative Rings, localization of the pullback diagram (with $v,$ surjective)
$$
\begin{array}
DD & \stackrel{v\ '}{\longrightarrow} & A \\
\...
- 1,355
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
3
votes
2
answers
691
views
Localization of a symmetric monoidal category is monoidal when the morphisms being inverted are closed under tensor product
In the answer to question Localization of symmetric monoidal category, it was mentioned that '' Assuming that the tensor product of two morphisms in $S$ is again in $S$, the localised category should ...
- 131
6
votes
1
answer
321
views
Localization, Slice Tower, and Motivic Spectra
Suppose $k$ is an algebraically closed field of characteristic $p>0$. There is an $\infty$-category of motivic spectra over $k$, denoted $\mathcal{S}pt(k)$. As in algebraic topology, there are ...
- 63
0
votes
0
answers
87
views
When does an automorphism extend to a localisation (noncommutative rings)
Let $R$ be a (not necessarily commutative) ring. Let $\tau$ be an automorphism of $R$. Consider the localisation of $R$ at a set of multiplicative elements which satisfy the ore condition, say $X$. ...
- 201
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{...
