Questions tagged [localization]
The localization tag has no usage guidance.
158
questions
1
vote
0
answers
27
views
Construction of a regulariser for the boundary integral operator $\lambda\mathrm{Id} - K'$
$\newcommand\Id{\mathrm{Id}}$Assumptions and Notations :
$\Omega$ is a bounded Lipschitz domain in $\mathbb R^2$, $\Gamma$ denotes its boundary and $n$ is the normal vector to the boundary $\Gamma$,
...
- 53
5
votes
1
answer
202
views
Hammock localization and free adjoints
The Hammock localization $L^H \mathcal{C}$ of a relative category $(\mathcal{C},\mathcal
{W})$ is a simplicial category defined by Dwyer and Kan as a way to compute the $\infty$-categorical ...
- 39.3k
1
vote
1
answer
71
views
On "minimal presentation" of local rings essentially of finite type over a field
Let $k$ be a field of characteristic $0$. Let $(R,\mathfrak m)$ be a local ring essentially of finite type over $k$ (https://stacks.math.columbia.edu/tag/07DR). Then, $R$ is the homomorphic image of ...
- 149
6
votes
2
answers
345
views
Size issues in localization $\mathcal{C}[\mathcal{W}^{-1}]$ category
When one starts with a locally small category $\mathcal{C}$ and wants to localize it at an appropriate choosen collection of morphisms $\mathcal{W}$, then in general one faces some size issues in the ...
- 5,650
4
votes
0
answers
71
views
Dimension of a positively graded ring after a suitable localization
Quesion- Let $R=\bigoplus_{i\ge 0} R_i$ be a (non-trivial) positively graded commutative Noetherian ring with $1(\not=0)$ of (Krull) dimension $d\ge 0$. Let $S\subset R_0$ be a multiplicative set such ...
2
votes
0
answers
105
views
About Atiyah-Segal Localization Theorem
In $K$-Theory, actually also in equivariant cohomology theory, there exists a useful theorem as known Borel-Hsiang-Atiyah-Segal Localization theorem. For $K$-Theory
Theorem: Let $G$ be a compact Lie ...
- 1,001
3
votes
0
answers
85
views
Cohn's localization for rings with enough idempotents
I am in the following situation: I have a non-unitary (associative) ring $R$ with enough idempotents or, if you prefer, a small pre-additive category. Actually, I even know that $R$ is right coherent (...
- 2,421
6
votes
2
answers
534
views
Overloading of the word "local" in category theory
The word "local" in category theory does not seem to have a precise definition in itself but it often appears as part of other terminology. To my understanding, it is then used in the ...
- 429
0
votes
0
answers
47
views
Let $g$ be regular in $A$, when do we have $(gx_i-f_i)_{A[\underline{x}]}=A[\underline{x}]\cap (gx_i-f_i)_{A_g[\underline{x}]}$
Also asked in stackexchange.
Let $A$ be a commutative unital ring. Let $g$ be a regular element of $A$. Let $A_g$ be the localization of $A$ at the set $\{g^n:n\geq 0\}$, then we have an injection $A\...
- 319
4
votes
1
answer
341
views
When is it possible to localize a scheme along a closed subscheme?
If we have $Z\subset X$ a closed irreducible subscheme of an integral scheme $X$ (which you can take to have various further niceness properties if you want), one can take its generic point $\eta_Z$ ...
- 1,932
2
votes
0
answers
128
views
Some relative GW calculations
I have a question about the $\psi$ class in the following paper of Graber and Vakil:
https://arxiv.org/abs/math/0309227
For $k,d\geq 2$, and a partition $d=d_1+\cdots+d_k$ of $d$ into positive ...
1
vote
0
answers
69
views
How to compute the quotient and localization of the monoid algebra $kG$ for a field $k$
I am given that $k$ is a field and $G$ is the monoid consisting of all monomials
$X^iY^j$, where $j$ is between $0$ and $3i$.
I am trying to compute the quotient of the monoid algebra $kG$ by the ...
- 411
1
vote
0
answers
73
views
The localization map for the Mordell-Weil group of elliptic curves over finite Galois extensions
Let $L/K$ be a finite Galois extensions of number fields and $E/K$ be an elliptic curve. Denote by $\mathcal{F}$ the localization map
\begin{equation}
\mathcal{F}: H^1(G,E(L)) \rightarrow \bigoplus_{v ...
- 385
1
vote
0
answers
108
views
Different ways to construct the isogeny category of abelian varieties
Let $k$ be a field and let $\mathbf{AV}_{/k}$ be the category of abelian varieties over $k$. I'm interested in different definitions of the isogeny category of $\mathbf{AV}_{/k}$.
Of course, the ...
- 602
2
votes
1
answer
171
views
How to compute the $G$-theory groups of $k[x,y]/(xy)$ for any field $k$
I am trying to compute the $G$-theory groups of the ring $k[x,y]/(xy)$ for any field $k$. What I have tried so far are two approaches.
Approach 1: Use the $G$-theory localization sequence for $k[x,y]/(...
- 411
1
vote
0
answers
57
views
Intuition behind bound of second moment of Greens function by fractional moment
Consider the Hilbert space $ \mathcal{H} = l^2(\mathbb{Z}^d)$ for some dimension $d$ with basis given by the basisvectors $\{ \vert {x} \rangle \}_{x \in \mathbb{Z}^d} $.
Let $A$ be an either self-...
2
votes
1
answer
167
views
Are hammock localizations locally truncated?
Let us take a relative category $(\mathcal{C},\mathcal{W})$, and consider its hammock localization $L_H \mathcal{C}$. It seems to me that for every two objects $X,Y \in \mathcal{C}$ the mapping ...
- 1,053
2
votes
0
answers
99
views
Localization of the injective hull of a commutative non-Noetherian ring
Let $R$ be a commutative non-Noetherian ring and $m$ a maximal ideal. My question is whether the localization $E(R)_m$ of the injective hull $E(R)$ of $R$ is an injective $R_m$-module. This is true in ...
- 21
1
vote
0
answers
109
views
Existence of a finite resolution
I have tried to formulate a question in which I was very curious, any hints suggestions are also welcomed. Thanks in advance.
Let $M$ be an $R$ module ($R$ commutative ring with unity). It is given ...
- 167
7
votes
1
answer
290
views
Localisation of categories, but instead of "isomorphisms" I want "morphisms with right inverse". Construction via calculus of fractions possible?
Let $\mathcal{C}$ be a category and $S$ a collection of morphisms in $\mathcal{C}$. The localisation $\mathcal{C}[S^{-1}]$ is defined via a functor $F: \mathcal{C} \longrightarrow \mathcal{C}[S^{-1}]$ ...
- 941
5
votes
0
answers
338
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 ...
- 10.3k
6
votes
0
answers
595
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 ...
- 1,836
1
vote
0
answers
90
views
Does Anderson localisation occur if the potential are equal in pairs?
Consider the Anderson model given by the Hamiltonian $H \in B(l^2( \mathbb{Z}^d)) $ defined by $H = - \Delta + V$ where the potential $V$ acts on a unit vector $ \vert x \rangle \in l^2( \mathbb{Z}^d)...
3
votes
0
answers
97
views
Localizations of spaces with respect to homology and right properness
Let $E$ be a spectrum (with corresponding homology theory denoted $E_\ast$).
In "Localization of spaces with respect to homology", Bousfield constructed a model category structure on the ...
- 751
7
votes
0
answers
230
views
Ample divisors on $T$-varieties
Question: how does one use a torus action to help decide whether a divisor or line bundle is ample?
In more detail: I have a (normal, but usually rather singular) $T$-variety $X$, where $T$ is an ...
- 5,827
6
votes
0
answers
397
views
This sum over partitions has unexpectedly nice denominators
Fix an integer $n\geq0$, a power series $\gamma \in \mathbb Q[[X]]$ with valuation 1, and a symmetric function $f$ (with coefficients in $\mathbb Q$). Now, consider the series
$$
S_n = \sum_{\Lambda\...
- 1,471
12
votes
1
answer
363
views
Can the category of S-local objects be reflective but not a localization by S?
This is cross-posted from MSE (and substantially re-written) after receiving no answers.
Suppose $\mathcal C$ is a category and $S \subseteq \operatorname{Mor}(\mathcal C)$ is some collection of ...
- 295
4
votes
0
answers
146
views
When adic completion preserves projectives?
Lets take a ring $R$ and an ideal $\mathfrak p \subset R$, and call them an L-pair (just for brevity) if $\mathfrak p$-adic completion of any projective module is again projective (as R-module); and L-...
- 4,209
5
votes
0
answers
148
views
A conjecture about sums over partitions arising from Hilbert scheme of points
$\DeclareMathOperator{\leg}{\operatorname{leg}}\DeclareMathOperator{\arm}{\operatorname{arm}}$The following situation arose from the study of some localization computations on Hilbert schemes of ...
- 1,471
5
votes
1
answer
170
views
Slices for certain $C_p$-spectrum
By the work of Hill-Yarnall, for the group $G=C_p,$ all the slices for any spectrum, in particular, for $S^V \wedge H\underline{\mathbb{Z}}$, are classified. Here $V$ is a representation of $C_p.$
...
- 745
4
votes
1
answer
243
views
What is the extended centroid of a free algebra?
For a prime ring $R$, you can define its "Martindale ring of quotients" $Q(R)$. See for example:
Martindale, Wallace S. III, Prime rings satisfying a generalized polynomial identity, J. ...
- 213
6
votes
0
answers
172
views
Abelian localisation for K theory?
Let $X$ be a scheme acted upon by $\mathbf{G}_m$ and $K(X)=K_0(\text{Perf}X)$ the Thomason-Trobaugh K theory. Is there a localisation theorem in this context? By this I mean something like
$$\text{id}...
- 5,268
7
votes
1
answer
260
views
Interesting "epimorphisms" of $E_\infty$-ring spectra
$\newcommand{\Mod}{\mathbf{Mod}} \newcommand{\map}{\mathrm{map}_{E_\infty-A}}$ Suppose $i:A\to B$ is a map of $E_\infty$-ring spectra. It induces a functor of $\infty$-categories $\Mod_B\to\Mod_A$ by ...
- 12.5k
2
votes
0
answers
77
views
Equivalence between integrals over a reduced space
Context: I have been trying to understand this paper from Y. Cho and K. Kim. More precisely, a specific argument in Lemma 2.2 where they say the ABBV localization formula on an integral over a ...
- 83
6
votes
1
answer
325
views
Cohn localization examples
I'm working on my master's thesis, part of which involves an exposition on Cohn localization. (nlab discussion)
In Free ideal rings and localization in general rings, Sec 7.4, Cohn gives a ...
- 161
1
vote
1
answer
140
views
Geometric meaning of colocalization of modules?
Let $A$ be a commutative ring and $S\subset A$ a subset. A localization of $A$ at $S$ is defined as a ring morphsim $A\to A[S^{-1}]$ which is initial with respect to inverting $S$. Similarly, a ...
- 10.3k
8
votes
1
answer
321
views
Commutative ring $R$ with no nontrivial idempotents, with a localization $R_r$ with infinitely many idempotents
I am looking for a commutative ring $R$ with $1$ such that $R$ has no idempotents and there exists $r\in R$ such that the localization ring $R_r$ has infinitely many idempotents.
- 101
7
votes
0
answers
366
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,268
6
votes
0
answers
115
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 ...
- 427
8
votes
1
answer
355
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 ...
- 58.7k
15
votes
1
answer
526
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 ...
- 64.1k
3
votes
1
answer
207
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
131
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}{\...
- 1,692
6
votes
0
answers
130
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,330
0
votes
1
answer
269
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
3
votes
0
answers
86
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,330
0
votes
1
answer
199
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
617
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 ...
- 7,833
4
votes
0
answers
262
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
131
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 ...
- 503