Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
2 answers
1k views

How is this observation related to Koszul duality?

Let $X$ be a smooth variety, $\mathcal D$ the sheaf of algebraic differentail operators, $\Omega$ the algebraic deRham complex and $\mathcal M$ a quasi coherent $\mathcal O_X$-module. Now there is a ...
5 votes
2 answers
1k views

Describing the kernel of the exponential map as a homology group

I am reading Deligne: Hodge III, and am puzzled by a certain statement in section 10. If anyone could give a reference or a hint for how to prove this, I would be grateful. Maybe it is obvious and I ...
1 vote
0 answers
269 views

exactness of n homology functor

Let $G$ be a real reductive group, $P=MN$ a parabolic subgroup with its Levi decomposition, let $\mathfrak{n}$ be the nilpotent Lie algebra of $N$. Now given a smooth representation $(\pi,V)$ of $G$, ...
13 votes
4 answers
3k views

What is a "block" in an abelian category?

In the literature and in some posts here, there has been variation in the undefined use of the term "block" for a category of modules over a ring, or more abstractly an abelian category (all of which ...
3 votes
1 answer
336 views

Why are relations of degree 3 or less enough in a presentation of the polynomial current Lie algebra g[t]?

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbb{C}$. The polynomial current Lie algebra $\mathfrak{g}[t] = \mathfrak{g} \otimes \mathbb{C} [t]$ has the bracket $$[xt^r, yt^...

1
2