Questions tagged [localization]

The tag has no usage guidance.

139 questions
Filter by
Sorted by
Tagged with
171 views

Geometric meaning of localization at $(1+I)$?

Let $I\vartriangleleft A$ be an ideal of a commutative ring. Consider the submonoid $1+I\subset A$. What is the geometric interpretation of localization at this submonoid? How does it relate to the ...
93 views

Theorem 7.13 (localization theorem) in the book: Heat kernels and Dirac operator

I'm trying to understand theorem 7.13 in the book Heat kernels and Dirac operators which says the following: Theorem 7.13: Let $G$ be a compact Lie group acting on a compact manifold $M$. Let $\alpha$...
220 views

Is hammock localization a localization in the sense of Lurie?

In a series of papers ([1], [2] and [3]), Dwyer and Kan introduced the hammock localization [2] as an effective technique to compute the simplicial localization of a model category [1]. This is meant ...
65 views

107 views

157 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 ...
498 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 ...
194 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 ...
120 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 ...
609 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 ...
129 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$ ...
143 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 ...
61 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 ...
346 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$-...
97 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 ...
68 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$ ...
94 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 ...
155 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 ...
177 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 ...
207 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 \...
1k 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 ...
261 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 ...
881 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 ...
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 ...