Showing 1–50 of 52 results for author: Domokos, M

Separating polynomial invariants over non-closed fields of finite abelian groups

Authors: Mátyás Domokos

Abstract: It is proved that for any finite dimensional representation of a prime order group over the field of rational numbers, polynomial invariants of degree at most $3$ separate the orbits. A result providing an upper degree bound for separating invariants for representations of finite abelian groups over algebraically closed base fields of non-modular characteristic is generalized for the case of base… ▽ More It is proved that for any finite dimensional representation of a prime order group over the field of rational numbers, polynomial invariants of degree at most $3$ separate the orbits. A result providing an upper degree bound for separating invariants for representations of finite abelian groups over algebraically closed base fields of non-modular characteristic is generalized for the case of base fields that are not algebraically closed (like the fields of real or rational numbers). △ Less

Submitted 28 June, 2025; originally announced June 2025.

MSC Class: Primary 13A50; Secondary 13P15; 20C15; 94A12

The separating Noether number of small groups

Authors: M. Domokos, B. Schefler

Abstract: The separating Noether number of a finite group is the minimal positive integer $d$ such that for any finite dimensional complex linear representation of the group, any two dictinct orbits can be distinguished by a polynomial invariant of degree at most $d$. In the present paper its exact value is determined for all groups of order less than $32$, for all finite groups with a cyclic subgroup of in… ▽ More The separating Noether number of a finite group is the minimal positive integer $d$ such that for any finite dimensional complex linear representation of the group, any two dictinct orbits can be distinguished by a polynomial invariant of degree at most $d$. In the present paper its exact value is determined for all groups of order less than $32$, for all finite groups with a cyclic subgroup of index at most $2$, and for the direct product of a dihedral group with the $2$-element group. The results show in particular that unlike the ordinary Noether number, the separating Noether number of a non-abelian finite group may well be equal to the separating Noether number of a proper direct factor of the group. Most of the results are proved for the case of a general (possibly finite) base field containing an element whose multiplicative order equals the size of the group. △ Less

Submitted 18 December, 2024; v1 submitted 11 December, 2024; originally announced December 2024.

MSC Class: 13A50; 13P15; 20C15

Exponential valuations on lattice polygons

Authors: Karoly J. Boroczky, Matyas Domokos, Ansgar Freyer, Christoph Haberl, Gergely Harcos, Jin li

Abstract: We classify translatively exponential and GL(2,Z) covariant valuations on lattice polygons valued at measurable real functions. A typical example of such valuations is induced by the Laplace transform, but as it turns out there are many more. The argument uses the ergodicity of the linear action of SL(2,Z) on R2, and some elementary properties of the Fibonacci numbers. We classify translatively exponential and GL(2,Z) covariant valuations on lattice polygons valued at measurable real functions. A typical example of such valuations is induced by the Laplace transform, but as it turns out there are many more. The argument uses the ergodicity of the linear action of SL(2,Z) on R2, and some elementary properties of the Fibonacci numbers. △ Less

Submitted 19 May, 2025; v1 submitted 14 November, 2024; originally announced November 2024.

The directed Cayley diameter and the Davenport constant

Authors: Réka András, Kálmán Cziszter, Mátyás Domokos, István Szöllősi

Abstract: The directed Cayley diameter of a finite group is investigated in terms of the monoid of product-one sequences over the group, via the new notion of directed geodesic atoms. Two quantities associated to the set of directed geodesic atoms provide lower and upper bounds for the directed Cayley diameter. An algorithm for computing the directed geodesic atoms is implemented in GAP, and is applied to d… ▽ More The directed Cayley diameter of a finite group is investigated in terms of the monoid of product-one sequences over the group, via the new notion of directed geodesic atoms. Two quantities associated to the set of directed geodesic atoms provide lower and upper bounds for the directed Cayley diameter. An algorithm for computing the directed geodesic atoms is implemented in GAP, and is applied to determine the above mentioned quantities for all non-abelian groups of order at most $42$, and for the alternating group of degree $5$. Furthermore, the small and large Davenport constants of all these groups are computed (excepting the large Davenport constant for $A_5$), extending thereby the formerly obtained results on the groups of order less than $32$. Along the way the directed Cayley diameter of a finite abelian group is expressed in terms of its invariants. △ Less

Submitted 28 May, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

Comments: v2: final table is extended with further data

MSC Class: Primary 20D60; Secondary 20M14; 20K01

Quiver moduli spaces of a given dimension

Authors: M. Domokos

Abstract: It is shown that certain transformations on quiver-dimension vector pairs induce isomorphisms on the corresponding moduli spaces of quiver representations and map a stable dimension vector to a stable dimension vector. This result combined with a combinatorial analysis of dimension vectors in the fundamental set of a wild quiver is applied to prove that in each dimension there are only finitely ma… ▽ More It is shown that certain transformations on quiver-dimension vector pairs induce isomorphisms on the corresponding moduli spaces of quiver representations and map a stable dimension vector to a stable dimension vector. This result combined with a combinatorial analysis of dimension vectors in the fundamental set of a wild quiver is applied to prove that in each dimension there are only finitely many projective algebraic varieties occurring as a moduli space of representations of a quiver with a dimension vector that satisfies some simple constraints. △ Less

Submitted 23 December, 2023; v1 submitted 15 March, 2023; originally announced March 2023.

Comments: v3: extensive revision

MSC Class: Primary 14L24; Secondary 13A50; 16G20

Symmetric polynomials over finite fields

Authors: Mátyás Domokos, Botond Miklósi

Abstract: It is shown that two vectors with coordinates in the finite $q$-element field of characteristic $p$ belong to the same orbit under the natural action of the symmetric group if each of the elementary symmetric polynomials of degree $p^k,2p^k,\dots,(q-1)p^k$, $k=0,1,2,\dots$ has the same value on them. This separating set of polynomial invariants for the natural permutation representation of the sym… ▽ More It is shown that two vectors with coordinates in the finite $q$-element field of characteristic $p$ belong to the same orbit under the natural action of the symmetric group if each of the elementary symmetric polynomials of degree $p^k,2p^k,\dots,(q-1)p^k$, $k=0,1,2,\dots$ has the same value on them. This separating set of polynomial invariants for the natural permutation representation of the symmetric group is not far from being minimal when $q=p$ and the dimension is large compared to $p$. A relatively small separating set of multisymmetric polynomials over the field of $q$ elements is derived. △ Less

Submitted 29 November, 2022; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: v2: minor edits

MSC Class: 13A50 (Primary) 12E20 (Secondary)

Syzygies for the vector invariants of the dihedral group

Authors: M. Domokos

Abstract: The problem of finding generators of the $GL$-ideal of the relations between the generators of the algebra of invariants of the dihedral group acting on $m$-tuples of vectors from its defining $2$-dimensional representation is studied. It is shown that this $GL$-ideal is generated by relations depending on no more than $3$ vector variables. A minimal $GL$-ideal generating system is found for the c… ▽ More The problem of finding generators of the $GL$-ideal of the relations between the generators of the algebra of invariants of the dihedral group acting on $m$-tuples of vectors from its defining $2$-dimensional representation is studied. It is shown that this $GL$-ideal is generated by relations depending on no more than $3$ vector variables. A minimal $GL$-ideal generating system is found for the case when $m=2$, and for the case of the dihedral group of order $8$ and arbitrary $m$. △ Less

Submitted 25 July, 2022; v1 submitted 10 July, 2022; originally announced July 2022.

Comments: version 2: corrections in formulae in Section 7

MSC Class: Primary 13A50; Secondary 14L30; 20G05

Separating monomials for diagonalizable actions

Authors: M. Domokos

Abstract: Sets of monomials separating Zariski closed orbits under diagonalizable group actions are characterized in terms of the monoid of zero-sum sequences over the character group. This is applied to compare the degree bounds for separating invariants and generating invariants of diagonalizable group actions. Sets of monomials separating Zariski closed orbits under diagonalizable group actions are characterized in terms of the monoid of zero-sum sequences over the character group. This is applied to compare the degree bounds for separating invariants and generating invariants of diagonalizable group actions. △ Less

Submitted 10 March, 2022; v1 submitted 14 February, 2022; originally announced February 2022.

Comments: Version 3: references added to Section 4 and minor editing. Version 2: Related prior results of Dufresne and Jeffries are taken into account. Some of the statements are sharpened or generalized. Monoid theoretic content is clarified

MSC Class: Primary 13A50; Secondary 11B75; 14M25

Matrix valued concomitants of $\mathrm{SL}_2(\mathbb{C})$

Authors: M. Domokos

Abstract: To a finite dimensional representation of a complex Lie group $G$, an associative algebra of adjoint covariant polynomial maps from the direct sum of $m$ copies of the Lie algebra $\mathfrak{g}$ of $G$ into an algebra of complex matrices is associated. When the tangent representation of the given representation is irreducible, the center of this algebra of concomitants can be identified with the a… ▽ More To a finite dimensional representation of a complex Lie group $G$, an associative algebra of adjoint covariant polynomial maps from the direct sum of $m$ copies of the Lie algebra $\mathfrak{g}$ of $G$ into an algebra of complex matrices is associated. When the tangent representation of the given representation is irreducible, the center of this algebra of concomitants can be identified with the algebra of adjoint invariant polynomial functions on $m$-tuples of elements of $\mathfrak{g}$. For irreducible finite dimensional representations of $\mathrm{SL}_2(\mathbb{C})$ minimal generating systems of the corresponding algebras of concomitants are determined, both as an algebra and as a module over its center. △ Less

Submitted 13 December, 2021; originally announced December 2021.

MSC Class: 13A50; 16R30; 17B15; 17B45; 20C30

Bound for the cocharacters of the identities of irreducible representations of $\mathfrak{sl}_2(\mathbb{C})$

Authors: M. Domokos

Abstract: For each irreducible finite dimensional representation of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$ of $2\times 2$ traceless matrices, an explicit uniform upper bound is given for the multiplicities in the cocharacter sequence of the polynomial identities satisfied by the given representation. For each irreducible finite dimensional representation of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$ of $2\times 2$ traceless matrices, an explicit uniform upper bound is given for the multiplicities in the cocharacter sequence of the polynomial identities satisfied by the given representation. △ Less

Submitted 13 December, 2021; originally announced December 2021.

MSC Class: 16R30; 16R10; 17B01; 17B20; 20C30

Low dimensional flow polytopes and their toric ideals

Authors: Mátyás Domokos, Dániel Joó

Abstract: The toric ideal of a $d$-dimensional flow polytope has an initial ideal generated by square-free monomials of degree at most $d$. The toric ideal of a flow polytope of dimension at most four has an initial ideal generated by square-free monomials of degree at most two, with the only exception of the four-dimensional Birkhoff polytope, whose toric ideal has an initial ideal generated by a square-fr… ▽ More The toric ideal of a $d$-dimensional flow polytope has an initial ideal generated by square-free monomials of degree at most $d$. The toric ideal of a flow polytope of dimension at most four has an initial ideal generated by square-free monomials of degree at most two, with the only exception of the four-dimensional Birkhoff polytope, whose toric ideal has an initial ideal generated by a square-free cubic monomial. The proof is based on a method to classify certain compressed flow polytopes, and a construction of a quadratic pulling triangulation of them. Along the way compressed flow polytopes are classified up to dimension four, and their Ehrhart polynomials are computed. △ Less

Submitted 9 May, 2021; originally announced May 2021.

MSC Class: 13P10; 05E40; 14M25; 15A39; 16G20; 52B20

Dimension of the space of unitary equivariant translation invariant tensor valuations

Authors: K. J. Böröczky, M. Domokos, G. Solanes

Abstract: Following the work of Semyon Alesker in the scalar valued case and of Thomas Wannerer in the vector valued case, the dimensions of the spaces of continuous translation invariant and unitary equivariant tensor valuations are computed. In addition, a basis in the vector valued case is presented. Following the work of Semyon Alesker in the scalar valued case and of Thomas Wannerer in the vector valued case, the dimensions of the spaces of continuous translation invariant and unitary equivariant tensor valuations are computed. In addition, a basis in the vector valued case is presented. △ Less

Submitted 16 September, 2020; v1 submitted 10 March, 2020; originally announced March 2020.

Cocharacters for the weak polynomial identities of the Lie algebra of $3\times 3$ skew-symmetric matrices

Authors: M. Domokos, V. Drensky

Abstract: Let $so_3(K)$ be the Lie algebra of $3\times 3$ skew-symmetric matrices over a field $K$ of characteristic 0. The ideal $I(M_3(K),so_3(K))$ of the weak polynomial identities of the pair $(M_3(K),so_3(K))$ consists of the elements $f(x_1,\ldots,x_n)$ of the free associative algebra $K\langle X\rangle$ with the property that $f(a_1,\ldots,a_n)=0$ in the algebra $M_3(K)$ of all $3\times 3$ matrices f… ▽ More Let $so_3(K)$ be the Lie algebra of $3\times 3$ skew-symmetric matrices over a field $K$ of characteristic 0. The ideal $I(M_3(K),so_3(K))$ of the weak polynomial identities of the pair $(M_3(K),so_3(K))$ consists of the elements $f(x_1,\ldots,x_n)$ of the free associative algebra $K\langle X\rangle$ with the property that $f(a_1,\ldots,a_n)=0$ in the algebra $M_3(K)$ of all $3\times 3$ matrices for all $a_1,\ldots,a_n\in so_3(K)$. The generators of $I(M_3(K),so_3(K))$ were found by Razmyslov in the 1980's. In this paper the cocharacter sequence of $I(M_3(K),so_3(K))$ is computed. In other words, the ${\mathrm{GL}}_p(K)$-module structure of the algebra generated by $p$ generic skew-symmetric matrices is determined. Moreover, the same is done for the closely related algebra of $\mathrm{SO}_3(K)$-equivariant polynomial maps from the space of $p$-tuples of $3\times 3$ skew-symmetric matrices into $M_3(K)$ (endowed with the conjugation action). In the special case $p=3$ the latter algebra is a module over a $6$-variable polynomial subring in the algebra of $\mathrm{SO}_3(K)$-invariants of triples of $3\times 3$ skew-symmetric matrices, and a free resolution of this module is found. The proofs involve methods and results of classical invariant theory, representation theory of the general linear group and explicit computations with matrices. △ Less

Submitted 23 July, 2020; v1 submitted 18 December, 2019; originally announced December 2019.

MSC Class: 16R10; 16R30; 17B01; 17B20; 17B45; 20C30

Characteristic free description of semi-invariants of $2\times 2$ matrices

Authors: M. Domokos

Abstract: A minimal homogeneous generating system of the algebra of semi-invariants of tuples of two-by-two matrices over an infinite field of characteristic two or over the ring of integers is given. In an alternative interpretation this yields a minimal system of homogeneous generators for the vector invariants of the special orthogonal group of degree four over a field of characteristic two or over the r… ▽ More A minimal homogeneous generating system of the algebra of semi-invariants of tuples of two-by-two matrices over an infinite field of characteristic two or over the ring of integers is given. In an alternative interpretation this yields a minimal system of homogeneous generators for the vector invariants of the special orthogonal group of degree four over a field of characteristic two or over the ring of integers. An irredundant separating system of semi-invariants of tuples of two-by-two matrices is also determined, it turns out to be independent of the characteristic. △ Less

Submitted 31 December, 2019; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: A crucial reference to a paper of A. Lopatin was added

Journal ref: Journal of Pure Applied Algebra 224 (2020), 106220

On syzygies for rings of invariants of abelian groups

Authors: M. Domokos

Abstract: It is well known that results on zero-sum sequences over a finitely generated abelian group can be translated to statements on generators of rings of invariants of the dual group. Here the direction of the transfer of information between zero-sum theory and invariant theory is reversed. First it is shown how a presentation by generators and relations of the ring of invariants of an abelian group a… ▽ More It is well known that results on zero-sum sequences over a finitely generated abelian group can be translated to statements on generators of rings of invariants of the dual group. Here the direction of the transfer of information between zero-sum theory and invariant theory is reversed. First it is shown how a presentation by generators and relations of the ring of invariants of an abelian group acting linearly on a finite dimensional vector space can be obtained from a presentation of the ring of invariants for the corresponding multiplicity free representation. This combined with a known degree bound for syzygies of rings of invariants, yields bounds on the presentation of a block monoid associated to a finite sequence of elements in an abelian group. The results have an equivalent formulation in terms of binomial ideals, but here the language of monoid congruences and the notion of catenary degree is used. △ Less

Submitted 15 November, 2018; originally announced November 2018.

MSC Class: 13A50 (Primary) 20M13; 20M14 (Secondary)

Constructive noncommutative invariant theory

Authors: M. Domokos, V. Drensky

Abstract: The problem of finding generators of the subalgebra of invariants under the action of a group of automorphisms of a finite dimensional Lie algebra on its universal enveloping algebra is reduced to finding homogeneous generators of the same group acting on the symmetric tensor algebra of the Lie algebra. This process is applied to prove a constructive Hilbert-Nagata Theorem (including degree bounds… ▽ More The problem of finding generators of the subalgebra of invariants under the action of a group of automorphisms of a finite dimensional Lie algebra on its universal enveloping algebra is reduced to finding homogeneous generators of the same group acting on the symmetric tensor algebra of the Lie algebra. This process is applied to prove a constructive Hilbert-Nagata Theorem (including degree bounds) for the algebra of invariants in a Lie nilpotent relatively free associative algebra endowed with an action induced by a representation of a reductive group. △ Less

Submitted 18 June, 2019; v1 submitted 15 November, 2018; originally announced November 2018.

Comments: Significant revision. The main result now is derived from a more general statement on universal enveloping algebras of Lie algebras

MSC Class: 16R10 (Primary) 13A50; 15A72; 16W22; 17B01; 17B35 (Secondary)

${\rm SL}(m,C)$-equivariant and translation covariant continuous tensor valuations

Authors: Judit Abardia-Evéquoz, Károly J. Böröczky, Mátyás Domokos, Dávid Kertész

Abstract: The space of continuous, ${\rm SL}(m,C)$-equivariant, $m\geq 2$, and translation covariant valuations taking values in the space of real symmetric tensors on $C^m\cong R^{2m}$ of rank $r\geq 0$ is completely described. The classification involves the moment tensor valuation for $r\geq 1$ and is analogous to the classification of the corresponding tensor valuations that are ${\rm SL}(2m,R)$-equivar… ▽ More The space of continuous, ${\rm SL}(m,C)$-equivariant, $m\geq 2$, and translation covariant valuations taking values in the space of real symmetric tensors on $C^m\cong R^{2m}$ of rank $r\geq 0$ is completely described. The classification involves the moment tensor valuation for $r\geq 1$ and is analogous to the classification of the corresponding tensor valuations that are ${\rm SL}(2m,R)$-equivariant, although the method of proof cannot be adapted. △ Less

Submitted 3 February, 2018; v1 submitted 26 January, 2018; originally announced January 2018.

Lower bounds on the Noether number

Authors: K. Cziszter, M. Domokos

Abstract: The best known method to give a lower bound for the Noether number of a given finite group is to use the fact that it is greater than or equal to the Noether number of any of the subgroups or factor groups. The results of the present paper show in particular that these inequalities are strict for proper subgroups or factor groups. This is established by studying the algebra of coinvariants of a re… ▽ More The best known method to give a lower bound for the Noether number of a given finite group is to use the fact that it is greater than or equal to the Noether number of any of the subgroups or factor groups. The results of the present paper show in particular that these inequalities are strict for proper subgroups or factor groups. This is established by studying the algebra of coinvariants of a representation induced from a representation of a subgroup. △ Less

Submitted 9 June, 2017; originally announced June 2017.

MSC Class: 13A50

Polynomial bound for the nilpotency index of finitely generated nil algebras

Authors: M. Domokos

Abstract: Working over an infinite field of positive characteristic, an upper bound is given for the nilpotency index of a finitely generated nil algebra of bounded nil index $n$ in terms of the maximal degree in a minimal homogenous generating system of the ring of simultaneous conjugation invariants of tuples of $n$ by $n$ matrices. This is deduced from a result of Zubkov. As a consequence, a recent degre… ▽ More Working over an infinite field of positive characteristic, an upper bound is given for the nilpotency index of a finitely generated nil algebra of bounded nil index $n$ in terms of the maximal degree in a minimal homogenous generating system of the ring of simultaneous conjugation invariants of tuples of $n$ by $n$ matrices. This is deduced from a result of Zubkov. As a consequence, a recent degree bound due to Derksen and Makam for the generators of the ring of matrix invariants yields an upper bound for the nilpotency index of a finitely generated nil algebra that is polynomial in the number of generators and the nil index. Furthermore, a characteristic free treatment is given to Kuzmin's lower bound for the nilpotency index. △ Less

Submitted 31 March, 2018; v1 submitted 2 May, 2017; originally announced May 2017.

MSC Class: Primary: 16R10 Secondary: 16R30; 13A50; 15A72

Journal ref: Alg. Number Th. 12 (2018) 1233-1242

The Noether numbers and the Davenport constants of the groups of order less than 32

Authors: Kálmán Cziszter, Mátyás Domokos, István Szöllősi

Abstract: The computation of the Noether numbers of all groups of order less than thirty-two is completed. It turns out that for these groups in non-modular characteristic the Noether number is attained on a multiplicity free representation, it is strictly monotone on subgroups and factor groups, and it does not depend on the characteristic. Algorithms are developed and used to determine the small and large… ▽ More The computation of the Noether numbers of all groups of order less than thirty-two is completed. It turns out that for these groups in non-modular characteristic the Noether number is attained on a multiplicity free representation, it is strictly monotone on subgroups and factor groups, and it does not depend on the characteristic. Algorithms are developed and used to determine the small and large Davenport constants of these groups. For each of these groups the Noether number is greater than the small Davenport constant, whereas the first example of a group whose Noether number exceeds the large Davenport constant is found, answering partially a question posed by Geroldinger and Grynkiewicz. △ Less

Submitted 28 March, 2018; v1 submitted 9 February, 2017; originally announced February 2017.

Comments: accepted in J. Algebra

MSC Class: 13A50 (Primary); 20D60 (Secondary)

Applications of multisymmetric syzygies in invariant theory

Authors: M. Domokos

Abstract: A presentation by generators and relations of the $n$th symmetric power $B$ of a commutative algebra $A$ over a field of characteristic zero or greater than $n$ is given. This is applied to get information on a minimal homogeneous generating system of $B$ (in the graded case). The known result that in characteristic zero the algebra $B$ is isomorphic to the coordinate ring of the scheme of $n$-dim… ▽ More A presentation by generators and relations of the $n$th symmetric power $B$ of a commutative algebra $A$ over a field of characteristic zero or greater than $n$ is given. This is applied to get information on a minimal homogeneous generating system of $B$ (in the graded case). The known result that in characteristic zero the algebra $B$ is isomorphic to the coordinate ring of the scheme of $n$-dimensional representations of $A$ is also recovered. The special case when $A$ is the two-variable polynomial algebra and $n=3$ is applied to find generators and relations of an algebra of invariants of the symmetric group of degree four that was studied in connection with the problem of classifying sets of four unit vectors in the Euclidean space. △ Less

Submitted 1 December, 2016; originally announced December 2016.

MSC Class: 13A50 (Primary); 16R30 (Secondary)

Toric quiver cells

Authors: M. Domokos, Dániel Joó

Abstract: It is shown that up to dimension four, the toric ideal of a quiver polytope is generated in degree two, with the only exception of the four-dimensional Birkhoff polytope. As a consequence, Bøgvad's conjecture holds for quiver polytopes of dimension at most four. In arbitrary dimension, the toric ideal of a compressed polytope is generated in degree two if the polytope has no neighbouring singular… ▽ More It is shown that up to dimension four, the toric ideal of a quiver polytope is generated in degree two, with the only exception of the four-dimensional Birkhoff polytope. As a consequence, Bøgvad's conjecture holds for quiver polytopes of dimension at most four. In arbitrary dimension, the toric ideal of a compressed polytope is generated in degree two if the polytope has no neighbouring singular vertices. Furthermore, the toric ideal of a compressed polytope with at most one singular vertex has a quadratic Gröbner basis. △ Less

Submitted 3 July, 2017; v1 submitted 12 September, 2016; originally announced September 2016.

MSC Class: 14M25 (Primary) 05E40 (Secondary) 14L24 (Secondary) 16G20 (Secondary) 52B20 (Secondary)

Degree bound for separating invariants of abelian groups

Authors: M. Domokos

Abstract: It is proved that the universal degree bound for separating polynomial invariants of a finite abelian group (in non-modular characteristic) is strictly smaller than the universal degree bound for generators of polynomial invariants, unless the goup is cyclic or is the direct product of $r$ even order cyclic groups where the number of two-element direct factors is not less than the integer part of… ▽ More It is proved that the universal degree bound for separating polynomial invariants of a finite abelian group (in non-modular characteristic) is strictly smaller than the universal degree bound for generators of polynomial invariants, unless the goup is cyclic or is the direct product of $r$ even order cyclic groups where the number of two-element direct factors is not less than the integer part of the half of $r$. A characterization of separating sets of monomials is given in terms of zero-sum sequences over abelian groups. △ Less

Submitted 21 February, 2016; originally announced February 2016.

MSC Class: 13A50 (Primary); 11B75; 20K01 (Secondary)

Rationality of Hilbert series in noncommutative invariant theory

Authors: M. Domokos, V. Drensky

Abstract: It is a fundamental result in commutative algebra and invariant theory that a finitely generated graded module over a commutative finitely generated graded algebra has rational Hilbert series, and consequently the Hilbert series of the algebra of polynomial invariants of a group of linear transformations is rational, whenever this algebra is finitely generated. This basic principle is applied here… ▽ More It is a fundamental result in commutative algebra and invariant theory that a finitely generated graded module over a commutative finitely generated graded algebra has rational Hilbert series, and consequently the Hilbert series of the algebra of polynomial invariants of a group of linear transformations is rational, whenever this algebra is finitely generated. This basic principle is applied here to prove rationality of Hilbert series of algebras of invariants that are neither commutative nor finitely generated. Our main focus is on linear groups acting on certain factor algebras of the tensor algebra that arise naturally in the theory of polynomial identities. △ Less

Submitted 21 August, 2017; v1 submitted 20 December, 2015; originally announced December 2015.

Comments: Examples both from commutative and noncommutative invariant theory are included, a problem is formulated and references are added. Comments for v3: references added, minor revision

MSC Class: 16R10 (Primary); 13A50; 13A02; 15A72; 16W22; 16W50; 05E10 (Secondary)

Noether bound for invariants in relatively free algebras

Authors: M. Domokos, V. Drensky

Abstract: Let $\mathfrak{R}$ be a weakly noetherian variety of unitary associative algebras (over a field $K$ of characteristic 0), i.e., every finitely generated algebra from $\mathfrak{R}$ satisfies the ascending chain condition for two-sided ideals. For a finite group $G$ and a $d$-dimensional $G$-module $V$ denote by $F({\mathfrak R},V)$ the relatively free algebra in $\mathfrak{R}$ of rank $d$ freely g… ▽ More Let $\mathfrak{R}$ be a weakly noetherian variety of unitary associative algebras (over a field $K$ of characteristic 0), i.e., every finitely generated algebra from $\mathfrak{R}$ satisfies the ascending chain condition for two-sided ideals. For a finite group $G$ and a $d$-dimensional $G$-module $V$ denote by $F({\mathfrak R},V)$ the relatively free algebra in $\mathfrak{R}$ of rank $d$ freely generated by the vector space $V$. It is proved that the subalgebra $F({\mathfrak R},V)^G$ of $G$-invariants is generated by elements of degree at most $b(\mathfrak{R},G)$ for some explicitly given number $b(\mathfrak{R},G)$ depending only on the variety $\mathfrak{R}$ and the group $G$ (but not on $V$). This generalizes the classical result of Emmy Noether stating that the algebra of commutative polynomial invariants $K[V]^G$ is generated by invariants of degree at most $\vert G\vert$. △ Less

Submitted 4 December, 2015; originally announced December 2015.

MSC Class: 16R10 (Primary) 13A50; 15A72; 16W22 (Secondary)

The interplay of Invariant Theory with Multiplicative Ideal Theory and with Arithmetic Combinatorics

Authors: K. Cziszter, M. Domokos, A. Geroldinger

Abstract: This paper surveys and develops links between polynomial invariants of finite groups, factorization theory of Krull domains, and product-one sequences over finite groups. The goal is to gain a better understanding of the multiplicative ideal theory of invariant rings, and connections between the Noether number and the Davenport constants of finite groups. This paper surveys and develops links between polynomial invariants of finite groups, factorization theory of Krull domains, and product-one sequences over finite groups. The goal is to gain a better understanding of the multiplicative ideal theory of invariant rings, and connections between the Noether number and the Davenport constants of finite groups. △ Less

Submitted 3 July, 2016; v1 submitted 22 May, 2015; originally announced May 2015.

Comments: Problem 2 reformulated, plus minor corrections

MSC Class: 11B30; 13A50; 14L24; 13A15; 13F05; 20M12

Commutative subalgebras of the Grassmann algebra

Authors: M. Domokos, M. Zubor

Abstract: The maximal dimension of a commutative subalgebra of the Grassmann algebra is determined. It is shown that for any commutative subalgebra there exists a commutative subalgebra which is spanned by monomials and has the same dimension. It follows that the maximal dimension of a commutative subalgebra can be expressed in terms of the maximal size of an intersecting system of subsets of odd size in a… ▽ More The maximal dimension of a commutative subalgebra of the Grassmann algebra is determined. It is shown that for any commutative subalgebra there exists a commutative subalgebra which is spanned by monomials and has the same dimension. It follows that the maximal dimension of a commutative subalgebra can be expressed in terms of the maximal size of an intersecting system of subsets of odd size in a finite set. △ Less

Submitted 15 April, 2014; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: 11 pages, a section and a reference added

MSC Class: 15A75; 05D05; 16W55

On the equations and classification of toric quiver varieties

Authors: M. Domokos, Dániel Joó

Abstract: Toric quiver varieties (moduli spaces of quiver representations) are studied. Given a quiver and a weight there is an associated quasiprojective toric variety together with a canonical embedding into projective space. It is shown that for a quiver with no oriented cycles the homogeneous ideal of this embedded projective variety is generated by elements of degree at most $3$. In each fixed dimensio… ▽ More Toric quiver varieties (moduli spaces of quiver representations) are studied. Given a quiver and a weight there is an associated quasiprojective toric variety together with a canonical embedding into projective space. It is shown that for a quiver with no oriented cycles the homogeneous ideal of this embedded projective variety is generated by elements of degree at most $3$. In each fixed dimension $d$ up to isomorphism there are only finitely many $d$-dimensional toric quiver varieties. A procedure for their classification is outlined. △ Less

Submitted 20 February, 2014; originally announced February 2014.

MSC Class: 14M25 14L24 16G20 52B20

Hermitian matrices with a bounded number of eigenvalues

Authors: M. Domokos

Abstract: Conjugation covariants of matrices are applied to study the real algebraic variety consisting of complex Hermitian matrices with a bounded number of distinct eigenvalues. A minimal generating system of the vanishing ideal of degenerate three by three Hermitian matrices is given, and the structure of the corresponding coordinate ring as a module over the special unitary group is determined. The met… ▽ More Conjugation covariants of matrices are applied to study the real algebraic variety consisting of complex Hermitian matrices with a bounded number of distinct eigenvalues. A minimal generating system of the vanishing ideal of degenerate three by three Hermitian matrices is given, and the structure of the corresponding coordinate ring as a module over the special unitary group is determined. The method applies also for degenerate real symmetric three by three matrices. For arbitrary $n$ partial information on the minimal degree component of the vanishing ideal of the variety of $n\times n$ Hermitian matrices with a bounded number of eigenvalues is obtained, and some known results on sum of squares presentations of subdiscriminants of real symmetric matrices are extended to the case of complex Hermitian matrices. △ Less

Submitted 21 February, 2013; v1 submitted 30 January, 2013; originally announced January 2013.

Comments: reference added, small change in presentation

MSC Class: Primary: 13F20; 13A50; 14P05; Secondary: 15A15; 15A72; 20G05; 22E47

Invariant theoretic characterization of subdiscriminants of matrices

Authors: M. Domokos

Abstract: An invariant theoretic characterization of subdiscriminants of matrices is given. The structure as a module over the special orthogonal group of the minimal degree non-zero homogeneous component of the vanishing ideal of the variety of real symmetric matrices with a bounded number of different eigenvalues is investigated. These results are applied to the study of sum of squares presentations of su… ▽ More An invariant theoretic characterization of subdiscriminants of matrices is given. The structure as a module over the special orthogonal group of the minimal degree non-zero homogeneous component of the vanishing ideal of the variety of real symmetric matrices with a bounded number of different eigenvalues is investigated. These results are applied to the study of sum of squares presentations of subdisciminants of real symmetric matrices. △ Less

Submitted 11 June, 2012; originally announced June 2012.

Comments: 11 pages

MSC Class: 13F20; 14P05; 15A72 (Primary) 13A50; 15A15; 11E25; 20G05 (Secondary)

On the generalized Davenport constant and the Noether number

Authors: K. Cziszter, M. Domokos

Abstract: Known results on the generalized Davenport constant related to zero-sum sequences over a finite abelian group are extended to the generalized Noether number related to the rings of polynomial invariants of an arbitrary finite group. An improved general upper bound is given on the degrees of polynomial invariants of a non-cyclic finite group which cut out the zero vector. Known results on the generalized Davenport constant related to zero-sum sequences over a finite abelian group are extended to the generalized Noether number related to the rings of polynomial invariants of an arbitrary finite group. An improved general upper bound is given on the degrees of polynomial invariants of a non-cyclic finite group which cut out the zero vector. △ Less

Submitted 29 December, 2013; v1 submitted 15 May, 2012; originally announced May 2012.

Comments: 14 pages

MSC Class: 13A50 (Primary) 11B75; 13A02 (Secondary)

Journal ref: Cent. Eur. J. Math. 11(9) (2013), 1605-1615

The Noether number for the groups with a cyclic subgroup of index two

Authors: K. Cziszter, M. Domokos

Abstract: The exact degree bound for the generators of rings of polynomial invariants is determined for the finite, non-cyclic groups having a cyclic subgroup of index two. It is proved that the Noether number of these groups equals one half the order of the group plus 1 or 2. The exact degree bound for the generators of rings of polynomial invariants is determined for the finite, non-cyclic groups having a cyclic subgroup of index two. It is proved that the Noether number of these groups equals one half the order of the group plus 1 or 2. △ Less

Submitted 14 May, 2012; originally announced May 2012.

Comments: 18 pages

MSC Class: 13A50; 11B50

Equivariant and invariant theory of nets of conics

Authors: M. Domokos, L. M. Feher, R. Rimanyi

Abstract: Two parameter families of plane conics are called nets of conics. There is a natural group action on the vector space of nets of conics, namely the product of the group reparametrizing the underlying plane, and the group reparametrizing the parameter space of the family. We calculate equivariant fundamental classes of orbit closures. Based on this calculation we develop the invariant theory of net… ▽ More Two parameter families of plane conics are called nets of conics. There is a natural group action on the vector space of nets of conics, namely the product of the group reparametrizing the underlying plane, and the group reparametrizing the parameter space of the family. We calculate equivariant fundamental classes of orbit closures. Based on this calculation we develop the invariant theory of nets of conics. As an application we determine Thom polynomials of contact singularities of type (3,3). We also show how enumerative problems---in particular the intersection multiplicities of the determinant map from nets of conics to plane cubics---can be solved studying equivariant classes of orbit closures. △ Less

Submitted 3 July, 2012; v1 submitted 23 October, 2011; originally announced October 2011.

Groups with large Noether bound

Authors: K. Cziszter, M. Domokos

Abstract: The finite groups having an indecomposable polynomial invariant whose degree is at least half of the order of the group are classified. Apart from four sporadic exceptions these are exactly the groups having a cyclic subgroup of index at most two. The finite groups having an indecomposable polynomial invariant whose degree is at least half of the order of the group are classified. Apart from four sporadic exceptions these are exactly the groups having a cyclic subgroup of index at most two. △ Less

Submitted 29 December, 2013; v1 submitted 3 May, 2011; originally announced May 2011.

Comments: Major revision: paper completely rewritten, results extended, title modified. Parts of the material moved to another preprint entitled "The Noether number for the groups with a cyclic subgroup of index two". To appear at Annales de l'Institut Fourier

MSC Class: 13A50 (Primary) 11B50 (Secondary)

Defining relation for semi-invariants of three by three matrix triples

Authors: M. Domokos, V. Drensky

Abstract: The single defining relation of the algebra of $SL_3\times SL_3$-invariants of triples of $3\times 3$ matrices is explicitly computed. Connections to some other prominent algebras of invariants are pointed out. The single defining relation of the algebra of $SL_3\times SL_3$-invariants of triples of $3\times 3$ matrices is explicitly computed. Connections to some other prominent algebras of invariants are pointed out. △ Less

Submitted 17 January, 2011; originally announced January 2011.

Comments: 12 pages

MSC Class: 13A50 (primary); 14L30; 15A72; 16R30 (secondary)

Discriminant of symmetric matrices as a sum of squares and the orthogonal group

Authors: M. Domokos

Abstract: It is proved that the discriminant of $n\times n$ real symmetric matrices can be written as a sum of squares, where the number of summands equals the dimension of the space of $n$-variable spherical harmonics of degree $n$. The representation theory of the orthogonal group is applied to express the discriminant of three by three real symmetric matrices as a sum of five squares, and to show that it… ▽ More It is proved that the discriminant of $n\times n$ real symmetric matrices can be written as a sum of squares, where the number of summands equals the dimension of the space of $n$-variable spherical harmonics of degree $n$. The representation theory of the orthogonal group is applied to express the discriminant of three by three real symmetric matrices as a sum of five squares, and to show that it can not be written as the sum of less than five squares. It is proved that the discriminant of four by four real symmetric matrices can be written as a sum of seven squares. These improve results of Kummer from 1843 and Borchardt from 1846. △ Less

Submitted 11 June, 2012; v1 submitted 1 March, 2010; originally announced March 2010.

Comments: 21 pages, references added

MSC Class: 15A15; 14P05; 15A72; 17B10; 22E47

Journal ref: Comm. Pure Appl. Math. 64 (2011), 443-465

Multisymmetric polynomials in dimension three

Authors: M. Domokos, A. Puskás

Abstract: The polarizations of one relation of degree five and two relations of degree six minimally generate the ideal of relations among a minimal generating system of the algebra of multisymmetric polynomials in an arbitrary number of three-dimensional vector variables. In the general case of $n$-dimensional vector variables, a relation of degree $2n$ among the polarized power sums is presented such th… ▽ More The polarizations of one relation of degree five and two relations of degree six minimally generate the ideal of relations among a minimal generating system of the algebra of multisymmetric polynomials in an arbitrary number of three-dimensional vector variables. In the general case of $n$-dimensional vector variables, a relation of degree $2n$ among the polarized power sums is presented such that it is not contained in the ideal generated by lower degree relations. △ Less

Submitted 8 December, 2009; originally announced December 2009.

Comments: 22 pages

MSC Class: 13A50; 14L30; 20G05

Helly dimension of algebraic groups

Authors: M. Domokos, E. Szabó

Abstract: It is shown that for a linear algebraic group G over a field of characteristic zero, there is a natural number κ(G) such that if a system of Zariski closed cosets in G has empty intersection, then there is a subsystem consisting of at most κ(G) cosets with empty intersection. This is applied to the study of algebraic group actions on product varieties. It is shown that for a linear algebraic group G over a field of characteristic zero, there is a natural number κ(G) such that if a system of Zariski closed cosets in G has empty intersection, then there is a subsystem consisting of at most κ(G) cosets with empty intersection. This is applied to the study of algebraic group actions on product varieties. △ Less

Submitted 2 November, 2009; v1 submitted 2 November, 2009; originally announced November 2009.

Comments: 18 pages

MSC Class: 13A50; 14L30; 20G05

On singularities of quiver moduli

Authors: M. Domokos

Abstract: Any moduli space of representations of a quiver (possibly with oriented cycles) has an embedding as a dense open subvariety into a moduli space of representations of a bipartite quiver having the same type of singularities. A connected quiver is Dynkin or extended Dynkin if and only if all moduli spaces of its representations are smooth. Any moduli space of representations of a quiver (possibly with oriented cycles) has an embedding as a dense open subvariety into a moduli space of representations of a bipartite quiver having the same type of singularities. A connected quiver is Dynkin or extended Dynkin if and only if all moduli spaces of its representations are smooth. △ Less

Submitted 18 November, 2009; v1 submitted 24 March, 2009; originally announced March 2009.

Comments: a known side result removed, a reference added, minor changes in exposition

MSC Class: 16G20; 14L24

Covariants and the no-name lemma

Authors: M. Domokos

Abstract: A close connection between the no-name lemma (concerning algebraic groups acting on vector bundles) and the existence of sufficiently many independent rational covariants is pointed out. In particular, this leads to a new natural proof of the no-name lemma. For linearly reductive groups, the approach has a refined variant based on integral covariants. This fits into the usual context of invarian… ▽ More A close connection between the no-name lemma (concerning algebraic groups acting on vector bundles) and the existence of sufficiently many independent rational covariants is pointed out. In particular, this leads to a new natural proof of the no-name lemma. For linearly reductive groups, the approach has a refined variant based on integral covariants. This fits into the usual context of invariant theory, and yields a version of the no-name lemma that has a constructive nature. △ Less

Submitted 25 June, 2008; v1 submitted 9 March, 2008; originally announced March 2008.

Comments: The paper has been completely rewritten, more conclusive results are achieved

MSC Class: 13A50; 14L30; 20G05

Vector invariants of a class of pseudo-reflection groups and multisymmetric syzygies

Authors: M. Domokos

Abstract: First and second fundamental theorems are given for polynomial invariants of a class of pseudo-reflection groups (including the Weyl groups of type $B_n$), under the assumption that the order of the group is invertible in the base field. Special case of the result is a finite presentation of the algebra of multisymmetric polynomials. Reducedness of the invariant commuting scheme is proved as a by-… ▽ More First and second fundamental theorems are given for polynomial invariants of a class of pseudo-reflection groups (including the Weyl groups of type $B_n$), under the assumption that the order of the group is invertible in the base field. Special case of the result is a finite presentation of the algebra of multisymmetric polynomials. Reducedness of the invariant commuting scheme is proved as a by-product. The algebra of multisymmetric polynomials over an arbitrary base ring is revisited. △ Less

Submitted 11 February, 2015; v1 submitted 14 June, 2007; originally announced June 2007.

Comments: Joining the contents of math.RT/0602303v3 and math.RT/0611430v1 plus some additional material

MSC Class: 13A50; 14L30; 20G05

Journal ref: Journal of Lie Theory 19 (2009), 507-525

Fundamental theorems for invariants of a class of pseudo-reflection groups

Authors: M. Domokos

Abstract: The content of this preprint together with additional material appears now in 0706.2154. The content of this preprint together with additional material appears now in 0706.2154. △ Less

Submitted 14 June, 2007; v1 submitted 14 November, 2006; originally announced November 2006.

Comments: The content of this preprint together with additional material appears now in 0706.2154

MSC Class: 13A50; 14L30; 20G05

Multisymmetric syzygies

Authors: M. Domokos

Abstract: The content of this preprint together with additional material appears now in 0706.2154. The content of this preprint together with additional material appears now in 0706.2154. △ Less

Submitted 14 June, 2007; v1 submitted 14 February, 2006; originally announced February 2006.

Comments: The content of this preprint together with additional material appears now in 0706.2154

MSC Class: 13A50; 14L30; 16R30

Typical separating invariants

Authors: M. Domokos

Abstract: It is shown that a trivial version of polarization is sufficient to produce separating systems of polynomial invariants: if two points in the direct sum of the $G$--modules $W$ and $m$ copies of $V$ can be separated by polynomial invariants, then they can be separated by invariants depending only on at most $2\dim(V)$ variables of type $V$; when $G$ is reductive, invariants depending only on at… ▽ More It is shown that a trivial version of polarization is sufficient to produce separating systems of polynomial invariants: if two points in the direct sum of the $G$--modules $W$ and $m$ copies of $V$ can be separated by polynomial invariants, then they can be separated by invariants depending only on at most $2\dim(V)$ variables of type $V$; when $G$ is reductive, invariants depending only on at most $\dim(V)+1$ variables suffice. Similar result is valid for rational invariants. Explicit bounds on the number of type $V$ variables in a typical system of separating invariants are given for the binary polyhedral groups, and this is applied to the invariant theory of binary forms. △ Less

Submitted 11 November, 2005; originally announced November 2005.

Comments: 18 pages

MSC Class: 13A50; 14L24

A quantum homogeneous space of nilpotent matrices

Authors: M. Domokos

Abstract: A quantum deformation of the adjoint action of the special linear group on the variety of nilpotent matrices is introduced. New non-embedded quantum homogeneous spaces are obtained related to certain maximal coadjoint orbits, and known quantum homogeneous spaces are revisited. A quantum deformation of the adjoint action of the special linear group on the variety of nilpotent matrices is introduced. New non-embedded quantum homogeneous spaces are obtained related to certain maximal coadjoint orbits, and known quantum homogeneous spaces are revisited. △ Less

Submitted 15 November, 2004; originally announced November 2004.

Comments: 12 pages

MSC Class: 16W35 (Primary); 17B37; 20G42; 81R50 (Secondary)

Quantized trace rings

Authors: M. Domokos, T. H. Lenagan

Abstract: The general linear group acts on $m$-tuples of $N\times N$ matrices by simultaneous conjugation. Quantum deformations of the corresponding rings of invariants and the so-called trace rings are investigated. The general linear group acts on $m$-tuples of $N\times N$ matrices by simultaneous conjugation. Quantum deformations of the corresponding rings of invariants and the so-called trace rings are investigated. △ Less

Submitted 5 July, 2004; originally announced July 2004.

Comments: 25 pages

MSC Class: 16W35; 16R30; 20G42

Mod 2 indecomposable orthogonal invariants

Authors: M. Domokos, P. E. Frenkel

Abstract: Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(n) $(n\geq 2)$ and for SO(n) $(n\geq 3)$ that there exist… ▽ More Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(n) $(n\geq 2)$ and for SO(n) $(n\geq 3)$ that there exist $m$--linear invariants with $m$ arbitrarily large that are indecomposable (i. e., not expressible as polynomials in invariants of lower degree). In fact, they are explicitly constructed for all possible values of $m$. Indecomposability of corresponding invariants over $\mathbb Z$ immediately follows. The constructions rely on analysing the Pfaffian of the skew-symmetric matrix whose entries above the diagonal are the scalar products of the vector variables. △ Less

Submitted 2 September, 2004; v1 submitted 2 October, 2003; originally announced October 2003.

Comments: 9 pages. Theorem 6 stated and proved in strenghtened form. To appear in Advances in Mathematics

MSC Class: 13A50; 15A72; 20G05

Journal ref: Adv. Math. 192 (2005), no. 1, 209--217

Representation rings of quantum groups

Authors: M. Domokos, T. H. Lenagan

Abstract: Generators and relations are given for the subalgebra of cocommutative elements in the quantized coordinate rings of the classical groups, where the deformation parameter q is transcendental. This is a ring theoretic formulation of the well known fact that the representation theory of the quantized group is completely analogous to its classical counterpart. The subalgebras of cocommutative eleme… ▽ More Generators and relations are given for the subalgebra of cocommutative elements in the quantized coordinate rings of the classical groups, where the deformation parameter q is transcendental. This is a ring theoretic formulation of the well known fact that the representation theory of the quantized group is completely analogous to its classical counterpart. The subalgebras of cocommutative elements in the corresponding FRT-bialgebras (defined by Faddeev, Reshetikhin, and Takhtadzhyan) are explicitly determined, using a bialgebra embedding of the FRT-bialgebra into the tensor product of the quantized coordinate ring and the one-variable polynomial ring. A parallel analysis of the subalgebras of adjoint coinvariants is carried out as well, yielding similar results with similar proofs. The basic adjoint coinvariants are interpreted as quantum traces of representations of the corresponding quantized universal enveloping algebra. △ Less

Submitted 29 August, 2003; originally announced August 2003.

Comments: 29 pages

MSC Class: 20G42; 16W30

On orthogonal invariants in characteristic 2

Authors: M. Domokos, P. E. Frenkel

Abstract: Working over an algebraically closed base field $k$ of characteristic 2, the ring of invariants $R^G$ is studied, where $G$ is the orthogonal group O(n) or the special orthogonal group SO(n), acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(2), $O(3)=SO(3)$, SO(4), and O(4), that there exist… ▽ More Working over an algebraically closed base field $k$ of characteristic 2, the ring of invariants $R^G$ is studied, where $G$ is the orthogonal group O(n) or the special orthogonal group SO(n), acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(2), $O(3)=SO(3)$, SO(4), and O(4), that there exists an $m$-linear invariant with $m$ arbitrarily large, which is not expressible as a polynomial of invariants of lower degree. This is in sharp contrast with the uniform description of the ring of invariants valid in all other characteristics, and supports the conjecture that the same phenomena occur for all $n$. For general even $n$, new O(n)-invariants are constructed, which are not expressible as polynomials of the quadratic invariants. In contrast with these results, it is shown that rational invariants have a uniform description valid in all characteristics. Similarly, if $m \leq n$, then $R^O(n)$ is generated by the obvious invariants. For all $n$, the algebra $R^G$ is a finitely generated module over the subalgebra generated by the quadratic invariants, and for odd $n$, the square of any SO(n)-invariant is a polynomial of the quadratic invariants. Finally we mention that for even $n$, an $n$-linear SO(n)-invariant is given, which distinguishes between SO(n) and O(n) (just like the determinant in all characteristics different from 2). △ Less

Submitted 13 September, 2003; v1 submitted 9 March, 2003; originally announced March 2003.

Comments: 26 pages. Results of Section 4.4 extended. To be published in the Journal of Algebra

MSC Class: 13A50; 15A72; 20G05

Journal ref: J. Algebra 274 (2004), no. 2, 662--688

The traces of quantum powers commute

Authors: M Domokos, T H Lenagan

Abstract: The traces of the quantum powers of a generic quantum matrix pairwise commute. This was conjectured by Kaoru Ikeda, in connection with certain Hamiltonian systems. The proof involves Newton's formulae for quantum matrices, relating traces of quantum powers with sums of principal minors. The traces of the quantum powers of a generic quantum matrix pairwise commute. This was conjectured by Kaoru Ikeda, in connection with certain Hamiltonian systems. The proof involves Newton's formulae for quantum matrices, relating traces of quantum powers with sums of principal minors. △ Less

Submitted 6 February, 2003; originally announced February 2003.

Comments: 6 pages

MSC Class: 81R50; 16W35; 20G42; 70H06