No Arabic abstract
The topological classification of gerbes, as principal bundles with the structure group the projective unitary group of a complex Hilbert space, over a topological space $H$ is given by the third cohomology $text{H}^3(H, Bbb Z)$. When $H$ is a topological group the integral cohomology is often related to a locally continuous (or in the case of a Lie group, locally smooth) third group cohomology of $H$. We shall study in more detail this relation in the case of a group extension $1to N to G to H to 1$ when the gerbe is defined by an abelian extension $1to A to hat N to N to 1$ of $N$. In particular, when $text{H}_s^1(N,A)$ vanishes we shall construct a transgression map $text{H}^2_s(N, A) to text{H}^3_s(H, A^N)$, where $A^N$ is the subgroup of $N$-invariants in $A$ and the subscript $s$ denotes the locally smooth cohomology. Examples of this relation appear in gauge theory which are discussed in the paper.
A special symplectic Lie group is a triple $(G,omega, abla)$ such that $G$ is a finite-dimensional real Lie group and $omega$ is a left invariant symplectic form on $G$ which is parallel with respect to a left invariant affine structure $ abla$. In this paper starting from a special symplectic Lie group we show how to ``deform the standard Lie group structure on the (co)tangent bundle through the left invariant affine structure $ abla$ such that the resulting Lie group admits families of left invariant hypersymplectic structures and thus becomes a hypersymplectic Lie group. We consider the affine cotangent extension problem and then introduce notions of post-affine structure and post-left-symmetric algebra which is the underlying algebraic structure of a special symplectic Lie algebra. Furthermore, we give a kind of double extensions of special symplectic Lie groups in terms of post-left-symmetric algebras.
We obtain non-vanishing of group $L^p$-cohomology of Lie groups for $p$ large and when the degree is equal to the rank of the group. This applies both to semisimple and to some suitable solvable groups. In particular, it confirms that Gromovs question on vanishing below the rank is formulated optimally. To achieve this, some complementary vanishings are combined with the use of spectral sequences. To deduce the semisimple case from the solvable one, we also need comparison results between various theories for $L^p$-cohomology, allowing the use of quasi-isometry invariance.
In this paper we prove some properties of the nonabelian cohomology $H^1(A,G)$ of a group $A$ with coefficients in a connected Lie group $G$. When $A$ is finite, we show that for every $A$-submodule $K$ of $G$ which is a maximal compact subgroup of $G$, the canonical map $H^1(A,K)to H^1(A,G)$ is bijective. In this case we also show that $H^1(A,G)$ is always finite. When $A=ZZ$ and $G$ is compact, we show that for every maximal torus $T$ of the identity component $G_0^ZZ$ of the group of invariants $G^ZZ$, $H^1(ZZ,T)to H^1(ZZ,G)$ is surjective if and only if the $ZZ$-action on $G$ is 1-semisimple, which is also equivalent to that all fibers of $H^1(ZZ,T)to H^1(ZZ,G)$ are finite. When $A=Zn$, we show that $H^1(Zn,T)to H^1(Zn,G)$ is always surjective, where $T$ is a maximal compact torus of the identity component $G_0^{Zn}$ of $G^{Zn}$. When $A$ is cyclic, we also interpret some properties of $H^1(A,G)$ in terms of twisted conjugate actions of $G$.
We study realizations of Lie algebras by vector fields. A correspondence between classification of transitive local realizations and classification of subalgebras is generalized to the case of regular local realizations. A reasonable classification problem for general realizations is rigorously formulated and an algorithm for construction of such classification is presented.
Based on the theory of Poisson vertex algebras we calculate skew-symmetry conditions and Jacobi identities for a class of third-order nonlocal operators of differential-geometric type. Hamiltonian operators within this class are defined by a Monge metric and a skew-symmetric two-form satisfying a number of differential-geometric constraints. Complete classification results in the 2-component and 3-component cases are obtained.