Koszul duality and frobenius structure for restricted. C vg here lie algebra cohomology carries no more information about the represen. When a is a koszul algebra, the holonomy lie algebra a. Im curious why the koszul complex from commutative algebra is called the koszul complex. Our main idea is to lift the koszul di erential which calculates the generalized syzygies to this resolution and subsequently calculate its homology.
The notion of lie 1 algebra coincides with the notion of lie superalgebra. The resolution of may for restricted lie algebras in characteristic 2 is retrieved. Confluence algebras and acyclicity of the koszul complex. Phas a prelie algebra structure, where the prelie product is given, for. The tensor algebra is canonically augmented by 1 1 and u 0 for u2tv tv.
We show first that the boundary map in the koszul complex constructed as the koszul complex for ordinary lie algebras squares to zero. The koszul duality is a type of derived equivalence between modules over a and modules over its koszul dual a in this talk, we will talk about the general framework and then focus on the classical cases as well as examples. Namely, i the subspace of n x iz matrices with trace 0 is a lie algebra, and is denoted sl,k. Let g be a nitedimensional simple complex lie algebra. This fact was first announced by beilinsonginzburg bg. Cohomology of 3dimensional color lie algebras request pdf.
Abstract the relative lie algebra cohomology of the weil. You can find the modern generalization of the koszul duality described in aarons comment by reading loday. A family of examples is obtained which shows that, generally, it is impossible to decide for known hilbert series of a qudratic algebra and its dual algebra whether or not this algebra has the koszul property. This requires a correction term to the naively lifted di. The elements of the lie algebra are right invariant vector. Koszul space x, and establish a su cient condition for it to be isomorphic to the group of algebra automorphisms of the cohomology algebra of x, or equivalently the lie algebra automorphisms of the homotopy lie algebra of x. Orliksolomon algebra a is quadratic, the koszul dual algebra a. In this article we present a way to construct such a contracting homotopy.
This makes sap into a bigraded associative algebra with identity. You can find the modern generalization of the koszul duality described in aarons comment by reading loday, valette algebraic operads mostly chapters 23. Minimal models for commutative koszul algebras 8 4. January 3, 1921 january 12, 2018 was a french mathematician, best known for studying geometry and discovering the koszul complex. Koszul duality and applications in representation theory abstract. Koszul complexes of pspaces and palgebras skew tensor product of algebras, cf. Purely algebraic proofs appear by 1950, make critical use of the koszul complex g for lie. T g is antiequivalent to the category of locally unitary nitedimensional modules over an algebra a g which is a direct limit of nitedimensional koszul algebras see proposition 5. It is helpful because you can consider the symmetric and the exterior algebras as suitable algebra of polynomials and the construction is really explicit.
Recall that when g is a nite dimensionnal lie algebra over k r, ug can be identi ed with the bialgebra of distributions supported at the neutral element of any lie group whose associated. Koszul complexes of pspaces and palgebras sciencedirect. The cotangent complex classi es squarezero extensions. Lie superalgebra continued here jxjis the parity of x. In classical algebra, the cotangent complex and tangent complex play a salient role in deformation theory. All of koszuls early papers are about lie algebras and lie groups, in particular about the chevalleyeilenberg complex.
Algebras with operators, koszul duality, and conformal. The lie algebra is the homotopy of x, with its whitehead brackets, and its koszulchevalley complex has a minimal model which can be constructed from the postnikov tower of x. Koszul complex is the cotangent complex international. On the hilbert series of koszul algebras springerlink. The simplest example is given by two finitely generated algebras concentrated at the degrees not exceeding five. In mathematics, the koszul complex was first introduced to define a cohomology theory for lie algebras, by jeanlouis koszul see lie algebra cohomology. Koszul if itskoszul complex is acyclic, sothattheinclusion. Koszul duality for algebras christopher kuo october 17, 2018 abstract let a be an algebra. In these notes, a graded algebra is a nonnegativelygraded associative kalgebra ad l i 0 a i such that a 0 dkand a i is. Let us write it down a little more generally, namely with coe. Lie algebra cohomology and the borelweilbott theorem.
Lie group analogue solved using topological methods by 1940. On lie kalgebras university of miamis research profiles. Then there is an adjunction between the category of modules for a and the category of comodules for c. Awhere ais an unital algebra extends uniquely as an algebra map f. Algebras with operators, koszul duality, and conformal algebras. Jan 21, 2016 the n koszul algebras are nhomogeneous algebras satisfying a homological property. Some quantum analogues of results from lie algebra cohomology.
A koszul category of representations of nitary lie algebras. Methods based on computational approaches were used to prove nkoszulness. Koszul duality named after jeanlouis koszul is a duality and phenomenon generalizing the duality between the symmetric and exterior algebra of a vector space to socalled quadratic differential graded algebras which can be obtained as a free dga module an ideal of relations which live in degree 2. Xis a koszul space, and construct a wellbehaved contraction to a smaller chain complex using relations between the cohomology algebra and homotopy lie algebra of a koszul space. Lie algebras, the present koszul duality theory provides sullivan minimal models, resp. The classification of simple complex lie algebras 3 let j 0 i n i n 0. Joan milles, the koszul complex is the cotangent complex, mpim201032, pdf. The koszul complex is the cotangent complex 3 for f,g. However, in general, these methods do not provide an explicit contracting homotopy for the koszul complex. Let g be a finitedimensional complex semisimple lie algebra with expo. Linear koszul duality and fourier transform 991 an important example of this mechanism appears in the study of a. An ordinary lie algebra is precisely a lie 1 algebra with odd elements.
This is a question about the history of commutative algebra. Koszul in 10 introduced a complex today, we call it the koszul complex for the theory of lie algebra cohomology. The tensor algebra tvis the free unital algebra over v, i. An example is given by the commutative algebra of the. The notion of lie 1algebra coincides with the notion of lie superalgebra. It turned out to be a useful general construction in homological algebra. An algebra is koszul when the bar complex is quasiisomorphic as coalgebras to something very small, in many cases quasiisomorphic to its homology. Its augmentation ideal is the twosided maximal ideal a cd l i0 a i. We start by defining the koszul complex kv of an object v of a. The nkoszul algebras are nhomogeneous algebras satisfying a homological property. Koszul duality and the pbw theorem in symmetric tensor categories.
All of koszul s early papers are about lie algebras and lie groups, in particular about the chevalleyeilenberg complex. This follows from the fact that mg homugk,m and that the koszul complex is a resolution of the trivial gmodule k. A koszul category of representations of nitary lie algebras elizabeth dancohena,1, ivan penkova,2, vera serganovab,3 ajacobs university bremen, campus ring 1, 28759 bremen, germany buniversity of california berkeley, berkeley ca 94720, usa abstract we nd for each simple nitary lie algebra g a category t. We study the compatibility between the koszul grading on the restricted enveloping algebra ug 0 of gconstructed in ri, and the structure of frobenius algebra of. Let us specify that the koszul complex is negatively graded, i. Since then, koszul complexes have played a signi cant role in homological algebra and have been applied to various mathematical and physical theories e. A generalization of koszul complexes to appropriate resolutions of algebras over operads is in. In this approach, the chevalleyeilenberg complex of a color lie algebra becomes a standard koszul complex for its universal enveloping algebra, providing a constructive method for computation of. Then we study the transferred structure which retains all information about the rational homotopy type. These algebras are characterised by their koszul complex. This resolution is particularly nice because it is a small subcomplex. Let gbe the lie algebra of a connected, simply connected semisimple algebraic group over an algebraically closed. The symplectic group sp 2nr fx 2gl 2nr j xtjx jgrepresents automorphisms of r2npreserving the nondegenerate skewsymmetric innerproduct represented by the matrix j. We present a unifying framework for the key concepts and results of higher koszul duality theory for nhomogeneous algebras.
A commutative koszul algebra a has a nice resolution in the category of algebras, given by the chevalley complex of the lie superalgebra l. In abstract terms, the koszul complex arises as the easiest way to combine an algebra with a coalgebra in presence of quadratic data. We then prove that the resulting spectral sequence converges to the relative lie algebra cohomology and has e 0 term, the associated graded complex, isomorphic to a koszul complex, see section 3. Note that for a compact lie group the invariants functor is exact, and the complexi cation doesnt change this so for semisimple complex lie algebras one has hig.
This algebra is koszul of global dimension 3 and gorenstein but except for s1 i. Hochschild cohomology vs chevalleyeilenberg cohomology. Linear koszul duality and fourier transform for convolution. Generalized syzygies for commutative koszul algebras a commutative koszul algebra a has a nice resolution in the category of algebras, given by the chevalley complex of the.
Notes from lectures given by wolfgang soergel in luminy, september 2010. Koszul information geometry model souriau lie groups thermodynamics model. The property of sideconfluence enables us to define specific representations of confluence algebras. The definition of lie algebra cohomology lives in the world of modules over rings. If a is an associative algebra, we denote aop its opposite algebra. This resolution is particularly nice because 1 it is a subcomplex. An ordinary lie algebra is precisely a lie 1algebra with odd elements. We give a universal description of the koszul dual algebra under a new algebraic structure. The steinberg variety zof a complex connected reductive algebraic group gwith simply connected derived subgroup is of the above form f. Generalized syzygies for commutative koszul algebras. All algebras and vector spaces, as well as hom and tensor products, are considered over c unless speci.
196 1565 1427 40 1102 1222 101 506 613 1226 1287 1417 683 458 837 1374 893 715 1403 692 805 536 1529 973 1343 792 326 1059 1495 1229 540 832 1282