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.     

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$.     

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.     

Plethysm and fast matrix multiplication

Motivated by the symmetric version of matrix multiplication we study the plethysm $S^k({\mathfrak{sl}}_n)$ of the adjoint representation ${\mathfrak{sl}}_n$ of the Lie group $S{L}_n$. In particular, we describe the decomposition of this representation into irreducible components for $k=3$, and find highest-weight vectors for all irreducible components. Relations to fast matrix multiplication, in particular the Coppersmith–Winograd tensor, are presented.     

On the distance between linear codes

Let V be an n-dimensional vector space over the finite field consisting of q elements and let ${\mathrm{\Gamma }}_k(V)$ be the Grassmann graph formed by k-dimensional subspaces of V, $1<k<n-1$. Denote by $\mathrm{\Gamma }{(n,k)}_q$ the restriction of ${\mathrm{\Gamma }}_k(V)$ to the set of all non-degenerate linear ${[n,k]}_q$ codes. We show that for any two codes the distance in $\mathrm{\Gamma }{(n,k)}_q$ coincides with the distance in ${\mathrm{\Gamma }}_k(V)$ only in the case when $n<{(q+1)}^2+k-2$, i.e. if n is sufficiently large then for some pairs of codes the distances in the graphs ${\mathrm{\Gamma }}_k(V)$ and $\mathrm{\Gamma }{(n,k)}_q$ are distinct. We describe one class of such pairs.     

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.     

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$.     

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.     

Compact simple Lie groups admitting left-invariant Einstein metrics that are not geodesic orbit

In this article, we prove that the compact simple Lie groups $\mathrm{S}\mathrm{U}(n)$ for $n\ge 6$, $\mathrm{S}\mathrm{O}(n)$ for $n\ge 7$, $\mathrm{S}\mathrm{p}(n)$ for $n\ge 3$, ${\mathrm{E}}_6,{\mathrm{E}}_7,{\mathrm{E}}_8$, and ${\mathrm{F}}_4$ admit left-invariant Einstein metrics that are not geodesic orbit. This gives a positive answer to an open problem recently posed by Nikonorov.     

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 Δ.