1
vote
0answers
37 views

Covering Spaces in Representation Theory.

I'm reading the paper "Covering Spaces in Representation Theory" of K. Bogartz and P. Gabriel. Now I'm in section 2, proposition 2.3, on the first three lines concludes that the functor $l \mapsto ...
1
vote
1answer
53 views

When does a short exact sequence of representations exist?

The context for this question is that I am trying to determine the Grothendieck group of finite-dimensional complex representations of $T = (\mathbb{C}^*)^n$, where $\mathbb{C}^*$ denotes the ...
4
votes
0answers
50 views

Left and Right minimal homomorphisms.

In the literature on representation theory of finite dimensional algebras, a left (and similarly right) minimal homomorphism is defined as the following: For a pair of modules $L $ and $M$ in ...
3
votes
1answer
54 views

S-modules and Schur functors

I am reading the book "Algebraic Operads" by Loday and Vallette. (I will refer to their version 0.999 here : http://math.unice.fr/~brunov/Operads.pdf) In Chapter 5, they define an $\mathbb{S}$-module ...
2
votes
1answer
139 views

Definition/existence/uniqueness of a minimal projective resolution

I'm reading Dave Benson's book "Representations and Cohomology," Volume I, and I'm trying to understand the following discussion on page $32$ in which he introduces the notion of a minimal projective ...
1
vote
0answers
30 views

Weight space for a finite-dimensional $\mathfrak{g}-$module $M$.

Let $\mathfrak{g}$ a semisimple Lie algebra, $M$ finite-dimensional $\mathfrak{g}-$module, $\mu\in\mathfrak{h}^*_{\mathbb{Z}}$ and $s_i$ simple reflection such that ...
1
vote
1answer
47 views

Four term exact sequence for Artin algebras

Suppose $\Lambda$ is an Artin algebra, i.e. an algebra finitely generated as $R$-module for a commutative Artin ring $R$, $A$ is a finitely generated left $\Lambda$-module, and $X$ a finitely ...
2
votes
0answers
119 views

Computing ext over graded rings

This question came up as I was reading Beilinson, Ginzburg, Soergel paper Koszul Duality Patterns in Representation Theory. Suppose that $A$ is a Koszul ring (for the definition of Koszul ring ...
5
votes
1answer
91 views

If $M \simeq N$ in ${\tt stmod}(G)$ will $M \oplus \text{(proj)} \simeq N \oplus \text{(proj)}$ in ${\tt mod}(G)$?

Let $G$ be a finite group and ${\tt stmod}(G)$ the stable module category for $G$, i.e., the category whose objects are $G$-modules and whose morphisms are $G$-module homomorphisms modulo those that ...
1
vote
1answer
118 views

Artinian ring with zero finitistic dimension

Let $R$ be a left artinian ring with identity. Suppose $R$ contains copies of all its simple right $R$-modules. Is it true that every left $R$-module of finite projective dimension is projective (so ...
9
votes
0answers
212 views

cohomological proof of Maschke's theorem

I have been working on the following problem.. I have spent plenty of time trying to solve it myself. I am, however, unable to prove one small step in the argument. Beneath you can find my attempt. ...
1
vote
0answers
55 views

Exactness Properties of Schur Functors

The title says it all: What are the exactness properties of Schur Functors? Thanks!
3
votes
1answer
61 views

Question about the global dimension of End$_A(M)$, whereupon $M$ is a generator-cogenerator for $A$

Let $A$ be a finite-dimensional Algebra over a fixed field $k$. Let $M$ be a generator-cogenerator for $A$, that means that all proj. indecomposable $A$-modules and all inj. indecomposable $A$-modules ...
4
votes
1answer
357 views

Motivation for studying quadratic algebras, Koszul algebras, Koszul duality

I'm trying to gain a practical understanding of Koszul duality in different areas of mathematics. Searching the internet, there's lots of homological characterisations and explanations one finds, but ...
4
votes
1answer
175 views

(Non-)Formality of A-infinity algebra implies derived (non-)equivalence?

Take an unital differential graded (dg) $k$-algebra $A$, we can regard it as $A_\infty$-algebra with $m_1$ as differential and $m_2$ as algebra multiplication, and $m_n=0$ or all $n\geq 0$. Take a dg ...