A Proof of Feigin’s Conjecture
نویسنده
چکیده
Ext ∞ 2 +• A (C, ·) was given. The setup for the definition of semiinfinite cohomology of an algebra A includes two subalgebras B,N ⊂ A and the triangular decomposition of A, i. e. the vector space isomorphism B⊗N−̃→A provided by the multiplication in A. Fix root data (Y,X, . . . ) of the finite type (I, ·) and a positive integer number l. The small quantum group ul with the standard triangular decomposition turns out to be a very interesting object for the investigation of semiinfinite cohomology. The explanation for this lies in the following fact proved by Ginzburg and Kumar in [GK]. Consider the set of nilpotent elements N in the simple Lie algebra g corresponding to (Y,X, . . . ).
منابع مشابه
A short proof of the maximum conjecture in CR dimension one
In this paper and by means of the extant results in the Tanaka theory, we present a very short proof in the specific case of CR dimension one for Beloshapka's maximum conjecture. Accordingly, we prove that each totally nondegenerate model of CR dimension one and length >= 3 has rigidity. As a result, we observe that the group of CR automorphisms associated with each of such models contains onl...
متن کاملOn the Closed-Form Solution of a Nonlinear Difference Equation and Another Proof to Sroysang’s Conjecture
The purpose of this paper is twofold. First we derive theoretically, using appropriate transformation on x(n), the closed-form solution of the nonlinear difference equation x(n+1) = 1/(±1 + x(n)), n ∈ N_0. The form of solution of this equation, however, was first obtained in [10] but through induction principle. Then, with the solution of the above equation at hand, we prove a case ...
متن کاملOn the oriented perfect path double cover conjecture
An oriented perfect path double cover (OPPDC) of a graph $G$ is a collection of directed paths in the symmetric orientation $G_s$ of $G$ such that each arc of $G_s$ lies in exactly one of the paths and each vertex of $G$ appears just once as a beginning and just once as an end of a path. Maxov{'a} and Ne{v{s}}et{v{r}}il (Discrete Math. 276 (2004) 287-294) conjectured that ...
متن کاملFormality theorem on infinite-dimensional spaces and a conjecture of B.Feigin
Let An be the free associative algebra with n generators over C, consider the Lie algebra A1 of its outer derivations (the derivations modulo the inner derivations). Let A0 be its quasi-classical limit, that it the Lie algebra of outer derivations of the free Poisson algebra with n generators over C. Boris Feigin conjectured around 1998 that the Lie algebras A0 and A1 are isomorphic. It turns o...
متن کاملPartial proof of Graham Higman's conjecture related to coset diagrams
Graham Higman has defined coset diagrams for PSL(2,ℤ). These diagrams are composed of fragments, and the fragments are further composed of two or more circuits. Q. Mushtaq has proved in 1983 that existence of a certain fragment γ of a coset diagram in a coset diagram is a polynomial f in ℤ[z]. Higman has conjectured that, the polynomials related to the fragments are monic and for a fixed degree...
متن کاملA Brief Determination of Certain Class of Power Semicircle Distribution
In this paper, we give a new and direct proof for the recently proved conjecture raised in Soltani and Roozegar (2012). The conjecture can be proved in a few lines via the integral representation of the Gauss-hypergeometric function unlike the long proof in Roozegar and Soltani (2013).
متن کامل