Joint Invariants of Linear Symplectic Actions

We review computations of joint invariants on a linear symplectic space, discuss variations for an extension of group and space and relate this to other equivalence problems and approaches, most importantly to differential invariants.

Hilbert polynomials of the algebras of $SL_ 2$-invariants

We consider one of the fundamental problems of classical invariant theory, the research of Hilbert polynomials for an algebra of invariants of Lie group $SL_2$. Form of the Hilbert polynomials gives us important information about the structure of the algebra. Besides, the coefficients and the degree of the Hilbert polynomial play an important role in algebraic geometry. It is well known that the Hilbert function of the algebra $SL_n$-invariants is quasi-polynomial. The Cayley-Sylvester formula for calculation of values of the Hilbert function for algebra of covariants of binary $d$-form $\mathcal{C}_{d}= \mathbb{C}[V_d\oplus \mathbb{C}^2]_{SL_2}$ (here $V_d$ is the $d+1$-dimensional space of binary forms of degree $d$) was obtained by Sylvester. Then it was generalized to the algebra of joint invariants for $n$ binary forms. But the Cayley-Sylvester formula is not expressed in terms of polynomials.In our article we consider the problem of computing the Hilbert polynomials for the algebras of joint invariants and joint covariants of $n$ linear forms and $n$ quadratic forms. We express the Hilbert polynomials $\mathcal{H} \mathcal{I}^{(n)}_1,i)=\dim(\mathcal{C}^{(n)}_1)_i, \mathcal{H}(\mathcal{C}^{(n)}_1,i)=\dim(\mathcal{C}^{(n)}_1)_i,$ $\mathcal{H}(\mathcal{I}^{(n)}_2,i)=\dim(\mathcal{I}^{(n)}_2)_i, \mathcal{H}(\mathcal{C}^{(n)}_2,i)=\dim(\mathcal{C}^{(n)}_2)_i$ of those algebras in terms of quasi-polynomial. We also present them in the form of Narayana numbers and generalized hypergeometric series.

Invariant Solutions of the Wave Equation on Static Spherically Symmetric Spacetimes Admitting G7 Isometry Algebra

Algorithms to construct the optimal systems of dimension of at most three of Lie algebras are given. These algorithms are applied to determine the Lie algebra structure and optimal systems of the symmetries of the wave equation on static spherically symmetric spacetimes admitting G7 as an isometry algebra. Joint invariants and invariant solutions corresponding to three-dimensional optimal systems are also determined.

Poincare series for the algebras of joint invariants and covariants of $n$ quadratic forms

We consider one of the fundamental problems of classical invariant theory - the research of Poincare series for an algebra of invariants of Lie group $SL_2$. The first two terms of the Laurent series expansion of Poincare series at the point $z = 1$ give us important information about the structure of the algebra $\mathcal{I}_{d}.$ It was derived by Hilbert for the algebra ${\mathcal{I}_{d}=\mathbb{C}[V_d]^{\,SL_2}}$ of invariants for binary $d-$form (by $V_d$ denote the vector space over $\mathbb{C}$ consisting of all binary forms homogeneous of degree $d$). Springer got this result, using explicit formula for the Poincare series of this algebra. We consider this problem for the algebra of joint invariants $\mathcal{I}_{2n}=\mathbb{C}[\underbrace{V_2 \oplus V_2 \oplus \cdots \oplus V_2}_{\text{n times}}]^{SL_2}$ and the algebra of joint covariants $\mathcal{C}_{2n}=\mathbb{C}[\underbrace{V_2 {\oplus} V_2 {\oplus} \cdots {\oplus} V_2}_{\text{n times}}{\oplus}\mathbb{C}^2 ]^{SL_2}$ of $n$ quadratic forms. We express the Poincare series $\mathcal{P}(\mathcal{C}_{2n},z)=\sum_{j=0}^{\infty }\dim(\mathcal{C}_{2n})_{j}\, z^j$ and $\mathcal{P}(\mathcal{I}_{2n},z)=\sum_{j=0}^{\infty }\dim(\mathcal{I}_{2n})_{j}\, z^j$ of these algebras in terms of Narayana polynomials. Also, for these algebras we calculate the degrees and asymptotic behavious of the degrees, using their Poincare series.

Cotton-Type and Joint Invariants for Linear Elliptic Systems

Cotton-type invariants for a subclass of a system of two linear elliptic equations, obtainable from a complex base linear elliptic equation, are derived both by spliting of the corresponding complex Cotton invariants of the base complex equation and from the Laplace-type invariants of the system of linear hyperbolic equations equivalent to the system of linear elliptic equations via linear complex transformations of the independent variables. It is shown that Cotton-type invariants derived from these two approaches are identical. Furthermore, Cotton-type and joint invariants for a general system of two linear elliptic equations are also obtained from the Laplace-type and joint invariants for a system of two linear hyperbolic equations equivalent to the system of linear elliptic equations by complex changes of the independent variables. Examples are presented to illustrate the results.