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.
41
questions
1
vote
0
answers
62
views
Does this ring homomorphism have finite flat dimension?
Let $k$ be a field and consider the ring homomorphism $f:k[x,xy,xy^2]\rightarrow k$ defined by mapping $x,xy,xy^2$ to zero in $k$.
I am trying to show that this ring homomorphism has finite flat ...
- 315
5
votes
0
answers
95
views
Homological characterization of perfect resolutions
Suppose that $R$ is a left Noetherian associative ring with unit and $M$ a finitely generated left $R$-module. It is a standard fact that if the $\mathrm{Ext}$-groups $\mathrm{Ext}^i_R(M,N)$ vanishe ...
- 9,026
2
votes
1
answer
294
views
Example of non vanishing Ext
Let $R$ be a commutative Noetherian ring and $I$ is a proper ideal of $R$. suppose that $M$ is a f.g. $R$-module.
$\DeclareMathOperator\Ext{Ext}$I'm looking for an example that has this property:
$$\...
- 238
1
vote
0
answers
108
views
On infinite global dimensions of "slightly non-commutative" rings
Assume $R$ is a commutative Noetherian ring of finite Krull dimension; $R'$ is a not commutative ring that contains $R$ in its center and also finitely generated as an $R$-module.
If the (left) global ...
- 16.1k
8
votes
1
answer
238
views
Bounds on homological dimension of functor categories
Let $A$ be a Grothendieck abelian category. I will say that $A$ is of global dimension less or equal to $n$ if $Ext^{k}_{A}(a, b) = 0$ for $k > n$ and all $a, b \in A$. This is equivalent to saying ...
- 2,138
7
votes
0
answers
289
views
What is the category of coherent sheaves on a logarithmic scheme?
I try to learn basic things on logarithmic geometry, and in particular I don't find much on the category of coherent sheaves on a logarithmic scheme: is it a notion that makes sense or differ from ...
- 323
8
votes
2
answers
963
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 ...
- 719
4
votes
0
answers
94
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. Another notion is to ask whether M is reflexive when ...
- 1,824
4
votes
0
answers
50
views
Generalization of semi-hereditarity
Let $R$ be a ring. A left $R$-module $K$ is called an $N$-th kernel if there are projective left $R$-modules $P_1, \ldots P_N$ and a short exact sequence
$$ 0\rightarrow K \rightarrow P_N \rightarrow \...
- 848
12
votes
2
answers
347
views
Obstruction to splitting an object in derived category into a sum of two-term complexes
Let $\mathcal{A}$ be an abelian category, and $D$ its bounded derived category. An object $M \in D$ may be described as a list of cohomology objects $H^i = H^i(M)$ together with some complicated ...
- 482
3
votes
1
answer
178
views
Global dimension of a certain $K[x,y]$-algebra
Question. Let $K$ be a field (assume $K=\mathbb{C}$ if this simplifies the problem). What is the right global dimension of the $K[x,y]$-algebra:
$$
A=\left[\begin{array}{cc}
K[x,y] & xK[x,y] \\
K[...
- 2,814
6
votes
1
answer
419
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$ ...
- 6,592
32
votes
1
answer
992
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 ...
- 409
29
votes
2
answers
5k
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 ...
3
votes
1
answer
452
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$?
...
- 496
3
votes
1
answer
230
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 ...
- 1,656
7
votes
2
answers
276
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 ...
- 3,875
8
votes
3
answers
1k
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)$ ...
- 2,240
4
votes
1
answer
939
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 ...
- 14.7k
5
votes
0
answers
127
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)$).
- 4,881
2
votes
1
answer
172
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 ...
- 179
2
votes
1
answer
540
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 ...
- 4,881
0
votes
1
answer
717
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.
- 77
3
votes
2
answers
408
views
Can a zerodivisor reduce both the depth and the dimension?
In this question $R$ is a commutative noetherian local ring with unity.
One can construct examples of rings $R$ and zerodivisors $z$ such that $\dim R/(z)=\dim R-1$, e.g., $S\colon=k[a,b,c],\ \...
- 3,041
8
votes
0
answers
384
views
Reference/ elementary proof of a result about projective dimension in group rings
Hello- I've had to use a result that sounds like it should be well-known, but I couldn't find any references, and my proof is rather unsatisfactory. I was hoping someone here could help! The problem ...
- 298
5
votes
0
answers
391
views
Homological dimension of completed path algebras.
Let A = c[Q]/I be a finite dimensional quotient of a path algebra over a quiver Q, with I being the ideal of relations.
Is it true that the I-adic completion of A has finite homological dimension?
- 51
9
votes
2
answers
1k
views
Global dimensions of non-commutative rings
This is related to my previous question: When is a quantum affine space $\mathbb{A}^{n}$ Calabi-Yau? I now would like to know the global dimension of the ring $R=\mathbb{C}\langle x_1,\dots,x_n\rangle/...
- 1,613
0
votes
0
answers
364
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 ...
- 73
1
vote
0
answers
109
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 ...
- 21
1
vote
1
answer
684
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 ...
- 11
5
votes
1
answer
880
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 ...
- 24.7k
9
votes
1
answer
996
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 ...
- 24.7k
1
vote
2
answers
275
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 ...
- 24.7k
50
votes
3
answers
5k
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 ...
- 24.7k
44
votes
7
answers
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 ...
- 1,006
6
votes
3
answers
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!
- 113
14
votes
3
answers
2k
views
Projective dimension of zero module
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$:
...
- 2,809
5
votes
1
answer
395
views
Behavior of the projective dimension of modules in a continuous chain of extensions
Let $R$ be an arbitrary ring. Let $D$ be the class of $R$-modules of projective dimension less than or equal to a natural number $n$. If $L$ is the direct union of a continuous chain of submodules ${...
- 111
9
votes
2
answers
2k
views
Projective & injective dimensions
$A$ a Noetherian local ring, $M\neq 0$ a finite $A$-module. I'm not quite sure about the relation between finiteness of projective and injective dimensions of $M$. Does the finiteness (or infiniteness)...
- 2,809
3
votes
2
answers
1k
views
Depth and dimension
$A$ a Noetherian local ring, $M\neq 0$ a finite $A$-module. Then is it true that $\mbox{depth }M\le\mbox{depth }A$ just like $\mbox{dim }M\le\mbox{dim }A$? I don't see any relation between an $M$-...
- 2,809
6
votes
1
answer
220
views
Injective dimension of cyclic modules
Let $R$ be a non-Noetherian ring. Is its left global dimension ${\rm{lD}}(R)$ equal to $\sup \{ {\rm{id}}(M) \mid M \text{ is a cyclic $R$-module} \}$? Here $\rm{{id}}(M)$ denotes the injective ...
- 1,097