Automorphisms of Borcherds superalgebras and fixed point subalgebras (Q1867323)

A real square matrix \(A\) of a size \(n\) with entries \(a_{ij}\) is colored by an integer vector \(m=(m_1,\ldots,m_n)\) if \(a_{ij}\in 2\mathbb Z_{\leqslant 0}\) if \(a_{ii}=2\) and \(m_i<0\). A Borcherds superalgebra \(\mathfrak g(A,M)=\mathfrak g\) is the Lie superalgebra generated by the homogeneous elements \(h_i, d_i, e_{ik}, f_{ik}\), where \(1\leqslant i,j,k\leqslant n\) and the only odd generators are \( e_{ik}, f_{ik}\) provided if \(m_i<0\). There generators are subject to the following defining relations \[ [h_i,h_j]=[h_i,d_j]=[d_i,d_j]=0; \] \[ [h_i,e_{jl}]=a_{ij}e_{jl}, [h_i,f_{jl}]=-a_{ij}f_{jl}; \] \[ [d_i,e_{jl}]=\delta_{ij}e_{jl}, [d_i,f_{jl}]=-\delta_{ij}f_{jl}; \] \[ [e_{ik},f_{jl}]=\delta_{ij}\delta_{kl}h_i; \] \[ (\text{ad} e_{ik})^{1-a_{ij}}(e_{jl}) = (\text{ad} f_{ik})^{1-a_{ij}}(f_{jl})=0 \text{ provided }a_{ii}=2 \text{ and } i\neq j; \] \[ [e_{ik},e_{jl}]=[f_{ik},f_{jl}]=0 \text{ if } a_{ij}=0. \] There is a decomposition \(\mathfrak g=\sum_{\alpha}\mathfrak g_{\alpha}\) into a direct sum of root spaces \(\mathfrak G_{\alpha}\). For a family \(\xi_i\) of automorphisms of root spaces \(\mathfrak g_{-\alpha_i}\) corresponding to simple roots \(\alpha_i\), one can construct and automorphism \(\xi\) of \(\mathfrak g\). A permutation \(\sigma\in S_n\) satisfying \(a_{ij}=a_{\sigma(i),\sigma(j)}\) and \(m_{\sigma(i)}=m_i\) induces an automorphism \(\sigma\) of \(\mathfrak g\). Fix an automorphism \(\omega=\sigma\xi\) of a finite order of \(\mathfrak g\). It is shown that with few exceptions the subalgebra of invariants \(\mathfrak g^{\omega}\) is again a Borcherds superalgebra. More precisely there exists a Borcherds superalgebra \(\mathfrak G\) such that \([g^{\omega},\mathfrak g^{\omega}]\simeq [\mathfrak G,\mathfrak G]/\mathfrak a\), where \(\mathfrak a\) is an ideal of \([\mathfrak G,\mathfrak G]\) generated by central elements. The trace of \(\omega\) and a formula for root multiplicities are found.