2-Cosemisimplicial objects in a 2-category, permutohedra and deformations of pseudofunctors

In this paper we take up again the deformation theory for K-linear pseudofunctors initiated in Elgueta (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of 2-cosemisimplicial object in an arbitrary 2-category and analyzing the corresponding coherence question, where the permutohedra make their appearance. We then describe a general method to obtain usual cochain complexes of K-modules from (enhanced) 2-cosemisimplicial objects in the 2-category of small K-linear categories and prove that the deformation complex introduced in Elgueta (to appear) can be obtained by this method from a 2-cosemisimplicial object that can be associated to . Finally, using this 2-cosemisimplicial object of and a generalization to the context of K-linear categories of the deviation calculus introduced by Markl and Stasheff for K-modules (J. Algebra 170 (1994) 122), it is shown that the obstructions to the integrability of an nth-order deformation of indeed correspond to cocycles in the third cohomology group , a question which remained open in Elgueta (Adv. Math. 182 (2004) 204-277).     

Tensor products of holomorphic representations and bilinear differential operators

Let be the weighted Bergman space on a bounded symmetric domain D=G/K. It has analytic continuation in the weight ν and for ν in the so-called Wallach set still forms unitary irreducible (projective) representations of G. We give the irreducible decomposition of the tensor product of the representations for any two unitary weights ν and we find the highest weight vectors of the irreducible components. We find also certain bilinear differential intertwining operators realizing the decomposition, and they generalize the classical transvectants in invariant theory of . As applications, we find a generalization of the Bol's lemma and we characterize the multiplication operators by the coordinate functions on the quotient space of the tensor product modulo the subspace of functions vanishing of certain degree on the diagonal.     

Poisson deformations of symplectic quotient singularities

We establish a connection between smooth symplectic resolutions and symplectic deformations of a (possibly singular) affine Poisson variety.In particular, let V be a finite-dimensional complex symplectic vector space and G⊂Sp(V) a finite subgroup. Our main result says that the so-called Calogero-Moser deformation of the orbifold V/G is, in an appropriate sense, a versal Poisson deformation. That enables us to determine the algebra structure on the cohomology of any smooth symplectic resolution X?V/G (multiplicative McKay correspondence). We prove further that if is an irreducible Weyl group and , then no smooth symplectic resolution of V/G exists unless G is of types .     

Stable cohomology over local rings

For a commutative noetherian ring R with residue field k stable cohomology modules have been defined for each n∈Z, but their meaning has remained elusive. It is proved that the k-rank of any characterizes important properties of R, such as being regular, complete intersection, or Gorenstein. These numerical characterizations are based on results concerning the structure of Z-graded k-algebra carried by stable cohomology. It is shown that in many cases it is determined by absolute cohomology through a canonical homomorphism of algebras . Some techniques developed in the paper are applicable to the study of stable cohomology functors over general associative rings.     

Reduction of derived Hochschild functors over commutative algebras and schemes

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms for all complexes of S-modules N and all complexes M of finite flat dimension over K whose homology H(M) is finitely generated over S; such isomorphisms determine D up to derived isomorphism. Using Grothendieck duality theory we establish analogous isomorphisms for any essentially finite-type flat map of noetherian schemes, with f^!OY in place of D.     

Chern character for twisted K-theory of orbifolds

For an orbifold X and α∈H³(X,Z), we introduce the twisted cohomology and prove that the non-commutative Chern character of Connes-Karoubi establishes an isomorphism between the twisted K-groups and the twisted cohomology . This theorem, on the one hand, generalizes a classical result of Baum-Connes, Brylinski-Nistor, and others, that if X is an orbifold then the Chern character establishes an isomorphism between the K-groups of X tensored with C, and the compactly-supported cohomology of the inertia orbifold. On the other hand, it also generalizes a recent result of Adem-Ruan regarding the Chern character isomorphism of twisted orbifold K-theory when the orbifold is a global quotient by a finite group and the twist is a special torsion class, as well as Mathai-Stevenson's theorem regarding the Chern character isomorphism of twisted K-theory of a compact manifold.     

Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces

Let M be a smooth and compact moduli space of stable coherent sheaves on a projective surface S with an effective (or trivial) anti-canonical line bundle. We find generators for the cohomology ring of M, with integral coefficients. When S is simply connected and a universal sheaf E exists over S×M, then its class [E] admits a Künneth decomposition as a class in the tensor product of the topological K-rings. The generators are the Chern classes of the Künneth factors of [E] in . The general case is similar.     

Twisted actions and the obstruction to extending unitary representations of subgroups

Suppose that G is a locally compact group and π is a (not necessarily irreducible) unitary representation of a closed normal subgroup N of G on a Hilbert space . We extend results of Clifford and Mackey to determine when π extends to a unitary representation of G on the same space in terms of a cohomological obstruction.     

Quantum cohomology of the infinite-dimensional generalized flag manifolds

Consider the infinite-dimensional flag manifold LK/T corresponding to the simple Lie group K of rank l and with maximal torus T. We show that, for K of type A, B or C, if we endow the space (where q₁,…,q_l+1 are multiplicative variables) with an -bilinear product satisfying some simple properties analogous to the quantum product on QH∗(K/T), then the isomorphism type of the resulting ring is determined by the integrals of motion of a certain periodic Toda lattice system, in exactly the same way as the isomorphism type of QH∗(K/T) is determined by the integrals of motion of the non-periodic Toda lattice (see (Ann. Math. 149 (1999) 129)). This is an infinite-dimensional extension of the main result of Mare (Relations in the quantum cohomology ring of G/B, preprint math. DG/0210026) and at the same time a generalization of M.A. Guest and T. Otofuji (Comm. Math. Phys. 217 (2001) 475).     

An operadic model for a mapping space and its associated spectral sequence

Let X and Y be simplicial sets and K a field. In [B. Fresse, Derived division functors and mapping spaces, 2002, Preprint arXiv:math.At/0208091], Fresse has constructed an algebra model over an E_∞K-operad E for the mapping space F(X,Y), whose source X is finite, provided the homotopy groups of the target Y are finite. In this paper, we show that if the underlying field K is the closure of the finite field F_p and the given mapping space is connected, then the finiteness assumption of the homotopy group of Y can be dropped in constructing the E-algebra model. Moreover, we give a spectral sequence converging to the cohomology of F(X,Y) with coefficients in , whose E₂-term is expressed via Lannes’ division functor in the category of unstable -algebra over the Steenrod algebra.     

Weakly open sets in the unit ball of the projective tensor product of Banach spaces

A Banach space is said to have the diameter two property if every non-empty relatively weakly open subset of its unit ball has diameter two. We prove that the projective tensor product of two Banach spaces whose centralizer is infinite-dimensional has the diameter two property. The same statement also holds for if the centralizer of X is infinite-dimensional and the unit sphere of Y^? contains an element of numerical index one. We provide examples of classical Banach spaces satisfying the assumptions of the results. If K is any infinite compact Hausdorff topological space, then has the diameter two property for any nonzero Banach space Y. We also provide a result on the diameter two property for the injective tensor product.     

Quasiregular representations of the infinite-dimensional nilpotent group

In the present work an analog of the quasiregular representation which is well known for locally-compact groups is constructed for the nilpotent infinite-dimensional group and a criterion for its irreducibility is presented. This construction uses the infinite tensor product of arbitrary Gaussian measures in the spaces Rm with m>1 extending in a rather subtle way previous work of the second author for the infinite tensor product of one-dimensional Gaussian measures.     

Harmonic cohomology of symplectic manifolds

Mathieu (Math. Helv. 70 (1995) 1) introduced a canonic filtration in the de Rham cohomology of a symplectic manifold and proved, that the middle filtration space is the space of harmonic cohomology classes. We give an interpretation of the other filtration spaces, prove a Künneth theorem for harmonic cohomology, prove Poincaré duality for harmonic cohomology and show how surjectivity of certain Lefschetz type mappings is related to properties of the filtration. For a closed symplectic manifold M we also introduce symplectic invariants , and show if M is of dimension 2n with n even.     

Invariant forms of the elementary unitary Lie superalgebra

In this paper we describe the invariant forms of toral K-graded Lie superalgebras and, in particular, of the elementary unitary Lie superalgebra over a superring K containing .     

Elementary differences between the degrees of unsolvability and degrees of compressibility

Given two infinite binary sequences A,B we say that B can compress at least as well as A if the prefix-free Kolmogorov complexity relative to B of any binary string is at most as much as the prefix-free Kolmogorov complexity relative to A, modulo a constant. This relation, introduced in Nies (2005) [14] and denoted by A≤_LKB, is a measure of relative compressing power of oracles, in the same way that Turing reducibility is a measure of relative information. The equivalence classes induced by ≤_LK are called LK degrees (or degrees of compressibility) and there is a least degree containing the oracles which can only compress as much as a computable oracle, also called the ‘low for K’ sets. A well-known result from Nies (2005) [14] states that these coincide with the K-trivial sets, which are the ones whose initial segments have minimal prefix-free Kolmogorov complexity.We show that with respect to ≤_LK, given any non-trivial sets X,Y there is a computably enumerable set A which is not K-trivial and it is below X,Y. This shows that the local structures of and Turing degrees are not elementarily equivalent to the corresponding local structures in the LK degrees. It also shows that there is no pair of sets computable from the halting problem which forms a minimal pair in the LK degrees; this is sharp in terms of the jump, as it is known that there are sets computable from which form a minimal pair in the LK degrees. We also show that the structure of LK degrees below the LK degree of the halting problem is not elementarily equivalent to the or structures of LK degrees. The proofs introduce a new technique of permitting below a set that is not K-trivial, which is likely to have wider applications.     

Sheaves of bounded p-adic logarithmic differential forms

Let K be a local field, X the Drinfel'd symmetric space of dimension d over K and X the natural formal OK-scheme underlying X; thus G=GLd+1(K) acts on X and X. Given a K-rational G-representation M we construct a G-equivariant subsheaf of OK-lattices in the constant sheaf M on X. We study the cohomology of sheaves of logarithmic differential forms on X (or X) with coefficients in . In the second part we give general criteria for two conjectures of P. Schneider on p-adic Hodge decompositions of the cohomology of p-adic local systems on projective varieties uniformized by X. Applying the results of the first part we prove the conjectures in certain cases.     

On the product system of a completely positive semigroup

Given a W∗-continuous semigroup φ of unital, normal, completely positive maps of B(H), we introduce its continuous tensor product system . If α is a minimal dilation E₀-semigroup of φ with Arveson product system F, then is canonically isomorphic to F. We apply this construction to a class of semigroups of arising from a modified Weyl-Moyal quantization of convolution semigroups of Borel probability measures on . This class includes the heat flow on the CCR algebra studied recently by Arveson. We prove that the minimal dilations of all such semigroups are completely spatial, and additionally, we prove that the minimal dilation of the heat flow is cocyle conjugate to the CAR/CCR flow of index two.