Current superalgebras and unitary representations

In this paper we determine the projective unitary representations of finite dimensional Lie supergroups whose underlying Lie superalgebra is $\mathfrak{g}=A?\mathfrak{k}$, where $\mathfrak{k}$ is a compact simple Lie superalgebra and A is a supercommutative associative (super)algebra; the crucial case is when $A={\mathrm{\Lambda }}_s(\mathbb{R})$ is a Graßmann algebra. Since we are interested in projective representations, the first step consists in determining the cocycles defining the corresponding central extensions. Our second main result asserts that, if $\mathfrak{k}$ is a simple compact Lie superalgebra with ${\mathfrak{k}}_1\ne \{0\}$, then each (projective) unitary representation of ${\mathrm{\Lambda }}_s(\mathbb{R})?\mathfrak{k}$ factors through a (projective) unitary representation of $\mathfrak{k}$ itself, and these are known by Jakobsen's classification. If ${\mathfrak{k}}_1=\{0\}$, then we likewise reduce the classification problem to semidirect products of compact Lie groups K with a Clifford–Lie supergroup which has been studied by Carmeli, Cassinelli, Toigo and Varadarajan.     

Higher genus Kashiwara–Vergne problems and the Goldman–Turaev Lie bialgebra

We define a family ${\mathrm{KV}}^{(g,n+1)}$ of Kashiwara–Vergne problems associated with compact connected oriented 2-manifolds of genus g with $n+1$ boundary components. The problem ${\mathrm{KV}}^{(0,3)}$ is the classical Kashiwara–Vergne problem from Lie theory. We show the existence of solutions to ${\mathrm{KV}}^{(g,n+1)}$ for arbitrary g and n. The key point is the solution to ${\mathrm{KV}}^{(1,1)}$ based on the results by B. Enriquez on elliptic associators. Our construction is motivated by applications to the formality problem for the Goldman–Turaev Lie bialgebra ${\mathfrak{g}}^{(g,n+1)}$. In more detail, we show that every solution to ${\mathrm{KV}}^{(g,n+1)}$ induces a Lie bialgebra isomorphism between ${\mathfrak{g}}^{(g,n+1)}$ and its associated graded $\mathrm{gr}{\mathfrak{g}}^{(g,n+1)}$. For $g=0$, a similar result was obtained by G. Massuyeau using the Kontsevich integral. For $g\ge 1$, $n=0$, our results imply that the obstruction to surjectivity of the Johnson homomorphism provided by the Turaev cobracket is equivalent to the Enomoto–Satoh obstruction.     

Six-dimensional product Lie algebras admitting integrable complex structures

We classify the 6-dimensional Lie algebras of the form $\mathfrak{g}\times \mathfrak{g}$ that admit an integrable complex structure. We also endow a Lie algebra of the kind $\mathfrak{o}(n)\times \mathfrak{o}(n)$ ($n\ge 2$) with such a complex structure. The motivation comes from geometric structures à la Sasaki on $\mathfrak{g}$-manifolds.     

The Lie algebra of type G2 is rational over its quotient by the adjoint action

Let G be a split simple group of type $G_2$ over a field k, and let $\mathfrak{g}$ be its Lie algebra. Answering a question of J.-L. Colliot-Thélène, B. Kunyavski?, V.L. Popov, and Z. Reichstein, we show that the function field $k(\mathfrak{g})$ is generated by algebraically independent elements over the field of adjoint invariants $k{(\mathfrak{g})}^G$.     

On the difficulty of finding spines

We prove that the set of symplectic lattices in the Siegel space ${\mathfrak{h}}_g$ whose systoles generate a subspace of dimension at least 3 in ${\mathbb{R}}^{2g}$ does not contain any $\mathrm{Sp}(2g,\mathbb{Z})$-equivariant deformation retract of ${\mathfrak{h}}_g$.     

Twist star products and Morita equivalence

We present a simple no-go theorem for the existence of a deformation quantization of a homogeneous space M induced by a Drinfel'd twist: we argue that equivariant line bundles on M with non-trivial Chern class and symplectic twist star products cannot both exist on the same manifold M. This implies, for example, that there is no symplectic star product on the projective space ${\mathbb{CP}}^{n?1}$ induced by a twist based on $U({\mathfrak{gl}}_n(\mathbb{C}))?h?$ or any sub-bialgebra, for every $n\ge 2$.     

Formality theorem for g-manifolds

With any $\mathfrak{g}$-manifold M are associated two dglas $\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{T}_{\mathrm{poly}}^{?}(M))$ and $\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{D}_{\mathrm{poly}}^{?}(M))$, whose cohomologies $H_{\mathrm{CE}}^{?}(\mathfrak{g},T_{\mathrm{poly}}^{?}(M)\stackrel{0}{\to }{T}_{\mathrm{poly}}^{?+1}(M))$ and $H_{\mathrm{CE}}^{?}(\mathfrak{g},D_{\mathrm{poly}}^{?}(M)\stackrel{d_H}{\to }{D}_{\mathrm{poly}}^{?+1}(M))$ are Gerstenhaber algebras. We establish a formality theorem for $\mathfrak{g}$-manifolds: there exists an $L_{\infty }$ quasi-isomorphism $\mathrm{\Phi }:\mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{T}_{\mathrm{poly}}^{?}(M))\to \mathrm{tot}({\mathrm{\Lambda }}^{?}{\mathfrak{g}}^{\vee }{?}_{\mathbb{k}}{D}_{\mathrm{poly}}^{?}(M))$ whose first ‘Taylor coefficient’ (1) is equal to the Hochschild–Kostant–Rosenberg map twisted by the square root of the Todd cocycle of the $\mathfrak{g}$-manifold M, and (2) induces an isomorphism of Gerstenhaber algebras on the level of cohomology. Consequently, the Hochschild–Kostant–Rosenberg map twisted by the square root of the Todd class of the $\mathfrak{g}$-manifold M is an isomorphism of Gerstenhaber algebras from $H_{\mathrm{CE}}^{?}(\mathfrak{g},T_{\mathrm{poly}}^{?}(M)\stackrel{0}{\to }{T}_{\mathrm{poly}}^{?+1}(M))$ to $H_{\mathrm{CE}}^{?}(\mathfrak{g},D_{\mathrm{poly}}^{?}(M)\stackrel{d_H}{\to }{D}_{\mathrm{poly}}^{?+1}(M))$.     

Complexity of simple modules over the Lie superalgebra osp(k|2)

The complexity of a module is the rate of growth of the minimal projective resolution of the module while the z-complexity is the rate of growth of the number of indecomposable summands at each step in the resolution. Let $\mathfrak{g}=\mathfrak{osp}(k|2)$ ($k>2$) be the type II orthosymplectic Lie superalgebra of types B or D. In this paper, we compute the complexity and the z-complexity of the simple finite-dimensional $\mathfrak{g}$-supermodules. We then give these complexities certain geometric interpretations using support and associated varieties.     

Tight closure of parameter ideals in local rings F-rational on the punctured spectrum

Let $(R,\mathfrak{m},k)$ be an equidimensional excellent local ring of characteristic $p>0$. The aim of this paper is to show that ${?}_R({\mathfrak{q}}^{?}/\mathfrak{q})$ does not depend on the choice of parameter ideal $\mathfrak{q}$ provided R is an F-injective local ring that is F-rational on the punctured spectrum.     

Central extensions of the algebra of formal pseudo-differential symbols via Hochschild (co)homology and quadratic symplectic Lie algebras

We describe the space of central extensions of the associative algebra ${\mathrm{\Psi }}_n$ of formal pseudo-differential symbols in $n\ge 1$ independent variables using Hochschild (co)homology groups: we prove that the first Hochschild (co)homology group $H{H}^1({\mathrm{\Psi }}_n)$ is 2n-dimensional and we use this fact to calculate the first Lie (co)homology group $H_{Lie}^1({\mathrm{\Psi }}_n)$ of ${\mathrm{\Psi }}_n$ equipped with the Lie bracket induced by its associative algebra structure. As an application, we use our calculations to provide examples of infinite-dimensional quadratic symplectic Lie algebras.     

Vust's Theorem and higher level Schur–Weyl duality for types B, C and D

Let G be a complex linear algebraic group, $\mathfrak{g}=\mathrm{Lie}(G)$ its Lie algebra and $e\in \mathfrak{g}$ a nilpotent element. Vust's Theorem says that in case of $G=\mathrm{GL}(V)$, the algebra ${\mathrm{End}}_{G_e}(V^{?d})$, where $G_e?G$ is the stabilizer of e under the adjoint action, is generated by the image of the natural action of d-th symmetric group ${\mathfrak{S}}_d$ and the linear maps $\{1^{?(i?1)}?e?1^{?(d?i)}|i=1,\dots ,d\}$. In this paper, we give an analogue of Vust's Theorem for $G=\mathrm{O}(V)$ and $\mathrm{SP}(V)$ when the nilpotent elements e satisfy that $\stackrel{￣}{G?e}$ is normal. As an application, we study the higher Schur–Weyl duality in the sense of [4] for types B, C and D, which establishes a relationship between W-algebras and degenerate affine braid algebras.     

Transcendence degree one function fields over a finite field with many automorphisms

Let $\mathbb{K}$ be the algebraic closure of a finite field ${\mathbb{F}}_q$ of odd characteristic p. For a positive integer m prime to p, let $F=\mathbb{K}(x,y)$ be the transcendence degree 1 function field defined by $y^q+y=x^m+x^{?m}$. Let $t=x^{m(q?1)}$ and $H=\mathbb{K}(t)$. The extension $F|H$ is a non-Galois extension. Let K be the Galois closure of F with respect to H. By Stichtenoth [20], K has genus $\mathfrak{g}(K)=(qm?1)(q?1)$, p-rank (Hasse–Witt invariant) $\gamma (K)={(q?1)}^2$ and a $\mathbb{K}$-automorphism group of order at least $2q^{2}m(q?1)$. In this paper we prove that this subgroup is the full $\mathbb{K}$-automorphism group of K; more precisely ${\text{Aut}}_{\mathbb{K}}(K)=\mathrm{\Delta }?D$ where Δ is an elementary abelian p-group of order $q^2$ and D has an index 2 cyclic subgroup of order $m(q?1)$. In particular, $\sqrt{m}|{\text{Aut}}_{\mathbb{K}}(K)|>\mathfrak{g}{(K)}^{3/2}$, and if K is ordinary (i.e. $\mathfrak{g}(K)=\gamma (K)$) then $|{\text{Aut}}_{\mathbb{K}}(K)|>{\mathfrak{g}}^{3/2}$. On the other hand, if G is a solvable subgroup of the $\mathbb{K}$-automorphism group of an ordinary, transcendence degree 1 function field L of genus $\mathfrak{g}(L)\ge 2$ defined over $\mathbb{K}$, then $|{\text{Aut}}_{\mathbb{K}}(K)|\le 34{(\mathfrak{g}(L)+1)}^{3/2}<68\sqrt{2}\mathfrak{g}{(L)}^{3/2}$; see [15]. This shows that K hits this bound up to the constant $68\sqrt{2}$.Since ${\text{Aut}}_{\mathbb{K}}(K)$ has several subgroups, the fixed subfield $F^N$ of such a subgroup N may happen to have many automorphisms provided that the normalizer of N in ${\text{Aut}}_{\mathbb{K}}(K)$ is large enough. This possibility is worked out for subgroups of Δ.