Related papers: Polynomial Invariant Theory of the Classical Group…
We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…
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…
We introduce the spherical phylon group, a subgroup of the group of all formal diffeomorphisms of $\R^d$ that fix the origin. The invariant theory of the spherical phylon group is used to understand the invariants of the Laplace transform.
This paper is a contribution to Vinberg's theory of $\theta$-groups, or in other words, to Invariant Theory of periodically graded semisimple Lie algebras. One of our main tools is Springer's theory of regular elements of finite reflection…
"Physical theories of fundamental significance tend to be gauge theories. These are theories in which the physical system being dealt with is described by more variables than there are physically independent degree of freedom. The…
Classical invariant theory of a complex reflection group $W$ highlights three beautiful structures: -- the $W$-invariant polynomials constitute a polynomial algebra, over which -- the $W$-invariant differential forms with polynomial…
Our starting point is Mumford's conjecture, on representations of Chevalley groups over fields, as it is phrased in the preface of "Geometric Invariant Theory". After extending the conjecture appropriately, we show that it holds over an…
In this article, we construct a generating set of rational invariants for the action of the orthogonal group $\text{O}(n)$ on the space $\mathbb{R}[x_1,\dots,x_n]_{2d}$ of real homogeneous polynomials of even degree $2d$. This generalizes a…
If V is a simple complex euclidean Jordan algebra and G the subgroup of GL(V) fixing the determinant of V, we give a unified description of the invariant algebras C[pV]^G, for p not greater than three.
It is well known that in a generally covariant gravitational theory the choice of spacetime scalars as coordinates yields phase-space observables (or "invariants"). However their relation to the symmetry group of diffeomorphism…
We study the algebra of complex polynomials which remain invariant under the action of the local Clifford group under conjugation. Within this algebra, we consider the linear spaces of homogeneous polynomials degree by degree and construct…
Let $G\subset SO(4)$ denote a finite subgroup containing the Heisenberg group. In these notes we classify all these groups, we find the dimension of the spaces of $G$-invariant polynomials and we give equations for the generators whenever…
Consider a reductive linear algebraic group $G$ acting linearly on a polynomial ring $S$ over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the…
Let X be any finite classical group defined over a finite field of characteristic p>0. In this paper we determine the fields of rational invariants for the Sylow p-subgroups of X, acting on the natural module. In particular we prove that…
We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…
The algebra of ${\rm GL}_n$-invariants of $m$-tuples of $n\times n$ matrices with respect to the action by simultaneous conjugation is a classical topic in case of infinite base field. On the other hand, in case of a finite field generators…
We study general nilpotent algebras. The results obtained are new even for the classical algebras, such as associative or Lie algebras. We single out certain generic properties of finite-dimensional algebras, mostly over infinite fields.…
Ensuring software correctness remains a fundamental challenge in formal program verification. One promising approach relies on finding polynomial invariants for loops. Polynomial invariants are properties of a program loop that hold before…
We determine the most general group of equivalence transformations for a family of differential equations defined by an arbitrary vector field on a manifold. We also find all invariants and differential invariants for this group up to the…
We apply a novel method for the equivalence group and its infinitesimal generators to the investigation of invariants of linear ordinary differential equations. First, a comparative study of this method is illustrated by an example. Next,…