Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
0 answers
178 views

Ext for commutative Gorenstein algebras

Let $A$ be a finite dimensional commutative Gorenstein $K$-algebra over a field $K$. Question 1: Is there an easy example of $A$-modules $M$ and $N$ such that $\mathrm{Ext}_A^1(M,N)=0$ but $\mathrm{...
Mare's user avatar
  • 26.5k
1 vote
0 answers
106 views

Uniqueness of indecomposable decomposition (Krull–Schmidt) for finitely generated modules over commutative Noetherian standard graded rings

Let $R_0=\mathbb C$ and $R=\bigoplus_{i\geq 0} R_i$ be a commutative Noetherian graded ring such that the grading is standard, i.e., $R=R_0[R_1]$. Let $M$ be a finitely generated $R$-module. Evidently,...
uno's user avatar
  • 412
2 votes
1 answer
184 views

Gorenstein projective module over commutative local algebras

Let $A$ be a local commutative finite dimensional algebra over a field $K$. An $A$-module $M$ is called Gorenstein projective if $M$ is reflexive, $Ext_A^i(M,A)=0=Ext_A^i(M^{*},A)$ for all $i>0$ ...
Mare's user avatar
  • 26.5k
8 votes
1 answer
356 views

Homological conjectures for finite dimensional commutative algebras

$\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Hom{Hom}$>Question: What are some (open) homological conjectures that are also relevent for finite dimensional commutative algebras over a field $...
Mare's user avatar
  • 26.5k
3 votes
1 answer
173 views

$\Omega$ for noetherian semiperfect rings

Let $A$ be a a two-sided noetherian semiperfect ring and assume that the injective dimension of the left and right regular modules are equal to $n \geq 1$. Let $\Omega^n(mod A)$ be the category of $n$-...
Mare's user avatar
  • 26.5k
2 votes
0 answers
196 views

Commutative local rings which satisfy Krull-Remak-Schmidt

Question 1: Can the class of local (always noetherian and commutative) rings be classified for which the Krull-Remak-Schmidt theorem (KRS) holds for finitely generated modules? They contain for ...
Mare's user avatar
  • 26.5k
4 votes
0 answers
114 views

Classification of 2-periodic triangulated categories

Let $T$ be an algebraic triangulated (k-linear over a field, Hom-finite, idempotent-complete) category. Call $T$ 2-periodic if $\Omega^2(X) \cong X$ for all $X \in T$. Question 1: Is there a ...
Mare's user avatar
  • 26.5k
7 votes
0 answers
275 views

Split epimorphism of modules - does the finite case imply the infinite case?

Let $k$ be a field, $A$ a finite dimensional $k$-algebra, $X$ a finite dimensional indecomposable (left) $A$-module and $M$ an infinite dimensional (left) $A$-module. Suppose further we have an ...
kevkev1695's user avatar
3 votes
1 answer
240 views

Split monomorphisms of modules - does the finite case imply the infinite case?

Let $k$ be a field, $A$ a finite dimensional $k$-algebra, $X$ a finite dimensional indecomposable (left) $A$-module and $M$ an infinite dimensional (left) $A$-module. Further $X\subseteq M$ and for ...
kevkev1695's user avatar
3 votes
1 answer
177 views

Quiver and relations for ADE singularities in dimension one

Let $A$ be an ADE-hypersurface singularity in dimension one. For example in Dynkin type $A_n$, A is given by $K[[x,y]]/(x^2+y^{n+1})$. Then $A$ is CM-finite and let $M$ be the direct sum of all ...
Mare's user avatar
  • 26.5k
5 votes
1 answer
235 views

Concept of an exact ideal of a module category

Let $R$ be a ring and $\text{Mod}\,R$ the category of (left) $R$-modules. Consider an ideal $\mathcal{I}$ of $\text{Mod}\,R$. For $R$-modules $X$ and $Y$ let $\mathcal{I}(X,Y)$ be the collection of ...
kevkev1695's user avatar
4 votes
0 answers
196 views

Quillen–Suslin theorem in a more general context

Let $A$ be a finite dimensional local Frobenius algebra that is Koszul. Question: Is it true for the Koszul dual of $A$ that every finitely generated projective module is free? If not, is there a ...
Mare's user avatar
  • 26.5k
5 votes
0 answers
132 views

On a reference for computing global spectrum of $A_n$-curve singularities, by H.Dao and E.Faber

This question is about chasing down a reference in a paper relating to non-commutative crepant resolutions and Cohen-Macaulay representation theory. Allow me to first give a minor introduction. Let $(...
user160167's user avatar
5 votes
1 answer
225 views

Tachikawa conjecture for finite dimensional commutative monomial algebras

Let $A=K[x_1,...,x_n]/I$ be a finite dimensional local algebra with a monomial ideal $I$. The Tachikawa conjectures are conjectures for finite dimensional algebras. Im interested in them here for such ...
Mare's user avatar
  • 26.5k
3 votes
0 answers
175 views

Geometric interpretation of homological quantities in Artinian local Gorenstein algebras

By corollary 3.5. of http://www.ams.org/journals/tran/2012-364-09/S0002-9947-2012-05430-4/S0002-9947-2012-05430-4.pdf the classification of local artinian Gorenstein algebras (all algebras here are ...
Mare's user avatar
  • 26.5k
1 vote
0 answers
60 views

$Ext^i(D(R),R)$ for a certain commutative algebra

Let $k$ be a field which is not algebraic over a finite field and $a \in k$ an element of infinite multiplicative order. Let $R=k[V,X,Y,Z]/I$ with $I=<V^2,Z^2,XY,VX+aXZ,VY+YZ,VX+Y^2,VY-X^2>.$ ...
Mare's user avatar
  • 26.5k
2 votes
0 answers
135 views

Ext over a certain commutative algebra

Let $A$ be the algebra $K[x,y]/(x^2,y^2,xy,yx)$. Then $A$ is a 3-dimensional commutative algebra and $Ext^i(M,A) \neq 0$ for any indecomposable non-projective module $M$ for some $i>0$. Namely: $...
Mare's user avatar
  • 26.5k
5 votes
1 answer
374 views

Tachikawa conjecture for commutative algebras proven?

The Tachikawa conjecture states that $Ext^i(M,M) \neq 0$ for some $i \geq 1$ for every non-projective module $M$ over a selfinjective finite dimensional algebra. In theorem 4.6. of http://maths.nju....
Mare's user avatar
  • 26.5k
2 votes
1 answer
395 views

Projectivity of torsion-free modules over integral group rings

Let $G$ be a torsion-free group and assume that the integral group ring $\mathbb{Z}G$ is torsion-free as well. Let $M$ be a torsion-free, finitely generated module over $\mathbb{Z}G$. If we assume ...
AlexE's user avatar
  • 2,998
4 votes
0 answers
76 views

Minimal rank of a permutation resolution of a $G$-lattice

Let $G$ be a finite group. By a $G$-lattice I mean a finitely generated free abelian group $L$ with an action of $G$. One says that $L$ is a permutation lattice if $L$ has a $\mathbb{Z}$-basis ...
Mikhail Borovoi's user avatar
2 votes
1 answer
203 views

Proving indecomposability of special modules

I'm reading the following paper: http://math0.bnu.edu.cn/~huwei/paper/Holm-Hu-1.pdf On page 795 and 796 there are the definitions (in a diagrammatical way) of some $A_n$ modules, whereupon $A_n:=k[x,...
Bernhard Boehmler's user avatar
0 votes
1 answer
223 views

Representation dimension of a special algebra

Hi, I'm reading the following paper: http://fma2.math.uni-magdeburg.de/~holm/ARTIKEL/holm-hu-23-05.pdf I've come across a piece of information, which I don't understand, and wanted to ask, if I ...
Bernhard Boehmler's user avatar