Equivariant subspaces of orbit-finite-dimensional vector spaces

Speaker(s)

Jingjie Yang

Affiliation

University of Oxford

Date

March 20, 2024, 2:15 p.m.

Room

room 5050

Title in Polish

Niezmiennicze podprzestrzenie przestrzeni liniowych orbitowo skończonego wymiaru

Seminar

Seminar Automata Theory

---

In their LICS21 paper, Bojańczyk, Klin, and Moerman gave an equivalence algorithm for weighted orbit-finite automata: they construct a chain of configuration spaces that are closed under both linear combinations and atom permutations; crucially, termination is guaranteed by a finite length property for such chains of equivariant subspaces. Towards understanding the full subspace structure of vector spaces with an infinite but orbit-finite basis, we describe how finite-dimensional representation theory can help.

---