Questions tagged [localization]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
1 answer
201 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,550
2 votes
0 answers
112 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
46 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 ...
  • 71
1 vote
0 answers
64 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 ...
1 vote
0 answers
75 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 ...
2 votes
1 answer
147 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]/(...
  • 71
1 vote
0 answers
44 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
151 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 ...
2 votes
0 answers
77 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
83 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 ...
7 votes
1 answer
270 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}]$ ...
5 votes
0 answers
291 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 ...
  • 9,853
4 votes
0 answers
377 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 vote
0 answers
83 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
86 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 ...
7 votes
0 answers
207 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 ...
6 votes
0 answers
383 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
317 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
115 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-...
  • 3,457
5 votes
0 answers
131 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
164 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.$ ...
4 votes
1 answer
159 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. ...
  • 203
6 votes
0 answers
166 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}...
  • 4,184
7 votes
1 answer
235 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 ...
  • 9,605
2 votes
0 answers
75 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 ...
6 votes
1 answer
277 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
128 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 ...
  • 9,853
8 votes
1 answer
278 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
334 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 ...
  • 4,184
6 votes
0 answers
109 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
7 votes
1 answer
305 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 ...
  • 51k
11 votes
0 answers
302 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 ...
  • 60.2k
3 votes
1 answer
173 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
121 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}{\...
6 votes
0 answers
120 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,165
0 votes
1 answer
233 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$ ...
3 votes
0 answers
77 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,165
0 votes
1 answer
178 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
550 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,500
4 votes
0 answers
224 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 ...
5 votes
0 answers
122 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 ...
18 votes
1 answer
721 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 ...
2 votes
1 answer
130 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$ ...
3 votes
0 answers
176 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 ...
5 votes
0 answers
64 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 ...
1 vote
0 answers
486 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$-...
4 votes
0 answers
101 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 ...
  • 8,193
1 vote
0 answers
72 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$ ...
4 votes
0 answers
122 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 ...
  • 8,193
4 votes
1 answer
200 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 ...