# Questions tagged [homological-dimension]

For questions having to do with projective and injective dimensions of modules, global dimension of rings and algebras, and related concepts.

35 questions
Filter by
Sorted by
Tagged with
221 views

### Ideals generated by regular sequences

In Vasconcelos' paper (Ideals generated by R-sequences), he proved If $R$ is a local ring, $I$ an ideal of finite projective dimension, and $I/I^2$ is a free $R/I$ module, then $I$ can be ...
45 views

### Reflexive vs. pseudo-coherent abelian groups

Recall that a module M over some ring R is pseudo-coherent if it admits a resolution whose terms are finitely generated projective R-modules. Such a module is reflexive when regarded as an object in ...
47 views

199 views

### Projective dimension of graded modules

Short version: Why is the projective dimension of a graded module the same as the projective dimension of its underlying ungraded module? Longer version: Let $G$ be a commutative group, let $R$ ...
866 views

### If $\text{dim}(X \times X) = 2\text{dim}(X)$, does $\text{dim}(X^n) = n\text{dim}(X)$?

I have been learning some (topological) dimension theory and have gotten through most of the basic material, at this point, and am about to start looking at papers. In particular, I want to get ...
4k views

### What is the dimension of the mathematical universe?

Forcing construction in set theory leads to a new understanding of the mathematical (multi)universe by providing a machinery through which one can construct new models of the universe from the ...
273 views

### question about infinite global dimension

I ask a question about $\prod k$ in Mathematics about several days.https://math.stackexchange.com/q/2766054/453628. And I have the following question: 1.What is the global dimension about $\prod k$? ...
191 views

### Is there a notion of injective, projective, flat, dimension for a differential graded algebra?

Given a differential graded algebra $(A_\bullet,d)$, is there a well-defined notion of a K-injective, K-projective, K-flat dimension of a differential graded module, or even of the category of ...
229 views

### Generalized Stallings theorem

Well known theorem due to Stallings (finished by Swan) characterises free groups as those with $cd_{\mathbb Z} \leq 1$. We can treat it as a model case and try to extrapolate somehow to other ...
875 views

### Homological vs. cohomological dimension of a group/space

I have several related questions regarding homological vs. cohomological dimension of a space/group (this is not a duplicate of this). The standard definition of the cohomological dimension $cd(X)$ ...
715 views

### Different ways of having infinite global dimension

Is there any ring $R$ of infinite global dimension such that any $R$-module is a retract (i.e. direct summand) of some $\oplus_{i\in I}M_i$ where each $M_i$ has finite projective dimension? I ask ...
116 views

### Projective dimension of ring over its center

If $A$ is a ring and $Z(A)$ is its center then what is a sufficient condition for the projective dimension of $A$ over $Z(A)$ (ie: $pd_{Z(A)}(A)$) to be finite? (Assuming that $A\neq Z(A)$).
109 views

### Projective dimension of a sub-ideal

Let $\mathbf{k}$ be a field, and let $S=\mathbf{k}[x_1,x_2,\ldots,x_n]$. Let $I\subset J$ be finitely generated monomial ideals in $S$. Is it true that the projective dimension of $I$ is either ...
428 views

### Interpretation of Hochschild Homology groups

In all the literature I've come across there are many concrete interpretations of the first few Hochschild Cohomology groups. For example $HH^1(A,M)\cong Derivation/Inner Derivations$ etc.... In ...
675 views

### question on an exercise on homological algebra?

Suppose R has finite global dimension n, N is a f.g. module, F is a free module and Ext^n(N,F) is not equal to zero, then Ext^n(N, R) is not trival either. Note, HERE R is not Noetherian necessarily.
375 views

340 views

### finite homological dimension

Hi, I found the following in the proof of a theorem: $Z \subset Y \times M$ where $M$ is a smooth projective variety over $\mathbb{C}$, $Y$ is a scheme and $Z$ is a subscheme of the product, flat ...
107 views

### The full linear ring is of finite projective dimension over the enevelopping algebra?

It is known that if $R=End_k(V)$, with $V$ a finite dimension $k$-vector space then $R$ is projective as $R^e$-module, thus of projective dimension $pd_{R^e}(R)=0$. If $V$ is of infinite dimension ...
609 views

### Recollements and global dimension

Let $A, B, C$ be algebras. Suppose that $D^b(A)$ (the bounded derived category of $A$) admits a recollement relative to $D^b(B)$ and $D^b(C)$. Then, by a result of Alfred Wiedemann's paper "On ...
814 views

### An example where finitistic dimension does not equal right global dimension?

The (right) big finitistic dimension of a ring is Findim$(R) =$ sup{proj.dim(M) | $M$ a right $R$-module of finite projective dimension}. The (right) little finitistic dimension findim$(R)$ is the sup ...
868 views

### When does the homological dimension of a tensor product equal the sum of dimensions?

The notion of dimension I prefer most is right global dimension, but the question can also be asked for other notions (e.g. weak dimension, injective dimension, Krull dimension). Letting $d$ be ...
246 views

### Is there a relationship between the right global dimensions of R and R[1/v]?

A few days ago I asked a similar question about Krull dimension and got fantastic answers. Unfortunately, for the application I have in mind (a question on ring spectra), Krull dimension doesn't ...
4k views

### What the heck is the Continuum Hypothesis doing in Weibel's Homological Algebra?

On page 98 of Weibel's An Introduction to Homological Algebra he mentions that the ring $R = \prod_{i=1}^\infty \mathbb{C}$ has global dimension $\geq 2$ with equality iff the continuum hypothesis ...
5k views

### Does $SL_3(R)$ embed in $SL_2(R)$?

Is there any non-trivial ring such that $SL_{3}(R)$ is isomorphic to a subgroup of $SL_{2}(R)$? $SL_{3}(\mathbb{Z})$ is not an amalgam, and has the wrong number of order $2$ elements to be a subgroup ...
2k views

### Do the homological dimension and cohomological dimension for a group agree?

Or equivalently, if $G$ is a group, do the projective and injective dimension of $Z$ (viewed as a $ZG$-module) agree? Thanks!
Is there any consensus on what the projective dimension of the zero module should be? Here are three statements one commonly encounters in textbooks, sometimes with or without the condition $M\neq 0$: ...