Poincare series for the algebras of joint invariants and covariants of n quadratic forms
Journal Title: Карпатські математичні публікації - Year 2017, Vol 9, Issue 1
Abstract
We consider one of the fundamental objects of classical invariant theory, namely the Poincare series for an algebra of invariants of Lie group $SL_2$. The first two terms of the Laurent series expansion of Poincar\'e series at the point $z = 1$ give us an 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$ we 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 Poincar\'e 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 Poincar\'e 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.
Authors and Affiliations
N. Ilash
Keywords
Related Articles
- EP ID EP325055
- DOI 10.15330/cmp.9.1.57-62
- Views 74
- Downloads 0
Properties of power series of analytic in a bidisc functions of bounded $\mathbf{L}$-index in joint variables
We generalized some criteria of boundedness of $\mathbf{L}$-index in joint variables for analytic in a bidisc functions, where $\mathbf{L}(z)=(l_1(z_1,z_2),$ $l_{2}(z_1,z_2)),$ $l_j:\mathbb{D}^2\to \mathbb{R}_+$ is a co...
On some perturbations of a stable process and solutions to the Cauchy problem for a class of pseudo-differential equations
A fundamental solution for some class of pseudo-differential equations is constructed by the method based on the theory of perturbations. We consider a symmetric α-stable process in multidimensional Euclidean space. Its...
On the multiplicative order of elements in Wiedemann's towers of finite fields
We consider recursive binary finite field extensions Ei+1=Ei(xi+1), i≥−1, defined by D. Wiedemann. The main object of the paper is to give some proper divisors of the Fermat numbers Ni that are not equal to the multiplic...
Boundary problem for the singular heat equation
The scheme for solving of a mixed problem with general boundary conditions is proposed for a heat equation $$ a(x)\frac{\partial T}{\partial \tau}= \frac{\partial}{\partial x} \left(\lambda(x)\frac{\partial T}{\partial x...
Commutative Bezout domains in which any nonzero prime ideal is contained in a finite set of maximal ideals
We investigate commutative Bezout domains in which any nonzero prime ideal is contained in a finite set of maximal ideals. In particular, we have described the class of such rings, which are elementary divisor rings....