All Questions
Tagged with homological-algebra lie-algebras
27 questions with no upvoted or accepted answers
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
13
votes
0
answers
461
views
Conceptual meaning of (g, K)-cohomology
Let $G$ be a reductive Lie group (over $\bf C$, say), $K$ a maximal compact subgroup and $\frak g$, $\frak k$ their Lie algebras.
It is standard that Lie algebra cohomology $H^n({\frak g}, V)$ of ...
- 2,040
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
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,365
8
votes
0
answers
180
views
Chevalley-Eilenberg cohomology of polynomial vector fields on $\mathbb{A}^2$
I have a question similar to one given here.
What is the cohomology of the Lie algebra of polynomial vector fields on an affine space $\mathbb{A}^2$ over a field of characteristic $0?$ (I'm interested ...
- 1,374
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
7
votes
0
answers
781
views
Hochschild cohomology of a universal enveloping algebra of a Lie algebra
I was told that the following equation is true:
Given a finitely generated Lie algebra $\mathfrak g$, there is a Gerstenhaber algebra isomorphism
$$ HH(U\mathfrak g) \cong HH(\wedge^* \mathfrak g^\vee,...
- 323
6
votes
0
answers
270
views
Torsion in the Lie algebra cohomology of gl(n,Z)
What is known about the Lie algebra cohomology $H^*(\mathfrak{gl}_n(\mathbb{Z}),\mathbb{Z})$? After passing to $\mathbb{Q}$-coefficients, the question is classical: $H^*(\mathfrak{gl}_n(\mathbb{Q}),\...
- 4,487
6
votes
0
answers
353
views
Homotopy transfer of cyclic L-infinity algebras
Suppose $W$ is a cyclic $L_\infty$ algebra, i.e. $W$ has a non-degenerate, symmetric, invariant pairing $\langle\cdot,\cdot\rangle_W$. Let $V$ be a cochain complex, and suppose given the data of a ...
6
votes
0
answers
126
views
Cyclic version of Lie algebra cohomology
Lie algebra cochains have a differential $d$ where $d^2 =0$ because of the Jacobi identity, which can be written in the cyclic form or the Leibniz form. $L_\infty$ algebra cochains have a ...
- 3,880
6
votes
0
answers
207
views
The meaning of a "subcomplex" of the Cartan-Eilenberg of a Lie algebra
Let $\mathfrak{g}$ be a finite dimensional real Lie algebra, and $\mathfrak{g}^* $ be the dual vector space. We have the standard Cartan-Eilenberg complex
$(\wedge^{\cdot} \mathfrak{g}^* ,\text{d}_{...
- 9,019
5
votes
0
answers
187
views
Are there known minimal models for the cohomology of semisimple Lie algebras?
My student and I recently found a cute construction of a minimal model for the cohomology of a Lie algebra $\mathfrak{g}$. This is a "minimal model" in the sense that it is a minimal chain-...
- 1,365
4
votes
0
answers
75
views
Lie algebra "semi" coinvariants
In the process of my research, I've come across the need to understand the following construction:
Let $\mathfrak{g}$ be a (finite-dimensional) complex Lie algebra, $\beta\in \mathfrak{g}^*$ a Lie ...
- 3,079
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
4
votes
0
answers
64
views
Constructing $\delta$ to show Chevalley-Eilenberg complex $\Lambda \mathfrak g \otimes \mathcal U\mathfrak g \rightarrow k$ is null homotopic
Let $\mathfrak g$ be a finite dimensional Lie algebra over a field $k$ and $(\Lambda^\bullet \mathfrak g \otimes \mathcal U\mathfrak g, d)$ be the Chevalley-Eilenberg chain complex.
I would like to ...
- 323
4
votes
0
answers
350
views
How should one understand shifted Lie algebras, like $T_X[-1]$?
Let $X$ be an algebraic variety, $at(E) \in Ext^1(E, E \otimes T)$ the Atiyah class of a complex $E \in D(Coh X)$ (see Markaryan, $\S$1.1-1.2).
Then $at(\Omega[1])$ gives a "shifted Lie algebra" on $...
- 1,980
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
3
votes
0
answers
117
views
Twisting an L_{\infty} module quasi-isomorphism with a sufficiently small Maurer-Cartan element
I was wondering if someone could help me understand this result, or point me towards a reference. Suppose that $M$ and $N$ are $L_{\infty}$ modules over a dgla $L$. Suppose that $\phi: M \rightarrow N$...
- 295
3
votes
0
answers
71
views
Deformations of nilpotent parts of superalgebras
I have two questions concerning some results in the article "Deformations of nilpotent parts of superalgebras" of N. van den Hijligenberg, J.Math.Phys. 35, 1427 (1994); doi:10.1063/1.530598
After ...
- 95
2
votes
0
answers
146
views
Koszul differential of the complex $\bigwedge \mathfrak{g}^*$
Let $\mathfrak{g}$ be a finite dimensional Lie algebra. The definition of the Koszul differential is given in the article by Kumar and Vergne on equivariant cohomology page 133 as follow:
Let us now ...
- 139
2
votes
0
answers
55
views
Free resolutions of universal enveloping algebras for simple, finite dimensional Lie algebras
I'm currently studying Anick's resolution on the context of universal enveloping algebras for certain Lie algebras, namely some of the smallest cases: $A_1,A_2,A_3,B_2,G_2$, and so on.
What are some ...
2
votes
0
answers
143
views
Chevalley-Eilenberg cohomology of polynomial vector fields
Let be $A$ the Lie algebra of polynomial vector fields. A p-cochain $C$ of $A$ is a p-linear alternate map from $A^p$ to $A$. For $p=0$, $C$ is an element of $A$. The coboundary operator $\eth$ is ...
- 39
1
vote
0
answers
38
views
Regarding linear splitting of lie algebra morphism and their CE complexes
The main question here is to ask if anyone has ever seen/researched the map $\alpha$ below and get a reference regarding it. Also, if anyone tells me the equivalent conditions to $\alpha=0$, I would ...
- 323
1
vote
0
answers
254
views
Adjoint cohomology of Lie algebra commutes with direct sum?
The Witt algebra (denoted by $W$) is an infinite dimensional Lie algebra as:
$[L_{m},L_{n}]=(m-n)L_{m+n}; \,\,\,\ m, n\in \mathbb{Z}$.
I am looking for second adjoint cohomology $H^{2}(W_{1}\oplus ...
1
vote
0
answers
134
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
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$, ...
- 2,709
0
votes
0
answers
349
views
cokernel for $L_\infty$-algebra morphisms
As I have asked a wrong question previously, I edited a bit.
It is obvious that the cokernel construction does not work well for the category of Lie algebras. The cokernel exists only for a normal ...
- 1,271