MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Tagged Questions

2
votes
2answers
148 views

When an exact embedding of abelian categories induces a full embedding of their derived categories?

Let $F:A\to A'$ be a (full) exact embedding of abelian categories. When $D(F):D(A)\to D(A')$ (or its bounded version) is a full embedding also? I would be interested in any neces …
1
vote
0answers
58 views

Restriction and then induction of the Steinberg representation of GL(n)

Let $G_{n}=GL(n,F)$, where $F$ a locally compact non-Archimedean field, $St_{G_{n}}$ the Steinberg representation of $G_{n}$, and $B$ the standard Borel subgroup of $G_{n}$. We de …
2
votes
1answer
160 views

A specific question regarding a proof in Knapp’s book

I got stuck in an apparently trivial point within the proof of Lemma 3.13 on p. 55 of Knapp's Representation Theory of Semisimple Groups. The author concludes in the first paragrap …
7
votes
0answers
88 views

When is Ext*(M,N) finitely generated as a Ext*(M,M) module?

Let A be a finite dimensional algebra over a field k and M,N a finitely generated A-module. Im searching for examples where the module $ Ext^{o} (M,N) $ is a finitely generated $ …
0
votes
0answers
46 views

Cartan involutions of su(n)

I have a question regarding Cartan involutions of su(n). Some sources say that there is only one up to equivalence (Wikipedia on Cartan Decomposition). Others say there are Types I …
6
votes
2answers
318 views

Properties of quotient categories.

I asked this on math.stackexchange.com, but didn't get any answer. Let $\mathcal{A}$ be an abelian category and $\mathcal{C}$ a localizing subcategory in the sense of Gabriel. (A …
3
votes
1answer
109 views

Non-degeneracy of cup products on Tate-cohomology groups

I am working on a paper of R.P Langlands called "Representations of abelian algebraic groups", available here: http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/pdf/AbelianAlg …
2
votes
1answer
96 views

Is there an $A$ such that $B$ injective iff 1st Ext functor vanishes?

In the category of $\mathbb{Z}$-modules, there exists a module $A$---for instance $\bigoplus_{k=2}^\infty \mathbb{Z}/k\mathbb{Z}$---such that a $\mathbb{Z}$-module $B$ is injective …
4
votes
2answers
319 views

Homological characterization of smooth maps

Let $A \to B$ be a finitely generated homomorphism between two commutative noetherian rings. As far as I understand, in various generalizations of this situation, such a map is ca …
1
vote
0answers
100 views

Model structure on the category of chain complexes in an abelian category gives rise to the derived category

Let $\mathcal A$ be an abelian category with enough projectives. Consider a morphism $f \colon X^\bullet \longrightarrow Y^\bullet$ in the category $C(\cal A)$ of chain complexes i …
3
votes
1answer
76 views

Natural Isomorphism of $S(V[1])$ and $(\bigwedge V)[n]$

Let $V:=\oplus_{j\in\mathbb{Z}}V_j$ be a graded $\mathbb{F}$-vector space over the field $\mathbb{F}$. The graded tensor product of graded vector spaces is given by $V \otimes W: …
1
vote
2answers
106 views

Why every complex of injectives is homotopically injective (provided that, the injective dimension is finite)?

Let $\scr A$ be an abelian category with exact products and a cogenerator (e.g. $\scr A$ is a category of modules). Let ${\mathbf K}(\scr A)$ be the homotopy category of cochain c …
1
vote
0answers
75 views

When does Ext^2 vanish in a category of group representations.

Let $G$ be a linear algebraic group over field $k$ of characteristic zero. It is well known that the category of finite dimensional $k$--linear representations of $G$ is abelian, a …
1
vote
1answer
210 views

A computation by the Shapiro Lemma

Hi: When I read the book "An introduction to Homological algebra" by Weibel, the page 206, line 9 says that "Shapiro's Lemma tell us that $H_q(S_n(X)\otimes_{Z}A)$ is zero if $ …
1
vote
1answer
165 views

An example of a tensor product consisting of only simple tensors?

Hy guys. I'm doing some independent analysis which makes use of the tensor product of modules (over commutative rings with unit 1, and ring homomorphisms map $1 \mapsto 1$). Let $\ …

1 2 3 4 5 38 next
15 30 50 per page