Is there a relationship between the right global dimensions of R and R[1/v]? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T03:42:53Z http://mathoverflow.net/feeds/question/68672 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/68672/is-there-a-relationship-between-the-right-global-dimensions-of-r-and-r1-v Is there a relationship between the right global dimensions of R and R[1/v]? David White 2011-06-23T22:59:25Z 2011-06-23T23:39:46Z <p>A few days ago I asked a similar <a href="http://mathoverflow.net/questions/68386/can-we-say-anything-about-the-krull-dimension-of-a-localization" rel="nofollow">question</a> about Krull dimension and got fantastic answers. Unfortunately, for the application I have in mind (a question on ring spectra), Krull dimension doesn't generalize correctly. One must instead use <a href="http://en.wikipedia.org/wiki/Global_dimension" rel="nofollow">right global dimension</a>, or just global dimension since my ring object is commutative. Note that this has a similar title, but totally different content from <a href="http://mathoverflow.net/questions/59981/global-dimension-and-localization" rel="nofollow">another question</a> (different because my $v$ does not generate a maximal ideal). I'm looking for a theorem of the form</p> <blockquote> <p>If R is a nice ring and v is a reasonable element in R then Gl.Dim($R[1/v]$) must be either Gl.Dim($R$) or Gl.Dim($R$)−1.</p> </blockquote> <p>By "nice ring" I mean $R$ is commutative and is finitely generated over some base ring (e.g. $Z_{(2)}$), but we should not assume it's an integral domain. If necessary we can assume it's Noetherian and local, but I'd rather avoid this. As for $v$, it's a non-zero divisor which is not in the base ring and it has only a few relations with other elements in $R$, none of which are in the base ring. If we can't get the theorem above, perhaps we can figure out something to help me get closer:</p> <blockquote> <p>Are there any conditions on $v$ such that the dimension would drop by more than 1 after inverting $v$?</p> </blockquote> <p>Here's what I know (from Weibel and Rotman): </p> <p>If $f:R \rightarrow S$ is a ring homomorphism and $A$ is a left $S$ module then $pd_R(A)\leq pd_S(A)+pd_R(S)$</p> <p>If $x$ is a central nonzerodivisor in $R$ and $A$ is a nonzero $R/v$-module with $pd_{R/v}(A)&lt;\infty$ then $pd_R(A)=1+pd_{R/v}(A)$. If $B$ is a nonzero $R$-module then $pd_R(B)\geq pd_{R/v}(B/vB)$ </p> <p>This result gives me some hope because of the short exact sequence $0\rightarrow R\stackrel{\cdot v}{\rightarrow} R \rightarrow R/v \rightarrow 0$, but I don't see an obvious answer coming from this idea alone. One would also need to relate the dimensions of $R/v$ and $v^{-1}R$.</p> <p>If $A$ is a projective $R$-module then $v^{-1}A$ is a projective $v^{-1}R$ module. According to <a href="http://www.math.washington.edu/~smith/Research/asz7.pdf" rel="nofollow">this</a> paper, injective dimension is not well behaved under localization (but this seems to be because the localization of an injective module need not be injective).</p> http://mathoverflow.net/questions/68672/is-there-a-relationship-between-the-right-global-dimensions-of-r-and-r1-v/68673#68673 Answer by Fernando Muro for Is there a relationship between the right global dimensions of R and R[1/v]? Fernando Muro 2011-06-23T23:04:02Z 2011-06-23T23:04:02Z <p>Under your hypotheses on $R$, the global dimension is a local notion, and so it the gobal dimension. Moreover, since you're assuming finite global dimension, your ring is regular, therefore the Krull and global dimensions coincide locally and globally. This shows that any answer to this questions is an answer to your other question, and vice versa.</p> http://mathoverflow.net/questions/68672/is-there-a-relationship-between-the-right-global-dimensions-of-r-and-r1-v/68675#68675 Answer by Mariano Suárez-Alvarez for Is there a relationship between the right global dimensions of R and R[1/v]? Mariano Suárez-Alvarez 2011-06-23T23:07:33Z 2011-06-23T23:29:12Z <p>In general, if $R$ is any ring and $S$ is any right denominator set, the right globaldimension of the localization $R_S$ does not exceed that of $R$.</p> <p>If $R$ is of finite global dimension and Noetherian, and $S$ is left and right denominator set, then $R_S$ and $R$ have the same dimension iff there is a simple $R$-module $M$ with $\operatorname{gldin}R=\operatorname{pdim}M$ and $M_S\neq0$. Therefore the dimension <em>drops</em> if this does not happen.</p> <p>In the local commutative case, there is one simple module, so what you want from $v$ to decrease the dimension a lot is for it to turn one of the maps in the minimal resolution of the residue field $k$ of $R$ into a split one. For example, if in that resolution we have a piece looking like $$\cdots \to P_j\xrightarrow{\phi} P_{j-1}\to\cdots$$ there is a finite number of elements which, when inverted, turn $\phi$ into an isomorphism (this is called <em>universal localization</em> in some contexts) If $v$ is the product of these elements, you get a drop in the dimension.</p>