All Questions
15 questions
5
votes
2
answers
479
views
How to define cohomology of algebraic structures?
I learned that the Hochschild cohomology of an associative algebra $A$ with a bimodule $M$ is defined using the cochain
\begin{align*}
\cdots \rightarrow C^n(A,M) \stackrel{d^n}{\longrightarrow} C^{n+...
- 775
4
votes
4
answers
596
views
Homology of solvable (nilpotent) Lie algebras
Let $\mathfrak{g}$ be a solvable Lie algebra over $\mathbb{C}$ and $\lambda\in(\mathfrak{g}/[\mathfrak{g},\mathfrak{g}])^*$ be a character of $\mathfrak{g}$. I'm interested in calculating homology for ...
- 332
4
votes
0
answers
155
views
Commutative algebras associated to simple Lie algebras
In Section 2 of the article https://www.sciencedirect.com/science/article/pii/S0021869307000385, the authors study the center $Z=Z_Q$ of certain preprojective like algebras associated to the simply ...
- 26.5k
11
votes
0
answers
202
views
Quiver and relations for blocks of category $\mathcal{O}$
In Vybornov - Perverse sheaves, Koszul IC-modules, and the quiver for the category $\mathscr O$ an algorithm is presented to calculate quiver and relations for blocks of category $\mathcal{O}$ .
...
- 26.5k
7
votes
0
answers
142
views
When is an algebra derived indecomposable?
Call a finite dimensional (acyclic) quiver $K$-algebra A derived indecomposable in case $A$ is not derived equivalent to an algebra of the form $B \otimes_K C$.
For example when the number of simples ...
- 26.5k
4
votes
1
answer
346
views
Verma module and vanishing of extension groups
Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra with Cartan subalgebra $\mathfrak{h}$.
Let $W$ be the associated Weyl group and let $\Phi$ be its root system.
We write $\Phi^+...
- 1,875
8
votes
2
answers
743
views
Confusion about Subcategories of Category $\mathcal{O}$
So, in learning about category $\mathcal{O}$ representations of a semisimple Lie algebra $\mathfrak{g}$, I've come across two natural kinds of subcategories, and I think I'm confused about their ...
- 183
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 ...
- 52.9k
6
votes
1
answer
775
views
Socle of tilting modules in the BGG category $\mathcal{O}$ over a semisimple Lie algebra
Suppose that $\mathfrak{g}$ is a finite dimensional, complex, semisimple Lie algebra. Let $\mathcal{O}$ be the BGG category over $\mathfrak{g}$.
Tilting module theory play an important role in the ...
- 159
3
votes
1
answer
211
views
Coinduced modules in the BGG category $\mathcal O$ over complex semisimple Lie algebras
For a given finite-dimensional complex semisimple Lie algebera $\mathfrak g$, we fix Cartan $\mathfrak h$ and Borel subalgebras $\mathfrak b$, then we have the BGG category $\mathcal O$. As usual, we ...
- 55
14
votes
0
answers
891
views
Local proof of Grothendieck-Riemann-Roch theorem
There is a theorem by Feigin and Tsygan(Theorem 1.3.3 here) which they call "Riemann-Roch" theorem.
Given a smooth morphism $f:S\to N$ of relative dimension $n$ and a vector bundle $E/S$ of ...
- 7,377
7
votes
2
answers
2k
views
Whitehead lemmas in Lie algebra cohomology for non-algebraically closed fields
I read in Weibel's homological algebra that Whitehead's first and second lemmas are true for any characteristic 0 field. I mean the following:
Whitehead Lemma(s): Let g be a semisimple Lie algebra ...
- 349
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 ...
- 5,637
1
vote
0
answers
135
views
Equivalence between blocks of BGG categories $\mathcal{O}$ which does not preserve highest weight structure
Let $\mathfrak{g}$ be a finite-dimensional (complex) semisimple Lie algebra. Then we denote the BGG category for $\mathfrak{g}$ by $\mathcal{O}$ as usual. It is well-known that $\mathcal{O}$ as well ...
- 159
4
votes
0
answers
85
views
Homological dimension of Joseph quotients
Let $\mathfrak g$ be a simple Lie algebra over $\mathbb C$ not isomorphic to $sl(n)$.
Let $\mathcal O$ be the minimal nilpotent orbit in $\mathfrak g^*$. Joseph proved that there exists unique two-...
- 7,037