Idempotent comultiplications on graded algebras

We classify all idempotent comultiplications on a graded anticommutative algebra up to degree 3, provided its components are torsion free, and topologically realize all algebraic possibilities. Then we extend some results to dimension n and obtain topological consequences about closed n-manifolds with cohomology of special type.     

Comparing Codimension and Absolute Length in Complex Reflection Groups

Reflection length and codimension of fixed point spaces induce partial orders on a complex reflection group. Motivated by connections to the algebraic structure of cohomology governing deformations of skew group algebras, we show that Coxeter groups and the infinite family G(m, 1, n) are the only irreducible complex reflection groups for which reflection length and codimension coincide. We then discuss implications for the degrees of generators of Hochschild cohomology. Along the way, we describe the codimension atoms for the infinite family G(m, p, n), give algorithms using character theory, and determine two-variable Poincaré polynomials recording reflection length and codimension.     

Bredon-style homology, cohomology and Riemann-Roch for algebraic stacks

One of the main obstacles for proving Riemann-Roch for algebraic stacks is the lack of cohomology and homology theories that are closer to the K-theory and G-theory of algebraic stacks than the traditional cohomology and homology theories for algebraic stacks. In this paper we study in detail a family of cohomology and homology theories which we call Bredon-style theories that are of this type and in the spirit of the classical Bredon cohomology and homology theories defined for the actions of compact topological groups on topological spaces. We establish Riemann-Roch theorems in this setting: it is shown elsewhere that such Riemann-Roch theorems provide a powerful tool for deriving formulae involving virtual fundamental classes associated to dg-stacks, for example, moduli stacks of stable curves provided with a virtual structure sheaf associated to a perfect obstruction theory. We conclude the present paper with a brief application of this nature.     

A module structure on cyclic cohomology of group graded algebras

Letk be a field of characteristic 0, and letB be an algebra overk which is graded by a discrete groupG. Let HC*(A) denote the cyclic cohomology of an algebraA overk. We prove that there is an HC*(kG)-module structure on HC*(B) which generalizes Connes' periodicity operator on HC*(B). This module structure also decomposes with respect to conjugacy classes and results in a natural generalization of the results of Burghelea and Nistor in the cases of group algebras and algebraic crossed product algebras, respectively. Moreover, the proofs given in this paper are purely analytic with explicit constructions which can be used in the calculation of the cyclic cohomology of topological twisted crossed product algebras.Research sponsored in part by NSF Grant DMS-9204005.     

Classifying spaces of Kač-Moody groups

We study the structure of classifying spaces of Kač-Moody groups from a homotopy theoretic point of view. They behave in many respects as in the compact Lie group case. The mod p cohomology algebra is noetherian and Lannes'T functor computes the mod p cohomology of classifying spaces of centralizers of elementary abelian p-subgroups. Also, spaces of maps from classifying spaces of finite p-groups to classifying spaces of Kač-Moody groups are described in terms of classifying spaces of centralizers while the classifying space of a Kač-Moody group itself can be described as a homotopy colimit of classifying spaces of centralizers of elementary abelian p-subgroups, up to p-completion. We show that these properties are common to a larger class of groups, also including parabolic subgroups of Kač-Moody groups, and centralizers of finite p-subgroups. Received: 15 June 2000 / in final form: 20 September 2001 / Published online: 29 April 2002     

A note on the algebra of operations for Hopf cohomology at odd primes

Let p be any prime, and let \({\mathcal B}(p)\) be the algebra of operations on the cohomology ring of any cocommutative \(\mathbb {F}_p\)-Hopf algebra. In this paper we show that when p is odd (and unlike the \(p=2\) case), \({\mathcal B}(p)\) cannot become an object in the Singer category of \(\mathbb {F}_p\)-algebras with coproducts, if we require that coproducts act on the generators of \({\mathcal B}(p)\) coherently with their nature of cohomology operations.

     

INTERSECTION COHOMOLOGY AND LIE ALGEBRA HOMOLOGY

For a semisimple algebraic group G over C, we try to make a comparative study between intersection cohomology of Schubert varieties and Lie algebra homology of certain nilpotent Lie algebras. We prove that when all simple factors of G are simply laced, these two are the same as vector spaces over C at the first homology level. We give counter-examples in the general case and state a conjecture as a possible direction for generalisation.     

On the structure of graded <Emphasis Type="Italic">λ</Emphasis>-Hopf algebras

Let G be an abelian group, B the G-graded λ-Hopf algebra with A being a bicharacter on G. By introducing some new twisted algebras （coalgebras）, we investigate the basic properties of the graded antipode and the structure for B. We also prove that a G-graded λ-Hopf algebra can be embedded in a usual Hopf algebra. As an application, it is given that if G is a finite abelian group then the graded antipode of a finite dimensional G-graded A-Hopf algebra is invertible.     

Entropy and the variational principle for actions of sofic groups

Recently Lewis Bowen introduced a notion of entropy for measure-preserving actions of a countable sofic group on a standard probability space admitting a generating partition with finite entropy. By applying an operator algebra perspective we develop a more general approach to sofic entropy which produces both measure and topological dynamical invariants, and we establish the variational principle in this context. In the case of residually finite groups we use the variational principle to compute the topological entropy of principal algebraic actions whose defining group ring element is invertible in the full group C ^∗-algebra.     

Some Remarks on Absolute Mathematics

We calculate Hochschild cohomology groups of the integers treated as an algebra over so-called field with one element. We compare our results with calculation of the topological Hochschild cohomology groups of the integers—this is the case when one considers integers as an algebra over the sphere spectrum.     

On the first cohomology of an algebraic group and its Lie algebra in positive characteristic

Necessary and sufficient conditions for the first cohomology group of an algebraic group with irreducible root system over an algebraically closed field of characteristicp > 0 to be isomorphic to the corresponding first cohomology group of the Lie algebra of the group with coefficients in simple modules are obtained. The spaces of outer derivations of the classical modular Lie algebras are evaluated forp > 2.     

Equivariant cohomology distinguishes toric manifolds

The equivariant cohomology of a space with a group action is not only a ring but also an algebra over the cohomology ring of the classifying space of the acting group. We prove that toric manifolds (i.e. compact smooth toric varieties) are isomorphic as varieties if and only if their equivariant cohomology algebras are weakly isomorphic. We also prove that quasitoric manifolds, which can be thought of as a topological counterpart to toric manifolds, are equivariantly homeomorphic if and only if their equivariant cohomology algebras are isomorphic.     

Homology stability for classical regular semisimple varieties

We use techniques from homotopy theory, in particular the connection between configuration spaces and iterated loop spaces, to give geometric explanations of stability results for the cohomology of the varieties of regular semisimple elements in the simple complex Lie algebras of classical type A, B or C, as well as in the group . We show that the cohomology spaces of stable versions of these varieties have an algebraic stucture, which identifies them as “free Poisson algebras” with suitable degree shifts. Using this, we are able to give explicit formulae for the corresponding Poincaré series, which lead to power series identities by comparison with earlier work. The cases of type B and C involve ideas from equivariant homotopy theory. Our results may be interpreted in terms of the actions of a Weyl group on its coinvariant algebra (i.e. the coordinate ring of the affine space on which it acts, modulo the invariants of positive degree; this space coincides with the cohomology ring of the flag variety of the associated Lie group) and on the cohomology of its associated complex discriminant variety. Received August 31, 1998; in final form August 1, 1999 / Published online October 30, 2000     

Automatic boundedness of quantum measures

LetG be a commutative Hausdorff topological group. Letm be aG-valued, completely additive measure on a complete orthomodular posetL. It is shown, among other results, that when the centre ofL is non-atomic thenm must be strictly bounded. WhenL is specialised to being the lattice of projections in a von Neumann algebra this extends some results known for real valued measures. The first author was partially supported by GNAFA and by the project Analisi Real of MURST.     

Geometric cohomology frames on Hausmann-Holm-Puppe conjugation spaces

For certain manifolds with an involution the mod 2 cohomology ring of the set of fixed points is isomorphic to the cohomology ring of the manifold, up to dividing the degrees by two. Examples include complex projective spaces and Grassmannians with the standard antiholomorphic involution (with real projective spaces and Grassmannians as fixed point sets).

Hausmann, Holm and Puppe have put this observation in the framework of equivariant cohomology, and come up with the concept of conjugation spaces, where the ring homomorphisms arise naturally from the existence of what they call cohomology frames. Much earlier, Borel and Haefliger had studied the degree-halving isomorphism between the cohomology rings of complex and real projective spaces and Grassmannians using the theory of complex and real analytic cycles and cycle maps into cohomology.

The main result in the present note gives a (purely topological) connection between these two results and provides a geometric intuition into the concept of a cohomology frame. In particular, we see that if every cohomology class on a manifold with involution is the Thom class of an equivariant topological cycle of codimension twice the codimension of its fixed points (inside the fixed point set of ), these topological cycles will give rise to a cohomology frame.

     

On Hochschild Cohomology of a Self-injective Special Biserial Algebra Obtained by a Circular Quiver with Double Arrows

We calculate the dimensions of the Hochschild cohomology groups of a self-injective special biserial algebra Λ _s obtained by a circular quiver with double arrows. Moreover, we give a presentation of the Hochschild cohomology ring modulo nilpotence of Λ _s by generators and relations. This result shows that the Hochschild cohomology ring modulo nilpotence of Λ _s is finitely generated as an algebra.     

Algebraic Geometry versus Kähler geometry

These notes discuss Hodge theory in the algebraic and Kähler context. We introduce the notion of (polarized) Hodge structure on a cohomology algebra and show how to extract from it topological restrictions on compact Kähler manifolds, and stronger topological restrictions on projective complex manifolds. The second part of the notes is devoted to the discussion of the Hodge conjecture, showing in particular that there is no way to extend it to the Kähler context. We will also discuss algebraic de Rham cohomology which is specific to projective complex manifolds and allows to formulate a number of arithmetic questions related to the Hodge conjecture.     

On cohomotopy-type functors

This article deals with Chogoshvili cohomotopy functors which are defined by extending a cohomology functor given on some special auxiliary subcategories of the category of topological spaces. The question of choosing these subcategories is discussed. In particular, it is shown that in the singular case to define absolute groups it is sufficient that auxiliary subcategories should have as objects only spheresS ⁿ, Moore spacesP ⁿ(t)=S^n–1 U_t eⁿ, and one-point unions of these spaces.