The free loop space equivariant cohomology algebra of some formal spaces

Let \mathbbK{\mathbb{K}} be a field of characteristic p > 0 and S ¹ the unit circle. We construct a model for the negative cylic homology of a commutative cochain algebra with two stages Sullivan minimal model. Using the notion of shc-formality introduced in Bitjong and Thomas (Topology 41:85–106), the main result of Bitjong and El Haouari (Math Ann 338:347–354) and techniques of Vigué-Poirrier (J Pure Appl Algebra 91:347–354) we compute the S ¹-equivariant cohomology algebras of the free loop spaces of the infinite complex projective space \mathbbCP(￥){\mathbb{CP}(\infty)} and the odd spheres S ^2q+1.     

Finiteness Conditions for Hochschild Homology Algebra and Free Loop Space Cohomology Algebra

We prove that over a characteristic zero field, in most cases, neither the Hochschild homology algebra of a commutative algebra, nor the free loop space cohomology algebra of a topological space, is finitely generated.     

Hochschild cohomology of a strongly homotopy commutative algebra

The Hochschild cohomology of a DG algebra A with coefficients in itself is, up to a suspension of degrees, a graded Lie algebra. The purpose of this paper is to prove that a certain DG Lie algebra of derivations appears as a finite codimensional graded sub Lie algebra of this Lie algebra when A is a strongly homotopy commutative algebra whose homology is concentrated in finitely many degrees. This result has interesting implications for the free the loop space homology which we explore here as well.     

Several Cohomology Algebras Connected with the Poisson Structure

The structure of a Lie superalgebra is defined on the space of multiderivations of a commutative algebra. This structure is used to define some cohomology algebra of Poisson structure. It is shown that when a commutative algebra is an algebra of C -functions on the C -manifold, the cohomology algebra of Poisson structure is isomorphic to an algebra of vertical cohomologies of the foliation corresponding to the Poisson structure.     

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     

The dualizing spectrum of a topological group

To a topological group G, we assign a naive G-spectrum , called the dualizing spectrum of G. When the classifying space BG is finitely dominated, we show that detects Poincaré duality in the sense that BG is a Poincaré duality space if and only if is a homotopy finite spectrum. Secondly, we show that the dualizing spectrum behaves multiplicatively on certain topological group extensions. In proving these results we introduce a new tool: a norm map which is defined for any G and for any naive G-spectrum E. Applications of the dualizing spectrum come in two flavors: (i) applications in the theory of Poincaré duality spaces, and (ii) applications in the theory of group cohomology. On the Poincaré duality space side, we derive a homotopy theoretic solution to a problem posed by Wall which says that in a fibration sequence of fini the total space satisfies Poincaré duality if and only if the base and fiber do. The dualizing spectrum can also be used to give an entirely homotopy theoretic construction of the Spivak fibration of a finitely dominated Poincaré duality space. We also include a new proof of Browder's theorem that every finite H-space satisfies Poincaré duality. In connection with group cohomology, we show how to define a variant of Farrell-Tate cohomology for any topological or discrete group G, with coefficients in any naive equivariant cohomology theory E. When E is connective, and when G admits a subgroup H of finite index such that BH is finitely dominated, we show that this cohomology coincides with the ordinary cohomology of G with coefficients in E in degrees greater than the cohomological dimension of H. In an appendix, we identify the homotopy type of for certain kinds of groups. The class includes all compact Lie groups, torsion free arithmetic groups and Bieri-Eckmann duality groups. Received July 14, 1999 / Revised May 17, 2000 / Published online February 5, 2001     

On approximations of the de Rham complex and their cohomology

For a commutative algebra R, its de Rham cohomology is an important invariant of R. In the paper, an infinite chain of de Rham-like complexes is introduced where the first member of the chain is the de Rham complex. The complexes are called approximations of the de Rham complex. Their cohomologies are found for polynomial rings and algebras of power series over a field of characteristic zero.     

\mathcal{A}(p) generators for H^*V and Singer's homological transfer

We list explicitly a minimal set of generators for the cohomology of an elementary abelian p-group, V, of rank 1 or 2, as a module over the mod p Steenrod algebra, for an odd prime p. Following Singer, we then construct a transfer map to the vector space spanned by such generators, where V now has arbitrary rank, from the homology of the Steenrod algebra. We show that this map takes images in the subspace of GL(V)-invariants and that it is an isomorphism for V having rank 1 or 2. Received June 11, 1996; in final form June 9, 1997     

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     

Homotopy nilpotency in p-regular loop spaces

We consider the problem how far from being homotopy commutative is a loop space having the homotopy type of the p-completion of a product of finite numbers of spheres. We determine the homotopy nilpotency of those loop spaces as an answer to this problem.     

Orbit Spaces of Free Involutions on the Product of Two Projective Spaces

Let X be a finitistic space having the mod 2 cohomology algebra of the product of two projective spaces. We study free involutions on X and determine the possible mod 2 cohomology algebra of orbit space of any free involution, using the Leray spectral sequence associated to the Borel fibration ${X \hookrightarrow X_{\mathbb{Z}_2} \longrightarrow B_{\mathbb{Z}_2}}$ . We also give an application of our result to show that if X has the mod 2 cohomology algebra of the product of two real projective spaces (respectively, complex projective spaces), then there does not exist any ${\mathbb{Z}_2}$ -equivariant map from ${\mathbb{S}^k \to X}$ for k ≥ 2 (respectively, k ≥ 3), where ${\mathbb{S}^k}$ is equipped with the antipodal involution.     

On the negative cyclic homology of <Emphasis Type="Italic">shc</Emphasis>-algebras

Let be a field of characteristic and S ¹ the unit circle. We prove that the shc-structure on a cochain algebra (A,d _A ) induces an associative product on the negative cyclic homology HC _*⁻ A. When the cochain algebra (A,d _A ) is the algebra of normalized cochains of the simply connected topological space X with coefficients in , then HC _*⁻ A is isomorphic as a graded algebra to the S ¹-equivariant cohomology algebra of LX, the free loop space of X. We use the notion of shc-formality introduced in Topology 41, 85–106 (2002) to compute the S ¹-equivariant cohomology algebras of the free loop space of the complex projective space when n + 1 = 0 [p] and of the even spheres S ²ⁿ when p = 2.      

s-Representations for involutions¶on affine Kac–Moody algebras are polar

Let denote the eigenspace decomposition of a twisted affine Kac–Moody algebra with respect to an involution , where is a twisted loop algebra, is the center and d is the scaling element of . We endow with the standard bilinear symmetrical form.Then with and carries a Lorentzian signature. Let denote the group that corresponds to , then the adjoint representation of on can be restricted to and this submanifold is isometrical to the Hilbert space E _ε, where is the decomposition of the twisted loop algebra with respect to the induced involutionρ₀.We thus obtain an affine representation on E _ε and we show that this representation is polar, i. e., there exists a submanifold that intersects all orbits, and intersects them orthogonally. Received: 16 February 2000 RID=" ID="Supported by a DFG grant.     

On ℤp-graded identities and cocharacters of the Grassmann algebra

Let p be an odd prime number, F a field of characteristic zero, and let Ebe the unitary Grassmann algebra generated by the infinite-dimensionalF-vector space L. We determine the bases of the ?_p-graded identities.Moreover we compute the ?_p-graded codimension and cocharacter sequences for the algebra E endowed with any ?_p-grading such that L is a homogeneous subspace.     

Yangians and cohomology rings of Laumon spaces

Laumon moduli spaces are certain smooth closures of the moduli spaces of maps from the projective line to the flag variety of GL _n . We construct the action of the Yangian of \mathfraksl_n{\mathfrak{sl}_n} in the cohomology of Laumon spaces by certain natural correspondences. We construct the action of the affine Yangian (two-parametric deformation of the universal enveloping algebra of the universal central extension of \mathfraksl_n[s^±1,t]{\mathfrak{sl}_n[s^{\pm1},t]}) in the cohomology of the affine version of Laumon spaces. We compute the matrix coefficients of the generators of the affine Yangian in the fixed point basis of cohomology. This basis is an affine analog of the Gelfand-Tsetlin basis. The affine analog of the Gelfand-Tsetlin algebra surjects onto the equivariant cohomology rings of the affine Laumon spaces. The cohomology ring of the moduli space \mathfrakM_n,d{\mathfrak{M}_{n,d}} of torsion free sheaves on the plane, of rank n and second Chern class d, trivialized at infinity, is naturally embedded into the cohomology ring of certain affine Laumon space. It is the image of the center Z of the Yangian of \mathfrakgl_n{\mathfrak{gl}_n} naturally embedded into the affine Yangian. In particular, the first Chern class of the determinant line bundle on \mathfrakM_n,d{\mathfrak{M}_{n,d}} is the image of a noncommutative power sum in Z.     

On the cohomology of highly connected covers of finite Hopf spaces

Relying on the computation of the André-Quillen homology groups for unstable Hopf algebras, we prove that if the mod p cohomology of both the fiber and the base in an H-fibration is finitely generated as algebra over the Steenrod algebra, then so is the mod p cohomology of the total space. In particular, the mod p cohomology of the n-connected cover of a finite H-space is always finitely generated as algebra over the Steenrod algebra.     

Multivalued groups, their representations and Hopf algebras

This paper introduces the concept ofn-valued groups and studies their algebraic and topological properties. We explore a number of examples. An important class consists of those that we calln-coset groups; they arise as orbit spaces of groupsG modulo a group of automorphisms withn elements. However, there are many examples that do not arise from this construction. We see that the theory ofn-valued groups is distinct from that of groups with a given automorphism group. There are natural concepts of the action of ann-valued group on a space and of a representation in an algebra of operators. We introduce the (purely algebraic) notion of ann-Hopf algebra and show that the ring of functions on ann-valued group and, in the topological case, the cohomology has ann-Hopf algebra structure. The cohomology algebra of the classifying space of a compact Lie group admits the structure of ann-Hopf algebra, wheren is the order of the Weyl group; the homology with dual structure is also ann-Hopf algebra. In general the group ring of ann-valued group is not ann-Hopf algebra but it is for ann-coset group constructed from an abelian group. Using the properties ofn-Hopf algebras we show that certain spaces do not admit the structure of ann-valued group and that certain commutativen-valued groups do not arise by applying then-coset construction to any commutative group.     

The Hahn-Banach Property and the Axiom of Choice

We work in set theory ZF without axiom of choice. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gateaux-differentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f: F → ? is a linear functional such that f ≤ p|F then there exists a linear functional g : E → ? such that g extends f and g ≤ p. We also prove that the continuous Hahn-Banach property on a topological vector space E is equivalent to the classical geometrical forms of the Hahn-Banach theorem on E. We then prove that the axiom of Dependent choices DC is equivalent to Ekeland's variational principle, and that it implies the continuous Hahn-Banach property on Gateaux-differentiable Banach spaces. Finally, we prove that, though separable normed spaces satisfy the continuous Hahn-Banach property, they do not satisfy the whole Hahn-Banach property in ZF+DC.     

On unitary representability of topological groups

We prove that the additive group (E*, τ _k (E)) of an -Banach space E, with the topology τ _k (E) of uniform convergence on compact subsets of E, is topologically isomorphic to a subgroup of the unitary group of some Hilbert space (is unitarily representable). This is the same as proving that the topological group (E*, τ _k (E)) is uniformly homeomorphic to a subset of for some κ. As an immediate consequence, preduals of commutative von Neumann algebras or duals of commutative C*-algebras are unitarily representable in the topology of uniform convergence on compact subsets. The unitary representability of free locally convex spaces (and thus of free Abelian topological groups) on compact spaces, follows as well. The above facts cannot be extended to noncommutative von Neumann algebras or general Schwartz spaces. Research partially supported by Spanish Ministry of Science, grant MTM2008-04599/MTM. The foundations of this paper were laid during the author’s stay at the University of Ottawa supported by a Generalitat Valenciana grant CTESPP/2004/086.