Braverman and Finkelberg have recently proposed a conjectural analogue of the geometric Satake isomorphism for untwisted affine Kac–Moody groups. As part of their model, they conjecture that (at dominant weights) Lusztig's q-analog of weight multiplicity is equal to the Poincare series of the principal nilpotent filtration of the weight space, as occurs in the finite-dimensional case. We show that the conjectured equality holds for all affine Kac–Moody algebras if the principal nilpotent filtration is replaced by the principal Heisenberg filtration. The main body of the proof is a Lie algebra cohomology vanishing result. We also give an example to show that the Poincare series of the principal nilpotent filtration is not always equal to the q-analog of weight multiplicity. Finally, we give some partial results for indefinite Kac–Moody algebras. 相似文献
For a scalar evolution equation ut = K(t, x, u, ux, . . . , u2m+1) with m ≥ 1, the cohomology space H1,2() is shown to be isomorphic to the space of variational operators and an explicit isomorphism is given. The space of symplectic operators for ut = K for which the equation is Hamiltonian is also shown to be isomorphic to the space H1,2() and subsequently can be naturally identified with the space of variational operators. Third order scalar evolution equations admitting a first order symplectic (or variational) operator are characterized. The variational operator (or symplectic) nature of the potential form of a bi-Hamiltonian evolution equation is also presented in order to generate examples of interest. 相似文献
We give an informal exposition of pushforwards and orientations in generalized cohomology theories in the language of spectra. The whole note can be seen as an attempt at convincing the reader that Todd classes in Grothendieck–Hirzebruch–Riemann–Roch type formulas are not Devil’s appearances but rather that things just go in the most natural possible way.
We find a set of generators and relations for the system of extended tautological rings associated to the moduli spaces of stable maps in genus zero, admitting a simple geometrical interpretation. In particular, when the target is Pn, these give a complete presentation for the cohomology and Chow rings in the cases with/without marked points. 相似文献
We study groups whose cohomology functors commute with filtered colimits in high dimensions. We relate this condition to the existence of projective resolutions which exhibit some finiteness properties in high dimensions, and to the existence of Eilenberg–Mac Lane spaces with finitely many n-cells for all sufficiently large n. To that end, we determine the structure of completely finitary Gorenstein projective modules over group rings. The methods are inspired by representation theory and make use of the stable module category, in which morphisms are defined through complete cohomology. In order to carry out these methods, we need to restrict ourselves to certain classes of hierarchically decomposable groups. 相似文献
The aim of this paper is to investigate the first Hochschild
cohomology of admissible algebras which can be regarded as a
generalization of basic algebras. For this purpose, the authors
study differential operators on an admissible algebra. Firstly,
differential operators from a path algebra to its quotient algebra
as an admissible algebra are discussed. Based on this discussion,
the first cohomology with admissible algebras as coefficient modules
is characterized, including their dimension formula. Besides, for
planar quivers, the $k$-linear bases of the first cohomology of
acyclic complete monomial algebras and acyclic truncated quiver
algebras are constructed over the field $k$ of characteristic $0$. 相似文献
This paper presents a translation of a theorem of Cartan into an equivariant setting. This work is largely based on the study
of the homotopical algebra in the sense of Quillen of the category of simplicial objects over the category of rationalOg-vector spaces. The application is a solution to the equivariant commutative cochain problem. This solution is slightly better
than the solution obtained earlier by Triantafillou in that the transformation groupG need not be finite. 相似文献