TY - JOUR

T1 - Universal rings of invariants

AU - Meir, Ehud

N1 - **Make sure is published open access under OUP agreement**
Acknowledgments
I would like to thank Lóránt Szegedy for his help with the tikzit package and to Vladimir Popov for informing me about the results of Razmyslov. I would also like to thank the referee for their useful comments and careful reading of the manuscript.

PY - 2021/5/11

Y1 - 2021/5/11

N2 - Let K be an algebraically closed eld of characteristic zero. Algebraic structures of a specic type (e.g. algebras or coalgebras) on a given vector space W over K can be encoded as points in an ane space U(W). This space is equipped with a GL(W) action, and two points dene isomorphic structures if and only if they lie in the same orbit. This leads to study the ring of invariants K[U(W)]GL(W) . We describe this ring by generators and relations. We then construct combinatorially a commutative ring K[X] which specializes to all rings of invariants of the form K[U(W)]GL(W). We show that the commutative ring K[X] has a richer structure of a Hopf algebra with additional coproduct, grading, and an inner product which makes it into a rational PSH-algebra, generalizing a structure introduced by Zelevinsky. We nish with a detailed study of K[X] in the case of an algebraic structure consisting of a single endomorphism, and show how the rings of invariants K[U(W)]GL(W) can be calculated explicitly from K[X] in this case

AB - Let K be an algebraically closed eld of characteristic zero. Algebraic structures of a specic type (e.g. algebras or coalgebras) on a given vector space W over K can be encoded as points in an ane space U(W). This space is equipped with a GL(W) action, and two points dene isomorphic structures if and only if they lie in the same orbit. This leads to study the ring of invariants K[U(W)]GL(W) . We describe this ring by generators and relations. We then construct combinatorially a commutative ring K[X] which specializes to all rings of invariants of the form K[U(W)]GL(W). We show that the commutative ring K[X] has a richer structure of a Hopf algebra with additional coproduct, grading, and an inner product which makes it into a rational PSH-algebra, generalizing a structure introduced by Zelevinsky. We nish with a detailed study of K[X] in the case of an algebraic structure consisting of a single endomorphism, and show how the rings of invariants K[U(W)]GL(W) can be calculated explicitly from K[X] in this case

U2 - 10.1093/imrn/rnab085

DO - 10.1093/imrn/rnab085

M3 - Article

JO - International Mathematics Research Notices

JF - International Mathematics Research Notices

SN - 1073-7928

ER -