Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2106

Linear representations of algebras and groups, Lie theory, associative algebras, multilinear algebra.

8 votes
Accepted

Compatibility of two definitions of Koszul dual

Let $A$ be a quadratic graded algebra over a field $k$ with finite-dimensional components $A_n$ and $A_0=k$. Then the construction of the quadratic dual algebra $A^!$ involves setting $A^!_1$ to be t …
Leonid Positselski's user avatar
1 vote

References for Harish-Chandra pairs and modules, category "O"?

The book "Enveloping algebras" by Dixmier appears to contain some material on Harish-Chandra modules in the classical sense (i.e., with respect to the maximal compact subgroup) and also on Verma modul …
Leonid Positselski's user avatar
15 votes
6 answers
2k views

References for Harish-Chandra pairs and modules, category "O"?

I am looking for references related to the terms "Harish-Chandra pair" and "Harish-Chandra modules", and also to the term "category O". I know what these are, or I think I do (a Harish-Chandra pair i …
Leonid Positselski's user avatar
4 votes
Accepted

Question about an exact sequence

For any abelian category $\mathcal{A}$, an object $M\in\mathcal{A}$ is called a generator if, given an injective nonsurjective morphism $U\to V$ in $\mathcal{A}$, there always exists a morphism $M\to …
Leonid Positselski's user avatar
5 votes

Cohomology of Flag Varieties

Concerning the side question, the map K/T → G/B is actually an isomorphism of real manifolds, not just a homotopy equivalence. Not sure about the references, but this is essentially textbook material …
Leonid Positselski's user avatar
3 votes
0 answers
107 views

Modules over the unipotent subalgebra as direct summands of modules over a semisimple Lie al...

Let $\mathfrak g$ be a semisimple finite-dimensional Lie algebra over the field of complex numbers $\mathbb C$. Let $\mathfrak n\subset\mathfrak g$ be the maximal unipotent subalgebra of $\mathfrak g …
Leonid Positselski's user avatar
2 votes

Definition of the symmetric algebra in arbitrary characteristic for graded vector spaces

The right definition is: take the free associative (tensor) algebra generated by $V$; divide out the ideal generated by the elements $xy-(-1)^{|x||y|}yx$ for all homogeneous $x$, $y\in V$ and $z^2=0$ …
Leonid Positselski's user avatar
6 votes
Accepted

Indexing the Line Bundles of a Flag Manifold

Attempting to answer your last question: given a (topological, Lie, algebraic, etc.) group G and a closed subgroup P in G, the category of G-equivariant vector bundles on X=G/P is equivalent to the ca …
Leonid Positselski's user avatar
12 votes
Accepted

Koszul duality and modules over the Chevalley complex

The derived category of finite-dimensional $g$-modules is not a full subcategory of the derived category of arbitrary $g$-modules for a finite-dimensional Lie algebra $g$, in general (e.g., for a semi …
Leonid Positselski's user avatar
10 votes

Apocryphal Maschke theorem?

The assertion that k[G] is isomorphic to the direct sum of End(V) as a k-algebra is not true for an arbitrary field k of the characteristic not dividing |G|. Some additional condition must be impose …
Leonid Positselski's user avatar
6 votes
Accepted

On definitions and explicit examples of pure-injective modules

This is not pure-injectivity. The relevant concept is that of an fp-injective ("finitely presented-injective") module, otherwise known as an "absolutely pure" module. A left $R$-module $J$ is said t …
Leonid Positselski's user avatar
10 votes
0 answers
1k views

Complexes of representations with complementary central charges

This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary c …
Leonid Positselski's user avatar
63 votes
Accepted

Is "semisimple" a dense condition among Lie algebras?

The answer to the question in the title is "no". Semisimplicity is an open condition; however, it is not a dense open condition. Indeed, the variety of Lie algebras is reducible. There is one equat …
Leonid Positselski's user avatar
16 votes

What are examples of cogenerators in R-mod?

For any ring $R$, the $R$-module $Hom_{\mathbb Z}(R,\mathbb Q/\mathbb Z)$ is an injective cogenerator of the category of $R$-modules. Here $\mathbb Q/\mathbb Z$ can be replaced with $\mathbb R/\mathb …
Leonid Positselski's user avatar
7 votes
Accepted

Gluing perverse sheaves?

Beilinson's How to glue perverse sheaves explains how one can glue perverse sheaves on a variety from perverse sheaves on a closed subvariety and its open complement (assuming that the closed subvarie …
Leonid Positselski's user avatar

15 30 50 per page